[논문 리뷰] An inverse theorem for the Gowers U^3 norm

Ben Green, Terence Tao|arXiv (Cornell University)|2005. 03. 01.

Limits and Structures in Graph Theory참고 문헌 31인용 수 37

한 줄 요약

이 논문은 임의의 유한 아벨 군에 대해 고우어스 $U^3(G)$ 노름에 대한 역정리(역정리)를 수립하여, 큰 $U^3$ 노름이 보어 이웃 근처에 국한된 이차 위상 함수와 상관관계가 있음을 보여준다. 이 결과는 임의의 아벨 군에서 4항 등차수열에 대한 증명을 정량적으로 가능하게 하며, 어떤 절대 상수 $c>0$에 대해 $r_4(G) \ll |G| (\log \log |G|)^{-c}$ 를 얻는다. 이는 고우어스의 원래 증거를 정수 이외의 군으로 확장한다.

ABSTRACT

The Gowers U^3 norm is one of a sequence of norms used in the study of arithmetic progressions. If G is an abelian group and A is a subset of G then the U^3(G) of the characteristic function 1_A is useful in the study of progressions of length 4 in A. We give a comprehensive study of the U^3(G) norm, obtaining a reasonably complete description of functions f : G -> C for which ||f||_{U^3} is large and providing links to recent results of Host, Kra and Ziegler in ergodic theory. As an application we generalise a result of Gowers on Szemeredi's theorem. Writing r_4(G) for the size of the largest set A not containing four distinct elements in arithmetic progression, we show that r_4(G) << |G|(loglog|G|)^{-c} for some absolute constant c. In future papers we will develop these ideas further, obtaining an asymptotic for the number of 4-term progressions p_1 < p_2 < p_3 < p_4 < N of primes as well as superior bounds for r_4(G). Update, December 2023. Proposition 3.2 in the paper, which is stated without detailed proof, is incorrect. For a counterexample, see Candela, Gonzalez-Sanchez and Szegedy arXiv:2311.13899, Remark 4.3. Proposition 3.2 is invoked twice in the paper. First, it is used immediately after its statement to deduce the second part of Theorem 2.3. However, that theorem concerns only vector spaces over finite fields, and in this setting Proposition 3.2 is correct by standard linear algebra. The remark at the end of Section 3 that the argument works for arbitrary $G$ should, however, be deleted. The second application is in the proof of Lemma 10.6. It may well be possible to salvage this lemma, particularly if $P$ is assumed proper, but in any case it is only applied once, in the proof of Proposition 10.8. There, $P$ is proper and, more importantly, $H = \{0\}$ is trivial; in this setting Lemma 10.6 and its proof remain valid.

연구 동기 및 목표

• 임의의 유한 아벨 군 $G$에 대해 고우어스 $U^3(G)$ 노름에 대한 완전한 역정리를 수립하고, 노름이 클 때의 조건을 특성화하는 것.
• 고우어스의 푸리에 해석적 접근을 정수 이외의 임의의 아벨 군으로 확장하여 4항 등차수열에 대한 증명을 확장하는 것.
• 4항 등차수열을 포함하지 않는 $G$의 최대 부분집합의 크기에 대한 정량적 bound를 제공하는 것. 이는 이전 결과를 향상시키는 것이다.
• 고우어스 $U^3$ 노름과 고차원 푸리에 해석의 관계를 명확히 하며, 특히 비르스의 수열과 에르고딕 이론에서의 특성 인자와의 관련성을 밝히는 것.

제안 방법

• 논문은 $G^4$ 위에서의 다중선형 평균을 통해 $U^3(G)$ 노름을 정의하며, $f$와 그 이동된 함수들의 곱을 포함한다.
• 유계 함수 $f: G \to \mathbb{C}$가 큰 $U^3(G)$ 노름을 가질 조건은, $G$의 보어 이웃에서 이차적인 $\phi: G \to \mathbb{R}/\mathbb{Z}$에 대해 $e(\phi)$와 상관관계가 있음을 증명한다.
• 특수한 경우 $G = \mathbb{F}_5^n$에서는, 큰 $U^3$ 노름이 전역 이차 위상 $\phi$와의 큰 내적을 의미함을 나타낸다.
• 큰 $U^3$ 노름을 가진 함수에 대한 구조 정리를 증명하여 문제를 보어 집합 위에서 이차 위상 함수에 의해 제어되는 함수 분석으로 환원한다.
• 역정리를 밀도 증가 기법에 적용하여, 4항 등차수열을 포함하지 않는 집합은 보어 이웃에서 밀도 증가를 가져야 함을 보여준다.
• 하나의 하위군 $HP_{k,i}$의 구조에 대한 위상적 귀납법과 몫 공간 $G^k / \Gamma^k$에서의 사영 사상 $\pi$에 대한 연속적인 국소 우측역함수를 사용한다.

실험 결과

연구 질문

• RQ1 함수 $f: G \to \mathbb{C}$가 어떤 조건을 만족할 때 $U^3(G)$ 노름이 크며, 이러한 함수는 어떻게 특성화될 수 있는가?
• RQ2 고우어스 $U^3(G)$에 대한 역정리를 유한체에서 임의의 유한 아벨 군으로 확장할 수 있는가?
• RQ3 임의의 아벨 군에서 4항 등차수열에 대해 밀도 증가 기법을 적용할 때의 정량적 강도는 어떠한가?
• RQ4 $U^3$ 노름과 이차 위상 함수는 에르고딕 이론에서의 특성 인자와 어떻게 관련이 있는가?
• RQ5 역정리를 사용하여 소수에서의 4항 등차수열의 수에 대한 점근 공식을 도출할 수 있는가?

주요 결과

• $G = \mathbb{F}_5^n$인 경우, 유계 함수 $f$가 큰 $U^3(G)$ 노름을 가질 조건은 전역 이차 위상 $e(\phi)$, $\phi: \mathbb{F}_5^n \to \mathbb{R}/\mathbb{Z}$와의 내적이 크다는 것이다.
• 일반적인 유한 아벨 군에서는 큰 $U^3(G)$ 노름이 보어 이웃에서만 이차적인 위상 함수와의 상관관계를 의미하며, 전역적으로 이차일 필요는 없다.
• 논문은 4항 등차수열을 포함하지 않는 부분집합의 크기에 대해 정량적 bound $r_4(G) \ll |G| (\log \log |G|)^{-c}$ 를 수립한다. 여기서 $c>0$는 절대 상수이다.
• 이 bound는 역정리와 밀도 증가 기법을 조합하여 도출되었으며, 고우어스의 증명을 임의의 아벨 군으로 확장한다.
• 증명 과정에서 몫 공간 $HP_{k,i}/\Gamma^k$에서 사영 사상 $\pi$에 대한 연속적인 국소 우측역함수를 구성하여 위상적 설정에서의 해를 귀납적으로 구성할 수 있게 한다.
• 결과적으로 고우어스 $U^3$ 노름, 이차 위상 함수, 니르시스템의 구조 사이의 강력한 연결 고리를 확립하였으며, 후속적으로 호스트-크라와 츠이거러가 개발한 에르고딕 이론과 일치한다.