Equiprojective polytopes in higher dimension

2026-01-19T14:35:34Z

A 3-dimensional polytope is called k-equiprojective if every planar projection along a direction non-parallel to any facet is a k-gon. In this article, we generalise equiprojectivity to higher dimensions and give a lower bound on the number of combinatorial types of equiprojective polytopes. We also establish the pathwise connectedness of a subset of the Grassmannian in the case of (d-2)-dimensional spaces with conditions on the explicit path. This makes it possible to extend the Hasan--Lubiw characterisation of equiprojectivity to higher dimensions. Equiprojectivity provides cases relevant to the study of the Shadow Vertex algorithm, showing there is no hope minimising the complexity of the projection. It also offers a reverse point of view on the usual study of planar projections of polytopes as the projections have a fixed size.

Hyperbolicity via Geodesic Stability

2026-01-19T12:59:24Z

A geodesic $g$ is Morse, for every $L \geq 1, A \geq 0$ there exists a $C=C_g(L,A)$ such that any $(L,A)$-quasi-geodesic connecting two points on $g$ stays $C$-close to $g$. The Morse lemma implies that in a hyperbolic space every geodesic is Morse. Here we prove the converse: If a homogeneous proper geodesic space is such that for every geodesic $g$ and every $L\geq 1, A \geq 0$ there exists a constant $C=C_g(L,A)$ such that any $(L,A)$-quasi-geodesic between any two points on $g$ stays $C$-close, then the space is hyperbolic. This applies in particular to infinite groups in which all geodesics are Morse.

Chebyshev sets and ball operators

2026-01-19T12:48:59Z

The Chebyshev set of a bounded set $K$ in a normed space is the set of centers of all minimal enclosing balls of $K$. We use the concept of ball intersection and ball hull operators to derive new properties of Chebyshev sets in normed spaces. These results give a better picture on how Chebyshev sets, ball intersections, ball hulls, and completions of bounded sets are related to each other. It is shown that the Chebyshev set of a bounded set $K$ always contains the Chebyshev set of some completion of $K$. Moreover, for a special class of sets we obtain a necessary and sufficient condition that the Chebyshev set of the respective set is a singleton. We obtain new results on critical sets of Chebyshev centers, and for that purpose, surprisingly, notions from the combinatorial geometry of convex bodies play an essential role. Also we give a complete geometric description of the ball hull of a finite planar set. This can be taken as starting point for algorithmical constructions of the ball hull of such sets.

Characterising 1-rectifiable metric spaces via connected tangent spaces

2026-01-19T11:17:49Z

We prove that in a complete metric space $X$, $1$-rectifiability of a set $E\subset X$ with $\mathcal{H}^1(E)<\infty$ and positive lower density $\mathcal{H}^1$-a.e. is implied by the property that all tangent spaces are connected metric spaces.

Non-continuous valuations on convex bodies and a new characterization of volume

2026-01-19T10:38:57Z

This paper investigates the use of automatic continuity techniques in the context of valuations on convex bodies. We first provide an automatic continuity theorem for valuations restricted to parallelotopes with respect to a fixed basis. This result in combination with a counting argument provides a strengthened version of a classical characterization of volume due to Hadwiger. As a byproduct of the proof it is shown that $[0,n-1]\cup\{n\}$ are precisely the possible degrees of homogeneity of bounded translation invariant valuations on $n$-dimensional convex bodies.

Coarse Ricci curvature of hypergraphs and its generalization

2026-01-19T05:47:45Z

In the present paper, we introduce a concept of Ricci curvature on hypergraphs for a nonlinear Laplacian. We prove that our definition of the Ricci curvature is a generalization of Lin-Lu-Yau coarse Ricci curvature for graphs to hypergraphs. We also show a lower bound of nonzero eigenvalues of Laplacian, gradient estimate of heat flow, and diameter bound of Bonnet-Myers type for our curvature notion. This research leads to understanding how nonlinearity of Laplacian causes complexity of curvatures.

Locally similar distances and equality of the induced intrinsic distances

2026-01-18T22:54:31Z

Let $X$ be a set and $d_1,d_2$ be two distances on $X$. We say that $d_1$ and $d_2$ are locally similar and write $d_1\cong d_2$ if $d_1$ and $d_2$ are topologically equivalent and, for every $a$ in $X$, \[ \lim_{x\to a} \frac{d_2(x,a)}{d_1(x,a)}=1. \] We prove that if $d_1\cong d_2$, then the intrinsic distances induced by $d_1$ and $d_2$ coincide. We also provide sufficient conditions for $d_1\cong d_2$ and consider several examples related to reproducing kernel Hilbert spaces.

Functional dimension of feedforward ReLU neural networks

2026-01-18T21:29:05Z

It is well-known that the parameterized family of functions representable by fully-connected feedforward neural networks with ReLU activation function is precisely the class of piecewise linear functions with finitely many pieces. It is less well-known that for every fixed architecture of ReLU neural network, the parameter space admits positive-dimensional spaces of symmetries, and hence the local functional dimension near any given parameter is lower than the parametric dimension. In this work we carefully define the notion of functional dimension, show that it is inhomogeneous across the parameter space of ReLU neural network functions, and continue an investigation - initiated in [14] and [5] - into when the functional dimension achieves its theoretical maximum. We also study the quotient space and fibers of the realization map from parameter space to function space, supplying examples of fibers that are disconnected, fibers upon which functional dimension is non-constant, and fibers upon which the symmetry group acts non-transitively.

A volume formula for Reuleaux polyhedra

2026-01-16T20:19:46Z

A ball polyhedron is a finite intersection of congruent balls in $\mathbb{R}^3$. These shapes arise in various contexts in discrete and convex geometry. We focus on Reuleaux polyhedra, the subclass of ball polyhedra whose centers and vertices coincide. Building on Bogosel's recent work on the volume of Meissner polyhedra, we derive a formula for the volume of Reuleaux polyhedra in terms of their edges.

The $L_p$ Minkowski problems on affine dual quermassintegrals

2026-01-16T14:32:45Z

In this paper, {we extend the affine dual curvature measures to the $L_p$ setting and solve the existence part of the corresponding Minkowski problem for non-symmetric discrete measures when $p>1$ and for symmetric measures when $p\geq0$.} When $p=0$, the $L_0$ Minkowski problem is the affine dual Minkowski problem, which is introduced and solved by Cai-Leng-Wu-Xi in [6].

Boundary rigidity of systolic and Helly complexes

2026-01-16T14:20:50Z

In this article, we prove that finite (weakly) systolic and Helly complexes can be reconstructed from their boundary distances (computed in their 1-skeleta). Furthermore, Helly complexes and 2-dimensional systolic complexes can be reconstructed by an algorithm that runs in polynomial time with respect to the number of vertices of the complex. Both results can be viewed as a positive contribution to a general question of Haslegrave, Scott, Tamitegama, and Tan (2025). The reconstruction of a finite cell complex from the boundary distances is the discrete analogue of the boundary rigidity problem, which is a classical problem from Riemannian geometry.

On universal-homogeneous hyperbolic graphs and spaces and their isometry groups

2026-01-16T13:32:05Z

The Urysohn space is the unique separable metric space that is universal and homogeneous for finite metric spaces, i.e., it embeds any finite metric space any isometry between finite subspaces extends to an isometry of the whole space. We here consider the existence of a universal-homogeneous hyperbolic space. We show that for $δ>0$ there is no $δ$-hyperbolic space which is universal and homogeneous in the above sense for all finite $δ$-hpyerbolic spaces. We then show that for any $δ\geq 0$ and any countable class $\mathcal{C}$ of $δ$-hyperbolic spaces with countably many distinguished $δ$-closed subspaces there exists a $δ$-hyperbolic metric space $\mathbb{H}_\mathcal{C}$ such that every $X\in \mathcal{C}$ can be embedded into $\mathbb{H}_\mathcal{C}$ as a $δ$-closed subspace and any isometry between distinguished $δ$-closed subspaces extends to an isometry of $\mathbb{H}_\mathcal{C}$. If $\mathcal{C}$ consists of $δ$-hyperbolic geodesic spaces, then $\mathbb{H}_\mathcal{C}$ contains the quasi-tree of spaces as defined by Bestvina et al.. For $\mathcal{C}_δ$ the class of all finite $δ$-hyperbolic spaces with rational distances or the class of finite $δ$-hyperbolic graphs, the limit $\mathbb{H}_δ$ is a $δ$-hyperbolic space (or graph, respectively) universal for all finite $δ$-hyperbolic spaces with rational distances (or finite $δ$-hyperbolic graphs) and such that any isometry between $δ$-closed subspaces extends to an isometry of $\mathbb{H}_δ$. We show that the isometry group of $\mathbb{H}_δ$ does not contain elements of bounded displacement and has no dense conjugacy class.

A Combinatorial Structure for Many Hierarchically Hyperbolic Spaces

2026-01-16T09:33:47Z

The combinatorial hierarchical hyperbolicity criterion is a very useful way of constructing new hierarchically hyperbolic spaces (HHSs). We show that, conversely, HHSs satisfying natural assumptions (satisfied, for example, by mapping class groups) admit a combinatorial HHS structure. This can be useful in constructions of new HHSs, and also our construction clarifies how to apply the combinatorial HHS criterion to suspected examples. We also uncover connections between HHS notions and lattice theory notions.

Compressibility Barriers to Neighborhood-Preserving Data Visualizations

2026-01-16T02:22:04Z

To what extent is it possible to visualize high-dimensional data in two- or three-dimensional plots? We reframe this question in terms of embedding $n$-vertex graphs (representing the neighborhood structure of the input points) into metric spaces of low doubling dimension $d$ in such a way that keeps neighbors close and non-neighbors far. This notion of neighbor preservation can be understood as a considerably weaker embedding constraint than near-isometry, yet it is similarly as demanding in terms of how the minimum required dimension scales with the number of points. We show that for an overwhelming fraction of graphs, $d = Θ(\log n)$ is both necessary and sufficient for neighbor preservation. Even sparse regular graphs, which represent more restricted neighborhood connectivity structures, typically require $d= Ω(\log n / \log\log n)$. The landscape changes dramatically when embedding into normed spaces: general graphs become exponentially harder to embed, requiring $d=Ω(n)$, while sparse regular graphs continue to admit $d = O(\log n)$. Finally, we study the implications of these results for visualizing data with intrinsic cluster structure. We show that graphs produced from a planted partition model with $k$ clusters on $n$ points typically require $d=Ω(\log n)$, even when the cluster structure is salient. These results challenge the aspiration that constant-dimensional visualizations can faithfully preserve neighborhood structure.

Timelike conjugate points in Lorentzian length spaces

2026-01-15T17:06:15Z

We study notions of conjugate points along timelike geodesics in the synthetic setting of Lorentzian (pre-)length spaces, inspired by earlier work for metric spaces by Shankar--Sormani. After preliminary considerations on convergence of timelike and causal geodesics, we introduce and compare one-sided, symmetric, unreachable and ultimate conjugate points along timelike geodesics. We show that all such notions are compatible with the usual one in the smooth (strongly causal) spacetime setting. As applications, we prove a timelike Rauch comparison theorem, as well as a result closely related to the recently established Lorentzian Cartan--Hadamard theorem by Erös--Gieger. In the appendix, we give a detailed treatment of the Fréchet distance on the space of non-stopping curves up to reparametrization, a technical tool used throughout the paper.