[论文解读] Restricted families of projections and random subspaces

Changhao Chen|arXiv (Cornell University)|Jun 12, 2017

Mathematical Analysis and Transform Methods被引用 5

一句话总结

该论文证明了在 ℝ³ 中，当将 ℝ³ 中的正交投影以 𝕊² 上的随机 Cantor 型集作为指标集时，其支持一个 Marstrand-Mattila 型的投影定理，适用于 Hausdorff 维数。通过将平面中的随机分形集经径向投影映射到 𝕊² 上，并应用势论论证，作者证明：对任意 α ∈ (1,2)，存在一个 𝕊² 中的 α-Ahlfors 正则集 G，使得对于任意满足 dim_H E ≤ α 的 E ⊂ ℝ³，其在 𝒫ᴴ^α 上关于 G 的几乎所有投影 π_L 均保持维数不变。

ABSTRACT

We study the restricted families of orthogonal projections in $\mathbb{R}^3$. We show that there are families of random subspaces which admit a Marstrand- Mattila type projection theorem.

研究动机与目标

• 研究 G(3,1) 的非光滑、分形子集上受限的投影族是否满足 Marstrand-Mattila 型投影定理。
• 通过证明 𝕊² 上的随机 Cantor 型集可作为 ℝ³ 中投影的有效指标集，将经典投影定理推广至非光滑族。
• 证明当指标集为随机构造的 α-Ahlfors 正则集时，对 α ∈ (1,2) 的集合，其投影保持维数不变。
• 建立随机分形集与投影定理中类似曲率的条件之间的联系，表明随机性可替代几何曲率以确保维数保持。

提出的方法

• 通过径向投影 F(x) = x/|x| 将平面中的随机 Cantor 集映射到球面 𝕊² 上，该映射在适当定义域上为双利普希茨。
• 利用径向投影将平面集中对管状区域的避开性质转移至球面上，同时保持 Hausdorff 测度估计。
• 应用 Falconer 和 Mattila 的势论论证，将投影较小的集合的方向测度衰减速率与投影的维数保持性联系起来。
• 证明对 α ∈ (1,2)，存在一个 𝕊² 中的 α-Ahlfors 正则紧集 G，使得满足 |π_L(ξ)| ≤ ρ 的方向 L ∈ G 的测度衰减为 ρ，从而确保投影定理的维数部分成立。
• 对 α ≤ 1 的情形，利用 Orponen 及 Shmerkin-Suomala 关于满足 𝒫ᴴ^α(E ∩ T) ≲ w(T)^s（s < α）的随机集的结果，推导出投影测度所需的衰减速率。
• 将衰减速率估计与经典势论引理（如引理 3.3）结合，得出投影映射对 𝒫ᴴ^α-几乎处处方向保持维数。

实验结果

研究问题

• RQ1 能否将 Marstrand-Mattila 投影定理扩展至 G(3,1) 的非光滑、分形子集上受限的投影族？
• RQ2 当 𝕊² 上的随机 Cantor 型集被用作 ℝ³ 中投影的指标集时，是否满足 Marstrand-Mattila 定理的维数保持性质？
• RQ3 指标集的 Hausdorff 维数与投影较小的方向测度的衰减速率之间是否存在定量关系？
• RQ4 随机性是否可替代几何曲率条件以确保投影定理成立？
• RQ5 集合 G 中满足 |π_L(ξ)| ≤ ρ 的方向 L 的测度的最优衰减速率是多少，其与投影集维数有何关联？

主要发现

• 对任意 α ∈ (1,2)，存在一个 𝕊² 中的 α-Ahlfors 正则紧集 G，使得关于 𝒫ᴴ^α 的投影族 (π_{L_x})_{x∈G} 构成一个 MMP 空间，即对任意满足 dim_H E ≤ α 的 E ⊂ ℝ³，有 dim_H π_{L_x}(E) = dim_H E 对 𝒫ᴴ^α-几乎处处 x ∈ G 成立。
• 该结果对正交投影到 2-平面 L_x^⊥ 同样成立，表明定理在子空间对偶性下是对称的。
• 对任意 0 < α ≤ 1，存在一个紧集 G ⊂ 𝕊²，满足 0 < 𝒫ᴴ^α(G) < ∞，使得关于 𝒫ᴴ^α 的 Marstrand-Mattila 定理的维数部分对 (π_{L_x})_{x∈G} 成立。
• 关键技术估计为：当 α ∈ (1,2) 时，满足 |π_L(ξ)| ≤ ρ 的方向 L ∈ G 的测度衰减为 ρ，即 𝒫ᴴ^α({L ∈ G : |π_L(ξ)| ≤ ρ}) ≲ ρ。
• 当 α ≤ 1 时，衰减速率提升为 𝒫ᴴ^α({L ∈ G : |π_L(ξ)| ≤ ρ}) ≲_s ρ^s（对任意 s < α），该结果足以推出定理的维数部分。
• 该构造依赖于将具有强管状避开性质的随机集（来自 Orponen 和 Shmerkin-Suomala）通过径向投影从 [0,1]^2 映射到球面，同时保持测度结构。