https://arxiv.org/api/3RjE6o1Yf0aat9hyob3plTBmvX4 2026-03-20T08:54:33Z 12756 0 15 http://arxiv.org/abs/2603.19164v1 2026-03-19T17:19:24Z

We investigate Brunn-Minkowski-type inequalities for the torsional rigidity $T_γ$ and the first eigenvalue $λ_γ$ associated with the Ornstein-Uhlenbeck operator. Counterexamples are provided showing that neither concavity nor convexity properties hold for $T_γ$ on general bounded convex sets. We also demonstrate that log-concavity and log-convexity properties fail in this setting. In the case of centrally symmetric sets, we answer a question raised by Cordero-Erausquin and Eskenazis by showing that $T_γ^{1/(n+2)}$ is neither convex nor concave. On the positive side, we prove that $T_γ^{1/3}$ is convex with respect to Minkowski addition when restricted to Euclidean balls centered at the origin. For $λ_γ$, we answer negatively a question posed by Colesanti, Francini, Livshyts, and Salani by showing that the inequality $λ_γ(Ω_t)^{-1/2} \geq (1-t)λ_γ(Ω_0)^{-1/2} + tλ_γ(Ω_1)^{-1/2}$ does not hold, even for centrally symmetric sets.

2026-03-19T17:19:24Z Francisco Marín Sola Francesco Salerno http://arxiv.org/abs/2505.09465v3 2026-03-19T15:37:33Z

We establish the connection between the Steinitz problem for ordering vector families in arbitrary norms and its variant for not necessarily zero-sum families consisting of `nearly unit' vectors.

2025-05-14T15:17:22Z Final version, published in Mathematika Mathematika 72(2), e70085, 2026 Gergely Ambrus Rainie Heck 10.1112/mtk.70085 http://arxiv.org/abs/2512.04766v2 2026-03-19T14:58:59Z

An Erdös matrix $E$ is a bistochastic matrix whose sum of squares of entries (Frobenius norm squared) equals its maxtrace (maximum of all the $σ$-traces for permutations $σ$'s). We characterize all Erdös $E$ by the patterns of their zero entries; showing that each such skeleton has at most one $E$. We present an algorithm to find all $n\times n$ Erdös matrices, which finds them up to $n\leqslant 5$ quickly and also size $n=6$. We further show some presently known RCDS matrices to be Erdös.

2025-12-04T13:04:36Z Priyanka Karmakar Hariram Krishna Souvik Pal G. Krishna Teja http://arxiv.org/abs/2410.22294v3 2026-03-19T14:55:29Z

We prove that every $L$-bilipschitz mapping $\mathbb{Z}^2\to\mathbb{R}^2$ can be extended to a $C(L)$-bilipschitz mapping $\mathbb{R}^2\to\mathbb{R}^2$ and provide a polynomial upper bound for $C(L)$. Moreover, we extend the result to every separated net in $\mathbb{R}^2$ instead of $\mathbb{Z}^2$, with the upper bound gaining a polynomial dependence on the separation and net constants associated to the given separated net. This answers an Oberwolfach question of Navas from 2015 and is also a positive solution of the two-dimensional form of a decades old open (in all dimensions at least two) problem due to Alestalo, Trotsenko and Väisälä.

2024-10-29T17:44:46Z Accepted in Journal of the London Mathematical Society. Minor revision following the referee's report Michael Dymond Vojtěch Kaluža http://arxiv.org/abs/2507.22007v3 2026-03-19T14:41:35Z

We provide a new characterisation of the decades old open problem of extending bilipschitz mappings given on a Euclidean separated net. In particular, this allows for the complete positive solution of the open problem in dimension two. Along the way, we develop a set of tools for bilipschitz extensions of mappings between subsets of Euclidean spaces.

2025-07-29T16:58:01Z Accepted for publication in Annales Fennici Mathematici. Minor revision following the referee's report Michael Dymond Vojtěch Kaluža http://arxiv.org/abs/2603.18929v1 2026-03-19T14:08:39Z

We prove polarity duality for covering problems in Hilbert geometry. Let $G$ and $K$ be convex bodies in $\mathbb{R}^d$ where $G \subset \operatorname{int}(K)$ and $\operatorname{int}(G)$ contains the origin. Let $N^H_K(G,α)$ and $S^H_K(G,α)$ denote, respectively, the minimum numbers of radius-$α$ Hilbert balls in the geometry induced by $K$ needed to cover $G$ and $\partial G$. Our main result is a Hilbert-geometric analogue of the König-Milman covering duality: there exists an absolute constant $c \geq 1$ such that for any $α\in (0,1]$, \[ c^{-d}\,N^H_{G^{\circ}}(K^{\circ},α) ~ \leq ~ N^H_K(G,α) ~ \leq ~ c^{d}\,N^H_{G^{\circ}}(K^{\circ},α), \] and likewise, \[ c^{-d}\,S^H_{G^{\circ}}(K^{\circ},α) ~ \leq ~ S^H_K(G,α) ~ \leq ~ c^{d}\,S^H_{G^{\circ}}(K^{\circ},α). \] We also recover the classical volumetric duality for translative coverings of centered convex bodies, and obtain a new boundary-covering duality in that setting. The Hilbert setting is subtler than the translative one because the metric is not translation invariant, and the local Finsler unit ball depends on the base point. The proof involves several ideas, including $α$-expansions, a stability lemma that controls the interaction between polarity and expansion, and, in the boundary case, a localized relative isoperimetric argument combined with Holmes--Thompson area estimates. In addition, we provide an alternative proof of Faifman's polarity bounds for Holmes--Thompson volume and area in the Funk and Hilbert geometries.

2026-03-19T14:08:39Z Sunil Arya David M. Mount http://arxiv.org/abs/2502.05322v3 2026-03-19T10:49:43Z

The Fréchet mean is a fundamental notion of central tendency defined as a minimizer of a sum of squared distances in a general metric space. In this paper, we study Fréchet means in tropical geometry -- a piecewise linear, combinatorial, and polyhedral variant of algebraic geometry -- by formulating and solving the associated tropical quadratic optimization problem. We give a geometric characterization of the collection of all tropical Fréchet means as a bounded set that is simultaneously tropically and classically convex, hence a polytrope. We establish the existence of positivity certificates for maxima of finitely many quadratic polynomials in $\mathbb{R}[x_1,\ldots,x_n]$ whose homogeneous quadratic components are sums of squares, which provides a symbolic framework for exact optimization. Using this structure, we develop algorithms for computing tropical Fréchet means and the associated Fréchet mean polytrope. We further describe a combinatorial type decomposition of the objective function induced by braid arrangements, yielding a piecewise quadratic representation and a fully symbolic method for exact computation.

2025-02-07T20:48:24Z 26 pages. 8 figures. v3: Added Section 5. Extended version as to appear in the special issue for the International Symposium on Symbolic and Algebraic Computation ISSAC 2025 Journal of Symbolic Computation (2026) 102572 Kamillo Ferry Bo Lin Carlos Améndola Anthea Monod Ruriko Yoshida 10.1016/j.jsc.2026.102572 http://arxiv.org/abs/2603.18651v1 2026-03-19T09:16:41Z

We prove two conjectures posed in 2016 concerning a generalization of the Sawayama-Thébault Theorem and the Sawayama Lemma. We show that this generalized statement can be viewed in Laguerre geometry, which provides a natural framework for resolving the problem.

2026-03-19T09:16:41Z Miłosz Płatek http://arxiv.org/abs/2603.18550v1 2026-03-19T07:07:43Z

A generalization of the Borsuk-Ulam theorem to Stiefel manifolds is considered. This theorem is applied to derive bounds on $d$ that guarantee--for a given set of $m$ measures in $\mathbb{R}^d$--the existence of $k$ mutually orthogonal hyperplanes, any $n$ of which partition each of the measures into $2^n$ equal parts. If $n=k$, the result corresponds to the bound obtained in [11], but with the stronger conclusion that the hyperplanes are mutually orthogonal.

2026-03-19T07:07:43Z 17 pages Oleg R. Musin http://arxiv.org/abs/2603.04271v2 2026-03-19T00:54:32Z

Magnitude is an isometric invariant of metric spaces introduced by Leinster. Although magnitude is nowhere continuous on the Gromov-Hausdorff space of finite metric spaces, continuity results are possible if we restrict the ambient space. In this paper, we focus on $\ell_1^N$ and prove that magnitude is continuous at every skew finite subset of $\ell_1^N$, that is, at every finite set whose coordinate projections are injective. For such sets, we analyze cubical thickenings and derive an explicit formula for their weight measures. This yields a formula for the magnitude of these thickenings, which we use to prove that their magnitude converges to that of the underlying finite set. Since skew finite subsets of $\ell_1^N$ form an open and dense subset of the space of all finite subsets, magnitude is continuous on an open dense subset of the space of finite subsets of $\ell_1^N$.

2026-03-04T16:55:00Z Sara Kalisnik Davorin Lesnik http://arxiv.org/abs/2603.18268v1 2026-03-18T20:41:37Z

We determine certain Banach-Mazur distances involving $\ell_p$-direct sums of finite-dimensional real normed spaces and related cone constructions of convex bodies. Using a recent characterization of the optimal Banach-Mazur position with respect to the Euclidean ball, we derive a closed formula for the distance from $X_1 \oplus_p \cdots \oplus_p X_k$ to Euclidean space in terms of the distances of the spaces $X_i$ to Euclidean space. For $p = 1$ we show that if $d_{BM}(X,\ell_1^n) \leq 3$, then $d_{BM}(X \oplus_1 \ell_1^m, \ell_1^{n+m}) = d_{BM}(X,\ell_1^n)$. Interpreting $\ell_1$-sums geometrically as double cones motivates a study of single cones over arbitrary convex bases, for which we establish an analogous result with the simplex replacing $\ell_1$. We further show that in dimension $3$ the distance between single cones with symmetric bases equals the distance between the bases, and that the same equality holds for double cones over planar symmetric bases in arbitrary dimension, under an additional assumption on the distance of the bases to $\ell_1^2$. As consequences, we obtain an explicit isometric embedding of the $2$-dimensional symmetric Banach-Mazur compactum into the $3$-dimensional (non-symmetric) compactum and lift a recent construction of arbitrarily large equilateral sets in the $2$-dimensional symmetric compactum to all higher dimensions.

2026-03-18T20:41:37Z 27 pages, 4 figures Florian Grundbacher Tomasz Kobos http://arxiv.org/abs/2603.17852v1 2026-03-18T15:42:20Z

We study coarse separation in one-ended hyperbolic groups from a quantitative point of view, focusing on the volume growth of separating subsets. We prove that a one-ended hyperbolic group that is not virtually a surface group is coarsely separable by a subset of subexponential growth if and only if it splits over a virtually cyclic subgroup. To do so, we show that sufficiently large thickened spheres are hard to cut, in the sense that their cut-sets have exponential size, a result of independent interest. As an application, we obtain a polynomial lower bound on the separation profile of one-ended hyperbolic groups that do not split over a two-ended subgroup. We also apply our criterion to graph products of finite groups, giving a combinatorial characterisation of when such graph products are coarsely separable by a subset of subexponential growth.

2026-03-18T15:42:20Z 24 pages, 1 figure. Comments are welcome! Oussama Bensaid Anthony Genevois Romain Tessera http://arxiv.org/abs/2603.17726v1 2026-03-18T13:47:17Z

We derive quantitative stability results for Minkowski bodies, as well as their counterparts, the $L_p$-Minkowski bodies in the range $1 \le p \neq n$. We prove that, for every pair of probability measures $μ,ν$ satisfying a quantitative form of the classical dispersion assumptions yielding existence of such bodies, we have a control of the form \[ α(E_μ, E_ν)^2 \le C \mathrm{d}_{\mathrm{C}}(μ,ν)^{1 + \frac{1}{n}}, \] where $α$ denotes the Fraenkel asymmetry and $\mathrm{d}_{\mathrm{C}}$ is the dual-convex distance of probability measures on the sphere. Our arguments are based on a variational problem whose optimizers are Minkowski bodies, for which we can obtain strong-concavity properties with the quantitative Brunn-Minkowski and isoperimetric inequalities.

2026-03-18T13:47:17Z Károly Böröczky João Miguel Machado João P. G. Ramos http://arxiv.org/abs/2603.17590v1 2026-03-18T10:57:12Z

Suppose $X$ is an $\rm{RCD}(K,N)$ space with $K \in \mathbb{R}$ and $N \in (1,\infty)$. We obtain a characterisation of the Newtonian-Sobolev space $N^{1,2}(X)$ in terms of a quantity which measures to what extent a function is locally (across all scales and locations) well-approximated by harmonic functions. A similar characterisation is obtained which further takes into account the local oscillations of the approximating harmonic functions. The first characterisation is new even when $X = \mathbb{R}^n$; the second characterisation is a version of Dorronsoro's Theorem in RCD spaces and gives a new proof of (a special case) of this theorem in Euclidean space.

2026-03-18T10:57:12Z 35 pages Matthew Hyde http://arxiv.org/abs/2603.16584v2 2026-03-18T02:35:08Z

We present a geometric mechanism for the emergence of spherical $3$-manifolds from the superspace of Riemannian metrics associated with flat ${\rm{SU}}(2)$-bundles over closed orientable hyperbolic surfaces. Our main result shows that any spherical 3-manifold $(S,g_{S})$ can be realized as a boundary point in the Gromov-Hausdorff closure of a superspace $\mathcal{S}(P)$, where $P$ is a flat ${\rm{SU}}(2)$-bundle over a closed orientable hyperbolic surface $(Σ,h_Σ)$. We show that the convergence of the sequence of metric spaces towards the spherical limit is controlled by the order of the fundamental group of $S$ and the metric invariant of the hyperbolic base provided by the ratio between its area and its systole. In this framework, the problem of obtaining the sharpest upper bound error reduces to the classical problem of maximizing the systole function over the moduli space of hyperbolic Riemann surfaces. As a byproduct, we observe that certain arithmetic surfaces provide the best possible error estimates within this family. To illustrate these results, we show that, according to our mechanism, the Bolza surface yields the optimal error bound for the convergence toward the Poincaré homology sphere.

2026-03-17T14:34:36Z 20 pages, 4 figures. Affiliation updated. Comments are welcome! Eder M. Correa