多項分布と負の多項分布を結ぶ幾何の解析

We study the one-parameter family of Hessian metrics $g_\alpha=\alpha h_++(1-\alpha)h_-$, $\alpha\in[0,1]$, formed by convexly combining the log-partition functions (not the densities) of the multinomial and negative multinomial Fisher information Hessians. Four results are proved in full. (1) $g_\alpha\succ0$ for all $\alpha\in[0,1]$; its Gaussian curvature ($n=2$) is $-\tfrac14$ at $\alpha=0$ and $+\tfrac14$ at $\alpha=1$, but non-constant for intermediate $\alpha$, changing sign at a closed-form critical value $\alpha^\ast(w)$, with an analytic uniqueness proof. (2) Viewing $g_\alpha$ as the spatial metric of a Kasner-type volume equation, positive-definiteness forces one conserved quantity $\beta\le0$, while a second, independent quantity $C=4\det K$ governs the equation's branch (bounded oscillatory, parabolic, or unbounded growth) and is not fixed by $\beta$ or positive-definiteness alone; we show this discriminant dictionary is a theorem about the abstract matrix equation, to which $g_\alpha$ supplies initial data of either sign of $C$ without the trajectories remaining on $\{g_\alpha(\theta)\}$ itself. (3) $\Psi_\alpha$ is identified as the log-partition function of a compound distribution: a negative-binomial latent count $M$ (parameter $r=1-\alpha$), augmented by a Bernoulli parity bit and split multinomially, with non-negative base measure for every $\alpha$. (4) The associated Bregman divergence obeys a generalised Pythagorean theorem whose projection onto the symmetric locus is the arithmetic mean, independent of $\alpha$; the endpoints' curvature sign matches the Gauss--Bonnet excess of genuine geodesic triangles. Numerical checks are kept separate from analytic proofs throughout.

20 pages, 1 figure