度量几何

We develop a theory of Hilbert geometry over general ordered valued fields, associating with an open convex subset of the projective space a quotient Hilbert metric space. Under natural non-degeneracy assumptions, we prove that the…

The illumination conjecture is a classical open problem in convex and discrete geometry, asserting that every compact convex body~$K$ in $\mathbb R^n$ can be illuminated by a set of no more than $2^n$ points. If $K$ has smooth boundary, it…

Two polygons are amicable if the perimeter of one is equal to the area of the other and vice versa. A polygon is a lattice polygon if its vertices are on the integer lattice $\Z^2$. We show that there is one pair of amicable lattice…

The magnitude of a metric space is a real-valued function whose parameter controls the scale of the metric. A metric space is said to have the one-point property if its magnitude converges to 1 as the space is scaled down to a point. Not…

A horoboundary is one of the attempts to compactify metric spaces, and is constructed using continuous functions on metric spaces. It is a concept that includes global information of metric spaces, and its correspondence with an ideal…

We prove that every one-dimensional locally normal metric current, intended in the sense of U. Lang and S. Wenger, admits a nice integral representation through currents associated to (possibly unbounded) curves with locally finite length,…

Let us fold a strip of paper many times in the same direction, and then unfold it to form a fixed angle $\theta$ at all creases. The resulting shape is called the Dragon curve with the unfolding angle $\theta$. When $0\le\theta<90^{\circ}$,…

A recent result on the Gauss image problem for pseudo-cones can be interpreted as a measure transport, performed by the reverse radial Gauss map of a pseudo-cone. We find a cost function that is minimized by this transport map, and we prove…

This paper studies the relations between extendability of different classes of Sobolev $W^{1,1}$ and $BV$ functions from closed sets in general metric measure spaces. Under the assumption that the metric measure space satisfies a weak…

For every large enough $n$, we explicitly construct a body of constant width $2$ that has volume less than $0.9^n \text{Vol}(\mathbb{B}^{n}$), where $\mathbb{B}^{n}$ is the unit ball in $\mathbb{R}^{n}$. This answers a question of…

Signed graphs are an emergent way of representing data in a variety of contexts where antagonistic interactions exist. These include data from biological, ecological, and social systems. Here we propose the concept of communicability for…

In the setting of length PI spaces satisfying a suitable deformation property, it is known that each isoperimetric set has an open representative. In this paper, we construct an example of a length PI space (without the deformation…

We construct self-similar $p$-energy forms as normalized limits of discretized $p$-energies on a rich class of Laakso-type fractal spaces. Collectively, we refer to them as IGS-fractals, where IGS stands for (edge-)iterated graph systems.…

We show that the Hellinger-Kantorovich distance can be expressed as the metric infimal convolution of the Hellinger and the Wasserstein distances, as conjectured by Liero, Mielke, and Savar\'e. To prove it, we study with the tools of…

A quasigeodesic is a curve on the surface of a convex polyhedron that has $\le \pi$ surface to each side at every point. In contrast, a geodesic has exactly $\pi$ to each side and so can never pass through a vertex, whereas quasigeodesics…

We establish a family of inequalities that hold true on any $6$ points in any $\mathrm{CAT}(0)$ space. We prove that the validity of these inequalities does not follow from any properties of $5$-point subsets of $\mathrm{CAT}(0)$ spaces. In…

The Gromov-Wasserstein (GW) distances define a family of metrics, based on ideas from optimal transport, which enable comparisons between probability measures defined on distinct metric spaces. They are particularly useful in areas such as…

The P\'al inequality is a classical result which asserts that among all planar convex sets of given width the equilateral triangle is the one of minimal area. In this paper we prove three quantitative versions of this inequality, by…

The relation between negatively curved spaces and their boundaries is important for various rigidity problems. In \cite{biswas2024quasi}, the class of Gromov hyperbolic spaces called maximal Gromov hyperbolic spaces was introduced, and the…

The goal of the present work is three-fold. The first goal is to set foundational results on optimal transport in Lorentzian (pre-)length spaces, including cyclical monotonicity, stability of optimal couplings and Kantorovich duality…