Kolmogorov and Wasserstein Distances between Max-Stable Distributions

Résumé technique : Distances de Kolmogorov et de Wasserstein entre les distributions max-stables

Énoncé du problème
L'article traite du problème fondamental de la quantification de la distance entre deux fonctions de répartition max-stables à $d$ dimensions, $F_1$ et $F_2$, avec des marges de Fréchet unité-$\alpha$. Ce problème est central tant pour la théorie de l'approximation que pour la modélisation statistique des extrêmes. Les auteurs cherchent à dériver des bornes de comparaison explicites pour la distance de Kolmogorov ($d_K$) et, lorsque les moments sont finis, la distance de Wasserstein ($W_p$) entre ces lois. Les bornes sont exprimées en termes de représentations spectrales ou paramétriques, se concentrant spécifiquement sur les représentants de de Haan, les mesures angulaires et les fonctions de dépendance de queue stable.

Méthodologie
L'analyse repose sur la représentation spectrale des lois max-stables et sur l'homogénéité de leurs fonctions d'exposant. La méthodologie centrale repose sur trois approches distinctes :

1. Réduction aux coupes homogènes : La distance de Kolmogorov est réduite à une comparaison uniforme des fonctions d'exposant $V_k(x) = -\log F_k(x)$ sur une coupe homogène (spécifiquement, l'ensemble où $\min_j x_j = 1$). Les auteurs utilisent une fonction scalaire $\omega(t)$, définie via le supremum de $|e^{-q} - e^{-(1+t)q}|$, pour borner la distance entre les distributions en fonction de la différence entre leurs fonctions d'exposant.
2. Couplage et coûts de transport :
   • Pour les bornes de Kolmogorov, les auteurs relient la distance entre les distributions à la distance de Wasserstein entre les représentants de de Haan mis à la puissance $(Z^{(k)})^\alpha$ et la distance de variation totale entre leurs mesures angulaires $H_k$.
   • Pour les bornes de Wasserstein entre les lois max-stables elles-mêmes, l'article emploie un couplage de de Haan–LePage synchrone. Cela implique de coupler les représentants de de Haan sous-jacents $Z^{(k)}$ et d'utiliser les propriétés de la représentation de la série de LePage pour borner le coût de transport entre les lois max-stables résultantes.
3. Décomposition Inf–Argmax : Les fonctions d'exposant sont décomposées à l'aide d'une application de poids-maximiseur $\Psi_j(x)$, permettant aux bornes de distance d'être exprimées directement en termes de paramètres de modèles pour des familles paramétriques spécifiques.

Contributions clés et résultats

• Bornes de Kolmogorov via les représentants et les mesures angulaires :
  L'article établit que la distance de Kolmogorov est bornée par la fonction $\omega$ appliquée au minimum de deux quantités : la distance de Wasserstein entre les représentants de de h Haan mis à la puissance et la distance de variation totale des mesures angulaires.
  $$d_K(F_1, F_2) \leq \omega(W_\alpha \wedge M_\infty \|H_1 - H_2\|_{TV}) \leq \frac{1}{e}(W_\alpha \wedge M_\infty \|H_1 - H_2\|_{TV})$$
  Une contribution technique significative est le coefficient $M_\infty = \sup_{s \in S} \|s\|_\infty^\alpha$. En utilisant la sphère $\ell_\alpha$ positive (où $\sum s_j^\alpha = 1$), $M_\infty = 1$. Par conséquent, pour les mesures angulaires non normalisées utilisées dans ce cadre, le coefficient multipliant la distance de variation totale angulaire de l'ensemble ne contient aucun facteur de dimension explicite, contrastant avec les résultats précédents qui incluaient des constantes dépendantes de la dimension.

• Bornes de Wasserstein via le couplage synchrone :
  Pour $1 \leq p < \alpha$, l'article dérive des bornes pour la distance de $p$-Wasserstein entre les lois max-stables en termes du coût de transport $\alpha$-Wasserstein entre leurs représentants de de Haan non mis à la puissance :
  $$W_{p, \|\cdot\|_\infty}(F_1, F_2) \leq \Gamma\left(1 - \frac{p}{\alpha}\right)^{1/p} W_{\alpha, \infty}(F_1, F_2)$$
  Ce résultat complète les bornes existantes en utilisant un mécanisme de couplage synchrone qui transporte les représentants bruts plutôt que leurs versions mises à la puissance.

• Copule fixe et indice de Fréchet variable :
  Les auteurs analysent le cas où la copule de valeur extrême (et donc la fonction de dépendance de queue stable) est fixée, mais où l'indice de Fréchet $\alpha$ varie.

  • Ils fournissent des bornes de Kolmogorov bilatérales dépendant uniquement de la comparaison de Fréchet unidimensionnelle.
  • Ils dérivent une formule exacte pour la distance de $\ell_1$-Wasserstein lorsque $p=1$ et $\alpha_1, \alpha_2 > 1$ :
    $$W_{1, \|\cdot\|_1}(F_{\alpha_1}, F_{\alpha_2}) = d \int_0^\infty |t^{-1/\alpha_1} - t^{-1/\alpha_2}| e^{-t} dt$$
    Cela démontre que, dans le cadre de la copule fixe, la distance de Wasserstein est entièrement contrôlée par la transformation marginale.

• Applications à des modèles spécifiques :
  Les bornes générales sont spécialisées pour :

  • Copules Archimax et Archimax groupées : Les bornes sont dérivées en termes du générateur $\psi$ et de la divergence des fonctions de dépendance de queue stable.
  • Modèles de Brown–Resnick et Hüsler–Reiss : L'article fournit des bornes explicites basées sur les matrices de covariance des processus gausiens sous-jacents. Spécifiquement, pour les modèles de Hüsler–Reiss, la distance de Kolmogorov est bornée par la divergence des fonctions $\Psi$ dérivées des paramètres du variogramme, offrant une comparaison invariante par rapport à la représentation.

Signification et affirmations
L'article affirme fournir un cadre unifié pour comparer les distributions max-stables qui évite les facteurs de dimension explicites dans les bornes de la mesure angulaire lorsqu'on utilise la sphère $\ell_\alpha$. En liant la distance de Kolmogorov à la distance de Wasserstein des représentants et à la variation totale des mesures angulaires, ce travail offre un « mécanisme commun » pour dériver des estimations de Kolmogorov. La dérivation d'une formule exacte de $\ell_1$-Wasserstein pour des indices de Fréchet variables et l'application à des structures complexes telles que les copules Archimax groupées et les modèles de Hüsler–Reiss étendent l'utilité de ces bornes aux familles paramétriques pratiques utilisées en théorie des valeurs extrêmes. Les résultats sont présentés comme des bornes intrinsèques qui facilitent la comparaison de lois ayant des indices de stabilité et des structures angulaires variables sans dépendre de constantes ad hoc dépendant de la dimension.