度量几何
The course was given at Peking University, Fall 2019. We discuss the following subjects: (1) Introduction to general topology, hyperspaces, metric and pseudometric spaces, graph theory. (2) Graphs in metric spaces, minimum spanning tree,…
We establish the log-concavity of the volume of central sections of dilations of the cross-polytope (the strong B-inequality for the cross-polytope and Lebesgue measure restricted to an arbitrary subspace).
This paper investigates how the geometry of a cycle in the loop space of a Riemannian manifold controls its topology. For fixed $\beta \in H^n(\Omega X; \mathbb{R})$ one can ask how large $|\langle \beta, Z \rangle|$ can be for cycles $Z$…
In this paper we prove that $L_{p}$ does not admit an equivariant coarse embedding into $\ell_p$ i.e there is no proper, affine, isometric action of $L_{p}$, viewed as a group under addition with the standard metric $|| . ||_p$, on…
This paper examines thresholds for certain properties of the attractor of a general one-parameter affine family of iterated functions systems. As the parameter increases, the iterated function system becomes less contractive, and the…
We apply the theory of unimodular random rooted graphs to study the metric geometry of large, finite, bounded degree graphs whose diameter is proportional to their volume. We prove that for a positive proportion of the vertices of such a…
We study a family of spheres with constant mean curvature (CMC) in the Riemannian Heisenberg group $H^1$. These spheres are conjectured to be the isoperimetric sets of $H^1$. We prove several results supporting this conjecture. We also…
This paper contains a new concept to measure the width and thickness of a convex body in the hyperbolic plane. We compare the known concepts with the new one and prove some results on bodies of constant width, constant diameter and given…
We classify all sets of nonzero vectors in $\mathbb{R}^3$ such that the angle formed by each pair is a rational multiple of $\pi$. The special case of four-element subsets lets us classify all tetrahedra whose dihedral angles are multiples…
An ideal triangulation of a singular flat surface is a geodesic triangulation such that its vertex set is equal to the set of singular points of the surface. Using the fact that each pair of points in a surface has a finite number of…
Following the train of thought from our previous paper we revisit the theorems of Pongsriiam and Termwuttipong by further developing their characterization of certain property-preserving functions using the so-called triangle triplets. We…
A number of geometric inequalities for convex sets arising from Brunn's concavity principle have recently been shown to yield local stochastic formulations. Comparatively, there has been much less progress towards stochastic forms of…
The $k$ nearest neighbour learning rule (under the uniform distance tie breaking) is universally consistent in every metric space $X$ that is sigma-finite dimensional in the sense of Nagata. This was pointed out by C\'erou and Guyader…
In this work we study the set of strictly accretive matrices, that is, the set of matrices with positive definite Hermitian part, and show that the set can be interpreted as a smooth manifold. Using the recently proposed symmetric polar…
In this note we prove the Borel Conjecture for closed, irreducible and sufficiently collapsed three-dimensional Alexandrov spaces. We also pose several questions related to characterization of fundamental groups of three-dimensional…
We consider an interesting class of combinatorial symmetries of polytopes which we call \emph{edge-length preserving combinatorial symmetries}. These symmetries not only preserve the combinatorial structure of a polytope but also map each…
Motivated by a problem on the dynamics of compositions of plane hyperbolic isometries, we prove several fundamental results on semigroups of isometries, thought of as real M\"obius transformations. We define a semigroup $S$ of M\"obius…
Steinitz's theorem states that a graph $G$ is the edge-graph of a $3$-dimensional convex polyhedron if and only if, $G$ is simple, plane and $3$-connected. We prove an analogue of this theorem for ball polyhedra, that is, for intersections…
In the present paper, we introduce a new concept of convexity which is generated by a family of endomorphisms of an Abelian group. In Abelian groups equipped with a translation invariant metric, we define the boundedness, the norm, the…
The goal of the paper is to prove an exact representation formula for the Laplacian of the distance (and more generally for an arbitrary 1-Lipschitz function) in the framework of metric measure spaces satisfying Ricci curvature lower bounds…