스테인하우스 그래프의 유도보편성 새로운 증명

초록

이 논문은 스테인하우스 삼각형의 생성 인덱스 집합 개념을 이용해, 모든 n개의 정점 그래프가 정점 수 tₙ₋₁+1인 스테인하우스 그래프에 유도 부분그래프로 포함될 수 있다는 Delahan 정리를 간결하고 자체적인 방법으로 증명한다.

상세 분석

논문은 먼저 스테인하우스 삼각형을 정의하고, 첫 행이 전체 삼각형을 결정한다는 기본 성질을 이용한다. 여기서 핵심은 “생성 인덱스 집합”(generating index set)이라는 개념이다. 크기 n 인 스테인하우스 삼각형 공간 ST(n)은 차원 n 인 𝔽₂‑벡터공간이며, n개의 좌표를 선택해 그 값만 알면 전체 삼각형을 유일하게 복원할 수 있다. 이를 행렬 M_A로 표현하면, A가 생성 인덱스 집합이 되기 위한 필요충분조건은 M_A가 모듈로 2 에서 가역임이다. 저자는 이 조건을 파스칼 매트로이드와 연결시키며, 기존 연구와 일치함을 확인한다.

다음 단계에서는 무한 이항 행렬 B의 특정 소행렬식(마이너)을 분석한다. 행과 열을 삼각수 t_i 로 선택한 경우, 행렬식은 ∏{i=1}^{n-1}(2i-1)^{,n-i} 로 계산되며, 이는 항상 홀수이므로 모듈로 2 에서 가역이다. 이 결과는 Proposition 3.2 로 정리되고, 이후 Lemma 4.2 에서 대각 블록이 이러한 B 행렬들로 구성된 하삼각 블록 행렬 M{A_n} 의 가역성을 보이는 데 사용된다.

마지막으로, A_n = { (t_s, t_{r+1}−t_s−1) | 0≤s≤r≤n−2 } 를 선택하면 M_{A_n} 가 블록 하삼각 구조를 가지며, 각 블록이 위에서 증명된 가역 행렬이므로 전체 행렬도 모듈로 2 에서 가역이다. 따라서 A_n 은 ST(t_{n-1}) 의 생성 인덱스 집합이 된다. 이 사실을 이용해 Delahan 정리의 핵심 매핑 G ↦ G