[論文レビュー] On monochromatic solutions of some nonlinear equations in Z/pZ

Ilya D. Shkredov|ArXiv.org|Sep 17, 2009

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

ひとこと要約

本稿では、有限体 ℤ/pℤ における非線形方程式の単色解の存在を確立し、|A₁||A₂||A₃| ≥ 40p⁵/² を満たす任意の三つの部分集合 A₁, A₂, A₃ ⊆ ℤ/pℤ に対して、x, y ∈ ℤ/pℤ が存在して x + y ∈ A₁、xy ∈ A₂、x ∈ A₃ となることを証明する。証明は加法的組合せ論におけるフーリエ解析的手法と指数和の推定を用い、解の存在を保証する密度条件を導出する。これは、シュール型方程式の結果を有限体における非線形設定に拡張するものである。

ABSTRACT

Consider an arbitrary coloring of integers with finite number of colors. Is it true that there are x, y such that x + y, xy and x have the same color? This is a well-known question of Ramsey theory has not solved yet. In the article we give a positive answer to the last question in the group Z/pZ, where p is a prime number.

研究の動機と目的

• ℤ/pℤ における加法と乗法を含む方程式の単色解に関するラマヌジャン理論における未解決問題を解明すること。
• 部分集合 A₁, A₂, A₃ ⊆ ℤ/pℤ に対して、x + y ∈ A₁、xy ∈ A₂、x ∈ A₃ を満たす x, y の存在を保証する密度条件を確立すること。
• 有限体における単色解の既知の結果を線形から非線形方程式へ拡張すること。
• 解の存在を保証する定量的密度閾値（|A₁||A₂||A₃| ≥ 40p⁵/²）を提示し、シュール型定理を非線形設定に一般化すること。

提案手法

• 集合 A₁, A₂, A₃ の特性関数のフーリエ変換を用いて、乗法的群 ℤ_p^* 上でフーリエ解析を実行する。
• パーサバルの等式と直交性関係を適用し、解の数を指数和に関連付ける。
• コーシー・シュワルツ不等式を用いて f(x) = ∑_{y: x+y∈A₁, xy∈A₂} 1 の L² ノルムを推定し、誤差項を評価する。
• 密度条件を用いて内積 ∑_x A₃(x)f(x) の下界を導出し、解の数が正であることを保証する。
• 二項演算 x∘y = x² + xy の拡張性を用い、方程式 a₁² + a₁a₂ + a₃ = 0 の可解性と関連付ける。
• この手法を応用し、p(a₁,a₂) = a₃ の可解性に関する新しい密度結果を導出する。ここで p は p₁(x) + p₂(x)g(y) の形の多項式である。

実験結果

リサーチクエスチョン

• RQ1 任意の有限彩色 ℤ/pℤ に対して、x + y、xy、x がすべて同じ色の単色解を持つだろうか？
• RQ2 三つの部分集合 A₁, A₂, A₃ ⊆ ℤ/pℤ に対して、x + y ∈ A₁、xy ∈ A₂、x ∈ A₃ を満たす x, y の存在を保証する最小の密度条件は何か？
• RQ3 加法と乗法を含む非線形方程式に対して、フーリエ解析と指数和推定の手法を有限体に拡張できるか？
• RQ4 多項式 p が非線形である形の p(a₁, a₂) = a₃ の方程式に対して、ℤ/pℤ における可解性の一般的な密度基準は存在するか？
• RQ5 このような方程式の可解性閾値は、加法的組合せ論における既知の結果（例：x∘y = x² + xy の場合）と比べてどう異なるか？

主な発見

• 任意の素数 p と部分集合 A₁, A₂, A₃ ⊆ ℤ/pℤ に対して、|A₁||A₂||A₃| ≥ 40p⁵/² を満たすとき、x, y ∈ ℤ/pℤ が存在して x + y ∈ A₁、xy ∈ A₂、x ∈ A₃ となる。
• 同じ密度条件の下で、方程式 a₁² + a₁a₂ + a₃ = 0 は a₁ ∈ A₁、a₂ ∈ A₂、a₃ ∈ A₃ を満たす解を持つ。
• 二項演算 x∘y = x² + xy に対する既知の拡張結果を改善し、空でない A, B ⊆ ℤ/pℤ に対して |A∘B| ≥ (p−1) − 40p⁵/²/(|A||B|) が成り立つことを示した。
• この手法により、解の数のオーダー p³/⁴ の密度閾値が得られ、類似方程式に対する従来の境界を著しく改善した。
• フーリエ解析と L² 評価を用いて、提示された密度条件の下で解の数に非自明な下界が存在し、それが正であることを証明した。
• 反例として二次非剰剰数や構造的部分集合を用いることで、元の問題が ℤ 上では同様の密度結果が成立しないことが示され、本結果が鋭いことを示している。