Open Research Index

A Uniqueness Theorem for Exact Separable Log-Partition Decompositions

Michael P. Rubin

arXivarxiv/2607.22710Jul 20, 2026cs.ITscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2607.22710
curl -X POST /api/v1/records/arxiv/2607.22710/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.22710/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'