[論文レビュー] Translation invariant quadratic forms in dense sets

Eugen Keil|arXiv (Cornell University)|Aug 30, 2013

Limits and Structures in Graph Theory参考文献 16被引用数 7

ひとこと要約

本稿は、17変数以上を含む変換不変な二次形式について、密度増加の定量的結果を確立し、Rothの定理（3項等差数列に関する）を二次の設定に拡張する。フーリエ解析、制限理論、一様ノルム、密度増加法を組み合わせることで、非自明な解をもたない{1, ..., N}の稠密な部分集合は、C_Q N (log log N)^(-c) 未満の大きさを持つことが示され、ここでcは形式や変数の数に依存しない。

ABSTRACT

We generalize Roth's theorem on three term arithmetic progressions to translation invariant quadratic forms in at least 17 variables. We use Fourier-analysis, restriction theory, uniformity norms and Roth's density increment method to show quantitative estimates for subsets of the integers without any non-trivial solutions.

研究の動機と目的

• 整数の稠密な部分集合における変換不変な二次形式への3項等差数列のRothの定理の一般化。
• このような二次方程式に関して非自明な解をもたない{1, ..., N}の部分集合の大きさに対する定量的上界の確立。
• Gowers, Green, Liuの手法を非線形設定に拡張し、フーリエ解析的および制限理論的技術を用いる。
• C_Q N (log log N)^(-c) の上界における指数cが二次形式Qや変数の数sに依存しないことを示す。
• 素数のような構造的集合における解の漸近的数え上げのための基盤を築く。

提案手法

• 一様ノルムとフーリエ解析的技術を用いて、Rothの密度増加法を二次形式に適応する。
• 円周法における主要弧/微小弧分解を用い、制限理論を適用して指数和を制御する。
• 射影恒等式を用いて、主要弧近似のL^∞-ノルムと、Weyl和の平方とその主要弧近似との差のL^∞-ノルムを関連付ける。
• Weylの不等式を用いて微小弧上の指数和を評価し、Q ≥ N^{1/2} かつQがNの小さなべき乗である場合にO(N^{1+ε} Q^{-1/2})を得る。
• コーシー・シュワルツとハウスドルフ＝ヨングの不等式を用いて、生成関数の算術的および解析的部のL^pノルムを制御する。
• モーメント推定とホルダーの不等式を用いて、生成関数のL^r-ノルムを評価し、最終的なL^p上界に至る。

実験結果

リサーチクエスチョン

• RQ1 Rothの3項等差数列に関する定理は、17変数以上を含む変換不変な二次形式への一般化が可能か？
• RQ2 変換不変な二次形式に関して非自明な解をもたない{1, ..., N}の部分集合の大きさに対する最良の定量的上界は何か？
• RQ3 密度上界における指数cを二次形式Qや変数の数sに依存させない形にできるか？
• RQ4 線形方程式に用いられる手法を、二次形式の非線形構造に適応できるか？
• RQ5 これらの技術を用いて、素数のような構造的集合における二次形式の解の漸近的数え上げを導出できるか？

主な発見

• 任意の非特異な実解をもつs ≥ 17変数の変換不変な二次形式に対して、非自明な解をもたない{1, ..., N}の部分集合の大きさは、あるc > 0とC_Q > 0に対してC_Q N (log log N)^(-c) 未満である。
• 上界における指数cは二次形式Qや変数の数sに依存せず、これはsに依存する手法とは顕著な改善である。
• 多くの場合、s ≥ 10でも成立し、s ≥ 17はより精密な解析を必要とする最悪ケースの上限であり、より洗練された分析により改善可能である。
• 証明はフーリエ解析、制限理論、一様ノルム、密度増加法を組み合わせ、指数和を制御し、上界を導出する。
• この手法は、素数のような構造的集合における解の漸近的数え上げへの拡張が可能であり、純粋な加法的組合せ論的手法では到達できない。
• 主な技術的革新は、生成関数のL^r-ノルムを制御するためのモーメント推定と射影恒等式の使用であり、これが最終的な上界に至る。