度量几何
We show that the visual angle metric and the triangular ratio metric are comparable in convex domains. We also find the extremal points for the visual angle metric in the half space and in the ball by use of a construction based on…
In 1959 Fejes T\'oth posed a conjecture that the sum of pairwise non-obtuse angles between $N$ unit vectors in $\mathbb S^d$ is maximized by periodically repeated elements of the standard orthonormal basis. We obtain new improved upper…
A coincidence site lattice is a sublattice formed by the intersection of a lattice $\Gamma$ in $\mathbb{R}^d$ with the image of $\Gamma$ under a linear isometry. Such a linear isometry is referred to as a linear coincidence isometry of…
We develop a framework for obtaining linear programming bounds for spherical codes whose inner products belong to a prescribed subinterval $[\ell,s]$ of $[-1,1)$. An intricate relationship between Levenshtein-type upper bounds on…
In this review, we count and classify certain sublattices of a given lattice, as motivated by crystallography. We use methods from algebra and algebraic number theory to find and enumerate the sublattices according to their index. In…
This paper applies techniques from algebraic and differential geometry to determine how to best pack points in real projective spaces. We present a computer-assisted proof of the optimality of a particular 6-packing in…
We determine barycentric coordinates of triangle centers in the elliptic plane. The main focus is put on centers that lie on lines whose euclidean limit (triangle excess --> 0) is the Euler line or the Brocard line. We also investigate…
Given a degenerate $(n+1)$-simplex in a $d$-dimensional space $M^d$ (Euclidean, spherical or hyperbolic space, and $d\geq n$), for each $k$, $1\leq k\leq n$, Radon's theorem induces a partition of the set of $k$-faces into two subsets. We…
We study the properties of the a complete invariant of the analytic function of two variables with respect to the Lipschitz contact equivalence. This invariant is called pizza. We prove that the pizza of real analytic functions has some…
In 1970, Coxeter gave a short and elegant geometric proof showing that if $p_1, p_2, \ldots, p_n$ are vertices of an $n$-gon $P$ in cyclic order, then $P$ is affinely regular if, and only if there is some $\lambda \geq 0$ such that…
We discuss a new notion of distance on the space of finite and nonnegative measures which can be seen as a generalization of the well-known Kantorovich-Wasserstein distance. The new distance is based on a dynamical formulation given by an…
This is a preliminary version dated Dec. 2013. It was written independently of [Kim-Masmoudi reference] which uses a similar method. [KM] works with flows in a more general setting and does not mention CAT(K) geometry and gradient curves.…
We investigate the critical points of Coulomb potential of point charges placed at the vertices of a planar polygonal linkage. It is shown that, for a collection of positive charges on a pentagonal linkage, there is a unique critical point…
Given a metric space $X$ and a function $f: X \to \mathbb{R}$, the Reeb construction gives metric a space $X_f$ together with a quotient map $X \to X_f$. Under suitable conditions $X_f$ becomes a metric graph and can therefore be used as a…
We put forward the concept of measure graphs. These are (possibly uncountable) graphs equipped with an action of a groupoid and a measure invariant under this action. Examples include finite graphs, periodic graphs, graphings and…
We study the geometry of warped cones over free, minimal isometric group actions and related constructions of expander graphs. We prove a rigidity theorem for the coarse geometry of such warped cones: Namely, if a group has no abelian…
A polyellipse is a curve in the Euclidean plane all of whose points have the same sum of distances from finitely many given points (focuses). The classical version of Erd\H{o}s-Vincze's theorem states that regular triangles can not be…
A well known result in the analysis of finite metric spaces due to Gromov says that given any $(X,d_X)$ there exists a \emph{tree metric} $t_X$ on $X$ such that $\|d_X-t_X\|_\infty$ is bounded above by twice $\mathrm{hyp}(X)\cdot…
We prove that if a geodesic metric measure space satisfies a comparison condition for isoperimetric profile and if the observable variance is maximal, then the space is foliated by minimal geodesics, where the observable variance is defined…
The intersection $L$ of two different non-opposite hemispheres $G$ and $H$ of a $d$-dimensional sphere $S^d$ is called a lune. By the thickness of $L$ we mean the distance of the centers of the $(d-1)$-dimensional hemispheres bounding $L$.…