[논문 리뷰] An Arithmetic Analogue of Fox's Triangle Removal Argument

Pooya Hatami, Sushant Sachdeva외 1명|arXiv (Cornell University)|2013. 04. 17.

Limits and Structures in Graph Theory참고 문헌 14인용 수 10

한 줄 요약

이 논문은 군 $\mathbb{F}_2^n$ 에서 산술 삼각형 제거 보조정리에 대한 직접적인 푸리에 분석적 증명을 제시하며, Fox의 그래프 이론에서의 획기적 성과와 유사하게 $\delta \geq 1/\mathsf{Tower}(O(\log(1/\varepsilon)))$ 의 향상된 정량적 상한을 제공한다. 증명은 조밀도 보조정리를 피하기 위해 중첩된 부분군을 통한 엔트로피 증가를 사용하여, 원래의 Ruzsa-Szemerédi 접근 방식보다 훨씬 더 좋은 상한을 도출한다.

ABSTRACT

We give an arithmetic version of the recent proof of the triangle removal lemma by Fox [Fox11], for the group $\mathbb{F}_2^n$. A triangle in $\mathbb{F}_2^n$ is a triple $(x,y,z)$ such that $x+y+z = 0$. The triangle removal lemma for $\mathbb{F}_2^n$ states that for every $ε> 0$ there is a $δ> 0$, such that if a subset $A$ of $\mathbb{F}_2^n$ requires the removal of at least $ε\cdot 2^n$ elements to make it triangle-free, then it must contain at least $δ\cdot 2^{2n}$ triangles. This problem was first studied by Green [Gre05] who proved a lower bound on $δ$ using an arithmetic regularity lemma. Regularity based lower bounds for triangle removal in graphs were recently improved by Fox and we give a direct proof of an analogous improvement for triangle removal in $\mathbb{F}_2^n$. The improved lower bound was already known to follow (for triangle-removal in all groups), using Fox's removal lemma for directed cycles and a reduction by Král, Serra and Vena [KSV09] (see [Fox11,CF13]). The purpose of this note is to provide a direct Fourier-analytic proof for the group $\mathbb{F}_2^n.$

연구 동기 및 목표

• 산술 조밀도 보조정리를 사용하지 않고 $\mathbb{F}_2^n$ 에서 산술 삼각형 제거 보조정리에 대한 직접적인 푸리에 분석적 증명을 제공하는 것.
• 산술 설정에서 삼각형 제거 매개변수 $\delta$ 의 정량적 상한을 향상시켜, Fox의 그래프 이론적 결과에서의 최신 기준에 맞추는 것.
• 진행 과정에서 엔트로피가 증가하는 부분군의 순서를 직접 구성함으로써 산술 설정에서의 구조적 분할 과정을 명확히 하여 향후 개선에 더 투명한 접근을 제공하는 것.
• 모든 아벨 군에서 삼각형 제거에 대한 향상된 상한이 $\mathbb{F}_2^n$ 에서 직접적인 청결한 방법으로 도달할 수 있음을 보여주며, 유도된 방향 순환 제거 보조정리에 의존하지 않는 것.

제안 방법

• 증명은 $\mathbb{F}_2^n$ 에서의 부분군 $H_i \preceq H_{i-1}$ 의 재귀적 정밀화를 사용하며, 자명한 부분군 $G$ 로부터 시작하여 분할에 대한 $A'$ 의 평균 엔트로피를 증가시킨다.
• 엔트로피 증가는 $\mathsf{Ent}_A(G, H)$ 를 통해 측정되며, 이는 코스터 $H + g$ 에 대해 $A \cap (H + g)$ 의 평균 엔트로피로 정의되며, 정밀화 과정의 진행 상황을 추적하는 데 사용된다.
• 핵심 기술 도구는 보조정리 5.1이며, 이는 $A'$ 가 삼각형을 적게 가진다면, 엔트로피가 적어도 $\varepsilon_0/3600$ 이상 증가시키는 부분군 $H_{i+1}$ 가 존재함을 보장한다.
• 이 방법은 부분군이 코스터를 $\left(\frac{1}{20}, \frac{3}{4}, \log_{1+\varepsilon^2/16}(4/\varepsilon)\right)$-shattering 한다는 개념에 기반하며, 이는 상당한 엔트로피 증가를 유도한다.
• 정밀화 단계의 수는 $t = \lceil 12000 \log(1/(3\varepsilon_0)) \rceil$ 로 유계되어 있으며, 이는 엔트로피 상한을 초과하지 않도록 과정이 종료됨을 보장한다.
• 누적 엔트로피 증가가 이론적 최대값 0 을 초과할 경우 모순이 발생하며, 이는 $A$ 가 삼각형을 포함해야 한다는 것을 증명한다. 즉, $A$ 가 삼각형 없이부터 $\varepsilon$-거리에 있다면 최소 $\delta N^2$ 개의 삼각형을 가져야 한다.

실험 결과

연구 질문

• RQ1 산술 조밀도 보조정리를 사용하지 않고, 오직 푸리에 분석적 방법만을 사용하여 $\mathbb{F}_2^n$ 에서의 산술 삼각형 제거 보조정리를 증명할 수 있는가?
• RQ2 $\mathbb{F}_2^n$ 에서 산술 삼각형 제거 보조정리에 대한 최고의 정량적 상한 $\delta$ 는 무엇이며, 원래의 Ruzsa-Szemerédi 타워 상한을 넘어서 향상시킬 수 있는가?
• RQ3 부분군 정밀화를 통한 엔트로피 증가 방법이 조밀도 보조정리 접근 방식과 비교할 때 투명성과 향후 개선 가능성 측면에서 어떻게 다른가?
• RQ4 개선된 상한 $\delta \geq 1/\mathsf{Tower}(O(\log(1/\varepsilon)))$ 는 산술 설정에서 직접적으로 확립될 수 있는가? 이는 Fox의 그래프 이론적 결과와 일치하는가?
• RQ5 엔트로피 기반의 정밀화 과정을 통해 $\mathbb{F}_2^n$ 에서 삼각형의 분포에 대한 어떤 구조적 통찰을 드러내는가?

주요 결과

• 논문은 $\mathbb{F}_2^n$ 에서 산술 삼각형 제거 보조정리에 대해 $\delta \geq 1/\mathsf{Tower}(O(\log(1/\varepsilon)))$ 의 정량적 상한을 확립하며, 이는 그래프 설정에서의 최고 수준의 상한과 일치한다.
• 증명은 산술 조밀도 보조정리를 피하고, 중첩된 부분군을 통한 직접적인 엔트로피 증가 추론을 사용하여 더 깔끔하고 투명한 프레임워크를 제공한다.
• 각 정밀화 단계에서 최소 $\varepsilon_0/3600$ 의 엔트로피 증가가 보장되며, 여기서 $\varepsilon_0 \geq \varepsilon/3$ 이므로 과정은 $O(\log(1/\varepsilon))$ 단계 내에 종료된다.
• 누적 엔트로피 증가가 이론적 최대값 0 을 초과할 경우 모순이 발생하며, 이는 $A$ 가 삼각형 없이부터 $\varepsilon$-거리에 있다면 최소 $\delta N^2$ 개의 삼각형을 가져야 한다는 것을 증명한다.
• 정밀화 단계 수는 $t = \lceil 12000 \log(1/(3\varepsilon_0)) \rceil$ 로 유계져 있으며, 이는 삼각형이 적게 존재한다는 가정 하에 모순을 유도하기에 충분하다.
• 결과적으로, 모든 아벨 군에서 삼각형 제거에 대한 향상된 상한이 $\mathbb{F}_2^n$ 에서 직접적으로 푸리에 분석 기법을 사용하여 증명될 수 있으며, 유도된 방향 순환 제거 보조정리에 의존하지 않는다는 것이 확인된다.