[論文レビュー] The Gaussian primes contain arbitrarily shaped constellations

Terence Tao|arXiv (Cornell University)|Jan 20, 2005

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".

研究の動機と目的

• 複素平面における任意の指定された形状のコンステレーションが、ガウス素数に無限個存在することを確立すること。
• 上部バンアッハ密度がゼロであるようなスパarsな集合（ガウス素数を含む）に対しても、多次元のツェメールディの定理を拡張すること。
• 一意因数分解と有限な単数群を持つ数体に適用可能な相対的超グラフ除去補題を構築すること。
• 必要な組合せ的構造をサポートするガウス準素数に集中する擬似ランダム測度を構築すること。
• 有理素数に対して用いられる転送法を、一意因数分解と有限な単数群を持つ数体（例：ℤ[i]）に適応し、密度および相関の障害を克服すること。

提案手法

• グーファーとローデル–スコカーンの強力な超グラフ除去補題を、擬似ランダム測度で重み付けされた相対的バージョンに適応する。
• [9]の転送議論を適用し、超グラフの結果をガウス素数のようなスパarsな集合へと拡張する。
• 環 ℤ[i] におけるゴールズトン–イェルディルム型の篩解析を用いて、ガウス準素数上の擬似ランダム測度を構築する。
• 一様ノルムを制御し、篩モデルにおける擬似ランダム性を保証するために、双対関数条件を用いる。
• 複素解析的道具（ゼータ関数や ℤ[i] 上の乗法的関数など）を用いて、篩における局所的要因を制御する。
• バッファ関数の急速な減衰および積の推定を用いて、指数和解析における誤差項を抑え込む。

実験結果

リサーチクエスチョン

• RQ1 上部バンアッハ密度がゼロであるようなスパarsな集合（例：ガウス素数）に対しても、多次元のツェメールディの定理を拡張できるか？
• RQ2 ガウス準素数に集中する擬似ランダム測度が、相対的超グラフ除去補題の適用を可能にするか？
• RQ3 有理素数に対して用いられる転送法を、一意因数分解と有限な単数群を持つ数体（例：ℤ[i]）に適応できるか？
• RQ4 ℤ^d から ℤ[i]^d へとコンステレーション定理を拡張しようとする際、特にコンステレーション要素間の相関に関する構造的障害は何か？
• RQ5 数体の文脈において相対的超グラフ除去補題は成立するか？ その適用を保証する条件は何か？

主な発見

• 任意の有限形状のコンステレーション（相異なるガウス整数の有限配置のすべての相似形を含む）が、ガウス素数に無限個存在する。
• 証明は、ガウス準素数に集中する擬似ランダム測度で重み付けされた相対的超グラフ除去補題に依存している。
• 擬似ランダム測度は、ガウス整数環におけるゴールズトン–イェルディルム型解析により構築され、転送原理に必要な十分な一様性を保証する。
• この手法は、相対的上部バンアッハ密度が正であるガウス素数の任意の部分集合に対しても適用可能であり、それらの集合がすべて指定されたコンステレーションを含むことを示唆する。
• このアプローチは、一意因数分解、有限な単数群、およびうまく定義された準素数の概念を持つ他の数体に対しても一般化可能である。
• 主な技術的革新は、ℤ[i] におけるゼータ関数の推定と乗法的関数の恒等式を用いて、篩における局所的要因を制御することにある。