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.

Approximation by uniformly distributed sequences

2025-07-09T06:21:51Z

We consider approximation properties of real points by uniformly distributed sequences. Under some assumptions on the approximation functions, we prove a Khintchine-type $0$-$1$ dichotomy law. We establish a new connection between uniform distribution and the ubiquity property. Namely, we show that a bound on the discrepancy of the sequence implies the ubiquity property, which helps to obtain divergence results. We further obtain Hausdorff dimension results for weighted sets. The key tools in proving these results are the weighted ubiquitous systems and weighted mass transference principle introduced recently by Kleinbock \& Wang, and Wang \& Wu respectively.

On the Gromov--Hausdorff stability of metric viscosity solutions

2025-07-09T02:43:56Z

We establish the stability of metric viscosity solutions to first-order Hamilton--Jacobi equations under Gromov--Hausdorff convergence. Our proof combines a characterization of metric viscosity solutions via quadratic distance functions with a doubling variable method adapted to epsilon-isometries, which allows us to pass to the Gromov--Hausdorff limit without embedding the spaces into a common ambient space. As a byproduct, we give a PDE-based proof of the stability of the dual Kantorovich problems under measured-Gromov--Hausdorff convergence.

Mixing and Merging Metric Spaces using Directed Graphs

2025-07-09T00:33:19Z

Let $(X_1,d_1),\dots, (X_N,d_N)$ be metric spaces, where $d_i: X_i \times X_i \rightarrow [0,1]$ is a distance function for $i=1,\dots,N$. Let $\mathcal{X}$ denote the set theoretic product $X_1\times \cdots \times X_N$. Let $\mathcal{G} = \left(\mathcal{V},\mathcal{E}\right)$ be a directed graph with vertex set $\mathcal{V} =\{1,\dots, N\}$, and let $\mathcal{P} = \{p_{ij}\}$ be a collection of weights, where each $p_{ij}\in (0, 1]$ is associated with the edge $(i,j) \in \mathcal{E}$. We introduce the function $d_{\mathcal{X},\mathcal{G},\mathcal{P}}: \mathcal{X}\times \mathcal{X} \to [0,1]$ defined by \begin{align*} d_{\mathcal{X},\mathcal{G},\mathcal{P}}(\mathbf{g},\mathbf{h}) := \left(1 - \frac{1}{N}\sum_{j=1}^N \prod_{i=1}^N \left[1- d_i(g_i,h_i)\right]^{\frac{1}{p_{ji}}} \right), \end{align*} for all $\mathbf{g},\mathbf{h} \in \mathcal{X}$. In this paper we show that $d_{\mathcal{X},\mathcal{G},\mathcal{P}}$ defines a metric space over $\mathcal{X}$. Then we determine how this distance behaves under various graph operations, including disjoint unions and Cartesian products. We investigate two limiting cases: (a) when $d_{\mathcal{X},\mathcal{G},\mathcal{P}}$ is defined over a finite field, leading to a broad generalization of graph-based distances commonly studied in error-correcting code theory; and (b) when the metric is extended to graphons, enabling the measurement of distances in a continuous graph limit setting.

Lorentzian problems on the Heisenberg group

2025-07-08T09:28:56Z

Three left-invariant Lorentzian problems on the Heisenberg group are considered. The Pontryagin maximum principle was applied to both problems and a parameterization of abnormal and normal extremal trajectories was obtained. Reachability sets and the existence of optimal trajectories are investigated.

On Fourier transforms of fractal measures on the parabola

2025-07-08T07:49:26Z

Let $s \in [0,1]$ and $t \in [0,\min\{3s,s + 1\})$. Let $σ$ be a Borel measure supported on the parabola $\mathbb{P} = \{(x,x^{2}) : x \in [-1,1]\}$ satisfying the $s$-dimensional Frostman condition $σ(B(x,r)) \leq r^{s}$. Answering a question of the first author, we show that there exists an exponent $p = p(s,t) \geq 1$ such that $$\|\hatσ\|_{L^{p}(B(R))} \leq C_{s,t}R^{(2 - t)/p}, \qquad R \geq 1.$$ Moreover, when $s \geq 2/3$ and $t \in [0,s + 1)$, the previous inequality is true for $p \geq 6$. We also obtain the following fractal geometric counterpart of the previous results. If $K \subset \mathbb{P}$ is a Borel set with $\dim_{\mathrm{H}} K = s \in [0,1]$, and $n \geq 1$ is an integer, then $$ \dim_{\mathrm{H}}(nK) \geq \min\{3s - s \cdot 2^{-(n - 2)},s + 1\}.$$

Isometries of the class of ball-bodies

2025-07-08T07:31:00Z

We characterize the surjective isometries, with respect to the Hausdorff distance, of the class of bodies given by intersections of Euclidean unit balls. We show that any such isometry is given by the composition of a rigid motion with either the identity or the c-duality mapping, which maps a body in this class to the intersection of Euclidean unit balls centered at points in the body.

Weighted approximation for limsup sets

2025-07-07T23:35:45Z

Theorems of Khintchine, Groshev, Jarník, and Besicovitch in Diophantine approximation are fundamental results on the metric properties of $Ψ$-well approximable sets. These foundational results have since been generalised to the framework of weighted Diophantine approximation for systems of real linear forms (matrices). In this article, we prove analogues of these weighted results in a range of settings including the $p$-adics (Theorems 7 and 8), complex numbers (Theorems 9 and 10), quaternions (Theorems 11 and 12), and formal power series (Theorems 13 and 14). The key tools in proving the main parts of these results are the weighted ubiquitous systems and weighted mass transference principle introduced recently by Kleinbock--Wang [Adv. Math. (2023)] and Wang--Wu [Math. Ann. (2021)].

The Wild, Elusive Singularities of the T-fractal Surface

2025-07-07T14:38:11Z

We give a rigorous definition of the T-fractal translation surface, and describe some its basic geometric and dynamical properties. In particular, we study the singularities attached to the surface by its metric completion and show there exists a Cantor set of "elusive singularities." We show these elusive singularities can be thought of as a generalization of the wild singularities introduced by Bowman and Valdez. In particular, we show that every elusive singularities has an infinite discrete set of rotational components. We also show that each rotational component of an elusive singularity with an irrational address has zero length (angle).

Euclidean plane and its relatives; a minimalist introduction

2025-07-07T03:23:28Z

The book is designed for a semester-long course in Foundations of Geometry and meant to be rigorous, conservative, elementary and minimalist. List of topics: Euclidean geometry: The Axioms / Half-planes / Congruent triangles / Perpendicular lines / Similar triangles / Parallel lines / Triangle geometry. Inversive geometry: Inscribed angles / Inversion. Non-Euclidean geometry: Neutral plane / Hyperbolic plane / Geometry of h-plane. Additional topics: Affine geometry / Projective geometry / Spherical insights / Projective model / Complex coordinates / Geometric constructions / Area.

SL($n$) contravariant tensor valuations of small orders

2025-07-07T02:40:06Z

A complete classification of $\mathrm{SL}(n)$ contravariant, $p$-order tensor valuations on convex polytopes in $ \mathbb{R}^n $ for $ n \geq p $ is established without imposing additional assumptions, particularly omitting any symmetry requirements on the tensors. Beyond recovering known symmetric tensor valuations, our classification reveals asymmetric counterparts associated with the cross tensor and the Levi-Civita tensor. Additionally, some Minkowski type relations for these asymmetric tensor valuations are obtained, extending the classical Minkowski relation of surface area measures.

A note on Global Positioning System (GPS) and Euclidean distance matrices

2025-07-06T11:43:14Z

Let $D$ be an $n \times n$ Euclidean distance matrix (EDM) with embedding dimension $r$; and let $d \in R^n$ be a given vector. In this note, we consider the problem of finding a vector $y \in R^n$, that is closest to d in Euclidean norm, such that the augmented matrix $\left[ \begin{array}{cc} 0 & y^T \\ y & D \end{array}\right]$ is itself an EDM of embedding dimension $r$. This problem is motivated by applications in Global Positioning System (GPS). We present a fault detection criterion and three algorithms: one for the case $n=4$, and two for the case $n \geq 5$.