[논문 리뷰] Almost partitioning 2-coloured complete 3-uniform hypergraphs into two monochromatic tight or loose cycles

Sebastián Bustamante, Hiệp Hàn외 1명|arXiv (Cornell University)|2017. 01. 26.

Limits and Structures in Graph Theory참고 문헌 14인용 수 3

한 줄 요약

이 논문은 충분히 많은 정점으로 구성된 완전한 3-균일 초그래프의 간선을 임의의 2색으로 칠할 경우, 모든 정점의 약 ηn개 이하를 제외한 나머지를 덮는 서로 다른 색상의 두 개의 정점-불연속 단색 조임 또는 풀린 사이클이 존재함을 증명한다. 이 결과는 초그래프 정규성 보조정리와 조밀한 초그래프에서 단색 연결 매칭의 구성에 기반한다.

ABSTRACT

We show that for every η > 0 there exists an integer n_0 such that every 2-colouring of the 3-uniform complete hypergraph on n \geq n_0 vertices contains two disjoint monochromatic tight cycles of distinct colours that together cover all but at most ηn vertices. The same result holds if we replace tight cycles with loose cycles.

연구 동기 및 목표

• 2색 3-균일 초그래프에 대한 단색 조임 사이클로의 커버링에 관한 추측의 약간의 버전을 확립하기 위해.
• 기존의 그래프에서의 단색 사이클 커버링 결과를 3-균일 초그래프로 확장하여, 특히 조임 및 풀린 사이클에 대해 적용하기 위해.
• 조밀한 2색 3-균일 초그래프에서 두 개의 서로 다른 정점-불연속 단색 연결 매칭이 거의 모든 정점을 커버할 수 있음을 보여주기 위해.
• 사이클을 미리 정해진 짝수 또는 홀수 길이로 구성할 수 있음을 보여주어, 조임 사이클과 풀린 사이클에 대한 결과 유도를 가능하게 하기 위해.

제안 방법

• 문제를 정규성 조건과 밀도 조건을 갖는 유한한 구조로 축소하기 위해 초그래프 정규성 보조정리를 적용하기 위해.
• 정규성 성질을 이용하여 연결된 성분을 식별함으로써 축소된 초그래프에서 단색 연결 매칭을 구성하기 위해.
• 레마 3.3을 사용하여 매칭 엣지에 대응하는 정규 삼중집합에 긴 조임 경로를 임bedding하여 거의 완전한 정점 커버리지 확보하기 위해.
• 인접한 삼중집합 사이의 금지되지 않은 간선을 이용해 짧은 조임 사이클을 구축하고, 구성 과정에서 정점 집합을 피함으로써 상호 배타성 확보하기 위해.
• 초기 사이클의 짧은 경로들을 원하는 짝수 또는 홀수 길이의 긴 경로로 S-피回避 구조를 사용하여 대체함으로써 상호 배타성 유지하기 위해.
• 예외 집합과 커버되지 않은 부분의 정점 수에 대한 경계를 통해 오차 항을 제어하여 총 커버되지 않은 정점 수가 ηn 이하가 되도록 보장하기 위해.

실험 결과

연구 질문

• RQ1 모든 2색 완전한 3-균일 초그래프는 거의 두 개의 서로 다른 색상의 단색 조임 사이클로 분할될 수 있는가?
• RQ2 조임 사이클이 풀린 사이클로 대체될 경우 동일한 결과가 성립하는가?
• RQ3 단색 사이클의 길이를 사전에 정해진 짝수 또는 홀수 성질로 구성할 수 있는가?
• RQ4 2색 3-균일 초그래프에서 두 개의 서로 다른 정점-불연속 단색 사이클로 모든 정점의 약 부분선형 수 이하의 정점만 제외하고 커버할 수 있는가?
• RQ5 이러한 분할에서 남는 정점의 최소 수는 얼마이며, 이 수를 o(n) 이하로 개선할 수 있는가?

주요 결과

• 모든 η > 0에 대해, n₀가 존재하여 Kₙ⁽³⁾의 모든 2색 간선 칠하기에서 n ≥ n₀일 경우, 서로 다른 색상의 두 개의 정점-불연속 단색 조임 사이클이 최대 ηn개의 정점만 제외한 나머지를 커버한다.
• 동일한 결론은 풀린 사이클에 대해서도 성립한다. 짝수 길이의 조임 사이클는 풀린 사이클를 포함하므로, 추론 1.2를 도출할 수 있다.
• 구성 과정은 사이클 길이의 짝수 또는 홀수 성질을 제어할 수 있게 하여, 짝수 길이의 조임 사이클 내부에 풀린 사이클 존재를 보장하는 데 필수적이다.
• 커버되지 않은 정점 수는 ηn으로 제한되며, 이는 정규성 보조정리와 S-피回避 경로 임베딩의 철저한 적용을 통해 달성된다.
• 증명은 임의의 2색 3-균일 초그래프에서 t개의 정점과 최소 (1−γ) binom(t,3)개의 간선을 가진 경우, 두 개의 서로 다른 정점-불연속 단색 연결 매칭이 최소 (1 − 290γ¹ᐟ⁶)t개의 정점을 커버할 수 있음을 보여준다.
• 오차 항 ηn은 예외 집합, 매칭의 커버되지 않은 부분, 정규성 프레임워크 기여로 인해 발생하며, 충분히 큰 n에 대해 총 오차는 ηn 이하로 제한된다.