Related papers: On exceptional sets of radial projections

This paper contains new results on two classical topics in fractal geometry: projections, and intersections with affine planes. To keep the notation of the abstract simple, we restrict the discussion to the planar cases of our theorems. Our…

We study the arithmetic structure of the exceptional set of projections. For any bounded subset $E\subset \mathbb{R}^d$, let $$ \Omega=\{\xi\in \mathbb{R}: \dim_B(E+\xi E)=\dim_B E\}. $$ We prove that either $\Omega=\{0\}$ or $\Omega$ is a…

It is shown that if $A \subseteq \mathbb{R}^3$ is a Borel set of Hausdorff dimension $\dim A>1$, and if $\rho_{\theta}$ is orthogonal projection to the line spanned by $( \cos \theta, \sin \theta, 1 )$, then $\rho_{\theta}(A)$ has positive…

A union of an arrangement of affine hyperplanes $H$ in $R^d$ is the real algebraic variety associated to the principal ideal generated by the polynomial $p_{H}$ given as the product of the degree one polynomials which define the hyperplanes…

We study dimensions of sets projected to an $(n-2)$-dimensional family of hyperplanes in $\mathbb{R}^n$ under curvature conditions. Let $n\ge 3$ and $\Sigma \subset S^{n-1}$ be an $(n-2)$-dimensional $C^2$ manifold such that $\Sigma$ has…

We investigate how the Hausdorff dimension and measure of a self-similar set $K\subseteq\mathbb{R}^{d}$ behave under linear images. This depends on the nature of the group $\mathcal{T}$ generated by the orthogonal parts of the defining maps…

We establish several optimal estimates for exceptional parameters in the projection of fractal measures: (1) For a parametric family of self-similar measures satisfying a transversality condition, the set of parameters leading to a…

We study projections onto non-degenerate one-dimensional families of lines and planes in $\mathbb{R}^{3}$. Using the classical potential theoretic approach of R. Kaufman, one can show that the Hausdorff dimension of at most…

We study the exceptional set estimate for projections in $\mathbb{F}_q^n$. For each $V\in G(k,\mathbb{F}^n_q)$, let $$ \pi_V: \mathbb{F}_q^n\rightarrow V $$ be the projection map. We prove the following result: If $A\subset \mathbb{F}_q^n$…

Given $0 < s < 1$, I prove that there exists a constant $\epsilon = \epsilon(s) > 0$ such that the following holds. Let $K \subset \mathbb{R}^{2}$ be a Borel set with $\mathcal{H}^{1}(K) > 0$, and let $E_{s}(K) \subset S^{1}$ be the…

We answer a question of Banakh, Jab\l{}o\'nska and Jab\l{}o\'nski by showing that for $d\ge 2$ there exists a compact set $K \subseteq \mathbb{R}^d$ such that the projection of $K$ onto each hyperplane is of non-empty interior, but $K+K$ is…

Recently, Lutz and Stull used methods from algorithmic information theory to prove two new Marstrand-type projection theorems, concerning subsets of Euclidean space which are not assumed to be Borel, or even analytic. One of the theorems…

Marstrand's projection theorem from $1954$ states that if $K \subset \mathbb{R}^{3}$ is an analytic set, then, for $\mathcal{H}^{2}$ almost every $e \in S^{2}$, the orthogonal projection $\pi_{e}(K)$ of $K$ to the line spanned by $e$ has…

Several papers have been written studying unexpected hypersurfaces. We say a finite set of points Z admits unexpected hypersurfaces if a general union of fat linear subspaces imposes less that the expected number of conditions on the ideal…

The main result of this paper is that for any $1/2 \leq s < 2 - \sqrt{2} \approx 0.5858$, there is a number $\sigma = \sigma(s) < s$ with the following property. Let $\delta > 0$ be small, assume that $A \subset [0,1]$ is a…

We make progress on two interrelated problems at the intersection of geometric measure theory, additive combinatorics and harmonic analysis: the discretised sum-product problem, and the dimension of Furstenberg sets. Along the way, we…

Given positive integers $\ell<n$ and a real $d\in (\ell,n)$, we construct sets $K\subset \mathbb R^n$ with positive and finite Hausdorff $d-$measure such that the Radon-Nikodym derivative associated to all projections on $\ell-$dimensional…

Marstrand's celebrated projection theorem gives the Hausdorff dimension of the orthogonal projection of a Borel set in Euclidean space for almost all orthogonal projections. It is straightforward to see that sets for which the Fourier and…

Let $P$ and $Q$ be two orthogonal projections on a separable Hilbert space, $\calH$. Wang, Du and Dou proved that there exists a unitary, $U$, with $UPU^{-1} =Q, \quad UQU^{-1} = P$ if and only if $\dim(\ker P \cap \ker(1-Q)) = \dim(\ker Q…

Let $X$ be a (real or complex) rearrangement-in\-va\-riant function space on $\Om$ (where $\Om = [0,1]$ or $\Om \subseteq \bbN$) whose norm is not proportional to the $L_2$-norm. Let $H$ be a separable Hilbert space. We characterize…