相关论文: Projections of planar sets in well-separated direc…

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…

This paper contains the following $\delta$-discretised projection theorem for Ahlfors regular sets in the plane. For all $C,\epsilon > 0$ and $s \in [0,1]$, there exists $\kappa > 0$ such that the following holds for all $\delta > 0$ small…

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…

Given a finite set of points $S\subset\mathbb{R}^d$, a $k$-set of $S$ is a subset $A \subset S$ of size $k$ which can be strictly separated from $S \setminus A $ by a hyperplane. Similarly, a $k$-facet of a point set $S$ in general position…

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…

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…

We prove two new exceptional set estimates for radial projections in the plane. If $K \subset \mathbb{R}^{2}$ is a Borel set with $\dim_{\mathrm{H}} K > 1$, then $$\dim_{\mathrm{H}} \{x \in \mathbb{R}^{2} \, \setminus \, K :…

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,…

We prove that most one-dimensional projections of a discrete subset of a plane are either dense in R (the real line), or form a discrete subset of R. More precisely, the set E of exceptional directions (for which the indicated dichotomy…

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…

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

We provide several new answers on the question: how do radial projections distort the dimension of planar sets? Let $X,Y \subset \mathbb{R}^{2}$ be non-empty Borel sets. If $X$ is not contained on any line, we prove that \[ \sup_{x \in X}…

I prove that if $\emptyset \neq K \subset \mathbb{R}^{2}$ is a compact $s$-Ahlfors-David regular set with $s \geq 1$, then $$\dim_{\mathrm{p}} D(K) = 1,$$ where $D(K) := \{|x - y| : x,y \in K\}$ is the distance set of $K$, and…

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…

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

The classical Besicovitch projection theorem states that if a planar set $E$ with finite length is purely unrectifiable, then almost all orthogonal projections of $E$ have zero length. We prove a quantitative version of this result: if…

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…

Let $A, B\subseteq \mathbb{R}^2$ be finite, nonempty subsets, let $s\geq 2$ be an integer, and let $h_1(A,B)$ denote the minimal number $t$ such that there exist $2t$ (not necessarily distinct) parallel lines,…

For a field $\mathbb{F}$ and integers $d$ and $k$, a set of vectors of $\mathbb{F}^d$ is called $k$-nearly orthogonal if its members are non-self-orthogonal and every $k+1$ of them include an orthogonal pair. We prove that for every prime…

Let $\gamma:[0,1]\rightarrow \mathbb{S}^{2}$ be a non-degenerate curve in $\mathbb{R}^3$, that is to say, $\det\big(\gamma(\theta),\gamma'(\theta),\gamma"(\theta)\big)\neq 0$. For each $\theta\in[0,1]$, let $V_\theta=\gamma(\theta)^\perp$…