The hexagonal lattice is universally locally optimal

2025-11-05T10:47:23Z

We prove that the hexagonal lattice is a local minimizer, among all point configurations, of the interaction energy per unit volume for pair potentials that are completely monotonic functions of the square distance. This includes Gaussian interactions and power laws.

Bi-Lipschitz embedding metric triangles in the plane

2025-11-05T07:23:39Z

A metric polygon is a metric space comprised of a finite number of closed intervals joined cyclically. The second-named author and Ntalampekos recently found a method to bi-Lipschitz embed an arbitrary metric triangle in the Euclidean plane with uniformly bounded distortion, which we call here the tripodal embedding. In this paper, we prove the sharp distortion bound $4\sqrt{7/3}$ for the tripodal embedding. We also give a detailed analysis of four representative examples of metric triangles: the intrinsic circle, the three-petal rose, tripods and the twisted heart. In particular, our examples show the sharpness of the tripodal embedding distortion bound and give a lower bound for the optimal distortion bound in general. Finally, we show the triangle embedding theorem does not generalize to metric quadrilaterals by giving a family of examples of metric quadrilaterals that are not bi-Lipschitz embeddable in the plane with uniform distortion.

On CAT($κ$) surfaces

2025-11-05T07:04:37Z

We study the properties of $\text{CAT}(κ)$ surfaces: length metric spaces homeomorphic to a surface having curvature bounded above in the sense of satisfying the $\text{CAT}(κ)$ condition locally. The main facts about $\text{CAT}(κ)$ surfaces seem to be largely a part of mathematical folklore, and this paper is intended to rectify the situation. We provide a complete proof that $\text{CAT}(κ)$ surfaces have bounded (integral) curvature. This fact allows one to apply the established theory of surfaces of bounded curvature to derive further properties of $\text{CAT}(κ)$ surfaces. We also show that $\text{CAT}(κ)$ surfaces can be approximated by smooth Riemannian surfaces of Gaussian curvature at most $κ$. We do this by giving explicit formulas for smoothing the vertices of model polyhedral surfaces.

Symplectic polarity and Mahler's conjecture

2025-11-05T05:35:52Z

We state a conjecture about the volume of symplectically self-polar convex bodies and show that it is equivalent to Mahler's conjecture concerning the volume of a convex body and its Euclidean polar. We also establish lower and upper bounds for symplectic capacities of symplectically self-polar bodies.

Sections and projections of the outer and inner regularizations of a convex body

2025-11-04T20:26:39Z

We establish new geometric inequalities comparing the volumes of sections and projections of a convex body, whose barycenter or Santaló point is at the origin, with those of its inner and outer regularizations. We also provide functional extensions of these inequalities to the setting of log-concave functions. Our approach relies on the recent optimal $M$-estimate of Bizeul and Klartag for isotropic convex bodies.

Detecting virtual homomorphisms via Banach metrics

2025-11-04T20:23:16Z

We introduce the notion of "Banach metrics" on finitely generated infinite groups. This extends the notion of a Cayley graph (as a metric space). Our motivation comes from trying to detect the existence of virtual homomorphisms into Z, the additive group of integers. We show that detection of such homomorphisms through metric functional boundaries of Cayley graphs isn't always possible. However, we prove that it is always possible to do so through a metric functional boundary of some Banach metric on the group.

Two properties of optimisers for the reverse isoperimetric problem

2025-11-04T16:12:47Z

The reverse isoperimetric problem asks for existence and properties of bounded convex sets in a Riemannian manifold which maximise the perimeter under all those sets of fixed volume which roll freely in a ball of some given radius. If the boundary of the set is of class $C^{2}$, this amounts to a positive lower bound on the principal curvatures and in this class we prove that there are no $C^{2}$-maximisers of perimeter with prescribed volume. In addition, we prove that a given possibly non-$C^{2}$ maximiser has its smallest principal curvature constant in regions where it is of class $C^{2}$. We prove this result in the Euclidean, spherical and hyperbolic space.

Monotonicity of the deficit in the local log-Brunn-Minkowski inequality

2025-11-04T14:59:23Z

We establish a monotonicity property of the deficit associated with the local log-Brunn-Minkowski inequality (LLBM) under addition of line segments. As a corollary, if the LLBM holds for a convex body K, then it also holds for K+Z for any zonoid Z, which in particular yields a new proof of the inequality for zonoids. Moreover, assuming the LLBM is valid, we prove that equality in the LLBM for smooth convex bodies with $C^2$ support functions occurs only for homothetic bodies.

A Hurewicz-type theorem for quasimorphisms of countable approximate groups

2025-11-04T12:16:41Z

In their theorem from 2006, A. Dranishnikov and J. Smith prove that if $f:G\to H$ is a group homomorphism, then the following formula for asymptotic dimension is true: $\operatorname{asdim} G \leq \operatorname{asdim} H + \operatorname{asdim} (\ker f)$. This result is known as the Hurewicz-type formula, after a 1927 theorem from classical dimension theory by W. Hurewicz, which inspired it. In this paper we establish a similar formula to the one by Dranishnikov and Smith, for the following setup: whenever $(Ξ, Ξ^\infty)$ and $(Λ,Λ^\infty)$ are countable approximate groups and $f:(Ξ, Ξ^\infty) \to (Λ,Λ^\infty)$ is a (general) quasimorphism, i.e., a quasimorphism which need not be symmetric nor unital, then the following formula is true: $$\operatorname{asdim} Ξ\leq \operatorname{asdim} Λ+ \operatorname{asdim} \left(f^{-1}\left(f(e_Ξ)D(f)^{-1}D(f)\right)\right),$$ where $D(f)$ is the defect set of $f$. It follows as a corollary that if $f:G\to H$ is a quasimorphism of countable groups, then $\operatorname{asdim} G\leq \operatorname{asdim} H + \operatorname{asdim} \left(f^{-1}\left(f(e_Ξ)D(f)^{-1}D(f)\right)\right)$.

Weak derivatives and metric differentiability almost everywhere

2025-11-04T12:16:35Z

It is known that a Lipschitz continuous map from the Euclidean domain to a metric space is metrically differentiable almost everywhere. When the metric space is a Banach space dual to separable, the metric differential has its linear counterpart -- weak* differential. However, for an arbitrary metric or Banach space, a Lipschitz map is not necessarily weak* differentiable. This paper introduces an approach based on a concept of weak weak* derivatives. This framework yields a linear representation for the metric differential, allowing for its calculation as the norm of an associated linear operator.

Coexact 1-Laplacian spectral gap and exponential growth of a group

2025-11-04T00:10:05Z

Let $Γ$ be a discrete finitely presented group. Pick any system $S$ of generators in $Γ$. In Cayley graph $\mathrm{Cay}(Γ)=\mathrm{Cay}(Γ, S)$ with edge set $E$, glue with oriented polygons all the group relations translated to all the points of $Γ$; denote the obtained simply connected complex by $\mathrm{Cay}^{(2)}(Γ)$. We study non-negative Hodge--Laplace operator $Δ_1$ on edge functions which is defined via complex $\mathrm{Cay}^{(2)}(Γ)$; $Δ_1$ acts on $$ \ell^2_{0,c}(E):= \mathrm{clos}_{\ell^2(E)} \left\{\mbox{finitely supported closed $1$-(co)chains in }\mathrm{Cay}^{}(Γ)\right\}. $$ We prove the following implication in the spirit of Kesten Theorem: if $Δ_1|_{\ell_{0,c}^2(E)}$ has a spectral gap then $Γ$ either has exponential growth or is virtually $\mathbb Z$.

Polyhedral surfaces in anti-de Sitter (2+1)-spacetimes

2025-11-02T17:40:57Z

We first prove that given a Fuchsian representation $ρ_\circ: π_1S \ra {\rm PSL}(2,\R)$, where $S$ is a closed oriented surface of genus $\geq 2$, any hyperbolic cone-metric on $S$ with cone-angles $>2π$ isometrically embeds as a future-convex bent Cauchy surface in a globally hyperbolic maximal Cauchy compact (GHMC) anti-de Sitter (2+1)-spacetime whose left representation is $ρ_\circ$. Second, we show that given any two such cone-metrics, there exists a GHMC anti-de Sitter (2+1)-spacetime in which the cone-metrics embed simultaneously, one as a future-convex bent Cauchy surface and one as a past-convex. Furthermore, in both cases we establish that such a spacetime and embeddings are unique provided that the cone-metrics are sufficiently small.

Geometric interpretation of magnitude

2025-11-02T15:41:56Z

For an $n\times n$ positive definite symmetric matrix $Z$ with $Z_{ii} = 1$ for all $i$, we show that there exists a set of vectors $V_Z\subset \mathbb{R}^n$ such that the radius $R$ of the circumsphere of $V_Z$ satisfies ${\rm Mag}\ Z = (1-R^2)^{-1}$. This leads us to interpret geometrically several known and new facts on magnitude. In particular, we show that ${\rm Mag}\ Z_{X}< n$ for an $n$-point metric space $X$ of negative type with $n>1$. This result gives a negative answer to a problem given by Gomi--Meckes \cite{GM}. Furthermore, we also have a similar geometric description of magnitude for general real symmetric matrix $Z$ with $Z_{ii} = 1$ for all $i$. In this case, the radius corresponds to that of a circum-quasi-sphere, namely the set of points having a prescribed norm in a vector space endowed with an indefinite inner product.

A Couple of Simple Algorithms for $k$-Dispersion

2025-11-01T20:20:21Z

Given a set $P$ of $n$ points in $\mathbf{R}^d$, and a positive integer $k \leq n$, the $k$-dispersion problem is that of selecting $k$ of the given points so that the minimum inter-point distance among them is maximized (under Euclidean distances). Among others, we show the following: (I) Given a set $P$ of $n$ points in the plane, and a positive integer $k \geq 2$, the $k$-dispersion problem can be solved by an algorithm running in $O\left(n^{k-1} \log{n}\right)$ time. This extends an earlier result for $k=3$, due to Horiyama, Nakano, Saitoh, Suetsugu, Suzuki, Uehara, Uno, and Wasa (2021) to arbitrary $k$. In particular, it improves on previous running times for small $k$. (II) Given a set $P$ of $n$ points in $\mathbf{R}^3$, and a positive integer $k \geq 2$, the $k$-dispersion problem can be solved by an algorithm running in $O\left(n^{k-1} \log{n}\right)$ time, if $k$ is even; and $O\left(n^{k-1} \log^2{n}\right)$ time, if $k$ is odd. For $k \geq 4$, no combinatorial algorithm running in $o(n^k)$ time was known for this problem. (III) Let $P$ be a set of $n$ random points uniformly distributed in $[0,1]^2$. Then under suitable conditions, a $0.99$-approximation for $k$-dispersion can be computed in $O(n)$ time with high probability.

Computing intrinsic volumes of sublevel sets and applications

2025-11-01T02:27:17Z

Intrinsic volumes are fundamental geometric invariants generalizing volume, surface area, and mean width for convex bodies. We establish a unified Laplace-Grassmannian representation for intrinsic and dual volumes of convex polynomial sublevel sets. More precisely, let $f$ be a convex $d$-homogeneous polynomial of even degree $d \ge 2$ which is positive except at the origin. We show that the intrinsic and dual volumes of the sublevel set $[f \le 1]$ admit Laplace-type integral formulas obtained by averaging the infimal projection and restriction of $f$ over the Grassmannian. This explicit representation yields three main consequences: (1) Löwner--John-type existence and uniqueness results extending beyond the classical volume case; (2) a block decomposition principle describing factorization of intrinsic volumes under direct-sum splitting; (3) a coordinate-free formulation of Lipschitz-type lattice discrepancy bounds. These formulas enable analytic treatment of a broad class of geometric quantities, providing direct access to variational and arithmetic applications as well as new structural insights.