A general framework for quasi-isometries in symbolic dynamics beyond groups

2025-04-07T15:43:02Z

We introduce an algebraic structure which encodes a collection of countable graphs through a set of states, generators and relations. For these structures, which we call blueprints, we provide a general framework for symbolic dynamics 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 a variant of the domino problem for geometric tilings of $\mathbb{R}^d$ is undecidable for $d \geq 2$ on any underlying tiling space with finite local complexity.

Lattice packing of spheres in high dimensions using a stochastically evolving ellipsoid

2025-04-07T13:09:05Z

We prove that in any dimension $n$ there exists an origin-symmetric ellipsoid ${\mathcal{E}} \subset {\mathbb{R}}^n$ of volume $ c n^2 $ that contains no points of ${\mathbb{Z}}^n$ other than the origin, where $c > 0$ is a universal constant. Equivalently, there exists a lattice sphere packing in ${\mathbb{R}}^n$ whose density is at least $cn^2 \cdot 2^{-n}$. Previously known constructions of sphere packings in ${\mathbb{R}}^n$ had densities of the order of magnitude of $n \cdot 2^{-n}$, up to logarithmic factors. Our proof utilizes a stochastically evolving ellipsoid that accumulates at least $c n^2$ lattice points on its boundary, while containing no lattice points in its interior except for the origin.

Universal coding, intrinsic volumes, and metric complexity

2025-04-07T13:06:40Z

We study sequential probability assignment in the Gaussian setting, where the goal is to predict, or equivalently compress, a sequence of real-valued observations almost as well as the best Gaussian distribution with mean constrained to a given subset of $\mathbb{R}^n$. First, in the case of a convex constraint set $K$, we express the hardness of the prediction problem (the minimax regret) in terms of the intrinsic volumes of $K$; specifically, it equals the logarithm of the Wills functional from convex geometry. We then establish a comparison inequality for the Wills functional in the general nonconvex case, which underlines the metric nature of this quantity and generalizes the Slepian-Sudakov-Fernique comparison principle for the Gaussian width. Motivated by this inequality, we characterize the exact order of magnitude of the considered functional for a general nonconvex set, in terms of global covering numbers and local Gaussian widths. This implies sharp estimates, of metric nature, on the log-Laplace transform of the intrinsic volume sequence of a convex body. As part of our analysis, we also characterize the minimax redundancy for a general constraint set. We finally relate and contrast our findings with classical asymptotic results in information theory.

The Power of Recursive Embeddings for $\ell_p$ Metrics

2025-04-07T11:40:16Z

Metric embedding is a powerful tool used extensively in mathematics and computer science. We devise a new method of using metric embeddings recursively, which turns out to be particularly effective in $\ell_p$ spaces, $p>2$, yielding state-of-the-art results for Lipschitz decomposition, for Nearest Neighbor Search, and for embedding into $\ell_2$. In a nutshell, our method composes metric embeddings by viewing them as reductions between problems, and thereby obtains a new reduction that is substantially more effective than the known reduction that employs a single embedding. We in fact apply this method recursively, oftentimes using double recursion, which further amplifies the gap from a single embedding.

Fractal Zeta Functions and Complex Dimensions of Ahlfors Metric Measure Spaces

2025-04-07T04:12:07Z

While classical analysis dealt primarily with smooth spaces, much research has been done in the last half century on expanding the theory to the nonsmooth case. Metric Measure spaces are the natural setting for such analysis, and it is thus important to understand the geometry of subsets of these spaces. In this paper we will focus on the geometry of Ahlfors regular spaces, Metric Measure spaces with an additional regularity condition. Historically, fractals have been studied using different ideas of dimension which have all proven to be unsatisfactory to some degree. The theory of complex dimensions, developed by M.L. Lapidus and a number of collaborators, was developed in part to better understand fractality in the Euclidean case and seeks to overcome these problems. Of particular interest is the recent theory of complex dimensions in higher-dimensional Euclidean spaces, as studied by M.L.Lapidus, G. Radunovi\'c, and D. Zubrini\'c, who introduced and studied the properties of the distance zeta function $\zeta_A$. We will show that this theory of complex dimensions naturally generalizes to the case of Ahlfors regular spaces, as the distance zeta function can be modified to these spaces and all of its main properties carry over. We also provide a selection of examples in Ahlfors spaces, as well as hints that the theory can be expanded to a more general setting.

Distinct Distances Between a Line and Strip

2025-04-06T19:31:41Z

We introduce a new type of distinct distances result: a lower bound on the number of distances between points on a line and points on a two-dimensional strip. This can be seen as a generalization of the well-studied problems of distances between points on two lines or curves. Unlike these existing problems, this new variant only makes sense if the points satisfy an additional spacing condition. Our work can also be seen as an exploration of the proximity technique that was recently introduced by Solymosi and Zahl. This technique lies at the heart of our analysis.

The Gaussian correlation inequality for centered convex sets

2025-04-06T03:09:53Z

We prove that the Gaussian correlation inequality holds true for centered convex sets. The proof is based on Milman's observation that the Gaussian correlation inequality may be regarded as an example of the inverse Brascamp--Lieb inequality. We give further extensions of the Gaussian correlation inequality formulated by Szarek--Werner.

Comparison of Methods for Rotating a Point in $\mathbb{R}^3$: A Case Study

2025-04-05T21:20:57Z

This article presents and compares four approaches for computing the rotation of a point about an axis by an angle in $\mathbb{R}^3$. We illustrate these methods by computing, by hand, the rotation of point $P=(1,0,1)^T$ about axis $\mathbf{a}=(1,1,1)^T$ by angle $\theta=60^\circ$ (following the right-hand rule). The four methods considered are: (1) an ad hoc geometric method exploiting a symmetry in the situation; (2) a projection method that sets up a new coordinate system using the dot and cross products; (3) a matrix method which rotates the standard basis and uses matrix-vector multiplication; (4) a Geometric (Clifford) Algebra method that represents the rotation as a double reflection via a rotor. All methods yield the same exact result: $P'=\left(\tfrac{4}{3},\tfrac{1}{3},\tfrac{1}{3}\right)^T$.

Gluing $CAT(0)$ domains

2025-04-04T11:20:30Z

In this work we describe a class of subsets of the Euclidean plane which, with the induced length metric, are locally $CAT(0)$ spaces and we show that the gluing of two such subsets along a piece of their boundary is again a locally $CAT(0)$ space provided that the sum of the signed curvatures at every gluing point is non-positive. A generalization to subsets of smooth Riemannian surfaces of curvature $k\leq 0$ is given.

On the (outer) Minkowski content with lower-dimensional structuring element

2025-04-04T10:46:48Z

Given a convex body $Q$ (structuring element) and a set $A$ in a Euclidean space, we consider the $Q$-Minkowski content of $A$. It is defined as the usual isotropic Minkowski content of $A$, but where the Euclidean ball is replaced by $Q$. When $Q$ is full-dimensional, the existence of the $Q$-Minkowski content can be assured by a sufficient condition which was stated by Ambrosio, Fusco and Pallara in the isotropic case. If $Q$ is not full-dimensional, we show that a weaker condition is sufficient for this purpose. We also consider the outer $Q$-Minkowski content of $A$ yielding the anisotropic perimeter of $A$ and we find a sufficient condition for its existence. Finally, we present an example of a set in three-dimensional Euclidean space, which does not admit the isotropic outer Minkwski content, but it admits the outer $Q$-Minkowski content for all two-dimensional disks $Q$.

Limits of manifolds with boundary I

2025-04-04T07:08:44Z

In this paper, we develop the infinitesimal geometry of the limit spaces of compact Riemannian manifolds with boundary, where we assume lower bounds on the sectional curvatures of manifolds and boundaries and the second fundamental forms of boundaries and an upper diameter bound. We mainly focus on the case when inradii of manifolds are uniformly bounded away from zero. In this case, many limit spaces have wild geometry, which arise as the boundary singular points of the limit spaces. We determine the infinitesimal structure at those boundary singular points. We also determine the Hausdorff dimensions of the boundary singular sets.

Entropy and functional forms of the dimensional Brunn--Minkowski inequality in Gauss space

2025-04-04T01:55:02Z

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 $\gamma$ 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} \gamma \left( (1-t) K_{0} + t K_{1} \right)^{\frac{1}{n}} \geq (1-t) \gamma (K_{0})^{\frac{1}{n}} + t \gamma (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.

Optimal transport on the sub-Lorentzian Heisenberg group

2025-04-03T22:29:57Z

We investigate the synthetic metric spacetime structure of the sub-Lorentzian Heisenberg group and we study the optimal transport problem in this space. The sub-Lorentzian version of Brenier's theorem is established in this setting. Finally, we provide examples of optimal transport maps and derive a sub-Lorentzian Monge-Amp\`ere equation.

Norm rigidity for arithmetic and profinite groups

2025-04-03T19:12:11Z

Let $A$ be a commutative ring, and assume every non-trivial ideal of $A$ has finite-index. We show that if ${\rm{SL}}_n(A)$ has bounded elementary generation then every conjugation-invariant norm on it is either discrete or precompact. If $G$ is any group satisfying this dichotomy we say that $G$ has the \emph{dichotomy property}. We relate the dichotomy property, as well as some natural variants of it, to other rigidity results in the theory of arithmetic and profinite groups such as the celebrated normal subgroup theorem of Margulis and the seminal work of Nikolov and Segal. As a consequence we derive constraints to the possible approximations of certain non residually finite central extensions of arithmetic groups, which we hope might have further applications in the study of sofic groups. In the last section we provide several open problems for further research.

A Complete Classification of Fourier Summation Formulas on the real line

2025-04-03T16:28:18Z

We completely classify Fourier summation formulas of the form $$ \int_{\mathbb{R}} \widehat{\varphi}(t) d\mu(t)=\sum_{n=0}^{\infty} a(\lambda_n)\varphi(\lambda_n), $$ that hold for any test function $\varphi$, where $\widehat\varphi$ is the Fourier transform of $\varphi$, $\mu$ is a fixed complex measure on $\mathbb{R}$ and $a:\{\lambda_n\}_{n\geq 0}\to\mathbb{C}$ is a fixed function. We only assume the decay condition $$ \int_{\mathbb{R}} \frac{d |\mu|(t)}{(1+t^2)^{c_1}} + \sum_{n\geq 0} |a(\lambda_n)|e^{-c_2 |\lambda_n|}<\infty, $$ for some $c_1,c_2>0$. This completes the work initiated by the first author previously, where the condition $c_1\leq 1$ was required. We prove that any such pair $(\mu,a)$ can be uniquely associated with a holomorphic map $F(z)$ in the upper-half space that is both almost periodic and belongs to a certain higher index Nevanlinna class. The converse is also true: For any such function $F$ it is possible to generate a Fourier summation pair $(\mu,a)$. We provide important examples of such summation formulas not contemplated by the previous results, such as Selberg's trace formula.