{"id":"arxiv/2607.22710","url":"https://arxiv.org/abs/2607.22710","tags":["cs.IT","math-ph","math.PR"],"score":0,"title":"A Uniqueness Theorem for Exact Separable Log-Partition Decompositions","domain":"cs.IT","source":"arxiv","authors":["Michael P. Rubin"],"reviews":0,"subject":"cs.IT","summary":"Let $\\mathcal{X}$ be a finite set, let $p$ and $Q$ be strictly positive probability distributions on $\\mathcal{X}$, and let $u\\in\\mathbb{R}^{\\mathcal{X}}$ be a log-weight. Define $Ψ_p(u)=\\log\\sum_x p(x)e^{u(x)}$ and $π_{p,u}(x)=p(x)e^{u(x)-Ψ_p(u)}$. The variational free energy $F(Q;p,u)=D(Q\\|p)-\\mathbb{E}_Q[u]$ satisfies the exact identity $Ψ_p(u)=-F(Q;p,u)+D(Q\\|π_{p,u})$, whose residual is the canonical divergence of the dually flat simplex. We prove a converse. Suppose $G(Q;p,u)=A(Q,p)+B(Q,u)$ is additively separable and its gap $Ψ_p(u)+G(Q;p,u)$ is nonnegative and vanishes whenever…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-20","reactions":{}}