论文标题:
Hyperarithmetic Directions Can All Be Exceptional for Marstrand's Projection Theorem（超算术方向在Marstrand投影定理中可以全部成为例外）
发表日期:
2026年08月
发表单位:
惠灵顿维多利亚大学数学与统计学院（School of Mathematics and Statistics, Victoria University, Wellington, New Zealand）
原文链接:
https://arxiv.org/pdf/2608.26904v1.pdf
要理解这个“病态”集合怎么造出来的，得先看一个关键的引理（论文中的Lemma 3.3）。引理说：给定一个无穷0-1序列Z和一个方向序列ē=(e₀, e₁, e₂, ...)，就可以构造出一个集合A⊂2^ω×2^ω，使得A同时满足五个性质。这五个性质简单来说就是：A是相对于Z和ē的Π₁⁰集合（复杂度可控）；A中的点都是“好点”（方便处理）；从A的每个点都能读出Z的每一位信息；A的Hausdorff维数至少是1；以及最关键的一条——对于给定的每一个方向e_s，A在e_s方向上的投影的Hausdorff维数都是0。这个引理的构造方式非常巧妙，用的是经典的“树构造法”。树上的每一层放着一堆长度为特定值的有限串对(σ, τ)。具体来说，在第n层维护一个集合U_n，其中的每个(σ,τ)长度为(n+1)!位；然后从U_n构造出一个中间层V_n，长度为(n+1)!+1位；再从V_n构造出U_{n+1}，长度为(n+2)!位。如此往复，到最后把所有层的树杈“串”起来，就得到了集合A。图：A的定义。A中的每个点(x,y)必须保证它的每一层前缀都落在U_n中（等价地，每一层的延长落在V_n中）。那Z的信息是怎么编码进去的呢？从U_n到V_n的关键一步，是根据n除以4的余数分四种情况，在σ或者τ的末尾追加一个比特b，使得新追加的两位的异或值恰好等于Z(n)。比如当n≡0 mod 4时，固定σ末尾追加0，再选b使得0⊕b=Z(n)，即b=Z(n)，然后在τ末尾追加上b。当n≡1 mod 4时，σ末尾追加1，τ末尾追加b使得1⊕b=Z(n)。n≡2和n≡3时对称操作，分别在τ或σ上追加0或1。这样，任何A中的点(x,y)，只要看第(n+1)!位上的异或值，就能精确读出Z(n)。这就是引理第(3)条的由来。编码了Z还不够，还得让投影维数变0。这一步更精彩。设n=⟨s,k⟩（即n编码了方向序号s和第k个阶段），在从V_n构造U_{n+1}时，取出当前要对付的方向e_s。先在有理数中找一个q，使得方向向量u_q非常非常接近e_s。然后把每个满足条件的矩形ι([σ]×[τ])投影到u_q方向上，检查这个投影是否落在某个极小区间里。如果落在半径为2^{-((n+2)!-2)}的小球里，就保留这个矩形；否则丢弃。直觉上，这一步像用一把“细筛子”不断筛掉那些投影不在狭窄范围内的矩形，到最后，剩下点的投影就被压得极小。图：保留条件。如果矩形在u_q方向上的投影能放进一个足够小的区间，就把它收进U_{n+1}。但这里有个陷阱：如果筛子太狠，把树上的矩形都筛没了，A的维数就保证不了1。为了防止“筛空”，论文用了一个非常精细的几何论证。核心思想是：只要当前方向u_q不是完全水平的（即与x轴夹角至少π/4），那么无论竖直方向的τ′怎么选，总能找到合适的水平方向σ′使得对应的矩形被保留；如果方向接近水平，则反过来操作，固定τ′找σ′。图1和图2形象地展示了这个几何过程。图1：相邻两条投影线之间的距离估算。这里的r₀和r₁是相邻的被保留的投影区域，它们的差恰好是2^{-((n+1)!+3)}。由于方向u_q与坐标轴的夹角被控制在π/4以内，相邻投影线的垂直距离至多为√2·2^{-((n+1)!+3)}。图2：由于矩形的高远大于宽，可以通过在左边框上选一个合适的交点，确保存在一条投影线ℓ_r穿过矩形，并且整条线都落在极小半径的邻域内。这样，矩形就一定被保留。
[1] Marstrand, J. M. (1954). Some fundamental geometrical properties of plane sets of fractional dimensions. Proceedings of the London Mathematical Society, 3(1), 257-302.[2] Lutz, J. H., & Lutz, N. (2018). Algorithmic information, plane Kakeya sets, and conditional dimension. ACM Transactions on Computation Theory, 10(2), 1-22.[3] Lutz, N., & Stull, D. M. (2018). Bounding the dimension of points on a line. In Computing and Software Science (pp. 125-139). Springer.[4] Davies, R. O. (1952). Subspaces of finite codimension of the space of all continuous functions. Journal of the London Mathematical Society, 1(2), 277-283.[5] Harrison, J. (1968). Recursive pseudo-well-orderings. Transactions of the American Mathematical Society, 131(2), 526-543.[6] Ren, H., & Wang, S. (2023). Kaufman's theorem for projection measures. Advances in Mathematics, 417, 108946.[7] Greenberg, N., & Turetsky, D. (2026). Hyperarithmetic directions can all be exceptional for Marstrand's projection theorem. arXiv:2608.26904v1.
