Related papers: A Fubini-type theorem for Hausdorff dimension

Let $X \subset \mathbb{R}^N$ be a Borel set, $\mu$ a Borel probability measure on $X$ and $T:X \to X$ a Lipschitz and injective map. Fix $k \in \mathbb{N}$ greater than the (Hausdorff) dimension of $X$ and assume that the set of…

Let $R=\mathbb{F}_p[x_1,\ldots,x_n]$ and let $\mathbf{F}$ be the ring of Frobenius operators over $R$. We introduce a notion of Bernstein dimension and multiplicity for the class of finitely generated $\mathbf{F}$-modules whose structure…

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

This paper is a continuation of the paper [Got25] and studies Goldstern's principle, a principle about unions of continuum many null sets, further. The main result is that the Hausdorff measure version of Goldstern's principle for…

A $(k,m)$-Furstenberg set is a subset $S \subset \mathbb{F}_q^n$ with the property that each $k$-dimensional subspace of $\mathbb{F}_q^n$ can be translated so that it intersects $S$ in at least $m$ points. Ellenberg and Erman proved that…

We prove that for any singular measure $\mu$ on $\mathbb{R}^n$ it is possible to cover $\mu$-almost every point with $n$ families of Lipschitz slabs of arbitrarily small total width. More precisely, up to a rotation, for every $\delta>0$…

Let $\ell_1,\ell_2,\dots$ be a countable collection of lines in ${\mathbb R}^d$. For any $t \in [0,1]$ we construct a compact set $\Gamma\subset{\mathbb R}^d$ with Hausdorff dimension $d-1+t$ which projects injectively into each $\ell_i$,…

We study the Hausdorff dimension of Gibbs measures with infinite entropy with respect to maps of the interval with countably many branches. We show that under simple conditions, such measures are symbolic-exact dimensional, and provide an…

Our aim is to find the minimal Hausdorff dimension of the union of scaled and/or rotated copies of the $k$-skeleton of a fixed polytope centered at the points of a given set. For many of these problems, we show that a typical arrangement in…

We show that, for any $0<\gamma<1/2$, any $(\alpha,\beta)\in\mathbb{R}^2$ except on a set with Hausdorff dimension about $\sqrt{\gamma}$, any small $0<\varepsilon<1$ and any large $N\in\mathbb{N}$, the number of integers $n\in[1,N]$ such…

We investigate under which conditions a given invariant measure $\mu$ for the dynamical system defined by the Gauss map $x \mapsto 1/x \mod 1$ is a Rajchman measure with polynomially decaying Fourier transform $$|\widehat{\mu}(\xi)| =…

That is, given a compact set $B \subset \mathbb{R}^n$ (the boundary) and a subgroup $L$ of the \v{C}ech homology group $\check{H}_{d-1}(B;G)$ of dimension $d$ over some commutative group $G$, we find a compact set $E \supset B$ such that…

We show that in $\mathbb{R}^d$ there are purely unrectifiable sets of Hausdorff (and even box counting) dimension $d-1$ which are not tube null, settling a question of Carbery, Soria and Vargas, and improving a number of results by the same…

We show that, generically, the unique invariant measure of a sufficiently regular piecewise smooth circle homeomorphism with irrational rotation number and zero mean nonlinearity (e.g., piecewise linear) has zero Hausdorff dimension. To…

This paper systematically studies the subset of continuous linear functionals on the projective tensor product of Banach spaces whose norms are bounded by Grothendieck's constant $K_G$. We term such functionals Grothendieck functional…

A generalization of the celebrated Falconer distance problem asks for a graph $G=(\mathcal{V},\mathcal{E})$, with vertex set $\mathcal{V}$ and edge set $\mathcal{E}$, how large the Hausdorff dimension of a compact set $E\subset…

We consider subsets of the (symbolic) sequence space that are invariant under the action of the semigroup of multiplicative integers. A representative example is the collection of all 0-1 sequences $(x_k)$ such that $x_k x_{2k}=0$ for all…

In a previous work we proved that if a finite Borel measure $\mu$ in a Euclidean space has Hausdorff dimension smaller than a positive integer $k$, then the orthogonal projection onto almost every $k$-dimensional linear subspace is…

Given a compact metric space (X,d) equipped with a non-atomic, probability measure m and a real, positive decreasing function p we consider a `natural' class of limsup subsets La(p) of X. The classical limsup sets of `well approximable'…

The classical Painlev\'e theorem tells that sets of zero length are removable for bounded analytic functions, while (some) sets of positive length are not. For general $K$-quasiregular mappings in planar domains the corresponding critical…