The Kneser--Poulsen phenomena for entropy

2025-07-14T17:03:12Z

The Kneser--Poulsen conjecture asserts that the volume of a union of balls in Euclidean space cannot be increased by bringing their centres pairwise closer. We prove that its natural information-theoretic counterpart is true. This follows from a complete answer to a question asked in arXiv:2210.12842 about Gaussian convolutions, namely that the Rényi entropy comparisons between a probability measure and its contractive image are preserved when both undergo simultaneous heat flow. An inequality that unifies Costa's result on the concavity of entropy power with the entropic Kneser--Poulsen theorem is also presented.

The space of rough Riemannian metrics

2025-07-14T13:43:41Z

On a smooth connected manifold, we consider all possible locally elliptic and locally bounded measurable coefficient Riemannian metrics called rough Riemannian metrics. We equip this set with an extended metric which is connected if and only if the manifold is compact. We prove that this is a complete length extended metric space and the components on which the distance is finite are path-connected. Moreover, we identify the closure of smooth metrics in this space to be continuous metrics.

Bounded geometry version of property A

2025-07-13T17:14:08Z

For uniformly dicrete metric spaces without bounded geometry we suggest a modified version of property A based on metrics of bounded geometry greater than the given metric. We show that this version still implies coarse embeddability in Hilbert spaces, and that some examples of non-property A spaces of unbounded geometry satisfy this version. We also relate this version of property A to our version of uniform Roe algebras for spaces without bounded geometry and introduce an appropriate equivalence relation.

Estimates on the decay of the Laplace-Polya integral

2025-07-13T11:01:30Z

The Laplace--Pólya integral, defined by $J_n(r) = \frac1π\int_{-\infty}^\infty \mathrm{sinc}^n t \cos(rt) \mathrm{d} \, t$, appears in several areas of mathematics. We study this quantity by combinatorial methods; accordingly, our investigation focuses on the values at integer $r$'s. Our main result establishes a lower bound for the ratio $\frac{J_n(r+2)}{J_n(r)}$ which extends and generalises the previous estimates of Lesieur and Nicolas, and provides a natural counterpart to the upper estimate established in our previous work. We derive the statement by purely combinatorial, elementary arguments. As a corollary, we deduce that no subdiagonal central sections of the unit cube are extremal, apart from the minimal, maximal, and the main diagonal sections. We also prove several consequences for Eulerian numbers.

On integer points inside a randomly shifted polyhedron

2025-07-12T17:14:05Z

Consider a convex body $C \subset \mathbb{R}^d$. Let $X$ be a random point with uniform distribution in $[0,1]^d$. Define $X_C$ as the number of lattice points in $\mathbb{Z}^d$ inside the translated body $C + X$. It is well known that $\mathbb{E} X_C = \mathrm{vol}(C)$. A natural question arises: What can be said about the distribution of $X_C$ in general? In this work, we study this question when $C$ is a polyhedron with vertices at integer points.

Deltahedral Domes over Equiangular Polygons

2025-07-11T17:45:08Z

A polyiamond is a polygon composed of unit equilateral triangles, and a generalized deltahedron is a convex polyhedron whose every face is a convex polyiamond. We study a variant where one face may be an exception. For a convex polygon P, if there is a convex polyhedron that has P as one face and all the other faces are convex polyiamonds, then we say that P can be domed. Our main result is a complete characterization of which equiangular n-gons can be domed: only if n is in {3, 4, 5, 6, 8, 10, 12}, and only with some conditions on the integer edge lengths.

Locally elliptic actions, torsion groups, and nonpositively curved spaces

2025-07-11T11:07:39Z

Extending and unifying a number of well-known conjectures and open questions, we conjecture that locally elliptic (that is, every element has a bounded orbit) actions by automorphisms of finitely generated groups on finite dimensional nonpositively curved complexes have global fixed points. In particular, finitely generated torsion groups cannot act without fixed points on such spaces. We prove these conjectures for a wide class of complexes, including all infinite families of Euclidean buildings, Helly complexes, some graphical small cancellation and systolic complexes, uniformly locally finite Gromov hyperbolic graphs. We present consequences of these result, e.g. concerning the automatic continuity. Our main tool are Helly graphs. On the way we prove several results concerning their automorphisms. We present and study a new notion of geodesic clique paths. Their local-to-global properties are crucial in our proof of ellipticity results.

A link condition for simplicial complexes, and CUB spaces

2025-07-11T10:58:53Z

We motivate the study of metric spaces with a unique convex geodesic bicombing, which we call CUB spaces. These encompass many classical notions of nonpositive curvature, such as CAT(0) spaces and Busemann-convex spaces. Groups having a geometric action on a CUB space enjoy numerous properties. We want to know when a simplicial complex, endowed with a natural polyhedral metric, is CUB. We establish a link condition, stating essentially that the complex is locally a lattice. This generalizes Gromov's link condition for cube complexes, for the $\ell^\infty$ metric. The link condition applies to numerous examples, including Euclidean buildings, simplices of groups, Artin complexes of Euclidean Artin groups, (weak) Garside groups, some arcs and curve complexes, and minimal spanning surfaces of knots.

Hyperbolic spaces not quasi-isometric to curve complexes

2025-07-10T18:00:51Z

We identify a condition that prevents a hyperbolic space from being quasi-isometric to the curve complex of any non-sporadic surface. Our result applies to several hyperbolic complexes, including arc complexes, disk complexes, non-separating curve complexes, (hyperbolic) pants complexes, and to free splitting complexes of free groups.

Approximation Depth of Convex Polytopes

2025-07-10T13:58:55Z

We study approximations of polytopes in the standard model for computing polytopes using Minkowski sums and (convex hulls of) unions. Specifically, we study the ability to approximate a target polytope by polytopes of a given depth. Our main results imply that simplices can only be ``trivially approximated''. On the way, we obtain a characterization of simplices as the only ``outer additive'' convex bodies.

The Smooth Power of the "Neandertal Method"

2025-07-10T09:16:20Z

We describe an algorithmic method to transform a Euclidean wallpaper pattern into a Circle Limit-style picture à la Escher. The design goals for the method are to be mathematically sound, aesthetically pleasing and fast to compute. It turns out that a certain class of conformal maps is particularly well-suited for the problem. Moreover, in our specific application, a very simple method, sometimes jokingly called the "Neandertal Method" for its almost brutal simplicity, proves to be highly efficient, as it can easily be parallelized to be run on the GPU, unlike many other approaches.

Surjectivity of the Cannon--Thurston map in metric (graph) bundles

2025-07-09T17:34:33Z

Metric (graph) bundles generalize the notion of fiber bundles to the context of geometric group theory and were introduced by Mj and Sardar. Suppose $X$ is a metric (graph) bundle over $B$ such that the fibers are (uniformly) hyperbolic, and the total space $X$ is also hyperbolic. In this generality, Mj--Sardar proved that the inclusion of a fiber into $X$ admits a continuous extension to the (Gromov) boundary. In this article, we prove that such a continuous extension map between boundaries is surjective in the following two key settings. $(1)$ The fibers are uniformly quasiisometric to a nonelementary hyperbolic group. $(2)$ The fibers are one-ended hyperbolic metric spaces. Our result generalizes a theorem of Bowditch in which the fibers were assumed to be the hyperbolic plane, and it answers a question posed by Lazarovich, Margolis and Mj.

A Lorentzian splitting theorem for continuously differentiable metrics and weights

2025-07-09T13:33:42Z

We prove a splitting theorem for globally hyperbolic, weighted spacetimes with metrics and weights of regularity $C^1$ by combining elliptic techniques for the negative homogeneity $p$-d'Alembert operator from our recent work in the smooth setting with the concept of line-adapted curves introduced here. Our results extend the Lorentzian splitting theorem proved for smooth globally hyperbolic spacetimes by Galloway -- and variants of its weighted counterparts by Case and Woolgar--Wylie -- to this low regularity setting.

An overview of the stability of Sobolev inequalities on Riemannian manifolds with Ricci lower bounds

2025-07-09T13:06:13Z

We review recent results regarding the problem of the stability of Sobolev inequalities on Riemannian manifolds with Ricci curvature lower bounds. We shall describe techniques and methods from smooth and non-smooth geometry, the fruitful combination of which revealed particularly effective. Furthermore, we present a self-contained overview of the proof of the stability of the Sobolev inequality on manifolds with non-negative Ricci curvature and Euclidean volume growth, adopting a direct strategy tailored to this setting. Finally, we discuss related stability results and present some open problems.

Interpolating with generalized Assouad dimensions

2025-07-09T12:22:29Z

The $φ$-Assouad dimensions are a family of dimensions which interpolate between the upper box and Assouad dimensions. They are a generalization of the well-studied Assouad spectrum with a more general form of scale sensitivity that is often closely related to "phase-transition" phenomena in sets. In this article we establish a number of key properties of the $φ$-Assouad dimensions which help to clarify their behaviour. We prove for any bounded doubling metric space $F$ and $α\in\mathbb{R}$ satisfying $\overline{\operatorname{dim}}_{\mathrm{B}}F<α\leq\operatorname{dim}_{\mathrm{A}} F$ that there is a function $φ$ so that the $φ$-Assouad dimension of $F$ is equal to $α$. We further show that the "upper" variant of the dimension is fully determined by the $φ$-Assouad dimension, and that homogeneous Moran sets are in a certain sense generic for these dimensions. Further, we study explicit examples of sets where the Assouad spectrum does not reach the Assouad dimension. We prove a precise formula for the $φ$-Assouad dimensions for Galton--Watson trees that correspond to a general class of stochastically self-similar sets, including Mandelbrot percolation. This result follows from two results which may be of general interest: a sharp large deviations theorem for Galton--Watson processes with bounded offspring distribution, and a Borel--Cantelli-type lemma for infinite structures in random trees. Finally, we obtain results on the $φ$-Assouad dimensions of overlapping self-similar sets and decreasing sequences with decreasing gaps.