2025-11-10T02:55:44.091861

Expansion of trivariate polynomials using proximity

Raz

We extend the proximity technique of Solymosi and Zahl [J. Combin. Theory, Ser. A (2024)] to the setting of trivariate polynomials. In particular, we prove the following result: Let $f(x,y,z)=(x-y)^2+(Ï(x)-z)^2$, where $Ï(x)\in \mathbb{R}[x]$ has degree at least 3. Then, for every finite $A,B,C\subset \mathbb{R}$ each of size $n$, one has $|f(A,B,C)|=Î©(n^{5/3-\varepsilon})$, for every $\varepsilon>0$, where the constant of proportionality depends on $\varepsilon$ and on ${\rm deg}(Ï)$. This improves the previous exponent $3/2$, due to Raz, Sharir, and De Zeeuw [Israel J. Math. (2018)]. To the best of our knowledge, prior to this work no trivariate polynomial was known to have expansion exceeding $Î©(n^{3/2})$.

academic

Expansion of trivariate polynomials using proximity

基本信息

论文ID: 2510.12191
标题: Expansion of trivariate polynomials using proximity
作者: Orit E. Raz (Ben-Gurion University of the Negev)
分类: math.CO (Combinatorics)
发表时间: October 15, 2025 (arXiv preprint)
论文链接: https://arxiv.org/abs/2510.12191

摘要

本文将Solymosi和Zahl的邻近性技术扩展到三元多项式的设定中。主要结果是：对于 $f(x,y,z)=(x-y)^2+(\phi(x)-z)^2$ ，其中 $\phi(x)\in \mathbb{R}[x]$ 的次数至少为3，对于任意有限集合 $A,B,C\subset \mathbb{R}$ ，每个集合大小为 $n$ ，有 $|f(A,B,C)|=\Omega(n^{5/3-\varepsilon})$ ，其中 $\varepsilon>0$ 为任意小正数。这改进了之前Raz, Sharir和De Zeeuw给出的 $3/2$ 指数界。据作者所知，这是首个超越 $\Omega(n^{3/2})$ 展开界的三元多项式结果。

研究背景与动机

问题背景

多项式展开问题：研究多元实多项式 $f$ 在有限集合笛卡尔积上的像集大小，这类问题源于Elekes在组合几何中关于距离、斜率、共线性等计数问题的统一研究。
Elekes-Rónyai定理：对于二元多项式 $f(x,y)$ ，除非 $f$ 具有特殊形式（ $f(x,y)=h(p(x)+q(y))$ 或 $f(x,y)=h(p(x)q(y))$ ），否则 $|f(A,B)|=\omega(n)$ 。
三元情况的挑战：虽然Raz, Sharir和De Zeeuw已将结果推广到三元及更高维情况，但展开界仍停留在 $\Omega(n^{3/2})$ ，无法突破这一瓶颈。

研究动机

方法论创新：邻近性方法在二元情况下成功将界从 $\Omega(n^{4/3})$ 提升到 $\Omega(n^{3/2})$ ，但如何扩展到三元情况并不明显。
理论突破：寻找首个超越 $\Omega(n^{3/2})$ 界的三元多项式，为该领域开辟新的研究方向。
技术挑战：三元情况避免了二元情况中Cauchy-Schwarz不等式造成的损失，但如何利用邻近性技术获得更强结果仍需新的洞察。

核心贡献

首次突破三元多项式展开界：证明了特定三元多项式族的展开界为 $\Omega(n^{5/3-\varepsilon})$ ，超越了之前的 $\Omega(n^{3/2})$ 界限。
邻近性技术的三元扩展：成功将Solymosi-Zahl的邻近性方法推广到三元多项式设定，解决了该技术在高维情况下的应用难题。
新的分析框架：提供了将三元多项式展开问题归约为平面点-曲线关联问题的精细化分析方法。
理论方法的普遍性：所提出的方法具有一般性，可扩展到其他三元多项式族，为未来研究奠定基础。

方法详解

任务定义

给定三元多项式 $f(x,y,z)=(x-y)^2+(\phi(x)-z)^2$ ，其中 $\phi(x)$ 是次数至少为3的一元实多项式，以及三个大小为 $n$ 的有限实数集合 $A,B,C$ ，目标是下界估计像集 $f(A,B,C)=\{f(a,b,c)|a\in A, b\in B, c\in C\}$ 的大小。

核心技术框架

1. 邻近性分割策略

设 $D:=f(A,B,C)$ ，定义参数 $t=n^{3/2}/(s|D|^{1/2})$ ，其中 $s>0$ 是足够大的常数
将每个集合 $A,B,C$ 分割成 $t$ 个连续段，每段包含至多 $\lceil n/t\rceil$ 个元素
定义邻近关系： $a\sim a'$ 当且仅当 $a\neq a'$ 且存在某个分割段同时包含 $a,a'$

2. 关键集合构造

定义集合 $Q$ 为满足以下条件的四元组对： $Q := \{((a,b,c),(a',b',c'))\in (A\times B\times C)^2 | f(a,b,c)=f(a',b',c'), a\sim a', b\sim b', c\sim c'\}$

3. 双向界估计策略

下界估计（命题6）：

对每个 $d\in D$ ，定义 $G_d:=\{(a,b,c)\in A\times B\times C | f(a,b,c)=d\}$
识别"重要"值集合 $D':=\{d\in D | |G_d|\geq n^3/(10|D|)\}$
利用组合计数论证 $|Q|=\Omega(sn^3)$

上界估计（命题7）：

将问题归约为平面点-曲线关联问题
对每对 $((b,c),(b',c'))\in (B\times C)^2$ ，构造平面曲线 $\gamma_{b,c,b',c'}$ ： $f(x,b,c)=f(x',b',c')$
应用Sharir-Zahl关联界定理得到 $|Q|=O_\varepsilon((s^2n|D|)^{9/8+\varepsilon})+4\deg(\phi)n^3$

技术创新点

精细化分割技术：通过参数 $t$ 的巧妙选择，平衡了邻近性约束与关联界应用的效果。
曲线族的对称性分析：利用引理4（Pach-De Zeeuw）关于代数曲线对称性的界，控制了具有多重参数表示的曲线数量。
几何刚性论证：通过引理5的几何分析，证明了当多个参数对应同一曲线时，必然存在几何刚性约束。

建立双向不等式：
- 下界： $|Q|\geq \Omega(sn^3)$ （命题6）
- 上界： $|Q|\leq O_\varepsilon((s^2n|D|)^{9/8+\varepsilon})+4\deg(\phi)n^3$ （命题7）
参数优化：选择 $s>8\deg(\phi)$ ，使得高阶项被主要项控制。
最终推导： $sn^3 \leq O_\varepsilon((s^2n|D|)^{9/8+\varepsilon}) + 4\deg(\phi)n^3$
整理后得到 $|D|=\Omega_\varepsilon(n^{5/3-\varepsilon'})$ 。