ワッサースタイン計量
From Wikipedia, the free encyclopedia
ワッサースタイン計量（ワッサースタインけいりょう、英: Wasserstein metric）とは、与えられた距離空間 M上の確率分布の間に定義される距離函数である。
直感的な説明としては、各分布をM上に堆積した土の単位量と見なすとき、ワッサースタイン計量とは一つの堆積を別の物へと移すときにかかる最小のコストである。そのようなコストは、移されるべき土の量に移す距離を掛けた値であるとされる。このアナロジーに従い、この計量は計算機科学の分野においてアースムーバー距離として知られている。
「ワッサースタイン計量」という名前は、この概念を1969年に導入したロシアの数学者レオニード・ワッサースタインの名にちなみ、1970年にローランド・ドブルシンによって付けられた。多くの英語の出版物においてはドイツ語のスペル "Wasserstein" が用いられている（これは、"Vasershtein" という名がドイツに起源を持つことに起因している）。
(M, d) を、M上のすべての確率測度がラドン測度であるような距離空間（いわゆるラドン空間）とする。p ≥ 1 に対し、有限p次モーメントを備えるM上のすべての確率測度μの系を Pp(M) で表す。すなわち、そのようなμはM内のあるx0 に対して
を満たすようなものである。このとき、Pp(M) に含まれる二つの確率測度μとνの間のワッサースタイン計量（ワッサースタイン距離）は、
で定義される。ここで Γ(μ, ν) は第一変数と第二変数にそれぞれ周辺分布μとνを備えるM × M上のすべての測度の系を表す。集合 Γ(μ, ν) はμとνのすべてのカップリングからなる集合とも呼ばれる。
上述の距離は通常 Wp(μ, ν) （"Wasserstein"という綴りより）、あるいは ℓp(μ, ν) （"Vasershtein"という綴りより）の記号によって表される。この記事の残りの部分ではWpを使用する。
ワッサースタイン計量には、次のような同値な定義も存在する。
![{\displaystyle W_{p}(\mu ,\nu )^{p}=\inf \mathbf {E} {\big [}d(X,Y)^{p}{\big ]}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c434883fa0ea268cded3a3bb3dbdda5db57189d)
ここで E[Z] は確率変数Zの期待値を表し、下限はそれぞれ周辺分布μ とνを備える確率変数XとYのすべての結合分布に対して取られる。
![{\displaystyle \rho (\mu ,\nu ):=\sup \left\{\left.\int _{M}f(x)\,\mathrm {d} (\mu -\nu )(x)\right|{\mbox{continuous }}f:M\to [-1,1]\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f57f08a2970ad9a364e6b413bc5ce7f81542cde)
