https://arxiv.org/api/pSB+laFa1WIxo1SAkpkbZDW9JO8 2026-06-13T14:15:17Z 13040 45 15 http://arxiv.org/abs/2606.04112v2 2026-06-04T22:12:58Z

We give a sharp lower bound for the total mean curvature of a convex hypersurface in Euclidean space in terms of the length of a shortest nontrivial closed geodesic, generalizing a result of Álvarez Paiva for convex surfaces. This result is based on a sharp lower bound for the mean width of a convex hypersurface in terms of its Birkhoff invariant, which gives sharp lower bounds for a broader array of total curvature functionals. We also characterize spheres as the unique convex hypersurfaces whose planar sections containing chords of maximal length are all as long as possible.

2026-06-02T18:19:20Z 15 pages; minor edits throughout, including to the references James Dibble Joseph Ansel Hoisington http://arxiv.org/abs/2602.05841v2 2026-06-04T20:21:17Z

We generalize Voronoi's theory of perfect quadratic forms to generalized copositive matrices over a full-dimensional closed convex cone K, by introducing a K-copositive minimum and perfect K-copositive matrices. We consider a key feature of a given cone, which we call Interior Ryshkov (IR) property. Under this property the classical theory and its applications generalize nicely and we prove that rationally generated cones possess this IR property. For contrast, we give a detailed example of a simple cone without the IR property, showing various differences to the classical case. Moreover, this example yields connections to questions of number theory, in particular to Diophantine approximation and the Pell Equation. Finally, as an application, we give inner and outer polyhedral approximations for the generalized completely positive cone and a method to find rational certificates for (non-)membership in this cone.

2026-02-05T16:28:36Z 19 pages, 3 figures; revised version according to referee comments Alexander Oertel Achill Schürmann http://arxiv.org/abs/2310.12091v4 2026-06-04T19:13:03Z

We verify a construction which, for $\Bbb K$ the reals, complex numbers, quaternions, or octonions, builds a spherical $t$-design by placing a spherical $t$-design on each $\Bbb K$-projective or $\Bbb K$-Hopf fiber associated to the points of a $\lfloor t/2\rfloor$-design on a quotient projective space $\Bbb{KP}^n\neq\Bbb{OP}^2$ or sphere. This generalizes work of König and Kuperberg, who verified the $\Bbb K=\Bbb C$ case of the projective settings, and of Okuda, who (inspired by independent observation of this construction by Cohn, Conway, Elkies, and Kumar) verified the $\Bbb K=\Bbb C$ case of the generalized Hopf settings.

2023-10-18T16:36:39Z 19 pages, 5 figures. Postprint version Discrete Comput. Geom. 75 (2026), 950-968 Ayodeji Lindblad 10.1007/s00454-025-00805-7 http://arxiv.org/abs/2606.06400v1 2026-06-04T17:07:07Z

The extension of the analytic fractal curve trees of (2601.17490} to analytic surface patch trees reveals a new geometric structure: branch points are replaced by interface curves that transmit the full analytical state of parent patches to their children. These interfaces prove to be central in determining the topology of the surface patch trees, including for the conditions for self-similarity of the interfaces, the patches and thus the trees. We establish the analytic conditions for the integrability and well-posedness of the surface patch trees and introduce further restrictions for conformality. We demonstrate that patch trees have a natural foliation that slices the trees into one dimensional curve trees, each of which has their own Hausdorff dimension, jointly creating a smooth dimension field. We extend the two dimensional surface model to arbitrary dimensions $n$ where $n-1$ interface manifolds transport the $n$ field state of the parent patches to their child branches. We note that the balance or discrepancy between patch field dimension and the dimensions in which the branches may evolve, determine the analytical regime from essentially geometrical to essentially operational.

2026-06-04T17:07:07Z Henk Mulder http://arxiv.org/abs/2606.06291v1 2026-06-04T15:29:10Z

In this paper we present a sharp mixed inequality relating successive minima and quotient covering radii of origin-symmetric convex bodies with respect to lattices. The inequality interpolates between the (classical) covering-density lower bound and the lower bound in Minkowski's second theorem.

2026-06-04T15:29:10Z 12 pages, 1 figure Aled Williams http://arxiv.org/abs/2504.09503v4 2026-06-04T14:12:12Z

For $p>1$, we introduce the cutoff Sobolev inequality on general metric measure spaces, and prove that there exists a metric measure space endowed with a $p$-energy that satisfies the chain condition, the volume regular condition with respect to a doubling scaling function $Φ$, and that both the Poincaré inequality and the the cutoff Sobolev inequality with respect to a doubling scaling function $Ψ$ hold if and only if $$\frac{1}{C}\left(\frac{R}{r}\right)^p\le\frac{Ψ(R)}{Ψ(r)}\le C\left(\frac{R}{r}\right)^{p-1}\frac{Φ(R)}{Φ(r)}\text{ for any }r\le R.$$ In particular, given any pair of doubling functions $Φ$ and $Ψ$ satisfying the above inequality, we construct a metric measure space endowed with a $p$-energy on which all the above conditions are satisfied. As a direct corollary, we prove that there exists a metric measure space which is $d_h$-Ahlfors regular and has $p$-walk dimension $β_p$ if and only if $$p\leβ_p\le d_h+(p-1).$$ Our proof builds on the Laakso-type space theory, which was recently developed by Murugan [Ann. Probab., to appear].

2025-04-13T10:00:51Z 50 pages. Minor revision: a small gap in the proof of Proposition 8.9 has been fixed, and the references have been updated Meng Yang http://arxiv.org/abs/2606.04482v2 2026-06-04T12:07:43Z

Myroshnychenko, Tatarko, and Yaskin constructed a body $K$ in $\mathbb{R}^n$, $n \geq 5$, with the property that there is exactly one hyperplane $H$ passing through $c(K)$, the centroid of $K$, such that the centroid of $K\cap H$ coincides with $c(K)$. This construction provided answers to questions of Grünbaum and Loewner for $n\geq 5$, which are still open in dimensions $3$ and $4$. We study analogues of these questions in the settings of hyperbolic space $\mathbb H^n$ and $s$-concave functions on $\mathbb R^n$.

2026-06-03T05:56:32Z Yu Huang Sergii Myroshnychenko Kateryna Tatarko Vladyslav Yaskin http://arxiv.org/abs/2606.06064v1 2026-06-04T12:05:17Z

Let $a_L(n)$ be the maximum number of regions into which $n$ lollipops divide the plane. Paulsen introduced a second obstruction for this problem, based on pairs of circles meeting at obtuse angle, in addition to the stem-direction obstruction of Cutler-Karlsson-Sloane. We recast Paulsen's argument as a weighted problem for two graphs: a $K_4$-free graph $D$ of non-close stem pairs and a $K_5$-free graph $E$ of non-intriguing circle pairs. For the total number $C$ of pairwise crossings, $$ C\le 4\binom n2+|D|+|E|+|D\cap E|. $$ Paulsen bounds the final term by $|D|$. We keep the overlap term and analyze near-extremal configurations of $D$ and $E$. This closes all of Paulsen's remaining gaps up to $n=17$, and also closes $n=19$: $$ \begin{array}{c} a_L(0),a_L(1),\ldots,a_L(17)\\ =1,2,10,25,45,71,104,142,186,237,294,356,425,500,580,667,761,859, \end{array} $$ and $$ a_L(19)=1076. $$ The same method gives the one-region gaps $$ 964\le a_L(18)\le965,\qquad 1193\le a_L(20)\le1194. $$

2026-06-04T12:05:17Z 11 Pages, including appendix Siddhartha Mahajan Paras Chopra http://arxiv.org/abs/2606.04458v2 2026-06-04T10:16:32Z

Brass and Sharifi proved the lower bound 0.832 for the convex form of Lebesgue's universal cover problem by combining geometric estimates with a computer search over placements of a disk, an equilateral triangle, and a regular pentagon. This paper gives a certificate-based reproduction of that computation. The finite record consists of an adaptive ledger, a terminal-route replay, three local lower-bound certificate families, compact integrity audits for large tables, and a proof-obligation layer connecting the replayed data to the lower-bound statement. Under the specified verifier, acceptance of the finite certificate implies the Brass$-$Sharifi convex lower bound $α_{cvx} \ge 0.832$. The certificate concerns only the convex Brass$-$Sharifi lower bound statement: it claims neither a numerical improvement nor a lower bound for the unrestricted nonconvex problem, and proof-assistant formalization and independent external verification remain outside the present scope.

2026-06-03T05:06:28Z Niantao Xie http://arxiv.org/abs/2606.05105v2 2026-06-04T09:51:42Z

We prove that there is a universal constant $c > 0$ such that, along an infinite sequence of dimensions $N$, there are lattice sphere packings in $\mathbb{R}^N$ of density at least $c N^2 \log\log N \, 2^{-N}$, improving the previous best bound due to Klartag by a $\log\log N$ factor. The proof follows Klartag's stochastic ellipsoid evolution process, subject to the cyclotomic symmetries introduced by Venkatesh.

2026-06-03T17:07:07Z Statement of AI use included. The first author is using a pseudonym. Chat log is in the ancillary files as a pdf Elisha B. Abuya Nihar Gargava Yufei Zhao http://arxiv.org/abs/2511.01504v3 2026-06-04T08:05:55Z

The investigation of the volume, surface area, and other geometric properties of sections of convex bodies, and in particular cubes, has a long history and a rich literature. However, much less is known when the cube has a volume distribution that is different from the Lebesgue measure; for example, a Gaussian density. We study the probability densities in the standard cube $B^n_\infty=[-1,1]^n$ of $\mathbb R^n$ generated by $e^{-b\|x\|^2}$, $b> 0$. We prove that the limit of the induced Gaussian-type volume of hyperplane sections of $B^n_\infty$ through the origin and orthogonal to a main diagonal is \[ \sqrt{\frac bπ}\left (1-4\frac{e^{-b}\sqrt{b}}{2\sqrtπ\mathrm{erf}(\sqrt{b})}\right)^{-\frac12}, \] as $n\to\infty$. This extends the well-known result of Hensley (1979) for the Lebesgue measure and continues the investigations initiated by Barthe, Guédon, Mendelson, Naor (2005), Zvavitch (2008), and König, Koldobski (2013).

2025-11-03T12:18:23Z Ferenc Fodor Bernardo González Merino http://arxiv.org/abs/2412.05308v2 2026-06-04T07:23:18Z

The longstanding Godbersen's conjecture states that for any convex body $K \subset \mathbb R^n$ of volume $1$ and any $j \in \{0, \ldots, n\}$, the mixed volume $V_j = V(K[j], -K[n - j])$ is bounded by $\binom{n}{j}$, with equality if and only if $K$ is a simplex. We demonstrate that several consequences of this conjecture are true: certain families of linear combinations of the $V_j$, arising from different geometric constructions, are bounded above by their values when one substitutes $\binom{n}{j}$ for $V_j$, with equality if and only if $K$ is a simplex. One of our results implies that for any $K$ of volume $1$ we have $\frac{1}{n + 1} \sum_{j = 0}^n \binom{n}{j}^{-1} V_j \le 1$, showing that Godbersen's conjecture holds ''on average'' for any body. Another result generalizes the well-known Rogers-Shephard inequality for the difference body.

2024-11-27T18:16:40Z 14 pages. Final preprint, with theorems numbered as in the published version. Expanded version of arXiv:1703.06403 Proc. AMS 153:12 (2025), 5345-5359 Shiri Artstein-Avidan Eli Putterman 10.1090/proc/17428 http://arxiv.org/abs/2606.05550v1 2026-06-04T01:04:23Z

Many physical systems with or without nonholonomic constraints have a Lagrangian description. In the first case, the Lagrangian model can be represented by second-order ODEs that are constrained to a submanifold of velocities; in the latter case the ODEs are unconstrained. In this paper, using geometric techniques, we address the more general inverse problem: ``When can a given constrained or unconstrained system of second order ODEs on a manifold be the representation of a Lagrangian model?''. We show that the constrained case has many more ambiguities and complexities than its well-understood, unconstrained counterpart.

2026-06-04T01:04:23Z G. E. Prince T. Mestdag D. Martin de Diego http://arxiv.org/abs/2603.23460v2 2026-06-03T22:27:58Z

Classical results of Hausmann and Latschev show that Vietoris-Rips complexes can recover the homotopy type of a manifold, even from finite metric spaces that are nearby in Gromov-Hausdorff distance. We prove persistent homotopical versions of these theorems for metric spaces equipped with filtration functions. The central object of study is the so-called persistent homotopy type of the function-Rips complex, a filtered simplicial complex that combines a fixed Rips scale with the filtration data on the underlying space. Using techniques from CAT($κ$)-geometry and persistent simplicial homotopy theory, we generalize Latschev's and Hausmann's theorems to the setting of spaces with filtration functions and homotopical interleavings. A fundamental ingredient is a new homotopical stability theorem. The fixed-scale function-Rips construction is known not to be globally stable with respect to function Gromov-Hausdorff distance and homotopical interleaving distance. Here, we show that it is nevertheless stable for appropriate choices of the Rips parameter at such pairs $(M,f)$ for which $M$ is a complete metric space of curvature bounded above, and $f$ is a Lipschitz continuous multivariate function.

2026-03-24T17:30:38Z This is the upcoming full journal version, whereas the previous one served to present additional material for the SoCG conference proceedings version Steve Oudot Lukas Waas http://arxiv.org/abs/2606.05089v1 2026-06-03T16:54:08Z

In this article, we prove a rigidity result for quasi-isometric embeddings from a random subset $D$ of the product $\mathbb{X}$ of two regular trees into $\mathbb{X}$ itself. This can be seen as an extension of Eskin's quasi-isometric rigidity of higher-rank nonuniform lattices to random subsets. As a consequence, we give a description of the self-quasi-isometric embeddings of a random sample. We also show that two independent samples are almost surely non-quasi-isometric, confirming that such a phenomenon occurs in the higher-rank setting, as suggested by Abért. This result contrasts with the result on quasi-isometric equivalence between random sequences by Basu and Sly.

2026-06-03T16:54:08Z Zhiqiang Li Ranfeng Yu Tianyi Zheng