Inradius collapsed manifolds with a lower Ricci curvature bound

2025-11-27T04:06:57Z

In this paper, we study a family of $n$-dimensional Riemannian manifolds with boundary having lower bounds on the Ricci curvatures of interior and boundary and on the second fundamental form of boundary. A sequence of manifolds in this family is said to be inradius collapsed if their inradii tend to zero. We prove that the limit space $C_0$ of boundaries of inradius collapsed manifolds admits an isometric involution $f$, and that the limit of the manifolds themselves is isometric to the quotient space $C_0/f$. As an application, we show that the number of boundary components of inradius collapsed manifolds is at most two. Moreover, we prove that the limit space has a lower Ricci curvature bound and an upper dimension bound in a synthetic sense if in addition their boundaries are non-collapsed.

Simple proofs of discretised projection theorems

2025-11-26T18:28:32Z

We give a simple, short and self-contained presentation of Bourgain's discretised projection theorem from 2010, which is a fundamental tool in many recent breakthroughs in geometric measure theory, harmonic analysis, and homogeneous dynamics. Our main innovation is a short elementary argument that shows that a discretised subset of $\R$ satisfying a weak ``two-ends'' spacing condition is expanded by a polynomial to a set of positive Lebesgue measure.

Maximal Equidistant Spacings

2025-11-26T16:10:41Z

We call a family $\{Y_1,\dots,Y_I\}$ in Euclidean space an equidistance spacing if $\|y_i - y_j\| = 1$ whenever $y_i \in Y_i, y_j \in Y_j$ and $i \neq j$. In other words, choosing a representative from each set produces a complete distance graph (i.e. equilateral set). We say such a spacing is maximal if each $Y_i$ is maximal under inclusion. In this work we characterize maximal equidistant spacings in $\mathbb R^n$. For each equidistant spacing there is an associated center (a point in $\mathbb R^n$) and radius (a non-negative scalar) so that the centers form an orthocentric system. Using arguments from classical geometry we find that the moduli space of maximal equidistant spacings is described in terms of the movement of its center and radii. Using tools from geometric combinatorics, we develop a discrete combinatorial object called the signature. Our classification theorem shows that maximal equidistant spacings are isometric if and only if they have the same signature. We also construct all maximal equidistant spacings in $\mathbb R^1,\mathbb R^2$ and $\mathbb R^3$, outline a procedure for constructing all maximal equidistant spacings in $\mathbb R^n$, and give an algorithm for checking if a locus of points is equidistantly spaced that is linear in the number of points, an improvement over the naive direct quadratic algorithm.

Assouad spectrum of Gatzouras-Lalley carpets

2025-11-26T15:16:08Z

We study the fine local scaling properties of a class of self-affine fractal sets called Gatzouras-Lalley carpets. More precisely, we establish a formula for the Assouad spectrum of all Gatzouras-Lalley carpets as the concave conjugate of an explicit piecewise-analytic function combined with a simple parameter change. Our formula implies a number of novel properties for the Assouad spectrum not previously observed for dynamically invariant sets; in particular, the Assouad spectrum can be a non-trivial differentiable function on the entire domain $(0,1)$ and can be strictly concave on open intervals. Our proof introduces a general framework for covering arguments using techniques developed in the context of multifractal analysis, including the method of types from large deviations theory and Lagrange duality from optimisation theory.

A study of the metric measure space of probability measures via a purely atomic superposition principle

2025-11-26T09:33:18Z

We study the continuity equation on the metric measure space $(\mathcal{P}_p(X),W_p,Q)$, when $X$ is either the Euclidean space or a compact, oriented, and boundaryless Riemannian manifold, for some suitable reference measure $Q \in \mathcal{P}_p(\mathcal{P}_p(X))$, which by construction are concentrated over purely atomic measures. In fact, we consider the equation $\partial_t M_t +\operatorname{div}_{\mathcal{P}}(b_t M_t) = 0$, where $(M_t)_{t\in[0,T]} \subset\mathcal{P}(\mathcal{P}(X))$ and $b:[0,T]\times X \times \mathcal{P}(X) \to TX$, assuming that $M_t\ll Q$ for all $t\in[0,T]$, to then show when the purely atomic property is inherited by the liftings of the curve $M_t$ given by the nested superposition principle. On the Euclidean space, the main assumption is that the $r$-capacity of the diagonal $Δ\subset \mathbb{R}^d \times \mathbb{R}^d$ is zero with respect to $ν\otimes ν$, where $ν$ is the barycenter of the reference measure $Q$. We will give sufficient conditions to ensure it, and in particular, thanks to the Nash embedding theorem, this analysis will allow us to extent the main results from the Euclidean space to Riemannian manifolds. Finally, we exploit this atomic superposition principle to show the lack of the Sobolev-to-Lipschitz property and the Poincaré inequality for functions in $W^{1,p}(\mathcal{P}_p(X),W_p,Q)$. Then, we complete the analysis showing that, however, the $L^2$-Wasserstein space endowed with suitable reference measure $Q$, satisfies a Bakry--Émery curvature condition.

Dimension-counting bounds for equi-isoclinic subspaces

2025-11-25T18:57:37Z

We make four contributions to the theory of optimal subspace packings and equi-isoclinic subspaces: (1) a new lower bound for block coherence, (2) an exact count of equi-isoclinic subspaces of even dimension $r$ in $\mathbb{R}^{2r+1}$ with parameter $α\neq \tfrac{1}{2}$, (3) a new upper bound for the number of $r$-dimensional equi-isoclinic subspaces in $\mathbb{R}^d$ or $\mathbb{C}^d$, and (4) a proof that when $d=2r$, a further refinement of this bound is attained for every $r$ in the complex case and every $r=2^k$ in the real case. For each of these contributions, the proof ultimately relies on a dimension count.

Groups with a finite Busemann boundary are virtually cyclic

2025-11-25T17:02:00Z

This note is a continuation of the study of the relationship between the geometry of Cayley graphs and the size of its metric-functional boundary. We show that, if there exists a Cayley graph with finitely many Busemann points, then the underlying group is virtually cyclic. Together with previous works, this completes the full characterization of groups with finite metric-functional boundaries. The main new notion introduced is that of annihilators.

Density problem for Sobolev spaces on Gehring Hayman domains with the ball separation condition in metric measure spaces

2025-11-25T15:06:34Z

We prove that for a domain $Ω$ in a PI space $X$ such that $Ω$ satisfies the Gehring Hayman condition and the ball separation condition, the Newtonian Sobolev space $N^{1,\infty}(Ω)$ is dense in the space $N^{1,p}(Ω)$ for $1 < p < \infty$.

Bi-Lipschitz embedding properties of lamplighter graphs on weighted and unweighted trees

2025-11-25T02:14:28Z

In 2021 Baudier, Motakis, Schlumprecht, and Zsák proved that if a sequence of graphs $(G_k)_{k\in{\mathbb{N}}}$ contains the sequence of complete graphs with uniformly bounded distortion, then the sequence of lamplighter graphs on $G_k$'s contains Hamming cubes with uniformly bounded distortion and asked whether the converse holds. They suggested that a sequence of trees with edges replaced by paths of ``moderately growing'' lengths may be a counterexample. We prove that indeed this is the case, and that a sequence of ``moderately'' weighted trees is another counterexample. Further, we prove that diamond graphs do not embed with uniformly bounded distortion into lamplighter graphs on trees with edges replaced by paths with sufficiently fast growing lengths.

Measuring Asymptotic Convergence: A Unified Framework from Isotropic Infinity to Anisotropic Ends

2025-11-25T01:27:29Z

We develop a unified approach to defining a point at infinity for an arbitrary space and formalizing convergence to this point. Central to our work is a method to quantify and classify the rates at which functions approach their limits at infinity. Our framework applies to various settings (metric spaces, topological spaces, directed sets, measure spaces) by introducing an exhaustion of the space via an associated exhaustion function h. Using h, we adjoin an ideal point ω_A to the space A and define convergence a \to ω_A in a manner intrinsic to A. To measure convergence rates, we introduce a family of parameterized norms, denoted ||f||_{\infty,h,p}, which provides a refined classification of asymptotic behavior (e.g., distinguishing rates of order O(h^{-p})). Furthermore, the framework is extended to handle anisotropic spaces with multiple distinct ends by introducing a 'multi-exhaustion' formalism, allowing for a precise, directional analysis of convergence rates towards each asymptotic channel. This approach allows for a distinction between the global convergence captured by the norm and the purely asymptotic behavior at infinity, which can be analyzed via the limit superior of the convergence ratio. We further investigate the theoretical limits of this measure by establishing sufficient conditions (such as monotonicity) under which a finite norm guarantees convergence. The framework is shown to recover classical results, such as the Alexandroff one-point compactification and standard definitions of limits, while also providing a richer quantitative structure. Examples in each context are provided to illustrate the concepts.

Circle Squaring with Pieces of Small Boundary and Low Borel Complexity

2025-11-24T16:42:44Z

Tarski's Circle Squaring Problem from 1925 asks whether it is possible to partition a disk in the plane into finitely many pieces and reassemble them via isometries to yield a partition of a square of the same area. It was finally resolved by Laczkovich in 1990 in the affirmative. Recently, several new proofs have emerged which achieve circle squaring with better structured pieces: namely, pieces which are Lebesgue measurable and have the property of Baire (Grabowski-Máthé-Pikhurko) or even are Borel (Marks-Unger). In this paper, we show that circle squaring is possible with Borel pieces of positive Lebesgue measure whose boundaries have upper Minkowski dimension less than 2 (in particular, each piece is Jordan measurable). We also improve the Borel complexity of the pieces: namely, we show that each piece can be taken to be a Boolean combination of $F_σ$ sets. This is a consequence of our more general result that applies to any two bounded subsets of $R^k$, $k\ge 1$, of equal positive measure whose boundaries have upper Minkowski dimension smaller than $k$.

A note on Bernoulli type free boundary problem on collapsed RCD(K,N)-spaces

2025-11-24T11:55:23Z

In this paper, we investigate Bernoulli type free boundary problem on collapsed RCD(K,N)-spaces. We prove the existence of minimizers and prove the local Lipschitz continuity of minimizers provided that the negative part is locally Lipschitz continuous. In particular, we prove the local Lipschitz continuity of minimizers for the one-phase problem (i.e. when the solution is non-negative). And then we prove that the free boundaries of minimizers have locally finite perimeter. We emphasize that the proof in this paper applies to collapsed RCD(K,N)-spaces and does not rely on the non-collapsed condition.

Coarse cops and robber in graphs and groups

2025-11-24T09:59:52Z

(abstract shortened to meet arxiv's length requirements) We investigate two variants of the classical Cops and robber game in graphs, recently introduced by Lee, Martínez-Pedroza, and Rodríguez-Quinche. The two versions are played in infinite graphs and the goal of the cops is to prevent the robber to visit some ball of finite radius (chosen by the robber) infinitely many times. Moreover the cops and the robber move at a different speed, and the cops can choose a radius of capture before the game starts. Depending on the order in which the parameters are chosen, this naturally defines two games, a weak version and a strong version (in which the cops are more powerful), and thus two variants of the cop number of a graph $G$: the weak cop number and the strong cop number. It turns out that these two parameters are invariant under quasi-isometry and thus we can investigate these parameters in finitely generated groups by considering any of their Cayley graphs; the parameters do not depend on the chosen set of generators. We answer a number of questions raised by Lee, Martínez-Pedroza, and Rodríguez-Quinche, and more recently by Cornect and Martínez-Pedroza. This includes a proof that the weak and strong cop numbers are monotone under quasi-isometric embedding, characterizations of graphs of weak cop number 1 and graphs of strong cop number 1, and a proof that the grid has infinite strong cop number. Moreover we tie the weak cop number of a graph $G$ to the existence of asymptotic minors of large tree-width in $G$, and use the result to prove that any finitely presented group has weak cop number 1 or $\infty$. We have learned very recently that some of our results have been obtained independently by Appenzeller and Klinge, using fairly different arguments.

Generalized existence of extremizers for the sharp $p$-Sobolev inequality on Riemannian manifolds with nonnegative curvature

2025-11-24T09:32:12Z

We study the generalized existence of extremizers for the sharp $p$-Sobolev inequality on noncompact Riemannian manifolds in connection with nonnegative curvature and Euclidean volume growth assumptions. Assuming a nonnegative Ricci curvature lower bound, we show that almost extremal functions are close in gradient norm to radial Euclidean bubbles. In the case of nonnegative sectional curvature lower bounds, we additionally deduce that vanishing is the only possible behavior, in the sense that almost extremal functions are almost zero globally. Our arguments rely on nonsmooth concentration compactness methods and Mosco-convergence results for the Cheeger energy on noncompact varying spaces, generalized to every exponent $p\in (1,\infty)$.

On the dichotomy of $p$-walk dimensions on metric measure spaces

2025-11-23T14:26:31Z

On a volume doubling metric measure space endowed with a family of $p$-energies such that the Poincaré inequality and the cutoff Sobolev inequality with $p$-walk dimension $β_p$ hold, for $p$ in an open interval $I\subseteq (1,+\infty)$, we prove the following dichotomy: either $β_p=p$ for all $p\in I$, or $β_p>p$ for all $p\in I$.