相关论文: Bounding the dimension of exceptional sets for ort…
This paper is concerned with restricted families of projections in $\mathbb{R}^{3}$. Let $K \subset \mathbb{R}^{3}$ be a Borel set with Hausdorff dimension $\dim K = s > 1$. If $\mathcal{G}$ is a smooth and sufficiently well-curved…
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$…
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 {\mathbb{V} = V x R^l : V \in G(n-l,m-l)} be the family of m-dimensional subspaces of R^n containing {0} x R^l, and let \pi_{\mathbb{V}} : R^n --> \mathbb{V} be the orthogonal projection onto \mathbb{V}. We prove that the mapping V…
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…
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$…
Let $\mathcal{K}$ be a discrete valued field with finite residue field. In analogy with orthogonality in the Euclidean space $\mathbb{R}^n$, there is a well-studied notion of "ultrametric orthogonality" in $\mathcal{K}^n$. In this paper,…
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…
This paper extends some results of [M5] and [M3], in particular, removing assumptions of positive lower density. We give conditions on a general family $P_{\lambda}:\mathbb{R}^{n}\to\mathbb{R}^{m}, \lambda \in \Lambda,$ of orthogonal…
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 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…
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 :…
First, let $K \subset B(0,1) \subset \mathbb{R}^{2}$ be a set with $\mathcal{H}_{\infty}^{1}(K) \sim 1$, and write $\pi_{e}(K)$ for the orthogonal projection of $K$ into the line spanned by $e \in S^{1}$. For $1/2 \leq s < 1$, write $$E_{s}…
Let $\mathcal{G}(d,n)$ be the Grassmannian manifold of $n$-dimensional subspaces of $\mathbb{R}^{d}$, and let $\pi_{V} \colon \mathbb{R}^{d} \to V$ be the orthogonal projection. We prove that if $\mu$ is a compactly supported Radon measure…
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$…
It is shown that if $A$ is a Borel subset of the first Heisenberg group, with Hausdorff dimension satisfying $2< \dim A < 3$, then the packing dimensions of vertical projections of $A$ are almost surely not less than $\dim A$, where both…
We give conditions on a general family $P_{\lambda}:\R^n\to\R^m, \lambda \in \Lambda,$ of orthogonal projections which guarantee that the Hausdorff dimension formula $\dim A\cap P_{\lambda}^{-1}\{u\}=s-m$ holds generically for measurable…
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…
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…
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…