https://arxiv.org/api/CqIJO8z5As29d7h6PaYsviGWBnQ 2026-06-14T18:25:57Z 13040 435 15 http://arxiv.org/abs/2311.05446v3 2026-03-20T19:05:34Z

We study the connection between the concavity properties of a measure $ν$ and the convexity properties of the associated relative entropy $D(\cdot \Vert ν)$ along optimal transport. As a corollary we prove a new dimensional Brunn--Minkowski inequality for centered star-shaped bodies, when the measure $ν$ is log-concave with a p-homogeneous potential (such as the Gaussian measure). Our method allows us to go beyond the usual convexity assumption on the sets that is fundamentally essential for the standard differential-geometric technique in this area. We then take a finer look at the convexity properties of the Gaussian relative entropy, which yields new functional inequalities. First we obtain curvature and dimensional reinforcements to Otto--Villani's HWI inequality in Gauss space, when restricted to even strongly log-concave measures. As corollaries, we obtain improved versions of Gross' Logarithmic Sobolev inequality and Talagrand's transportation cost inequality in this setting.

2023-11-09T15:33:13Z Final version incorporating changes suggested by the referees Advances in Mathematics, Volume 490, April 2026, 110841 Gautam Aishwarya Liran Rotem 10.1016/j.aim.2026.110841 http://arxiv.org/abs/2504.03114v2 2026-03-20T18:49:49Z

Given even strongly log-concave random vectors $X_{0}$ and $X_{1}$ in $\mathbb{R}^n$, we show that a natural joint distribution $(X_{0},X_{1})$ satisfies, \begin{equation} e^{ - \frac{1}{n}D ((1-t)X_{0} + t X_{1} \Vert Z)} \geq (1-t) e^{ - \frac{1}{n}D (X_{0} \Vert Z)} + t e^{ - \frac{1}{n}D ( X_{1} \Vert Z)}, \end{equation} where $Z$ is distributed according to the standard Gaussian measure $γ$ on $\mathbb{R}^n$, $t \in [0,1]$, and $D(\cdot \Vert Z)$ is the Gaussian relative entropy. This extends and provides a different viewpoint on the corresponding geometric inequality proved by Eskenazis and Moschidis, namely that \begin{equation} γ\left( (1-t) K_{0} + t K_{1} \right)^{\frac{1}{n}} \geq (1-t) γ(K_{0})^{\frac{1}{n}} + t γ(K_{1})^{\frac{1}{n}}, \end{equation} when $K_{0}, K_{1} \subseteq \mathbb{R}^n$ are origin-symmetric convex bodies. As an application, using Donsker--Varadhan duality, we obtain Gaussian Borell--Brascamp--Lieb inequalities applicable to even log-concave functions, which serve as functional forms of the Eskenazis--Moschidis inequality.

2025-04-04T01:55:02Z Revised final version, 18 pages Mathematische Annalen, volume 393, 2025 Gautam Aishwarya Dongbin Li 10.1007/s00208-025-03294-4 http://arxiv.org/abs/2507.09698v2 2026-03-20T18:27:56Z

The metric complexity (sometimes called Leinster--Cobbold maximum diversity) of a compact metric space is a recently introduced isometry-invariant of compact metric spaces which generalizes the notion of cardinality, and can be thought of as a metric-sensitive analogue of maximum entropy. On the other hand, the notion of diversity introduced by Bryant and Tupper is an assignment of a real number to every finite subset of a fixed set, which generalizes the notion of a metric. We establish a connection between these concepts by showing that the former quantity naturally produces an example of the latter. Moreover, in contrast to several examples in the literature, the diversity that arises from metric complexity is Minkowski-superadditive for compact subsets of the real line.

2025-07-13T16:16:14Z Minor changes; final version Gautam Aishwarya Dongbin Li Mokshay Madiman Mark Meckes http://arxiv.org/abs/2411.07139v2 2026-03-20T17:57:04Z

We prove sphere packing density bounds in hyperbolic space (and more generally irreducible symmetric spaces of noncompact type), which were conjectured by Cohn and Zhao and generalize Euclidean bounds by Cohn and Elkies. We work within the Bowen-Radin framework of packing density and replace the use of the Poisson summation formula in the proof of the Euclidean bound by Cohn and Elkies with an analogous formula arising from methods used in the theory of mathematical quasicrystals.

2024-11-11T17:10:42Z 6 pages, minor changes, accepted for publication at C. R. Math. Acad. Sci. Paris C. R. Math. 364 (2026), 237-242 Maximilian Wackenhuth 10.5802/crmath.821 http://arxiv.org/abs/2603.20177v1 2026-03-20T17:53:46Z

We show that for every complete metric space $M$ there exists another complete metric space $N$ of the same density character such that the curve-flat quotient of $N$ is isometric to $M$. Moreover, we show that if $M$ is compact and $α$ is any countable ordinal, there exists a compact $N$ such that its curve-flat quotient of order $α$ is bi-Lipschitz equivalent to $M$, with arbitrarily small distortion. Our constructions rely on a new method for constructing (compact) metric spaces, which consists in attaching iteratively compact spaces at countably many pairs of points to a snowflake-like distortion of a given (compact) metric space. We apply our results on high-order curve-flat quotients to obtain a new result concerning universality of Lipschitz quotients. Specifically, we show that there cannot exist a compact metric space $K$ such that every compact metric space is a Lipschitz quotient of $K$. This result stands in contrast to a theorem of Johnson, Lindenstrauss, Preiss and Schechtman, who showed that any separable Banach space containing $\ell_1$ has every separable geodesic complete metric space as a Lipschitz quotient.

2026-03-20T17:53:46Z 26 pages Jaan Kristjan Kaasik Andrés Quilis http://arxiv.org/abs/1804.03057v14 2026-03-20T16:29:58Z

We prove that any convex body in the plane can be partitioned into $m$ convex parts of equal areas and perimeters for any integer $m\ge 2$; this result was previously known for prime powers $m=p^k$. We also discuss possible higher-dimensional generalizations and difficulties of extending our technique to equalizing more than one non-additive function.

2018-04-09T15:27:49Z 2 figures Advances in Mathematics 493 (2026) Arseniy Akopyan Sergey Avvakumov Roman Karasev 10.1016/j.aim.2026.110927 http://arxiv.org/abs/2603.10425v2 2026-03-20T14:48:27Z

We prove that the kissing number in 19 dimensions is at least 11948, improving the bound of Cohn and Li by 256. By the odd-sign construction of Cohn and Li, it is enough to find a binary code of length 19 and minimum distance 5 inside the ambient 5-punctured extended binary Golay code. We construct such a code explicitly, of size 1280. The construction is organized around a chain of linear codes $M\le K\le D$, $|M|=64$, $|K/M|=16$, and $|D/K|=4$. The 21 words of $D$ of weight 3 or 4 lie in exactly five nonzero $M$-cosets inside $K$. Those five cosets define a Cayley graph on $K/M\cong\mathbb F_2^4$ with connection set $\{e_1,e_2,e_3,e_4,e_1+e_2+e_3+e_4\}$, hence the Clebsch graph. A 5-coclique in that quotient lifts first to a 320-word code in $K$ and then, by taking all four cosets of $K$ in $D$, to the desired 1280-word code.

2026-03-11T05:15:44Z v2: corrected errors and improved exposition; main results unchanged Boon Suan Ho http://arxiv.org/abs/2602.06720v2 2026-03-20T07:51:07Z

We show that, for uniformly locally finite metric spaces $X$ and $Y$ with isomorphic uniform Roe algebras $C^*_u(X)$ and $C^*_u(Y)$, the existence of a bijective coarse equivalence $f \colon X \to Y$ is equivalent to the injectivity of the $0$th comparison map appearing in the HK conjecture for coarse groupoids. We further prove that the $0$th comparison map is injective unconditionally. Moreover, if the underlying space is coarsely connected, this map is in fact split-injective.

2026-02-06T14:13:15Z 25 pages Kostyantyn Krutoy http://arxiv.org/abs/2209.13384v2 2026-03-20T06:34:44Z

For a post-critically finite hyperbolic rational map $f$, we show that its Julia set $\mathcal{J}_f$ has Ahlfors-regular conformal dimension one if and only if $f$ is a crochet map, i.e., there is an $f$-invariant connected graph $G$ containing the post-critical set such that $f|_G$ has topological entropy zero. We use finite subdivision rules to obtain graph virtual endomorphisms, which are 1-dimensional models of post-critically finite rational maps, and we approximate the asymptotic conformal energies of graph virtual endomorphisms to estimate the Ahlfors-regular conformal dimensions of Julia sets. To prove the main theorem, we also establish the monotonicity of asymptotic conformal energies under the decomposition of rational maps by invariant multicurves.

2022-09-27T13:40:58Z 70 pages, 11 figures Insung Park http://arxiv.org/abs/2402.10194v2 2026-03-19T22:27:46Z

We define simple tilings in the general context of a $G$-tiling on a Riemannian homogeneous space $M$ to be tilings by Riemannian simplices. As evidence that this definition is natural, we prove that a large class of tilings of $M$ are MLD to simple ones. We demonstrate the utility of this definition by generalizing previously known results about simple tilings of Euclidean space. In particular, it is shown that a simple tiling space of a rational, connected, simply connected, nilpotent Lie group is homeomorphic to a rational tiling space, that is, a tiling space for which displacement between vertices take on rational values. Hence, such a tiling space is a fiber bundle over a nilmanifold. We further sketch a proof of the fact that there is an isomorphism between Čech cohomology and pattern equivariant cohomology of simple tilings in connected, simply connected, nilpotent Lie groups.

2024-02-15T18:50:24Z 31 pages, 2 figures; definition of "simple tilings" revised in terms of Riemannian simplices and self-Delaunay triangulations; sections 3 and 4 essentially rewritten to avoid technical analytic estimates/parameters; comments are welcome Kyle Hansen http://arxiv.org/abs/2504.05194v2 2026-03-19T19:16:16Z

We introduce an algebraic structure which encodes a collection of countable graphs through a set of states, generators and relations. These structures, which we call blueprints, can capture standard algebraic objects such as groups, monoids or small categories, as well as geometric tiling spaces with finite local complexity. We provide a general framework for symbolic dynamics on blueprints under a partial monoid action, and for transferring invariants of their symbolic dynamics through quasi-isometries. In particular, we show that the undecidability of the domino problem, the existence of strongly aperiodic subshifts of finite type, and the existence of subshifts of finite type without computable points are all quasi-isometry invariants for finitely presented blueprints. As an application of this model, we show that two variants of the domino problem for geometric tilings of $\mathbb{R}^d$ are undecidable for $d \geq 2$ on any underlying tiling space with finite local complexity.

2025-04-07T15:43:02Z 38 pages, 8 figures. Comments welcome! Sebastián Barbieri Nicolás Bitar http://arxiv.org/abs/2603.00288v2 2026-03-19T18:03:50Z

Incidence theorems concern configurations of points, lines, and, more generally, higher-dimensional subspaces in projective space. Broadly speaking, such theorems fall into two classes: those that hold over an arbitrary division ring, such as Desargues' theorem, and those that hold only over fields, such as Pappus' theorem. In this paper, we explain the topological origin of this distinction. To this end, we extend to the noncommutative setting the surface-graph approach to incidence theorems developed by Richter-Gebert, Fomin, and Pylyavskyy. We then show that theorems associated with graphs embedded on the sphere, such as Desargues' theorem, hold over any division ring, whereas theorems corresponding to graphs embedded on surfaces of positive genus, such as Pappus' theorem, typically hold if and only if the ground ring is a field. We also extend these results to the setting of arbitrary rings, not necessarily admitting division.

2026-02-27T20:14:06Z 28 pages, 10 figures Anton Izosimov 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