포사의 추측을 향한 3‑그래프 연구

**1. 서론 및 배경** 본 논문은 그래프 이론에서 유명한 포사의 추측(Pósa’s conjecture)을 3‑균일 초그래프(3‑graph)로 확장하는 문제를 다룬다. 포사의 추측은 그래프 G가 최소 차수 δ(G) ≥ 2n/3이면 G가 해밀턴 사이클의 제곱을 포함한다는 내용이며, 이는 그래프의 높은 연결성을 요구한다. 초그래프에서는 최소 코드그리드 δ₂(H) (두 정점이 동시에 포함되는 에지 수)로 조건을 제시한다. 기존 연구(Bedenknecht‑Reiher, 2019)는 δ₂(H) ≥ 4n/5 + o(n)이면 3‑그래프가 제곱‑긴밀 해밀턴 사이클을 포함한다는 결과를 얻었지만, 이는 최적에 비해 여전히 큰 차이가 있었다. **2. 주요 결과** - **Theorem 1.1**: 모든 α > 0에 대해 충분히 큰 n에 대해, δ₂(H) ≥ (7/9 + α)n이면 H는 제곱‑긴밀 해밀턴 사이클을 포함한다. - **Conjecture 1.2**: 실제 최적 임계값은 δ₂(H) ≥ (3/4 + α)n일 것으로 예상한다. - **Proposition 1.3**: δ₂(H) = ⌊3n/4⌋ − 2인 경우 제곱‑긴밀 해밀턴 사이클이 존재하지 않는 예시를 제시, 따라서 3/4 + o(1) 임계값이 최적에 가깝다는 점을 보여준다. **3. 핵심 개념** - **테트라헤드럴 그래프 T(H)**: 정점 집합은 H와 동일하고, 네 정점이 K₃⁴(완전 3‑그래프 네 정점)를 이루는 경우에만 에지가 존재한다. - **긴밀 연결성(tight connectivity)**: 하이퍼그래프에서 두 에지를 연결하는 연속적인 k‑정점 워크가 존재하는 성질. T(H)의 모든 에지가 하나의 긴밀 연결 성분에 속하면, H의 제곱‑긴밀 워크를 자유롭게 연결할 수 있다. - **제곱‑긴밀 워크와 경로**: 연속된 네 정점이 모두 K₃⁴를 이루는 순서열. 이는 T(H)에서의 긴밀 워크와 동일시된다. **4. 주요 보조정리** - **Lemma 1.4**: δ₂(H) > 7n/9이면 T(H)가 긴밀하게 연결된다. 이는 두 K₃⁴가 세 정점을 공유할 때 공통 이웃을 충분히 찾아 연결할 수 있음을 보이는 구성적 논증을 포함한다. - **Lemma 1.5 (Connecting Lemma)**: 작은 금지 집합 X와 제한된 수의 에지 쌍에 대해, 서로 다른 시작·끝 삼중을 갖는 제곱‑긴밀 경로들을 서로 겹치지 않게 동시에 찾을 수 있다. 이는 정규성 정리와 정규 슬라이스 레마를 이용해 축소된 3‑그래프에서 적용한 뒤 원래 그래프로 복원한다. - **Lemma 1.6 (Absorption Lemma)**: 전체 정점 집합의 작은 부분을 흡수할 수 있는 특수한 제곱‑긴밀 경로 P를 만든다. P는 길이가 O(√β n)이며, 남은 정점 집합 L(≤β² n)을 포함하도록 확장 가능하다. - **Lemma 1.7 (Path Cover Lemma)**: 임의의 두 에지 사이에 거의 전체 정점을 사용하면서도 길이가 O(γ n) 이하인 제곱‑긴밀 경로를 찾는다. **5. 증명 개요** 1. **흡수 경로 구축**: Lemma 1.6을 이용해 흡수 경로 P를 만든다. 2. **대부분 정점 커버**: H \ int(P)에서 Lemma 1.7을 적용해 P의 끝 삼중(e₁, e₂) 사이에 거의 모든 남은 정점을 커버하는 경로 ˆP를 만든다. 이때 남는 정점 집합 L은 |L| ≤ γ n이다. 3. **흡수 단계**: Lemma 1.6의 흡수 특성을 이용해 L을 P에 흡수해 새로운 경로 P′를 만든다. 이제 P′와 ˆP를 연결하면 전체 정점을 사용한 제곱‑긴밀 해밀턴 사이클이 완성된다. **6. 정규성 및 슬라이스 레마** 연결 보조와 흡수 보조를 증명하기 위해 Allen‑Böttcher‑Coley‑Mycroft의 Regular Slice Lemma를 사용한다. 이를 통해 H를 적절히 정규화된 파트리션으로 나누고, 각 파트 사이의 밀도를 분석해 “정규 클러스터 그래프”를 만든다. 이 클러스터 그래프에서 Lemma 1.4가 적용되면, 원래 그래프 H에서도 동일한 연결성을 확보할 수 있다. **7. 극한 구성 및 하한** Proposition 1.3에서는 네 개의 파트 V₁,…,V₄를 거의 동일한 크기로 나누고, V₁에 속한 정점과 다른 파트 사이의 에지를 제한함으로써 δ₂(H) = ⌊3n/4⌋ − 2인 그래프를 만든다. 이 그래프에서는 K₃⁴가 V₁을 0개 혹은 2개만 포함하므로, 제곱‑긴밀 사이클이 전체를 커버할 수 없음을 보인다. **8. 향후 연구 방향** - 현재 상한인 7/9와 하한인 3/4 사이의 격차를 좁히기 위한 새로운 연결성 기법 개발. - 다른 차수(k)와 파워(r) 조합에 대한 일반화, 특히 k‑그래프에서 r‑파워 사이클의 최소 코드그리드 임계값 연구. - 정규성 없이 직접적인 연결성 분석을 시도해, 정규 슬라이스 레마의 필요성을 감소시키는 방법 모색. **9. 결론** 본 논문은 3‑균일 초그래프에서 최소 코드그리드가 7n/9 + o(n) 이상이면 제곱‑긴밀 해밀턴 사이클이 존재한다는 강력한 결과를 제시한다. 이는 기존 4n/5 결과를 크게 개선했으며, 테트라헤드럴 그래프의 긴밀 연결성을 새롭게 이해함으로써 가능했다. 또한, 최적 임계값에 대한 conjecture과 하한 예시를 제공해 향후 연구의 방향을 명확히 제시한다.