[論文レビュー] Growth Estimates in Positive Characteristic via Collisions

Esen Aksoy Yazici, Thomas Brendan Murphy+2 more|arXiv (Cornell University)|Dec 21, 2015

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

ひとこと要約

この論文は、『像の衝突』——三次元の点-平面の交差として解釈される——という新しい幾何的技法を導入することで、正の標数の体における新しい和積推定値を確立した。これにより、積集合、和集合、多項式の像に関する境界が改善され、|A(A+A)| ≫ |A|^{3/2} や |A+1/A| ≫ |A|^{31/30} といった近似的に最適な指数が得られ、有限平面における交差幾何や距離集合への応用も示した。

ABSTRACT

Let $F$ be a field of characteristic $p>2$ and $A\subset F$ have sufficiently small cardinality in terms of $p$. We improve the state of the art of a variety of sum-product type inequalities. In particular, we prove that $$ |AA|^2|A+A|^3 \gg |A|^6,\qquad |A(A+A)|\gg |A|^{3/2}. $$ We also prove several two-variable extractor estimates: ${\displaystyle |A(A+1)| \gg|A|^{9/8},}$ $$ |A+A^2|\gg |A|^{11/10},\; |A+A^3|\gg |A|^{29/28}, \; |A+1/A|\gg |A|^{31/30}.$$ Besides, we address questions of cardinalities $|A+A|$ vs $|f(A)+f(A)|$, for a polynomial $f$, where we establish the inequalities $$ \max(|A+A|,\, |A^2+A^2|)\gg |A|^{8/7}, \;\; \max(|A-A|,\, |A^3+A^3|)\gg |A|^{17/16}. $$ Szemerédi-Trotter type implications of the arithmetic estimates in question are that a Cartesian product point set $P=A imes B$ in $F^2$, of $n$ elements, with $|B|\leq |A|< p^{2/3}$ makes $O(n^{3/4}m^{2/3} + m + n)$ incidences with any set of $m$ lines. In particular, when $|A|=|B|$, there are $\ll n^{9/4}$ collinear triples of points in $P$, $\gg n^{3/2}$ distinct lines between pairs of its points, in $\gg n^{3/4}$ distinct directions. Besides, $P=A imes A$ determines $\gg n^{9/16}$ distinct pair-wise distances. These estimates are obtained on the basis of a new plane geometry interpretation of the incidence theorem between points and planes in three dimensions, which we call collisions of images.

研究の動機と目的

• 有限体の正の標数における既存の和積推定値を、体のサイズに対して相対的に小さい集合に対して改善すること。
• 三次元の点-平面の交差に基づく幾何的枠組みを構築し、より強い算術的推定値を導出すること。
• |A(A+A)|、|A+1/A|、|A+A^k| といった多項式の像に対して、実数体の結果に近いほぼ最適な境界を確立すること。
• F²におけるカルテシアン積集合に対して、強いゼメレディ＝トロッター型の交差定理を導出し、共線する三つ組、異なる方向、距離に関する境界を含むこと。
• 点-平面の交差定理を、直線の像の等式の新しい『衝突』解釈を介して、算術的問題への応用可能性を拡張すること。

提案手法

• 平面における直線の像の間の『衝突』として算術的問題を解釈する新しい幾何的アプローチを導入し、R³における点と平面の交差としてモデル化する。
• 三次元の点-平面交差定理（定理17）を適用して、ℓ(x) = ℓ′(x′) の形の式の解の数を数える。ここで ℓ, ℓ′ は直線であり、x, x′ ∈ A である。
• コーシー＝シュワルツとプレンネッケ＝ルズァの不等式を用いて、解の数と和集合・積集合のサイズを関連付ける。
• |A| < p^{c} を満たす適切な c に対して、定理17の交差境界を適用し、交差推定値が有効であることを保証する。
• X = (A⁻¹ + A⁻¹)⁻¹ などの置換を用いて、逆数や多項式の像を含む問題を交差問題に変換する。
• 自明な推定値と交差に基づく推定値のバランスを最適化することで、最終的な推定値における指数を改善する。

実験結果

リサーチクエスチョン

• RQ1 幾何的交差手法を用いて、正の標数における和積推定値を現在の最先端を上回って改善できるか。
• RQ2 R 上のゼメレディ＝トロッター定理は、点-平面交差定理を用いて、正の標数においてどの程度再現可能か。
• RQ3 有限体の正の標数において、|A(A+A)|、|A+1/A|、|A+A^k| の最良の指数は何か。
• RQ4 有限体上の多項式 f に対して、和集合 |A+A| と |f(A)+f(A)| の大きさはどの程度比較できるか。
• RQ5 与えられた制約下で、F² におけるカルテシアン積集合 P = A×A に対する交差および距離の境界は何か。

主な発見

• 論文は、|A| < p^{2/3} の条件下で |A(A+A)| ≫ |A|^{3/2} を証明し、実数体における最高の指数と一致する。
• |A+1/A| ≫ |A|^{31/30} を確立し、以前の境界を改善し、実数体の閾値に近づいた。
• 高次多項式に対しては、k=2,3 のとき |A+A^k| ≫ |A|^{(2k+1)/(2k)} を示し、特に |A+A^3| ≫ |A|^{29/28} および |A+A^2| ≫ |A|^{11/10} を得た。
• max(|A+A|, |A²+A²|) ≫ |A|^{8/7} および max(|A−A|, |A³+A³|) ≫ |A|^{17/16} を証明し、以前の結果を改善した。
• |B| ≤ |A| < p^{2/3} である P = A×B に対して、m本の直線との交差数は O(n^{3/4}m^{2/3} + m + n) である。ここで n = |P| である。
• P = A×A は ≫ n^{9/16} 種類の異なる距離と ≫ n^{3/4} 種類の異なる方向を決定し、共線する三つ組は ≪ n^{9/4} 個である。