[논문 리뷰] A new proof of the graph removal lemma

Jacob Fox|arXiv (Cornell University)|2010. 06. 07.

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

한 줄 요약

이 논문은 스제레디의 정규성 레미마를 피하는 새로운 그래프 제거 보조정리 증명을 제시하며, 양적 경계를 크게 향상시킨다. 희박한 정규성 방법과 반복적인 정점 분할 개선을 통해, 역 타워 함수에 대한 타워 유형의 경계를 달성하여 원래의 정규성 레미마 기반 증명보다 향상되었고, 이는 방향성 및 색상 부여된 변형으로까지 확장되어 유사한 성과를 얻는다.

ABSTRACT

Let H be a fixed graph with h vertices. The graph removal lemma states that every graph on n vertices with o(n^h) copies of H can be made H-free by removing o(n^2) edges. We give a new proof which avoids Szemerédi's regularity lemma and gives a better bound. This approach also works to give improved bounds for the directed and multicolored analogues of the graph removal lemma. This answers questions of Alon and Gowers.

연구 동기 및 목표

• 그래프 제거 보조정리 증명에서 스제레디의 정규성 레미마에 의존하지 않도록 하는 것.
• 특히 δ가 ε에 대한 의존성에서의 경계를 정량적으로 향상시키는 것.
• 개선된 경계를 방향성 그래프 제거 보조정리 및 다색 그래프 제거 보조정리로 확장하는 것.
• 알론과 가우어스가 제기한 제거 보조정리에 대한 더 나은 정량적 증명의 존재성에 관한 열린 문제를 해결하는 것.
• 산술 제거 보조정리 및 초그래프 제거 보조정리와 같은 관련 분야에서 개선된 경계를 마련하는 데 기초를 다지는 것.

제안 방법

• 정점 집합을 h개의 부분으로 나누는 희박한 정규성 방법을 사용하며, 간선을 공유하지 않는 H의 복제본을 찾기 위해 분할을 반복적으로 개선한다.
• 만약 그래프에 H의 복제본이 적다면, 무작위로 h개의 부분으로 나누었을 때 많은 수의 간선을 공유하지 않는 H의 복제본을 찾을 수 있는 확률이 양수임을 보이기 위해 확률적 추론을 적용한다.
• 각 복제본이 올바른 부분에 삽입될 가능성이 일정하므로, 정규 분할에서 H의 복제본 수를 제한하는 수량 제한 보조정리를 적용한다.
• 정규성 레미마를 피하기 위해, 유한한 수의 부분을 직접 구성하고 이를 개선하여 H의 많은 복제본을 포함하는 조밀한 부분그래프를 분리한다.
• 방향성 및 색상 부여된 변형의 경우, 방향성 또는 색상 부여된 정규성 개념을 사용하고 유사한 수량 제한 및 개선 기법을 적용하여 방법을 적응시킨다.
• 핵심 혁신은 정규성 레미마의 전역적 분할을 대체하여 더 나은 정량적 제어를 가능하게 하는 구축형 반복적 개선 과정을 도입하는 것이다.

실험 결과

연구 질문

• RQ1 그래프 제거 보조정리가 스제레디의 정규성 레미마에 의존하지 않고 증명될 수 있는가?
• RQ2 그래프 제거 보조정리에 대해 가능한 최선의 정량적 경계는 무엇이며, 정규성 레미마에서 유도된 타워 유형 경계를 초월해 개선될 수 있는가?
• RQ3 동일한 개선된 경계가 방향성 그래프 제거 보조정리 및 다색 그래프 제거 보조정리로도 확장되는가?
• RQ4 이 새로운 방법이 성질 테스팅 및 극단적 조합론 분야의 응용에서 더 날카로운 경계를 제공할 수 있는가?
• RQ5 이 접근법을 초그래프 또는 산술 제거 보조정리로 확장할 수 있는가?

주요 결과

• 새로운 증명은 정규성 레미마를 피하고, δ⁻¹이 ε⁻¹에 대해 다항식의 높이를 가진 2의 타워로 표현되는 경계를 달성하여 원래의 타워 높이가 ε⁻⁵에 비례하는 것보다 크게 향상된다.
• 이 방법은 스제레디의 정규성 레미마에서 유도된 것보다 그래프 제거 보조정리의 경계가 상당히 향상되며, 특히 역 타워 함수에서 두드러진 개선을 이룬다.
• 개선된 경계는 방향성 그래프 제거 보조정리로도 확장되며, 정점 분할의 반복적 개선과 방향성 정규성 개념을 사용하여 동일한 정량적 성과를 달성한다.
• 다색 그래프 제거 보조정리 역시 동일한 개선된 경계를 얻으며, 증명 구조는 방향성 경우와 유사하게 유지된다.
• 이 방법은 정규성 없이 제거 보조정리를 증명하는 데 새로운 프레임워크를 제공하며, 산술 및 초그래프 설정에서 더 나은 경계를 이끌 수 있을 것으로 기대된다.
• 이 결과는 그래프 제거 보조정리의 정량적 경계에서 오랫동안 존재하던 격차를 메우며, 알론과 가우어스가 제기한 더 나은 증명의 존재성에 대한 질문에 답한다.