On generalized disc-polygons in plane convex bodies with a higher degree of smoothness

2025-09-15T09:03:20Z

We prove power series expansions for the expectations of the number of vertices and missed area of random $L$-convex polygons in planar convex bodies with sufficiently smooth boundaries. Random $L$-convex polygons arise as the intersection of all translates of a fixed convex set $L$ that contain i.i.d. uniform random points from a suitable plane convex body $K$. Our results extend the asymptotic formulas proved in Fodor, Papvári and Vígh (2020) and Fodor and Montenegro (2024), and have consequences about $L$-convex floating bodies and relative affine surface area that were investigated by Schütt, Werner and Yalikun (2025).

Chabauty limits of fixed point groups of $p$-adic involutions

2025-09-14T10:11:07Z

We study Chabauty limits of the fixed-point group of $k$-points $H_k$ associated with an involutive $k$-automorphism $θ$ of a connected linear reductive group $G$ defined over a non-Archimedean local field $k$ of characteristic zero. Leveraging the geometry of the Bruhat--Tits building, the structure of $(θ,k)$-split tori, and the $K\mathcal{B}_kH_k$ decomposition of $G_k$, we establish that any nontrivial Chabauty limit $L$ of $H_k$ is $G_k$-conjugate to a subgroup of $$U_{σ_+}(k) \rtimes (Ker(α)^0 \cdot (H_k \cap M_{σ_{\pm}})) \leq P_{σ_+}(k),$$ where $α$ is a projection map arising from a Levi factor $M_{σ_{\pm}}$ of a parabolic subgroup $P_{σ_+} \subset G$, and $Ker(α)^0$ denotes the subgroup of elliptic elements in the kernel of $α$. Our analysis distinguishes between elliptic and hyperbolic elements and constructs explicit unipotent elements in the limit group $L$ using the Moufang property of $G_k$. Furthermore, we show that $L$ acts transitively on the set of ideal simplices opposite to $σ_+$. These results yield a detailed description of the Chabauty compactification of $H_k$, and provide new insights into its interaction with the non-Archimedean geometry of $G_k$.

Maximum diversity, weighting and invariants of time series

2025-09-14T07:33:05Z

Magnitude, obtained as a special case of Euler characteristic of enriched category, represents a sense of the size of metric spaces and is related to classical notions such as cardinality, dimension, and volume. While the studies have explained the meaning of magnitude from various perspectives, continuity also gives a valuable view of magnitude. Based on established results about continuity of magnitude and maximum diversity, this article focuses on continuity of weighting, a distribution whose totality is magnitude, and its variation corresponding to maximum diversity. Meanwhile, recent studies also illuminated the connection between magnitude and data analysis by applying magnitude theory to point clouds representing the data or the set of model parameters. This article will also provide an application for time series analysis by introducing a new kind of invariants of periodic time series, where the invariance follows directly from the continuity results. As a use-case, a simple machine learning experiment is conducted with real-world data, in which the suggested invariants improved the performance.

Almost isoperimetric extremisers of two subriemannian probability measures

2025-09-13T16:39:05Z

We prove the existence of almost isoperimetric extremisers for two classes of probability measures defined respectively on the Grushin space and a stratified Lie group. It turns out such extremisers can be regarded as a type of anisotropic half-space.

Closed curve covering and multiagent TSP ratios

2025-09-12T18:22:18Z

How efficiently can a closed curve of unit length in $\mathbb{R}^d$ be covered by $k$ closed curves so as to minimize the maximum length of the $k$ curves? We show that the maximum length is at most $2k^{-1} - \frac{1}{4} k^{-4}$ for all $k\geq 2$ and $d \geq 2$. As a first byproduct, we show that $k$ agents can traverse a Euclidean TSP instance significantly faster than a single agent. We thereby sharpen recent planar results by Berendsohn, Kim, and Kozma (2025) and extend these improvements to all dimensions. As a second byproduct, we obtain a linear time approximation algorithm with ratio $2 - \frac{1}{4} k^{-3}$ for covering any closed polygonal curve in $\mathbb{R}^d$ by $k$ closed curves so that the maximum length of an individual curve is minimized.

Holomorphic Curves in Moduli Spaces Are Quasi-Isometrically Immersed

2025-09-12T07:42:40Z

A holomorphic curve in moduli spaces is the image of a non-constant holomorphic map from a hyperbolic surface $B$ of type $(g,n)$ to the moduli space $\mathcal{M}_h$ of closed Riemann surfaces of genus $h$. We show that, when all peripheral monodromies are of infinite order, the holomorphic map is a quasi-isometric immersion with parameters depending only on $g$, $n$, $h$ and the systole of $B$. When peripheral monodromies also satisfy an additional condition, we find a lift quasi-isometrically embedding a fundamental polygon of the hyperbolic surface $B$ into the Teichmüller space. We further improve the Parshin-Arakelov finiteness theorem, by proving that there are only finitely many monodromy homomorphisms induced by holomorphic curves of type $(g,n)$ in $\mathcal{M}_h$ where systole is bounded away from $0$, up to equivalence.

Quantization dimensions of negative order

2025-09-11T15:11:59Z

We investigate the possibility of defining meaningful upper and lower quantization dimensions for a compactly supported Borel probability measure of order $r$, including negative values of $r$. To this end, we use the concept of partition functions, which generalizes the idea of the $L^{q}$-spectrum and in this way naturally extends the work in [M. Kesseböhmer, A. Niemann, and S. Zhu. Quantization dimensions of probability measures via Rényi dimensions. Trans. Amer. Math. Soc. 376.7 (2023)]. In particular, we provide natural fractal geometric bounds as well as easily verifiable necessary conditions for the existence of the quantization dimensions. The exact asymptotics of the quantization error of negative order for absolutely continuous measures are stated, whereby an open question from [S. Graf, H. Luschgy. Math. Proc. Cambridge Philos. Soc. 136, 3 (2004)] regarding the geometric mean error is also answered in the affirmative.

Spaces with Riemannian curvature bounds are universally infinitesimally Hilbertian

2025-09-11T13:42:26Z

We show that a metric space $X$ that, at every point, has a Gromov-Hausdorff tangent with the splitting property (i.e. every geodesic line splits off a factor $\mathbb{R}$), is universally infinitesimally Hilbertian (i.e. $W^{1,2}(X,μ)$ is a Hilbert space for every measure $μ$). This connects the infinitesimal geometry of $X$ to its analytic properties and is, to our knowledge, the first general criterion guaranteeing universal infinitesimal Hilbertianity. Using it we establish universal infinitesimal Hilbertianity of finite dimensional RCD-spaces. We moreover show that (possibly infinite dimensional) Alexandrov spaces are universally infinitesimally Hilbertian and construct an isometric embedding of tangent modules.

Geodesic complexity of the octahedron, and an algorithm for cut loci on convex polyhedra

2025-09-11T02:22:39Z

The geodesic complexity of a length space $X$ quantifies the required number of case distinctions to continuously choose a shortest path connecting any given start and end point. We prove a local lower bound for the geodesic complexity of $X$ obtained by embedding simplices into $X\times X$. We additionally create and prove correctness of an algorithm to find cut loci on surfaces of convex polyhedra, as the structure of a space's cut loci is related to its geodesic complexity. We use these techniques to prove the geodesic complexity of the octahedron is four. Our method is inspired by earlier work of Recio-Mitter and Davis, and thus recovers their results on the geodesic complexity of the $n$-torus and the tetrahedron, respectively.

On the polar of Schneider's difference body

2025-09-10T21:17:33Z

In 1970, Schneider introduced the $m$th-order extension of the difference body $DK$ of a convex body $K\subset\mathbb R^n$, the convex body $D^m(K)$ in $\mathbb R^{nm}$. He conjectured that its volume is minimized for ellipsoids when the volume of $K$ is fixed. In this work, we solve a dual version of this problem: we show that the volume of the polar body of $D^m(K)$ is maximized precisely by ellipsoids. For $m=1$ this recovers the symmetric case of the celebrated Blaschke-Santaló inequality. We also show that Schneider's conjecture cannot be tackled using standard symmetrization techniques, contrary to this new inequality. As an application for our results, we prove Schneider's conjecture asymptotically á la Bourgain-Milman. We also consider a functional version.

Geometry and Stability of Supervised Learning Problems

2025-09-10T18:19:04Z

We introduce a notion of distance between supervised learning problems, which we call the Risk distance. This distance, inspired by optimal transport, facilitates stability results; one can quantify how seriously issues like sampling bias, noise, limited data, and approximations might change a given problem by bounding how much these modifications can move the problem under the Risk distance. With the distance established, we explore the geometry of the resulting space of supervised learning problems, providing explicit geodesics and proving that the set of classification problems is dense in a larger class of problems. We also provide two variants of the Risk distance: one that incorporates specified weights on a problem's predictors, and one that is more sensitive to the contours of a problem's risk landscape.

Each generic polytope in $\mathbb{R}^3$ has a point with ten normals to the boundary

2025-09-10T16:03:23Z

It is conjectured since long that each smooth convex body $\mathbf{P}\subset \mathbb{R}^n$ has a point in its interior which belongs to at least $2n$ normals from different points on the boundary of $\mathbf{P}$. The conjecture is proven for $n=2,3,4$. We treat the same problem for convex polytopes in $\mathbb{R}^3$ and prove that each generic polytope has a point in its interior with at least $10$ normals to the boundary. This bound is exact: there exists a tetrahedron with no more than $10$ normals emanating from a point in its interior. The proof is based on piecewise linear analog of Morse theory, analysis of bifurcations, and some combinatorial tricks.

Skorokhod's topologies on path space

2025-09-10T13:51:59Z

Skorokhod's J1 and M1 topologies are standard tools in proving limit theorems for stochastic processes. Motivated by applications, we extend these topologies so that they are capable of describing the convergence of a sequence of functions that are not all defined on the same domain. Traditionally, the J1 and M1 topologies are defined using time changes. Instead, we base our definitions on the point of view that the graph of a cadlag function can naturally be viewed as a compact set that is equipped with a total order. The distance between two graphs is then measured by matching points on one graph with points on the other graph in a way that respects the total order. We treat the J1 and M1 topologies in a unified framework and simplify the existing theory. We introduce a space of paths, elements of which are cadlag functions defined on an arbitrary closed subset of the real line. We show that this space is Polish and derive compactness criteria. Specialised to functions that are all defined on the same domain, this yields new proofs of known results.

Uniqueness of $S_2$-isotropic solutions to the isotropic $L_p$ Minkowski problem

2025-09-10T13:33:42Z

This paper investigates the spectral properties of the Hilbert-Brunn-Minkowski operator $L_K$ to derive stability estimates for geometric inequalities, including the local Brunn-Minkowski inequality. By analyzing the eigenvalues of $L_K$, we establish the uniqueness of $S_2$-isotropic solutions to the isotropic $L_p$ Minkowski problem in $\mathbb{R}^{n}$ for $\frac{1-3n^2}{2n}\leq p<-n$ with $λ_2(-L_K)\geq \frac{n-1}{2n-1+p}$. Furthermore, we extend this uniqueness result to the range $-2n-1 \leq p<-n$ with $λ_2(-L_K)\geq \frac{-p-1}{n-1}$, assuming the origin-centred condition.

Some New Insights from Highly Optimized Polyhedral Passages

2025-09-09T23:35:26Z

A shape possesses Rupert's property if a hole can be cut through it such that a second identical copy of the shape can cleanly pass straight through the interior of the first. Such a passage proving cubes are Rupert was first shown more than 300 years ago. It remains open whether every polyhedron in three dimensions is Rupert. We propose a customized subgradient method providing high-accuracy local numerical optimization of the quality of a passage for a given polyhedron. From extensive numerical searches, we improve these best-known passages for more than half of the Platonic, Archimedean, and Catalan solids and for numerous Johnson solids. Our high accuracy solves support a new conjecture of a simple form for the Tetrahedron's optimal passage. Despite our computational search, three Archimedean and two Catalan solids remain open, providing further negative evidence against the conjecture that all polyhedrons are Rupert.