[논문 리뷰] A multidimensional Szemerédi's theorem in the primes

Tatchai Titichetrakun|arXiv (Cornell University)|2016. 01. 01.

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

한 줄 요약

이 논문은 허수적 측도와 초그래프 정규화를 사용하여 그린-탈로 정리의 고차원 버전을 확장함으로써 소수에서 다차원의 셰메레디 유형 정리를 확립한다. 전이 원리, 가중 초그래프 정규화, 필터 방법을 적용하여 거의 소수에서 모서리 및 일반적인 다차원 구성요소의 존재를 증명하며, 흩어진 소수 집합에서의 산술적 등차수열을 고차원으로 일반화한다.

ABSTRACT

In this thesis, we investigate topics related to the Green-Tao theorem on arithmetic progression in primes in higher dimensions. Our main tool is the pseudorandom measure majorizing primes defined in [51] concentrated on almost primes. In chapter 2, we combine the sieve technique used in constructing pseudorandom measure (in this case, Goldston-Yildirim sum and almost primes) with the circle method of Birch to study the number of almost prime solutions of diophantine systems (with some rank conditions). Our rank condition is similar to the integer case, due to the heuristics that almost primes are pseudorandom. In chapter 3, we investigate the generalization of Green-Tao’s theorem to higher dimensions in the case of corner configuration. We apply the transference principle of Green-Tao (with hyperplane separation technique of Gowers) in this setting. This problem is also related to the densification trick in [16]. In chapter 4, we extend the result of Chapter 3 to obtain the full multi-dimensional analogue of the Green-Tao’s theorem, using hypergraph regularity method by directly proving a version of hypergraph removal lemma in the weighted hypergraphs. The method is to run an energy increment on a parametric weight systems of measures, rather than on a single measure space, to overcome the presence of intermediate weights. Contrary to [110], [68] where the authors investigate the problem using a measure supported on primes and infinite linear form conditions, relying on the Gowers Inverse Norms Conjecture.

연구 동기 및 목표

• 소수에서의 산술적 등차수열에 대한 그린-탈로 정리를, 역삼각형과 다차원 격자와 같은 고차원 구성요소로 일반화하기.
• 허수적임의 힌트를 활용하여 거의 소수 집합에서 이러한 구성요소의 존재를 확립하기.
• 가중 측도 시스템에서 중간 단계의 가중치에 기인한 기술적 과제를 매개변수 가중치 시스템과 에너지 증가 논증을 통해 해결하기.
• 기존의 무한한 선형형태 조건이나 가우저 역노름 추측에 의존하지 않는 다차원 셰메레디 정리의 직접적 증명을 제공하기.

제안 방법

• 골드스턴-일디르 합과 거의 소수를 이용해 구성된 소수의 분포를 모델링하는 허수적 측도를 사용하여 고차원에서의 소수 분포를 다룬다.
• 버치의 원주법을 적용하여 정수 사례와 유사한 질량 조건을 만족하는 디오판틴 시스템의 거의 소수 해를 세는 데 사용한다.
• 그린-탈로의 전이 원리와 가우저의 초평면 분리 기법을 결합하여 밀도 있는 집합에서 거의 소수의 흩어진 집합으로 결과를 전이한다.
• 중간 단계의 가중치를 다루기 위해 매개변수 가중치 시스템의 측도를 도입하여, 가중 초그래프에서의 에너지 증가 논증을 가능하게 한다.
• 초그래프 정규화 방법을 사용한 가중 초그래프 제거 보조정리의 버전을 적용하여 다차원 구성요소의 존재를 유도한다.
• 가우저 역노름 추측과 무한한 선형형태 조건에 의존하지 않으며, [110]과 [68]의 이전 접근과 다릅니다.

실험 결과

연구 질문

• RQ1 그린-탈로 정리에서 소수의 산술적 등차수열을 역삼각형과 같은 고차원 구성요소로 확장할 수 있는가?
• RQ2 전이 원리는 어떻게 수정되어 흩어진 집합인 거의 소수에서 다차원 패턴을 증명할 수 있는가?
• RQ3 매개변수 가중치 시스템과 중간 가중치를 다룰 때 초그래프 정규화 방법에 어떤 수정이 필요한가?
• RQ4 가우저 역노름 추측을 가정하지 않고도 소수에서 다차원 셰메레디 정리를 증명할 수 있는가?
• RQ5 거의 소수는 고차원 디오판틴 시스템의 맥락에서 어느 정도 허수적임을 보이는가?

주요 결과

• 논문은 거의 소수에서 역삼각형 구성요소의 존재를 확립하여, 그린-탈로 정리를 고차원 환경으로 확장한다.
• 가중 초그래프에서 직접적인 초그래프 정규화 방법을 사용하여 소수에서 다차원 그린-탈로 정리의 유사체를 증명한다.
• 매개변수 가중치 시스템을 도입함으로써 중간 단계의 가중치 문제를 성공적으로 해결하여 에너지 증가 논증을 가능하게 하였다.
• 가우저 역노름 추측이나 무한한 선형형태 조건에 의존하지 않아 이전 연구와 차별화된 결과를 달성하였다.
• 디오판틴 시스템의 질량 조건이 허수적임의 힌트에 의해 유지되며, 이는 거의 소수를 고차원에서 소수의 모델로 사용하는 것이 타당함을 검증한다.
• 원주법을 거의 소수 해에 적용함으로써 필터 기반의 허수적 측도가 고전적 해석수론 기법과 일관됨을 확인하였다.