Wasserstein barycenters on metric graphs

2026-06-01T12:04:13Z

In this paper we provide conditions for a Wasserstein barycenter to be absolutely continuous with respect to its Hausdorff measure away from the vertices of the graph. One assumption removed in v2, the result is now optimal.

Generalization of Marion's Theorem: Volumes of Central Polytopes Obtained by Trisecting the Edges of Simplices

2026-06-01T11:16:36Z

The classical Marion's theorem states that the area of the central hexagon obtained by dividing each side of a triangle into three equal parts and connecting the interior division points is exactly $1/10$ of the area of the original triangle. In this paper, the construction is extended to an arbitrary n-dimensional simplex: each edge is divided into three equal parts, and through each n-1 vertices and the two interior division points of the opposite edge, two hyperplanes are drawn. It is shown that the resulting inner polytope has a surprisingly simple volume formula with the volume is $1/C(n,2n+1)$ times the volume of the original simplex. The proof uses a probabilistic interpretation with exponential random variables and reduces the geometric problem to a combinatorial binomial sum.

Transgressing the algebraic coarse character map

2026-06-01T10:33:22Z

We pursue an old conjecture of John Roe about the algebraic K-theory of the algebra of finite propagation, locally trace-class operators, namely that transgressing the algebraic coarse character map on this algebra to a Higson dominated corona coincides with the usual Chern character on the corona.

Self-similar dendrites with finite boundary and P-sprouts

2026-06-01T09:56:47Z

Each self-similar dendrite K with a finite self-similar boundary defines a finite acyclic edge-labeled bipartite graph G, called the sprout of K. The paper shows that the sprout G determines the combinatorial properties of the dendrite K and its topological structure.

An Improved Lower Bound for the Three-Dimensional Blaschke--Lebesgue Problem from Spectral and Dual Perspectives

2026-06-01T06:17:20Z

The Blaschke--Lebesgue problem asks for convex bodies of minimum volume among all convex bodies of prescribed constant width. In the plane, the minimizer is the Reuleaux triangle, whereas the corresponding three-dimensional problem remains open and is also known as Meissner's conjecture. In this paper, we establish the lower bound $(4π/33)d^3 \simeq 0.380799\,d^3$ for the volume of any three-dimensional convex body of constant width d. This improves upon Chakerian's lower bound, approximately $0.364916\,d^3$, although it remains below the volume of the conjectured minimizers, Meissner's tetrahedra, whose volume is approximately $0.419860\,d^3$. The proof is based on a support-function formulation, spectral estimates via spherical harmonics, and Bochner's formula. We also show that the resulting lower bound can be interpreted as a Lagrange dual bound for the associated concave quadratic minimization problem. This dual viewpoint suggests possible routes toward sharper lower bounds.

A Sharp Reverse Minkowski Inequality for the Gaussian Mass of Integral Unimodular Lattices Through Rank $32$

2026-05-31T16:55:52Z

The integer lattice $\mathbb{Z}^n$ is conjectured to maximize the Gaussian mass $Θ_L(t)=\sum_{x\in L}e^{-t\|x\|^2}$ over the set of stable lattices in $\mathbb{R}^n$, for every $t>0$. We prove this sharp inequality for every integral unimodular lattice $L$ of rank $n\leq 32$, with equality only at $L\cong\mathbb{Z}^n$, and furthermore obtain the strict inequality for every even unimodular lattice of rank $40$. The proof does not use the classification of unimodular lattices in these ranks; rather, it parametrizes integral unimodular theta series as polynomials in the modular function $u=Δ_8/\vartheta_3^8\in(0,1/64]$, with the few coefficients that arise controlled by norm-$1$ splitting, ADE root counts, and shadow positivity.

MCS Spaces are CS

2026-05-31T09:37:36Z

In this paper we further develop the theory of MCS spaces. Our main result shows that MCS spaces, as defined by Perelman, are CS sets with respect to their MCS stratification, and that in fact, the intrinsic stratification agrees with the MCS stratification. As a consequence, we improve on Perelman's result and answer affirmatively a question by Fujioka.

Statistical Guarantees for Reasoning Probes on Looped Boolean Circuits

2026-05-31T09:26:13Z

We study the statistical behavior of reasoning probes in a stylized model of iterative computation inspired by neural algorithmic reasoning. The underlying computation is given by a looped Boolean circuit whose graph is a perfect $ν$-ary tree ($ν\ge 2$), with outputs recursively fed back as inputs across computation rounds. A probe observes a sampled subset of internal nodes and seeks to infer the latent operation at each node, represented as a probability distribution over a finite set of admissible Boolean gates. This partial observability induces a transductive generalization problem on a structured computation graph. We show that when the probe is parameterized by a graph convolutional network and queries $N$ nodes, the worst-case generalization error decays at the optimal rate $\mathcal{O}(\sqrt{\log(2/δ)}/\sqrt{N})$ with probability at least $1-δ$. Our analysis combines metric embedding techniques with tools from optimal transport. A key insight is that this rate is achievable independently of the size of the computation graph, enabled by a low-distortion one-dimensional snowflake embedding of the induced graph metric. These results highlight a geometric mechanism underlying statistical efficiency in probing structured, iterative computations.

Integral type Gauss-Green formula on non-collapsed RCD spaces and its applications

2026-05-31T08:59:48Z

We prove an integral type Gauss-Green formula on non-collapsed RCD spaces using the strong locality of the Laplacian and an eigenfunction approximation method. As applications, we generalize Colding's monotonicity formulas and prove an asymptotic formula linking the mean curvature of a hypersurface at a given point to the volume of small balls centered at that point.

Dimension-free estimates for covering functionals of simplices and $\ell_p$ balls

2026-05-31T07:58:54Z

We study $Γ_{2^n}(K)$, the least positive number $γ>0$ such that an $n$-dimensional convex body $K$ can be covered by $2^n$ translates of $γK$. For $n$-simplices $Δ_n$, we prove that $Γ_{2^n}(Δ_n)$, as a sequence in $n$, tends to $1/2$. For the cross-polytope $B_1^n$, we show that $Γ_{2^n}(B_1^n)\leq5/6$ holds for all $n\geq2$, and that $\limsup_{n\to\infty}Γ_{2^n}(B_1^n)\leq0.641\cdots$. Finally, we prove the existence of a constant $κ_*<1$ such that $Γ_{2^n}(B_p^n)\leqκ_*$ for all $n\geq2$ and all $p\in[1,\infty]$.

Determining a Points Configuration from a Subset of the Pairwise Distances

2026-05-31T06:51:37Z

We study rigidity without assuming general position. Given $n$ distinct labelled points and a set $\mathcal{P}\subseteq \binom{[n]}{2}$ of revealed pairs, we ask when the corresponding distances determine the configuration up to isometry. On the line, we prove an extremal result: if $|\mathcal{P}|=Ω(n^{3/2})$, then there is an induced globally rigid subgraph on $Ω(|\mathcal{P}|/n)$ vertices. In other words, any dense enough graph will contain a subset of labels whose locations can be determined from their distances up to isometry. To prove this, we establish a graph-theoretic result, which may be of independent interest: a dense graph in which every non-edge has few common neighbours contains a clique of size $Ω(|E|/n)$. We also study random revealed pairs. For every labelled configuration $V$ of distinct points in $\mathbb{R}$, if each pair is revealed independently with probability $p=C\ln n/n$, where $C>1$, then the revealed distances determine $V$ w.h.p. We prove a similar result for $d\ge1$ under the mild non-degeneracy assumption that every subcollection of more than $τn$ points of $V\subseteq\mathbb R^d$ affinely spans $\mathbb R^d$, for some fixed $0<τ<1$. In this case, every $C>1/(1-τ)$ suffices. The same ideas also settle the weak-threshold form of a conjecture of Girão et al. for a giant reconstructable component, and substantially improve in this direction the work of Barnes et al. establishing such a component for $p>n^{-2/(d+4)}$.

Topological and Diophantine properties of lattice subset projections

2026-05-31T06:10:54Z

Fix $1 \leq n < m, k = m-n.$ The Grassmannian $Gr(n,m)$ is a compact $kn$-dimensional manifold with a unique rotation invariant probability measure $σ_n.$ For $W \in Gr(n,m)$, $P_W : \mathbb R^m \mapsto W$ is orthogonal projection. A lattice subset $L \subset \mathbb Z^m \subset \mathbb R^m$ is called $k$-dense if it intersects $C(O) := \bigcup_{V \in O} V\backslash \{0\}$ for every nonempty open $O \subset Gr(k,m)$. We use Baire's category theorem [4] to prove that $L$ is $k$-dense iff $L_{n,lim} := \{W \in Gr(n,m) : 0 \mbox{ is a limit point of } P_W(L) \}$ is a $G_δ$ set. We use Khintchine-Groshev's theorem [5,13,20] to characterize Diophantine properties of $L_{n,lim}$ by lacunary properties of $L$ and construct $k$-dense $L$ with $σ_n(L_{n,lim}) = 0$ and with $σ_n(L_{n,lim}) = 1.$ We pose related questions about the construction of multidimensional crystalline measures and Fourier quasicrystals.

Cell structure of mediangle graphs

2026-05-30T22:19:41Z

Mediangle graphs are a common generalization of median graphs (1-sekeleta of CAT(0) cube complexes) and Coxeter graphs (Cayley graphs of Coxeter systems). Answering a question motivated from geometric group theory, we show that these graphs can be endowed with the structure of a contractible cell complex. We further show that the cells of this complex are products of simplices and simplicial oriented matroids. A crucial part of the proof identifies bipartite mediangle graphs as tope graphs of finitary Complexes of Oriented Matroids.

Distinguishing finite metric spaces via similarity spectra

2026-05-30T13:48:06Z

We study spectra and characteristic polynomials of similarity matrices associated with finite metric spaces, where the similarity matrix of a finite metric space $X=\{x_1,\dots,x_n\}$ is given by $\displaystyle Z(q)=(q^{d(x_i,x_j)})_{i,j},$ where $d(x_i,x_j)$ denotes the distance between $x_i$ and $x_j$. % We introduce two spectral invariants of finite metric spaces, the $q$-spectrum and the normalized $q$-spectrum, defined respectively from $Z(q)$ and its normalized transition matrix. In the case of graphs, these invariants recover the adjacency spectrum and the Laplacian spectrum in the limit $q\to0$. Our main result shows that the $q$-spectrum determines a large class of finite metric spaces under a natural nondegeneracy condition. We also prove that all four-point metric spaces are determined by their $q$-spectra. % The key observation is that the coefficients of the characteristic polynomial of $Z(q)$ encode cycle structures of the underlying metric space. We further investigate the normalized $q$-spectrum and present computational examples comparing these invariants with classical graph spectra.

Small-Scale Magnitude Below One for Cyclic Two-Chunk Finite Metric Spaces

2026-05-30T12:30:29Z

Motivated by the small-scale viewpoint of Roff and Yoshinaga, we study finite metric spaces whose scaled copies collapse to a single point while their magnitude remembers how the collapse takes place. The limit metric space is geometrically indistinguishable from a point, but the magnitude function can detect differences in the path of collapse. We introduce a four-parameter family of cyclic two-chunk finite metric spaces, compute their magnitude explicitly, and use the formula to construct balanced examples whose small-scale magnitude is less than one. In particular, we exhibit a twelve-point finite metric space satisfying lim_{t -> 0+} Mag(tX) = 44/59 < 1. The guiding question and the terminology around the one-point property come from Leinster's magnitude of finite metric spaces and from Roff--Yoshinaga's work on