[論文レビュー] Polynomials vanishing on grids: The Elekes-Rónyai problem revisited

Orit E. Raz, Micha Sharir+1 more|arXiv (Cornell University)|Jan 29, 2014

Computational Geometry and Mesh Generation参考文献 26被引用数 16

ひとこと要約

この論文は、Elekes-Rónyai 問題を再考し、$ f(a,b) = c $ の解の数に対する鋭い上界 $ O(n^{11/6}) $ を、$ |A| = |B| = |C| = n $ である直積 $ A \times B \times C $ 上で、$ f $ が特別な加法的または乗法的構造を持たない限り示している。この結果は、次数に依存しない明示的な指数を用いることで、従来の境界を改善し、新しいインシデント理論的技法と多項式パラメータ化の議論を用いている。

ABSTRACT

In this paper we characterize real bivariate polynomials which have a small range over large Cartesian products. We show that for every constant-degree bivariate real polynomial $f$, either $|f(A,B)|=Ω(n^{4/3})$, for every pair of finite sets $A,B\subset{\mathbb R}$, with $|A|=|B|=n$ (where the constant of proportionality depends on ${ m deg} f$), or else $f$ must be of one of the special forms $f(u,v)=h(φ(u)+ψ(v))$, or $f(u,v)=h(φ(u)\cdotψ(v))$, for some univariate polynomials $φ,ψ,h$ over ${\mathbb R}$. This significantly improves a result of Elekes and Rónyai (2000). Our results are cast in a more general form, in which we give an upper bound for the number of zeros of $z=f(x,y)$ on a triple Cartesian product $A imes B imes C$, when the sizes $|A|$, $|B|$, $|C|$ need not be the same; the upper bound is $O(n^{11/6})$ when $|A|=|B|=|C|=n$, where the constant of proportionality depends on ${ m deg} f$, unless $f$ has one of the aforementioned special forms. This result provides a unified tool for improving bounds in various Erd\H os-type problems in geometry and additive combinatorics. Several applications of our results to problems of these kinds are presented. For example, we show that the number of distinct distances between $n$ points lying on a constant-degree parametric algebraic curve which does not contain a line, in any dimension, is $Ω(n^{4/3})$, extending the result of Pach and de Zeeuw (2013) and improving the bound of Charalambides (2012), for the special case where the curve under consideration has a polynomial parameterization. We also derive improved lower bounds for several variants of the sum-product problem in additive combinatorics.

研究の動機と目的

• 大きな直積で小さな像サイズを持つ2変数実多項式を同定すること。
• 特別な加法的または乗法的形でない場合に、三重直積 $ A \times B \times C $ 上で $ f(a,b) = c $ の解の数に対する明示的かつ非自明な上界を確立すること。
• Elekes-Rónyai 定理を、$ |A|, |B|, |C| $ が異なる場合の非対称なグリッドサイズへ一般化すること。
• 組合せ幾何学および加法的組合せ論の問題における境界を改善するための統一的枠組みを提供すること。
• 多項式の零点に関する結果を、代数的曲線上の相異なる距離や和積推定問題などに応用可能にするように拡張すること。

提案手法

• 解の数 $ M $ と $ f(a,b) = f(a',b') $ を満たす四つ組 $ (a,a',b,b') $ の数との関係を、コーシー・シュワルツ不等式を用いて結びつけることで、インシデント数え上げを可能にする。
• 解集合を代数的曲線にパラメータ化し、それらの交点を分析することで、共通点の数を上界で制御する。
• 平面インシデント定理（例：Székely の境界）を用い、多項式構造から導かれる点と曲線のインシデント数を制御する。
• 2つの異なる証明法（1つは曲線の重複に基づき、もう1つは代数幾何学的手法）を導入し、両者とも $ O(n^{11/6}) $ の界を導出する。
• 二分法の原理を確立：$ f $ が $ h(\varphi(u) + \psi(v)) $ や $ h(\varphi(u) \cdot \psi(v)) $ の形でない限り、$ M = O(n^{11/6}) $ であり、定数は $ \deg f $ に依存する。
• より複雑な $ |A|, |B|, |C| $ に関する式を用いて、非対称グリッドへの境界の一般化を図り、同じ指数の範囲を維持する。

実験結果

リサーチクエスチョン

• RQ1 特別な加法的または乗法的形でない場合に、三重直積 $ A \times B \times C $ 上で $ f(a,b) = c $ の解の数に対する最良の上界は何か？
• RQ2 Elekes-Rónyai 定理における2次の場合とスパースの場合のギャップを明示的かつ定量的に鋭くできるか？
• RQ3 グリッドのサイズ $ A, B, C $ が等しくない場合、解の数の境界はどのように変化するか？また、任意のサイズの組み合わせに一般化可能か？
• RQ4 結果を高次元グリッドや複素代数的多様体へ拡張可能か？
• RQ5 新しい境界が、代数的曲線上の相異なる距離といった組合せ幾何学の問題に与える影響は何か？

主な発見

• 任意の定数次数の2変数実多項式 $ f $ に対して、すべての $ A,B \subset \mathbb{R} $ で $ |A| = |B| = n $ を満たすとき、$ |f(A,B)| = \Omega(n^{4/3}) $ であるか、または $ f $ は1変数多項式 $ \varphi, \psi, h $ を用いて $ h(\varphi(u) + \psi(v)) $ または $ h(\varphi(u) \cdot \psi(v)) $ の形に書ける。
• 直積 $ A \times B \times C $ 上で $ |A| = |B| = |C| = n $ のとき、$ f(a,b) = c $ の解の数 $ M $ は $ O(n^{11/6}) $ であるが、$ f $ が特別な形でない限り。
• $ O(n^{11/6}) $ の界は明示的で、$ f $ の次数に依存せず、従来の $ o(n^2) $ および $ O(n^{2-\eta}) $ の結果を改善している。
• この結果は、非対称グリッドに対しても一般化され、$ |A|, |B|, |C| $ の関数として表されるが、同じ指数の範囲を維持する。
• この枠組みにより、直線を含まない定数次数の代数的曲線上の相異なる距離に対して、$ \Omega(n^{4/3}) $ の下界が得られる。
• この手法は加法的組合せ論の和積問題へも適用可能であり、より良い定量的下界を導出できる。