Table of Contents
Fetching ...

Stability of Maximum-Entropy Inference in Finite Dimensions

James Tian

TL;DR

This work analyzes maximum-entropy inference for finite-dimensional quantum states under linear moment constraints, proving existence and uniqueness of the Gibbs-maximum-entropy state on the feasible set and establishing a convex-dual framework via the log-partition function. It delivers a convergence principle: if moment data converge to the target and the entropy matches the max-entropy value, the inferred state converges in trace norm, with stability preserved under unital CPTP post-processing. The authors derive explicit, dimension-free quantitative bounds linking moment deviations and entropy gaps to the trace distance and to observable deviations on the constraint subspace, enabling practical error control in finite-dimensional quantum inference. Collectively, the results provide a rigorous, self-contained foundation for robust maximum-entropy inference in quantum information and data-driven settings, applicable to experiment-driven state estimation and quantum learning tasks.

Abstract

We study maximum-entropy inference for finite-dimensional quantum states under linear moment constraints. Given expectation values of finitely many observables, the feasible set of states is convex but typically non-unique. The maximum-entropy principle selects the Gibbs state that agrees with the data while remaining maximally unbiased. We prove that convergence of moments and entropy implies convergence of states in trace norm, derive explicit quantitative bounds linking data and entropy deviations to state distance, and show that these results are stable under unital completely positive maps. The analysis is self-contained and relies on convex duality, relative entropy, and Pinsker-type inequalities, providing a rigorous and unified foundation for finite-dimensional maximum-entropy inference.

Stability of Maximum-Entropy Inference in Finite Dimensions

TL;DR

This work analyzes maximum-entropy inference for finite-dimensional quantum states under linear moment constraints, proving existence and uniqueness of the Gibbs-maximum-entropy state on the feasible set and establishing a convex-dual framework via the log-partition function. It delivers a convergence principle: if moment data converge to the target and the entropy matches the max-entropy value, the inferred state converges in trace norm, with stability preserved under unital CPTP post-processing. The authors derive explicit, dimension-free quantitative bounds linking moment deviations and entropy gaps to the trace distance and to observable deviations on the constraint subspace, enabling practical error control in finite-dimensional quantum inference. Collectively, the results provide a rigorous, self-contained foundation for robust maximum-entropy inference in quantum information and data-driven settings, applicable to experiment-driven state estimation and quantum learning tasks.

Abstract

We study maximum-entropy inference for finite-dimensional quantum states under linear moment constraints. Given expectation values of finitely many observables, the feasible set of states is convex but typically non-unique. The maximum-entropy principle selects the Gibbs state that agrees with the data while remaining maximally unbiased. We prove that convergence of moments and entropy implies convergence of states in trace norm, derive explicit quantitative bounds linking data and entropy deviations to state distance, and show that these results are stable under unital completely positive maps. The analysis is self-contained and relies on convex duality, relative entropy, and Pinsker-type inequalities, providing a rigorous and unified foundation for finite-dimensional maximum-entropy inference.
Paper Structure (4 sections, 7 theorems, 65 equations)

This paper contains 4 sections, 7 theorems, 65 equations.

Key Result

Lemma 2.1

Given $X_{1},\dots,X_{k}\in\mathcal{M}_{sa}$, let Then $M_{X}$ is a compact convex set, and $C\left(m\right)\neq\emptyset$ if and only if $m\in M_{X}$. Furthermore, the following are equivalent:

Theorems & Definitions (17)

  • Lemma 2.1
  • proof
  • Proposition 2.2: maximum entropy under linear constraints
  • proof
  • Theorem 3.1
  • proof
  • Corollary 3.2: stability under u.c.p. post-processing
  • proof
  • Remark 3.3
  • proof
  • ...and 7 more