[논문 리뷰] Counting graph orientations with no directed triangles

Pedro Araújo, Fábio Botler외 1명|arXiv (Cornell University)|2020. 05. 27.

Limits and Structures in Graph Theory참고 문헌 8인용 수 5

한 줄 요약

이 논문은 알론과 유스터가 제기한 추측을 확인한다. 즉, 8 이상의 정점 수를 가진 임의의 n-정점 그래프에서 삼각형을 가진 방향성 없는 방향 부여의 최대 개수는 $2^{\lfloor{n^2/4}}}$이며, 이는 균형 잡힌 완전 이분 그래프 $K_{\lfloor n/2\rfloor,\lceil n/2\rceil}$에서 유일하게 달성된다. 증명은 구조적 분해와 극값 그래프 이론을 사용하여 방향 부여의 확장을 제한하며, 방향성 삼각형이 없는 조건 하에서 오직 완전 이분 그래프만 이 최대치를 달성할 수 있음을 보여준다.

ABSTRACT

Alon and Yuster proved that the number of orientations of any $n$-vertex graph in which every $K_3$ is transitively oriented is at most $2^{\lfloor n^2/4 floor}$ for $n \geq 10^4$ and conjectured that the precise lower bound on $n$ should be $n \geq 8$. We confirm their conjecture and, additionally, characterize the extremal families by showing that the balanced complete bipartite graph with $n$ vertices is the only $n$-vertex graph for which there are exactly $2^{\lfloor n^2/4 floor}$ such orientations.

연구 동기 및 목표

• 알론과 유스터의 추측, 즉 $D(n,K^\circlearrowright_3) = 2^{\lfloor n^2/4\rfloor}$가 모든 $n \geq 8$에 대해 성립함을 확인하는 것.
• 이 최대값을 달성하는 극값 그래프를 특성화하는 것.
• 균형 잡힌 완전 이분 그래프 $K_{\lfloor n/2\rfloor,\lceil n/2\rceil}$가 유일하게 $2^{\lfloor n^2/4\rfloor}$개의 $K^\circlearrowright_3$-자유 방향 부여를 달성하는 $n$-정점 그래프임을 증명하는 것.
• 금지된 방향 부분그래프 조건 하에서 그래프의 극값 방향 부여 수에 대한 이해를 확장하는 것.

제안 방법

• 증명은 그래프의 최대 클리크 크기에 기반한 케이스 분석을 사용하며, 정점을 구조적 구성 요소로 분할한다.
• 확장 함수 ${\rm ext}_G(e,S)$를 사용하여 정점 집합 간에 호환 가능한 $K^\circlearrowright_3$-자유 방향 부여의 수에 대한 경계를 적용한다.
• 삼각형과 매칭에 대해 특히 유효한 방향 부여의 수를 제한하기 위해 보조정리를 사용한다.
• 맨틀의 정리(삼각형을 가진 그래프의 최대 간선 수)와 극값 수세기 기법을 조합하여, 그래프가 균형 잡힌 완전 이분 그래프가 아닐 경우 엄밀한 부등식이 성립함을 보여준다.
• 작은 그래프들($n \leq 13$)에 대해서는 부록에서 사례별 분석을 통해 계산적으로 결과를 검증한다.
• 증명은 조합적 방향 부여 확장에 대한 경계에서 유도된 부등식 시스템을 해결하는 것으로 귀결된다.

실험 결과

연구 질문

• RQ1 n-정점 그래프의 방향 부여 중 방향성 삼각형을 포함하지 않는 최대 개수는 무엇인가?
• RQ2 어느 n-정점 그래프에서 이 최대값이 달성되는가?
• RQ3 균형 잡힌 완전 이분 그래프가 $2^{\lfloor n^2/4\rfloor}$개의 $K^\circlearrowright_3$-자유 방향 부여를 달성하는 유일한 극값 그래프인가?
• RQ4 알론과 유스터의 추측, 즉 $D(n,K^\circlearrowright_3) = \max\{2^{\lfloor n^2/4\rfloor}, n!\}$이 모든 $n \geq 8$에 대해 성립함을 확인할 수 있는가?

주요 결과

• 모든 $n \geq 8$에 대해, 임의의 n-정점 그래프에서 $K^\circlearrowright_3$-자유 방향 부여의 최대 개수는 정확히 $2^{\lfloor n^2/4\rfloor}$이다.
• 균형 잡힌 완전 이분 그래프 $K_{\lfloor n/2\rfloor,\lceil n/2\rceil}$는 이 최대값을 유일하게 달성하는 n-정점 그래프이다.
• $n \leq 7$일 경우 최대값은 $n!$이며, 이는 $2^{\lfloor n^2/4\rfloor}$보다 엄밀히 작다. 이는 추측의 임계점이 $n=8$임을 확인한다.
• 균형 잡힌 완전 이분 그래프 $K_{\lfloor n/2\rfloor,\lceil n/2\rceil}$와 동형이 아닌 모든 n-정점 그래프는 $2^{\lfloor n^2/4\rfloor}$개 이하의 $K^\circlearrowright_3$-자유 방향 부여를 가진다.
• 증명은 $n \geq 8$일 때, 비이분 그래프 또는 균형 잡히지 않은 이분 그래프에 대해 $D(G,K^\circlearrowright_3) < 2^{\lfloor n^2/4\rfloor}$임을 확립한다.
• 결과적으로 이 논문은 알론과 유스터의 추측을 완전히 확인하였으며, $n \geq 8$일 때 $D(n,K^\circlearrowright_3) = 2^{\lfloor n^2/4\rfloor}$이며, 등호는 오직 $K_{\lfloor n/2\rfloor,\lceil n/2\rceil}$일 때만 성립함을 보여준다.