Visible parts and slices of Ahlfors regular sets, Discrete Analysis 2024:17, 31 pp.
Let E be a set in Rd. Given a direction θ∈Sd−1, the visible part of S from that direction is the set of points that can be viewed from that direction unobstructed by other points of S. We use the notation Visθ(E) to denote that set.
We are interested in upper bounds on the Hausdorff dimension of Visθ(E) relative to the Hausdorff dimension of E. If E has dimension at most d−1, a result of Mattila says that we have dimH(Visθ(E))=dimH(E) for Lebesgue-almost all θ. A representative example is provided by a set E contained in a (d−1)-dimensional hyperplane: for any direction θ not parallel to the hyperplane, we have Visθ(E)=E.
On the other hand, when dimH(E)>d−1, the set can no longer be laid out flat as in the last example, and one expects that most of E must be hidden from view from most directions. The visibility conjecture makes this intuition quantitative, asserting that we should in fact have dimH(Visθ(E))≤d−1 in this case for almost all θ.
The first such result was proved by Orponen (J. Eur. Math. Soc. 2023): for any compact E, we must always have
dimH(Visθ(E))≤d−150d
for almost all θ.
The present paper improves Orponen’s bound to
dimH(Visθ(E))≤d−16
for almost all θ, with the “gap” of size 1/6 independent of d.
If d−1<dimH(E)≤d−16, the above bound is not meaningful, since we always have Visθ(E)⊂E and therefore
dimH(Visθ(E))≤dimH(E).
The expectation based on the visibility conjecture is that the last inequality must in fact be strict, but, surprisingly, even this is still not known in general. However, if E is assumed to be Ahlfors-regular, then the author proves that
dimH(Visθ(E))≤(1−2α)s+α(d−1)
for almost all θ, where α=1−√63. This provides strong evidence in support of the conjecture. The proofs are based on a Marstrand-like “slicing” theorem that is likely to be of independent interest to researchers in this area.