https://arxiv.org/api/lmJEIXb/8IaUKWbQzWso7ENLVEM 2026-06-13T15:37:14Z 13040 60 15 http://arxiv.org/abs/2606.05034v1 2026-06-03T16:00:13Z

A set in $\mathbb{R}^n$ is median porous if the logarithm of its distance function has bounded mean oscillation. We show that this property is preserved under quasiconformal mappings. In particular, median porosity is quasiconformally invariant. We also show that the stronger notion of weak porosity, by contrast, is not quasiconformally invariant.

2026-06-03T16:00:13Z 10 pages Tero Kilpeläinen Antti V. Vähäkangas http://arxiv.org/abs/2606.05032v1 2026-06-03T16:00:02Z

We establish a single-letter and efficiently computable strong converse bound on the classical identification capacity of quantum channels. By equipping the $n$-fold channel output space with a product state-weighted $σ$-Euclidean geometry, we allow trace-distance separation constraints for identification codes to be controlled by Euclidean covering estimates. Using Sudakov's inequality, we bound the covering numbers of the $n$-fold channel outputs via their Gaussian mean widths in the weighted geometry, whose exponential growth in $n$ is governed by the operator norm of a single-letter positive operator. Upon optimizing over all weighing states $σ$, this yields a strong converse bound on the identification capacity of the channel, which also admits a semidefinite representation. Our method improves the best known converse bounds on the identification capacity of several important examples, such as depolarizing, Pauli, erasure, and amplitude damping channels. We also discuss extensions of this method to more general Euclidean geometries on the output space.

2026-06-03T16:00:02Z First version, comments are welcome :) Satvik Singh http://arxiv.org/abs/2605.02747v2 2026-06-03T14:44:07Z

This paper is dedicated to two geometric problems associated to log-concave measures on $\mathbb{R}^n$. First, we study the dimensional Brunn-Minkowski inequality for even log-concave probability measures $μ$ on $\mathbb{R}^n$ via an analytic approach based on diffusion operators and gradient estimates. We prove that for every pair of symmetric convex sets $K,L$ in $\mathbb{R}^n$ and every $λ\in(0,1)$, $$μ(λK+(1-λ)L)^{c_n} \geq λμ(K)^{c_n}+(1-λ)μ(L)^{c_n},$$ where $c_n\geq c/n^3\ln n$ for some absolute constant $c>0$. Secondly, we study the maximal perimeter $Γ(μ)$ of an isotropic log-concave measure $μ$, without symmetry assumptions. We prove that $$Γ_n = \sup\{Γ(μ): \ μ\ \mbox{is an isotropic log-concave measure on } \mathbb{R}^n \} \approx n.$$ A key ingredient in both our proofs is a bound due to Eldan and Klartag (2008), which states that $$\int_{\mathbb{R}^n} |\nablaψ|\,dμ\leq Cn$$ for every isotropic log-concave probability measure $μ$ on $\mathbb{R}^n$ with density $e^{-ψ}$. We also present further applications of this estimate to projections of log-concave functions projections, moment and surface area measures of isotropic log-concave functions, highlighting the central role of the gradient of the logarithmic potential in high-dimensional convexity.

2026-05-04T15:48:01Z v2: updated references and added Theorem 1.2 Alexandros Eskenazis Apostolos Giannopoulos Natalia Tziotziou http://arxiv.org/abs/2606.03482v2 2026-06-03T02:03:27Z

Regev and Stephens-Davidowitz conjectured that the integer lattice maximizes Gaussian mass among integral lattices of a given rank. We prove this, including the equality case, for all unimodular Construction-A lattices arising from binary self-dual codes. The proof reduces the theta-series inequality to a sharp majorization statement for codes: if $C$ is a binary self-dual $[2k,k]$ code, then the half-weight distribution of $C$ is dominated in convex order by $\operatorname{Bin}(k,1/2)$, which is the corresponding distribution for the repetition-code model of $\mathbb{Z}^{2k}$. Indeed, after putting $C$ in systematic form $[I\mid A]$, self-duality gives $AA^T=I$ over $\mathbb{F}_2$, so for a uniformly random message $a$ the two weights $\operatorname{wt}(a)$ and $\operatorname{wt}(aA)$ have the same binomial law. The half-weight of the resulting codeword is their average, and Jensen's inequality then gives convex-order domination. Applied to the convex test functions that build the theta series, this yields a sum-of-squares formula for the Gaussian-mass gap; applied to hinge functions, it gives coefficientwise nonnegativity of the reduced gap polynomial.

2026-06-02T11:00:45Z 8 pages; v2: fixed formatting typo in metadata Scott Duke Kominers http://arxiv.org/abs/2606.03987v1 2026-06-02T17:59:14Z

In 1983, Kusner conjectured that the largest equilateral set in $\mathbb{R}^{n}$ with metric $\ell_{p}$ has cardinality $n+1$ when $1<p<\infty$ and $2n$ when $p=1.$ This conjecture was proved only in the isolated cases $p=2$ and $p=4$, and was disproved when $1<p<2$. The best general upper bound $O_p(n^{\frac{2p+2}{2p-1}})$ is due to the celebrated work of Alon and Pudlák~[GAFA, 2003]. Our main contributions include: (1) We prove Kusner's conjecture for every dimension $n\ge 1$ when $2\le p\le 4$. More generally, for every integer $k\ge 0$ and every $p\in[4k+2,4k+4]$, every equilateral set in \(\mathbb{R}^{n}\) with metric $\ell_p$ has cardinality at most $(2k+1)n+1$. On the complementary intervals $p\in(4k,4k+2)$ with $p\geq 1$, we obtain the almost linear bound $O_p(n\log n)$. (2) We also consider the analogous problem on the torus $\mathbb{T}^n$, recently initiated by Alon, where the cyclic distance makes the problem substantially more delicate than in $\mathbb R^n$. We prove the almost linear bound $O_p(n\log n)$ for $1\le p\le 2$ and $O_p(n^{\frac{3}{2}-\frac{1}{p}})$ for every fixed real $p>2$, improving Alon's bounds $O_p(n^{2+\frac{2}{\lfloor p\rfloor}})$ for all finite $p\ge 1$.

2026-06-02T17:59:14Z 47 pages Hong-Jun Ge Zixiang Xu Yang Zhou http://arxiv.org/abs/2511.13391v4 2026-06-02T15:05:17Z

Since Isaac Newton first studied the Kissing Number Problem in 1694, determining the maximal number of non-overlapping spheres around a central sphere has remained a defining challenge in discrete geometry. As the local analogue of Hilbert's 18th problem, it has profound implications across geometry, number theory and information theory. Although lattices and codes have achieved significant progress, the field is confined to isolated extremal configurations, leaving underlying geometric principles obscured. Here we shift the object to the broader extremal configuration space, thereby opening a new path for the Kissing Number Problem. Accordingly, we recast this problem as a cooperative matrix-completion game, and train a reinforcement learning system, PackingStar, to solve it. One player fills cosine entries while the other corrects suboptimal ones, making explosive geometric complexity tractable. Working within extremal configuration spaces, PackingStar discovers new interpretable geometric structures that improve 15 strong bounds held for decades in kissing numbers and their generalizations, several of them provably optimal under natural inner products. These findings reveal the first explicit spherical-code realization of the Fischer group Fi22, extend the classical Euclidean representation of subgroup structure, and directly inspire subsequent breakthroughs by mathematicians. Overall, the work provides an early example of AI-driven progress on a Hilbert-calibre problem, showing how reinforcement learning advances mathematical discovery by unlocking more expressive objects.

2025-11-17T14:02:00Z Chengdong Ma Théo Tao Zhaowei Pengyu Li Minghao Liu Haojun Chen Zihao Mao Bo Li Yuan Cheng Yuan Qi Yaodong Yang http://arxiv.org/abs/2606.03749v1 2026-06-02T15:01:54Z

Carlen, Frank and Lieb studied stability estimates for the lowest eigenvalue of a Schrödinger operator by decomposing the problem into a stability estimate for Hölder's inequality and a stability estimate for a Gagliardo--Nirenberg--Sobolev inequality. In this note we point out that, if the Hölder step is replaced by the optimal $L^1$-stability theorem of Leng and Lu in probabilistic form, then one obtains a density-distance version of the Carlen--Frank--Lieb stability theorem. The new formulation measures the $L^1$ distance between the normalized density $V_-^s/\int V_-^s$ induced by the negative part of the potential and the corresponding density induced by an optimal potential, where $s=γ+d/2$. As a geometric application of the same idea, we also derive a density-stability version of the $L_p$ mixed volume inequality. In the case where one of the two convex bodies is centrally symmetric and both bodies are trapped between two concentric Euclidean balls, this gives an averaged stability estimate for the non-evenness of the support function.

2026-06-02T15:01:54Z Gangsong Leng http://arxiv.org/abs/2606.02918v1 2026-06-01T21:47:13Z

The Lipschitz-free space $\mathcal{F}(M)$ is a canonical linearization of a complete metric space $M$ whose topological dual is the space of Lipschitz functions on $M$. We review the properties of $\mathcal{F}(M)$ when the underlying space $M$ is purely 1-unrectifiable, that is, it contains no bi-Lipschitz copy of a subset of $\mathbb{R}$ with positive measure. For compact $M$, this is equivalent to several Banach space properties of $\mathcal{F}(M)$, including the Radon-Nikodým and Schur properties or admitting a predual. We shall see how the study of locally flat Lipschitz functions on $M$ reveals these equivalences, and describe a technique that allows most of them to be transferred to the non-compact setting. This manuscript is an expository text based on results by the author in collaboration with C. Gartland, C. Petitjean and A. Procházka, originally published in a Trans. Amer. Math. Soc. paper, and corresponds to a lecture delivered at the Second Winter School in Geometric Measure Theory at Westlake University, Hangzhou, on February 2026.

2026-06-01T21:47:13Z Ramón J. Aliaga http://arxiv.org/abs/2410.19121v4 2026-06-01T21:28:01Z

In his book "Metric structures for Riemannian and non-Riemannian spaces", Gromov defined two properties of Riemannian manifolds, ellipticity and quasiregular ellipticity, and suggested that there may be a connection between the two. Since then, groups of researchers working independently have proved strikingly similar results about these two concepts. We obtain new topological obstructions to the two properties: most notably, we show that closed manifolds of both types must have virtually abelian fundamental group. We also give the first examples of open manifolds which are elliptic but not quasireguarly elliptic and vice versa. Whether there is a direct connection between these properties -- and, in particular, whether they are equivalent for closed manifolds -- remains elusive.

2024-10-24T19:47:36Z 28 pages, 2 figures. v4 features many improvements in exposition in response to a referee report Fedor Manin Eden Prywes http://arxiv.org/abs/2606.02882v1 2026-06-01T20:52:29Z

Pál's isominwidth inequality (1921) answered the Kakeya needle problem (1917) for convex sets. It states that among convex bodies of fixed minimum width $w$ in the Euclidean plane, the regular triangle has minimal area. The isominwidth inequality was generalized to the $2$-dimensional sphere by Bezdek and Blekherman and Freyer and Sagmeister (arXiv:2411.11462). Interestingly, in hyperbolic space, no minimizer exists, as shown by Böröczky, Freyer and Sagmeister (arXiv:2502.04427). The stability of the Euclidean Pál inequality with respect to the Hausdorff metric and the symmetric difference metric was proved by Lucardesi and Zucco (arXiv:2405.18294). Fodor, Robock and Sagmeister (arXiv:2602.19300) proved $r$-ball convex analogs of the isominwidth inequality in all three constant curvature planes connecting Pál's theorem with the Blaschke--Lebesgue inequality. In this paper, we prove optimal stability versions of this statement with respect to the Hausdorff distance and the symmetric difference metric in all three constant curvature planes.

2026-06-01T20:52:29Z 16 pages, 2 figures Ferenc Fodor Ádám Sagmeister http://arxiv.org/abs/2606.02496v1 2026-06-01T17:02:46Z

We introduce the notion of timelike ideal boundary of a Lorentzian length space as the set of asymptotic classes of future or past-directed timelike geodesic rays, a construction complementary to the causal boundary in the sense of Geroch-Kronheimer-Penrose and akin to the concept of ideal boundary of a metric space. We endow such a timelike ideal boundary with a natural cone topology and an angular metric, and establish upper curvature bounds for the resulting metric space. Finally, we consider generalized cones as a model and study the relation between the timelike ideal boundary and both the metric ideal boundary of the fiber and the asymptotic behaviour of the warping function.

2026-06-01T17:02:46Z 54 pages, 9 figures Saúl Burgos Mauricio Che Miguel Prados-Abad http://arxiv.org/abs/2606.02397v1 2026-06-01T15:44:41Z

We investigate the stability of discrete structures comprising of woven elastic beams in a plane, exposing a connection between admissible over / under patterns and the first-order and static rigidity of an associated tensegrity that is related through a natural polarity transformation. The relationship between the Airy and Whiteley stress functions for the tensegrity and weaving structures is explored. Our results lead to an efficient method for finding such an over / under pattern. The method is illustrated through a worked example modelled on the complete bipartite graph $K_{4,4}$.

2026-06-01T15:44:41Z 11 pages, 3 figures Cameron Millar Bernd Schulze Louis Theran http://arxiv.org/abs/2504.14455v3 2026-06-01T14:32:08Z

We extend the topological results of Lytchak-Nagano and Lytchak-Nagano-Stadler for CAT(0) spaces to the setting of Busemann spaces of nonpositive curvature, i.e., BNPC spaces. We give a characterization of locally BNPC topological manifolds in terms of their links and show that the singular set of a locally BNPC homology manifold is discrete. We also prove that any (globally) BNPC topological 4-manifold is homeomorphic to Euclidean space. Applications include a topological stability theorem for locally BNPC G-spaces. Our arguments also apply to spaces admitting convex geodesic bicombings.

2025-04-20T02:18:06Z added figures, references, and Remarks 6.11, 6.14, 7.3, 8.8; slightly revised the statement of Proposition 6.12 and the proof of Proposition 6.23; made other minor changes and corrections Tadashi Fujioka Shijie Gu http://arxiv.org/abs/2606.02284v1 2026-06-01T14:06:56Z

We show that virtually nilpotent groups are coarse median if and only if they are virtually abelian. The main idea is that the sub-Riemannian geometry of the asymptotic cone obstructs the existence of a locally convex Lipschitz median of finite rank. As an application, we deduce that non-compact lattices in the isometry group of a rank 1 symmetric space of non-compact type other than real hyperbolic space are not coarse median. This establishes the remaining case in the classification of lattices with the coarse median property initiated by Haettel. The same approach applies more generally to complete finite-volume non-compact Riemannian manifolds $M$ of pinched negative sectional curvature: if at least one cusp cross-section does not admit a flat metric, then $π_1(M)$ is not coarse median.

2026-06-01T14:06:56Z 7 pages Hyeonggeun Kim http://arxiv.org/abs/2606.02150v1 2026-06-01T12:17:08Z

We consider the reciprocal cost function $ J(x)=\frac12(x+x^{-1})-1 $ and its $n$-dimensional extension $$J(x_1,\ldots,x_n) = \frac12(R+R^{-1})-1, \qquad R=\prod_{i=1}^n x_i^{α_i}, \qquad α=(α_1,\ldots,α_n)\in\mathbb{R}^n\setminus\{0\}.$$ In logarithmic coordinates $t_i=\log x_i$, the Hessian of $J$ has rank one at every point. The associated Hessian geometry is degenerate and does not define a Riemannian metric. To obtain a nondegenerate geometric structure, we introduce a family of Hessian metrics $h_λ$. Combining the rank-one tensor with the Hessian metric $h_λ$, we construct a $(1,1)$-tensor field $A_λ$. Its trace normalization defines a projector $P_λ$, which induces an almost product structure and the corresponding golden and metallic structures. We study several properties of the projector $P_λ$ and the induced structures, including eigendistributions, parallelism, integrability, and curvature. The construction is given in arbitrary dimension, and explicit formulas are obtained in the two-dimensional case. In particular, we show that the projector $P_λ$ is generally not parallel with respect to either the canonical flat affine connection or the Levi-Civita connection $\nabla^λ$ of the Hessian metric $h_λ$.

2026-06-01T12:17:08Z Jonathan Washburn Milan Zlatanović