度量几何
The aim of this note is to give a sufficient condition for pairs of functions to have a convex separator when the underlying structure is a Cartan--Hadamard manifold, or more generally: a reduced Birkhoff--Beatley system. Some exotic…
We confirm two conjectures of Lassak on the area of reduced spherical polygons. The area of every reduced spherical non-regular $n$-gon is less than that of the regular spherical $n$-gon of the same thickness. Moreover, the area of every…
The peeling process is defined as follows: starting with a finite point set $X \subset \mathbb{R}^d$, we repeatedly remove the set of vertices of the convex hull of the current set of points. The number of peeling steps needed to completely…
A finite subset of a Euclidean space is called an $s$-distance set if there exist exactly $s$ values of the Euclidean distances between two distinct points in the set. In this paper, we prove that the maximum cardinality among all…
We explore toroidal analogues of the Maxwell-Cremona correspondence. Erickson and Lin [arXiv:2003.10057] showed the following correspondence for geodesic torus graphs $G$: a positive equilibrium stress for $G$, an orthogonal embedding of…
In this paper, the functional Quermassintegrals of log-concave functions in $\mathbb R^n$ are discussed, we obtain the integral expression of the $i$-th functional mixed Quermassintegrals, which are similar to the integral expression of the…
We consider infinite graphs and the associated energy forms. We show that a graph is canonically compactifiable (i.e. all functions of finite energy are bounded) if and only if the underlying set is totally bounded with respect to any…
Necessary and sufficient conditions are obtained for the infinitesimal rigidity of braced grids in the plane with respect to non-Euclidean norms. Component rectangles of the grid may carry 0, 1 or 2 diagonal braces, and the combinatorial…
Let $\mathcal{P}$ and $\mathcal{P}'$ be $3$-dimensional convex polytopes in $\mathbb{R}^3$ and $S \subseteq \mathbb{R}^3$ be a non-empty intersection of an open set with a sphere. As a consequence of a somewhat more general result it is…
The discrete functional $L_p$ Minkowski problem is posed and solved. As a consequence, the general affine P\'{o}lya-Szeg\"{o} principle and the general affine Sobolev inequalities are established.
We introduce the novel concept of hypercomplex iterated function system (IFS) on the complete metric space $(\mathbb{A}_{n+1}^k,d)$ and define its hypercomplex attractor. Systems of hypercomplex function systems arising from hypercomplex…
The Hausdorff distance is a measure of (dis-)similarity between two sets which is widely used in various applications. Most of the applied literature is devoted to the computation for sets consisting of a finite number of points. This has…
We give a complete and self-contained proof of a folklore theorem which says that in an Alexandrov space the distance between a point $\gamma(t)$ on a geodesic $\gamma$ and a compact set $K$ is a right-differentiable function of $t$.…
This paper studies coarse compactifications and their boundary. We introduce two alternative descriptions to Roe's original definition of coarse compactification. One approach uses bounded functions on $X$ that can be extended to the…
In this paper we will develop an axiomatic foundation for the geometric study of straight edge, protractor, and compass constructions, which while being related to previous foundations, will be the first to have all axioms written and all…
We study six pedal-like curves associated with the ellipse which are area-invariant for pedal points lying on one of two shapes: (i) a circle concentric with the ellipse, or (ii) the ellipse boundary itself. Case (i) is a corollary to…
Let $S$ be a set of points in $\mathbb{R}^2$ contained in a circle and $P$ an unrestricted point set in $\mathbb{R}^2$. We prove the number of distinct distances between points in $S$ and points in $P$ is at least…
Previously we showed the family of 3-periodics in the elliptic billiard (confocal pair) is the image under a variable similarity transform of poristic triangles (those with non-concentric, fixed incircle and circumcircle). Both families…
If a convex body $K \subset \mathbb{R}^n$ is covered by the union of convex bodies $C_1, \ldots, C_N$, multiple subadditivity questions can be asked. Two classical results regard the subadditivity of the width (the smallest distance between…
We show that, for a constant-degree algebraic curve $\gamma$ in $\mathbb{R}^D$, every set of $n$ points on $\gamma$ spans at least $\Omega(n^{4/3})$ distinct distances, unless $\gamma$ is an {\it algebraic helix} (see Definition 1.1). This…