Kolmogorov and Wasserstein Distances between Max-Stable Distributions

技術要約：極値安定分布におけるコルモゴロフ距離とワッサースタイン距離

問題設定
本論文は、$d$次元の極値安定分布関数 $F_1$ と $F_2$（単位-$\alpha$-フレシェ・マージンを持つ）の間の距離を定量化するという、極めて基本的な問題に取り組んでいる。この問題は、近似理論および極値統計モデリングの両面において中心的な役割を果たす。著者らは、これらの法則間のコルモゴロフ距離 ($d_K$) および、有限なモーメントが存在する場合のワッサースタイン距離 ($W_p$) に対する明示的な比較境界を導出することを目指している。これらの境界は、de Haan表現子、角度測度、および安定な裾依存関数といった、基礎となるスペクトル表現またはパラメトリック表現を用いて記述される。

手法
分析は、極値安定法則のスペクトル表現と、その指数関数の同次性に依拠している。コアとなる手法には、以下の3つの異なるアプローチが含まれる：

1. 同次断面への還元： コルモゴロフ距離は、指数関数 $V_k(x) = -\log F_k(x)$ を同次断面（具体的には $\min_j x_j = 1$ の集合）上で一様に比較することへと還元される。著者らは、$\sup |e^{-q} - e^{-(1+t)q}|$ を通じて定義されるスカラー関数 $\omega(t)$ を利用し、指数関数の差に基づいて分布間の距離を抑える。
2. 結合と輸送コスト：
   • コルモゴロフ境界については、分布間の距離を、累乗されたde Haan表現子 $(Z^{(k)})^\alpha$ の間のワッサースタイン距離と、それらの角度測度 $H_k$ の間の全変動距離に関連付ける。
   • 極値安定法則自体の間のワッサースタイン境界については、本論文では同期的なde Haan–LePage結合を採用している。これは、基礎となるde Haan表現子 $Z^{(k)}$ を結合し、LePage級数表現の性質を利用して、結果として得られる極値安定法則間の輸送コストを抑えるものである。
3. Inf–Argmax 分解： 指数関数は最大化子重み写像 $\Psi_j(x)$ を用いて分解され、これにより距離の境界を特定のパラメトリック・ファミリーのモデルパラメータに直接関連付けて表現することが可能となる。

主要な貢献と結果

• 表現子と角度測度によるコルモゴロフ境界：
  本論文は、コルモゴロフ距離が、累乗されたde Haan表現子間のワッサースタイン距離と、角度測度の全変動距離の最小値に $\omega$ を適用した値によって抑えられることを確立している。
  $$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})$$
  重要な技術的貢献は、係数 $M_\infty = \sup_{s \in S} \|s\|_\infty^\alpha$ である。正の $\ell_\alpha$-球面（$\sum s_j^\alpha = 1$）を使用する場合、$M_\infty = 1$ となる。したがって、この枠組みで使用される正規化されていない角度測度を用いる場合、集合的な角度全変動距離に掛かる係数には、明示的な次元因子が含まれない。これは、次元依存の定数を含んでいた先行研究の結果とは対照的である。

• 同期結合によるワッサースタイン境界：
  $1 \leq p < \alpha$ の場合、本論文は、極値安定法則間の $p$-ワッサースタイン距離を、累乗されていないde Haan表現子間の $\alpha$-ワッサースタイン輸送コストを用いて抑える境界を導出している：
  $$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)$$
  この結果は、累乗されたバージョンではなく、生の表現子を輸送する同期的な結合メカニズムを利用することで、既存の境界を補完するものである。

• 固定されたコピュラと変化するフレシェ指数：
  著者らは、極値コピュラ（およびしたがって安定な裾依存関数）は固定されているが、フレシェ指数 $\alpha$ が変化する場合の分析を行っている。

  • 1次元のフレシェ比較のみに依存する、両側コルモゴロフ境界を提供している。
  • $\alpha_1, \alpha_2 > 1$ かつ $p=1$ の場合の $\ell_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$$
    これは、固定コピュラの条件下では、ワッサースタイン距離が周辺変換によって完全に制御されることを示している。

• 特定モデルへの応用：
  一般的な境界は、以下に特化されている：

  • Archimaxおよびクラスター化されたArchimaxコピュラ： ジェネレーター $\psi$ と安定な裾依存関数の不一致（discrepancy）を用いて境界が導出される。
  • Brown–ResnickおよびHüsler–Reissモデル： 本論文は、基礎となるガウス過程の共分散行列に基づく明示的な境界を提供している。特にHüsler–Reissモデルについては、パラメトリックな変位（variogram）から導出された $\Psi$-関数の不一致によってコルモゴロフ距離が抑えられ、表現不変な比較を提供する。

意義と主張
本論文は、$\ell_\alpha$-球面を使用することで、角度測量の境界において明示的な次元因子を回避する、極値安定分布を比較するための統一的な枠組みを提供すると主張している。コルモゴロフ距離を表現子のワッサースタイン距離および角度測度の全変動に関連付けることで、本研究はコルモゴロフ推定値を導出するための「共通のメカニズム」を提示している。変化するフレシェ指数および角度構造を持つ法則の比較を容易にするための、厳密な $\ell_1$-ワッサースタイン公式の導出、およびクラスター化されたArchimaxコピュラやHüsler–Reissモデルのような複雑な構造への適用は、これらの境界の有用性を拡張している。これらの結果は、アドホックな次元依存の定数に頼ることなく、変化する安定指数や角度構造を持つ法則の比較を促進する、本質的な境界として提示されている。