Table of Contents
Fetching ...

Precompactness of sequences of random variables and random curves revisited

Osama Abuzaid

TL;DR

The paper introduces sequential tightness as a non-uniform relaxion of asymptotic tightness to characterize precompactness of probability measures on metric spaces and proves that sequential tightness suffices to obtain subsequential weak limits using elementary probabilistic tools. It develops a Skorokhod-like coupling construction with consistent finite-set approximations to extract almost sure convergence, and establishes the equivalence between sequential and asymptotic tightness. For random collections of curves on compact geodesic spaces, the authors define regularity via annulus-crossing counts and prove that regularity is equivalent to precompactness, generalizing prior annulus-crossing criteria. In Euclidean settings, the regularity condition is sharpened to quantitative bounds involving $r^{d-1}$ terms, enabled by cube-based coverings, leading to a stronger, geometry-specific precompactness result. Overall, the work offers an elementary yet powerful framework for establishing scaling limits of lattice interfaces and random curve ensembles beyond previous uniform annulus-crossing assumptions.

Abstract

This paper studies when a sequence of probability measures on a metric space admit subsequential weak limits. A sufficient condition called sequential tightness is formulated, which relaxes some assumptions for asymptotic tightness used in the Prokhorov -- Le Cam theorem. The proof only uses elementary tools from probability theory. Sequential tightness gives means to characterize the precompact collections of random curves on a compact geodesic metric space in terms of an annulus crossing condition, which generalizes the one by Aizenman and Burchard by allowing estimates for annulus crossing probabilities to be non-uniform over the modulus of annuli.

Precompactness of sequences of random variables and random curves revisited

TL;DR

The paper introduces sequential tightness as a non-uniform relaxion of asymptotic tightness to characterize precompactness of probability measures on metric spaces and proves that sequential tightness suffices to obtain subsequential weak limits using elementary probabilistic tools. It develops a Skorokhod-like coupling construction with consistent finite-set approximations to extract almost sure convergence, and establishes the equivalence between sequential and asymptotic tightness. For random collections of curves on compact geodesic spaces, the authors define regularity via annulus-crossing counts and prove that regularity is equivalent to precompactness, generalizing prior annulus-crossing criteria. In Euclidean settings, the regularity condition is sharpened to quantitative bounds involving terms, enabled by cube-based coverings, leading to a stronger, geometry-specific precompactness result. Overall, the work offers an elementary yet powerful framework for establishing scaling limits of lattice interfaces and random curve ensembles beyond previous uniform annulus-crossing assumptions.

Abstract

This paper studies when a sequence of probability measures on a metric space admit subsequential weak limits. A sufficient condition called sequential tightness is formulated, which relaxes some assumptions for asymptotic tightness used in the Prokhorov -- Le Cam theorem. The proof only uses elementary tools from probability theory. Sequential tightness gives means to characterize the precompact collections of random curves on a compact geodesic metric space in terms of an annulus crossing condition, which generalizes the one by Aizenman and Burchard by allowing estimates for annulus crossing probabilities to be non-uniform over the modulus of annuli.

Paper Structure

This paper contains 10 sections, 25 theorems, 114 equations.

Key Result

Theorem 1

Let $\mathcal{X}$ be a metrizable topological space. Suppose a sequence $(\mu_n)_{n \in \mathbb{N}}$ in $\mathcal{M}_1(\mathcal{X})$ is asymptotially tightpollard2002user calls this uniform tightness.: for every $\varepsilon > 0$ there exists a compact set $K_\varepsilon \subset \mathcal{X}$ such th

Theorems & Definitions (42)

  • Theorem 1: E.g. pollard2002user
  • Definition 1.1: Sequential tightness
  • Theorem 1.2
  • Corollary 1.3
  • proof
  • Definition 1.4
  • Theorem 1.5
  • Theorem 1.6
  • Lemma 2.1
  • proof
  • ...and 32 more