[논문 리뷰] On one problem of Gowers

Ilya D. Shkredov|ArXiv.org|2004. 05. 21.

Limits and Structures in Graph Theory참고 문헌 11인용 수 9

한 줄 요약

이 논문은 W.T. 고어스가 제기한 문제를 해결한다. 이는 두 차원 격자 $[1,N]^2$의 부분집합에서 코너—형태가 $\{(k,m), (k+d,m), (k,m+d)\}$인 삼중항—의 존재를 보장하는 밀도 임계값에 관한 것이다. 밀도 증가 전략을 사용하고, 푸리에 균일성과 하위격자들의 반복 정밀화를 조합함으로써, $[1,N]^2$에서 밀도가 적어도 $\delta$ 이상인 임의의 부분집합은 $N \geq \exp\exp\exp(\delta^{-c})$인 경우에 코너를 포함함을 증명한다. 여기서 $c > 0$은 절대 상수이며, 이는 양적 한계 $L(N) \ll 1/(\ \log\log\log N)^{C_1}$를 도출한다. 여기서 $L(N)$은 코너가 없는 부분집합의 최대 밀도를 나타낸다.

ABSTRACT

Let A \subseteq [1,..,N]^2 be a set of density at least 1/(log log log N)^c, where c some constant c>0. We prove that A contains a so-called right-angle triangle, i.e. a triple of the form {(k,m), (k+d,m), (k,m+d)}, where d>0.

연구 동기 및 목표

• W.T. 고어스가 제기한, $[1,N]^2$에서 코너가 없는 부분집합의 최대 밀도 $L(N)$이 0으로 수렴하는 속도에 관한 정량 문제를 해결하기 위해.
• 코너가 없는 부분집합의 최대 밀도 $L(N)$에 대한 정량적 상한을 확립하기 위해.
• 고어스의 산술적 등차수열에 대한 방법을 이차원 코너 문제로 확장하기 위해, 반복적 밀도 증가와 균일성 기법을 사용하기 위해.
• 충분히 큰 $N$에 대해, 밀도 $\delta$를 갖는 $[1,N]^2$의 임의의 밀도 높은 부분집합이 코너를 포함함을 보여주는 구조적 증명을 제공하기 위해.

제안 방법

• 밀도 증가 전략을 반복적으로 적용하여, 하위격자 $P^{(i)}_1 \times P^{(i)}_2$를 정밀화함으로써 이 하위격자 내에서 집합 $A$의 밀도를 증가시킨다.
• 오차 항을 제어하기 위해 푸리에 균일성을 사용한다: 집합이 $\alpha$-균일하다는 것은 그 균형 함수가 $\sum_k |\sum_s f(s)\overline{f(s-k)}|^2 \leq \alpha N^3$를 만족함을 의미하며, 이는 의사난수성 조건을 보장한다.
• 이산 푸리에 변환과 플랑카르의 항등식을 사용하여, 콘볼루션의 $L^2$-노름을 푸리에 계수와 연결함으로써 오차 추정을 가능하게 한다.
• 각 단계에서 밀도가 증가하고 균일성이 향상된 하위격자 $R^{(i+1)}_1 \times R^{(i+1)}_2$를 선택하는 재귀적 정밀화 과정을 시행한다.
• 각 단계에서의 밀도 증가는 최소 $10^{-10000}\delta^{3500}$ 이상이므로, 밀도 1에 수렴하는 데 $O(\delta^{-\overline{c}})$ 단계 내에 수렴함을 보장한다. 여기서 절대 상수 $\overline{c} > 0$이다.
• 최종 하위격자 $\mathbf{P}$가 충분히 크다는 것을 보일 수 있도록 $|P^{(i)}| \geq |P^{(i-1)}|^{\kappa_0^{(1/\delta)^{\delta^{-C_6}}}}$ 를 사용한다.

실험 결과

연구 질문

• RQ1 두 차원 격자 $[1,N]^2$에서 코너가 없는 부분집합의 최대 크기에 대한 최적의 정량적 한계는 무엇인가?
• RQ2 $N \to \infty$일 때, 코너가 없는 부분집합의 최대 밀도 $L(N)$이 0으로 수렴하는 속도는 어떻게 되는가?
• RQ3 고어스의 방식—반복적 밀도 증가와 균일성 기법—을 이차원 코너 문제에 어떻게 적용할 수 있는가?
• RQ4 밀도 $\delta$를 갖는 $[1,N]^2$의 부분집합이 반드시 코너를 포함하기 위한 최소 $N$은 얼마인가?

주요 결과

• 논문은 $[1,N]^2$의 부분집합 $A$가 밀도 $\delta$ 이상일 경우, $N \geq \exp\exp\exp(\delta^{-c})$이면 코너를 포함함을 증명한다. 여기서 $c > 0$은 절대 상수이며, 이는 코너 정리의 정량적 형태를 확립한다.
• 코너가 없는 부분집합의 최대 밀도 $L(N)$은 절대 상수 $C_1 > 0$에 대해 $L(N) \ll 1/(\log\log\log N)^{C_1}$를 만족함을 보여, 이는 이전의 한계를 향상시킨다.
• 증명은 밀도 증가 과정을 $O(\delta^{-\overline{c}})$번 반복한 후, 집합 $A$가 하위격자 $\mathbf{P}$에서 충분히 균일해져 코너를 보장할 수 있음을 보여준다.
• 최종 하위격자 $\mathbf{P}$는 $0 < \kappa < 1$, $b > 1$에 대해 $|\mathbf{P}| \geq N^{\kappa^{(1/\delta)^{\delta^{-b}}}}$를 만족함을 보여, 코너 기준을 적용하기에 충분히 크다는 것을 보장한다.
• 이 방법은 유한한 수의 단계 이후 최종 하위격자에서 $A$의 밀도가 $2\delta$를 초과하고 오차가 $\leq 10^{-108}\delta^{44}$ 이내로 균일성 조건을 만족함을 보장한다.
• 결과적으로 코너 문제에 대해 고어스의 산술적 등차수열에 대한 결과와 유사한 정량적 해법이 존재함을 확인하며, $\delta^{-1}$에 대한 삼중 지수적 의존성을 보인다.