[論文レビュー] Uniformity of multiplicative functions and partition regularity of some quadratic equations

Nikos Frantzikinakis, Bernard Host|arXiv (Cornell University)|Mar 18, 2013

Limits and Structures in Graph Theory参考文献 25被引用数 6

ひとこと要約

本稿では、$16x^2 + 9y^2 = n^2$ や $x^2 + y^2 - xy = n^2$ などの特定の3変数二次方程式の分割正則性を、解集合がエゴード的系における再帰を可能にするパラメトリック構造を有することを示すことによって確立する。主な貢献は、乗法的関数をほぼ周期的成分と一様な成分に分解する手法であり、これにより高次フーリエ解析とニル多様体の等分布性を用いて密度および再帰的性質を証明できる。

ABSTRACT

Since the theorems of Schur and van der Waerden, numerous partition regularity results have been proved for linear equations, but progress has been scarce for non-linear ones, the hardest case being equations in three variables. We prove partition regularity for certain equations involving forms in three variables, showing for example that the equations $16x^2+9y^2=n^2$ and $x^2+y^2-xy=n^2$ are partition regular, where $n$ is allowed to vary freely in $\mathbb{N}$. For each such problem we establish a density analogue that can be formulated in ergodic terms as a recurrence property for actions by dilations on a probability space. Our key tool for establishing such recurrence properties is a decomposition result for multiplicative functions which is of independent interest. Roughly speaking, it states that the arbitrary multiplicative function of modulus 1 can be decomposed into two terms, one that is approximately periodic and another that has small Gowers uniformity norm of degree three.

研究の動機と目的

• 自然数 ℕ において1つの変数（n）が自由に変化する3変数の二次方程式の分割正則性を確立すること。
• 線形方程式を超えて、特に非平行移動不変かつ非線形な設定において既知の結果を拡張すること。
• 確率空間上のスケーリング作用における再帰的性質として定式化された、分割正則性の密度版を提案すること。
• 絶対値1の乗法的関数についての新しい構造的結果を証明し、それをほぼ周期的成分と、3次グローバー一様性ノルムが小さい成分に分解すること。

提案手法

• 3つの関連する二変数形式の非ゼロの平方判別式に基づく、二次形式のパラメトリック解の利用。
• 特に3次グローバー一様性ノルムの逆定理を用いた高次フーリエ解析の適用。
• 組合せ的分割正則性を確率空間上のスケーリング作用における再帰に翻訳するためのエゴード論的手法の使用。
• 任意の乗法的関数をほぼ周期的成分と、3次グローバー一様性ノルムが小さい成分に分解することの確立。
• ニル多様体上の定量的等分布結果を用いて、分解の均一成分を制御すること。
• 解のパラメトリック構造を活用し、問題を動的に定義された集合における再帰に還元すること。

実験結果

リサーチクエスチョン

• RQ1 n が自由に変化するとき、方程式 $ax^2 + by^2 = n^2$ が ℕ 上で分割正則となる条件は何か？
• RQ2 平行移動不変性や線形構造が欠如する状況下でも、二次方程式の分割正則性を確立できるか？
• RQ3 絶対値1の乗法的関数は、その一様性および再帰的性質を制御するためにどのように分解できるか？
• RQ4 関連する二変数形式の平方判別式は、十分な組合せ的豊かさを持つ解集合を保証するために果たす役割は何か？
• RQ5 確率空間上のスケーリング作用におけるエゴード的再帰を用いて、分割正則性の密度版を定式化・証明できるか？

主な発見

• $16x^2 + 9y^2 = n^2$ や $x^2 + y^2 - xy = n^2$ のような方程式は、提示された条件下で分割正則である。
• 一般の二次形式 $p(x,y,z) = ax^2 + by^2 + cz^2 + dxy + exz + fyz$ に対して、3つの判別式 $\Delta_1, \Delta_2, \Delta_3$ がすべて非ゼロの平方数であれば、方程式 $p(x,y,n) = 0$ は分割正則である。
• 乗法的関数をほぼ周期的成分と3次一様性成分に分解する手法は、独立した価値を持つ道具として確立された。
• 任意の ℕ の有限個のセルへの分割に対して、ある $n \in \mathbb{N}$ が存在し、そのセルに $p(x,y,n) = 0$ を満たす相異なる $x,y$ が含まれる。
• 分割正則性の密度版が証明された：上部密度が正である任意の集合に対して、同じ条件下で $p(x,y,n) = 0$ を満たす解が存在する。
• 誘導された分割を用いることで線形方程式へも拡張可能であり、$a,b,a+b$ がすべて非ゼロの平方数であれば、$ax + by = n^2$ は分割正則である。