https://arxiv.org/api/vp/nhRzc6VTQoYQjP+mf3C2HRts 2026-03-20T12:42:04Z 12756 30 15 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.14134v1 2026-03-14T21:42:45Z

In 1998, R. Gardner and G. Zhang introduced the radial $p$th mean bodies $R_p K$ of a convex body $K\subset \mathbb{R}^n$ for $p>-1$. Furthermore, they established that $R_p K$ is convex for $p\geq 0$, but the convexity of $R_p K$ for $p\in (-1,0)$ remained unresolved. In this work, we answer this nearly 30-year-old question in the affirmative using Prékopa's theorem. Along the way, we provide a new proof of Keith Ball's theorem on integrals of log-concave functions along rays against the weight $r^{p-1}$ and extend it to $p\in (-1,0)$: if $g$ is an integrable, log-concave function which attains its maximum at the origin, with the origin lying in the interior of its support, then \[ x\mapsto \left(\frac{p}{g(o)}\int_{0}^{+\infty}r^{p-1}(g(rx)-g(o))\mathrm{d}\,r\right)^{-\frac{1}{p}} \] is a finite, positively 1-homogeneous convex function on $\mathbb{R}^n$, i.e. a gauge.

2026-03-14T21:42:45Z 19 pages, comments welcome! Keywords: Radial Mean Bodies, Rogers-Shephard inequality, Zhang's projection inequality, log-concave functions, difference body, polar projection body, Prékopa's Theorem Dylan Langharst 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/2603.10501v2 2026-03-13T13:10:43Z

We show that quantum cellular automata naturally form the degree-zero part of a coarse homology theory. The recent result of Ji and Yang that the space of QCA forms an Omega-spectrum in the sense of algebraic topology is a direct consequence of the formal properties of coarse homology theories.

2026-03-11T07:53:49Z 30 pages Matthias Ludewig 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 http://arxiv.org/abs/2603.11822v1 2026-03-12T11:33:21Z

The badly approximable points in $\mathbb{R}^d$ are those for which Dirichlet's approximation theorem cannot be improved by more than a constant, that is, they are the points most difficult to approximate by rational vectors. An important problem in Diophantine approximation is to determine when the set of badly approximable points intersects a given set in full dimension. We find the first class of non-linear non-conformal attractors for which this full intersection property holds, thus answering a question of Das-Fishman-Simmons-Urbański from 2019. We also provide a formula for the Hausdorff dimension of these attractors which is of independent interest.

2026-03-12T11:33:21Z 23 pages, 1 figure. Comments are appreciated! Roope Anttila Jonathan M. Fraser Henna Koivusalo http://arxiv.org/abs/2502.20487v2 2026-03-12T11:07:55Z

The averaged distance structure of one-dimensional regular model sets is determined via their pair correlation functions. The latter lead to covariograms and cross covariograms of the windows, which give continuous functions in internal space. While they are simple tent-shaped, piecewise linear functions for intervals, the typical case for inflation systems leads to convolutions of Rauzy fractals, which are difficult to compute. In the presence of an inflation structure, an alternative path is possible via the exact renormalisation structures of the pair correlation functions. We introduce this approach and derive two concrete examples, which display an unexpectedly complex and wild behaviour.

2025-02-27T19:53:03Z 19 pages, 6 figures, 2 tables; revised version with some additions Michael Baake Anna Klick Jan Mazáč 10.1017/S1446788726101451 http://arxiv.org/abs/2505.02790v2 2026-03-12T10:30:56Z

We observe that the diameter of small (in a locally uniform sense) balls in $C^{1,1}$ sub-Riemannian manifolds equals twice the radius. We also prove that, when the regularity of the structure is further lowered to $C^0$, the diameter is arbitrarily close to twice the radius. Both results hold independently of the bracket-generating condition.

2025-05-05T17:04:02Z 6 pages Marco Di Marco Gianluca Somma Davide Vittone http://arxiv.org/abs/2106.15621v9 2026-03-11T23:19:50Z

In this paper, we show that the number of points that can be placed in the grid $n\times n\times \cdots \times n~(d~times)=n^d$ for all $d\in \mathbb{N}$ with $d\geq 2$ so that no three points are collinear satisfies the lower bound \begin{align} \gg n^{d-1}\sqrt[2d]{d}.\nonumber \end{align} This extends the result of the no-three-in-line problem to all dimension $d\geq 3$.

2021-06-29T15:17:00Z 11 pages; the paper has been reformatted and introduction expanded; ideas remain unchanged; arXiv admin note: substantial text overlap with arXiv:2006.05269, arXiv:1912.08075, arXiv:2002.00502 Theophilus Agama http://arxiv.org/abs/2510.04579v2 2026-03-11T19:54:41Z

The Busemann function has recently found much interest in a variety of geometric machine learning problems, as it naturally defines projections onto geodesic rays of Riemannian manifolds and generalizes the notion of hyperplanes. As several sources of data can be conveniently modeled as probability distributions, it is natural to study this function in the Wasserstein space, which carries a rich formal Riemannian structure induced by Optimal Transport metrics. In this work, we investigate the existence and computation of Busemann functions in Wasserstein space, which admits geodesic rays. We establish closed-form expressions in two important cases: one-dimensional distributions and Gaussian measures. These results enable explicit projection schemes for probability distributions on $\mathbb{R}$, which in turn allow us to define novel Sliced-Wasserstein distances over Gaussian mixtures and labeled datasets. We demonstrate the efficiency of those original schemes on synthetic datasets as well as transfer learning problems.

2025-10-06T08:31:14Z Published as a conference paper at AISTATS 2026 Clément Bonet Elsa Cazelles Lucas Drumetz Nicolas Courty