[论文解读] On distance measures for well-distributed sets

Alex Iosevich, Misha Rudnev|ArXiv.org|Jan 20, 2006

Geometric Analysis and Curvature Flows参考文献 11被引用 4

一句话总结

本文利用傅里叶分析方法研究了分布良好的集合的距离集问题，为这类集合导出的测度建立了改进的 $L^2$ 球平均界。论文推测这些界足以在分布良好的设定下证明 Erd\'os 距离猜想，同时表明非欧几里得距离——尤其是二维情形——可能因凸曲线上密集的整数点分布而阻碍此类证明。

ABSTRACT

In this paper we investigate the Erdös/Falconer distance conjecture for a natural class of sets statistically, though not necessarily arithmetically, similar to a lattice. We prove a good upper bound for spherical means that have been classically used to study this problem. We conjecture that a majorant for the spherical means suffices to prove the distance conjecture(s) in this setting. For a class of non-Euclidean distances, we show that this generally cannot be achieved, at least in dimension two, by considering integer point distributions on convex curves and surfaces. In higher dimensions, we link this problem to the question about the existence of smooth well-curved hypersurfaces that support many integer points.

研究动机与目标

• 为源自分布良好集合的测度建立更强的 $L^2$ 球平均界，改进 Frostman 测度的一般界。
• 研究这些改进的界是否足以在分布良好的设定下推出 Erd\'os 距离猜想。
• 考察主要化方法在非欧几里得距离下的局限性，尤其是二维情形。
• 将距离猜想与缩放凸曲线和超曲面上的格点数量联系起来。
• 探讨欧几里得距离是否因其贝塞尔函数和相位因子的特殊性质而在支持更强界方面具有唯一性。

提出的方法

• 使用傅里叶分析技术，特别是傅里叶变换的 $L^2$ 球平均作为核心工具。
• 利用分布良好集合的结构导出的指数和估计来控制球平均。
• 运用泊松求和公式和初等数论，对整数格点情形下的粗略界进行精化。
• 分析欧几里得情形下傅里叶变换中相位因子的作用，这些因子在非欧几里得设定中缺失。
• 通过构造具有大量整数点的凸曲线的缩放边界作为反例，说明主要化方法的局限性。
• 将距离问题与相交几何联系起来，特别是 Szemer\'edi-Trotter 定理，并以缩放边界上的 $L^2$ 平均形式表述界。

实验结果

研究问题

• RQ1 分布良好集合的改进 $L^2$ 球平均界是否足以推出 Erd\'os 距离猜想？
• RQ2 为何主要化方法在非欧几里得距离下失效，尤其是在二维情形？
• RQ3 缩放凸曲线上整数点的数量在多大程度上影响距离猜想的有效性？
• RQ4 欧几里得距离是否因其贝塞尔函数和相位因子的行为而具有特殊性，从而支持更强的界？
• RQ5 Szemer\'edi-Trotter 相交定理中的 $q^{8/3}$ 界能否对一般凸体改进为 $q^{5/2}$？

主要发现

• 本文在分布良好设定下建立的 $L^2$ 球平均上界优于 Erdog\'an 的最佳一般界，尤其在维度 $d \geq 3$ 时。
• 在二维情形，该方法达到 Wolff 的最优界 $t^{-1/2}$，并获得了端点情形，表明此情况下控制力更强。
• 对于整数格点，可通过泊松求和与数论将粗略的指数和界精化，从而得到更精确的估计。
• 在二维情形，球平均界 $\sigma_{\mu_{d/2}}(t) \lessapprox t^{-1}$ 满足 Mattila 准则，但不足以推出单距离猜想，后者需要更强的正则性。
• 反例表明，对于非欧几里得距离，即使分布良好的集合，其边界也可能有大量整数点，导致主要化方法失效。
• 单距离问题的最佳已知界仍为 $q^{8/3}$，本文质疑该界能否对一般凸体改进为 $q^{5/2}$，而抛物线例子表明 $5/2$ 是最优的。