Mass erasure on infinitely measured ℝ-trees I: construction and limit theorems
Abstract
This paper is the first in a two-part series, seeking to i) extend the theory of mass erasure developed by Duquesne and Winkel to a setting with infinite measures, and ii) apply this theory to obtain invariance principles for Galton--Watson and Lévy forests in the most general setting where the trees may be supercritical and not satisfy Grey's condition. We consider ℝ-trees equipped with a suitable subclass of boundedly finite measures, which we call discretely infinite measures. Let $(T, d, ρ)$ be a complete and separable ℝ-tree, let μ be a discretely infinite measure on T, and let h > 0. The h-mass-erased subtree is obtained by removing all fringe subtrees with μ-mass strictly less than h, and we prove that all h-mass-erased subtrees have a discrete branching structure. The mass-erased subtrees may be equipped with associated measures, which gives rise to a family of operators (ℰh)h ≥ 0 which forms a semigroup on the space of discretely infinite measures. The operators may be lifted to an appropriate space of Gromov-vague isometry classes. Given a sequence μn = [Tn, dn, ρn, μn], n ∈ ℕ, of suitable isometry classes, we say that they converge vaguely in the sense of mass erasure if their mass erasures (ℰh μn)n ∈ ℕ converge in the Gromov-vague topology for all h > 0. We prove that by imposing suitable tightness conditions on (μn)n ∈ ℕ, Gromov-vague convergence implies vague convergence in the sense of mass erasure. Under appropriate tightness, we identify conditions which relate the two notions of convergence, and prove that either mode of convergence implies local Gromov--Hausdorff convergence of the mass-erased subtrees. The applications to Galton--Watson and Lévy forests are considered in part two.
Related
- q-deformed polyanalytic Ginibre point processes:construction and central limit theorems for linear statistics
- Ramsey properties of trees and C-relations via the partite construction
- Singer-Difference-Set Qudit Stabilizer Codes from Non-Degenerate Quadrics in PG(d,q)PG(d,q): Construction, Structural Theorems, and Monte-Carlo Performance
- Decoding Error Probability of the Random Code Ensemble over the Erasure Channel
- An Upper Bound to the Undetected Error Exponent with Erasure Decoding at Positive Rates
BibTeX
@misc{gluckstad2026mass,
title = {{Mass erasure on infinitely measured $\mathbbR$-trees I: construction and limit theorems}},
author = {Mie Glückstad},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.16950},
eprint = {2609.16950},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.16950},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Mass erasure on infinitely measured ℝ-trees I: construction and limit theorems
AU - Mie Glückstad
PY - 2026
DA - 2026/09/15
PB - arXiv
DO - 10.48550/arxiv.2609.16950
UR - https://arxiv.org/abs/2609.16950
AB - This paper is the first in a two-part series, seeking to i) extend the theory of mass erasure developed by Duquesne and Winkel to a setting with infinite measures, and ii) apply this theory to obtain invariance principles for Galton--Watson and Lévy forests in the most general setting where the trees may be supercritical and not satisfy Grey's condition. We consider ℝ-trees equipped with a suitable subclass of boundedly finite measures, which we call discretely infinite measures. Let $(T, d, ρ)$ be a complete and separable ℝ-tree, let μ be a discretely infinite measure on T, and let h > 0. The h-mass-erased subtree is obtained by removing all fringe subtrees with μ-mass strictly less than h, and we prove that all h-mass-erased subtrees have a discrete branching structure. The mass-erased subtrees may be equipped with associated measures, which gives rise to a family of operators (ℰ_h)_h ≥ 0 which forms a semigroup on the space of discretely infinite measures. The operators may be lifted to an appropriate space of Gromov-vague isometry classes. Given a sequence μ_n = [T_n, d_n, ρ_n, μ_n], n ∈ ℕ, of suitable isometry classes, we say that they converge vaguely in the sense of mass erasure if their mass erasures (ℰ_h μ_n)_n ∈ ℕ converge in the Gromov-vague topology for all h > 0. We prove that by imposing suitable tightness conditions on (μ_n)_n ∈ ℕ, Gromov-vague convergence implies vague convergence in the sense of mass erasure. Under appropriate tightness, we identify conditions which relate the two notions of convergence, and prove that either mode of convergence implies local Gromov--Hausdorff convergence of the mass-erased subtrees. The applications to Galton--Watson and Lévy forests are considered in part two.
ER -