Related papers: Packing sets in Euclidean space by affine transfor…
Furstenberg, Katznelson and Weiss proved in the early 1980s that every measurable subset of the plane with positive density at infinity has the property that all sufficiently large real numbers are realised as the Euclidean distance between…
Let $E$ be the self-similar set generated by the {\it iterated function system} {\[ f_0(x)=\frac{x}{\beta},\quad f_1(x)=\frac{x+1}{\beta}, \quad f_{\beta+1}=\frac{x+\beta+1}{\beta} \]}with $\beta\ge 3$. {Then} $E$ is a self-similar set with…
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…
Using the definition of uniformly perfect sets in terms of convergent sequences, we apply lower bounds for the Hausdorff content of a uniformly perfect subset $E$ of $\mathbb{R}^n$ to prove new explicit lower bounds for the Hausdorff…
In a recent paper, the discrete Gabor transform was connected to a Gabor transform with a time frequency domain given by the flat torus. We show that the corresponding Bargmann spaces can be expressed as theta line bundles on Abelian…
In this paper we study critical sets of solutions $u_\e$ of second-order elliptic equations in divergence form with rapidly oscillating and periodic coefficients. We show that the $(d-2)$-dimensional Hausdorff measures of the critical sets…
It is well known that a classical Fubini theorem for Hausdorff dimension cannot hold; that is, the dimension of the intersections of a fixed set with a parallel family of planes do not determine the dimension of the set. Here we prove that…
For an ergodic hyperbolic measure $\omega$ of a $C^{1+{\alpha}}$ diffeomorphism, there is an $\omega$ full-measured set $\tilde\Lambda$ such that every nonempty, compact and connected subset $V$ of $\mathbb{M}_{inv}(\tilde\Lambda)$…
This paper is concerned with uniform measure estimates for nodal sets of solutions in elliptic homogenization. We consider a family of second-order elliptic operators $\{ \mathcal{L}_\e\}$ in divergence form with rapidly oscillating and…
On an odd-dimensional oriented hyperbolic manifold of finite volume with strongly acyclic coefficient systems, we derive a formula relating analytic torsion with the Reidemeister torsion of the Borel-Serre compactification of the manifold.…
We study conical density properties of general Borel measures on Euclidean spaces. Our results are analogous to the previously known result on the upper density properties of Hausdorff and packing type measures.
Erd\H{o}s proved that any real number can be written as a sum, and a product, of two Liouville numbers. Motivated by these results, we study sumsets of classes of real numbers with prescribed (or bounded) irrationality exponents. We show…
For $d\ge 1$, we construct a compact subset $K\subseteq \mathbb {R}^{d+1}$ containing a $d$-sphere of every radius between $1$ and $2$, such that for every $\delta\in (0,1)$, the $\delta$-neighbourhood of $K$ has Lebesgue measure $\lesssim…
We prove that for $d\ge 2,\, k\ge 2$, if the Hausdorff dimension of a compact set $E\subset \mathbb{R}^d$ is greater than $\frac{d^2}{2d-1}$, then, for any given $r > 0$, there exist $(x^1, \dots, x^{k+1})\in E^{k+1}$, $(y^1, \dots,…
We investigate the Hausdorff dimension of level sets defined by digit growth rates in $\theta$-expansions, a generalization of regular continued fractions. For any $\alpha \geq 0$, we prove that the set \[ E_\theta(\alpha) = \left\{ x \in…
In this paper we study measure theoretical size of the image of naturally embedded vector bundles in $\mathbb{R}^{n} \times \mathbb{R}^{n}$ under the codiagonal morphism, i.e. $\Delta_{*}$ in the category of finite dimensional…
We prove that on a $d$-dimensional Riemannian manifold, the distance set of a Borel set $E$ has a positive Lebesgue measure if $$\dim_{\mathcal{H}}(E)>\frac d2+\frac14+\frac{1-(-1)^d}{8d}.$$
We introduce a natural equivalence relation on the space $\sH_0$ of horofunctions of a word hyperbolic group that take the value 0 at the identity. We show that there are only finitely many ergodic measures that are invariant under this…
The (e,n)-complexity functions describe total instability of trajectories in dynamical systems. They reflect an ability of trajectories going through a Borel set to diverge on the distance $\epsilon$ during the time interval n. Behavior of…
We show that for any set $A\subseteq [0,1]^n$ with $\text{Vol}(A)\ge 1/2$ there exists a line $\ell $ such that the one-dimensional Lebesgue measure of $\ell \cap A$ is at least $\Omega ( n^{1/4} )$. The exponent $1/4$ is tight. More…