https://arxiv.org/api/xdqWC5ONl83Rut2M5KMs/Gd4B3I 2026-06-25T21:45:08Z 13088 1440 15 http://arxiv.org/abs/2407.18577v2 2025-07-24T09:33:02Z

The Einstein universe $\mathbf{Ein}^{p,q}$ of signature $(p,q)$ is a pseudo-Riemannian analogue of the conformal sphere; it is the conformal compactification of the pseudo-Riemannian Minkowski space. For $p,q \geq 1$, we show that, up to a conformal transformation, there is only one almost-homogeneous domain in $\mathbf{Ein}^{p,q}$ that is bounded in a suitable stereographic projection. This domain, which we call a diamond, is a model for the symmetric space of $\operatorname{PO}(p,1) \times \operatorname{PO}(1,q)$. We deduce a classification of closed conformally flat manifolds with proper development.

2024-07-26T08:00:50Z Adam Chalumeau IRMA Blandine Galiay IHES http://arxiv.org/abs/2408.04877v2 2025-07-24T08:10:43Z

The discrete Laplacian on Euclidean triangulated surfaces is a well-established notion. We introduce discrete Laplacians on spherical and hyperbolic triangulated surfaces. On the one hand, our definitions are close to the Euclidean one in that the edge weights contain the cotangents of certain combinations of angles and are non-negative if and only if the triangulation is Delaunay. On the other hand, these discretizations are structure-preserving in several respects. We prove that the area of a convex polyhedron can be written in terms of the discrete spherical Laplacian of the support function, whose expression is the same as the area of a smooth convex body in terms of the usual spherical Laplacian. We show that the conformal factors of discrete conformal vector fields on a triangulated surface of curvature $k \in \{-1,1\}$ are $-2k$-eigenfunctions of our discrete Laplacians, exactly as in the smooth setting. The discrete conformality can be understood here both in the sense of the vertex scaling and in the sense of circle patterns. Finally, we connect the $-2k$-eigenfunctions to infinitesimal isometric deformations of a polyhedron inscribed into corresponding quadrics.

2024-08-09T05:46:36Z 28 pages, 5 figures J. London Math. Soc. (2025) Ivan Izmestiev Wai Yeung Lam 10.1112/jlms.70235 http://arxiv.org/abs/2507.17994v1 2025-07-24T00:02:29Z

Chromatic metric pairs consist of a metric space and a coloring function partitioning a subset thereof into various colors. It is a natural extension of the notion of chromatic point sets studied in chromatic topological data analysis. A useful tool in the field is the six-pack, a collection of six persistence diagrams, summarizing homological information about how the colored subsets interact. We introduce a suitable generalization of the Gromov-Hausdorff distance to compare chromatic metric pairs. We show some basic properties and validate this definition by obtaining the stability of the six-pack with respect to that distance. We conclude by discussing its restriction to metric pairs and its role in the stability of the Čech persistence diagrams.

2025-07-24T00:02:29Z Ondřej Draganov Sophie Rosenmeier Nicolò Zava http://arxiv.org/abs/2507.17557v1 2025-07-23T14:49:02Z

In this paper, we give a short and self-contained proof to a 1991 conjecture by Moore concerning the structure of certain finite-dimensional Gromov--Hausdorff limits, in the ANR setting. As a consequence, one easily characterizes finite dimensional limits of PL-able or Riemannian $n$-manifolds with a uniform contractibility function. For example, one can define for any compact connected metric space that is a resolvable ANR homology manifold of covering dimension at least 5, an obstruction, which vanishes if and only if the homology manifold can be approximated in the Gromov--Hausdorff sense by PL-manifolds of the same dimension and with a uniform contractibility function. Further, it provides short proofs to certain well known results by reducing them to problems in Bing topology. We also give another proof using more classical arguments that yield more structural information. We give several applications to the theory of homology manifolds, Alexandrov spaces, Wasserstein spaces and a generalized form of the diffeomorphism stability conjecture.

2025-07-23T14:49:02Z Mohammad Alattar Lewis Tadman http://arxiv.org/abs/2507.17549v1 2025-07-23T14:28:33Z

We put Darboux's porism on folding of quadrilaterals, as well as closely related Bottema's zigzag porism, in the context of Arnold-Liouville integrability.

2025-07-23T14:28:33Z 5 pages, 7 figures, accepted to Arnold Mathematical Journal Anton Izosimov http://arxiv.org/abs/2401.01799v4 2025-07-23T11:58:29Z

Lattices with minimal normalized second moments are designed using a new numerical optimization algorithm. Starting from a random lower-triangular generator matrix and applying stochastic gradient descent, all elements are updated towards the negative gradient, which makes it the most efficient algorithm proposed so far for this purpose. A graphical illustration of the theta series, called theta image, is introduced and shown to be a powerful tool for converting numerical lattice representations into their underlying exact forms. As a proof of concept, optimized lattices are designed in dimensions up to 16. In all dimensions, the algorithm converges to either the previously best known lattice or a better one. The dual of the 15-dimensional laminated lattice is conjectured to be optimal in its dimension and its exact normalized second moment is computed.

2024-01-03T15:56:37Z Erik Agrell Daniel Pook-Kolb Bruce Allen 10.1109/TIT.2025.3565218 http://arxiv.org/abs/2408.04044v2 2025-07-22T20:27:11Z

A $\textit{spherical $t$-design curve}$ was defined by Ehler and Gröchenig to be a continuous, piecewise smooth, closed curve on the sphere with finitely many self-intersections whose associated line integral applied to any polynomial of degree at most $t$ evaluates to the average of this polynomial on the sphere. These authors posed the problem of proving that there exist sequences $(γ_t)_{t=0}^\infty$ of $t$-design curves on $S^d$ of asymptotically optimal length $\ell(γ_t)\asymp t^{d-1}$ as $t\to\infty$ and solved this problem for $d=2$. This work solves the problem for $d=3$ by proving that there exists a constant $\mathscr C>0$ such that for any $C\geq\mathscr C$ and $t\in\Bbb N_+$, there exists a simple $t$-design curve on $S^3$ of length $Ct^2$.

2024-08-07T18:52:10Z 13 pages, 2 figures. Typos fixed, figures added, content streamlined Ayodeji Lindblad http://arxiv.org/abs/2308.03889v2 2025-07-22T19:50:25Z

The Borsuk conjecture and the Vázsonyi problem are two attractive and famous questions in discrete and combinatorial geometry, both based on the notion of diameter of a bounded sets. In this paper, we present an equivalence between the critical sets with Borsuk number 4 in $\mathbb{R}^3$ and the minimal structures for the Vázsonyi problem by using the well-known Reuleaux polyhedra. The latter lead to a full characterization of all finite sets in $\mathbb{R}^3$ with Borsuk number 4. The proof of such equivalence needs various ingredients, in particular, we proved a conjecture dealing with strongly critical configuration for the Vázsonyi problem and showed that the diameter graph arising from involutive polyhedra is vertex (and edge) 4-critical.

2023-08-07T19:40:16Z European Journal of Combinatorics 2025 Gyivan Lopez-Campos Deborah Oliveros Jorge L. Ramírez Alfonsín 10.1016/j.ejc.2025.104215 http://arxiv.org/abs/2507.16705v1 2025-07-22T15:40:55Z

Given a probability measure on the unit disk, we study the problem of deciding whether, for some threshold probability, this measure is supported near a real algebraic variety of given dimension and bounded degree. We call this "testing the variety hypothesis". We prove an upper bound on the so-called "sample complexity" of this problem and show how it can be reduced to a semialgebraic decision problem. This is done by studying in a quantitative way the Hausdorff geometry of the space of real algebraic varieties of a given dimension and degree.

2025-07-22T15:40:55Z A. Lerario P. Roos Hoefgeest M. Scolamiero A. Tamai http://arxiv.org/abs/2403.00392v2 2025-07-22T13:04:51Z

For a given graph whose edges are labeled with general real numbers, we consider the set of functions from the vertex set into the Euclidean plane such that the distance between the images of neighbouring vertices is equal to the corresponding edge label. This set of functions can be expressed as the zero set of quadratic polynomials and our main result characterizes the number of complex irreducible components of this zero set in terms of combinatorial properties of the graph. In case the complex components are three-dimensional, then the graph is minimally rigid and the component number is a well-known invariant from rigidity theory. If the components are four-dimensional, then they correspond to one-dimensional coupler curves of flexible planar mechanisms. As an application, we characterize the degree of irreducible components of such coupler curves combinatorially.

2024-03-01T09:26:41Z Niels Lubbes Mehdi Makhul Josef Schicho Audie Warren http://arxiv.org/abs/2506.19043v2 2025-07-21T15:29:10Z

We systematically investigate cocycle superrigidity in the setting of finite rank median spaces for product groups and Kazhdan groups. By employing a dynamical approach to superrigidity, we establish, for a median space X of finite rank, the superrigidity of Isom(X)-valued cocycles for a product of locally compact second countable groups. In the case of actions by irreducible lattices in such product groups, this approach yields a novel proof of the superrigidity of homomorphisms.

2025-06-23T19:01:12Z Biao Ma Lamine Messaci http://arxiv.org/abs/2501.11445v2 2025-07-21T11:11:25Z

In a recent paper, Aldous, Blanc and Curien asked which distributions can be expressed as the distance between two independent random variables on some separable measured metric space. We show that every nonnegative discrete distribution whose support contains $0$ arises in this way, as well as a class of finitely supported distributions with density.

2025-01-20T12:31:08Z 10 pages, 2 figures. To appear in Annales Henri Lebesgue Renan Gross http://arxiv.org/abs/2407.18747v2 2025-07-21T10:25:53Z

We show that, inside the Shilov boundary of any given Hermitian symmetric space of tube type, there is, up to isomorphism, only one proper domain such that every point on its boundary belongs to the closure of an orbit under its automorphism group. This gives a classification of all closed proper manifolds locally modelled on such Shilov boundaries, and provides a positive answer, in the case of flag manifolds admitting a $Θ$-positive structure, to a rigidity question of Limbeek and Zimmer.

2024-07-26T14:03:05Z 39 pages, 3 figures Blandine Galiay http://arxiv.org/abs/2504.13571v5 2025-07-20T15:37:43Z

The Figiel-Lindenstrauss-Milman inequality is a fundamental inequality in the combinatorial theory of polytopes. It is classically obtained as a corollary of Milman's version of Dvoretzky's theorem. The goal of this paper is to provide a short and elementary proof of this inequality, derive more general versions of it, and discuss its tightness, where much is not known.

2025-04-18T09:12:35Z Tomer Milo http://arxiv.org/abs/2503.09542v3 2025-07-20T09:11:12Z

In 1959, Marcus and Ree proved that any bistochastic matrix $A$ satisfies $Δ_n(A):= \max_{σ\in S_n}\sum_{i=1}^{n}A(i, σ(i))-\sum_{i, j=1}^n A(i, j)^2 \geq 0$. Erdős asked to characterize the bistochastic matrices satisfying $Δ_n(A)=0$. This problem remains largely open, and very recently, a complete list of such matrices was obtained in dimension $n=3$ by Bouthat, Mashreghi, and Morneau-Guérin. Soon after, Tripathi proved that there were only finitely many such matrices in any dimension $n$. In this paper, we continue the investigation initiated in these two works. We characterize all $4\times 4$ bistochastic matrices satisfying $Δ_4(A)=0$. Furthermore, we show that for $n\geq 3$, $Δ_n(A)=α$ has uncountably many solutions when $α\in (0, (n-1)/4)$. This answers a question raised in [Tripathi, R., $\textit{Some observations on Erdős matrices}$, Linear Algebra and Its Applications 708 (2025)]. We also extend the Marcus\unicode{x2013}Ree inequality to infinite bistochastic arrays and bistochastic kernels. Our investigation into $4\times 4$ Erdős matrices also leads to several intriguing questions of independent interest. We propose several questions and conjectures and present numerical evidence for them.

2025-03-12T16:59:29Z 20 pages + appendix (2 pages); 3 tables; Minor changes to improve readability and correction of typos; This is the accepted version in Linear Algebra and its Applications Linear Algebra and its Applications 725 (2025), p. 223-247 Aman Kushwaha Raghavendra Tripathi 10.1016/j.laa.2025.07.012