Related papers: Favard length and quantitative rectifiability

In this work we show that an $n$-dimensional Borel set in Euclidean $N$-space with finite integral Menger curvature is $n$-rectifiable, meaning that it can be covered by countably many images of Lipschitz continuous functions up to a null…

For a Borel set E in R^n, the total Menger curvature of E, or c(E), is the integral over E^3 (with respect to 1-dimensional Hausdorff measure in each factor of E) of c(x,y,z)^2, where 1/c(x,y,z) is the radius of the circle passing through…

Suppose $E, F$ are Borel sets in the plane, $\dim_{\mathcal{H}} E>1$, $\dim_{\mathcal{H}} E+\dim_{\mathcal{H}} F>2$, and $F$ has equal Hausdorff and packing dimension. We prove that there exists $y\in F$ such that the pinned distance set…

Continued fractions with prescribed structures on sequences of their partial quotients have been intensively studied in the literature. As far as an integer sequence, especially a randomly generated one is concerned, an attractive question…

For a projective variety $X$ defined over a non-Archimedean complete non-trivially valued field $k$, and a semipositive metrized line bundle $(L, \phi)$ over it, we establish a metric extension result for sections of $L^{\otimes n}$ from a…

We prove a version of Bourgain's projection theorem for parametrized families of $C^2$ maps, that refines the original statement even in the linear case. As one application, we show that if $A$ is a Borel set of Hausdorff dimension close to…

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…

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

Elie Cartan's general equivalence problem is recast in the language of Lie algebroids. The resulting formalism, being coordinate and model-free, allows for a full geometric interpretation of Cartan's method of equivalence via reduction and…

We prove that if $E$ is a planar self-similar set with similarity dimension $d$ whose defining maps generate a dense set of rotations, then the $d$-dimensional Hausdorff measure of the orthogonal projection of $E$ onto any line is zero. We…

We show that for any compact set $E\subset\mathbb{R}^d$ the visible part of $E$ has Hausdorff dimension at most $d-1/6$ for almost every direction. This improves recent estimates of Orponen and Matheus. If $E$ is $s$-Ahlfors regular, where…

Let $E \subseteq \mathbb{R}^n$ be a union of line segments and $F \subseteq \mathbb{R}^n$ the set obtained from $E$ by extending each line segment in $E$ to a full line. Keleti's line segment extension conjecture posits that the Hausdorff…

Let $f$ be a conformal (analytic and univalent) map defined on the open unit disk $\D$ of the complex plane $\IC$ that is continuous on the semi-circle $\partial \D^{+}=\{z\in\IC:|z|=1, {\rm{Im}}\,z>0\}$. The existence of a uniform upper…

Let $F$ be a number field, $\pi$ either a unitary cuspidal automorphic representation of $\mathrm{GL}(2)/F$ or a unitary Eisenstein series, and $\chi$ a unitary Hecke character of analytic conductor $C(\chi).$ We develop a regularized…

The length polyhedron $Q_P$ of an interval order $P$ is the convex hull of integral vectors representing the interval lengths in interval representations of $P$. This polyhedron has been studied by various authors, including Fishburn and…

We establish several optimal estimates for exceptional parameters in the projection of fractal measures: (1) For a parametric family of self-similar measures satisfying a transversality condition, the set of parameters leading to a…

Let $\mathcal A$ be an $\mathbb F$-algebra and let $\mathcal S$ be its generating set. The length of $\mathcal S$ is the smallest number $k$ such that $\mathcal A$ equals the $\mathbb F$-linear span of all products of length at most $k$ of…

A union of an arrangement of affine hyperplanes $H$ in $R^d$ is the real algebraic variety associated to the principal ideal generated by the polynomial $p_{H}$ given as the product of the degree one polynomials which define the hyperplanes…

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…

A Besicovitch set is a subset of $\R^d$ that contains a unit line segment in every direction and the famous Kakeya conjecture states that Besicovitch sets should have full dimension. We provide a number of results in support of this…