[論文レビュー] An application of the sum-product phenomenon to sets having no solutions of several linear equations

Ilya D. Shkredov|arXiv (Cornell University)|Sep 21, 2016

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

ひとこと要約

この論文は、有限体における和積現象を応用して、形式 $x_1 + a_jx_2 + b_jx_3 = b_j$ の複数の一次方程式を避ける $\mathbb{F}_p$ の部分集合のサイズに関する上限を確立する。スペクトル法と交差理論を用いて、このような集合のサイズが $\kappa < 3/20$ のもとで $O(p / t^\kappa)$ であることを証明し、既知の境界を改善するとともに、新しい技術がなければ指数が $1/3$ を超えることはないことを示している。この結果は、非平均集合、同一直線上の三つ組、および混合エネルギーへの応用を持つ。

ABSTRACT

We prove that for an arbitrary $κ\le \frac{1}{3}$ any subset of $\mathbf{F}_p$ avoiding $t$ linear equations with three variables has size less than $O(p/t^κ)$. We also find several applications to problems about so--called non--averaging sets, number of collinear triples and mixed energies.

研究の動機と目的

• 非ゼロ係数をもつ形式 $x_1 + a_jx_2 + b_jx_3 = b_j$ の $t$ 個の一次方程式を避ける $\mathbb{F}_p$ の部分集合の最大サイズを特定すること。
• 和積現象が、特に $t \to \infty$ および $p \to \infty$ のとき、このような集合のサイズにどのように制約を加えるかを調査すること。
• このような方程式 $t$ 個を避ける集合のサイズに対する定量的な上界および下界を、$t$ における明示的な指数を含めて確立すること。
• 結果を加法的組合せ論の問題、特に非平均集合、カルテシアン積における同一直線上の三つ組、および混合エネルギー推定への応用に適用すること。

提案手法

• 集合 $A \subseteq \mathbb{F}_p$ のスペクトルを、大きなフーリエ係数によって定義し、その加法的および乗法的構造を分析する。
• 文献[9]の精密な交差定理および[1, 7, 10]による拡張を用いて、一次方程式の解の数を制御する。
• スペクトルエネルギーの境界を用いて、小規模な集合に限らない大規模な集合 $A$ に対しても交差結果を拡張するため、双対集合（スペクトル）を用いる。
• 集合 $A$ のスペクトルが小さい乗法的エネルギーを持つこと、およびさらに小さい乗法的エネルギーを持つ大きな部分集合を含むことを確立する。
• フーリエ係数におけるコーシー＝シュバルツの不等式およびピーコンティングを用いて、混合エネルギー和の期待値からのずれを制御する。
• エネルギー推定における誤差項を制御するため、$\|\widehat{A}\|'_{\infty}$、つまり大きな係数に制限されたフーリエ変換のノルムの上界を含む重要な推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 和積現象を用いて、$\mathbb{F}_p$ における複数の一次方程式を避ける集合のサイズを評価することは可能か？
• RQ2 形式 $x_1 + a_jx_2 + b_jx_3 = b_j$ の $t$ 個の方程式を避ける集合に対して、$|A| = O(p / t^{\kappa})$ となるような最良の指数 $\kappa$ は何か？
• RQ3 指数を $\kappa = 1/3$ を超えて改善することは可能か？ それは加法的組合せ論にどのような意味を持つのか？
• RQ4 スペクトル的性質、たとえばスペクトルのサイズや乗法的エネルギーといった $A$ の性質は、一次方程式の回避性とどのように関係するか？
• RQ5 この手法を大規模な集合 $A$ に対して、混合エネルギー $\sum_{x \in X} \mathsf{E}^+(A, xA)$ の推定に拡張することは可能か？

主な発見

• 任意の $\kappa < 3/20$ に対して、$A \subseteq \mathbb{F}_p$ が異なる比または一意な座標をもつ $t$ 個の形式 $x_1 + a_jx_2 + b_jx_3 = b_j$ の方程式を避けるならば、$|A| = O(p / t^{\kappa})$ である。
• 本論文は、$t$ 個のこのような方程式を避けるサイズ $\gg p / t^{1/2}$ の集合を構成しており、この場合において指数 $1/2$ がタイトであることを示している。
• 任意の集合 $A \subseteq \mathbb{F}_p$ のスペクトルは小さい乗法的エネルギーを持ち、さらに小さい乗法的エネルギーを持つ大きな部分集合を含む。
• $|A| \gtrsim p^{11/14}$ のとき、差の比の集合 $R[A]$ のサイズは $(1 - o(1))p$ 以上であり、比の分布がほぼ一様であることを示している。
• 混合エネルギーに対する新しい推定が得られた：$\left| \sum_{x \in X} \mathsf{E}^+(A, xA) - \frac{|X||A|^4}{p} \right| \lesssim \delta^{8/3} |X|^{1/2} p^3 \left( \frac{\|\widehat{A}\|'_{\infty}}{|A|} \right)^{2/3} $、これは $|X|$ に関するある条件を満たす場合に有効である。
• 現在の技術の自然な限界が $1/3$ であると考えられているため、$O(p / t^{1/3})$ よりも境界を改善することは、新しいアイデアがなければ不可能である。