https://arxiv.org/api/iu7VoXjzCJe/2XJZQG7zUHsVnOk 2026-06-13T21:20:36Z 13040 135 15 http://arxiv.org/abs/2605.23866v1 2026-05-22T17:25:00Z

A zonotope is a linear image of the cube $[-1,1]^m$ for some $m \in \mathbb{N}$. We show that there is a universal constant $C$ such that, for every zonotope $Z\subset \mathbb{R}^d$ and vectors $v_1,\dots,v_n\in Z$, there are signs $x_1,\dots,x_n\in\{-1,1\}$ with \[ \sum_{i=1}^n x_i v_i \in C\sqrt d\, Z. \] This resolves a 2002 question of Schechtman and generalizes Spencer's six standard deviations theorem, which corresponds to the case $Z=[-1,1]^d$.

2026-05-22T17:25:00Z 24 pages Victor Reis http://arxiv.org/abs/2509.15745v2 2026-05-22T14:38:29Z

In the 1980s, M. J. Markowitz introduced a conformally invariant pseudodistance on pseudo-Riemannian manifolds, inspired by the Kobayashi metric in projective geometry. This construction relies on a distinguished class of parametrized lightlike geodesics, called projectively parametrized. We begin by reviewing the fundamental properties of this pseudodistance and provide several families of examples where it is non-degenerate and, in some cases, complete. In particular, we investigate three classes of manifolds: closed manifolds, conformally convex domains of the Einstein universe, and globally hyperbolic, conformally flat, $C$-maximal spacetimes. For the first two classes, we obtain results analogous to those of Brody and Barth concerning the complex Kobayashi metric. Finally, we apply Markowitz's pseudodistance to classify all quasi-homogeneous domains of the Einstein-de Sitter space, that is, a half-space of Minkowski space bounded by a spacelike hyperplane. Up to conformal transformations, only finitely many such domains exist, and all of them turn out to be homogeneous.

2025-09-19T08:15:05Z Minor corrections. Final version. To appear in Geometriae Dedicata Adam Chalumeau http://arxiv.org/abs/2512.06753v2 2026-05-22T14:38:25Z

We develop a quantitative theory of Lipschitz harmonic functions (LHF) on finitely generated groups, with emphasis on the Lipschitz Liouville property, affine rigidity, and quasi-isometric invariance for groups of polynomial growth. On finitely generated nilpotent groups we prove an affine rigidity theorem: for any adapted, smooth, Abelian-centered probability measure $μ$, every Lipschitz $μ$-harmonic function is affine, $f(x)=c+\varphi([x])$. For any finite generating set $S$ this yields a canonical isometric identification $$ \mathrm{LHF}(G,μ)/\mathbb{C} \cong \mathrm{Hom}(G_{\mathrm{ab}},\mathbb{C}),\qquad \|\nabla_S f\|_\infty=\max_{s\in S}|\varphi([s])|, $$ independent of the choice of centered measure. In addition, we prove an identification of HF$_1$ with LHF on polynomial growth groups for adapted, smooth, Abelian-centered measures. Next, for any finite-index subgroup $H\le G$ and adapted smooth $μ$ we prove a quantitative induction-restriction principle: restriction along $H$ and an explicit averaging operator give a linear isomorphism $\mathrm{LHF}(G,μ)\cong\mathrm{LHF}(H,μ_H)$, where $μ_H$ is the hitting measure, with two-sided control of the Lipschitz seminorms. For groups of polynomial growth equipped with $\mathrm{SAS}$ measures we then show that $\mathrm{LHF}$ is a quasi-isometry invariant as a seminormed affine space, via choice-dependent Shalom--Sauer transport on virtual first cohomology. Separately, for quasi-isometries with bounded Abelian defect, we construct coarse harmonic coordinates that straighten them up to bounded error. Finally, within the Lyons-Sullivan/Ballmann-Polymerakis discretization framework, we prove a quantitative discrete-to-continuous extension theorem: Lipschitz harmonic data on an orbit extend to globally Lipschitz $L$-harmonic functions on the ambient manifold, with gradient bounds controlled by the background geometry.

2025-12-07T09:34:05Z 66 pages. Comments highly appreciated! Mayukh Mukherjee Soumyadeb Samanta Soumyadip Thandar http://arxiv.org/abs/2605.23594v1 2026-05-22T13:04:21Z

This paper studies the validity of Stokes' theorem for differential subcomplexes naturally adapted to the noncommutative geometry of positively graded Lie groups, with particular emphasis on Carnot groups. We introduce geometric conditions under which Stokes-type formulae hold for the Rumin complex and for a new family of spectral complexes associated with the homogeneous weight filtration of the de Rham complex. In particular, the spectral complexes allow us to recover the validity of Stokes' theorem on locally smooth intrinsic graphs. This is achieved by showing that the corresponding Stokes' formulae are governed entirely by the degree of the underlying submanifolds. Our approach also reveals that both the Rumin complex and the spectral complexes can be interpreted directly in terms of the classical de Rham complex through the Leibniz rule and integration over suitable classes of submanifolds, namely R-manifolds and spectral manifolds, respectively. Finally, motivated by this interaction between homogeneous weights and degrees of submanifolds, we propose a notion of current naturally adapted to these subcomplexes.

2026-05-22T13:04:21Z 44 pages Valentino Magnani Francesca Tripaldi http://arxiv.org/abs/2605.23485v1 2026-05-22T10:44:24Z

We propose a definition of magnitude for a length space with a Borel measure, which involves integrals over the set of geodesics. This quantity agrees with the magnitude of finite metric spaces, up to re-scaling the metric to ensure the convergence, when we use the counting measure on them. We also prove a version of the homogeneous magnitude theorem, by showing that the new definition agrees with the volume when we use the weight measure on a compact homogeneous Riemannian manifold. We compute various examples, which suggest that this quantity can capture information of non-uniqueness of geodesics, such as the injectivity radius, corresponding to the generating degrees of the magnitude homology.

2026-05-22T10:44:24Z 43 pages Yoshinori Hashimoto http://arxiv.org/abs/2502.15521v2 2026-05-22T10:40:01Z

A quadrangle in the Euclidean plane is called $n$-self-affine if it has a dissection into $n$ affine images of itself. All convex quadrangles are known to be $n$-self-affine for every $n \ge 5$. The only $2$-self-affine convex quadrangles are trapezoids. Here we characterize all $3$-self-affine convex quadrangles, obtaining $5$ one-parameter families and $13$ singular examples of affine types. This way we reduce the quest for all $n$-self-affine convex quadrangles to the open case $n=4$. In addition, we show that there are $n$-self-affine non-convex quadrangles for all $n \ge 3$, but not for $n=2$.

2025-02-21T15:22:50Z 19 pages, 11 figures. New version includes corrections of some typos, an extended proof of Lemma 13 and ancillary files (of computations for Section 4) Christian Richter Felix Zimmermann http://arxiv.org/abs/2605.23430v1 2026-05-22T09:43:44Z

We prove Penner's theorem on horocycles and theorems of Ptolemy and Casey, all with full converses, in hyperbolic space of several dimensions. Recently Waddle observed that the equations underpinning these three theorems are related, and it is this viewpoint that we advance, using the Lorentzian model of hyperbolic space. We show that all three theorems can be derived from a common Gram-matrix calculation applied to lightlike, timelike, and spacelike vectors. Remarkably, our approach gives a version of Casey's theorem in the plane with a full converse, involving three geometric alternatives, which to our knowledge has not previously been recorded.

2026-05-22T09:43:44Z 9 pages, 3 figures Isabella Lewis Ian Short http://arxiv.org/abs/2605.23020v1 2026-05-21T20:44:23Z

Steinerberger introduced the Buffon discrepancy problem, asking how accurately a one-dimensional set of length $L$ in a convex body can match the Crofton-predicted line-intersection counts, and proved an $O\left(L^{1/3}\right)$ upper bound via a Steinhaus longimeter construction. Using the Aistleitner--Bilyk--Nikolov arbitrary-measure star-discrepancy theorem we demonstrate the existence of full-chord constructions with discrepancy $O\left((\log L)^{3/2}\right)$ for every fixed compact convex body with finite piecewise $C^2$ boundary. In the disk, we prove that every full-chord construction has discrepancy at least $Ω\left(\log L\right)$, using Schmidt's two-dimensional rectangle discrepancy lower bound.

2026-05-21T20:44:23Z Samuel Korsky http://arxiv.org/abs/2605.16730v2 2026-05-21T20:26:58Z

We present an explicit piecewise linear map from a flat Klein bottle (i.e. one that is locally isometric to the Euclidean plane) into Euclidean 3-space an that is an isometric immersion -- a path isometry that is locally injective. The image is a self-intersecting polyhedron with embedded vertex figures where each vertex has zero angle defect. The construction of the map enforces the path isometry property so long as certain numerically-verifiable inequalities are satisfied, and we show that checking the local injectivity property at each vertex via another set of inequalities suffices. This work generalizes features from known piecewise linear isometric embeddings of flat tori and known piecewise smooth path isometries of flat Klein bottles, and apparently is the first explicit isometric immersion of a flat Klein bottle into $\mathbb{R}^3$.

2026-05-16T00:46:47Z Polyhedron data can be found in the TeX Source files Stepan Paul http://arxiv.org/abs/2605.22594v1 2026-05-21T15:11:33Z

We prove that every 0/1-polytope has a unique Minkowski decomposition into indecomposable polytopes, up to translation of summands. The summands lie in pairwise orthogonal subspaces. Thus, every 0/1-polytope is the Cartesian product of indecomposable 0/1-polytopes. As applications, we obtain uniform combinatorial indecomposability criteria for order and chain polytopes, matroid polytopes, stable set and clique polytopes, edge polytopes, flow polytopes, and 2-level/compressed polytopes. We also show that every nontrivial factorization of a multi-affine polynomial is a product of multi-affine polynomials in disjoint sets of variables.

2026-05-21T15:11:33Z 13 pages Akihiro Higashitani Arnau Padrol Raman Sanyal http://arxiv.org/abs/2605.22585v1 2026-05-21T14:57:09Z

We observe that the $2$-norm distance $d_{U,2}$ between the unitary orbits of normal elements in a $\mathrm{II}_1$ factor $\mathcal{M}$ is equal to the $2$-Wasserstein distance between the spectral measures induced by the trace $τ_\mathcal{M}$. Using classification and optimal transport theory, we deduce an analogous $2$-norm equation for normal operators $x$ and $y$ in simple, separable, unital, nuclear, $\mathcal{Z}$-stable $\mathrm{C}^*$-algebras that are either monotracial, or real rank zero with finitely many extremal traces, provided that $σ(x)=σ(y)$ is convex. Consequently, $d_{U,2}$ equips the set of approximate unitary equivalence classes of contractive normal elements of $\mathcal{M}$ with the structure of a compact length space. The same is true of the set of equivalence classes of embeddings into the Jiang-Su algebra $\mathcal{Z}$ of classifiable tracial $2$-Wasserstein spaces over compact, convex planar domains.

2026-05-21T14:57:09Z 20 pages Bhishan Jacelon http://arxiv.org/abs/2605.22451v1 2026-05-21T13:17:46Z

An equidistant set in the Euclidean space consists of points having equal distances to both members of a given pair of sets, called focal sets. Since there is no effective formula to compute the distance of a point and a set, it is hard to determine the points of an equidistant set in general. Therefore, it is important to investigate some special cases. In the paper we investigate equidistant sets that can be given as the graph of a function. They are called equidistant functions. In the previously examined conceptual model, one of the focal sets is the horizontal hyperplane through the origin and the other one is the epigraph of a positive-valued, continuous function. The equidistant points form the graph of another function over the hyperplane. In a general situation, the hyperplane is the first-order (linear) approximation for one of the focal sets. A natural idea is to substitute the hyperplane by a circle (sphere) as a second-order (quadratic) approximation for one of the focal sets in more complicated cases. Such a generalization results in a new type of equidistant functions we are going to investigate in the present paper. Before considering the special cases in detail, we present some general observations: a necessary and sufficient condition for the existence of equidistant points along the vertical lines, upper/lower equidistant functions, equidistant functions, a necessary and sufficient condition for the existence of the equidistant function, equidistant functions and the minimum operator (a kind of commuting property).

2026-05-21T13:17:46Z 28 pages, 9 figures Á. Nagy M. Oláh M. Stoika Cs. Vincze http://arxiv.org/abs/2505.15739v2 2026-05-21T08:06:06Z

Let $B_n$ be the $n$-dimensional unit ball given by the inequality $\|x\|\leq 1$, where $\|x\|$ is the standard Euclid norm in ${\mathbb R}^n$. For an $n$-dimensional nondegenerate simplex $S$, we denote by $E$ the ellipsoid of minimum volume which contains $S$. Suppose $S\subset B_n$, $0\leq m\leq n-1$. Let $G$ be any $m$-dimensional face of $S$ and let $H$ be the opposite $(n-m-1)$-dimensional face. Denote by $g$ and $h$ the centers of gravity of $G$ and $H$ respectively. Define $y$ as the intersection point of the line passing from $g$ to $h$ with the boundary of $E$. Let us call the face $G$ suitable if $y\in B_n.$ Earlier it was proved that each simplex $S\subset B_n$ has a suitable face of any dimension $\leq n-1$. We show the following. Let $S$ be inscribed in $B_n$. If some vertex of $S$ is suitable, then there exists a suitable face of any dimension $\leq n-1$ which contains this vertex.

2025-05-21T16:43:51Z 8 pages Mikhail Nevskii http://arxiv.org/abs/2406.09883v2 2026-05-21T04:49:32Z

In this project we explore the geometry of general metric spaces, where we do not necessarily have the tools of differential geometry on our side. Some metric spaces $(X,d)$ allow us to define geodesics, permitting us to compare geodesic triangles in $(X,d)$ to geodesic triangles in a so called model space. In Chapters 1 and 2 we first discuss how to define the length of curves, and geodesics on $(X,d)$, and then using these to portray the notion of "non-positive curvature" for a metric space. Chapter 3 concerns itself with special cases of such non-positively curved metric spaces, called CAT(0) spaces. These satisfy particularly nice properties, such as being uniquely geodesic, contractible, and having a convex metric, among others. We mainly follow the book by Martin R. Bridson and André Haefliger, with some differences. Firstly, we restrict ourselves to using the Euclidean plane $\mathbb{E}^2$ as our model space, which is all that is necessary to define CAT(0) spaces. Secondly, we skip many sections of the mentioned book, as many are not relevant for our specific purposes. Finally, we add details to some of the proofs, which can be sparse in details or completely non-existent in the original literature. In this way we hope to create a more streamlined, self-contained, and accessible introduction to CAT(0) spaces.

2024-06-14T09:52:51Z Mathematical project, Change: MathJax in abstract Søren Poulsen http://arxiv.org/abs/2605.21896v1 2026-05-21T02:10:00Z

We study the Lawn Mowing Problem restricted to periodic billiard paths in the unit square. Given the combinatorial data of a trajectory, we determine the optimal covering radius, and identify the shortest path that covers the square for any fixed blade radius.

2026-05-21T02:10:00Z 11 pages, 3 figures Natnaree Sriprasert Sangsan Warakkagun