A synthetic Gannon-Lee incompleteness theorem

2026-02-15T17:39:04Z

We prove the Gannon-Lee incompleteness theorem for globally hyperbolic spacetimes. We assume the synthetic null energy condition of Ketterer and a trappedness condition we call "synthetically asymptotically regular". Our result generalizes this classical result to the weighted case. It also motivates and indicates extensions to low regularity, which are deferred to future work.

Symmetrizations of Ball-Bodies

2026-02-15T10:42:15Z

We study symmetrization procedures within the class $\mathcal S_n$ of \emph{ball-bodies}, i.e.\ intersections of unit Euclidean balls (equivalently, summands of the Euclidean unit ball, or $c$-convex sets via the $c$-duality $A\mapsto A^c$). We first examine linear parameter systems obtained by replacing the usual convex hull by the $c$-hull $A^{cc}$, deriving consequences for volume along these $c$-paths. In particular, we obtain convexity statements in special cases and in dimension $2$, and we show by example that such convexity fails in general for $n\ge 3$. We then focus on Steiner symmetrization. We prove that Steiner symmetrization increases the \emph{dual volume} and that in the planar case Steiner symmetrals of ball-bodies remain ball-bodies. In contrast, we provide an explicit example in $\RR^3$ showing that the Steiner symmetral of a ball-body need not belong to $\mathcal S_n$, and show that there are such counter-examples with arbitrarily large curvatures.

Rotation groups, mediangle graphs, and periagroups: a unified point of view on Coxeter groups and graph products of groups

2026-02-15T07:29:45Z

In this article, we introduce rotation groups as a common generalisation of Coxeter groups and graph products of groups (including right-angled Artin groups). We characterise algebraically these groups by presentations (periagroups) and we propose a combinatorial geometry (mediangle graphs) to study them. As an application, we give natural and unified proofs for several results that hold for both Coxeter groups and graph products of groups.

Affine chord Sobolev inequalities and radial mean bodies for functions

2026-02-14T20:43:58Z

Affine isoperimetric inequalities for the functional radial mean bodies are derived from the new affine chord Sobolev inequalities, which extend the recent affine isoperimetric inequalities of Haddad and Ludwig from convex bodies to functions. The affine chord Sobolev inequalities further imply a strengthening of the Euclidean chord Sobolev inequalities introduced by Baêta and Cai. Moreover, for $s$-concave functions $f$ with compact support and $s>0$, a parameter-dependent monotonicity property of the functional radial mean body $R_αf$ is obtained: $R_αf \subset $R_βf$ for $-1<α< β$, and, after suitable normalization, the reverse inclusion also holds. These sharp results generalize the corresponding monotonicity for geometric radial mean bodies established by Gardner and Zhang.

Asymptotics of the quantization problem on metric measure spaces

2026-02-14T08:56:51Z

The problem of quantization of measures looks for best approximations of probability measures on a metric space by discrete measures supported on $N$ points, where the error of approximation is measured with respect to the Wasserstein distance. Zador's theorem states that, for measures on $\mathbb{R}^d$ or $d$-dimensional Riemannian manifolds satisfying appropriate integrability conditions, the quantization error decays to zero as $N \to \infty$ at the rate $N^{-1/d}$. In this paper, we provide a general treatment of the asymptotics of quantization on metric measure spaces $(X, ν)$. We show that a weaker version of Zador's theorem involving the Hausdorff densities of $ν$ holds also in this general setting. We also prove Zador's theorem in full for appropriate $m$-rectifiable measures on Euclidean space, answering a conjecture by Graf and Luschgy in the affirmative. For both results, the higher integrability conditions of Zador's theorem are replaced with a general notion of $(p,s)$-quantizability, which follows from Pierce-type (non-asymptotic) upper bounds on the quantization error, and we also prove multiple such bounds at the level of metric measure spaces.

Disintegrated optimal transport for metric fiber bundles

2026-02-14T07:01:11Z

We define a new two-parameter family of metrics on subsets of Borel probability measures on general metric fiber bundles, called the $ \textit{disintegrated Monge--Kantorovich metrics}$. This family contains the classical Monge-Kantorovich metrics, linearized optimal transport distance, and fibered Wasserstein distances, and certain cases admit isometric embeddings of the sliced and max-sliced Wasserstein spaces. We prove these metrics are complete, separable (except an endpoint case), and geodesic, with a dual representation. Our results cannot be obtained by applying the theory of $L^q$ maps valued in spaces of probability measures, in fact the $L^q$ map case can be recovered from our results by taking the underlying bundle as a trivial product bundle, and the geodesicness and duality results are new even in the fibered Wasserstein case.

Optimal Frames for Phase Retrieval from Edge Vectors of Optimal Polygons

2026-02-14T04:44:14Z

This paper aims to characterize the optimal frame for phase retrieval, defined as the frame whose condition number for phase retrieval attains its minimal value. In the context of the two-dimensional real case, we reveal the connection between optimal frames for phase retrieval and the perimeter-maximizing isodiametric problem, originally proposed by Reinhardt in 1922. Our work establishes that every optimal solution to the perimeter-maximizing isodiametric problem inherently leads to an optimal frame in ${\mathbb R}^2$. By recasting the optimal polygons problem as one concerning the discrepancy of roots of unity, we characterize all optimal polygons. Building upon this connection, we then characterize all optimal frames with $m$ vectors in ${\mathbb R}^2$ for phase retrieval when $m \geq 3$ has an odd factor. As a key corollary, we show that the harmonic frame $E_m \subset {\mathbb R}^2$ is {\em not} optimal for any even integer $m \geq 4$. This finding disproves a conjecture proposed by Xia, Xu, and Xu [{\em Math. Comp.}, 94 (2025), pp.~2931--2960]. Previous work has established that $E_m$ is indeed optimal when $m$ is an odd integer.

Submanifolds of class $C^{1,α}$ and sets with positive $μ$-reach

2026-02-13T15:09:38Z

It is well-known since the seminal work of Herbert Federer [Trans. of the AMS, 1959] that submanifolds of class $C^{1,1}$ have positive reach. In this paper, we extend this property to less regular submanifolds by using the notion of $μ$-reach that was introduced in the 2000's. We first show that every compact $C^1$ submanifold of the Euclidean space $\E^n$ has positive $μ$-reach for all $μ<1$. We then show that intermediate regularities $C^{1,α}$ induce more quantitative results on the norm $\|\nabla \d_M\|$ of the generalized gradient of the distance function~$\d_M$ to the submanifold. More precisely, if $M\subset \E^n$ is a submanifold of class $C^{1,α}$, with $α<1$, then there exists a constant $C>0$ such that $$\forall p\in\E^n\setminus M,\quad 1 - \| \nabla \d_M(p) \|^2 \leq C ~ \d_M(p)^{\frac{2 α}{1- α}}.$$ We finally show that the exponent $2α/(1-α)$ in this estimate is sharp.

Spacetime Quasicrystals

2026-02-12T17:03:34Z

Self-similar quasicrystals (like the famous Penrose and Ammann-Beenker tilings) are exceptional geometric structures in which long-range order, quasiperiodicity, non-crystallographic orientational symmetry, and discrete scale invariance are tightly interwoven in a beautiful way. In this paper, we show how such structures may be generalized from Euclidean space to Minkowski spacetime. We construct the first examples of such Lorentzian quasicrystals (the spacetime analogues of the Penrose or Ammann-Beenker tilings), and point out key novel features of these structures (compared to their Euclidean cousins). We end with some (speculative) ideas about how such spacetime quasicrystals might relate to reality. This includes an intriguing scenario in which our infinite $(3+1)$D universe is embedded (like one of our spacetime quasicrystal examples) in a particularly symmetric $(9+1)$D torus $T^{9,1}$ (which was previously found to yield the most symmetric toroidal compactification of the superstring). We suggest how this picture might help explain the mysterious seesaw relationship $M_{\rm Pl}M_{\rm vac}\approx M_{\rm EW}^{2}$ between the Planck, vacuum energy, and electroweak scales ($M_{\rm Pl}$, $M_{\rm vac}$, $M_{\rm EW}$).

Bounded remainder sets, bounded distance equivalent cut-and-project sets, and equidecomposability

2026-02-12T16:13:42Z

We use the measurable Hall's theorem due to Cieśla and Sabok to prove that (i) if two measurable sets $A,B \subset \mathbb{R}^d$ of the same measure are bounded remainder sets with respect to a given irrational $d$-dimensional vector $α$, then $A, B$ are equidecomposable with measurable pieces using translations from $\mathbb{Z} α+ \mathbb{Z}^d$; and (ii) given a lattice $Γ\subset \mathbb{R}^m \times \mathbb{R}^n$ with projections $p_1$ and $p_2$ onto $\mathbb{R}^m$ and $\mathbb{R}^n$ respectively, if two cut-and-project sets in $\mathbb{R}^m$ obtained from Riemann measurable windows $W, W' \subset \mathbb{R}^n$ are bounded distance equivalent, then $W, W'$ are equidecomposable with measurable pieces using translations from $p_2(Γ)$. We also prove by a different method that for one-dimensional cut-and-project sets, if the windows $W, W' \subset \mathbb{R}^n$ are polytopes then the pieces can also be chosen to be polytopes; this fails in dimensions two and higher.

Fibonacci numbers and a metric on coprime pairs

2026-02-12T09:32:10Z

In this paper, we introduce a metric on the set of pairs of coprime natural numbers. We explicitly construct a quasi-isometric embedding from the set of natural numbers into this metric space via Fibonacci numbers.

Metric geodesic covers of graphs

2026-02-12T07:23:34Z

We study the problem of finding, for a given one-dimensional topological space $X$, a cover of $X$ of smallest size by geodesics with respect to some metric. The infimal size of such a set is called the metric geodesic cover number of $X$. We prove reductions enabling us to find, with computer assistance, optimal geodesic covers of a graph and use these to determine the cover number of several standard graphs, including $K_4$, $K_5$ and $K_{3,3}$. We also give a catalogue of topological spaces with cover number $3$, and use it to deduce that any such space must be planar.

Cutoff Sobolev inequalities for local and non-local $p$-energies on metric measure spaces

2026-02-11T16:15:44Z

For $p>1$, we study subordination phenomena for local and non-local regular $p$-energies on metric measure spaces. Under suitable geometric assumptions, we show that if a local regular $p$-energy satisfies a Poincaré inequality together with a cutoff Sobolev inequality with scaling function $Ψ$, then all associated stable-like non-local $p$-energies with scaling functions strictly below $Ψ$ are regular and satisfy the corresponding non-local cutoff Sobolev inequalities. Moreover, if a stable-like non-local regular $p$-energy with scaling function $Ψ$ satisfies the corresponding non-local cutoff Sobolev inequality, then the same conclusion holds for all associated stable-like non-local $p$-energies with scaling functions below $Ψ$. These results provide a non-linear extension of the classical subordination principle beyond the Dirichlet form framework.

Expected area of the star hull of planar Brownian motion and bridge

2026-02-11T16:06:18Z

We study the star hull of planar Brownian motion and bridge. Roughly speaking, this is the smallest starshaped set (with respect to the origin) that contains the trace of the path. In particular, we prove that the expected areas of the star hulls are $\frac{3π}{8}$ and $\fracπ{4}$ for planar Brownian motion and bridge, respectively. Our proofs rely on a detailed analysis of the first hitting time and place of a horizontal ray $\mathcal{R}_ρ: = [ρ,\infty)\times\{0\}$ by planar Brownian motion starting at the origin. After deriving a remarkably simple Laplace transform of this joint law, we uncover via a probabilistic argument a surprising conditional structure: conditionally on the first hitting place being the point $(x,0)\in \mathcal{R}_ρ$, the hitting time is distributed as the first passage time to the level $x$ of one-dimensional Brownian motion starting at $0$.

From Brunn-Minkowski to Prékopa-Leindler and Borell-Brascamp-Lieb: discrete inequalities

2026-02-11T14:03:24Z

We consider a general way to obtain Prékopa-Leindler and Borell-Brascamp-Lieb type inequalities from Brunn-Minkowski type inequalities and provide numerous examples. We use the same heuristic to prove a discrete version of the Prékopa-Leindler and Borell-Brascamp-Lieb inequalities for functions over $\mathbb{Z}^d$. These are the functional extensions of the discrete Brunn-Minkowski inequality conjectured by Ruzsa and recently established by Keevash, Tiba, and the author.