[论文解读] Improving Kaufman's exceptional set estimate for packing dimension

Tuomas Orponen|arXiv (Cornell University)|Oct 21, 2016

Mathematical Dynamics and Fractals参考文献 11被引用 4

一句话总结

该论文改进了Kaufman在1968年对平面正交投影中例外方向的Hausdorff维数的估计，证明了对于任意Borel集 $K \subset \mathbb{R}^2$ 满足 $\mathcal{H}^1(K) > 0$ 且 $0 < s < 1$，使得 $\pi_e(K)$ 的packing维数至多为 $s$ 的方向 $e \in S^1$ 的集合，其Hausdorff维数至多为 $s - \epsilon(s)$，其中 $\epsilon(s) > 0$。该结果通过引入基于离散化投影和 $\delta$-nets 的新几何与分析方法，实现了对Kaufman原始估计的定量改进。

ABSTRACT

Given $0 &lt; s &lt; 1$, I prove that there exists a constant $ε= ε(s) &gt; 0$ such that the following holds. Let $K \subset \mathbb{R}^{2}$ be a Borel set with $\mathcal{H}^{1}(K) &gt; 0$, and let $E_{s}(K) \subset S^{1}$ be the collection of unit vectors $e$ such that $$\dim_{\mathrm{p}} π_{e}(K) \leq s.$$ Then $\dim_{\mathrm{H}} E_{s}(K) \leq s - ε$.

研究动机与目标

• 改进Kaufman在1968年的结果：当 $\dim_H K \geq s$ 时，有 $\dim_H\{e \in S^1 : \dim_H \pi_e(K) < s\} \leq s$，通过证明例外集维数的严格改进。
• 建立一个正的定量间隙 $\epsilon(s) > 0$，使得对满足正 $\mathcal{H}^1$-测度的Borel集 $K \subset \mathbb{R}^2$，有 $\dim_H E_s(K) \leq s - \epsilon(s)$。
• 提出一种新方法，适用于packing维数情形，扩展了已知投影定理在分形几何中的适用范围。
• 通过在 $t = 1$ 的情况下证明非平凡改进，为更广泛的猜想 $\dim_H\{e : \dim_H \pi_e(K) < s\} \leq 2s - t$（当 $\dim_H K \geq t > s$ 时）作出贡献。

提出的方法

• 通过使用 $\delta$-nets 和 $\delta$-分离集，构建投影问题的 $\delta$-离散化版本，以分析集合 $F^\prime$ 的投影大小。
• 利用水平伸缩将集合 $F^\prime$ 重新缩放为新集合 $F$，使得在尺度 $\delta^{1/2}$ 下的投影行为可适用于应用命题3.1。
• 依赖于参数化 $\pi_t(x,y) = x + ty$，将投影重新表述为斜率参数 $t$ 的形式，从而将角度区间转化为斜率值区间。
• 应用关键估计 $N(\pi_t(F), \delta^{1/2}) \lesssim \delta^{-s/2}$，其中 $t$ 属于一个 $\delta^{1/2}$-长度的斜率区间，表明投影的大小保持较小。
• 证明斜率集合 $\tilde{E}_{\delta^{1/2}}$ 是一个大小约为 $\delta^{-s/2}$ 的 $(\delta^{1/2}, s)$-集，满足命题3.1的假设条件。
• 通过证明投影大小估计违反命题3.1的结论，从而导出矛盾，最终通过反证法证明主结论。

实验结果

研究问题

• RQ1 当 $\dim_H K \geq 1$ 时，Kaufman的例外集估计 $\dim_H\{e : \dim_H \pi_e(K) < s\} \leq s$ 能否改进为 $\dim_H E_s(K) \leq s - \epsilon(s)$，其中 $\epsilon(s) > 0$？
• RQ2 是否存在一个统一的间隙 $\epsilon(s) > 0$，使得具有小packing维数投影的方向集合的Hausdorff维数严格小于 $s$？
• RQ3 离散化投影方法是否可用于在 $\delta$-nets 和 $\delta$-分离集的设定下导出矛盾，从而证明投影定理的定量改进？
• RQ4 在构造一个在许多方向上投影较小的集合 $F^\prime$ 并进行伸缩后，是否在命题3.1的假设下导致矛盾？

主要发现

• 对任意 $0 < s < 1$，存在 $\epsilon(s) > 0$，使得对所有满足 $\mathcal{H}^1(K) > 0$ 的Borel集 $K \subset \mathbb{R}^2$，有 $\dim_H E_s(K) \leq s - \epsilon(s)$，其中 $E_s(K)$ 是满足 $\dim_p \pi_e(K) \leq s$ 的方向 $e$ 的集合。
• 改进是严格的：例外集的Hausdorff维数严格小于 $s$，而不仅仅是 $\leq s$，这与Kaufman原始估计不同。
• 证明依赖于反证法，其核心是离散化投影设定：构造一个在许多方向上投影较小的集合 $F^\prime$，然后通过伸缩使其违反已知的投影估计。
• 关键估计 $N(\pi_t(F), \delta^{1/2}) \lesssim \delta^{-s/2}$ 在一个 $\delta^{1/2}$-长度的斜率区间 $t$ 上成立，这与命题3.1的假设不相容，从而导致矛盾。
• 该结果对所有 $s \in (0,1)$ 一致成立，且 $\epsilon(s)$-间隙为正，尽管本文未提供 $\epsilon(s)$ 的显式公式。