Colourful Carathéodory's Theorem plus a constraint

2025-12-28T03:09:41Z

We develop a topological framework in an attempt to generalize the classical colourful Caratheodory theorem by imposing an additional constraint. For that we introduce the notion of zero-avoding complexes and covering criteria for the existence of colourful transversals. Using the developed method in combination with the homological Nerve theorem of Meshulam we recover all known versions of the colourful Caratheodory's theorem and prove a constraint extension which, in particular, implies an extension of the original (affine) Tverberg result.

Spectral selections, commutativity preservation and Coxeter-Lipschitz maps

2025-12-26T12:36:05Z

Let $(W,S)$ be a Coxeter system whose graph is connected, with no infinite edges. A self-map $τ$ of $W$ such that $τ_{σθ}\in \{τ_θ,\ στ_θ\}$ for all $θ\in W$ and all reflections $σ$ (analogous to being 1-Lipschitz with respect to the Bruhat order on $W$) is either constant or a right translation. A somewhat stronger version holds for $S_n$, where it suffices that $σ$ range over smaller, $θ$-dependent sets of reflections. These combinatorial results have a number of consequences concerning continuous spectrum- and commutativity-preserving maps $\mathrm{SU}(n)\to M_n$ defined on special unitary groups: every such map is a conjugation composed with (a) the identity; (b) transposition, or (c) a continuous diagonal spectrum selection. This parallels and recovers Petek's analogous statement for self-maps of the space $H_n\le M_n$ of self-adjoint matrices, strengthening it slightly by expanding the codomain to $M_n$.

The Patterson-Sullivan construction and global leaf geometry for Anosov flows

2025-12-24T17:54:28Z

We give a new construction of the measure of maximal entropy for transitive Anosov flows through a method analogous to the construction of Patterson-Sullivan measures in negative curvature. In order to carry out our procedure we prove several new results concerning the global geometry of the leaves of the center-unstable foliation of an Anosov flow. We show that the universal covers of the center-unstable leaves are Gromov hyperbolic in the induced Riemannian metric and their relative Gromov boundaries canonically identify with the unstable leaves within in such a way that the Hamenstädt metrics on these leaves correspond to visual metrics on the relative Gromov boundary. These center-unstable leaves are then uniformized according to a technique inspired by methods of Bonk-Heinonen-Koskela which, in addition to its utility in the construction itself, also leads to rich analytic properties for these uniformized leaves such as supporting a Poincaré inequality. As a corollary we obtain that the fundamental group of a closed Riemannian manifold with Anosov geodesic flow must be Gromov hyperbolic.

Uniquely optimal codes of low complexity are symmetric

2025-12-24T16:32:49Z

We formulate explicit predictions concerning the symmetry of optimal codes in compact metric spaces. This motivates the study of optimal codes in various spaces where these predictions can be tested.

Testing isomorphism between tuples of subspaces

2025-12-24T16:27:10Z

Given two tuples of subspaces, can you tell whether the tuples are isomorphic? We develop theory and algorithms to address this fundamental question. We focus on isomorphisms in which the ambient vector space is acted on by either a unitary group or general linear group. If isomorphism also allows permutations of the subspaces, then the problem is at least as hard as graph isomorphism. Otherwise, we provide a variety of polynomial-time algorithms with Matlab implementations to test for isomorphism. Keywords: subspace isomorphism, Grassmannian, Bargmann invariants, $H^\ast$-algebras, quivers, graph isomorphism

On the Optimality of Random Partial Sphere Coverings in High Dimensions

2025-12-24T14:51:32Z

Given $N$ geodesic caps on the unit sphere in $\mathbb{R}^d$, and whose total normalized surface area sums to one, what is the maximal surface area their union can cover? In this work, we provide an asymptotically sharp upper bound for an antipodal partial covering of the sphere by $N \in (ω(1),e^{o(\sqrt{d})})$ congruent caps, showing that the maximum proportion covered approaches $1 - e^{-1}$ as $d\to\infty$. We discuss the relation of this result to the optimality of random polytopes in high dimensions, the limitations of our technique via the Gaussian surface area bounds of K. Ball and F. Nazarov, and its applications in computer science theory.

Strong bolicity and the Baum-Connes conjecture for relatively hyperbolic groups

2025-12-24T13:38:32Z

We construct a strongly bolic metric for a certain class of relatively hyperbolic groups, which includes those with CAT(0) parabolics and virtually abelian parabolics. If we further assume that the parabolics satisfy (RD), applying a theorem of Lafforgue, we deduce the Baum-Connes conjecture for these groups. One of the key ingredients in our construction is the use of random coset representatives called masks, developed by Chatterji and Dahmani.

Topological rigidity of small RCD(K,N) spaces with maximal rank

2025-12-24T07:47:26Z

For a polycyclic group $Λ$, $\text{rank} (Λ)$ is defined as the number of $\mathbb{Z}$ factors in a polycyclic decomposition of $Λ$. For a finitely generated group $G$, $\text{rank} (G)$ is defined as the infimum of $ \text{rank} (Λ)$ among finite index polycyclic subgroups $Λ\leq G$. For a compact $ \text{RCD} (K,N)$ space $(X,\mathsf{d}, \mathfrak{m})$ with $ \text{diam} (X) \leq \varepsilon (K,N)$, the rank of $π_1(X)$ is at most $N$. We show that in case of equality, $X$ is homeomorphic to an infranilmanifold, generalizing a result by Kapovitch--Wilking to the non-smooth setting.

Gromov-Hausdorff continuity of non-Kähler Calabi-Yau conifold transitions

2025-12-24T07:15:45Z

We study the geometry of Calabi-Yau conifold transitions. This deformation process is known to possibly connect a Kähler threefold to a non-Kähler threefold. We use balanced and Hermitian-Yang-Mills metrics to geometrize the conifold transition and show that the whole operation is continuous in the Gromov-Hausdorff topology.

Time-periodic branched transport

2025-12-24T03:14:42Z

We develop a new framework for branched transport between probability measures which are allowed to vary in time. This framework can be used to model problems where the underlying transportation network displays a branched structure, but the source and target mass distributions can change cyclically over time, such as road networks or circulatory systems. We introduce the notion of time-dependent transport paths along with associated energies and distances, and prove existence of transport paths whose energy achieves the distance. We also show the time-dependent transport yields a metric structure on subsets of appropriately defined measure-valued Sobolev spaces.

NP-completeness of the $\ell_1$-embedding problem for simple graphs as sphere-of-influence graphs

2025-12-23T19:51:01Z

In graph theory an interesting question is whether for a fixed choice of $p\in [0,\infty]$, all simple graphs appear as sphere-of-influence graphs in some Euclidean space with respect to the $\ell_p$ metric. The answer is affirmative for $p=\infty$, negative for any $p\in (0,\infty)$, and unknown for $p=1$. The result of this work shows that for the case of $p=1$, this embeddability question is a (Promise) NP-Complete problem.

Visibility and intersection density for Boolean models in hyperbolic space

2025-12-23T13:02:08Z

For Poisson particle processes in hyperbolic space we introduce and study concepts analogous to the intersection density and the mean visible volume, which were originally considered in the analysis of Boolean models in Euclidean space. In particular, we determine a necessary and sufficient condition for the finiteness of the mean visible volume of a Boolean model in terms of the intensity and the mean surface area of the typical grain.

Lower Bounding the Gromov--Hausdorff distance in Metric Graphs

2025-12-23T11:37:30Z

Let $G$ be a finite, connected metric graph and let $X\subseteq G$ be a subset. If $X$ is sufficiently dense in $G$, we show that the Gromov--Hausdorff distance matches the Hausdorff distance, namely $d_\gh(G,X)=d_\h(G,X)$. When the metric graph is the circle $G=S^1$ with circumference $2π$, a recent study established the equality $d_\gh(S^1,X)=d_\h(S^1,X)$ whenever $d_\gh(S^1,X)<\fracπ{6}$. Our results relax this hypothesis to $d_\gh(S^1,X)<\fracπ{3}$, and furthermore, we show that the constant $\fracπ{3}$ is the best possible. We lower bound the Gromov--Hausdorff distance $d_\gh(G,X)$ by the Hausdorff distance $d_\h(G,X)$ via a simple topological obstruction: the existence of a possibly discontinuous function $f\colon G \to X$ with too small distortion contradicts the connectedness of $G$.

Stability of mathematical quasicrystals under statistical convergence

2025-12-22T20:15:15Z

In this work, we prove that if a uniformly separated sequence in $\mathbb{R}^d$ is uniformly quasicrystalline and converges rapidly enough to a discrete set $X$ in $\mathbb{R}^d$ having the same separation radius as the sequence, then $X$ is also a quasicrystal. The convergence is addressed for a distance that quantifies the statistical closeness between two uniformly discrete point sets in $\mathbb{R}^d$. Furthermore, motivated by the robustness of quasicrystals under random perturbations, we establish the continuity, for this distance, of the Fourier Transform of quasicrystals. This continuity result, in turn, allows us to rigorously demonstrate that established robustness properties of quasicrystals against random errors remain stable under the statistical convergence considered.

Ball-convex bodies and $L_p$ relative surface areas

2025-12-22T19:45:12Z

We define new surface area measures for ball-convex bodies which we call $L_p$ relative surface areas. We show that those are rigid motion invariant valuations. We establish inequalities for these quantities and prove a monotonicity behavior which leads to a new notion of entropy for ball-convex bodies. We introduce a weighted ball floating body. A derivative of volume of a ball-convex body with a weighted ball floating body provides a geometric interpretation of the $L_p$ relative surface areas.