From the discrete to the continuous, from simplicial complexes to Riemannian manifolds. Approximating flows and cuts on manifolds by discrete versions

2025-12-04T23:36:20Z

Many fundamental structures of Riemannian geometry have found discrete counterparts for graphs or combinatorial ones for simplicial complexes. These include those discussed in this survey, Hodge theory, Morse theory, the spectral theory of Laplace type operators and Cheeger inequalities, and their interconnections. This raises the question of the relation between them, abstractly as structural analogies and concretely what happens when a graph constructed from random sampling of a Riemannian manifold or a simplicial complex triangulating such a manifold converge to that manifold. We survey the current state of research, highlighting some recent developments like Cheeger type inequalities for the higher dimensional geometry of simplicial complexes, Floer type constructions in the presence of periodic or homoclinic orbits of dynamical systems or the disorientability of simplicial complexes.

Largest acylindrical actions of free-by-cyclic groups

2025-12-04T22:30:00Z

We show that every finitely generated free-by-cyclic group $G$ admits a largest acylindrical action on a hyperbolic space $X$ obtained by coning off maximal product subgroups of $G$. We characterise Morse geodesics of $G$ as those that project to quasigeodesics in $X$, thus showing that all finitely generated free-by-cyclic groups are Morse local-to-global. We also characterise the stable and strongly quasiconvex subgroups of $G$. Finally, we compute the Morse boundary for \{finitely generated free\}-by-cyclic groups with unipotent and polynomially growing monodromy.

Ratio of Intrinsic Metric to Extrinsic Metric and Volume

2025-12-04T20:15:48Z

We study the relationship between the ratio of intrinsic to extrinsic metrics and area. For certain surfaces inside unit ball in R3 we give lower bound on the maximum of ratio in terms of its area. We also give examples to show non-existence of global lower bounds.

Geometric Data Science

2025-12-04T17:57:40Z

This book introduces the new research area of Geometric Data Science, where data can represent any real objects through geometric measurements. The first part of the book focuses on finite point sets. The most important result is a complete and continuous classification of all finite clouds of unordered points under rigid motion in any Euclidean space. The key challenge was to avoid the exponential complexity arising from permutations of the given unordered points. For a fixed dimension of the ambient Euclidean space, the times of all algorithms for the resulting invariants and distance metrics depend polynomially on the number of points. The second part of the book advances a similar classification in the much more difficult case of periodic point sets, which model all periodic crystals at the atomic scale. The most significant result is the hierarchy of invariants from the ultra-fast to complete ones. The key challenge was to resolve the discontinuity of crystal representations that break down under almost any noise. Experimental validation on all major materials databases confirmed the Crystal Isometry Principle: any real periodic crystal has a unique location in a common moduli space of all periodic structures under rigid motion. The resulting moduli space contains all known and not yet discovered periodic crystals and hence continuously extends Mendeleev's table to the full crystal universe.

How regular is the evolute of a plane curve?

2025-12-04T14:26:13Z

We study the relationship between the smoothness of a plane curve and that of its evolute, especially in the cases where the parent curve is no more two or three times continuously differentiable, and exhibit the same kind of apparent improvement in regularity: in the generic local situation, the evolute has one order of regularity less than the parent curve.

Bounding the diameter-width ratio using containment inequalities of means of convex bodies

2025-12-04T10:06:58Z

We completely describe the region of possible values of the diameter-width ratio for planar pseudo-complete sets in dependence of the Minkowski asymmetry. In order to do this, we focus on the containment inequalities of $K \cap (-K)$ and $\frac{K-K}{2}$ for a Minkowski centered convex compact set $K$, i.e. we define $τ(K)$ to be the smallest possible factor to cover $K \cap (-K)$ by a rescalation of $\frac{K-K}{2}$ and give the region of the possible values of $τ(K)$ in the planar case in dependence of the Minkowski asymmetry of $K$.

On asymptotic Lebesgue's universal covering problem

2025-12-03T18:00:50Z

Universal cover in $\mathbb{E}^{n}$ is a measurable set that contains a congruent copy of any set of diameter 1. Lebesgue's universal covering problem, posed in 1914, asks for the convex set of smallest area that serves as a universal cover in the plane ($n=2$). A simple universal cover in $\mathbb{E}^n$ is provided by the classical theorem of Jung, which states that any set of diameter 1 in an $n$-dimensional Euclidean space is contained in a ball $J_n$ of radius $\sqrt{\tfrac{n}{2n+2}}$; in other words, $J_n$ is a universal cover in $\mathbb{E}^n$. We show that in high dimensions, Jung's ball $J_n$ is asymptotically optimal with respect to the volume, namely, for any universal cover $U \subset \mathbb{E}^n$, $$ {\rm Vol}(U) \ge (1-o(1))^n{\rm Vol}(J_n). $$

Bounded-degree graphs of non-negative Ollivier-Ricci curvature have subexponential growth and diffusive random walk

2025-12-03T16:58:46Z

We study the geometric properties of graphs with non-negative Ollivier-Ricci curvature, a discrete analogue of non-negative Ricci curvature in Riemannian geometry. We prove that for each $d<\infty$ there exists a constant $C_d$ such that if $G=(V,E)$ is a finite graph with non-negative Ollivier-Ricci curvature and with degrees bounded by $d$ then the average log-volume growth and random walk displacement satisfy \[ \frac{1}{|V|} \sum_{x\in V} \log \#B(x,r) \leq \exp\left[C_d \sqrt{\log r}\right] = r^{o(1)} \] and \[ \frac{1}{|V|} \sum_{x\in V} \mathbf{E}_x [d(X_0,X_n)^2] \leq n \exp\left[C_d \sqrt{\log n}\right] = n^{1+o(1)} \] for every $n,r\geq 2$. This significantly strengthens a result of Salez (GAFA 2022), who proved that the average displacement of the random walk is $o(n)$ and deduced that non-negatively curved graphs of bounded degree cannot be expanders. Our results also apply to infinite transitive graphs and, more generally, to bounded-degree unimodular random rooted graphs of non-negative Ollivier-Ricci curvature.

Remarks on a result of Sibony on the Carathéodory topology

2025-12-03T15:49:49Z

In this paper, we prove that if a Carathéodory hyperbolic analytic space $X$ is $C_X$-complete, then its natural topology is induced by the Carathéodory distance on $X$. This is an improvement of Sibony's result, which concludes the same under the hypothesis that $X$ is $C_X$-finitely compact. This improvement is not merely formal; we also show the existence of uncountably many biholomorphically inequivalent analytic spaces that are not $C_X$-finitely compact but are $C_X$-complete.

Variances and central limit theorems for random beta-polytopes and in other geometric models

2025-12-03T10:30:11Z

We prove matching asymptotic lower and upper bounds on the variances of the intrinsic volumes and the number of $k$-faces of $d$-dimensional random beta-polytopes. Using Stein's methods, we establish central limit theorems for the intrinsic volumes. We also prove asymptotic upper bounds on the variances of the volume and vertex number of spherical random polytopes in spherical convex bodies, and hyperbolic random polytopes in convex bodies in hyperbolic space. Moreover, we consider a circumscribed model on the sphere.

Lattice-like Packings and Coverings with Congruent Translation Balls and Cylinders in Sol geometry

2025-12-03T09:31:30Z

The aim of this paper is to study lattice-like coverings with congruent translation balls and the packings and coverings with a type of translation cylinders in Sol space related to the fundamental lattices. We introduce the notions of the densities of the considered problems and give upper estimate to ball coverings using the radii and the volumes of the circumscribed translation spheres of given {\it translation tetrahedra}. Moreover we determine the exact optimal packing and covering densities of a type of cylinder packings belonging to the fundamental lattices.

Quadratic metric comparisons

2025-12-03T01:34:52Z

We study the effects on length spaces imposed by quadratic inequalities on the six distances between the points in every quadruple.

Combinatorial foundations for solvable chaotic local Euclidean quantum circuits in two dimensions

2025-12-02T18:54:23Z

We investigate a graph-theoretic problem motivated by questions in quantum computing concerning the propagation of information in quantum circuits. A graph $G$ is said to be a bounded extension of its subgraph $L$ if they share the same vertex set, and the graph distance $d_L(u, v)$ is uniformly bounded for edges $uv\in G$. Given vertices $u, v$ in $G$ and an integer $k$, the geodesic slice $S(u, v, k)$ denotes the subset of vertices $w$ lying on a geodesic in $G$ between $u$ and $v$ with $d_G(u, w) = k$. We say that $G$ has bounded geodesic slices if $|S(u, v, k)|$ is uniformly bounded over all $u, v, k$. We call a graph $L$ geodesically directable if it has a bounded extension $G$ with bounded geodesic slices. Contrary to previous expectations, we prove that $\mathbb{Z}^2$ is geodesically directable. Physically, this provides a setting in which one could devise exactly-solvable chaotic local quantum circuits with non-trivial correlation patterns on 2D Euclidean lattices. In fact, we show that any bounded extension of $\mathbb{Z}^2$ is geodesically directable. This further implies that all two-dimensional regular tilings are geodesically directable.

How to Learn a Star: Binary Classification with Starshaped Polyhedral Sets

2025-12-02T16:02:23Z

We consider binary classification restricted to a class of continuous piecewise linear functions whose decision boundaries are (possibly nonconvex) starshaped polyhedral sets, supported on a fixed polyhedral simplicial fan. We investigate the expressivity of these function classes and describe the combinatorial and geometric structure of the loss landscape, most prominently the sublevel sets, for two loss-functions: the 0/1-loss (discrete loss) and a log-likelihood loss function. In particular, we give explicit bounds on the VC dimension of this model, and concretely describe the sublevel sets of the discrete loss as chambers in a hyperplane arrangement. For the log-likelihood loss, we give sufficient conditions for the optimum to be unique, and describe the geometry of the optimum when varying the rate parameter of the underlying exponential probability distribution.

On local Liakopoulos-Meyer type inequalities and their functional counterparts

2025-12-02T13:41:38Z

We provide a functional Rogers-Shephard type inequality for log-concave functions on $\mathbb R^n$ and any $1$-reducible $s$-cover of $[n]$. As a consequence, we derive a sharp local Liakopoulos-Meyer type inequality for $n$-dimensional convex bodies and $1$-reducible $s$-covers of any $σ\subset[n]$, solving a question studied by Brazitikos, Giannopoulos, Liakopoulos in [14] as well as Alonso-Gutiérrez, Bernués, Brazitikos, Carbery in [3].