相关论文: Combinatorial proofs of two theorems of Lutz and S…

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…

In this paper we use the theory of computing to study fractal dimensions of projections in Euclidean spaces. A fundamental result in fractal geometry is Marstrand's projection theorem, which shows that for every analytic set E, for almost…

We prove the following variant of Marstrand's theorem about projections of cartesian products of sets: Let $K_1,...,K_n$ Borel subsets of $\mathbb R^{m_1},... ,\mathbb R^{m_n}$ respectively, and $\pi:\mathbb R^{m_1}\times...\times\mathbb…

We prove the following variant of Marstrand's theorem about projections of cartesian products of sets: Consider the space $\Lambda_m=\set{(t,O), t\in\R, O\in SO(m)}$ with the natural measure and set…

This paper investigates a refinement of Marstrand's projection theorem; more specifically, let $\Pi_t, t\in[0,1]$ be a family of $m$ dimensional subspaces of the Euclidean space $\mathbb{R}^n$ and let $P_t:\mathbb{R}^4\mapsto \Pi_t$ be the…

For $e \in S^{2}$, the unit sphere in $\mathbb{R}^3$, let $\pi_{e}$ be the orthogonal projection to $e^{\perp} \subset \mathbb{R}^{3}$, and let $W \subset \mathbb{R}^{3}$ be any $2$-plane, which is not a subspace. We prove that if $K…

Assuming $V=L$, we construct a plane set $E$ of Hausdorff dimension $1$ whose every orthogonal projection onto straight lines through the origin has Hausdorff dimension $0$. This is a counterexample to J. M. Marstrand's seminal projection…

Let $0 \leq s \leq 1$ and $0 \leq t \leq 2$. An $(s,t)$-Furstenberg set is a set $K \subset \mathbb{R}^{2}$ with the following property: there exists a line set $\mathcal{L}$ of Hausdorff dimension $\dim_{\mathrm{H}} \mathcal{L} \geq t$…

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…

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…

The macroscopic Hausdorff dimension Dim H (E) of a set E $\subset$ R d was introduced by Barlow and Taylor to quantify a "fractal at large scales" behavior of unbounded, possibly discrete, sets E. We develop a method based on potential…

We establish a new connection between metric Diophantine approximation and the parametric geometry of numbers by proving a variational principle facilitating the computation of the Hausdorff and packing dimensions of many sets of interest…

If $K$ and $L$ are mutually dual closed convex cones in a Hilbert space with the metric projections onto them denoted by $P_K$ and $P_L$ respectively, then the following two assertions are equivalent: (i) $P_K$ is isotone with respect to…

We prove a Kaufman-type exceptional set estimate for sets in $\mathbb{R}^n$ that have optimal oracles, a class of sets that strictly contains the analytic sets and sets with equal Hausdorff and packing dimension. As a consequence, we…

Intermediate dimensions were recently introduced to interpolate between the Hausdorff and box-counting dimensions of fractals. Firstly, we show that these intermediate dimensions may be defined in terms of capacities with respect to certain…

This paper contains two results on the dimension and smoothness of radial projections of sets and measures in Euclidean spaces. To introduce the first one, assume that $E,K \subset \mathbb{R}^{2}$ are non-empty Borel sets with…

One of the earliest results in enumerative combinatorial geometry is the following theorem of de Bruijn and Erd\H{o}s: Every set of points $E$ in a projective plane determines at least $|E|$ lines, unless all the points are contained in a…

Fix integers $1<k<n$. For $V\in G(k,n)$, let $P_V: \mathbb{R}^n\rightarrow V$ be the orthogonal projection. For $V\in G(k,n)$, define the map \[ \pi_V: A(1,n)\rightarrow A(1,V)\bigsqcup V. \] \[ \ell\mapsto P_V(\ell). \] For any…

$\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…

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…