Showing papers in "arXiv: Metric Geometry in 2020"

Assouad dimension and fractal geometry

Abstract: The Assouad dimension is a notion of dimension in fractal geometry that has been the subject of much interest in recent years. This book, written by a world expert on the topic, is the first thorough account of the Assouad dimension and its many variants and applications in fractal geometry and beyond. It places the theory of the Assouad dimension in context among up-to-date treatments of many key advances in fractal geometry, while also emphasising its diverse connections with areas of mathematics including number theory, dynamical systems, harmonic analysis, and probability theory. A final chapter detailing open problems and future directions for research brings readers to the cutting edge of this exciting field. This book will be an indispensable part of the modern fractal geometer's library and a valuable resource for pure mathematicians interested in the beauty and many applications of the Assouad dimension.

Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications

Abstract: The goal of the present work is three-fold. The first goal is to set foundational results on optimal transport in Lorentzian synthetic spaces, including cyclical monotonicity, stability of optimal couplings and Kantorovich duality (several results are new even for smooth Lorentzian manifolds). The second one is to give a synthetic notion of "timelike Ricci curvature bounded below and dimension bounded above" for a Lorentzian space using optimal transport. The key idea being to analyse convexity properties of Entropy functionals along future directed timelike geodesics of probability measures. Such a notion is proved to be stable under a suitable weak convergence of Lorentzian synthetic spaces. The third goal is to draw applications, most notably extending volume comparisons and Hawking singularity Theorem (in sharp form) to the synthetic setting. The framework of Lorentzian synthetic spaces includes as remarkable classes of examples: space-times endowed with a causally plain (or, more strongly, locally Lipschitz) continuous Lorentzian metric, closed cone structures, some approaches to quantum gravity (e.g. causal Fermion systems).

Equipartitions and Mahler Volumes of Symmetric Convex Bodies

Abstract: Following ideas of Iriyeh and Shibata we give a short proof of the three-dimensional Mahler conjecture for symmetric convex bodies. Our contributions include, in particular, simple self-contained proofs of their two key statements. The first of these is an equipartition (ham sandwich type) theorem which refines a celebrated result of Hadwiger and, as usual, can be proved using ideas from equivariant topology. The second is an inequality relating the product volume to areas of certain sections and their duals. Finally we give an alternative proof of the characterization of convex bodies that achieve the equality case and establish a new stability result.

Lipschitz graphs and currents in Heisenberg groups

Abstract: The main result of the present paper is a Rademacher-type theorem for intrinsic Lipschitz graphs of codimension $k\leq n$ in sub-Riemannian Heisenberg groups $\mathbb H^n$. For the purpose of proving such a result we settle several related questions pertaining both to the theory of intrinsic Lipschitz graphs and to the one of currents. First, we prove an extension result for intrinsic Lipschitz graphs as well as a uniform approximation theorem by means of smooth graphs: these results stem both from a new definition (equivalent to the one introduced by F. Franchi, R. Serapioni and F. Serra Cassano) of intrinsic Lipschitz graphs and are valid for a more general class of intrinsic Lipschitz graphs in Carnot groups. Second, our proof of Rademacher's Theorem heavily uses the language of currents in Heisenberg groups: one key result is, for us, a version of the celebrated Constancy Theorem. Inasmuch as Heisenberg currents are defined in terms of Rumin's complex of differential forms, we also provide a convenient basis of Rumin's spaces. Eventually, we provide some applications of Rademacher's Theorem including a Lusin-type result for intrinsic Lipschitz graphs, the equivalence between $\mathbb H$-rectifiability and ``Lipschitz'' $\mathbb H$-rectifiability, and an area formula for intrinsic Lipschitz graphs in Heisenberg groups.

The Lower Bound for Koldobsky’s Slicing Inequality via Random Rounding

Abstract: We study the lower bound for Koldobsky’s slicing inequality. We show that there exists a measure μ and a symmetric convex body \(K \subseteq \mathbb R^n\), such that for all \(\xi \in {{\mathbb S}^{n-1}}\) and all \(t\in \mathbb R,\) $$\displaystyle \mu ^+(K\cap (\xi ^{\perp }+t\xi ))\leq \frac {c}{\sqrt {n}}\mu (K)|K|{ }^{-\frac {1}{n}}. $$ Our bound is optimal, up to the value of the universal constant. It improves slightly upon the results of the first named author and Koldobsky, which included a doubly-logarithmic error. The proof is based on an efficient way of discretizing the unit sphere.

Billiards in ellipses revisited

Abstract: We prove some recent experimental observations of D. Reznik concerning periodic billiard orbits in ellipses. For example, the sum of cosines of the angles of a periodic billiard polygon remains constant in the one-parameter family of such polygons (that exist due to the Poncelet porism). In our proofs, we use geometric and complex analytic methods.

Foliated corona decompositions

Abstract: We prove that the $L_4$ norm of the vertical perimeter of any measurable subset of the $3$-dimensional Heisenberg group $\mathbb{H}$ is at most a universal constant multiple of the (Heisenberg) perimeter of the subset. We show that this isoperimetric-type inequality is optimal in the sense that there are sets for which it fails to hold with the $L_4$ norm replaced by the $L_q$ norm for any $q<4$. This is in contrast to the $5$-dimensional setting, where the above result holds with the $L_4$ norm replaced by the $L_2$ norm. The proof of the aforementioned isoperimetric inequality introduces a new structural methodology for understanding the geometry of surfaces in $\mathbb{H}$. In previous work (2017) we showed how to obtain a hierarchical decomposition of Ahlfors-regular surfaces into pieces that are approximately intrinsic Lipschitz graphs. Here we prove that any such graph admits a foliated corona decomposition, which is a family of nested partitions into pieces that are close to ruled surfaces. Apart from the intrinsic geometric and analytic significance of these results, which settle questions posed by Cheeger-Kleiner-Naor (2009) and Lafforgue-Naor (2012), they have several noteworthy implications, including the fact that the $L_1$ distortion of a word-ball of radius $n\ge 2$ in the discrete $3$-dimensional Heisenberg group is bounded above and below by universal constant multiples of $\sqrt[4]{\log n}$; this is in contrast to higher dimensional Heisenberg groups, where our previous work showed that the distortion of a word-ball of radius $n\ge 2$ is of order $\sqrt{\log n}$.

Fourier transform of Rauzy fractals and point spectrum of 1D Pisot inflation tilings

Abstract: Primitive inflation tilings of the real line with finitely many tiles of natural length and a Pisot-Vijayaraghavan unit as inflation factor are considered. We present an approach to the pure point part of their diffraction spectrum on the basis of a Fourier matrix cocycle in internal space. This cocycle leads to a transfer matrix equation and thus to a closed expression of matrix Riesz product type for the Fourier transforms of the windows for the covering model sets. In general, these windows are complicated Rauzy fractals and thus difficult to handle. Equivalently, this approach permits a construction of the (always continuously representable) eigenfunctions for the translation dynamical system induced by the inflation rule. We review and further develop the underlying theory, and illustrate it with the family of Pisa substitutions, with special emphasis on the classic Tribonacci case.

Measurable equidecompositions for group actions with an expansion property

Abstract: Given an action of a group $\Gamma$ on a measure space $\Omega$, we provide a sufficient criterion under which two sets $A, B\subseteq \Omega$ are measurably equidecomposable, i.e., $A$ can be partitioned into finitely many measurable pieces which can be rearranged using the elements of $\Gamma$ to form a partition of $B$. In particular, we prove that every bounded measurable subset of $R^n$, $n\ge 3$, with non-empty interior is measurably equidecomposable to a ball via isometries. The analogous result also holds for some other spaces, such as the sphere or the hyperbolic space of dimension $n\ge 2$.

Extension and trace results for doubling metric measure spaces and their hyperbolic fillings

Abstract: In this paper we study connections between Besov spaces of functions on a compact metric space $Z$, equipped with a doubling measure, and the Newton--Sobolev space of functions on a uniform domain $X_\varepsilon$. This uniform domain is obtained as a uniformization of a (Gromov) hyperbolic filling of $Z$. To do so, we construct a family of hyperbolic fillings in the style of the work of Bonk and Kleiner and the work of Bourdon and Pajot. Then for each parameter $\beta>0$ we construct a lift $\mu_\beta$ of the doubling measure $ u$ on $Z$ to $X_\varepsilon$, and show that $\mu_\beta$ is doubling and supports a $1$-Poincare inequality. We then show that for each $\theta$ with $0<\theta<1$ and $p\ge 1$ there is a choice of $\beta=p(1-\theta)\log\alpha$ such that the Besov space $B^\theta_{p,p}(Z)$ is the trace space of the Newton--Sobolev space $N^{1,p}(X_\varepsilon,\mu_\beta)$ when $\varepsilon=\log\alpha$. Finally, we exploit the tools of potential theory on $X_\varepsilon$ to obtain fine properties of functions in $B^\theta_{p,p}(Z)$, such as their quasicontinuity and quasieverywhere existence of $L^q$-Lebesgue points with $q=s_ u p/(s_ u-p\theta)$, where $s_ u$ is a doubling dimension associated with the measure $ u$ on $Z$. Applying this to compact subsets of Euclidean spaces improves upon a result of Netrusov in $\mathbb{R}^n$.

Concentration of the Intrinsic Volumes of a Convex Body

Abstract: The intrinsic volumes are measures of the content of a convex body. This paper applies probabilistic and information-theoretic methods to study the sequence of intrinsic volumes. The main result states that the intrinsic volume sequence concentrates sharply around a specific index, called the central intrinsic volume. Furthermore, among all convex bodies whose central intrinsic volume is fixed, an appropriately scaled cube has the intrinsic volume sequence with maximum entropy.

Volume Above Distance Below

Abstract: Given a pair of metric tensors $g_1 \ge g_0$ on a Riemannian manifold, $M$, it is well known that $\operatorname{Vol}_1(M) \ge \operatorname{Vol}_0(M)$. Furthermore one has rigidity: the volumes are equal if and only if the metric tensors are the same $g_1=g_0$. Here we prove that if $g_j \ge g_0$ and $\operatorname{Vol}_1(M)\to \operatorname{Vol}_0(M)$ then $(M,g_j)$ converge to $(M,g_0)$ in the volume preserving intrinsic flat sense. Well known examples demonstrate that one need not obtain smooth, $C^0$, Lipschitz, or even Gromov-Hausdorff convergence in this setting. Our theorem may also be applied as a tool towards proving other open conjectures concerning the geometric stability of a variety of rigidity theorems in Riemannian geometry. To complete our proof, we provide a novel way of estimating the intrinsic flat distance between Riemannian manifolds which is interesting in its own right.

Marstrand-Mattila rectifiability criterion for $1$-codimensional measures in Carnot Groups

Abstract: This paper is devoted to show that the flatness of tangents of $1$-codimensional measures in Carnot Groups implies $C^1_\mathbb{G}$-rectifiability. As applications we prove that measures with $(2n+1)$-density in the Heisenberg groups $\mathbb{H}^n$ are $C^1_{\mathbb{H}^n}$-rectifiable, providing the first non-Euclidean extension of Preiss's rectifiability theorem and a criterion for intrinsic Lipschitz rectifiability of finite perimeter sets in general Carnot groups.

The Extremals of the Alexandrov-Fenchel Inequality for Convex Polytopes

Abstract: The Alexandrov-Fenchel inequality, a far-reaching generalization of the classical isoperimetric inequality to arbitrary mixed volumes, lies at the heart of convex geometry. The characterization of its extremal bodies is a long-standing open problem that dates back to Alexandrov's original 1937 paper. The known extremals already form a very rich family, and even the fundamental conjectures on their general structure, due to Schneider, are incomplete. In this paper, we completely settle the extremals of the Alexandrov-Fenchel inequality for convex polytopes. In particular, we show that the extremals arise from the combination of three distinct mechanisms: translation, support, and dimensionality. The characterization of these mechanisms requires the development of a diverse range of techniques that shed new light on the geometry of mixed volumes of nonsmooth convex bodies. Our main result extends further beyond polytopes in a number of ways, including to the setting of quermassintegrals of arbitrary convex bodies. As an application of our main result, we settle a question of Stanley on the extremal behavior of certain log-concave sequences that arise in the combinatorics of partially ordered sets.

On the local version of the Log-Brunn-Minkowski conjecture and some new related geometric inequalities

Abstract: We prove that for any semi-norm $\|\cdot\|$ on $\mathbb{R}^n,$ and any symmetric convex body $K$ in $\mathbb{R}^n,$ \begin{equation}\label{ineq-abs2} \int_{\partial K} \frac{\|n_x\|^2}{\langle x,n_x\rangle}\leq \frac{1}{|K|}\left(\int_{\partial K} \|n_x\| \right)^2, \end{equation} and characterize the equality cases of this new inequality. The above would also follow from the Log-Brunn-Minkowski conjecture, if the latter was proven, and we believe that it may be of independent interest. We, furthermore, obtain an improvement of this inequality in some cases, involving the Poincare constant of $K.$ The conjectured Log-Brunn-Minkowski inequality is a strengthening of the Brunn-Minkowski inequality in the partial case of symmetric convex bodies, equivalent to the validity of the following statement: for all symmetric convex smooth sets $K$ in $\mathbb{R}^n$ and all smooth even $f:\partial K\rightarrow \mathbb{R},$ \begin{equation}\label{ineq-abs} \int_{\partial K} H_x f^2-\langle \mbox{II}^{-1} abla_{\partial K} f, abla_{\partial K} f\rangle +\frac{f^2}{\langle x,n_x\rangle}\leq \frac{1}{|K|}\left(\int_{\partial K} f \right)^2. \end{equation} In this note, we verify the above with the particular choice of speed function $f(x)=|\langle v,n_x\rangle|$, for all symmetric convex bodies $K$, where $v\in\mathbb{R}^n$ is an arbitrary vector.

Maximal Theta Functions -- Universal Optimality of the Hexagonal Lattice for Madelung-Like Lattice Energies

Abstract: We present two families of lattice theta functions accompanying the family of lattice theta functions studied by Montgomery in [H.~Montgomery. Minimal theta functions. \textit{Glasgow Mathematical Journal}, 30(1):75--85, 1988]. The studied theta functions are generalizations of the Jacobi theta-2 and theta-4 functions. Contrary to Montgomery's result, we show that, among lattices, the hexagonal lattice is the unique maximizer of both families of theta functions. As an immediate consequence, we obtain a new universal optimality result for the hexagonal lattice among two-dimensional alternating charged lattices and lattices shifted by the center of their unit cell.

Dimensions of fractional Brownian images

Abstract: This paper concerns the intermediate dimensions, a spectrum of dimensions that interpolate between the Hausdorff and box dimensions. Capacity theoretic methods are used to produce dimension bounds for images of sets under Holder maps and certain stochastic processes. We apply this to compute the almost-sure value of the dimension of Borel sets under index-$\alpha$ fractional Brownian motion in terms of capacity theoretic dimension profiles. As a corollary, this establishes continuity of the profiles for all Borel sets, allowing us to obtain an explicit condition showing how the Hausdorff dimension of a set may influence the typical box dimension of Holder images such as projections. The methods used propose a general strategy for related problems; dimensional information about a set may be learned from analysing particular fractional Brownian images of that set. To conclude, we obtain bounds on the Hausdorff dimension of exceptional sets in the setting of projections.

Related by Similarity II: Poncelet 3-Periodics in the Homothetic Pair and the Brocard Porism.

Abstract: Previously we showed the family of 3-periodics in the elliptic billiard (confocal pair) is the image under a variable similarity transform of poristic triangles (those with non-concentric, fixed incircle and circumcircle). Both families conserve the ratio of inradius to circumradius and therefore also the sum of cosines. This is consisten with the fact that a similarity preserves angles. Here we study two new Poncelet 3-periodic families also tied to each other via a variable similarity: (i) a first one interscribed in a pair of concentric, homothetic ellipses, and (ii) a second non-concentric one known as the Brocard porism: fixed circumcircle and Brocard inellipse. The Brocard points of this family are stationary at the foci of the inellipse. A key common invariant is the Brocard angle, and therefore the sum of cotangents. This raises an interesting question: given a non-concentric Poncelet family (limited or not to the outer conic being a circle), can a similar doppelganger always be found interscribed in a concentric, axis-aligned ellipse and/or conic pair?

More about areas and centers of Poncelet polygons

Abstract: We study the locus of the Circumcenter of Mass of Poncelet polygons, and the limit of the Center of Mass (when we consider the polygon as a "homogeneous lamina") for degenerate Poncelet polygons. We also provide a proof for one of Dan Reznik invariants for billiard trajectories. Plus, we take a look at how the scene looks like when we shift to spherical geometry.

On rectifiable measures in Carnot groups: structure theory

Abstract: In this paper we prove the one-dimensional Preiss' theorem in the first Heisenberg group $\mathbb H^1$. More precisely we show that a Radon measure $\phi$ on $\mathbb H^1$ with positive and finite one-density with respect to the Koranyi distance is supported on a one-rectifiable set in the sense of Federer, i.e., it is supported on the countable union of the images of Lipschitz maps $A\subseteq \mathbb R\to\mathbb H^1$. The previous theorem is a consequence of a Marstrand-Mattila type rectifiability criterion, which we prove in arbitrary Carnot groups for measures with tangent planes that admit a normal complementary subgroup. Namely, in this co-normal case, even if we a priori ask that the tangent planes at a point might rotate at different scales, a posteriori the measure has a unique tangent almost everywhere. Since every horizontal subgroup has a normal complement, our criterion applies in the particular case of one-dimensional horizontal subgroups. These results are the outcome of a detailed study of a new notion of rectifiability: we say that a Radon measure on a Carnot group is $\mathscr{P}_h$-rectifiable, for $h\in\mathbb N$, if it has positive $h$-lower density and finite $h$-upper density almost everywhere, and, at almost every point, it admits as tangent measures only (multiple of) the Haar measure of a homogeneous subgroup of Hausdorff dimension $h$. We also prove several structure properties of $\mathscr{P}_h$-rectifiable measures. First, we compare $\mathscr{P}_h$-rectifiability with other notions of rectifiability previously known in the literature in the setting of Carnot groups and we realize that it is strictly weaker than them. Furthermore, we show that a $\mathscr{P}_h$-rectifiable measure has almost everywhere positive and finite $h$-density whenever the tangents admit at least one complementary subgroup.

Dimension preserving approximation

Abstract: This article introduces the novel notion of dimension preserving approximation for continuous functions defined on $[0,1]$ and initiates the study of it. Restrictions and extensions of continuous functions in regards to fractal dimensions are also investigated.

The dimensional Brunn-Minkowski inequality in Gauss space

Abstract: Let $\gamma_n$ be the standard Gaussian measure on $\mathbb{R}^n$. We prove that for every symmetric convex sets $K,L$ in $\mathbb{R}^n$ and every $\lambda\in(0,1)$, $$\gamma_n(\lambda K+(1-\lambda)L)^{\frac{1}{n}} \geq \lambda \gamma_n(K)^{\frac{1}{n}}+(1-\lambda)\gamma_n(L)^{\frac{1}{n}},$$ thus settling a problem raised by Gardner and Zvavitch (2010). This is the Gaussian analogue of the classical Brunn-Minkowski inequality for the Lebesgue measure. We also show that, for a fixed $\lambda\in(0,1)$, equality is attained if and only if $K=L$.

Surface area measures of log-concave functions

Abstract: This paper's origins are in two papers: One by Colesanti and Fragala studying the surface area measure of a log-concave function, and one by Cordero-Erausquin and Klartag regarding the moment measure of a convex function These notions are the same, and in this paper we continue studying the same construction as well as its generalization In the first half the paper we prove a first variation formula for the integral of log-concave functions under minimal and optimal conditions We also explain why this result is a common generalization of two known theorems from the above papers In the second half we extend the definition of the functional surface area measure to the L^p-setting, generalizing a classic definition of Lutwak In this generalized setting we prove a functional Minkowski existence theorem for even measures This is a partial extension of a theorem of Cordero-Erausquin and Klartag that handled the case p=1 for not necessarily even measures

An embedding, an extension, and an interpolation of ultrametrics

Abstract: The notion of the ultrametrics can be considered as a zero-dimensional analogue of ordinary metrics, and it is expected to prove ultrametric versions of theorems on metric spaces. In this paper, we provide ultrametric versions of the Arens--Eells isometric embedding theorem of metric spaces, the Hausdorff extension theorem of metrics, the Niemytzki--Tychonoff characterization theorem of the compactness, and the author's interpolation theorem of metrics and theorems on dense subsets of spaces of metrics.

Sharp Isoperimetric Inequalities for Affine Quermassintegrals

Abstract: The affine quermassintegrals associated to a convex body in $\mathbb{R}^n$ are affine-invariant analogues of the classical intrinsic volumes from the Brunn-Minkowski theory, and thus constitute a central pillar of affine convex geometry. They were introduced in the 1980's by E. Lutwak, who conjectured that among all convex bodies of a given volume, the $k$-th affine quermassintegral is minimized precisely on the family of ellipsoids. The known cases $k=1$ and $k=n-1$ correspond to the classical Blaschke-Santalo and Petty projection inequalities, respectively. In this work we confirm Lutwak's conjecture, including characterization of the equality cases, for all values of $k=1,\ldots,n-1$, in a single unified framework. In fact, it turns out that ellipsoids are the only local minimizers with respect to the Hausdorff topology. For the proof, we introduce a number of new ingredients, including a novel construction of the Projection Rolodex of a convex body. In particular, from this new view point, Petty's inequality is interpreted as an integrated form of a generalized Blaschke--Santalo inequality for a new family of polar bodies encoded by the Projection Rolodex. We extend these results to more general $L^p$-moment quermassintegrals, and interpret the case $p=0$ as a sharp averaged Loomis--Whitney isoperimetric inequality. Finally, a new extremely simple proof of Petty's projection inequality is presented, revealing a certain duality relation with the Blaschke-Santalo inequality.

Family Ties: Relating Poncelet 3-Periodics by their Properties.

Abstract: We compare loci types and invariants across Poncelet families interscribed in three distinct concentric Ellipse pairs: (i) ellipse-incircle, (ii) circumcircle-inellipse, and (iii) homothetic. Their metric properties are mostly identical to those of 3 well-studied families: elliptic billiard (confocal pair), Chapple's poristic triangles, and the Brocard porism. We therefore organized them in three related groups.

Packing and doubling in metric spaces with curvature bounded above.

Abstract: We study locally compact, locally geodesically complete, locally CAT(k) spaces (GCBA(k)-spaces). We prove a Croke-type local volume estimate only depending on the dimension of these spaces. We show that a local doubling condition, with respect to the natural measure, implies pure-dimensionality. Then, we consider GCBA(k)-spaces satisfying a uniform packing condition at some fixed scale or a doubling condition at arbitrarily small scale, and prove several compactness results with respect to pointed Gromov-Hausdorff convergence. Finally, as a particular case, we study convergence and stability of M^k-complexes with bounded geometry.

Bourgain-Brezis-Mironescu approach in metric spaces with Euclidean tangents

Abstract: In the setting of metric measure spaces satisfying the doubling condition and the $(1,p)$-Poincare inequality, we prove a metric analogue of the Bourgain-Brezis-Mironescu formula for functions in the Sobolev space $W^{1,p}(X,d, u)$, under the assumption that for $ u$-a.e. point the tangent space in the Gromov-Hausdorff sense is Euclidean with fixed dimension $N$.

Quasiconformal geometry and removable sets for conformal mappings

Abstract: We study metric spaces defined via a conformal weight, or more generally a measurable Finsler structure, on a domain $\Omega \subset \mathbb{R}^2$ that vanishes on a compact set $E \subset \Omega$ and satisfies mild assumptions. Our main question is to determine when such a space is quasiconformally equivalent to a planar domain. We give a characterization in terms of the notion of planar sets that are removable for conformal mappings. We also study the question of when a quasiconformal mapping can be factored as a 1-quasiconformal mapping precomposed with a bi-Lipschitz map.

Area formula for regular submanifolds of low codimension in Heisenberg groups

Abstract: We establish an area formula for the spherical measure of intrinsically regular submanifolds of low codimension in Heisenberg groups. The spherical measure is computed with respect to an arbitrary homogeneous distance. Among the arguments of the proof, we point out the differentiability properties of intrinsic graphs and a chain rule for intrinsic differentiable functions.