Prokhorov Metric Overview

• Prokhorov metric is a clear definition that metrizes weak convergence for Borel probability measures on complete separable metric spaces.
• It employs coupling-based and set-enlargement formulations to establish links with total variation and Wasserstein distances.
• Generalizations such as the Gromov–Hausdorff–Prokhorov and fuzzy metrics broaden its applications in stochastic processes and robust statistical methods.

The Prokhorov metric is a fundamental tool in probability theory, optimal transport, stochastic processes, and geometric analysis for comparing Borel probability measures on metric spaces. It metrizes the topology of weak convergence of probability measures on complete separable metric spaces (Polish spaces), underpins compactness results such as Prokhorov's theorem, and facilitates generalizations to measured metric spaces and their convergence topologies. Its coupling-based and set-enlargement formulations yield crucial links to other divergences, notably total variation and Wasserstein distances, with deep implications for both classical and modern probabilistic analysis.

1. Formal Definitions and Core Properties

Given a complete separable metric space $(X, d)$, write $\mathcal P(X)$ for the space of Borel probability measures on $X$. For $A \subset X$ and $\varepsilon > 0$, define the $\varepsilon$-neighborhood

$$A^{\varepsilon} = \{ x \in X : d(x, A) < \varepsilon \}.$$

The Prokhorov metric $\pi(\mu, \nu)$ on $\mathcal P(X)$ is defined by

$$\pi(\mu, \nu) = \inf\left\{ \varepsilon > 0 : \forall A~\text{Borel},~ \mu(A) \leq \nu(A^\varepsilon) + \varepsilon ~\text{and}~ \nu(A) \leq \mu(A^\varepsilon) + \varepsilon \right\}.$$

Equivalently, a coupling formulation holds: $\mathcal P(X)$0 coincides with the infimum of $\mathcal P(X)$1 such that there exists a coupling $\mathcal P(X)$2 of $\mathcal P(X)$3 with $\mathcal P(X)$4 (Aolaritei et al., 19 Feb 2025, Löhr, 2011).

Core properties include:

• $\mathcal P(X)$5 is a metric on $\mathcal P(X)$6. $\mathcal P(X)$7 is complete and separable if $\mathcal P(X)$8 is Polish (Gehér et al., 2017, Abraham et al., 2012).
• $\mathcal P(X)$9 metrizes weak convergence: for $X$0 and $X$1, $X$2 if and only if $X$3 (i.e., $X$4 for every bounded continuous $X$5).
• For probability measures, $X$6; and the diameter of $X$7 is $X$8 (Abraham et al., 2012).

2. Coupling Characterizations and Parametrizations

The Prokhorov metric admits a coupling ("transport") characterization directly analogous to Strassen's theorem. Let $X$9 denote the set of couplings of $A \subset X$0 and $A \subset X$1 (i.e., probability measures on $A \subset X$2 with marginals $A \subset X$3). Then

$A \subset X$4

This extends naturally to finite (not necessarily probability) measures by allowing couplings with marginal discrepancies controlled in total variation, as in the generalized Strassen theorem (Khezeli, 2019):

$A \subset X$5

where $A \subset X$6 bounds the total variation distance between marginals and $A \subset X$7 is a Borel measure on $A \subset X$8.

Parametrized variants introduce a parameter $A \subset X$9 scaling the neighborhood radius in the definition:

$\varepsilon > 0$0

with the classical case recovering $\varepsilon > 0$1 (Berckmoes, 2016).

3. Connection to Weak Convergence, Tightness, and Compactness

Prokhorov's theorem asserts: A family $\varepsilon > 0$2 is relatively compact in the weak topology if and only if it is uniformly tight, i.e., for every $\varepsilon > 0$3 there exists a compact $\varepsilon > 0$4 with $\varepsilon > 0$5 (Berckmoes, 2016). The topology induced by $\varepsilon > 0$6 corresponds exactly to weak convergence, and relative compactness criteria are characterized quantitatively via the Hausdorff measure of non-compactness as follows:

$\varepsilon > 0$7

where $\varepsilon > 0$8 expresses uniform tightness (Berckmoes, 2016).

4. Generalizations: Gromov–Hausdorff–Prokhorov and Related Metrics

The Prokhorov metric serves as the measure component of several extended metrics for measured metric spaces:

• Gromov–Hausdorff–Prokhorov (GHP) Distance: For two compact measured metric spaces $\varepsilon > 0$9,

$\varepsilon$0

where the infimum is over isometric embeddings into a common Polish space $\varepsilon$1 (Abraham et al., 2012).

• Gromov–Prohorov (GP) Metric: For metric measure spaces $\varepsilon$2,

$\varepsilon$3

the infimum taken over isometric embeddings into a common metric space (Löhr, 2011).

These constructions yield measured metric spaces as Polish spaces, fundamental as state spaces for random geometric models (e.g., continuum random trees, random maps) (Abraham et al., 2012, Löhr, 2011, Khezeli, 2019).

5. Comparisons with Other Probability Metrics

The Prokhorov metric can be tightly related to other notions of distance between probability measures:

• For total variation, $\varepsilon$4 (where $\varepsilon$5 denotes the Prokhorov or Lévy–Prokhorov metric) (Aolaritei et al., 19 Feb 2025);
• For Wasserstein $\varepsilon$6, $\varepsilon$7 and, in the coupling-based formulation, $\varepsilon$8 interpolates between TV and $\varepsilon$9 (Aolaritei et al., 19 Feb 2025).

A two-parameter decomposition shows that an LP ball of radius $$A^{\varepsilon} = \{ x \in X : d(x, A) < \varepsilon \}.$$0 corresponds to first a $$A^{\varepsilon} = \{ x \in X : d(x, A) < \varepsilon \}.$$1 perturbation of up to $$A^{\varepsilon} = \{ x \in X : d(x, A) < \varepsilon \}.$$2, then a TV change of up to $$A^{\varepsilon} = \{ x \in X : d(x, A) < \varepsilon \}.$$3 (Aolaritei et al., 19 Feb 2025).

6. Generalizations: Discrete and Fuzzy Prokhorov Metrics

a. Discrete Prokhorov Metrics in Topological Data Analysis

In contexts such as persistence diagrams, discrete analogues of the Prokhorov distance quantify similarity not in terms of measure, but cardinality:

$$A^{\varepsilon} = \{ x \in X : d(x, A) < \varepsilon \}.$$4

with $$A^{\varepsilon} = \{ x \in X : d(x, A) < \varepsilon \}.$$5 measuring, over optimal matchings, the number of unmatched points exceeding $$A^{\varepsilon} = \{ x \in X : d(x, A) < \varepsilon \}.$$6 in displacement and $$A^{\varepsilon} = \{ x \in X : d(x, A) < \varepsilon \}.$$7 a nondecreasing admissible function. The bottleneck and Wasserstein distances are special cases (Dłotko et al., 2021).

b. Fuzzy Prokhorov Metric

Given a compact fuzzy metric space $$A^{\varepsilon} = \{ x \in X : d(x, A) < \varepsilon \}.$$8 with Łukasiewicz t-norm, the fuzzy Prokhorov metric $$A^{\varepsilon} = \{ x \in X : d(x, A) < \varepsilon \}.$$9 compares probability measures via

$\pi(\mu, \nu)$0

where $\pi(\mu, \nu)$1 is the union of fuzzy balls $\pi(\mu, \nu)$2 about $\pi(\mu, \nu)$3. This induces a fuzzy metric and metrizes weak* convergence (Repovš et al., 2011).

7. Isometry Characterization, Applications, and Implications

Surjective isometries for the Lévy–Prokhorov metric on $\pi(\mu, \nu)$4, with $\pi(\mu, \nu)$5 a separable Banach space, are characterized: for any surjective $\pi(\mu, \nu)$6-isometry $\pi(\mu, \nu)$7, there exists a surjective affine isometry $\pi(\mu, \nu)$8 such that $\pi(\mu, \nu)$9. This generalizes Molnár's result for real line distributions (Gehér et al., 2017). The class of measure-preserving isometries thereby encodes the intrinsic geometric structure of $\mathcal P(X)$0 under the Prokhorov metric, with significant consequences for both functional analysis and probability.

Further, Prokhorov metric balls define Prokhorov-tight families and underlie effective control of both random process convergence and construction of ambiguity sets for robust statistical procedures, such as conformal prediction under distribution shift, where the metric's interpolation between TV and Wasserstein admits precise control of local and global perturbations (Aolaritei et al., 19 Feb 2025). This enables robustification in both theory and algorithmic implementations for nuanced distributional changes beyond classical settings.

---

References:

• (Gehér et al., 2017) Gehér–Titkos, "A characterisation of isometries with respect to the Lévy-Prokhorov metric"
• (Abraham et al., 2012) "A note on Gromov-Hausdorff-Prokhorov distance between (locally) compact measure spaces"
• (Berckmoes, 2016) "On the Hausdorff measure of non-compactness for the parametrized Prokhorov metric"
• (Khezeli, 2019) "Metrization of the Gromov-Hausdorff (-Prokhorov) Topology for Boundedly-Compact Metric Spaces"
• (Aolaritei et al., 19 Feb 2025) "Conformal Prediction under Levy-Prokhorov Distribution Shifts: Robustness to Local and Global Perturbations"
• (Dłotko et al., 2021) "Bottleneck Profiles and Discrete Prokhorov Metrics for Persistence Diagrams"
• (Repovš et al., 2011) "Fuzzy Prokhorov metric on the set of probability measures"
• (Löhr, 2011) "Equivalence of Gromov-Prohorov- and Gromov's Box-Metric on the Space of Metric Measure Spaces"