[논문 리뷰] The Gaussian primes contain arbitrarily shaped constellations

Terence Tao|arXiv (Cornell University)|2005. 01. 20.

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

한 줄 요약

이 논문은 복소평면에서 임의의 사전 지정된 형상과 방향을 가진 별자리가 가우스 정수에서 무한히 많음을 증명한다. 상대적인 초그래프 제거 보조정리, 가우스 거의 소수 위에 정의된 가짜 랜덤 측도, 그리고 골즈턴–율드르룸 유형의 분석을 통해, 임의의 서로 다른 가우스 정수들의 유한 집합에 대해 그 집합의 스케일링 및 이동 복사본이 전부 가우스 소수로 이루어진 무한히 많은 복사본이 존재함을 입증한다.

ABSTRACT

We show that the Gaussian primes $P[i] \subseteq \Z[i]$ contain infinitely constellations of any prescribed shape and orientation. More precisely, given any distinct Gaussian integers $v_0,...,v_{k-1}$, we show that there are infinitely many sets $\{a+rv_0,...,a+rv_{k-1}\}$, with $a \in \Z[i]$ and $r \in \Z \backslash \{0\}$, all of whose elements are Gaussian primes. The proof is modeled on a recent paper by Green and Tao and requires three ingredients. The first is a hypergraph removal lemma of Gowers and Rödl-Skokan; this hypergraph removal lemma can be thought of as a generalization of the Szemerédi-Furstenberg-Katznelson theorem concerning multidimensional arithmetic progressions. The second ingredient is the transference argument of Green and Tao, which allows one to extend this hypergraph removal lemma to a relative version, weighted by a pseudorandom measure. The third ingredient is a Goldston-Yildirim type analysis for the Gaussian integers, which yields a pseudorandom measure which is concentrated on Gaussian "almost primes".

연구 동기 및 목표

• 가우스 소수가 복소평면에서 임의의 사전 지정된 형상의 별자리를 무한히 포함함을 입증하는 것.
• 가우스 소수와 같이 상한 반반 밀도가 0인 희박한 집합으로 다차원 즈제메레디 정리를 확장하는 것.
• 유일 인수분해가 가능하고 유한한 단위군을 가진 수체에 적용 가능한 상대적인 초그래프 제거 보조정리를 개발하는 것.
• 필요한 조합론적 구조를 지원하는 가우스 거의 소수에 집중된 가짜 랜덤 측도를 구성하는 것.
• 유리 소수에 사용된 전이 방법을 유일 인수분해가 가능하고 유한한 단위군을 가진 수체인 ℤ[i]로 확장하여 밀도 및 상관성 장벽을 극복하는 것.

제안 방법

• 구드어와 라드–스코카의 강력한 초그래프 제거 보조정리를, 가짜 랜덤 측도에 의해 가중된 상대적 형태로 일반화하는 것.
• 논문 [9]의 전이 추론을 적용하여 초그래프 결과를 가우스 소수와 같은 희박한 집합으로 확장하는 것.
• 가우스 정수의 환 ℤ[i]에서 골즈턴–율드르룸 유형의 걸러내기 분석을 사용하여 가우스 거의 소수 위에 가짜 랜덤 측도를 구성하는 것.
• 균일도 노름을 제어하고 걸러내기 모델에서 가짜 랜덤성을 보장하기 위해 쌍대 함수 조건을 활용하는 것.
• 지수 합 분석에서 오차 항을 유계화하기 위해, 복소해석학적 도구(예: 제타 함수 및 ℤ[i] 위의 곱셈 함수)를 사용하여 걸러내기의 국소 인자를 제어하는 것.
• 버블 함수의 급격한 감쇠성과 곱셈 추정을 사용하여 지수 합 분석에서 오차 항을 유계화하는 것.

실험 결과

연구 질문

• RQ1 상한 반반 밀도가 0인 희박한 집합인 가우스 소수와 같이, 다차원 즈제메레디 정리를 확장할 수 있는가?
• RQ2 가우스 거의 소수 위에 존재하는 가짜 랜덤 측도가 상대적 초그래프 제거 보조정리를 적용할 수 있도록 보장할 수 있는가?
• RQ3 유리 소수에 사용된 전이 방법을 유일 인수분해가 가능하고 유한한 단위군을 가진 수체인 ℤ[i]로 확장할 수 있는가?
• RQ4 ℤ^d에서 ℤ[i]^d로 별자리 정리를 올릴 때, 특히 별자리 원소 간의 상관성과 관련하여 어떤 구조적 장벽이 발생하는가?
• RQ5 수체의 맥락에서 상대적 초그래프 제거 보조정리는 성립하는가? 그리고 그 적용 가능성을 보장하는 조건은 무엇인가?

주요 결과

• 가우스 소수에는 ℤ[i]에서 임의의 유한한 형상, 즉 서로 다른 가우스 정수들의 유한 구성의 모든 동형 복사본을 포함하는 무한히 많은 별자리가 존재한다.
• 증명은 가우스 거의 소수에 집중된 가짜 랜덤 측도에 의해 가중된 상대적 초그래프 제거 보조정리에 기반한다.
• 가우스 정수의 환에서 골즈턴–율드르룸 유형의 분석을 통해 가짜 랜덤 측도가 구성되며, 이는 전이 원리에 필요한 충분한 균일성을 보장한다.
• 이 방법은 상대적 상한 반반 밀도가 양수인 가우스 소수의 임의의 부분집합에도 적용 가능하며, 이러한 집합 역시 모든 사전 지정된 별자리를 포함함을 의미한다.
• 이 접근법은 유일 인수분해가 가능하고, 유한한 단위군을 가지며, 거의 소수의 잘 정의된 개념이 존재하는 다른 수체로 일반화 가능하다.
• 핵심 기술적 혁신은 ℤ[i]에서 제타 함수 추정과 곱셈 함수 항등식을 통해 걸러내기의 국소 인자를 제어하는 데 있다.