[논문 리뷰] The regularity method for graphs with few 4-cycles

David Conlon, Jacob Fox외 2명|arXiv (Cornell University)|2020. 04. 21.

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

한 줄 요약

이 논문은 4-사이클이 적은 그래프에 특화된 희박한 그래프 정규성 방법을 개발하며, 5-사이클에 대한 새로운 세기 보조정리(Counting Lemma)를 확립하여, 극도의 및 가군 조합론에서 새로운 제거 보조정리와 적용 가능성을 가능하게 한다. 주요 기여는 4-사이클 없는 그래프에서의 희박한 $C_5$-제거 보조정리로, $o(n^{5/2})$개의 다섯 번째 사이클은 $o(n^{3/2})$개의 간선을 제거함으로써 제거될 수 있음을 보여주며, 삼각형 제거 및 비자명한 해가 없는 방정식에의 적용이 가능하다.

ABSTRACT

We develop a sparse graph regularity method that applies to graphs with few 4-cycles, including new counting and removal lemmas for 5-cycles in such graphs. Some applications include: * Every $n$-vertex graph with no 5-cycle can be made triangle-free by deleting $o(n^{3/2})$ edges. * For $r \geq 3$, every $n$-vertex $r$-graph with girth greater than $5$ has $o(n^{3/2})$ edges. * Every subset of $[n]$ without a nontrivial solution to the equation $x_1 + x_2 + 2x_3 = x_4 + 3x_5$ has size $o(\sqrt{n})$.

연구 동기 및 목표

• 4-사이클이 적은 그래프에 적용 가능한 희박한 정규성 방법을 개발하여, 가짜난수나 난수 기반의 주변 그래프를 요구하지 않도록 하는 것.
• 이러한 그래프에서 5-사이클에 대한 새로운 세기 보조정리를 확립하여, 제거 보조정리와 구조적 응용 가능성을 가능하게 하는 것.
• 이 방법을 극도의 그래프 이론에 적용하여, $C_5$-자유 그래프가 $o(n^{3/2})$개의 간선을 제거함으로써 삼각형 자유로 만들 수 있음을 증명하는 것.
• 그래프 이론적 구성 기반으로 특정 선형 방정식의 비자명한 해가 없는 집합의 크기의 한계를 도출하는 것.

제안 방법

• 이 방법은 $C_4$-자유 그래프에서 5-사이클의 수를 하한으로 제시하는 세기 보조정리를 도입한다.
• 4-사이클의 부재를 활용하여 5-사이클 임bedding의 수를 제어하고 구조적 제약 조건을 유도한다.
• 그래프 정규성과 극도의 조합론을 결합하여, 4-사이클의 수가 이차함수 이하인 그래프에 초점을 맞춘다.
• 핵심 구성은 $\mathbb{Z}/N\mathbb{Z}$로 인덱싱된 정점 집합과 간선 집합을 정의하는 사이돈 집합 $X$를 사용하여 간선이 서로 겹치지 않는 5-사이클을 생성하는 것이다.
• 이 방법은 가짜난수나 난수 기반의 주변 그래프에 의존하지 않으며, 대신 그래프의 희박성과 사이클 자유성 자체를 구조적 가정으로 삼는다.
• 확률론적 및 대수적 기법, 예를 들어 삼각형의 텐서 거듭제곱과 마르코프 부등식을 활용하여 극도의 예를 구성한다.

실험 결과

연구 질문

• RQ1 가짜난수나 난수 그래프에 포함된다는 가정 없이, 4-사이클이 없는 그래프에서 5-사이클에 대한 제거 보조정리를 확립할 수 있는가?
• RQ2 4-사이클이 없는 그래프에서, $C_5$-자유로 만들기 위해 제거해야 할 간선 수와 5-사이클의 수 사이의 극도의 관계는 어떠한가?
• RQ3 희박한 그래프에서 4-사이클이 적은 경우에 정규성 방법을 적응시켜 극도의 그래프 이론과 가군 조합론에서 새로운 결과를 이끌어낼 수 있는가?
• RQ4 비자명한 해가 없는 $x_1 + x_2 + 2x_3 = x_4 + 3x_5$에 대해 $[n]$의 부분집합의 최대 크기는 얼마인가?
• RQ5 삼각형 자유로 만들 수 없으며 $o(n^{3/2})$개의 간선을 제거함으로써 $C_5$의 수가 $o(n^{5/2})$인 그래프에서, $C_5$의 수에 대한 상한의 지수를 향상시킬 수 있는가?

주요 결과

• 4-사이클이 없는 $n$-정점 그래프에서 $o(n^{5/2})$개의 다섯 번째 사이클을 가진 그래프는 $o(n^{3/2})$개의 간선을 제거함으로써 $C_5$-자유로 만들 수 있으며, 이는 희박한 $C_5$-제거 보조정리를 확립한다.
• 모든 $n$-정점 그래프에서 $C_5$가 없는 경우, $o(n^{3/2})$개의 간선을 제거함으로써 삼각형 자유로 만들 수 있으며, 이는 삼각형 제거 보조정리를 희박한 환경으로 확장한다.
• $r \geq 3$에 대해, 둘레가 5보다 큰 $n$-정점 $r$-균일 초그래프는 $o(n^{3/2})$개의 간선을 가진다. 이는 새로운 극도의 결과이다.
• $n$-정점 그래프에서 $o(n^{2.442})$개의 다섯 번째 사이클을 가지나, $o(n^{3/2})$개의 간선을 제거함으로써 삼각형 자유로 만들 수 없는 그래프가 존재하며, 이는 지수의 낙관적 상한이 상수 요소를 제외하고는 정확함을 보여준다.
• $x_1 + x_2 + 2x_3 = x_4 + 3x_5$에 대해 비자명한 해가 없는 $[n]$의 부분집합은 크기가 $o(\sqrt{n})$이며, 이는 가군 조합론의 문제를 해결한다.
• $\Theta(n^{3/2})$개의 간선이 서로 겹치지 않는 삼각형과 $o(n^{2.442})$개의 다섯 번째 사이클을 가지는 $C_5$-자유 그래프의 구성은 $C_5$-세기 상한에서 지수의 낙관적 상한이 정확함을 보여준다.