Inverse Falconer Distance Theorems over the Integer Residue Rings $\mathbb{Z}_n$

技术摘要：整数剩余环 $\mathbb{Z}_n$ 上的逆 Falconer 距离定理

问题陈述
传统的 Falconer 距离问题研究的是集合 $E$ 必须具备多大的规模，才能确保其距离集 $\Delta(E)$ 具有“结构显著性”（例如在连续设置下具有正测度，或在有限域设置下占据比例较大的部分）。虽然 Iosevich 和 Rudnev 已经建立了有限域 $\mathbb{F}_q$ 的正向界限，且 Singh 和 Parmar 也针对域开发了刻画近极值集合（即产生比预期更少距离的集合）的逆定理，但在复合模数整数剩余环 $\mathbb{Z}_n$ 中仍存在关键性的空白。

在 $\mathbb{Z}_n$ 中，零因子的存在从根本上改变了几何直觉：直线可以在多个点处相交，且球面可能是退化的或可约的。因此，在域中足以构成障碍的“代数簇”在环中是不充分的。本文研究了该设置下的逆问题：刻画规模为 $|E| \asymp n^{(d+1)/2}$ 且仅确定 $O(n)$ 个不同平方距离的集合 $E \subset \mathbb{Z}_n^d$ 的结构。

方法论
作者综合了两种不同的数学机制，以弥合有限域与整数剩余环之间的差距：

1. 算术能量与除数尺度分解：
   通过改编有限域中的多尺度能量分解，作者用“算术除数尺度”取代了空间尺度。在 $\mathbb{Z}_n$ 中，关联能量的分层是由差向量的“代数深度”决定的——具体而言，即该向量落入环的理想结构中的深度（即最大的满足 $x \equiv y \pmod k$ 的除数 $k|n$）。这使得总能量可以根据 $n$ 的除数进行壳层分解。

2. 通过中国剩余定理 (CRT) 进行结构提升：
   证明过程利用了一种提升机制，将局部障碍从素域 $\mathbb{F}_p$ 转移到全局环 $\mathbb{Z}_n$。根据 CRT，集合 $E \subset \mathbb{Z}_n^d$ 投影为集合 $E_p \subset \mathbb{F}_p^d$。作者证明，如果全局算术能量很高（意味着距离集较小），那么至少有一个局部投影 $E_p$ 在 $\mathbb{F}_p$ 中是近极值的。应用已知的有限域逆定理，这些局部投影被证明集中在低阶代数簇上。随后，一个“结构提升算子”将这些局部约束重构为 $\mathbb{Z}_n$ 中的全局理想理论结构。

3. 多项式恒等测试：
   作者通过将距离函数视为多项式映射来刻画生成的全局结构。他们表明，若该映射的像集很小，则定义域必须位于该多项式有效消失的代数结构内，从而将几何刚性与算术多项式恒等测试原理联系起来。

核心贡献与结果
本文建立了第一个关于复合模数 $\mathbb{Z}_n$ 上 Falconer 距离问题的逆定理。核心结果——定理 1.1——证明了“理想理论刚性”原则：

• 主定理： 若集合 $E \subset \mathbb{Z}_n^d$ 规模为 $|E| \asymp n^{(d+1)/2}$ 且确定了近极小数量的平方距离（$|\Delta(E)| \ll n$），则 $E$ 不是伪随机的。相反，它必须支撑在一个由非平凡湮灭理想 $I \subset \mathbb{Z}_n$ 生成的子模 $M$ 的陪集上。
• 代数退化： 在该子模 $M$ 上，平方距离形式是代数退化的（各向同性的）。具体而言，对于任何在 $M$ 中的位移向量，其范数模去 $n$ 的一个非平凡除数后为零。
• 分类： 本文提供了完整的结构分类（定理 5.1），表明近极值集合正是那些集中在由 $n$ 的素因子分解所确定的湮灭子模的陪集上的集合。
• 猜想解决： 结果证实了先前工作中提出的“内在误差理想猜想（环版本）”，验证了在具有零因子的环中，具有少量距离的集合必须集中在二次型退化的子模上。

意义
本文声称解决了算术组合数学中的一个基本空白，即将逆定理从域扩展到了环。其主要意义在于证明了在域中观察到的“代数刚性”在环中提升为了“理想理论刚性”。与域中以代数簇为障碍不同，$\mathbb{Z}_n$ 中的障碍本质上与模数 $n$ 的算术分层（特别是其除数和零因子）相关联。

作者指出，这种刚性现象在域中没有对应物。此外，这项工作将几何组合学与计算复杂性联系起来，表明在具有零因子的环中，区分结构与随机性的难度根源于这些代数约束。论文最后指出，关于涉及常数的定量界限以及在格密码学中潜在应用的开放问题，但并未提出具体的新的加密协议。