https://arxiv.org/api/2xVvvJyG68AEuSgbijOV5F1XfMc 2026-06-14T20:26:42Z 13040 465 15 http://arxiv.org/abs/2603.15785v1 2026-03-16T18:12:20Z

Fréchet means are a popular type of average for non-Euclidean datasets, defined as those points which minimise the average squared distance to a set of data points. We consider the behaviour of sample Fréchet means on normed spaces whose unit ball is a polytope; this setting is rarely covered by existing literature on Fréchet means, which focuses on smooth spaces or spaces with bounded curvature. We study the geometry of the set of Fréchet means over polytope normed spaces, with a focus on dimension and probabilistic conditions for uniqueness. In particular, we provide a geometric characterisation of the threshold sample size at which Fréchet means have a positive probability of being unique, and we prove that this threshold is at most one more than the dimension of our space. We are able to use this geometric characterisation to compute the unique Fréchet mean sample threshold in the case of the $\ell_\infty$ and $\ell_1$ norms.

2026-03-16T18:12:20Z 28 pages, 1 figure Roan Talbut Andrew McCormack Anthea Monod http://arxiv.org/abs/2603.15549v1 2026-03-16T17:10:11Z

We present a substitution rule for a rhomb tiling with 10-fold rotational symmetry. The tiling is closely related to the Penrose rhomb tilings and can be obtained from the pentagrid construction. We introduce a finite set of marked prototiles and describe an explicit substitution rule with inflation factor phi^3. Our main result is that the substitution is recognizable, so that the hierarchical structure of the tiling can be uniquely recovered from local configurations. Finally, we describe the relation between the tiling and the pentagrid construction.

2026-03-16T17:10:11Z 7 pages, 5 figures Miki Imura http://arxiv.org/abs/2603.15264v1 2026-03-16T13:31:20Z

We show that any universal quasigeodesic cone of uniformly coarse median spaces admits a canonical coarse median structure. As an application, we recover a result of Bowditch which states that any hierarchically hyperbolic space admits a coarse median structure compatible with the projections to the hyperbolic factor spaces.

2026-03-16T13:31:20Z 12 pages Robert Tang http://arxiv.org/abs/2603.15145v1 2026-03-16T11:40:12Z

The oloid is defined as the convex hull of two unit circles in perpendicular planes, each passing through the center of the other. In this paper we derive an analytical expression for the moment of inertia tensor of an oloid with uniform density and confirm the result numerically.

2026-03-16T11:40:12Z 4 pages, 2 figures Sander G. Huisman http://arxiv.org/abs/2603.15098v1 2026-03-16T10:50:33Z

In this survey we present the history and recent progress on several fundamental (quasi)conformal uniformization problems in the complex plane. Uniformization refers to the process of mapping a space to a canonical model by means of a well-behaved transformation that preserves the geometry and distorts shapes in a controlled fashion. A central problem in the area is Koebe's conjecture, which remains open after almost 120 years and predicts that each planar domain can be conformally mapped to a circle domain -- that is, a domain whose complementary components are points or closed disks. We trace the history of the conjecture, outline recent developments, and examine the associated uniqueness problem. We also discuss variants, with particular emphasis on the question whether a compact set can be mapped by a quasiconformal self-map of the plane to a Schottky set -- that is, a set in the plane whose complement is the union of disjoint open disks.

2026-03-16T10:50:33Z 31 pages, 17 figures, 2 tables Dimitrios Ntalampekos http://arxiv.org/abs/2603.14663v1 2026-03-15T23:35:15Z

We present a formal verification of the classical isoperimetric inequality in the plane using the Lean 4 proof assistant and its mathematical library Mathlib. We follow Adolf Hurwitz's analytic approach to establish the inequality $L^2 \ge 4πA$, which states that among all simple closed curves of a given perimeter $L$, the circle uniquely maximizes the enclosed area $A$. The formalization proceeds in two phases. In the first phase, we establish the Fourier-analytic foundations required by Hurwitz's approach: we formalize orthogonality relations for trigonometric functions over $[-π,π]$, Parseval's theorem for classical Fourier series, uniform convergence of Fourier partial sums via the Weierstrass M-test, term-by-term differentiability, and Wirtinger's inequality. In the second phase, we carry out Hurwitz's proof itself: working with simple closed $C^1$ curves given in arc-length parametrization, we reparametrize over $[0,2π]$, establish the shoelace area formula, apply integration by parts, invoke the AM--GM inequality, apply Wirtinger's inequality, and use the arc-length constraint to derive the bound $A \le L^2/(4π)$. We discuss the key formalization challenges encountered, including the interchange of infinite sums and integrals, term-by-term differentiation, and the coordination of different indexing conventions within Mathlib. The complete formalization is available at https://github.com/mirajcs/IsoperimetricInequality

2026-03-15T23:35:15Z Miraj Samarakkody http://arxiv.org/abs/2602.03162v4 2026-03-15T16:24:39Z

We present a structural resolution to the exact evaluation of the partition function $p_k(n)$, systematically overcoming the limitations of traditional recursive and asymptotic methods. By framing the partition polytope $\mathcal{P}_{n,k}$ within the theory of rational polytopes and Ehrhart foliation, we prove that its discrete volume is exactly captured by a geometric Simplicial Spectral Decomposition. We establish the Rational Structure Theorem, demonstrating that the generating function of the spectral weights is a proper rational function defined rigorously over cyclotomic fields. Through partial fraction decomposition over complex roots of unity, we derive a strictly closed-form, non-iterative mathematical formula (The Compact Bonelli Identity). This rigorously proves that the strict arithmetic complexity of evaluating $p_k(n)$ is identically $O(1)$ with respect to $n$. Furthermore, we formally address the spatial complexity bottleneck for astronomically large $k$ by introducing a spatial memory reduction theory via Sylvester-Ramanujan waves, reducing the memory footprint to strictly $O(k)$. We additionally extend this structural framework to the unrestricted partition function $p(n)$, deriving an exact $O(\sqrt{n})$ closed form via Durfee squares, and establish its asymptotic limit as the geometric foundation of Euler's Pentagonal Number Theorem. Finally, we explicitly translate this additive framework into multiplicative number theory, establishing a geometric extraction of the divisor function $σ(n)$ and an exact non-recursive polyhedral closed form for the prime-counting function $π(x)$. In doing so, we formally identify a unique geometric basis of Ehrhart quasi-polynomials bridging continuous polyhedra and discrete arithmetic.

2026-02-03T06:28:24Z 31 pages, 3 figs, 7 tables. Major expansion: analytic Faulhaber-Ehrhart resolution for strict O(1) restricted partitions $p_k(n)$, exact $O(\sqrt{n})$ Durfee-Ehrhart form for unrestricted $p(n)$, and non-recursive Wronski-Newton determinantal form for prime-counting $π(x)$. Appendices upgraded with exact-rational Python solvers proving O(1) execution and memory decoupling Antonio Bonelli http://arxiv.org/abs/2407.13234v3 2026-03-15T12:42:18Z

We introduce the notion of Karamata regular operators, which is a notion of regularity that is suitable for obtaining concrete convergence rates for common fixed point problems. This provides a broad framework that includes, but goes beyond, Hölderian error bounds and Hölder regular operators. By concrete, we mean that the rates we obtain are explicitly expressed in terms of a function of the iteration number $k$ instead, of say, a function of the iterate $x^k$. While it is well-known that under Hölderian-like assumptions many algorithms converge linearly/sublinearly (depending on the exponent), little it is known when the underlying problem data does not satisfy Hölderian assumptions, which may happen if a problem involves exponentials and logarithms. Our main innovation is the usage of the theory of regularly varying functions which we showcase by obtaining concrete convergence rates for quasi-cylic algorithms in non-Hölderian settings. This includes certain rates that are neither sublinear nor linear but sit somewhere in-between, including a case where the rate is expressed via the Lambert W function. Finally, we connect our discussion to o-minimal geometry and show that, under mild assumptions, definable operators in any o-minimal structure are always Karamata regular.

2024-07-18T07:44:45Z 52 pages. Minor fixes. To appear in Mathematical Programming Tianxiang Liu Bruno F. Lourenço http://arxiv.org/abs/2603.14119v1 2026-03-14T21:10:53Z

We provide an upper and lower bound for the length of Maximum Distance Problem minimizers in terms of a finite scale geometric square sum.

2026-03-14T21:10:53Z 16 pages, 3 figures Enrique Alvarado Silvia Ghinassi Lisa Naples http://arxiv.org/abs/1704.05867v5 2026-03-13T06:58:21Z

Integrating a product of linear forms over the unit simplex can be done in polynomial time if the number of variables n is fixed (V. Baldoni et al., 2011). In this note, we highlight that this problem is equivalent to obtaining the normalizing constant of state probabilities for a popular class of Markov processes used in queueing network theory. In light of this equivalence, we survey existing computational algorithms developed in queueing theory that can be used for exact integration. For example, under some regularity conditions, queueing theory algorithms can exactly integrate a product of linear forms of total degree N by solving N systems of linear equations.

2017-04-19T18:05:04Z Giuliano Casale http://arxiv.org/abs/2603.12495v1 2026-03-12T22:25:43Z

We review a certain problem on covering triangles in the plane. Equivalently, it can be viewed as a family of 'isobilliard' inequalities in convex shapes, and as a special case of Viterbo's conjecture in symplectic geometry. We give an elementary overview of these topics and, using the optics of the covering problem, we establish several new special cases of Viterbo's conjecture, provide a simple explanation of the counterexample of Haim-Kislev and Ostrover, and state a few open questions. The main novel result is a proof of Viterbo's conjecture for lagrangian products $K \times Q$, where $Q \subset \mathbb{R}^2$ is any quadrilateral and $K \subset \mathbb{R}^2$ is any convex shape.

2026-03-12T22:25:43Z 29 pages, 13 figures Alexey Balitskiy Ivan Mitrofanov Alexander Polyanskii http://arxiv.org/abs/2603.12425v1 2026-03-12T20:17:09Z

For regular continued fractions (CFs), points with finite expansions are exactly the rationals and, by Lagrange's theorem, points with eventually-periodic expansions are exactly the roots of non-degenerate quadratic equations with integer coefficients. We extend both results to proper and discrete Iwasawa CFs, including real, complex, 3D, quaternionic, octonionic, and Heisenberg CFs. Namely, the following three conditions are equivalent for a point $p$: $p$ has a finite expansion, $p\in \mathcal M(\infty)$ for the appropriate modular group $\mathcal M$, and $p$ is a fixed point of a parabolic transformation in $\mathcal M$. Eventually-periodic points correspond exactly to fixed points of loxodromic elements of $\mathcal M$, which can be interpreted as roots of non-degenerate quadratics using the Clifford Algebra formalism of Ahlfors. In particular, this provides a new geometric proof of Lagrange's theorem for nearest-integer real CFs and Hurwitz complex CFs. Lastly, we comment on generalizations of the identity $i+1/i=0$.

2026-03-12T20:17:09Z 20 pages, 1 figure Anton Lukyanenko Joseph Vandehey http://arxiv.org/abs/2512.04933v2 2026-03-12T16:24:29Z

The volume of the unit balls of self-adjoint finite-dimensional Schatten $p$-classes of $n\times n$-matrices, $1\le p\le \infty$, is only known exactly for $p=2$ and $p=\infty$. We give an asymptotic expansion of the logarithmic volume to order $o(n)$ for general $p>1$. The proof rests on asymptotics for the partition function of $β$-ensembles due to Leblé and Serfaty [Invent. Math. 210(3):645--757, 2017]. Independently, the case $p\ge 2$ was obtained by Dworaczek Guera, Memin and Pain [arXiv:2511.05386]. In the complex case the asymptotic expansion is continued to order $O(1)$ for all $p\ge 1$.

2025-12-04T16:02:47Z 14 pages; statement and presentation slightly extended, typos corrected Mathias Sonnleitner http://arxiv.org/abs/2602.23350v2 2026-03-12T16:10:19Z

We prove that if a sufficiently regular even log-concave measure satisfies a certain stronger form of the dimensional Brunn-Minkowski conjecture, then it also satisfies the (B)-conjecture. Furthermore, we show that hereditarily convex measures satisfy the aforementioned strengthened form, therefore providing an alternative proof of a recent result by Cordero-Erausquin and Eskenazis stating that a hereditarily convex measure satisfies both conjectures.

2026-02-26T18:53:31Z Comments are welcome! v2: Fixed some typographical errors, added further references and made the exposition clearer Sotiris Armeniakos Jacopo Ulivelli http://arxiv.org/abs/2603.12093v1 2026-03-12T16:00:51Z

This paper extends graphic statics by describing the forces and moments in any 3D rigid-jointed frame structure in terms of cell complexes using homology theory of algebraic topology. Graphic statics provides a highly geometric way to represent the equilibrium in bar structures. Unlike traditional matrix-based linear structural analysis which represents a structure as a set of nodes connected by bars, graphic statics imagines that the bar network defines a variety of higher-dimensional objects (polygonal faces, polyhedral cells, polytopes). These objects are related to piecewise-linear stress functions, the liftings of Maxwell, Rankine or Cremona. The requirement for such stress-functions to be plane-faced places a major limitation on the set of structures that can be analysed, as in many structures the spaces between bars do not correspond to flat polygonal regions. The CW-complexes of cellular homology provide a far-reaching generalisation of geometric notions such as polygons, polyhedra and polytopes, and their use here removes the requirement that spaces between bars must be flat. Here we demonstrate how any frame structure with bar-like members can be decomposed into a union of closed loops, each consisting of a closed circuit of bars. For general structures these loops are general closed space curves which cannot be spanned by flat polygons. Using chains of CW-complexes makes the new theory applicable to a much richer set of structural geometries. Unlike most descriptions of graphic statics, this approach is not restricted to purely axial forces. Shear forces, bending moments and torsional moments are included naturally, as described in Part 1 of this sequence of papers. Later papers will extend the approach to displacements, rotations and Virtual Work, and will give greater detail on how the loop formalism may be lifted toinvolve higher dimensional CW-complexes.

2026-03-12T16:00:51Z 16 pages, 11 figures Allan McRobie