https://arxiv.org/api/Hf5kEiu/WctLoJNaRW2Lhz0OdBA 2026-06-21T17:35:49Z 13068 750 15 http://arxiv.org/abs/2506.22197v2 2026-01-21T17:23:03Z

We formulate and prove a synthetic Lorentzian Cartan-Hadamard theorem. This result both transfers the corresponding statement for locally convex metric spaces established by S. Alexander and R. Bishop to the Lorentzian setting, and simultaneously generalizes the smooth Lorentzian theorem discussed by J. Beem and P. Ehrlich to the recently established framework of synthetic Lorentzian geometry. Our approach is based on an appropriate notion of local concavity for Lorentzian (pre-)length spaces, which allows us to establish existence and uniqueness of timelike geodesics between any pair of timelike related points under the additional assumptions of global hyperbolicity and future one-connectedness. We also provide a globalization result for our notion of concavity in the setting of Lorentzian length spaces, and apply our results to obtain a globalization statement for nonnegative upper timelike curvature bounds.

2025-06-27T13:04:48Z 23 pages, 5 figures Darius Erös Sebastian Gieger http://arxiv.org/abs/2601.15173v1 2026-01-21T16:49:12Z

We give two new upper bounds on the covering minima of convex bodies, depending on covering minima of certain projections and intersections with linear subspaces. We show one bound to be sharp for direct sums of two convex bodies, generalizing previous results on the covering radius and lattice width of direct sums. We apply our results to standard terminal simplices, reducing the gap between the upper and lower bounds in a conjecture of Gonzaléz Merino and Schymura (2017), which gives insight on a conjecture of Codenotti, Santos and Schymura (2021) on the maximal covering radius of a non-hollow lattice polytope.

2026-01-21T16:49:12Z 14 pages, 2 figures Katarina Krivokuća http://arxiv.org/abs/2601.15157v1 2026-01-21T16:32:39Z

The first non-zero Laplace eigenvalue of a hyperbolic surface, or its spectral gap, measures how well-connected the surface is: surfaces with a large spectral gap are hard to cut in pieces, have a small diameter and fast mixing times. For large hyperbolic surfaces (of large area or large genus $g$, equivalently), we know that the spectral gap is asymptotically bounded above by $\frac 14$. The aim of these talks is to present joint work with Nalini Anantharaman, where we prove that most hyperbolic surfaces have a near-optimal spectral gap. That is to say, we prove that, for any $ε> 0$, the Weil--Petersson probability for a hyperbolic surface of genus $g$ to have a spectral gap greater than $\frac 14- ε$ goes to one as $g$ goes to infinity. This statement is analogous to Alon's 1986 conjecture for regular graphs, proven by Friedman in 2003. I will present our approach, which shares many similarities with Friedman's work, and introduce new tools and ideas that we have developed in order to tackle this problem.

2026-01-21T16:32:39Z 44 pages; survey paper for Current Developments in Mathematics 2025 Laura Monk http://arxiv.org/abs/2202.02255v4 2026-01-21T16:31:03Z

We consider random walks on finite vertex-transitive graphs $Γ$ of bounded degree. We find a simple geometric condition which characterises the cover time fluctuations: the suitably normalised cover time converges to a standard Gumbel variable if and only if $\mathrm{Diam}(Γ)^2 = o(n/\log n)$, where $n = |Γ|$. We prove that this condition is furthermore equivalent to the decorrelation of the uncovered set. The arguments rely on recent breakthroughs by Tessera and Tointon on finitary versions of Gromov's theorem on groups of polynomial growth, which we leverage into strong heat kernel bounds, and refined quantitative estimates on Aldous and Brown's exponential approximation of hitting times, which are of independent interest.

2022-02-04T17:36:41Z v4:57 pages. Version revised following reviewer's comments. In particular, the improvement of the Aldous-Brown estimates on the exponential approximation for hitting times of sets have been separated from this article and can instead be found in arXiv:2601.03864. Section 3 in particular has also been restructured Nathanaël Berestycki Jonathan Hermon Lucas Teyssier http://arxiv.org/abs/2601.15044v1 2026-01-21T14:47:19Z

We prove the following isoperimetric-type inequality: for every convex body $K$ in $\mathbb R^n$ and some $σ\subset[n]:=\{1,\dots,n\}$ there exists a suitable Hanner polytope $B_K$ with the same volume as $K$ and such that the volume of each of its orthogonal projections onto every subspace whose basis is formed by the canonical vectors $\{e_i:i\inτ\cup([n]\setminusσ)\}$, for every $τ\subseteqσ$, bounds from below the volume of the corresponding projections of $K$.

2026-01-21T14:47:19Z Luis J. Alías Bernardo González Merino Beatriz Marín Gimeno http://arxiv.org/abs/2601.14928v1 2026-01-21T12:21:02Z

We prove existence and duality on a wide class of metric spaces, and uniqueness results on any connected, complete Riemannian manifold, with or without boundary, for classical Monge--Kantorovich barycenters. In particular, this is the first and only uniqueness result with no restriction on the geometry of the manifold aside from connectedness and completeness. We obtain these via the corresponding results for barycenter problems associated to a new two-parameter family of metrics on probability measures on a general metric fiber bundle, called the $\textit{disintegrated Monge--Kantorovich metrics}$ (previously introduced by the authors).

2026-01-21T12:21:02Z 31 pages. Comments welcome! We have split our previous preprint, 2407.01879, into two parts, with this part addressing barycenter problems Jun Kitagawa Asuka Takatsu http://arxiv.org/abs/2512.14568v2 2026-01-21T11:29:01Z

The aim of this article is twofold. First, we develop a unified framework for viscosity solutions to both first-order Hamilton-Jacobi equations and semilinear Hamilton-Jacobi equations driven by the idiosyncratic operator, defined on the Wasserstein Space. Second, we establish a vanishing-viscosity limit-extending beyond the classical control-theoretic setting-for solutions of semilinear Hamilton-Jacobi equations, proving their convergence to the corresponding first-order solution as the idiosyncratic noise vanishes. Our approach provides an optimal convergence rate. We also present some results of independent interest. These include existence theorems for the first-order equation, obtained through an appropriate Hopf-Lax representation, and a useful description of the action of the idiosyncratic operator on geodesically convex functions.

2025-12-16T16:39:31Z 41 pages Giacomo Ceccherini Silberstein Daniela Tonon http://arxiv.org/abs/2509.19565v2 2026-01-20T22:43:27Z

We describe a unified and computationally tractable framework for finding outliers in, and maximum-diversity subsets of, finite metric spaces of strict negative type. Examples of such spaces include finite subsets of Euclidean space and finite subsets of a sphere without antipodal points. The latter accounts for state-of-the-art text embeddings, and we apply our framework in this context to sketch a hallucination mitigation strategy and separately to a class of path diversity optimization problems with a real-world example.

2025-09-23T20:44:30Z TAG-DS 2025. Fixed bug in proof of Theorem 2 Steve Huntsman http://arxiv.org/abs/2601.14241v1 2026-01-20T18:52:40Z

A general construction of Laakso-type fractal spaces was recently introduced by the first two authors. In this paper, we establish a simple condition characterizing when the Ahlfors regular conformal dimension of a symmetric Laakso-type fractal space is attained. The attaining metrics are constructed explicitly. This gives new examples of attainment and clarifies the possible obstructions.

2026-01-20T18:52:40Z 41 pages, 4 figures. Comments are welcome! Riku Anttila Sylvester Eriksson-Bique Lassi Rainio http://arxiv.org/abs/2601.14231v1 2026-01-20T18:44:06Z

We obtain new topological restrictions for complete Riemannian manifolds with nonnegative Ricci curvature and RCD(0,n) spaces. Our main results are a Betti number rigidity theorem which answers a question open since work of M.-T. Anderson in 1990, and a vanishing theorem for the simplicial volume generalizing a theorem of M. Gromov from 1982. Combining such results we obtain a new proof of the classification of noncompact 3-manifolds with nonnegative Ricci curvature, originally due to G. Liu in 2011, which extends to the synthetic setting.

2026-01-20T18:44:06Z Alessandro Cucinotta Mattia Magnabosco Daniele Semola http://arxiv.org/abs/2601.14058v1 2026-01-20T15:16:15Z

We prove a splitting theorem for Lorentzian pre-length spaces with global non-positive timelike curvature. Additionally, we extend the first variation formula to spaces with any timelike curvature bound, either from above or below, and different from 0.

2026-01-20T15:16:15Z 41 pages, 12 figures Joe Barton Tobias Beran Mauricio Che Sebastian Gieger Jona Röhrig Felix Rott http://arxiv.org/abs/2601.13990v1 2026-01-20T14:05:02Z

Reachability sets of linear switching dynamical systems (systems of ODE with time-dependent matrices that take values from a given compact set) are analysed. An eigenset is a non-trivial compact set M that possesses the following property: the closure of the set of points reachable by trajectories starting in M in time t is equal to exp(at)M. This concept introduced in a recent paper of E.Viscovini is an analogue of an eigenvector for compact sets of matrices. We prove the existence of eigensets, analyse their structure and properties, and find ``eigenvalues'' a for an arbitrary system. The question which compact sets, in particular, which convex sets and polyhedra, can be presented as eigensets of suitable systems, is studied.

2026-01-20T14:05:02Z Vladimir Protasov http://arxiv.org/abs/2601.13937v1 2026-01-20T13:13:34Z

In 2021, Henk, Schymura and Xue introduced packing minima, associated with a convex body and a lattice, as packing counterparts to the covering minima of Kannan and Lovász. Motivated by conjectures on the volume inequalities for the successive minima, we generalized the definition of the packing minima to the class of all convex bodies that contain the origin in their interior. For these packing minima, we presented several novel volume inequalities and calculated the specific values of the packing minima for several special convex bodies.

2026-01-20T13:13:34Z Mei Han Martin Henk Fei Xue http://arxiv.org/abs/2601.13167v1 2026-01-19T15:48:28Z

One of the crucial features of optimal transport on Riemannian manifolds is the equivalence of the `static', original, formulation of the problem and of the `dynamic' one, based on the study of the continuity equation. This furnishes the key link between Wasserstein geometry and PDEs that has found so many applications in the last 20 years. In this paper we investigate this kind of equivalence on spacetimes. At the PDE level, this requires to transition from the continuity equation to a suitable `continuity inequality', to which we shall refer to as `causal continuity inequality'. As a direct consequence of our findings we obtain a Lorentzian version of the celebrated Benamou--Brenier formula.

2026-01-19T15:48:28Z Nicola Gigli Felix Rott Matteo Zanardini http://arxiv.org/abs/2601.13159v1 2026-01-19T15:36:12Z

The paper characterizes the convex hull of the closure of the cone-volume set $C_\cv(U)$, consisting of all cone-volume vectors of polygons with outer unit normals vectors contained in $U$, for any finite set $U \subseteq \R^2, \pos(U) = \R^2$. We prove that this convex hull has finitely many extreme points by providing both a vertex representation as well as a half space representation. As a consequence, we derive new necessary conditions, which depend on $U$, for the existence of solutions to the logarithmic Minkowski problem in $\R^2$.

2026-01-19T15:36:12Z Tom Baumbach