[논문 리뷰] Breaking the logarithmic barrier in Roth's theorem on arithmetic progressions

Thomas F. Bloom, Olof Sisask|arXiv (Cornell University)|2020. 07. 07.

Limits and Structures in Graph Theory참고 문헌 27인용 수 12

한 줄 요약

이 논문은 로스의 정리에서 초월 로그적 개선을 이룩한다. 즉, ​​{1,…,N}의 부분집합 중에서 비자명한 세 항 등차수열을 포함하지 않는 집합에 대해, 그 크기가 ​​{N/(​​{log N})^{1+c}}보다 훨씬 작다는 것을 증명한다. 여기서 c>0은 절대적인 상수이다. 증명은 푸리에 해석 기법과 새로운 '스펙트럼 부스팅(spectral boosting)' 기법을 조합하여 스펙트럼의 구조적 성질을 조밀도 증가로 전환함으로써, 이 고전적 문제에서 오랫동안 지속된 로그 장벽을 돌파한다.

ABSTRACT

We show that if $A\subset \{1,\ldots,N\}$ contains no non-trivial three-term arithmetic progressions then $\lvert A vert \ll N/(\log N)^{1+c}$ for some absolute constant $c>0$. In particular, this proves the first non-trivial case of a conjecture of Erdős on arithmetic progressions.

연구 동기 및 목표

• 로스의 정리에서 정수에서의 세 항 등차수열에 대한 로그 밀도 장벽을 돌파하는 것.
• 수렴하지 않는 조화급수를 가진 집합이 임의의 길이의 등차수열을 포함한다는 에르되시의 추측의 첫 비자명한 경우를 확립하는 것.
• 스펙트럼 및 가군적 구조 분석을 통해 소수와 유한체에서의 등차수열을 포함하지 않는 집합에 대한 정량적 상한을 향상시키는 것.
• 스펙트럼의 구조를 조밀도 증가로 전환하는 데 사용할 수 있는 새로운 기법인 '스펙트럼 부스팅'을 도입하고 적용하는 것.
• 이전 방법의 한계를 극복하기 위해 스펙트럼과 대칭 집합의 정교한 분석을 통해 1/log N 조밀도 임계값을 넘어서는 것.

제안 방법

• 진행순서가 없는 집합 A의 스펙트럼을 분석하기 위해 푸리에 해석 기법을 사용한다. 여기서 스펙트럼은 큰 푸리에 계수를 가진 주파수의 집합으로 정의된다.
• 크루트와 시사스가 도입한 '거의 주기성(almost-periodicity)' 개념을 적용하여 스펙트럼의 구조적 부분집합을 탐지한다.
• 스펙트럼 부스팅을 도입한다. 이는 약한 스펙트럼 구조를 스펙트럼 내에서 더 강한 가군적 구조로 증폭시키는 기법이다.
• 보르 집합과 가군적 프레임워크를 기반으로 한 조밀도 증가 논증을 사용하여 A의 구조적 부분집합을 찾는다.
• 스펙트럼 집합의 가군 에너지와 차원을 분석하여 조밀도 증가를 암시하는 구성요소를 식별한다.
• 비스무스 집합과 스펙트럼 구조에 대한 부분 결과를 조합하여, 조밀도 증가가 존재하지 않을 경우 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 로스의 정리에서 로그 밀도 장벽을 푸리에 분석 및 스펙트럼 기법을 사용하여 돌파할 수 있는가?
• RQ2 진행순서가 없는 집합의 스펙트럼에 대한 어떤 구조적 성질이 조밀도 증가의 존재를 암시하는가?
• RQ3 스펙트럼 부스팅은 얼마나 강력한 가군적 구조로 약한 스펙트럼 구조를 변환할 수 있는가?
• RQ4 스펙트럼의 유한차원 부분집합 중에서 큰 가군 에너지를 지닌 것이 존재하는가? 그러한 부분집합은 조밀도 증가를 가능하게 하는가?
• RQ5 스펙트럼의 추측되는 구조(예: 추측 13.2 또는 13.3)는 로스의 정리에서 개선된 상한을 도출할 수 있는가?

주요 결과

• 논문은 ​​{1,…,N}의 부분집합 A 중에서 비자명한 세 항 등차수열을 포함하지 않는 집합에 대해, 어떤 절대적인 상수 c>0에 대해 |A| ≪ N/(log N)^{1+c}임을 증명한다.
• 이 결과는 오랫동안 지속된 1/log N 조밀도 장벽을 돌파하며, 로스의 정리에서 초월 로그적 개선이 이루어진 첫 번째 사례이다.
• 결과적으로, 조화급수가 수렴하지 않는다는 조건에서 무한히 많은 세 항 등차수열을 포함한다는 에르되시의 추측이 첫 비자명한 경우에서 확인된다.
• 소수의 부분집합에 대한 상한은 상대 조밀도 ≪ 1/(log N)^c로 향상되었으며, 이는 나슬란드의 이전 결과 (log log N)^{-1+o(1)}를 초월한다.
• 증명 과정에서 스펙트럼의 구조를 가군적 구조로 전환하는 데 사용할 수 있는 새로운 기법인 '스펙트럼 부스팅'을 도입한다.
• 상수 c>0는 원칙적으로 효과적으로 계산 가능하지만, 이 방법은 매우 작은 값을 도출한다 (예: c ≈ 2^{-2^{2^{1000}}})