https://arxiv.org/api/lFQkvLAL4F9B5NhVCf0dUMmTLkw 2026-06-25T19:06:30Z 13088 1395 15 http://arxiv.org/abs/2310.14998v2 2025-08-06T12:26:17Z

In this paper we continue the study of symplectically self-polar convex bodies started in arXiv:2211.14630. We construct symplectically self-polar convex bodies of the minimal Ekeland-Hofer-Zehnder capacity. This in turn proves that the lower bound for the Ekeland-Hofer-Zehnder capacity for centrally symmetric convex bodies obtained in arXiv:1801.00242 cannot be improved. We also make some numerical experiments and speculations regarding the minimal volume of symplectically self-polar convex bodies.

2023-10-23T14:49:18Z Ann. Math. Québec 49 (2025) 335-353 Mark Berezovik 10.1007/s40316-025-00251-0 http://arxiv.org/abs/2508.04275v1 2025-08-06T10:01:07Z

We study the canonical form $Ω$ as a valuation in the context of scissors congruence for polytopes. We identify the degree of its numerator - the adjoint polynomial $\operatorname{adj}_P$ - as an important invariant in this context. More precisely, for a polytope $P$ we define the degree drop that measures how much smaller than expected the degree of the adjoint polynomial of $P$ is. We show that this drop behaves well under various operations, such as decompositions, restrictions to faces, projections, products and Minkowski sums. Next we define the reduced canonical form $Ω_0$ and show that it is a translation-invariant 1-homogeneous valuation on polytopes that vanishes if and only if $P$ has positive degree drop. Using it we can prove that zonotopes can be characterized as the $d$-polytopes that have maximal possible degree drop $d-1$. We obtain a decomposition formula for $Ω_0$ that expresses it as a sum of edge-local quantities of $P$. Finally, we discuss valuations $Ω_s$ that can distinguish higher values of the degree drop.

2025-08-06T10:01:07Z Tom Baumbach Ansgar Freyer Julian Weigert Martin Winter http://arxiv.org/abs/2312.07105v2 2025-08-06T09:33:22Z

We define a range of new coarse geometric invariants based on various graph-theoretic measures of complexity for finite graphs, including: treewidth, pathwidth, cutwidth and bandwidth. We prove that, for bounded degree graphs, these invariants can be used to define functions which satisfy a strong monotonicity property, namely they are monotonically non-decreasing with respect to a large-scale geometric generalisation of graph inclusion, and as such have potential applications in coarse geometry and geometric group theory. On the graph-theoretic side, we prove asymptotically optimal bounds on most of the above widths for the family of all finite subgraphs of any bounded degree graph whose separation profile is known to be of the form $r^a\log(r)^b$ for some $a>0$. This large class includes Diestel-Leader graphs, all Cayley graphs of non-virtually cyclic polycyclic groups, uniform lattices in almost all connected unimodular Lie groups, and many hyperbolic groups.

2023-12-12T09:35:09Z 32 pages, to appear in the Journal of Graph Theory Wanying Huang David Hume Samuel J. Kelly Ryan Lam http://arxiv.org/abs/2411.10202v3 2025-08-06T09:25:55Z

The symmetrized Asymptotic Mean Value Laplacian $\tildeΔ$, obtained as limit of approximating operators $\tildeΔ_r$, is an extension of the classical Euclidean Laplace operator to the realm of metric measure spaces. We show that, as $r \downarrow 0$, the operators $\tildeΔ_r$ eventually admit isolated eigenvalues defined via min-max procedure on any compact locally Ahlfors regular metric measure space. Then we prove $L^2$ and spectral convergence of $\tildeΔ_r$ to the Laplace--Beltrami operator of a compact Riemannian manifold, imposing Neumann conditions when the manifold has a non-empty boundary.

2024-11-15T14:00:50Z Updated version to appear in JST. 38 pages, all comments welcome Manuel Dias David Tewodrose http://arxiv.org/abs/2508.03887v1 2025-08-05T20:15:43Z

It is well-known that the cross covariogram of two convex bodies in n dimensions is 1/n-concave on its support. This paper provides conditions for strict 1/n-concavity in dimension n>1, and an analysis of how it can fail. Among the implications are that (i.) the cross covariogram of strictly convex bodies is strictly 1/n-concave, unless one body contains a translate of the other in its interior, and (ii.) the cross covariogram of an arbitrary convex body with its reflection through the origin is strictly log-concave.

2025-08-05T20:15:43Z 14 pages, 3 figures Gabriele Bianchi Almut Burchard Lawrence Lin http://arxiv.org/abs/2508.03853v1 2025-08-05T19:10:07Z

If $X=(M_n(\mathbb{R}),\|\cdot\|)$ is a unitarily invariant normed space on , then we prove (via exact computations for a Jacobi orthogonal random matrix ensemble) that the spectral gap of the Laplacian with Dirichlet boundary conditions on the unit ball $B_X$ of $X$ satisfies $λ(X)\asymp n^3 \|I\|^2$. This leads to a confirmation of the weak isomorphic reverse isoperimetry conjecture for $X$, namely, we demonstrate that there exists a convex body $L=L_X\subset B_X$ such that $\mathrm{vol}_{n^2}(L)^{1/n^2}\asymp \mathrm{vol}_{n^2}(B_{X})^{1/n^2}$, yet its isoperimetric quotient is at most a universal constant multiple of $n$. As a corollary (and motivation) of these results, we deduce that the separation modulus of $X$ satisfies $\mathsf{SEP}(X)\asymp \sqrt{n}\|I_n\|_X\mathrm{diam}(B_X)$, where $\mathrm{diam}(B_X)$ is the diameter of $B_X$ with respect to the standard Euclidean metric on $M_n(\mathbb{R})$. Assuming oracle access to norm evaluations in $X$, by combining this with a new deterministic algorithm for efficiently computing a $O(1)$-approximation of the diameter of convex bodies in $\mathbb{R}^n$ that are given by a weak membership oracle and are symmetric with respect to coordinate permutations and reflections about the axes, we obtain an oracle polynomial time algorithm whose output is guaranteed to be the separation modulus of $X$ up to positive universal constant factors. We also deduce an upper bound on the Lipschitz extension modulus of $X$ that improves over the previously best-known bound even in the special case when $X$ is $M_n(\mathbb{R})$ equipped with the $\ell_{2}^n\to \ell_{2}^n$ operator norm.

2025-08-05T19:10:07Z Mustafa Alper Gunes Assaf Naor http://arxiv.org/abs/2508.00729v2 2025-08-05T17:33:44Z

We have been interested in graphs and realizing them as Reeb graphs of explicit real algebraic functions. The Reeb graph of a differentiable function is the quotient space of the manifold of the domain, regarded as the space consisting of all components of preimages of all single points. Reeb graphs have been fundamental and strong tools in geometry of manifolds since the birth of theory of Morse functions, in the former half of the 20th century. We can easily see that the Reeb graph of the natural height of the unit sphere whose dimension is at least $2$ is a graph with exactly one edge and two edges. We are concerned with realizations of graphs decomposed into trees nicely, each vertex of which corresponds to a graph with exactly one edge and two edges or a graph with exactly two edges homeomorphic to a circle.

2025-08-01T15:51:54Z 10 pages, 2 figures, "FIGURE 2" is changed, a kind of errors in our proof is corrected, where our main result is unchanged Naoki Kitazawa http://arxiv.org/abs/2508.03531v1 2025-08-05T15:02:02Z

Barnette's conjecture states that every cubic, bipartite, planar and 3-connected graph is Hamiltonian. Goodey verified Barnette's conjecture for all graphs with faces of size up to 6. We substantially strengthen Goodey's result by proving Hamiltonicity for cubic, bipartite, planar and (2-)connected graphs with faces of size up to 8. Parts of the proof are computational, including a distinction of 339.068.624 cases.

2025-08-05T15:02:02Z 16 pages, 56 figures Tobias Schnieders http://arxiv.org/abs/2507.23671v2 2025-08-04T20:24:59Z

Using the localization technique, we prove a sharp upper bound on the first Dirichlet eigenvalue of metric balls in essentially non-branching $\mathsf{CD}^{\star}(K,N)$ spaces. This extends a celebrated result of Cheng to the non-smooth setting of metric measure spaces satisfying Ricci curvature lower bounds in a synthetic sense, via optimal transport. Rigidity and stability statements are provided for $\mathsf{RCD}^{\star}(K,N)$ spaces; the stability seems to be new even for smooth Riemannian manifolds. We then present some mathematical and physical applications: in the former, we obtain an upper bound on the $j^{th}$ Neumann eigenvalue in essentially non-branching $\mathsf{CD}^{\star}(K,N)$ spaces and a bound on the essential spectrum in non-compact $\mathsf{RCD}^{\star}(K,N)$ spaces; in the latter, the eigenvalue bounds correspond to general upper bounds on the masses of the spin-2 Kaluza-Klein excitations around general warped compactifications of higher-dimensional theories of gravity.

2025-07-31T15:49:18Z We warmly thank Shouhei Honda for pointing out [4, Lemma 2.10], which allowed us to establish the stability of Cheng's inequality in v2 G. Bruno De Luca Nicolò De Ponti Andrea Mondino Alessandro Tomasiello http://arxiv.org/abs/2508.02392v1 2025-08-04T13:18:09Z

A polyhedron is flexible if it can be continuously deformed preserving the shape and dimensions of every its face. In the late 1970's Klaus Steffen constructed a sphere-homeomorphic embedded flexible polyhedron with triangular faces and with 9 vertices only, which is well-known in the theory of flexible polyhedra. At about the same time, a hypothesis was formulated that the Steffen polyhedron has the least possible number of vertices among all embedded flexible polyhedra without boundary. A counterexample to this hypothesis was constructed by Matteo Gallet, Georg Grasegger, Jan Legersk{ý}, and Josef Schicho in 2024 only. Surprisingly, until now, no proof has been published in the mathematical literature that the Steffen polyhedron is embedded. Probably, this fact was considered obvious to everyone who made a cardboard model of this polyhedron. In this article, we prove this fact using computer symbolic calculations.

2025-08-04T13:18:09Z 9 pages, 3 figures; in English J. Geom. Graph. 29, No. 1, 79-88 (2025) Victor Alexandrov Evgenii Volokitin http://arxiv.org/abs/2306.00768v2 2025-08-04T12:00:57Z

We study maps of bounded variation defined on a metric measure space and valued into a metric space. Assuming the source space to satisfy a doubling and Poincaré property, we produce a well-behaved relaxation theory via approximation by simple maps. Moreover, several equivalent characterizations are given, including a notion in weak duality with test plans.

2023-06-01T15:03:35Z 38 pages. Revised version, to appear in Ann. Sc. norm. super. Pisa - Cl. sci Camillo Brena Francesco Nobili Enrico Pasqualetto http://arxiv.org/abs/2507.06947v2 2025-08-03T21:19:36Z

Finding a largest Euclidean ball in a given convex body $K \subset \mathbb{R}^d$ and finding a largest volume ellipsoid in $K$ are two problems of fundamentally different nature. The first is a purely Euclidean problem, where we consider scaled copies of the origin-centered closed unit ball, whereas in the second problem, we search among all affine copies of the unit ball. In this paper, we interpolate between these two classical problems by considering ellipsoids of revolution. More generally, we study pairs of convex bodies $K$ and $L$, and seek a largest-volume affine image of $K$ contained within $L$, subject to certain restrictions on the allowed affine transformations. We derive first-order necessary conditions for optimality, generalizing known conditions from the unrestricted affine setting. Using these conditions, we show that an extremal ellipsoid of revolution exhibits properties analogous to those of either the largest-volume ellipsoid or the largest Euclidean ball, depending on whether the ellipsoid is considered along its axis of revolution or along the orthogonal complement of that axis.

2025-07-09T15:30:54Z 29 pages, fixed an error in ver. 1 Grigory Ivanov Zsolt Lángi Márton Naszódi Ádám Sagmeister http://arxiv.org/abs/2508.01857v1 2025-08-03T17:16:25Z

We construct a large class of metric measure spaces $Z$ which satisfy the identity $D^{1,p}(Z) = N^{1,p}(Z) + \mathbb{R}$, i.e.\ any measurable function $u \colon Z \to \mathbb{R}$ with an $L^p$-integrable upper gradient is a constant term away from being $L^p$-integrable. To do so, we construct a family of hyperbolic fillings $\mathbb{H}_{α, β}(Y)$, $α, β\in (0, \infty)$, of a metric measure space $Y$, via a warped product of $Y$ with an exponentially weighted positive real line. We then show that for certain classes of $Y$, the above identity is satisfied for $Z=\mathbb{H}_{α,β}(Y)$ when $1\le p\le β/α$. We also show that under mild assumptions on $Y$, the warped product $\mathbb{H}_{α, β}(Y)$ is Gromov hyperbolic as a metric space and the Gromov boundary of $\mathbb{H}_{α, β}(Y)$ is quasisymmetric to $Y$.

2025-08-03T17:16:25Z 47 pages, 1 figure Ilmari Kangasniemi Josh Kline Nageswari Shanmugalingam Gareth Speight http://arxiv.org/abs/2408.00564v3 2025-08-03T16:48:41Z

We prove generalized versions of the Variance Inequality known for barycenters in CAT(0) spaces, inspired by an analogous result for $p$-uniformly convex Banach spaces. Our generalizations apply to balls of sufficiently small radius in complete CAT(1) spaces and to exponents $p \geq 2$ in the $\operatorname{CAT}(0)$ setting. Building on a result of Eskenazis, Mendel, and Naor, we establish sharp metric cotype for all $p \geq 2$ in $\mathrm{CAT}(0)$ spaces, extending the previously known case $p=2$. In addition, based on their work, we derive martingale inequalities for nonlinear martingales taking values in complete $\mathrm{CAT}(0)$ space and balls of sufficiently small radius in complete CAT(1) spaces.

2024-08-01T13:51:54Z Manuscript refocused on the core inequality, all auxiliary material removed, proof extended to the more general p-convex setting Sebastian Gietl http://arxiv.org/abs/2508.01607v1 2025-08-03T06:03:06Z

Let $D\subsetneq\mathbb{R}^n,~n\ge 2$, be a domain. In this manuscript, a new version of the Vuorinen's distance ratio metric $j_D$ [{\tt J. Analyse Math.} {\bf 45} (1985), 69--115], denoted by $ζ_D$, and a version of Gehring-Osgood's distance ratio metric $j_D'$ [{\tt J. Analyse Math.} {\bf 36} (1979), 50--74], denoted by $ζ_D'$, are introduced to better understand how quasihyperbolic geometry interacts with bounded uniform domains in $\mathbb{R}^n$. We show that the metric $m_D$, introduced in [{\tt arXiv:2505.10964v2}], is the inner metric of $ζ_D$ and explore their relations to several well-known hyperbolic-type metrics. The paper includes ball inclusion properties of these metrics associated with the metric $m_D$ and other hyperbolic-type metrics. The distortion properties of them are also considered under several important classes of mappings. Furthermore, as an application, we demonstrate that uniform domains can be characterized in terms of metrics $ζ_D$ and $m_D$.

2025-08-03T06:03:06Z 18 pages; Submitted to a journal Bibekananda Maji Pritam Naskar Swadesh Kumar Sahoo