ワッサースタイン計量

ワッサースタイン計量（ワッサースタインけいりょう、テンプレート:Lang-en-short）とは、与えられた距離空間 M上の確率分布の間に定義される距離函数である。

直感的な説明としては、各分布をM上に堆積した土の単位量と見なすとき、ワッサースタイン計量とは一つの堆積を別の物へと移すときにかかる最小のコストである。そのようなコストは、移されるべき土の量に移す距離を掛けた値であるとされる。このアナロジーに従い、この計量は計算機科学の分野においてテンプレート:仮リンク（earth mover's distance）として知られている。

「ワッサースタイン計量」という名前は、この概念を1969年に導入したロシアの数学者テンプレート:仮リンクの名にちなみ、1970年にテンプレート:仮リンクによって付けられた。多くの英語の出版物においてはドイツ語のスペル "Wasserstein" が用いられている（これは、"Vasershtein" という名がドイツに起源を持つことに起因している）。

定義

(M, d) を、M上のすべての確率測度がラドン測度であるような距離空間（いわゆるラドン空間）とする。p ≥ 1 に対し、有限p次モーメントを備えるM上のすべての確率測度μの系を P_p(M) で表す。すなわち、そのようなμはM内のあるx₀ に対して

$\underset{M}{\int }d(x,x_0{)}^p\mathrm{d}\mu (x)<+\mathrm{\infty }$

を満たすようなものである。このとき、P_p(M) に含まれる二つの確率測度μとνの間のワッサースタイン計量（ワッサースタイン距離）は、

$W_p(\mu ,\nu ):={(\underset{\gamma \in \mathrm{\Gamma }(\mu ,\nu )}{\inf }\underset{M\times M}{\int }d(x,y{)}^p\mathrm{d}\gamma (x,y))}^{1/p}$

で定義される。ここで Γ(μ, ν) は第一変数と第二変数にそれぞれ周辺分布μとνを備えるM × M上のすべての測度の系を表す。集合 Γ(μ, ν) はμとνのすべてのカップリングからなる集合とも呼ばれる。

上述の距離は通常 W_p(μ, ν) （"Wasserstein"という綴りより）、あるいは ℓ_p(μ, ν) （"Vasershtein"という綴りより）の記号によって表される。この記事の残りの部分ではW_pを使用する。

ワッサースタイン計量には、次のような同値な定義も存在する。

$W_p(\mu ,\nu {)}^p=\inf 𝐄[d(X,Y{)}^p].$

ここで E[Z] は確率変数Zの期待値を表し、下限はそれぞれ周辺分布μ とνを備える確率変数XとYのすべての結合分布に対して取られる。

応用

ワッサースタイン計量は、一つの変数がもう一方の（確率論的あるいは決定論的に）非一様な小さい摂動によって得られるような、二つの変数 X と Y の確率分布を比較する際に自然に用いられる。

例えば計算機科学の分野においては、二つのデジタル画像のテンプレート:仮リンクといった離散分布を比較する際に、ワッサースタイン計量 W₁ が広く用いられている。詳細についてはテンプレート:仮リンクを参照されたい。

性質

距離構造

W_p は、P_p(M) 上の距離の公理をすべて満たすことが示される。さらに、W_p についての収束は、通常のテンプレート:仮リンクに初めの p 次モーメント収束を加えたものと同値である。

W₁ の双対表現

次に挙げる W₁ の双対表現は、カントロヴィチとルビンスタインの双対定理（1958年）の特別な場合である：μ と ν が有界な台を持つとき、

$W_1(\mu ,\nu )=\sup \{\underset{M}{\int }f(x)\mathrm{d}(\mu -\nu )(x)|\text{continuous }f:M\to ℝ,\mathrm{L}\mathrm{i}\mathrm{p}(f)\le 1\}$

が成立する。ここで Lip(f) は f に関する最小のリプシッツ定数を表す。

これを、ラドン計量の定義と比較する：

$\rho (\mu ,\nu ):=\sup \{\underset{M}{\int }f(x)\mathrm{d}(\mu -\nu )(x)|\text{continuous }f:M\to [-1,1]\}.$

もし計量 d がある定数 C によって抑えられているなら、

$2W_1(\mu ,\nu )\le C\rho (\mu ,\nu )$

が得られる。したがって、ラドン計量における収束（M がポーランド空間であるときの全変動収束に等しい）は、ワッサースタイン計量における収束を意味する。しかしその逆は一般には成り立たない。

可分性と完備性

任意の p ≥ 1 に対し、計量空間 (P_p(M), W_p) が可分および完備であるための十分条件は、(M, d) が可分および完備であることである。

関連項目

• レヴィ計量
• レヴィ-プロホロフ計量
• テンプレート:仮リンク

参考文献

• テンプレート:Cite book
• テンプレート:Cite journal
• テンプレート:SpringerEOM