度量几何

We consider the affine-additive group as a metric measure space with a canonical left-invariant measure and a left-invariant sub-Riemannian metric. We prove that this metric measure space is locally 4-Ahlfors regular and it is hyperbolic,…

An antinorm is a concave analogue of a norm. In contrast to norms, antinorms are not defined on the entire space $R^d$ but on a cone $K\subset R^d$. They are applied in the matrix analysis, optimal control, and dynamical systems. Their…

We study certain points significant for the hyperbolic geometry of the unit disk. We give explicit formulas for the intersection points of the Euclidean lines and the stereographic projections of great circles of the Riemann sphere passing…

We prove that Mean Value mapping between convex quadrilaterals is injective, affirmatively proving a conjecture stated in M. S. Floater and J. Kosinka, On the injectivity of Wachspress and mean value mappings between convex polygons, Adv.…

This writeup describes ongoing work on designing and testing a certain family of correspondences between compact metric spaces that we call \emph{embedding-projection correspondences} (EPCs). Of particular interest are EPCs between spheres…

We refer here to the surprising construction made by Giuseppe Peano in 1890. He gave an example of a continuous function (called now the Peano curve) from the unit interval to the whole unit square. We show here the existence of a more…

In 1993, Kahn and Kalai famously constructed a sequence of finite sets in $d$-dimensional Euclidean spaces that cannot be partitioned into less than $(1.203\ldots+o(1))^{\sqrt{d}}$ parts of smaller diameter. Their method works not only for…

We consider the coding problem in the Stiefel manifold with chordal distance. After considering various low-dimensional instances of this problem, we use Rankin's bounds on spherical codes to prove upper bounds on the minimum distance of a…

In this work we investigate Gromov-Hausdorff limits of compact surfaces carrying length metrics. More precisely, we consider the case where all surfaces have the same Euler characteristic. We give a complete description of the limit spaces…

We introduce diffusion geometry as a new framework for geometric and topological data analysis. Diffusion geometry uses the Bakry-Emery $\Gamma$-calculus of Markov diffusion operators to define objects from Riemannian geometry on a wide…

In the present paper we study the original Gromov-Hausdorff distance between real normed spaces. In the first part of the paper we prove that two finite-dimensional real normed spaces on a finite Gromov-Hausdorff distance are isometric to…

We introduce two new tools for studying CAT(0) spaces: \emph{curtains}, versions of cubical hyperplanes; and the \emph{curtain model}, a counterpart of the curve graph. These tools shed new light on CAT(0) spaces, allowing us to prove a…

It is proved that the mapping class group of any closed surface with finitely many marked points is quasiisometric to a CAT(0) cube complex. We provide two distinct proofs, one tailored to mapping class groups, and one applying to a larger…

In the case of symmetries with respect to n independent linear hyperplanes, a stability version of the logarithmic Brunn-Minkowski inequality and the logarithmic Minkowski inequality for convex bodies is established.

There is a beautiful and well-studied relationship between the Poincare exponent and the fractal dimensions of the limit set of a Kleinian group. Motivated by this, given an arbitrary discrete subset of the unit ball we define a critical…

A metric measure space is a metric space with a Borel measure. In Gromov's theory of metric measure spaces, there are important invariants called the partial diameter and the observable diameter. We obtain the result that the partial…

We show that there exist convex bodies of constant width in $\mathbb{E}^n$ with illumination number at least $(\cos(\pi/14)+o(1))^{-n}$, answering a question by G. Kalai. Furthermore, we prove the existence of finite sets of diameter $1$ in…

Let $G$ be a $3$-connected ordered graph with $n$ vertices and $m$ edges. Let $\mathbf{p}$ be a randomly chosen mapping of these $n$ vertices to the integer range $\{1, 2,3, \ldots, 2^b\}$ for $b\ge m^2$. Let $\ell$ be the vector of $m$…

We study a new hyperbolic type metric recently introduced by Song and Wang. We present formulas for it in the upper half-space and the unit ball domains and find its sharp inequalities with the hyperbolic metric and the triangular ratio…

The Banach isometric conjecture asserts that a normed space with all of its $k$-dimensional subspaces isometric, where $k\geq 2$, is Euclidean. The first case of $k=2$ is classical, established by Auerbach, Mazur and Ulam using an elegant…