<p>For a one-parameter exponential family on a compact Riemannian manifold, the spatial Fisher information <i>I</i> and the Shannon entropy <i>S</i> are both determined by the log-partition function. The balance condition <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(I = T\, S,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>I</mi> <mo>=</mo> <mi>T</mi> <mspace width="0.166667em" /> <mi>S</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> with <i>T</i> a dimensionless parameter, selects a concentration at which gradient sensitivity equals a prescribed multiple of logarithmic uncertainty; uniqueness follows from strict convexity of the log-partition function, equivalently from positivity of the Fisher metric on the statistical manifold. For the von Mises–Fisher family on unit-radius spheres <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb {S}^{d},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mi>d</mi> </msup> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> existence and uniqueness hold exactly in the positive entropy-volume regime <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({{\,\textrm{Vol}\,}}\left( \mathbb {S}^{d} \right) &gt; 1;\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>Vol</mtext> <mspace width="0.166667em" /> </mrow> <mfenced close=")" open="("> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mi>d</mi> </msup> </mfenced> <mo>&gt;</mo> <mn>1</mn> <mo>;</mo> </mrow> </math></EquationSource> </InlineEquation> in the standard unit-radius convention this is <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(1 \le d \le 17,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>d</mi> <mo>≤</mo> <mn>17</mn> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> while <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathbb {S}^{18}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mn>18</mn> </msup> </math></EquationSource> </InlineEquation> is the first sphere for which the positive balance point disappears. On <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathbb {S}^{1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mn>1</mn> </msup> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(T = 1,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\kappa ^{*} = 1.9048\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>κ</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> </msup> <mo>=</mo> <mn>1.9048</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(I^{*} = S^{*} = 1.2981.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>I</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> </msup> <mo>=</mo> <msup> <mi>S</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> </msup> <mo>=</mo> <mn>1.2981</mn> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> The Bakry–Emery log-Sobolev inequality constrains the balance constants from below in terms of Ricci curvature and volume. On the flat torus <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathbb {T}^{d},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">T</mi> </mrow> <mi>d</mi> </msup> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> the isotropic product von Mises family yields a balance parameter that is exactly dimension-independent, illustrating the role of product geometry in the balance construction.</p>

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

Unique Fisher–Shannon balance points on spheres and flat tori

  • Lamine Bougueroua

摘要

For a one-parameter exponential family on a compact Riemannian manifold, the spatial Fisher information I and the Shannon entropy S are both determined by the log-partition function. The balance condition \(I = T\, S,\) I = T S , with T a dimensionless parameter, selects a concentration at which gradient sensitivity equals a prescribed multiple of logarithmic uncertainty; uniqueness follows from strict convexity of the log-partition function, equivalently from positivity of the Fisher metric on the statistical manifold. For the von Mises–Fisher family on unit-radius spheres \(\mathbb {S}^{d},\) S d , existence and uniqueness hold exactly in the positive entropy-volume regime \({{\,\textrm{Vol}\,}}\left( \mathbb {S}^{d} \right) > 1;\) Vol S d > 1 ; in the standard unit-radius convention this is \(1 \le d \le 17,\) 1 d 17 , while \(\mathbb {S}^{18}\) S 18 is the first sphere for which the positive balance point disappears. On \(\mathbb {S}^{1}\) S 1 with \(T = 1,\) T = 1 , \(\kappa ^{*} = 1.9048\) κ = 1.9048 and \(I^{*} = S^{*} = 1.2981.\) I = S = 1.2981 . The Bakry–Emery log-Sobolev inequality constrains the balance constants from below in terms of Ricci curvature and volume. On the flat torus \(\mathbb {T}^{d},\) T d , the isotropic product von Mises family yields a balance parameter that is exactly dimension-independent, illustrating the role of product geometry in the balance construction.