[논문 리뷰] A Short Proof of Gowers' Lower Bound for the Regularity Lemma

Guy Moshkovitz, A. Shapira|arXiv (Cornell University)|2013. 08. 24.

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

한 줄 요약

이 논문은 고워즈의 정규화 레미마에 대한 하한을 더 단순하고 짧은 증명으로 재제시한다. 이는 ε-정규 등분할의 최소 부분 수가 1/ε에 대한 다항식 높이를 가진 거듭제곱의 탑(tower)으로 성장함을 보여주며, 이는 수학적 구조적 제약을 개선한 귀납적 구성 방법을 통해 달성된다. 결과적으로 이는 이전에 매우 복잡한 증명을 요구했던 것을 크게 단순화하면서도, 점근적 하한은 유지한다. 구체적으로, 하한은 twr(1/ε^{1/6})로 도출된다.

ABSTRACT

A celebrated result of Gowers states that for every ε> 0 there is a graph G so that every ε-regular partition of G (in the sense of Szemeredi's regularity lemma) has order given by a tower of exponents of height polynomial in 1/ε. In this note we give a new proof of this result that uses a construction and proof of correctness that are significantly simpler and shorter.

연구 동기 및 목표

• 기존에 매우 복잡한 구성과 증명을 필요로 했던 고워즈의 정규화 레미마 하한에 대한 증명을 훨씬 더 단순하고 짧게 재구성하는 것.
• ε-정규 등분할의 최소 순서 M(ε)가 1/ε에 대한 다항식 높이를 가진 거듭제곱의 탑으로 성장함을 입증하여, 즈메레디의 원래 하한이 날카로운지 확인하는 것.
• 고워즈의 첫 번째 증명에서 사용된 귀납적 접근 방식을 수정함으로써, ‘twr(c log(1/ε))’보다 훨씬 강력한 하한인 twr(1/ε^c)를 달성할 수 있음을 보여주는 것.
• 더 이상 복잡하지 않은 새로운 접근 방식을 제시하여, 더 약한 정규화 레미마의 변형에 대해서도 유사한 하한을 유도할 수 있도록 하는 것.

제안 방법

• 모든 간선 가중치가 [0,1] 범위에 있는 가중 완전 그래프를 구성하여, 임의의 ε-좋은 등분할의 크기가 최소 twr(1/ε^{c}) 이상이 되도록 하는 것 (c=1/6).
• 크기가 M인 집합 위에서 이분 등분할의 귀납적 구성 방법을 사용하여, 각 단계에서 1/16-균형을 유지함으로써, 정규화 제어를 세분화된 구성에서 유지한다.
• 체르노프의 부등식(Claim 2.1)을 적용하여, 가중 그래프의 무작위 부분그래프가 높은 확률로 정규화 성질을 유지함을 보이고, 이를 진짜 그래프로의 하한 전이를 가능하게 한다.
• β-재분할을 정의하고, 평균화 추론을 통해 유용하지 않은 정점과 집합의 수를 제한하여, 귀납 단계에서 충분한 수의 유용한 집합이 존재함을 보장한다.
• 밀도 차이에 기반한 모순 증명을 사용: 너무 많은 쌍이 ε-정규일 경우, 균형 잡힌 이분분할에서 밀도 차이가 ε를 초과하여 정규화 조건을 위반함을 보여, 불규칙성의 존재를 강제한다.
• 층위 G_r에서 G_s로의 밀도 이동과 중첩된 재분할의 구조를 활용하여, 충분히 많은 쌍에서 불규칙성을 유도함으로써, 등분할 크기에 대한 필수 하한을 확보한다.

실험 결과

연구 질문

• RQ1 정규화 레미마의 등분할 크기에 대한 고워즈의 하한에 대해 더 단순한 증명을 구성할 수 있는가?
• RQ2 고워즈의 첫 번째 증명에서 사용된 귀납적 접근 방식을 확장하여, ‘twr(c log(1/ε))’가 아니라 twr(1/ε^c) 수준의 탑 높이 하한을 달성할 수 있는가?
• RQ3 구성에 어떤 구조적 수정을 가해야, 귀납적 추론이 log(1/ε)가 아니라 1/ε^c 번만큼 반복될 수 있게 되는가?
• RQ4 유사한 기법을 약화된 정규화 레미마의 변형, 예를 들어 ε-좋은 등분할에 대해 적용하여 하한을 증명할 수 있는가?
• RQ5 ε-좋은 등분할에 대해 M'(ε) ≥ twr(c/ε^{1/2})를 만족하는 최적의 상수 c는 무엇이며, 이를 M(ε)의 하한 유도에 활용할 수 있는가?

주요 결과

• 논문은 ε-좋은 등분할에 대해 M'(ε) ≥ twr(c/ε^{1/2})의 하한을 확립하며, c=1/6로, 이는 이러한 등분할의 순서가 1/ε에 대한 다항식 높이를 가진 거듭제곱의 탑으로 성장함을 보여준다.
• 이 증명은 고워즈의 원래 두 번째 증명보다 훨씬 더 단순하고 짧은 구성과 귀납적 추론을 사용하며, 이는 ‘역량의 정점’으로 묘사된 바 있다.
• 유용하지 않은 정점의 분포와 밀도 이동을 철저히 제어함으로써, 귀납 단계를 O(1/ε^{1/6})번 반복할 수 있음을 보여, 고워즈의 첫 번째 증명에서의 O(log(1/ε)) 반복보다 훨씬 더 높은 반복 수를 달성한다.
• 체르노프의 부등식(Claim 2.1)을 적용함으로써, 증명은 가중 그래프에서 유도된 하한을 높은 확률로 무작위 진짜 그래프로 전이할 수 있으며, 이는 표준 설정에서 하한이 유지됨을 보장한다.
• 너무 많은 쌍이 ε-정규일 경우, 균형 잡힌 이분분할에서 제어되지 않는 밀도 차이가 발생하여 정규화 조건을 위반함을 보여, 불규칙 쌍이 충분히 많이 존재함을 강제한다.
• 구성은 임의의 ε-좋은 등분할에 대해, (Z_0, Z)가 ε-불규칙인 서로 다른 εk개의 집합 Z가 존재함을 보장하며, 이는 귀납적 하한 유도의 핵심 요소이다.