Search arXivSearch

arXiv · 1302.6550

On restricted families of projections in R^3

Abstract

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 $1/2$-dimensional sets $B \subset \mathbb{R}^{3}$ is typically preserved under one-dimensional families of projections onto lines. We improve the result by an $\varepsilon$, proving that if $\dim_{\mathrm{H}} B = s > 1/2$, then the packing dimension of the projections is almost surely at least $σ(s) > 1/2$. For projections onto planes, we obtain a similar bound, with the threshold $1/2$ replaced by $1$. In the special case of self-similar sets $K \subset \mathbb{R}^{3}$ without rotations, we obtain a full Marstrand type projection theorem for one-parameter families of projections onto lines. The $\dim_{\mathrm{H}} K \leq 1$ case of the result follows from recent work of M. Hochman, but the $\dim_{\mathrm{H}} K > 1$ part is new: with this assumption, we prove that the projections have positive length almost surely.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Katrin Fässler, Tuomas Orponen. 2014-01-11. On restricted families of projections in R^3. https://doi.org/10.1112/plms%2Fpdu004

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Frame Sets and Zeros of Zak Transforms of Extended Gaussians

Let $a,b,c\in\mathbb C$ with $\re(a)<0$, we show that the extended Gaussian $e^{ax^2+bx+c}$ has maximal frame set (i.e., its frame set consists of precisely all positive pairs $(α,β)$ with $αβ<1$), and its Zak transform has a unique simple zero in the unit square $[0,1)^2$ (in particular, the zero is at the center of the unit square if $b=0$). These statements extend the same results of the usual Gaussian (the cases when $a<0$ and $b,c\in\mathbb R$), and add more instances to the observation that if a continuous Wiener function has maximal frame set, then its Zak transform has a unique simple zero in the unit square. The proof of the maximality of the frame set combines metaplectic representation with a classical density result of the standard Gaussian. The proof of the uniqueness of the zero relies on properties of the theta function.

math.CA

Connection Formulae for a Generalised Ramanujan Entire Function

The Ramanujan$-$$q$-Airy connection formula relates the convergent series at the origin to the behaviour at infinity of the Ramanujan entire function. We extend this connection to a one-parameter deformation, which embeds the Ramanujan (second-order) $q$-difference operator in a family of third-order equations. By contour integral as $q$-Borel inversion, we give behaviour at infinity in terms of divergent local expansions with connection coefficients uniquely determined. Discrete $q$-Borel$-$Laplace summation yields a convergent, bilateral power series representation, whose dependence on summation path reflects the $q$-Stokes phenomenon. We prove remainder estimates establishing the formal, generally divergent, expansion at infinity as an asymptotic description of the entire function.

math.CA

Little lip of a typical function and $σ$-porosity of graphs

For a mapping $f\colon X\to Y$ between metric spaces the function $\text{lip} f\colon X\to[0,\infty]$ defined by $\text{lip} f(x)=\liminf_{r\to0}\frac{\text{diam} f(B(x,r))}{r}$ is termed the little lip function of $f$. We prove that, given a locally compact domain $Ω\subseteq\mathbb{R}^d$, for a typical continuous function $f\colon Ω\to\mathbb{R}$ the set $\{x\inΩ:\mbox{lip} f(x)>0\}$ has both Hausdorff and lower packing dimensions exactly $d-1$, while the set $\{x\inΩ:\text{lip} f(x)=\infty\}$ has non-$σ$ finite $(d{-}1)$-dimensional Hausdorff measure. This sharp result roofs previous results of Balogh and Csörnyei, Hanson and Buczolich, Hanson, Rmoutil and Zürcher. It follows, e.g., that a graph of a typical function $f\in C(Ω)$ is $σ$-strongly porous, and for a typical function $f\colon[0,1]\to[0,1]$ there are sets $A,B\subseteq[0,1]$ of lower packing and Hausdorff dimension zero, respectively, such that the graph of $f$ is contained in the set $A\times[0,1]\cup[0,1]\times B$.

math.CA