Nearly Sharp Uniform Projection Bounds and Superlinear Vitushkin Inequalities for Deterministic Self-Similar Sets
Abstract: For each , we construct an explicit deterministic finite homogeneous planar iterated function system of similarities satisfying the strong separation condition, whose attractor has positive finite one-dimensional Hausdorff measure and, for all sufficiently small $δ>0$, satisfies $\sup_{0\leθ<π}H<sup>1(π<em>θ(N</em>δ(E_α)))\lesssim_α(\logδ<sup>{-1})<sup>{-α}$. The defining system depends only on and is fixed at every scale. For these same sets, we prove the sharp analytic capacity law as . Consequently, each satisfies the quantitative Vitushkin comparison for every . These comparisons are superlinear for $α>1/2$, with exponents arbitrarily close to the optimal upper limit two for this class of self-similar sets. A completely specified sixteen-map system gives and comparison exponent $53/50$. Inspired by Falconer's Venetian blind constructions, the projection argument combines exact collinear cylinder subfamilies, quantitative distribution of word orientations, and a cover indexed by first successful symbolic blocks. The rotation parameters are explicit powers of a real algebraic number, linking the construction to simultaneous Diophantine approximation. The capacity estimate follows from the curvature characterization of analytic capacity and a telescoping inequality for cylinder masses.
Paper Prompts
Sign up for free to create and run prompts on this paper.