[论文解读] A discretised projection theorem in the plane

Tuomas Orponen|arXiv (Cornell University)|Jul 24, 2014

Advanced Topology and Set Theory参考文献 8被引用 3

一句话总结

本文在平面上建立了离散化投影定理，表明对于任意 $1/2 \ less s < 2 - less 2 - \sqrt{2}$，存在 $\sigma(s) < s$，使得若 $A \subset [0,1]$ 是大小为 $\sim \delta^{-1/2}$ 的 $(\delta,1/2)$-集，且 $E \subset [0,1]$ 包含 $\gtrsim \delta^{-\sigma}$ 个 $\delta^s$-分离点，则存在某个平移 $t \in E$，使得 $A + tA$ 包含 $\gtrsim \delta^{-s}$ 个 $\delta$-分离点。证明结合了对 Kaufman 投影界近似最优集合的结构分析，以及对 Solymosi 和积论证的适配版本。

ABSTRACT

The main result of this paper is that for any $1/2 \leq s &lt; 2 - \sqrt{2} \approx 0.5858$, there is a number $σ= σ(s) &lt; s$ with the following property. Let $δ&gt; 0$ be small, assume that $A \subset [0,1]$ is a $(δ,1/2)$-set, and that $E \subset [0,1]$ contains $\gtrsim δ^{-σ}$ roughly $δ^{s}$-separated points. Then there exists a number $t \in E$ such that $A + tA$ contains $\gtrsim δ^{-s}$ $δ$-separated points. For $σ= s$, this is essentially a consequence of Kaufman's well-known bound for exceptional sets of projections. Our proof consists of a structural observation concerning sets, for which Kaufman's bound is near-optimal, combined with (an adaptation of) Solymosi's argument for his "$4/3$" sum-product theorem.

研究动机与目标

• 在离散化设定下，对 Kaufman 的投影例外集界实现定量强化。
• 解决连续投影问题中的缺口，即尖锐猜想 $\dim\{e : \dim\pi_e(K) < s\} \leq 2s - 1$ 尚未被证明。
• 通过在集合 $E$ 的大小中引入更小的指数 $\sigma(s) < s$，提供对 Kaufman 界的明确、有效改进。
• 展示接近 Kaufman 界极值的集合的结构特性，可通过适配的离散关联几何方法得出更强的和积型结论。

提出的方法

• 将 $(\delta,s)$-集定义为 $\delta$-分离集，且在球上具有受控加倍：$|A \cap B(x,r)| \lesssim (r/\delta)^s$。
• 利用 $A$ 是大小为 $\sim \delta^{-1/2}$ 的 $(\delta,1/2)$-集的假设，以建模 Hausdorff 维数为 $1/2$ 的集合。
• 假设矛盾：不存在满足 $|A + tA| \gtrsim \delta^{-s}$ 的 $t \in E$，这意味着 $A \times A$ 几乎是 Kaufman 界的极值情况。
• 在 $A \times A$ 中识别出一种“扇形”结构，即许多点位于从同一原点出发的少数 $\delta$-管中，这是基于 Kaufman 界的近似最优性。
• 将 Solymosi 的和积论证适配于该扇形结构，证明此类结构迫使 $|A + A| \gtrsim \delta^{-1/2 - c}$（$c > 0$），从而在 $s < 1/2 + c$ 时与 $1 \in E$ 的存在性矛盾。
• 利用 Szemerédi-Trotter 关联定理控制扇形构型中直线与点之间的关联数，当 $s < 2 - \sqrt{2}$ 时导致矛盾。

实验结果

研究问题

• RQ1 在 $s < 2 - \sqrt{2}$ 的离散化设定下，能否对 Kaufman 的例外集界实现定量改进？
• RQ2 当 Kaufman 界几乎达到最优时，集合 $A$ 的结构特性是什么？
• RQ3 Solymosi 的和积方法能否被适配于离散化投影设定，以导出 $A + tA$ 的更强大小估计？
• RQ4 能否找到 $\sigma(s) < s$，使得大小为 $\delta^{-\sigma}$ 的 $E$ 可保证存在某个 $t \in E$ 使得 $A + tA$ 包含 $\delta^{-s}$ 个 $\delta$-分离点？
• RQ5 离散化设定中的非集中假设如何影响 Szemerédi-Trotter 等关联几何工具的应用？

主要发现

• 对于任意 $s \in [1/2, 2 - \sqrt{2})$，存在 $\sigma(s) < s$，使得若 $A$ 是大小为 $\sim \delta^{-1/2}$ 的 $(\delta,1/2)$-集，且 $E$ 包含 $\gtrsim \delta^{-\sigma}$ 个 $\delta^s$-分离点，则存在某个 $t \in E$，使得 $A + tA$ 包含 $\gtrsim \delta^{-s}$ 个 $\delta$-分离点。
• 值 $\sigma(s)$ 严格小于 $s$，提供了对标准 Kaufman 界应用的非平凡改进（后者仅在对数损失下给出 $\sigma = s$）。
• 当集合接近 Kaufman 界的极值时，证明在 $A \times A$ 中识别出一种“扇形”结构，即许多点位于从同一原点出发的少数 $\delta$-管中。
• 通过将 Solymosi 的和积论证适配于该扇形构型，方法证明了 $|A + A| \gtrsim \delta^{-1/2 - c}$（$c > 0$），从而在 $s < 1/2 + c$ 时与 $1 \in E$ 的存在性矛盾。
• 矛盾通过 Szemerédi-Trotter 关联定理导出，该定理控制扇形中直线与点的关联数，从而对 $|A + A|$ 给出下界，迫使 $s < 2 - \sqrt{2}$。
• 该结果是精确的，因为 $2 - \sqrt{2} \approx 0.5858$ 是论证失效的阈值，附录中的例子已证明这一点。