$7$-located locally $5$-large complexes are aspherical

2025-09-30T02:16:52Z

We prove that $7$-located locally $5$-large simplicial complexes are aspherical.

Total orders realizable as the distances between two sets of points

2025-09-29T21:57:44Z

In this note we give a negative answer to a question proposed by Almendra-Hernández and Martínez-Sandoval. Let $n\le m$ be positive integers and let $X$ and $Y$ be sets of sizes $n$ and $m$ in $\mathbb{R}^{n-1}$ such that every pair of points in $X\cup Y$ defines a unique distance. There is a natural order on $X\times Y$ induced by the distances between the corresponding points. The question is if all possible orders on $X\times Y$ can be obtained in this way. We show that the answer is negative when $n

An algebraic approach to circle packing

2025-09-29T11:08:50Z

We show that for certain triangulations of surfaces, circle packings realising the triangulation can be found by solving a system of polynomial equations. We also present a similar system of equations for unbranched circle packings. The variables in these equations are associated to corners of triangles in the complex, with equations for interior vertices, edges, faces, and generators of first homology. The vertex equations are generalisations of the Descartes circle theorem, of higher degree but more symmetric than those previously found by the authors. We also provide some connections between the spinorial approach of previous work of the authors, and classical Euclidean geometry.

The causal structure of the c-completion of warped spacetimes

2025-09-29T07:39:56Z

In this work we study the structure of the future causal completion $\hat{M}$ of a globally hyperbolic GRW spacetime $\mathbb{R}\times_αM$ using the novel notion of Lorentzian pre-length spaces. As our main result, we prove that the causal completion of a GRW spacetime is a globally hyperbolic pre-length space provided the chronological topology is Hausdorff.

Magnitude and matrix inequalities

2025-09-29T03:01:38Z

We present several applications of matrix-theoretic inequalities to the magnitude of metric spaces. We first resolve an open problem by showing that the magnitude of any finite metric space of negative type is less than or equal to its cardinality. This is a direct consequence of Styan's matrix inequality involving the Hadamard product of matrices. By related methods we also show a subadditivity property for the magnitude function of negative type compact metric spaces, and prove a convexity property for the magnitude for metrics interpolating in a natural way between two given, comparable metrics on a given set.

Metric Representations of Network Data

2025-09-28T22:17:47Z

Networks are structures that encode relationships between pairs of elements or nodes. However, there is no imposed connection between these relationships, i.e., the relationship between two nodes can be independent of every other one in the network, and need not be defined for every possible pair of nodes. This is not true for metric spaces, where the triangle inequality imposes conditions that must be satisfied by triads of distances in the space, and these distances must be defined for every pair of nodes. In this paper, we study how to project networks into q-metric spaces, a generalization of metric spaces that encompasses a larger class of structured representations. In order to do this, we encode as axioms two intuitively desirable properties of the mentioned projections. We show that there is only one way of projecting networks onto q-metric spaces satisfying these axioms. Moreover, for the special case of (regular) metric spaces, this method boils down to computing the shortest path between every node and, for the case of ultrametric spaces, it coincides with single linkage hierarchical clustering. Furthermore, we show that the projection method satisfies two properties of practical relevance: optimality, which enables its utilization for the efficient estimation of combinatorial optimization problems, and nestedness, which entails consistency of the structure induced when projecting onto different q-metric spaces. Finally, we illustrate how metric projections can be used to efficiently search networks aided by metric trees.

A nonstanadard analysis approach to limit operators and Fredholmness in Roe-like algebras

2025-09-28T16:55:10Z

Let $(X,d)$ be a uniformly locally finite metric space, and $T$ an operator in the uniform Roe algebra $C_u^*(X)$ (or uniform quasi-local algebra $C_{ql}^*(X)$). In this paper, we introduce the concept of limit operators of $T$ on galaxies in the nonstandard extension of $X$, and prove that $T$ is a generalized Fredholm operator with respect to the ghost ideal in $C_u^*(X)$ (or $C_{ql}^*(X)$) if and only if all limit operators on afar galaxies are invertible, and their inverses are uniformly bounded. In particular, if $X$ has Yu's Property A, then $T$ is a Fredholm operator if and only if all limit operators on afar galaxies are invertible. Using techniques in nonstandard analysis, our result strengthens a work of Špakula--Willett \cite{SpW} on the characterization of Fredholmness by using less limit operators.

On the smallest eigenvalues of $3$-colorable graphs

2025-09-28T16:19:54Z

We prove that the set of the smallest eigenvalues attained by $3$-colorable graphs is dense in $(-\infty, -λ^*)$, where $λ^* = ρ^{1/2} + ρ^{-1/2} \approx 2.01980$ and $ρ$ is the positive real root of $x^3 = x + 1$. As a consequence, in the context of spherical two-distance sets, our result precludes any further refinement of the forbidden-subgraph method through the chromatic number of signed graphs.

On Computing the Copositive Minimum and its Representatives

2025-09-28T07:08:38Z

Computing the copositive minimum of a strictly copositive quadratic form is a natural generalization of computing the arithmetical minimum of a positive definite one. In this paper we show that this generalized problem is NP-complete. Moreover, we describe a practical method to calculate all shortest vectors using the LDLT-decomposition in a big class of special cases. Our numerical tests show that our method performs significantly better than previous approaches.

Non-collapsed eGH convergence and dimension

2025-09-26T18:29:22Z

Let $(X_i,p_i)$ be a non-collapsing sequence of pointed $n$-dimensional Riemannian manifolds with a uniform lower Ricci curvature bound, and $G_i \leq \text{Iso} (X_i)$ a sequence of closed subgroups of isometries. We show that if the triples $(X_i, G_i, p_i)$ converge in the equivariant Gromov--Hausdorff sense to a triple $(X,G,p)$, then $\text{dim} (G) \geq \limsup _{i \to \infty} \text{dim} (G_i)$, generalizing a result of Harvey to the non-compact setting. The argument also applies in the non-smooth setting of RCD spaces. As an application, we investigate RCD spaces with large isometry groups, extending results of Galaz-García--Kell--Mondino--Sosa and Galaz-García--Guijarro.

Metrics for Parametric Families of Networks

2025-09-26T16:31:28Z

We introduce a general framework for analyzing data modeled as parameterized families of networks. Building on a Gromov-Wasserstein variant of optimal transport, we define a family of parameterized Gromov-Wasserstein distances for comparing such parametric data, including time-varying metric spaces induced by collective motion, temporally evolving weighted social networks, and random graph models. We establish foundational properties of these distances, showing that they subsume several existing metrics in the literature, and derive theoretical approximation guarantees. In particular, we develop computationally tractable lower bounds and relate them to graph statistics commonly used in random graph theory. Furthermore, we prove that our distances can be consistently approximated in random graph and random metric space settings via empirical estimates from generative models. Finally, we demonstrate the practical utility of our framework through a series of numerical experiments.

Precompactness of domains with lower Ricci curvature bound under Gromov-Hausdorff topology

2025-09-26T13:07:21Z

Based on a quantitative version of the classical Hopf-Rinow theorem in terms of the doubling property, we prove new precompactness principles in the (pointed) Gromov-Hausdorff topology for domains in (maybe incomplete) Riemannian manifolds with a lower Ricci curvature bound, which are applicable to those with weak regularities considered in PDE theory, and the covering spaces of balls naturally appear in the study of local geometry and topology of manifolds with lower curvature bounds. All the new principles are more general than those earlier known for manifolds with smooth boundary, and improves those for manifolds with non-smooth boundary.

Wulff Isoperimetry on Cayley Graphs: Submodular BV, Tempered Følner, and Profile Ratio Bounds

2025-09-26T12:25:26Z

We develop a BV framework on Cayley graphs, which yields a sharp discrete Wulff isoperimetric inequality with the best constant tied to the generating set/stencil $S$, a quantitative $Γ$-convergence of discrete to continuum anisotropic perimeter, and a gauge construction in Heisenberg group that neutralizes shear, yielding an BV+shear identity and scale-sharp compactness. As an application we revisit a question of Gromov (2008) on the ratio between the isoperimetric profile and its greatest nondecreasing minorant. We show that this is uniformly bounded on non-amenable and two-ended groups, and our Wulff inequality and $Γ$-convergence give a constant-tracked proof for virtually nilpotent groups. We isolate a Tempered Følner criterion (TF) (exhaustion principle with controlled increment), which forces bounded ratio in general. We verify (TF) in two families: finite-lamp wreath products over (TF) bases and lamplighters over amenable bases. For semidirect products $\mathbb Z^d\rtimes_A\mathbb Z$ we construct layer-nested sets of logarithmic height that are $A$-covariantly nested, Følner, and satisfy (TF)(ii) with a constant independent of $A\in\mathrm{GL}(d,\mathbb Z)$; and when $A$ is hyperbolic (no eigenvalue on the unit circle) we have full (TF). We also formulate ``gap conjectures'' that would settle the question for all amenable Cayley graphs. The BV viewpoint has spectral and analytic consequences: we derive constant-tracked Cheeger-type, Faber-Krahn, Nash inequalities, etc. The (TF) control further yields a tempered Property A, leading to explicit coarse embeddings into Hilbert space with compression $ρ(t) \gtrsim t^{1/2}/\log t$. Finally, we show that (TF) is a robust reflection of bi-equivariant geometry, and in virtually nilpotent classes this \emph{doubles} the sharp Wulff constant asymptotically-refining and answering another question of Gromov.

Distinct dimensions for attractors of bi-Lipschitz iterated function systems

2025-09-26T09:05:53Z

In this paper, we construct an iterated function system on the line consisting of two bi-Lipschitz contractions whose attractor has distinct lower, Hausdorff, lower box, upper box, and Assouad dimensions, thereby providing negative answers to certain folklore questions. Furthermore, as a by-product of our study of bi-Lipschitz IFSs, we construct IFSs within this family that exhibit interesting fractal behaviour. In particular, we prove the following two statements: (i) There exists a bi-Lipschitz IFS for which the pushforward of any ergodic measure with positive entropy is not exact dimensional; (ii) There exists a bi-Lipschitz IFS whose attractor has empty interior yet positive Lebesgue measure.

Flips in Two-dimensional Hypertriangulations

2025-09-25T22:34:18Z

We study flips in hypertriangulations of planar points sets. Here a level-$k$ hypertriangulation of $n$ points in the planes is a subdivision induced by the projection of a $k$-hypersimplex, which is the convex hull of the barycenters of the $(k-1)$-dimensional faces of the standard $(n-1)$-simplex. In particular, we introduce four types of flips and prove that the level-2 hypertriangulations are connected by these flips.