https://arxiv.org/api/+93PJfDo7USMDQxMiSM3UKFvnjc 2026-06-21T10:28:15Z 13068 660 15 http://arxiv.org/abs/2502.08819v2 2026-02-11T09:40:45Z

We consider the problem of finding the minimum of inhomogeneous Gaussian lattice sums: Given a lattice $L \subseteq \mathbb{R}^n$ and a positive constant $α$, the goal is to find the minimizers of $\sum_{x \in L} e^{-α\|x - z\|^2}$ over all $z \in \mathbb{R}^n$. By a result of Bétermin and Petrache from 2017 it is known that for steep potential energy functions - when $α$ tends to infinity - the minimizers in the limit are found at deep holes of the lattice. In this paper, we consider minimizers which already stabilize for all $α\geq α_0$ for some finite $α_0$; we call these minimizers stable cold spots. Generic lattices do not have stable cold spots. For several important lattices, like the root lattices, the Coxeter-Todd lattice, and the Barnes-Wall lattice, we show how to apply the linear programming bound for spherical designs to prove that the deep holes are stable cold spots. We also show, somewhat unexpectedly, that the Leech lattice does not have stable cold spots.

2025-02-12T22:17:26Z (v2) comments of referee incorporated, 32 pages, to appear in Forum of Mathematics, Sigma Forum of Mathematics, Sigma 14 (2026) e25 Christine Bachoc Philippe Moustrou Frank Vallentin Marc Christian Zimmermann 10.1017/fms.2026.10169 http://arxiv.org/abs/2602.10293v1 2026-02-10T21:07:46Z

In this paper, we develop the metric geometry of ranking statistics, proving that the two major permutation distances in the statistics literature -- Kendall tau and Spearman footrule -- extend naturally to incomplete rankings with both coordinate embeddings and graph realizations. This gives us a unifying framework that allows us to connect popular topics in computational social choice: metric preferences (and metric distortion), polarization, and proportionality. As an important application, the metric structure enables efficient identification of blocs of voters and slates of their preferred candidates. Since the definitions work for partial ballots, we can execute the methods not only on synthetic elections, but on a suite of real-world elections. This gives us robust clustering methods that often produce an identical grouping of voters -- even though one family of methods is based on a Condorcet-consistent ranking rule while the other is not.

2026-02-10T21:07:46Z Moon Duchin Kristopher Tapp http://arxiv.org/abs/2602.10233v1 2026-02-10T19:23:13Z

Recent advances in LLM-guided evolutionary computation, particularly AlphaEvolve, have demonstrated remarkable success in discovering novel mathematical constructions and solving challenging optimization problems. In this article, we present ImprovEvolve, a simple yet effective technique for enhancing LLM-based evolutionary approaches such as AlphaEvolve. Given an optimization problem, the standard approach is to evolve program code that, when executed, produces a solution close to the optimum. We propose an alternative program parameterization that maintains the ability to construct optimal solutions while reducing the cognitive load on the LLM. Specifically, we evolve a program (implementing, e.g., a Python class with a prescribed interface) that provides the following functionality: (1) propose a valid initial solution, (2) improve any given solution in terms of fitness, and (3) perturb a solution with a specified intensity. The optimum can then be approached by iteratively applying improve() and perturb() with a scheduled intensity. We evaluate ImprovEvolve on challenging problems from the AlphaEvolve paper: hexagon packing in a hexagon and the second autocorrelation inequality. For hexagon packing, the evolved program achieves new state-of-the-art results for 11, 12, 15, and 16 hexagons; a lightly human-edited variant further improves results for 14, 17, and 23 hexagons. For the second autocorrelation inequality, the human-edited program achieves a new state-of-the-art lower bound of 0.96258, improving upon AlphaEvolve's 0.96102.

2026-02-10T19:23:13Z 18 pages, 23 figures, submitted to KDD '26 Alexey Kravatskiy Valentin Khrulkov Ivan Oseledets http://arxiv.org/abs/2602.08568v2 2026-02-10T16:14:57Z

The classical Stein--Tomas theorem extends the theory of linear Fourier restriction estimates from smooth manifolds to fractal measures exhibiting Fourier decay. In the multilinear setting, transversality allows for Fourier extension estimates that go beyond those implied by the linear theory to hold. We establish a multilinear Fourier extension estimate for measures whose convolution belongs to an $L^p$ space, applicable to known results by Shmerkin and Solomyak that exploit `transversality' between self-similar measures. Moreover, we generalise work by Hambrook--Łaba and Chen from the linear setting to obtain Knapp-type examples for multilinear estimates; we obtain two necessary conditions: one in terms of the upper box dimension of the measures' supports, and another one in terms of their Fourier decay and a ball condition. In particular, these conditions give a more restrictive range compared with previously known results whenever the convolution of the measures at play is singular.

2026-02-09T12:06:42Z 25 pages, 1 figure. v2: Title updated Itamar Oliveira Ana E. de Orellana http://arxiv.org/abs/2602.01159v2 2026-02-10T13:15:21Z

In this paper, extending the work of Gal'perin (Comm. Math. Phys. 154: 63-84, 1993), we investigate generalizations of the concepts of centroids and static equilibrium points of a convex body in spherical, hyperbolic and normed spaces. In addition, we examine the minimum number of equilibrium points a $2$- or $3$-dimensional convex body can have in these spaces. In particular, we show that every plane convex body in any of these spaces has at least four equilibrium points, and that there are mono-monostatic convex bodies in $3$-dimensional spherical, hyperbolic, and certain normed spaces. Our results are generalizations of results of Domokos, Papadopoulos and Ruina (J. Elasticity 36: 59-66, 1994), and Várkonyi and Domokos (J. Nonlinear Sci. 16: 255-281, 2006) for convex bodies in Euclidean space.

2026-02-01T11:10:11Z 20 pages, 4 figures Z. Lángi S. Wang http://arxiv.org/abs/2409.08001v6 2026-02-10T12:06:41Z

We introduce a curvature-dimension condition for autonomous Lagrangians on weighted manifolds, which depends on the Euler-Lagrange dynamics on a single energy level. By generalizing Klartag's needle decomposition technique to the Lagrangian setting, we prove that this curvature-dimension condition is equivalent to displacement convexity of entropy along cost-minimizing interpolations in an $L^1$ sense, and that it implies various consequences of lower Ricci curvature bounds, as in the metric setting. As examples we consider classical and isotropic Lagrangians on Riemannian manifolds. In particular, we generalize the horocyclic Brunn-Minkowski inequality to complex hyperbolic space of arbitrary dimension, and present a new Brunn-Minkowski inequality for contact magnetic geodesics on odd-dimensional spheres.

2024-09-12T12:48:13Z 98 pages, 4 figures. v6: Minor corrections, to appear in Geometric Aspects of Functional Analysis: Israel Seminar (GAFA) Rotem Assouline http://arxiv.org/abs/2602.09698v1 2026-02-10T11:53:11Z

This paper presents a unified theory for the power of a point with respect to generalized spheres (spheres, horospheres, and hyperspheres) in $n$-dimensional hyperbolic space $\mathbf{H}^n$. By extending the classical secant theorem, we derive a novel formula for hyperspheres and also prove that the radical surface of any two non-concentric generalized spheres is a hyperplane. These results provide tools for constructing power diagrams and studying hyperball packings.

2026-02-10T11:53:11Z 20 pages, 9 figures Áron Világi Jenő Szirmai http://arxiv.org/abs/2512.18463v2 2026-02-09T21:38:34Z

We introduce a quantitative version of polynomial cohomology for discrete groups and show that it coincides with usual group cohomology when combinatorial filling functions are polynomially bounded. As an application, we show that Betti numbers of nilpotent groups are invariant by mutually cobounded $\textrm L^p$-measure equivalence. We also use this to obtain new vanishing results for non-cocompact lattices in rank 1 simple Lie groups.

2025-12-20T18:35:14Z 43 pages. This is v2. We improved presentation and added new consequences in Section 5. Namely, Francesco Fournier-Facio and Roman Sauer pointed out that our methods could show that non-uniform octonionic lattices inherit property [T_3] from the ambient Lie group F_4^{-20}. Comments are welcome! Antonio López Neumann Juan Paucar http://arxiv.org/abs/2602.09010v1 2026-02-09T18:55:05Z

We develop a theory of partially defined complete positivity preservers, extending Schoenberg's classical characterization to functions defined only on discrete subsets or constrained domains. We frame the extension problem through the theory of completely positive maps on operator systems -- we characterize general partially defined completely positive definite functions on general homogeneous spaces. We apply our interpolation to constrained packing problems and Delsarte theory, where one uses positive definite functions on homogeneous spaces to obtain bounds on various packing problems. We prove the specific positive definite function witnesses that a code is sharp for constrained angle codes must be from polynomials.

2026-02-09T18:55:05Z 45 pages Sujit Sakharam Damase James Eldred Pascoe http://arxiv.org/abs/2601.14193v2 2026-02-09T14:27:10Z

In a series of papers, Weil initiated the investigation of translation invariant curvature measures of convex bodies, which include as prime examples Federer's curvature measures. In this paper, we continue this line of research by introducing new tools to study curvature measures. Our main results suggest that the space of curvature measures, which is graded by degree and parity, is highly structured: We conjecture that each graded component has length at most $2$ as a representation of the general linear group, and we prove this in degrees $0$ and $n-2$. Beyond this conjectural picture, our methods yield a characterization of Federer's curvature measures under weaker assumptions.

2026-01-20T17:56:55Z Jakob Schuhmacher Thomas Wannerer http://arxiv.org/abs/2404.11885v3 2026-02-09T10:44:40Z

We obtain a solution to a bordism version of Gromov's linearity problem over a large family of acyclic groups, for manifolds with arbitrary dimension. Every group embeds into some acyclic group in this family. Thus, the linear bordism problem has an affirmative solution over a possibly enlarged acyclic group. Our result holds in both PL and smooth categories, and for both oriented and unoriented cases. In the PL case, our results hold without assuming bounded local geometry. As an application, we prove that there is a universal linear bound for the Cheeger-Gromov $L^2$ $ρ$-invariants of PL $(4k-1)$-manifolds associated with arbitrary regular covers. We also show that the minimum number of simplices in a PL triangulation of $(4k-1)$-manifolds with a fixed simple homotopy type is unbounded if the fundamental group has nontrivial torsion. The proof of our main results builds on quantitative algebraic and geometric techniques over the simplicial classifying spaces of groups.

2024-04-18T04:07:53Z 27 pages, 3 figures; referee reports incorporated and Section 7 on quantitative bordism for 1-manifolds added; to appear in Geometry & Topology Jae Choon Cha Geunho Lim http://arxiv.org/abs/2602.08103v1 2026-02-08T19:51:03Z

We study a class of convex bodies called operatopes that are obtained by taking Minkowski sums of affine images of an operator norm ball. This notion generalizes that of zonotopes which are Minkowksi sums of line segments. Taking the limit of the number of line segments to infinity yields the class of convex bodies called zonoids, which can also be viewed as the expectation of a random line segment. Expanding on this interpretation, we analogously define operanoids as the expectation of a random affine image of an operator norm ball. In studying the properties of operanoids when the dimension of the operator norm ball grows, we arrive at a new asymptotic regime for limits of convex bodies. This leads to the more general class of convex bodies called noncommutative zonoids, and we use the framework of free probability theory to illustrate basic properties and examples. Finally, we discuss applications of operanoids and noncommutative zonoids in statistics and stochastic processes.

2026-02-08T19:51:03Z 23 pages, 6 figures Eliza O'Reilly Venkat Chandrasekaran http://arxiv.org/abs/2111.08895v2 2026-02-08T17:52:33Z

We show that any total preorder on a set with $\binom{n}{2}$ elements coincides with the order on pairwise distances of some point collection of size $n$ in $\mathbb{R}^{n-1}$. For linear orders, a collection of $n$ points in $\mathbb{R}^{n-2}$ suffices. These bounds turn out to be optimal. We also find an optimal bound in a bipartite version for total preorders and a near-optimal bound for a bipartite version for linear orders. Our arguments include tools from convexity and positive semidefinite quadratic forms.

2021-11-17T04:22:27Z Edit made on February 2026: Corollary 4 is false as stated. The inductive approach fails soon after the inductive base. See page 5 for details on this Víctor Hugo Almendra-Hernández Leonardo Martínez-Sandoval http://arxiv.org/abs/2407.02607v3 2026-02-08T14:01:11Z

Recent advances in Symmetric Positive Definite (SPD) matrix learning show that Riemannian metrics are fundamental to effective SPD neural networks. Motivated by this, we revisit the geometry of the Cholesky factors and uncover a simple product structure that enables convenient metric design. Building on this insight, we propose two fast and stable SPD metrics, Power--Cholesky Metric (PCM) and Bures--Wasserstein--Cholesky Metric (BWCM), derived via Cholesky decomposition. Compared with existing SPD metrics, the proposed metrics provide closed-form operators, computational efficiency, and improved numerical stability. We further apply our metrics to construct Riemannian Multinomial Logistic Regression (MLR) classifiers and residual blocks for SPD neural networks. Experiments on SPD deep learning, numerical stability analyses, and tensor interpolation demonstrate the effectiveness, efficiency, and robustness of our metrics. The code is available at https://github.com/GitZH-Chen/PCM_BWCM.

2024-07-02T18:46:13Z Accepted to ICLR 2026 Ziheng Chen Yue Song Xiao-Jun Wu Nicu Sebe http://arxiv.org/abs/2602.07431v1 2026-02-07T08:13:29Z

This paper investigates the analytic and structural properties of the $φ$-lower Assouad dimension, a generalized notion extending the lower Assouad dimension. We establish the equivalence of $φ$-lower Assouad dimensions with respect to the dimension functions, prove analytic properties related to the regularity of the $φ$-lower dimension, and analyse the role of rate windows in this context. Furthermore, we explore both positive and negative interpolation properties of the $φ$-lower dimension by presenting corresponding theorems that delineate these behaviors.

2026-02-07T08:13:29Z Haipeng Chen Wen Wang