Related papers: A nonlinear version of Bourgain's projection theor…
The point-to-set principle \cite{LutLut17} characterizes the Hausdorff dimension of a subset $E\subseteq\R^n$ by the \textit{effective} (or algorithmic) dimension of its individual points. This characterization has been used to prove…
In the first part Busemann concavity as non-negative curvature is introduced and a bi-Lipschitz splitting theorem is shown. Furthermore, if the Hausdorff measure of a Busemann concave space is non-trivial then the space is doubling and…
We study maximal orthogonal families of Borel probability measures on $2^\omega$ (abbreviated m.o. families) and show that there are generic extensions of the constructible universe $L$ in which each of the following holds: (1) There is a…
We prove that for any nonlinear $f \in C^{1,\alpha}([0,1])$, the union of lines covering its graph has a Hausdorff dimension of at least $1+\alpha$, and this dimension bound is sharp. We then apply these geometric results to mathematical…
We present a sharp extension of a result of Bourgain on finding configurations of $k+1$ points in general position in measurable subset of $\mathbb{R}^d$ of positive upper density whenever $d\geq k+1$ to all proper $k$-degenerate distance…
Let X be a path-connected topological space admitting a universal cover. Let Homeo(X,a) denote the group of homeomorphisms of X preserving degree one cohomology class a. We investigate the distortion in Homeo(X,a). Let g be an element of…
We show that certain families of sets in $\mathbb{R}^2$ (or $\mathbb{R}^n$) which are neither definable nor have bounded VC-dimension are nonetheless uniformly approximately definable in the real field, an o-minimal structure.
A new approach to Nori's weak Lefschetz theorem is described. The new approach, which involves the dbar-method, avoids moving arguments and gives much stronger results. In particular, it is proved that if X and Y are connected smooth…
We fully resolve the Furstenberg set conjecture in $\mathbb{R}^2$, that a $(s, t)$-Furstenberg set has Hausdorff dimension $\ge \min(s+t, \frac{3s+t}{2}, s+1)$. As a result, we obtain an analogue of Elekes' bound for the discretized…
We prove that the Hausdorff dimension of the set $\mathbf{x}\in [0,1)^d$, such that $$ \left|\sum_{n=1}^N \exp\left(2 \pi i\left(x_1n+\ldots+x_d n^d\right)\right) \right|\ge c N^{1/2} $$ holds for infinitely many natural numbers $N$, is at…
This paper is devoted to the study of a newly introduced tool, projectional coderivatives and the corresponding calculus rules in finite dimensions. We show that when the restricted set has some nice properties, more specifically, is a…
Let $X$ be a fractional Brownian motion in $\mathbb{R}^d$. For any Borel function $f:[0,1] \to \mathbb{R}^d$, we express the Hausdorff dimension of the image and the graph of $X+f$ in terms of $f$. This is new even for the case of Brownian…
Fine regularity of stochastic processes is usually measured in a local way by local H\"older exponents and in a global way by fractal dimensions. Following a previous work of Adler, we connect these two concepts for multiparameter Gaussian…
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…
We prove the following restricted projection theorem. Let $n\ge 3$ and $\Sigma \subset S^{n}$ be an $(n-1)$-dimensional $C^2$ manifold such that $\Sigma$ has sectional curvature $>1$. Let $Z \subset \mathbb{R}^{n+1}$ be analytic and let $0…
A breakthrough result of B\'ar\'any, Hochman and Rapaport published in 2019 established that every self-affine measure on $\mathbb{R}^2$ satisfying certain mild non-degeneracy conditions has Hausdorff dimension equal to its Lyapunov…
Fundamental questions in Diophantine approximation are related to the Hausdorff dimension of sets of the form $\{x\in \mathbb{R}: \delta_x = \delta\}$, where $\delta \geq 1$ and $\delta_x$ is the Diophantine approximation rate of an…
Falconer proved that there are sets $E\subset \mathbb{R}^n$ of Hausdorff dimension $n/2$ whose distance sets $\{|x-y| : x,y\in E\}$ are null with respect to Lebesgue measure. This led to the conjecture that distance sets have positive…
We generalize [Vav] to give sufficient conditions, primarily on coarse geometry, to ensure that a subset of a Cayley graph is a finite Hausdorff distance from a subgroup. Using this result, we prove a partial converse to the Flat Torus…
We prove that any metric surface (that is, metric space homeomorphic to a 2-manifold with boundary) with locally finite Hausdorff 2-measure is the Gromov-Hausdorff limit of polyhedral surfaces with controlled geometry. We use this result,…