[논문 리뷰] On the structure of oriented graphs and digraphs with forbidden tournaments or cycles

Deryk Osthus, Daniela Kühn외 2명|arXiv (Cornell University)|2014. 04. 24.

Limits and Structures in Graph Theory참고 문헌 18인용 수 7

한 줄 요약

이 논문은 초그래프 컨테이너 방법을 사용하여 금지된 투어나멘트 또는 사이클을 가진 방향 그래프 및 독립 그래프의 구조에 대한 เช르린의 추측을 해결한다. 거의 모든 $T_{k+1}$-free 방향 그래프 및 독립 그래프는 $k$-분할임을 증명하며, $C_k$-free 그래프는 비순환적이지만 순환에 가까운 구조를 가지며, 비순환으로 만들기 위해 이차 이하의 간선 변경만 필요하며, 간선 수정 임계값에 대한 정확한 경계를 제시한다.

ABSTRACT

Motivated by his work on the classification of countable homogeneous oriented graphs, Cherlin asked about the typical structure of oriented graphs (i) without a transitive triangle, or (ii) without an oriented triangle. We give an answer to these questions (which is not quite the predicted one). Our approach is based on the recent `hypergraph containers' method, developed independently by Saxton and Thomason as well as by Balogh, Morris and Samotij. Moreover, our results generalise to forbidden transitive tournaments and forbidden oriented cycles of any order, and also apply to digraphs. Along the way we prove several stability results for extremal digraph problems, which we believe are of independent interest.

연구 동기 및 목표

• 모든 $T_3$-free 및 $C_3$-free 방향 그래프의 일반적인 구조에 대한 เช르린의 추측을 해결하는 것.
• 에르되시의 결과를 확장하는 것.
• 초그래프 컨테이너 방법을 사용하여 $T_{k+1}$-free 및 $C_k$-free 독립 그래프 및 방향 그래프의 극한 구조를 분석하는 것.
• 특히 간선 수정을 통해 비순환성을 달성하기 위한 문제에 대해, 극한 방향 그래프 문제에 대한 안정성 결과를 확립하는 것.

제안 방법

• 사크스턴-톰슨 및 발로그-모리스-사모티지가 개발한 초그래프 컨테이너 방법을 적용하여 $H$-free 방향 그래프 및 독립 그래프의 구조를 제어하는 데 사용한다.
• 비순환성의 정도를 측정하고 비순환 그래프에서의 구조적 이탈을 정량화하기 위해 순차적 최적 순서와 뒤로 향하는 간선을 정의한다.
• 보조 이분 그래프를 구성하고 컨테이너 크기를 이중 세기로 유도하기 위해 삼분할 그래프에서 뒤집을 수 있는 4집합을 도입한다.
• 보조 이분 그래프 $H$와 $H'$에서의 이중 세기를 사용하여, 다양한 간선 수를 가진 그래프 집합의 크기 간의 부등식을 유도한다.
• 이항 계수와 지수 항에 대한 조합적 경계를 활용하여 특정 간선 수정을 가진 $C_k$-free 그래프의 수에 하한을 도출한다.
• 특히 $|\nolimits\mathcal{O}_{n,3,m_2}| \geq 2^{n/2^{14}} \cdot |\mathcal{O}_{n,3,\leq m_2/(2\log n)}|$ 를 증명하여 이러한 그래프의 수가 지수적으로 증가함을 보여준다.

실험 결과

연구 질문

• RQ1 cherlin이 추측한 바와 같이, 거의 모든 $T_3$-free 방향 그래프는 삼분할 구조를 가지는가?
• RQ2 cherlin이 추측한 바와 같이, $C_3$-free 방향 그래프의 일반적인 구조는 비순환적인가?
• RQ3 $C_k$-free 방향 그래프를 비순환으로 만들기 위해 필요한 간선 변경 수는 얼마이며, 그 渐近 임계값은 무엇인가?
• RQ4 초그래프 컨테이너 방법을 $T_{k+1}$-free 및 $C_k$-free 독립 그래프 및 방향 그래프의 구조적 결과를 증명하기 위해 확장할 수 있는가?
• RQ5 $C_k$-free 방향 그래프의 수의 정확한 渐近 성장률은 무엇이며, 비순환성과의 관계는 어떻게 되는가?

주요 결과

• 幾乎 모든 $T_{k+1}$-free 방향 그래프는 $k$-분할임을 확인하며, 이는 $k \geq 2$ 인 모든 $k$ 에 대해 cherlin의 추측 1.1(i)를 확인하고 강화한다.
• 幾乎 모든 $T_{k+1}$-free 독립 그래프 역시 $k$-분할임을 보여주며, 일반적인 독립 그래프로의 결과 확장을 이룬다.
• $k \geq 3$ 인 경우, 거의 모든 $C_k$-free 방향 그래프는 비순환으로 만들기 위해 $\Omega(n/\log n)$ 개의 간선 변경이 필요하며, 이는 cherlin의 추측 1.1(ii)를 반박한다.
• 幾乎 모든 $C_k$-free 방향 그래프는 거의 비순환 구조를 가지며, 이차 이하의 간선 변경만 필요하며, 임의의 $\epsilon > 0$ 에 대해 $O(n^{2-\epsilon})$ 개의 변경으로 충분하다.
• 짝수 $k$ 에 대해서는 $C_k$-free 독립 그래프의 동일한 이차 이하 간선 변경 경계가 성립하며, 홀수 $k$ 에 대해서는 더 약한 이차 이하 경계가 확립된다.
• $C_k$-free 방향 그래프의 수는 $n$ 에 대해 지수적으로 증가하며, 충분히 큰 $n$ 에 대해 $|\mathcal{O}_{n,3,m_2}| \geq 2^{n/2^{14}} \cdot |\mathcal{O}_{n,3,\leq m_2/(2\log n)}|$ 이 성립함을 보여주며, 풍부한 구조적 다양성을 시사한다.