https://arxiv.org/api/g1cdRnETBjBxzJIF4weGsUhoQPU 2026-06-14T03:58:26Z 13040 225 15 http://arxiv.org/abs/2604.27291v2 2026-05-06T11:55:42Z

In this paper we provide a geometric condition satisfied by certain closed subsets of the Riemann sphere which implies that their hyperbolic convex hulls in $\mathbb{H}^3$ have infinite volume. As a corollary, we characterize continua in the Riemann sphere whose hyperbolic convex hulls have infinite volume, answering a question of Danny Calegari. Furthermore, we give a geometric characterization of planar self-similar sets whose hyperbolic convex hulls have infinite volume.

2026-04-30T01:10:33Z 12 pages, 3 figures Cameron MacMahon http://arxiv.org/abs/2605.04398v1 2026-05-06T01:42:25Z

Let $K$ be a convex body in an affine chart of the $n$ dimensional real Projective space $\mathbb{RP}^n$, $n \geq 3$, let $H$ be a hyperplane which is not a support hyperplane of $K$ and let $p_1,p_2 \in \mathbb{RP}^n \setminus H$ be two distinct interior points of $K$. In this work we prove that if for every $(n-2)$-plane $l \subset H$, there exists a harmonic homology, with plane $G$ and center $τ$, such that $l\subset G$, $τ\in H$ and which maps the hypersection of $K$ defined by aff$\{p_1, l\}$ onto the hypersection of $K$ defined by aff$\{p_2, l\}$, then $K$ is an ellipsoid.

2026-05-06T01:42:25Z Efrén Morales-Amaya http://arxiv.org/abs/2605.04183v1 2026-05-05T18:24:10Z

We investigate the convex-body containment problem $\max\{s >0 : s Z \subseteq Q\}$, where the outer body $Q \subseteq \mathbb R^d$ is described by a membership oracle and the inner body $Z \subseteq \mathbb R^d$ is a zonotope. Our main result is a sampling-based $O(\sqrt{d})$-approximation algorithm for this problem that almost matches the lower bound of $Ω(\sqrt{d/\log d})$ by Khot and Naor in the oracle model. Assuming zonotopes can be sparsified by a linear number of generators, which is referred to as Talagrand conjecture, our approach attains the optimal approximation factor of $Θ(\sqrt{d/\log d})$. Our second main result is a proof of Talagrand's conjecture for $Δ$-modular zonotopes whenever $Δ$ is constant. Those zonotopes are of the form $Z = \{ Wx \colon \| x\|_\infty \leq 1\}$ where the non-zero $d \times d$ sub-determinants of $W$ are between $1$ and $Δ$. This result establishes a connection between zonoid sparsification and spectral sparsification of Batson, Spielman and Srivastava. We complement these results with a universal $Ω(\sqrt{d/\log d})$ lower bound holding for all zonotopes. Finally, we consider containment problems $\max\{s >0 : s K \subseteq Q\}$, for general convex bodies $K \subseteq \mathbb R^d$. A result of Naszódi on approximating $K \subseteq \mathbb R^d$ by a polytope implies a $Θ(d/\log d)$ approximation algorithm in polynomial time. We show the tightness of this approximation factor in the oracle model via a reduction to the circumradius computation. Our lower bound holds for centrally symmetric convex sets, implying that Barvinok's optimal $O(\sqrt{d})$-approximation of a centrally symmetric convex body by a polytope with a polynomial number of vertices cannot be computed in polynomial time.

2026-05-05T18:24:10Z Friedrich Eisenbrand Thomas Rothvoss Matteo Russo Ruben Skorupinski http://arxiv.org/abs/2605.03990v1 2026-05-05T17:11:33Z

We prove that for any self-affine dendrite K generated by a polygonal system, there are constants C>0 and $λ\in(0, 1)$ such that for any x, y in K, the Jordan arc $γ$ in K with endpoints x, y satisfies the inequality $diam(γ)\le C |x-y|^λ$.

2026-05-05T17:11:33Z 7 pages, 2 figures Andrei Tetenov Ivan Yudin Dilmurat Kutlimuratov http://arxiv.org/abs/2604.17599v2 2026-05-05T17:03:05Z

In 1979, Schoen and Yau proved their famous Positive Mass Theorem which is a combination of a comparison theorem: {\em a three dimensional asymptotically flat Riemannian manifold with nonnegative scalar curvature has nonnegative ADM mass}, and a rigidity theorem: {\em if such a manifold has zero ADM mass then it is isometric to Euclidean space}. Here we review results and open questions on the geometric stability of their zero mass rigidity theorem: {\em if such a manifold has almost zero mass, how close is its geometry to that of Euclidean space}? We review the geometry of these spaces, examples of sequences of such spaces with mass approaching zero, and a variety of geometric notions of convergence. Although there has been much progress, it is still an open question (even in dimension three): exactly which geometric notion of convergence works best to capture the geometric stability of this famous rigidity theorem.

2026-04-19T20:19:18Z v2: minor fixes following referee report including additional citations Christina Sormani http://arxiv.org/abs/2605.03955v1 2026-05-05T16:38:53Z

We prove a generalization of the Maz'ya-Shaposhnikova formula in the case $p=2$ for functions that may not belong to ${L^2}(\mathbb{R}^d)$ and, thus, might not vanish at infinity. By introducing a notion of mass at infinity, we explicitly characterize the limit as $s\to0^+$ of Gagliardo seminorms localized on a bounded Lipschitz domain $Ω$. By `localized', we mean here that we account only for interactions involving at least one point in $Ω$. The identified limiting functional provides a unifying framework to link the classical Maz'ya-Shaposhnikova formula and the asymptotics of nonlocal perimeters. On the one hand, it reduces to the classical $L^2$ norm for functions that are globally integrable on $\mathbb{R}^d$. On the other hand, it recovers the pointwise limit of $s$-fractional perimeters when evaluated on characteristic functions of sets. We further show that the same functional encodes the asymptotic behavior of Gagliardo seminorms in the sense of Gamma-convergence with respect to the weak-$L^2$ topology. Finally, we provide an extension to the setting of metric measure spaces.

2026-05-05T16:38:53Z Elisa Davoli Alberto Fanizza Marco Picerni http://arxiv.org/abs/2605.03797v1 2026-05-05T14:25:23Z

We develop a functional extension of an extremal principle by Schneider (Monatsh. Math., 1967) by introducing generalized outer linearizations of convex functions. Given a coercive convex function on $\mathbb{R}^n$, a generalized outer linearization is defined as a convex minorant represented by a general but function-dependent set of slopes, thereby extending classical outer representations of convex bodies by supporting halfspaces. This representation converts geometric outer approximations by supporting halfspaces into functional approximations by supporting affine functions, and replaces outer normal data by a dual sampling problem in the domain of the Legendre--Fenchel transform. On a standard class of coercive convex functions, we derive a general extremal principle, showing that the rotational epi-symmetrization maximizes best approximations under outer linearizations of any monotone, concave functional that is upper semicontinuous with respect to epi-convergence. A central feature of the analysis is that it is carried out in the natural class of coercive, but not necessarily super-coercive, convex functions. Working in this setting introduces intricate topological and variational difficulties, which are addressed using refined duality and epi-convergence arguments. As an application of our main results, we derive a functional version of Urysohn's inequality, as well as an analytic extension of a classical covering result of Firey and Groemer (J. London Math. Soc., 1964). Finally, we prove an extremal inequality related to the piecewise affine approximation of convex functions.

2026-05-05T14:25:23Z 37 pages Steven Hoehner Fabian Mussnig http://arxiv.org/abs/2605.03681v1 2026-05-05T12:20:30Z

We compute the magnitude (an isometric invariant of metric spaces) of compact $\mathbb{R}$-trees and show that it equals $1 + L/2$, where $L \in [0, \infty]$ denotes the total length. Although length is the only geometric invariant captured by magnitude, we show that diversity-maximizing measures on compact $\mathbb{R}$-trees are more sensitive to the branching structure as they tend to be more concentrated toward the leaves: their support contains no branch points. In the finite case, we further show that maximum diversity on a weighted tree can be computed in polynomial time.

2026-05-05T12:20:30Z Philippe Bouafia http://arxiv.org/abs/2605.03484v1 2026-05-05T08:20:08Z

We provide sufficient conditions for quantitative convergence of the iterates of proximal splitting algorithms for minimizing a sum of functions on a metric space. The theory does not assume that the functions have common minima, nor does it require vanishing proximal parameters or step sizes. Our results are stated for general $p$-uniformly convex spaces with curvature bounded above, and a corollary specializes the main theorem to Hadamard spaces, where many assumptions for the more general setting can be dropped. The theory is demonstrated with computation of Fréchet means in the space of SPD matrices with the affine invariant metric (a Hadamard space) and the sphere with the usual geodesic metric (a CAT($κ$) metric space).

2026-05-05T08:20:08Z 26 pages, 2 figures, 43 references D. Russell Luke Mahshid Mirhashemi http://arxiv.org/abs/2605.03350v1 2026-05-05T04:11:28Z

This paper develops a form of finite knot theory as a diagrammatic sequel to the ideal-stratum and deformation-persistence framework for knot types. Thick representatives in bounded ropelength sublevel spaces are studied through the finite Reidemeister data visible in generic projections. For each projection direction $u$, we introduce the ropelength-filtered lifted Reidemeister graphs $\mathcal{G}^{\mathrm{lift}}_{Λ,u}(K)$, for $Λ\ge \mathrm{Rop}(K)$, recording diagram data and Reidemeister moves that lift to admissible thick deformations below the ropelength level $Λ$. Using the finite-local reconstruction theorem of Barbensi--Celoria, we define characteristic Reidemeister patterns and the finite recognition length $L_{\mathrm{char},u}(K)$, the first ropelength scale at which a finite pattern recognizing $K$, up to mirroring, appears in the lifted graph. The finite-local graph-theoretic part is unconditional; finite-dimensional and polygonal models provide controlled settings; the corresponding statements for the full $C^{1,1}$ ropelength-sublevel space are conditional on explicitly isolated projection--Cerf tameness and coherent finite-pattern thick-movie liftability hypotheses.

2026-05-05T04:11:28Z Makoto Ozawa http://arxiv.org/abs/2605.03332v1 2026-05-05T03:50:18Z

Given a complete doubling metric measure space $X$ that supports a $2$-Poincaré inequality, we approximate harmonic functions on a bounded domain $Ω$ with a prescribed Newton-Sobolev boundary data. Our approach is based on the approximation of the underlying space $X$ by a family of graphs. This approximated harmonic function is realized as the weak limit of a sequence of functions obtained from the graph minimizers. We prove that such a function is a minimizer with respect to a nonlinear energy form on $N^{1,2}_0(Ω)$, which is in turn, majorized by the upper gradient energy on $N^{1,2}(X)$. This energy form on $N^{1,2}_0(Ω)$ is obtained as a $Γ$-limit of a sequence of induced energy forms projected from the discrete energy form on the approximating graphs.

2026-05-05T03:50:18Z 20 pages Almaz Butaev Liangbing Luo Nageswari Shanmugalingam http://arxiv.org/abs/2605.03172v1 2026-05-04T21:32:28Z

We investigate the stability of timelike Ricci curvature lower bounds under low-regularity limits of Lorentzian metrics. Specifically, we prove that the synthetic curvature-dimension condition $TCD^e_p(K,N)$, which provides an optimal transport formulation of the Hawking-Penrose strong energy condition, is stable under locally uniform convergence of smooth Lorentzian metrics, provided a uniform global hyperbolicity assumption holds. As a consequence, smooth locally uniform limits of vacuum spacetimes satisfy the strong energy condition, even though curvature is not controlled a priori. As a main application, we study impulsive gravitational waves - spacetimes with Lipschitz continuous metrics - and show that large classes of such waves satisfy synthetic timelike Ricci curvature lower bounds. In the case of Minkowski background, we further establish synthetic upper Ricci curvature bounds. Our approach relies on constructing suitable smooth approximations with lower bounds on the timelike Ricci, and analyzing the limiting behavior via Lorentzian optimal transport. These results yield new geometric insights into low-regularity solutions of the Einstein equations and, in particular, provide a counterexample to the extension of the Eschenburg-Galloway-Newman Lorentzian splitting theorem to infinitesimally Minkowskian $TCD^e_p(0,N)$ Lorentzian length spaces. Moreover, our construction shows that a direct Lorentzian analogue of the Cheeger-Colding almost splitting theorem - under assumptions of almost non-negative timelike Ricci curvature and the existence of an almost maximizing line - cannot hold. This highlights a fundamental difference between the geometry of Riemannian and Lorentzian lower Ricci curvature bounds. We also apply the aforementioned stability theorem to weak solutions of the Einstein equations arising from the nonlinear interaction of impulsive gravitational waves.

2026-05-04T21:32:28Z 91 pages, 1 figure Andrea Mondino Vanessa Ryborz Clemens Sämann http://arxiv.org/abs/2604.03609v2 2026-05-04T19:22:44Z

We classify triangles that can be tiled only into a square number of congruent triangles, settling Erdős Problem 633.

2026-04-04T06:48:14Z 30 pages, 19 figures Michael Beeson Miklos Laczkovich Yan X. Zhang http://arxiv.org/abs/2605.03040v1 2026-05-04T18:07:05Z

We show that finitely presented groups which admit $k$-planar Cayley graphs contain finite-index subgroups with planar Cayley graphs. More generally, we answer a question of Georgakopoulos and Papasoglu in the special case of coarsely simply connected graphs: a $k$-planar, coarsely simply connected, connected, locally finite, quasi-transitive graph is quasi-isometric to a planar graph.

2026-05-04T18:07:05Z 26 pages, 4 figures. Comments welcome! John M. Mackay Joseph P. MacManus Davide Spriano http://arxiv.org/abs/1206.1974v7 2026-05-04T16:24:41Z

An N-tiling of triangle ABC by triangle T is a way of writing ABC as a union of N triangles congruent to T, overlapping only at their boundaries. The triangle T is the "tile". The tile may or may not be similar to ABC. In this paper we study the case of isosceles (but not equilateral) ABC. We study three possible forms of the tile: right-angled, or with one angle double another, or with a 120 degree angle. In the case of a right-angled tile, we give a complete characterization of the tilings, and prove that N must be even. In the latter two cases we prove the ratios of the sides of the tile are rational, and give a necessary condition for the existence of an N-tiling. For the case when the tile has one angle double another, we prove N cannot be prime or even squarefree.

2012-06-09T21:02:54Z 61 pages, 25 figures. This version is the final pre-publication version. It will appear in "Integers" Michael Beeson