A new method for generalizing non-self-intersecting flexible polyhedra

2025-11-09T13:59:38Z

A surface is considered flexible if it allows a continuous deformation that preserves both metric and smoothness. We introduce a novel construction method, called 'base + crinkle,' for generating a broad class of non-self-intersecting flexible closed polyhedral surfaces (i.e. flexible polyhedra). These flexible polyhedra can be non-triangulated, exhibit multiple kinematic degrees of freedom, and possess topologies beyond the sphere. The geometric result provides fresh insights into the geometry of origami and the design of engineering mechanisms, such as sealed-chamber robotics and distortion-free metamorphic grippers.

Nonnegative cross-curvature in infinite dimensions: synthetic definition and spaces of measures

2025-11-09T13:11:24Z

Nonnegative cross-curvature (NNCC) is a geometric property of a cost function defined on a product space that originates in optimal transportation and the Ma-Trudinger-Wang theory. Motivated by applications in optimization, gradient flows and mechanism design, we propose a variational formulation of nonnegative cross-curvature on c-convex domains applicable to infinite dimensions and nonsmooth settings. The resulting class of NNCC spaces is closed under Gromov-Hausdorff convergence and for this class, we extend many properties of classical nonnegative cross-curvature: stability under generalized Riemannian submersions, characterization in terms of the convexity of certain sets of c-concave functions, and in the metric case, it is a subclass of positively curved spaces in the sense of Alexandrov. One of our main results is that Wasserstein spaces of probability measures inherit the NNCC property from their base space. Additional examples of NNCC costs include the Bures-Wasserstein and Fisher-Rao squared distances, the Hellinger-Kantorovich squared distance (in some cases), the relative entropy on probability measures, and the 2-Gromov-Wasserstein squared distance on metric measure spaces.

Regions surrounded by circles whose Poincaré-Reeb graphs are trees

2025-11-09T11:54:15Z

Regions in the Euclidean plane surrounded by circles are fundamental geometric and combinatorial objects. Related studies have been done and we cannot explain them precisely, or roughly, well. We study such regions whose Poincaré-Reeb graphs are trees and investigate the trees obtained by a certain inductive rule from a disk in the plane. The Poincaré-Reeb graph of such a region is a graph whose underlying set is the set of all components of level sets of the restriction of the canonical projection to the closure and whose vertices are points corresponding to the components containing {\it singular} points. Related studies were started by the author, motivated by importance and difficulty of explicit construction of a real algebraic map onto a prescribed closed region in the plane.

Bounded ratios for Lorentzian matrices

2025-11-08T17:04:36Z

We study multiplicative inequalities among entries of Lorentzian matrices, referred to as bounded ratios. These inequalities can be viewed as generalizations of the classical Alexandrov--Fenchel inequalities for mixed volumes. Our main structural result identifies the cone of all bounded ratios on Lorentzian matrices with the dual of the cut cone, a finitely generated integral polyhedral cone extensively studied in metric geometry and graph theory. We examine in detail the pentagonal ratio, which first appears for Lorentzian matrices of size at least five. For Lorentzian matrices of size three, we determine the optimal bounding constants across the entire cone of bounded ratios, obtaining an explicit entropy-like formula. We conjecture that any normalized bounded ratio is, in fact, bounded by 2.

Limit curve theorems for incomplete metric spaces and the null distance on Lorentzian manifolds

2025-11-08T04:33:56Z

We prove a limit curve theorem for incomplete metric spaces. Our main application is to Sormani and Vegas' null distance, where our results give strong control on the Lorentzian lengths of limit curves. We also show that regular cosmological time functions and the surface function of a Cauchy surface in a globally hyperbolic manifold define such a null distance.

Subspace stabilisers in hyperbolic lattices

2025-11-07T17:57:09Z

This paper shows that immersed totally geodesic $m$-dimensional suborbifolds of $n$-dimensional arithmetic hyperbolic orbifolds correspond to finite subgroups of the commensurator whenever $m \geqslant \frac{n-1}{2}$. We call such totally geodesic suborbifolds finite centraliser subspaces (or fc-subspaces) and use them to formulate an arithmeticity criterion for hyperbolic lattices. We show that a hyperbolic orbifold $M$ is arithmetic if and only if it has infinitely many fc-subspaces, and exhibit examples of non-arithmetic orbifolds that contain non-fc subspaces of codimension one. We provide an algebraic characterization of totally geodesically immersed suborbifolds of arithmetic hyperbolic orbifolds by analysing Vinberg's commensurability invariants. This allows us to construct examples with the property that the adjoint trace field of the geodesic suborbifold properly contains the adjoint trace field of the orbifold. The case of special interest is that of exceptional trialitarian $7$-dimensional orbifolds. We show that every such orbifold contains a totally geodesic arithmetic hyperbolic $3$-orbifold of exceptional type. Finally, we study arithmetic properties of orbifolds that descend to their totally geodesic suborbifolds, proving that all suborbifolds in a (quasi-)arithmetic orbifold are (quasi-)arithmetic.

Sets with arbitrary Hausdorff and packing scales in infinite dimensional Banach spaces

2025-11-07T16:14:22Z

For every couple of Hausdorff functions $ ψ$ and $\varphi $ verifying some mild assumptions, there exists a compact subset $ K $ of the Baire space such that the $ \varphi$-Hausdorff measure and the $ ψ$-packing measure on $ K$ are both finite and positive. Such examples are then embedded in any infinite dimensional Banach space to answer positively a question of Fan on the existence of metric spaces with arbitrary scales.

Cycling along Euler road

2025-11-06T14:19:55Z

We introduce the notion of $P_λ$ points, which canonically parametrize points on the Euler line. This allows us to show that the Euler line of any $d$-dimensional inscribed polygon in Euclidean space arises from the Euler lines of its sub-polygons, beginning from the Euler line of a point in the plane. Furthermore, we situate $P_λ$ points in the literature of modern triangle centers.

On the Vietoris-Rips Complexes of Integer Lattices

2025-11-06T10:23:45Z

For a metric space $X$ and $r \geq 0$, the Vietoris-Rips complex $\mathcal{VR}(X;r)$ is a simplicial complex whose simplices are finite subsets of $X$ with diameter at most $r$. Vietoris-Rips complexes have applications in various places, including data analysis, geometric group theory, sensor networks, etc. Consider the integer lattice $\mathbb{Z}^n$ as a metric space equipped with the $d_1$-metric (the Manhattan metric or standard word metric in the Cayley graph). Ziga Virk proved that if either $r \geq n^2(2n-1)$, or $1\leq n \leq 3$ and $r \geq n$, then the complex $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible, and posed a question if $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible for all $r \geq n$. Recently, Matthew Zaremsky improved Ziga's result and proved that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible if $r \geq n^2+ n-1$. Further, he conjectured that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible for all $r \geq n$. We prove Zaremsky's conjecture for $n \leq 5$, i.e., we prove that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible if $n \leq 5$ and $r \geq n$. Further, we prove that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible for $r \geq 10$. We determine the homotopy type of $\mathcal{VR}(\mathbb{Z}^n;2)$, and show that these complexes are homotopy equivalent to a wedge of countably infinite copies of $\mathbb{S}^3$. We also show that $\mathcal{VR}(\mathbb{Z}^n;r)$ is simply connected for $r \geq 2$.

Geometric inequalities related to fractional perimeter: fractional Poincaré, isoperimetric, and boxing inequalities in metric measure spaces

2025-11-06T08:43:55Z

In the setting of a complete, doubling metric measure space $(X,d,μ)$ supporting a $(1,1)$-Poincaré inequality, we show that for all $0<θ<1$, the following fractional Poincaré inequality holds for all balls $B$ and locally integrable functions $u$, $$ \int_{B}|u-u_B|dμ\le C(1-θ)\,\text{rad}(B)^θ\int_{τB}\int_{τB}\frac{|u(x)-u(y)|}{d(x,y)^θμ(B(x,d(x,y)))}dμ(y)dμ(x), $$ where $C\ge 1$ and $τ\ge 1$ are constants depending only on the doubling and $(1,1)$-Poincaré inequality constants. Notably, this inequality features the scaling constant $(1-θ)$ present in the Bourgain-Brezis-Mironescu theory characterizing Sobolev functions via nonlocal functionals. From this inequality, we obtain a fractional relative isoperimetric inequality as well as global and local versions of a fractional boxing inequality, each featuring the same scaling constant $(1-θ)$ and defined in terms of the fractional $θ$-perimeter, and prove equivalences with the above fractional Poincaré inequality. We also show that $(X,d,μ)$ supports a $(1,1)$-Poincaré inequality if and only if the above fractional Poincaré inequality holds for all $θ$ sufficiently close to $1$. Under the additional assumption of lower Ahlfors $Q$-regularity of the measure $μ$, we additionally use the aforementioned results to establish global inequalities, in the form of fractional isoperimetric and fractional Sobolev inequalities, which also feature the scaling constant $(1-θ)$. Moreover, we prove that such inequalities are equivalent with the lower Ahlfors $Q$-regularity condition on the measure.

Uncountably many homogeneous real trees with the same valence

2025-11-05T18:55:49Z

For any cardinal $κ\geq 2$, there is a unique complete real tree whose points all have valence $κ$. In this note, we show that, when $κ\geq 3$, it is necessary to assume completeness. More precisely, we show that there exist uncountably many homogeneous incomplete real trees whose points all have valence $κ$.

Wasserstein Rigidity over $\mathbb{R}^n$ with smooth norms

2025-11-05T16:59:50Z

We study $p-$Wasserstein spaces $ \mathcal{W}_p(\mathbb{R}^n, d_N)$ over $\mathbb{R}^n$ equipped with a norm metric $d_N$. We show that, if the norm is smooth enough, then the Wasserstein space is isometrically rigid whenever $p \neq 2$. We also show that, even when $p=2$, we can recover the isometric rigidity of the Wasserstein space $\mathcal{W}_2(\mathbb{R}^n, d_N)$ when $N$ is an $l_q-$norm and $q>2$.

Higher-Order Reverse Isoperimetric Inequalities for Log-concave Functions

2025-11-05T16:29:47Z

The Rogers-Shephard and Zhang's projection inequalities are two reverse, affine isoperimetric-type inequalities for convex bodies. Following a classical work by Schneider, both inequalities have been extended to the so-called $m$th-order setting. In this work, we establish the $m$th-order analogues for these inequalities in the setting of log-concave functions. Our proof of the functional Zhang's projection inequality employs properties of the asymmetric LYZ body, significantly streamlining the argument and producing a novel approach for the case $m=1$. Furthermore, we introduce and analyze the radial mean bodies of a log-concave function, thereby providing a functional generalization of Gardner and Zhang's radial mean bodies. These are new even in the case $m=1$. Our development leverages an extension of Ball bodies, which may be of independent interest.

Distances between non-symmetric convex bodies: optimal bounds up to polylog

2025-11-05T15:02:31Z

We show that the non-symmetric Banach-Mazur distance between two convex bodies $K_1, K_2 \subseteq \mathbb{R}^n$ satisfies $$ d_{BM}(K_1, K_2) \leq C n \cdot \log^α (n+1), $$ for universal constants $C, α> 0$. This improves upon the earlier bound $C n^{4/3} \log^α (n+1)$ due to Rudelson. Up to polylogarithmic factors, our estimate is optimal and it also matches the optimal bound in the centrally-symmetric case which is realized in the John position, as proven by Gluskin. The bound above for the Banach-Mazur distance is attained when both bodies are in a ``random isotropic position'', that is, in isotropic position after a random rotation. Our proof is based on an $M$-bound in the isotropic position, which complements E. Milman's $M^*$-bound. In addition, we consider the partial containment distance $d_{PC}(K_1, K_2)$ between two convex bodies $K_1, K_2 \subseteq \mathbb{R}^n$, where the Banach-Mazur requirement to contain $100\%$ of the other body is relaxed to $99\%$-containment. We prove that for any pair of convex bodies $K_1, K_2 \subseteq \mathbb{R}^n$, $$ d_{PC}(K_1, K_2) \leq C \log^α (n+1), $$ and that any isotropic position of $K_1$ and $K_2$ yields this polylogarithmic bound for $d_{PC}$.

A new proof of the Lemmens-Seidel conjecture

2025-11-05T12:05:13Z

In this paper, we give a new proof of the Lemmens-Seidel conjecture on the maximum number of equiangular lines with a common angle $\arccos(1/5)$. This conjecture was previously resolved by Cao, Koolen, Lin, and Yu in 2022 through an analysis involving forbidden subgraphs for the smallest Seidel eigenvalue $-5$. Our new proof is based on bounds on eigenvalue multiplicities of graphs with degree no larger than $14$. To control the maximum degree of the graph associated with equiangular lines, we employ a recent inequality of Balla derived by matrix projection techniques. Our strategy also leads to a new proof for the classical result obtained by Lemmens and Seidel in 1973 for the case where the common angle is $\arccos(1/3)$.