度量几何

We consider a point cloud $X_n := \{ x_1, \dots, x_n \}$ uniformly distributed on the flat torus $\mathbb{T}^d : = \mathbb{R}^d / \mathbb{Z}^d $, and construct a geometric graph on the cloud by connecting points that are within distance…

This paper focuses on the relation among the existence of different types of curves (such as directional ones, quasi-geodesic or geodesic rays), the (approximate) fixed point property for nonexpansive mappings, and a discrete lion and man…

We show that the inner distance inside a bounded planar domain is at most the one-dimensional Hausdorff measure of the boundary of the domain. We prove this sharp result by establishing an improved Painlev\'e length estimate for connected…

We show that 2-dimensional systolic complexes are quasi-isometric to quadric complexes with flat intervals. We use this fact along with the weight function of Brodzki, Campbell, Guentner, Niblo and Wright to prove that 2-dimensional…

For a function defined on a convex set in a Euclidean space, midpoint convexity is the property requiring that the value of the function at the midpoint of any line segment is not greater than the average of its values at the endpoints of…

We prove a Koebe distortion theorem for the average derivative of a quasiconformal mapping between domains in the sub-Riemannian Heisenberg group $\mathbb{H}_1$. Several auxiliary properties of quasiconformal mappings between subdomains of…

{\bf Abstract.} Let $D$ be a convex body of diameter $\delta$, where $0 < \delta < \frac{\pi}{2}$, on the $d$-dimensional sphere. We prove that $D$ is of constant diameter $\delta$ if and only if it is of constant width $\delta$ in the…

For $n \geq 2$ we construct a measurable subset of the unit ball in $\mathbb{R}^n$ that does not contain pairs of points at distance 1 and whose volume is greater than $(1/2)^n$ times the volume of the ball. This disproves a conjecture of…

We find explicit formulas for the radii and locations of the circles in all the optimally dense packings of two, three or four equal circles on any flat torus, defined to be the quotient of the Euclidean plane by the lattice generated by…

We prove that if a set is `large' in the sense of Erd\H{o}s, then it approximates arbitrarily long arithmetic progressions in a strong quantitative sense. More specifically, expressing the error in the approximation in terms of the gap…

Compact packings are specific packings of spheres which can be seen as tilings and are good candidates to maximize the density. We show that the compact packings of the Euclidean space with two sizes of spheres are exactly those obtained by…

We study the size of the largest rectangle containing no point of a given point set in the two-dimensional torus, the dispersion of the point set. A known lower bound for the dispersion of any point set of cardinality $n\ge 2$ in this…

Motivated by a question of W. Kuperberg, we study the 18-dimensional manifold of configurations of 6 non-intersecting infinite cylinders of radius $r,$ all touching the unit ball in $\mathbb{R}^{3}.$ We find a configuration with \[…

We prove a duality relation for the moduli of the family of curves connecting two sets and the family of surfaces separating the sets, in the setting of a complete metric space equipped with a doubling measure and supporting a Poincar\'e…

A pair of noncircular gears can be used to generate a strictly increasing continuous function $\psi(\varphi)$ whose derivative $\psi'(\varphi) = \mathrm{d}\psi(\varphi)/\mathrm{d}\varphi > 0$ is $2\pi/n$-periodic, where $\varphi$ and…

Let $(M,g)$ be a smooth Riemannian manifold and $\mathsf{G}$ a compact Lie group acting on $M$ effectively and by isometries. It is well known that a lower bound of the sectional curvature of $(M,g)$ is again a bound for the curvature of…

Santal\'o calculated the measures for all positions of a moving line segment in which it lies inside a fixed circle and intersects this circle in one or two points. From these measures he concluded hitting probabilities for a line segment…

We prove that the results regarding the Isoperimetric inequality and Cheeger constant formulated in terms of the Minkowski content, obtained by the authors in previous papers in the framework of essentially non-branching metric measure…

For metric measure spaces verifying the reduced curvature-dimension condition $CD^*(K,N)$ we prove a series of sharp functional inequalities under the additional assumption of essentially non-branching. Examples of spaces entering this…

We prove that if $(X,\mathsf{d},\mathfrak{m})$ is a metric measure space with $\mathfrak{m}(X)=1$ having (in a synthetic sense) Ricci curvature bounded from below by $K>0$ and dimension bounded above by $N\in [1,\infty)$, then the classic…