ワッサースタイン計量

ワッサースタイン計量（ワッサースタインけいりょう、）とは、与えられた距離空間 "M"上の確率分布の間に定義される距離函数である。
直感的な説明としては、各分布を"M"上に堆積した土の単位量と見なすとき、ワッサースタイン計量とは一つの堆積を別の物へと移すときにかかる最小のコストである。そのようなコストは、移されるべき土の量に移す距離を掛けた値であるとされる。このアナロジーに従い、この計量は計算機科学の分野において（earth mover's distance）として知られている。
「ワッサースタイン計量」という名前は、この概念を1969年に導入したロシアの数学者の名にちなみ、1970年にによって付けられた。多くの英語の出版物においてはドイツ語のスペル "Wasserstein" が用いられている（これは、"Vasershtein" という名がドイツに起源を持つことに起因している）。
定義.
("M", "d") を、"M"上のすべての確率測度がラドン測度であるような距離空間（いわゆるラドン空間）とする。"p" ≥ 1 に対し、有限"p"次モーメントを備える"M"上のすべての確率測度"μ"の系を P"p"("M") で表す。すなわち、そのような"μ"は"M"内のある"x"0 に対して
を満たすようなものである。このとき、P"p"("M") に含まれる二つの確率測度"μ"と"ν"の間のワッサースタイン計量（ワッサースタイン距離）は、
で定義される。ここで Γ("μ", "ν") は第一変数と第二変数にそれぞれ周辺分布"μ"と"ν"を備える"M" × "M"上のすべての測度の系を表す。集合 Γ("μ", "ν") は"μ"と"ν"のすべてのカップリングからなる集合とも呼ばれる。
上述の距離は通常 "W""p"("μ", "ν") （"Wasserstein"という綴りより）、あるいは ℓ"p"("μ", "ν") （"Vasershtein"という綴りより）の記号によって表される。この記事の残りの部分では"W""p"を使用する。
ワッサースタイン計量には、次のような同値な定義も存在する。
ここで E["Z"] は確率変数"Z"の期待値を表し、下限はそれぞれ周辺分布"μ" と"ν"を備える確率変数"X"と"Y"のすべての結合分布に対して取られる。
応用.
ワッサースタイン計量は、一つの変数がもう一方の（確率論的あるいは決定論的に）非一様な小さい摂動によって得られるような、二つの変数 "X" と "Y" の確率分布を比較する際に自然に用いられる。
例えば計算機科学の分野においては、二つのデジタル画像のといった離散分布を比較する際に、ワッサースタイン計量 "W"1 が広く用いられている。詳細についてはを参照されたい。
性質.
距離構造.
"W""p" は、P"p"("M") 上の距離の公理をすべて満たすことが示される。さらに、"W""p" についての収束は、通常のに初めの "p" 次モーメント収束を加えたものと同値である。
"W"1 の双対表現.
次に挙げる "W"1 の双対表現は、カントロヴィチとルビンスタインの双対定理（1958年）の特別な場合である："μ" と "ν" が有界な台を持つとき、
が成立する。ここで Lip("f") は "f" に関する最小のリプシッツ定数を表す。
これを、ラドン計量の定義と比較する：
もし計量 "d" がある定数 "C" によって抑えられているなら、
が得られる。したがって、ラドン計量における収束（"M" がポーランド空間であるときの全変動収束に等しい）は、ワッサースタイン計量における収束を意味する。しかしその逆は一般には成り立たない。
可分性と完備性.
任意の "p" ≥ 1 に対し、計量空間 (P"p"("M"), "W""p") が可分および完備であるための十分条件は、("M", "d") が可分および完備であることである。