[论文解读] 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

一句话总结

本文通過建立在 $ |A| = |B| = |C| = n $ 的笛卡尔积 $ A \times B \times C $ 上，$ f(a,b) = c $ 的解的數量的嚴密上界 $ O(n^{11/6}) $，重新探討了 Elekes-Rónyai 問題，除非 $ f $ 具有特殊的加法或乘法結構。該結果通過使用新穎的關聯理論技術和多項式參數化論證，使指數明確且與 $ 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.

研究动机与目标

• 表征在小像集大小下於大笛卡尔積上消失的雙變量實多項式。
• 在 $ f $ 不具特殊加法或乘法形式時，為三重笛卡尔積 $ 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 的界）以控制由多項式結構導出的點與曲線之間的關聯數。
• 引入兩種不同的證明方法——一種基於曲線重疊，另一種基於代數幾何技術——兩者均得出 $ 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 當 $ f $ 不具特殊加法或乘法形式時，在三重笛卡尔積 $ A \times B \times C $ 上 $ f(a,b) = c $ 的解數量的最佳可能上界為何？
• RQ2 Elekes-Rónyai 定理中二次情形與稀疏情形之間的差距能否被明確且定量地精確化？
• RQ3 當 $ A, B, C $ 的大小不相等時，解數量的界如何變化？能否推廣至任意大小組合？
• RQ4 這些結果能否推廣至高維格點或複代數簇？
• RQ5 新界對組合幾何問題（如不包含直線的常次數代數曲線上的不同距離）有何影響？

主要发现

• 對於任意常次數雙變量實多項式 $ f $，在所有滿足 $ |A| = |B| = n $ 的 $ A,B \subset \mathbb{R} $ 上，要麼 $ |f(A,B)| = \Omega(n^{4/3}) $，要麼 $ f $ 必須具有形式 $ h(\varphi(u) + \psi(v)) $ 或 $ h(\varphi(u) \cdot \psi(v)) $，其中 $ \varphi, \psi, h $ 為單變量多項式。
• 在 $ |A| = |B| = |C| = n $ 時，$ f(a,b) = c $ 在 $ A \times B \times 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}) $ 種不同距離。
• 該方法適用於加法組合論中的和積問題，產生改進的定量下界。