Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Sufficiency in quantum statistical inference

Anna Jenčová, Dėnes Petz

Published Oct 28, 2009• 60 citations
OpenAlex

Abstract

This paper attempts to develop a theory of sufficiency in the setting of non-commutative algebras parallel to the ideas in classical mathematical statistics. Sufficiency of a coarse-graining means that all information is extracted about the mutual relation of a given family of states. In the paper su cient coarse-grainings are characterized in several equivalent ways and the non-commutative analogue of the factorization theorem is obtained. As an application we discuss exponential families. Our factorization theorem also implies two further important results, previously known only infinite Hilbert space dimension, but proved here in generality: the Koashi-Imoto theorem on maps leaving a family of states invariant, and the characterization of the general form of states in the equality case of strong subadditivity.

Related papers

SUFFICIENCY IN QUANTUM STATISTICAL INFERENCE: A SURVEY WITH EXAMPLES

Anna Jenčová, Dėnes Petz

This paper attempts to give an overview about sufficiency in the setting of quantum statistics. The basic concepts are treated in parallel to the measure theoretic case. It turns out that several classical examples and results have a noncommutative analogue. Some of the results are presented without proof (but with exact references) and the presentation is intended to be self-contained. The main examples discussed in the paper are related to the Weyl algebra and to the exponential family of states. The characterization of sufficiency in terms of quantum Fisher information is a new result.

arXiv:quant-ph/0604091•Infinite Dimensional Analysis Quantum Probability and Related Topics•Sep 1, 2006•35 citations

Minimal sufficient statistical experiments on von Neumann algebras

Yui Kuramochi

A statistical experiment on a von Neumann algebra is a parametrized family of normal states on the algebra. This paper introduces the concept of minimal sufficiency for statistical experiments in such operator algebraic situations. We define equivalence relations of statistical experiments indexed by a common parameter set by completely positive or Schwarz coarse-graining and show that any statistical experiment is equivalent to a minimal sufficient statistical experiment unique up to normal isomorphism of outcome algebras. We also establish the relationship between the minimal sufficiency condition for a statistical experiment in this paper and those for subalgebra. These concepts and results are applied to the concatenation relation for completely positive channels with general input and outcome von Neumann algebras. In the case of the quantum-classical channel corresponding to the positive-operator valued measure (POVM), we prove the equivalence of the minimal sufficient condition previously proposed by the author and that in this paper. We also give a characterization of the discreteness of a POVM up to postprocessing equivalence in terms of the corresponding quantum-classical channel.

arXiv:1701.03394•Journal of Mathematical Physics•Jun 1, 2017•7 citations

Sufficiency and Petz recovery for positive maps

Lauritz van Luijk, Henrik Wilming

We study the interconversion of families of quantum states ("statistical experiments") via positive, trace-preserving (PTP) maps and clarify its mathematical structure in terms of minimal sufficient Jordan algebras, which can be seen to generalize the Koashi-Imoto decomposition to the PTP setting. In particular, we show that Neyman-Pearson tests generate the minimal sufficient Jordan algebra, and hence also the minimal sufficient *-algebra corresponding to the Koashi-Imoto decomposition. As applications, we show that a) equality in the data-processing inequality for the relative entropy or the $α$-$z$ quantum Rényi divergence implies the existence of a recovery map also in the PTP case and b) that two dichotomies can be interconverted by PTP maps if and only if they can be interconverted by decomposable, trace-preserving maps. We thoroughly review the necessary mathematical background on Jordan algebras. As a step beyond the finite-dimensional case, we prove Frenkel's formula for approximately finite-dimensional von Neumann algebras.

quant-pharXiv:2604.08380•Apr 10, 2026•0 citations

Noncommutative Probability on von Neumann Algebras

Stanley Gudder, Jean-Paul Marchand

We generalize ordinary probability theory to those von Neumann algebras A, for which Dye's generalized version of the Radon-Nikodym theorem holds. This includes the classical case in which A is an Abelian von Neumann algebra generated by an observable or complete set of commuting observables. Via Gleason's theorem, this also includes the case of ordinary quantum mechanics, in which A=B(H) is the von Neumann algebra of all bounded operators on a separable Hilbert space H. Particular consideration is given to the concepts of conditioning, sufficient statistics, coarse-graining, and filtering.

Journal of Mathematical Physics•May 1, 1972•40 citations

Non-commutativity from coarse grained classical probabilities

CHRISTOF WETTERICH

Non-commutative quantum physics at the atom scale can arise from coarse graining of a classical statistical ensemble at the Planck scale. Position and momentum of an isolated particle are classical observables which remain computable in terms of the coarse grained information. However, the commuting classical product of position and momentum observables is no longer defined in the coarse grained system, which is therefore described by incomplete statistics. The microphysical classical statistical ensemble at the Planck scale admits an alternative non-commuting product structure for position and momentum observables which is compatible with the coarse graining. Measurement correlations for isolated atoms are based on this non-commutative product structure. We present an explicit example for these ideas. It also realizes the discreteness of the spin observable within a microphysical classical statistical ensemble.

arXiv:1005.3972•May 21, 2010•1 citation

Quantum Sufficiency for Self-Adjoint Statistical Models via Likelihood-Type Operators on Real $*$-Subalgebras and Real Jordan Algebras

Koichi Yamagata

We develop a theory of quantum sufficiency on real *-subalgebras and real Jordan algebras for models consisting of general self-adjoint operators, including derivatives of states. Square-root likelihood ratios and symmetric logarithmic derivatives serve as self-adjoint likelihood-type objects, allowing ordinary quantum statistical models and local models to be treated within a unified framework that admits degenerate reference states. We introduce sufficient real unital positive maps and show that their Hermitian fixed points form a real Jordan algebra admitting a sufficient Jordan conditional expectation. The real and complex *-subalgebras generated by this algebra admit sufficient real and complex completely positive conditional expectations, respectively. We characterize the minimal sufficient real *-subalgebra by the likelihood-ratio set and $ρ$-modular invariance. The minimal sufficient real Jordan algebra is generated by the likelihood-ratio set together with the operator obtained by normalizing every irreducible diagonal block of the reference state, relative to the minimal sufficient real *-subalgebra, to trace one. We also obtain Koashi-Imoto type decompositions for real *-subalgebras and real Jordan algebras admitting sufficient conditional expectations, explicitly accounting for inequivalent irreducible Jordan representations. These results separate the likelihood-ratio aspect of sufficiency from its noncommutative modular aspect and identify real Jordan structure as a natural framework for quantum statistical sufficiency.

quant-pharXiv:2604.23292•Apr 28, 2026•0 citations
This paper attempts to develop a theory of sufficiency in the setting of non-commutative algebras parallel to the ideas in classical mathematical statistics. Sufficiency of a coarse-graining means that all information is extracted about the mutual relation of a given family of states. In the paper su cient coarse-grainings are characterized in several equivalent ways and the non-commutative analogue of the factorization theorem is obtained. As an application we discuss exponential families. Our factorization theorem also implies two further important results, previously known only infinite Hilbert space dimension, but proved here in generality: the Koashi-Imoto theorem on maps leaving a family of states invariant, and the characterization of the general form of states in the equality case of strong subadditivity.
This paper attempts to give an overview about sufficiency in the setting of quantum statistics. The basic concepts are treated in parallel to the measure theoretic case. It turns out that several classical examples and results have a noncommutative analogue. Some of the results are presented without proof (but with exact references) and the presentation is intended to be self-contained. The main examples discussed in the paper are related to the Weyl algebra and to the exponential family of states. The characterization of sufficiency in terms of quantum Fisher information is a new result.
A statistical experiment on a von Neumann algebra is a parametrized family of normal states on the algebra. This paper introduces the concept of minimal sufficiency for statistical experiments in such operator algebraic situations. We define equivalence relations of statistical experiments indexed by a common parameter set by completely positive or Schwarz coarse-graining and show that any statistical experiment is equivalent to a minimal sufficient statistical experiment unique up to normal isomorphism of outcome algebras. We also establish the relationship between the minimal sufficiency condition for a statistical experiment in this paper and those for subalgebra. These concepts and results are applied to the concatenation relation for completely positive channels with general input and outcome von Neumann algebras. In the case of the quantum-classical channel corresponding to the positive-operator valued measure (POVM), we prove the equivalence of the minimal sufficient condition previously proposed by the author and that in this paper. We also give a characterization of the discreteness of a POVM up to postprocessing equivalence in terms of the corresponding quantum-classical channel.
We study the interconversion of families of quantum states ("statistical experiments") via positive, trace-preserving (PTP) maps and clarify its mathematical structure in terms of minimal sufficient Jordan algebras, which can be seen to generalize the Koashi-Imoto decomposition to the PTP setting. In particular, we show that Neyman-Pearson tests generate the minimal sufficient Jordan algebra, and hence also the minimal sufficient *-algebra corresponding to the Koashi-Imoto decomposition. As applications, we show that a) equality in the data-processing inequality for the relative entropy or the ααα-zzz quantum Rényi divergence implies the existence of a recovery map also in the PTP case and b) that two dichotomies can be interconverted by PTP maps if and only if they can be interconverted by decomposable, trace-preserving maps. We thoroughly review the necessary mathematical background on Jordan algebras. As a step beyond the finite-dimensional case, we prove Frenkel's formula for approximately finite-dimensional von Neumann algebras.
We generalize ordinary probability theory to those von Neumann algebras A, for which Dye's generalized version of the Radon-Nikodym theorem holds. This includes the classical case in which A is an Abelian von Neumann algebra generated by an observable or complete set of commuting observables. Via Gleason's theorem, this also includes the case of ordinary quantum mechanics, in which A=B(H) is the von Neumann algebra of all bounded operators on a separable Hilbert space H. Particular consideration is given to the concepts of conditioning, sufficient statistics, coarse-graining, and filtering.
Non-commutative quantum physics at the atom scale can arise from coarse graining of a classical statistical ensemble at the Planck scale. Position and momentum of an isolated particle are classical observables which remain computable in terms of the coarse grained information. However, the commuting classical product of position and momentum observables is no longer defined in the coarse grained system, which is therefore described by incomplete statistics. The microphysical classical statistical ensemble at the Planck scale admits an alternative non-commuting product structure for position and momentum observables which is compatible with the coarse graining. Measurement correlations for isolated atoms are based on this non-commutative product structure. We present an explicit example for these ideas. It also realizes the discreteness of the spin observable within a microphysical classical statistical ensemble.
Quantum Sufficiency for Self-Adjoint Statistical Models via Likelihood-Type Operators on Real ∗*∗-Subalgebras and Real Jordan Algebras
We develop a theory of quantum sufficiency on real *-subalgebras and real Jordan algebras for models consisting of general self-adjoint operators, including derivatives of states. Square-root likelihood ratios and symmetric logarithmic derivatives serve as self-adjoint likelihood-type objects, allowing ordinary quantum statistical models and local models to be treated within a unified framework that admits degenerate reference states. We introduce sufficient real unital positive maps and show that their Hermitian fixed points form a real Jordan algebra admitting a sufficient Jordan conditional expectation. The real and complex *-subalgebras generated by this algebra admit sufficient real and complex completely positive conditional expectations, respectively. We characterize the minimal sufficient real *-subalgebra by the likelihood-ratio set and ρρρ-modular invariance. The minimal sufficient real Jordan algebra is generated by the likelihood-ratio set together with the operator obtained by normalizing every irreducible diagonal block of the reference state, relative to the minimal sufficient real *-subalgebra, to trace one. We also obtain Koashi-Imoto type decompositions for real *-subalgebras and real Jordan algebras admitting sufficient conditional expectations, explicitly accounting for inequivalent irreducible Jordan representations. These results separate the likelihood-ratio aspect of sufficiency from its noncommutative modular aspect and identify real Jordan structure as a natural framework for quantum statistical sufficiency.