<p>A smoothly parametrized family of probability distributions forms a manifold. Its differential-geometrical structures are elucidated by introducing a Riemannian metric and one-parameter families of affine connections (<InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation>-connections). There exists duality between <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation>- and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(-\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi>α</mi> </mrow> </math></EquationSource> </InlineEquation>-connections, so that an <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation>-flat manifold is automatically <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(-\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi>α</mi> </mrow> </math></EquationSource> </InlineEquation>-flat. In an <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation>-flat manifold, a natural quasi-distance, called the <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation>-divergence can naturally be introduced from the intrinsic dualistic structure. When <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\alpha =-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>=</mo> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, this reduces to the Kullback divergence, and when <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\alpha =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> it is the Hellinger distance (which in this case is related to the Riemannian distance). The geometry of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation>-divergence is connected with the <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation>- and <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(-\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi>α</mi> </mrow> </math></EquationSource> </InlineEquation>-geodesics due to the <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation>- and <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(-\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi>α</mi> </mrow> </math></EquationSource> </InlineEquation>-connections. It is important in many statistical problems to approximate a distribution by one belonging to a prescribed family of distributions that is closest to the distribution in the sense of the <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation>-divergence. This problem of <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation>-approximation is solved with the help of the <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation>-geodesic and <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(-\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi>α</mi> </mrow> </math></EquationSource> </InlineEquation>-geodesic. The geometrical structures of the function space of distributions are also touched upon.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Differential geometry of smooth families of probability distributions

  • Hiroshi Nagaoka,
  • Shun-ichi Amari

摘要

A smoothly parametrized family of probability distributions forms a manifold. Its differential-geometrical structures are elucidated by introducing a Riemannian metric and one-parameter families of affine connections ( \(\alpha \) α -connections). There exists duality between \(\alpha \) α - and \(-\alpha \) - α -connections, so that an \(\alpha \) α -flat manifold is automatically \(-\alpha \) - α -flat. In an \(\alpha \) α -flat manifold, a natural quasi-distance, called the \(\alpha \) α -divergence can naturally be introduced from the intrinsic dualistic structure. When \(\alpha =-1\) α = - 1 , this reduces to the Kullback divergence, and when \(\alpha =0\) α = 0 it is the Hellinger distance (which in this case is related to the Riemannian distance). The geometry of \(\alpha \) α -divergence is connected with the \(\alpha \) α - and \(-\alpha \) - α -geodesics due to the \(\alpha \) α - and \(-\alpha \) - α -connections. It is important in many statistical problems to approximate a distribution by one belonging to a prescribed family of distributions that is closest to the distribution in the sense of the \(\alpha \) α -divergence. This problem of \(\alpha \) α -approximation is solved with the help of the \(\alpha \) α -geodesic and \(-\alpha \) - α -geodesic. The geometrical structures of the function space of distributions are also touched upon.