English
Related papers

Related papers: A Marstrand-type restricted projection theorem in …

200 papers

Marstrand's theorem states that applying a generic rotation to a planar set $A$ before projecting it orthogonally to the $x$-axis almost surely gives an image with the maximal possible dimension $\min(1, \dim A)$. We first prove, using the…

Metric Geometry · Mathematics 2023-06-05 Anton Lukyanenko , Annina Iseli

Let $0 \leq s \leq 1$. A set $K \subset \mathbb{R}^{2}$ is a Furstenberg $s$-set, if for every unit vector $e \in S^{1}$, some line $L_{e}$ parallel to $e$ satisfies $$\dim_{\mathrm{H}} [K \cap L_{e}] \geq s.$$ The Furstenberg set problem,…

Classical Analysis and ODEs · Mathematics 2017-09-25 Tuomas Orponen

Let $\{\pi_{e} \colon \mathbb{H} \to \mathbb{W}_{e} : e \in S^{1}\}$ be the family of vertical projections in the first Heisenberg group $\mathbb{H}$. We prove that if $K \subset \mathbb{H}$ is a Borel set with Hausdorff dimension…

Classical Analysis and ODEs · Mathematics 2023-07-26 Katrin Fässler , Tuomas Orponen

The point-to-set principle \cite{LutLut17} characterizes the Hausdorff dimension of a subset $E\subseteq\R^n$ by the \textit{effective} (or algorithmic) dimension of its individual points. This characterization has been used to prove…

Computational Complexity · Computer Science 2021-05-13 D. M. Stull

It is well known that if $A \subseteq \mathbb{R}^n$ is an analytic set of Hausdorff dimension $a$, then $\dim_H(\pi_VA)=\min\{a,k\}$ for a.e.\ $V\in G(n,k)$, where $G(n,k)$ denotes the set of all $k$-dimensional subspaces of $\mathbb{R}^n$…

Classical Analysis and ODEs · Mathematics 2025-09-03 Peter Cholak , Marianna Csornyei , Neil Lutz , Patrick Lutz , Elvira Mayordomo , D. M. Stull

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…

Classical Analysis and ODEs · Mathematics 2024-06-21 Jonathan M. Fraser , Ana E. de Orellana

Let $1 \leq m < s \leq n$ and let $A \subseteq \mathbb{R}^n$ be a Borel set of with $s$-dimensional Hausdorff measure $\mathcal{H}^s(A) > 0$. The classical Marstrand slicing theorem states that, for almost every $m$-dimensional subspace $V…

Classical Analysis and ODEs · Mathematics 2025-10-14 Ryan E. G. Bushling

We prove a universal projection theorem, giving conditions on a parametrized family of maps $\Pi_\lambda : X \to \mathbb{R}^d$ and a collection M of measures on X under which for almost every $\lambda$ equality $\dim_H \Pi_\lambda \mu =…

Dynamical Systems · Mathematics 2025-09-24 Balázs Bárány , Károly Simon , Adam Śpiewak

$\Phi$-intermediate dimensions interpolate between Hausdorff and box-counting dimensions by restricting admissible coverings to scale windows of the form $[\Phi(r),r]$. Using a family of $\Phi$-dependent kernels, we develop a…

Metric Geometry · Mathematics 2026-04-17 Lara Daw , Najmeddine Attia

We establish a refinement of Marstrand's projection theorem for Hausdorff dimension functions finer than the usual power functions, including an analogue of Marstrand's Theorem for logarithmic Hausdorff dimension.

Metric Geometry · Mathematics 2018-12-17 Victor Beresnevich , Kenneth Falconer , Sanju Velani , Agamemnon Zafeiropoulos

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…

Dynamical Systems · Mathematics 2025-10-09 Meng Wu

We consider Marstrand type projection theorems for closest-point projections in the normed space $\mathbb{R}^2$. We prove that if a norm on $\mathbb{R}^2$ is regular enough, then the analogues of the well-known statements from the Euclidean…

Metric Geometry · Mathematics 2018-03-01 Zoltán M. Balogh , Annina Iseli

We prove the following restricted projection theorem. Let $n\ge 3$ and $\Sigma \subset S^{n}$ be an $(n-1)$-dimensional $C^2$ manifold such that $\Sigma$ has sectional curvature $>1$. Let $Z \subset \mathbb{R}^{n+1}$ be analytic and let $0…

Classical Analysis and ODEs · Mathematics 2023-12-08 Jiayin Liu

We prove that for any $E\subset{\Bbb R}^2$, $\dim_{\mathcal{H}}(E)>1$, there exists $x\in E$ such that the Hausdorff dimension of the pinned distance set $$\Delta_x(E)=\{|x-y|: y \in E\}$$ is no less than…

Classical Analysis and ODEs · Mathematics 2019-11-06 Bochen Liu

We establish Marstrand-type as well as Besicovich-Federer-type projection theorems for closest-point projections onto hyperplanes in the normed space $\mathbb{R}^{n}$. In particular, we prove that if a norm on $\mathbb{R}^{n}$ is…

Metric Geometry · Mathematics 2018-09-05 Annina Iseli

We establish Marstrand-type projection theorems for orthogonal projections along geodesics onto m-dimensional subspaces of hyperbolic $n$-space by a geometric argument. Moreover, we obtain a Besicovitch-Federer type characterization of…

Metric Geometry · Mathematics 2018-08-01 Zoltán M. Balogh , Annina Iseli

Let $\gamma: [-1, 1]\to \mathbb{R}^n$ be a smooth curve that is non-degenerate. Take $m\le n$ and a Borel set $E\subset [0, 1]^n$. We prove that the orthogonal projection of $E$ to the $m$-th order tangent space of $\gamma$ at $\theta\in…

Classical Analysis and ODEs · Mathematics 2024-01-23 Shengwen Gan , Shaoming Guo , Hong Wang

We study the restricted families of orthogonal projections in $\mathbb{R}^3$. We show that there are families of random subspaces which admit a Marstrand- Mattila type projection theorem.

Classical Analysis and ODEs · Mathematics 2018-01-03 Changhao Chen

We say that $E$ is a microset of the compact set $K\subset \mathbb{R}^d$ if there exist sequences $\lambda_n\geq 1$ and $u_n\in \mathbb{R}^d$ such that $(\lambda_n K + u_n ) \cap [0,1]^d$ converges to $E$ in the Hausdorff metric, and…

Classical Analysis and ODEs · Mathematics 2021-04-21 Richárd Balka , Márton Elekes , Viktor Kiss

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…

Dynamical Systems · Mathematics 2016-05-16 Ábel Farkas