Abstract:We investigate variants of Marstrand's projection theorem that hold for sets of directions and classes of sets in $\mathbb{R}^2$. We say that a set of directions $D \subseteq\mathcal{S}^1$ is $\textit{universal}$ for a class of sets if, for every set $E$ in the class, there is a direction $e\in D$ such that the projection of $E$ in the direction $e$ has maximal Hausdorff dimension. We construct small universal sets for certain classes. Particular attention is paid to the role of regularity. We prove the existence of universal sets with arbitrarily small positive Hausdorff dimension for the class of weakly regular sets. We prove that there is a universal set of zero Hausdorff dimension for the class of AD-regular sets.

What problem does this paper attempt to address?

This paper aims to explore and prove certain variants regarding the set of directions. These variants are based on Marstrand's projection theorem and are applicable to the set of directions in two - dimensional space and specific classes of sets. Specifically, the paper focuses on constructing small sets of directions that are "universal" for certain classes. Here, a set of directions $D\subseteq S^{1}$ is called universal for a set class $C$ if for every set $E\in C$, there exists a direction $e\in D$ such that the projection of $E$ in the direction $e$ has the maximum Hausdorff dimension. ### Main Research Questions 1. **Constructing Small Universal Sets**: One of the main goals of the paper is to prove that for certain regular subset classes (such as weakly regular sets and AD - regular sets), there exist very small universal sets. In particular, the author proves that for the class of AD - regular sets, there exists a set of directions $D\subseteq S^{1}$ with a lower box - counting dimension (and thus also Hausdorff dimension) of zero that is universal. Moreover, for any $\epsilon> 0$, there exists a set of directions $D\subseteq S^{1}$ with a lower box - counting dimension of at most $\epsilon$ that is a universal set for the class of weakly regular sets. 2. **The Relationship between Exception Set Estimates and Universal Sets**: The paper also explores the relationship between exception set estimates and the existence of universal sets. Given a set $E\subseteq\mathbb{R}^{2}$ and $0 < s\leq\min\{\dim_{H}(E),1\}$, the exception set of $E$ is defined as: \[ D_{s}(E):=\{e\in S^{1}\mid\dim_{H}(p_{e}E)<s\} \] By generalizing Kaufman's exception set estimates, the author proves that for the class of sets with optimal oracles, there exist small universal sets. 3. **Bourgain Universal Sets**: The paper also introduces a different concept of universal sets, namely Bourgain universal sets. A set of directions $D\subseteq S^{1}$ is called Bourgain universal for a set class $C$ if for every set $E\in C$, there exists a direction $e\in D$ such that: \[ \dim_{H}(p_{e}E)\geq\frac{\dim_{H}(E)}{2} \] The author proves that there exists a Bourgain universal set with a lower box - counting dimension of zero, and for the class of sets with optimal oracles, there exist arbitrarily small Bourgain universal sets. ### Main Conclusions - **Universal Sets for AD - Regular Sets**: There exists a set of directions $D\subseteq S^{1}$ with a lower box - counting dimension of zero that is a universal set for the class of AD - regular sets. - **Universal Sets for Weakly Regular Sets**: For any $\epsilon>0$, there exists a set of directions $D\subseteq S^{1}$ with a lower box - counting dimension of at most $\epsilon$ that is a universal set for the class of weakly regular sets. - **Bourgain Universal Sets**: There exists a set of directions $D\subseteq S^{1}$ with a lower box - counting dimension of zero that is a Bourgain universal set for the class of analytic sets. For the class of sets with optimal oracles, there exist arbitrarily small Bourgain universal sets. These results not only enrich the research in geometric measure theory but also provide a new perspective for understanding the projection properties of sets in different directions.

Universal Sets for Projections

A variant of Marstrand's theorem for projections of cartesian products

Arithmetic structure of the exceptional set of projections

Finite sets of points in $\mathbb{P}^4$ with special projection properties

Hausdorff dimension of intersections with planes and general sets

A sharp bound for the Castelnuovo-Mumford regularity of subspace arrangements

Projections of Higher Dimensional Subspaces and Generalized Multiview Varieties

Universal projection theorems with applications to multifractal analysis and the dimension of every ergodic measure on self-conformal sets simultaneously

Exceptional sets for length under restricted families of projections onto lines in $\mathbb{R}^3$

Exceptional projections of sets exhibiting almost dimension conservation

Most Iterations of Projections Converge

Hausdorff dimension of plane sections and general intersections

Exceptional projections of self-affine sets with strong irreducibility

Pinned distances of planar sets with low dimension

The dimension of projections induced by a curve

Enumeration of points, lines, planes, etc

Restricted families of projections and random subspaces

Restricted Projections to Lines in $\mathbb{R}^{n+1}$

A generalization of Marstrand's theorem and some geometric applications

Vertical projections in the Heisenberg group via cinematic functions and point-plate incidences

Projections of Random Covering Sets