[논문 리뷰] New Tur\'an densities for 3-graphs

Rahil Baber, John Talbot|arXiv (Cornell University)|2011. 10. 19.

Limits and Structures in Graph Theory참고 문헌 15인용 수 4

한 줄 요약

이 논문은 레즈보로프의 플래그 대수 방법을 사용하여 3-균형 초그래프에 대한 새로운 정확한 툴란 밀도를 확립하며, 유한한 3-그래프 가족에 대해 처음으로 무리수 툴란 밀도를 증명하고, 2/9, 4/9, 5/9, 3/4의 밀도를 해결한다. 또한 안정성 결과를 제공하며, π(K₄⁽³⁾, H) = 5/9이 되도록 하는 3-그래프 H에 대해 π(H) = 3/4임을 확인하여, 부동소수점 연산을 사용하지 않고 정수 기반의 정확한 계산을 통해 창과 그레고리의 추측을 반증한다.

ABSTRACT

If $\\mathcal{F}$ is a family of graphs then the Tur\\'an density of $\\mathcal{F}$ is determined by the minimum chromatic number of the members of $\\mathcal{F}$. The situation for Tur\\'an densities of 3-graphs is far more complex and still very unclear. Our aim in this paper is to present new exact Tur\\'an densities for individual and finite families of 3-graphs, in many cases we are also able to give corresponding stability results. As well as providing new examples of individual 3-graphs with Tur\\'an densities equal to 2/9,4/9,5/9 and 3/4 we also give examples of irrational Tur\\'an densities for finite families of 3-graphs, disproving a conjecture of Chung and Graham. (Pikhurko has independently disproved this conjecture by a very different method.) A central question in this area, known as Tur\\'an's problem, is to determine the Tur\\'an density of $K_4^{(3)}=\\{123,124, 134, 234\\}$. Tur\\'an conjectured that this should be 5/9. Razborov [On 3-hypergraphs with forbidden 4-vertex configurations, in SIAM J. Disc. Math. 24 (2010), 946-963] showed that if we consider the induced Tur\\'an problem forbidding $K_4^{(3)}$ and $E_1$, the 3-graph with 4 vertices and a single edge, then the Tur\\'an density is indeed 5/9. We give some new non-induced results of a similar nature, in particular we show that $\\pi(K_4^{(3)},H)=5/9$ for a 3-graph $H$ satisfying $\\pi(H)=3/4$. We end with a number of open questions focusing mainly on the topic of which values can occur as Tur\\'an densities. Our work is mainly computational, making use of Razborov's flag algebra framework. However all proofs are exact in the sense that they can be verified without the use of any floating point operations. Indeed all verifying computations use only integer operations, working either over $\\mathbb{Q}$ or in the case of irrational Tur\\'an densities over an appropriate quadratic extension of $\\mathbb{Q}$.

연구 동기 및 목표

• 기하학적 조합론에서 오랫동안 미해결된 문제를 다루며, 개별적이고 유한한 3-균형 초그래프 가족에 대한 정확한 툴란 밀도를 결정하는 것.
• Chung과 그레고리의 추측, 즉 모든 3-그래프에 대한 툴란 밀도가 유리수라는 추측을 반증하기 위해, 무리수 밀도를 갖는 구체적인 가족을 구성함으로써 이를 입증하는 것.
• 최적의 3-그래프에 대한 안정성 결과를 확립하여, 거의 최적의 초그래프가 알려진 최적 구성과 구조적으로 유사함을 보이는 것.
• 비유도적 설정에서 K₄⁽³⁾의 툴란 문제를 해결하여, π(H) = 3/4인 3-그래프 H에 대해 π(K₄⁽³⁾, H) = 5/9임을 증명하는 것.
• 레즈보로프의 플래그 대수 기반의 계산 프레임워크를 개발하고 적용하여, 부동소수점 연산 없이 오직 정수 또는 이차 무리수 산술만을 사용해 정확하고 검증 가능한 증명을 생성하는 것.

제안 방법

• 정확한 검증을 위해 ℚ 또는 ℚ의 이차 확장 위에서 정수 산술을 사용하는 반정적 프로그래밍을 통한 레즈보로프의 플래그 대수 프레임워크를 활용하여 툴란 밀도를 계산한다.
• 코로나리 8을 통한 초과포화 기법을 적용하여, 개별 금지 초그래프를 슈퍼그래프의 가족으로 대체함으로써 검색 공간을 줄이고 계산 효율을 크게 향상시킨다.
• 기존 최적 구성에 대한 사전 지식 없이도 수치적 플래그 대수 결과를 정확한 기호 증명으로 변환할 수 있는 새로운 방법을 적용하며, 다수의 최적 구성 가족이 존재하는 문제에도 적용 가능하다.
• 모든 결과를 검증하고 재현하기 위해 DensityChecker.cpp와 ExactDensityBounder.cpp 프로그램을 사용하며, CSDP 또는 SDPA와 같은 반정적 프로그래밍 해소기로 증명을 생성한다.
• 모든 정확한 결과에 대해 안정성 분석을 적용하여, 가족에 대해 거의 최적인 초그래프가 알려진 최적 구성과 구조적으로 유사함을 보이는 것을 증명한다. 이는 플래그 대수 부등식을 사용한다.
• 플로팅 포인트 수치 결과를 정확한 유리수 또는 이차 무리수 표현으로 변환할 때 정확성을 확보하기 위해 150자리 이상의 큰 정수 산술을 사용한다.

실험 결과

연구 질문

• RQ1 특정 3-균형 초그래프에 대한 정확한 툴란 밀도는 무엇이며, 수치 근사에 의존하지 않고 계산될 수 있는가?
• RQ2 유한한 3-그래프 가족에 대해 무리수 툴란 밀도가 발생할 수 있는가? 이는 모든 툴란 밀도가 유리수라는 추측을 반증하는가?
• RQ3 비유도적 설정에서 K₄⁽³⁾의 툴란 밀도가 5/9인가? 특히 π(H) = 3/4인 다른 3-그래프 H와 함께 조합된 경우에 대해?
• RQ4 기존 최적 구성에 대한 사전 지식 없이도 플래그 대수 방법을 사용해 최적 3-그래프에 대한 안정성 결과를 확립할 수 있는가?
• RQ5 수치적 플래그 대수 결과를 얼마나 정확하고 검증 가능한 증명으로 변환할 수 있는가? 이는 오직 정수 또는 대수적 수 연산만을 사용하여 가능할까?

주요 결과

• 논문은 유한한 3-그래프 가족에 대해 처음으로 무리수 툴란 밀도를 증명하며, 창과 그레고리의 추측을 반증한다.
• π(H) = 3/4인 3-그래프 H에 대해 π(K₄⁽³⁾, H) = 5/9임을 증명하며, 레즈보로프의 유도 문제 결과를 확장한다.
• 개별 3-그래프에 대해 2/9, 4/9, 5/9, 3/4의 정확한 툴란 밀도를 제공하며, 5/9의 경우 툴란의 구성 Tₙ이 점근적으로 최적임을 보인다.
• 모든 증명은 ℚ 또는 그의 이차 확장 위에서 오직 정수 연산만을 사용하여 정확하고 검증 가능하며, 검증 과정에서 부동소수점 산술을 전혀 사용하지 않는다.
• 저자들은 모든 정확한 툴란 밀도 결과에 대해 안정성 결과를 도출할 수 있음을 보이며, 거의 최적의 초그래프가 최적 구성과 구조적으로 유사함을 증명한다.
• 계산 프레임워크는 다수의 비이소모르픽 최적 구성이 존재하는 경우, 예를 들어 툴란의 K₄⁽³⁾ 문제에서조차도 수치적 플래그 대수 결과를 정확한 증명으로 성공적으로 변환한다.