Bounded remainder sets, bounded distance equivalent cut-and-project sets, and equidecomposability

2026-02-12T16:13:42Z

We use the measurable Hall's theorem due to Cieśla and Sabok to prove that (i) if two measurable sets $A,B \subset \mathbb{R}^d$ of the same measure are bounded remainder sets with respect to a given irrational $d$-dimensional vector $α$, then $A, B$ are equidecomposable with measurable pieces using translations from $\mathbb{Z} α+ \mathbb{Z}^d$; and (ii) given a lattice $Γ\subset \mathbb{R}^m \times \mathbb{R}^n$ with projections $p_1$ and $p_2$ onto $\mathbb{R}^m$ and $\mathbb{R}^n$ respectively, if two cut-and-project sets in $\mathbb{R}^m$ obtained from Riemann measurable windows $W, W' \subset \mathbb{R}^n$ are bounded distance equivalent, then $W, W'$ are equidecomposable with measurable pieces using translations from $p_2(Γ)$. We also prove by a different method that for one-dimensional cut-and-project sets, if the windows $W, W' \subset \mathbb{R}^n$ are polytopes then the pieces can also be chosen to be polytopes; this fails in dimensions two and higher.

Fibonacci numbers and a metric on coprime pairs

2026-02-12T09:32:10Z

In this paper, we introduce a metric on the set of pairs of coprime natural numbers. We explicitly construct a quasi-isometric embedding from the set of natural numbers into this metric space via Fibonacci numbers.

Metric geodesic covers of graphs

2026-02-12T07:23:34Z

We study the problem of finding, for a given one-dimensional topological space $X$, a cover of $X$ of smallest size by geodesics with respect to some metric. The infimal size of such a set is called the metric geodesic cover number of $X$. We prove reductions enabling us to find, with computer assistance, optimal geodesic covers of a graph and use these to determine the cover number of several standard graphs, including $K_4$, $K_5$ and $K_{3,3}$. We also give a catalogue of topological spaces with cover number $3$, and use it to deduce that any such space must be planar.

Universal Ahlfors--David regularity of Steiner trees

2026-02-11T19:10:41Z

The celebrated Steiner tree problem is the problem of finding a set $\St$ of minimum one-dimensional Hausdorff measure $\H$ (length) such that $\St \cup \mathcal{A}$ is connected, where $\mathcal{A} \subset \mathbb{R}^d$ is a given compact set. Paolini and Stepanov provided very general existence and regularity results for the Steiner problem. Their main regularity result is that under a natural assumption, $\H(\St) < \infty$, for almost every $\varepsilon>0$ the set $\St_\varepsilon := \St\setminus B_\varepsilon(\mathcal A)$ is an embedded finite forest (acyclic graph). We give a quantitative regularity result by proving that the set $\St_\varepsilon$ is Ahlfors--David regular with constants that depend only on $d$ (and not on $\mathcal{A}$). Namely, for $d > 2$, every $\varepsilon > 0$, every $x \in \St_\varepsilon$, and every choice of $ρ\in (0,1)$, we have \[ \frac{\H(\St_\varepsilon \cap B_{ρ\varepsilon}(x))}{\varepsilon} \leq \left ( \frac{64d}{1-ρ} \right) ^{d-2}. \] As a corollary, we obtain a density-type result, i.e. that the set $\St_\varepsilon \cap B_{ρ\varepsilon}(x)$ consists of at most \[ \left ( \frac{64d}{1-ρ} \right) ^{d-1} \] line segments. In the plane (i.e., for $d=2$), it is possible to obtain tight structural results.

Cutoff Sobolev inequalities for local and non-local $p$-energies on metric measure spaces

2026-02-11T16:15:44Z

For $p>1$, we study subordination phenomena for local and non-local regular $p$-energies on metric measure spaces. Under suitable geometric assumptions, we show that if a local regular $p$-energy satisfies a Poincaré inequality together with a cutoff Sobolev inequality with scaling function $Ψ$, then all associated stable-like non-local $p$-energies with scaling functions strictly below $Ψ$ are regular and satisfy the corresponding non-local cutoff Sobolev inequalities. Moreover, if a stable-like non-local regular $p$-energy with scaling function $Ψ$ satisfies the corresponding non-local cutoff Sobolev inequality, then the same conclusion holds for all associated stable-like non-local $p$-energies with scaling functions below $Ψ$. These results provide a non-linear extension of the classical subordination principle beyond the Dirichlet form framework.

Expected area of the star hull of planar Brownian motion and bridge

2026-02-11T16:06:18Z

We study the star hull of planar Brownian motion and bridge. Roughly speaking, this is the smallest starshaped set (with respect to the origin) that contains the trace of the path. In particular, we prove that the expected areas of the star hulls are $\frac{3π}{8}$ and $\fracπ{4}$ for planar Brownian motion and bridge, respectively. Our proofs rely on a detailed analysis of the first hitting time and place of a horizontal ray $\mathcal{R}_ρ: = [ρ,\infty)\times\{0\}$ by planar Brownian motion starting at the origin. After deriving a remarkably simple Laplace transform of this joint law, we uncover via a probabilistic argument a surprising conditional structure: conditionally on the first hitting place being the point $(x,0)\in \mathcal{R}_ρ$, the hitting time is distributed as the first passage time to the level $x$ of one-dimensional Brownian motion starting at $0$.

From Brunn-Minkowski to Prékopa-Leindler and Borell-Brascamp-Lieb: discrete inequalities

2026-02-11T14:03:24Z

We consider a general way to obtain Prékopa-Leindler and Borell-Brascamp-Lieb type inequalities from Brunn-Minkowski type inequalities and provide numerous examples. We use the same heuristic to prove a discrete version of the Prékopa-Leindler and Borell-Brascamp-Lieb inequalities for functions over $\mathbb{Z}^d$. These are the functional extensions of the discrete Brunn-Minkowski inequality conjectured by Ruzsa and recently established by Keevash, Tiba, and the author.

The metric geometry of paper surfaces under geometric constraints

2026-02-11T13:11:34Z

We investigate the quasisymmetric uniformization of a special class of metric surfaces known as paper surfaces, constructed as quotients of planar multipolygons via segment pairings, including infinite Type W identifications. These spaces, which arise naturally in dynamical settings, exhibit conic singularities and complex geometric structure. Our goal is to prove that a broad class of such surfaces satisfies Ahlfors 2-regularity and linear local contractibility, which together ensure the existence of a quasisymmetric parametrization onto the standard 2-sphere.

Polarization of lattices: Stable cold spots and spherical designs

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.

Metric geometry for ranking-based voting: Tools for learning electoral structure

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.

ImprovEvolve: Ask AlphaEvolve to Improve the Input Solution and Then Improvise

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.

Multiple convolutions and multilinear fractal Fourier extension estimates

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.

Equilibria in non-Euclidean geometries

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.

Curvature-Dimension for Autonomous Lagrangians

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.

Power with Respect to Generalized Spheres and Radical Surfaces in $\mathbf{H}^n$

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.