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

Letters in Mathematical Physics

Some aspects of quantum sufficiency for finite and full von Neumann algebras

Andrzej Łuczak

Published Jul 14, 2021• 0 citations
Publisher

Abstract

Abstract Some features of the notion of sufficiency in quantum statistics are investigated. Three kinds of this notion are considered: plain sufficiency (called simply: sufficiency), strong sufficiency and Umegaki’s sufficiency. It is shown that for a finite von Neumann algebra with a faithful family of normal states the minimal sufficient von Neumann subalgebra is sufficient in Umegaki’s sense. Moreover, a proper version of the factorization theorem of Jenčová and Petz is obtained. The structure of the minimal sufficient subalgebra is described in the case of pure states on the full algebra of all bounded linear operators on a Hilbert space.

DOI
10.1007/s11005-021-01428-8

Related papers

Quantum Sufficiency in the Operator Algebra Framework

Andrzej Łuczak

The paper is devoted to the investigation of the notion of sufficiency in quantum statistics. Three kinds of this notion are considered: plain sufficiency (called simply: sufficiency), Petz’s sufficiency, and Umegaki’s sufficiency. The problem of the existence and structure of the minimal sufficient subalgebra is analyzed in some detail, conditions yielding equivalence of the three modes of sufficiency are considered, and quantum Basu’s theorem is obtained. Moreover, it is shown that an interesting “factorization theorem” of Jenčová and Petz needs some corrections to hold true.

International Journal of Theoretical Physics•Jul 31, 2013•11 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

Sufficient positive maps between von Neumann algebras: Rényi divergences

Anna Jenčová, Lauritz van Luijk

We prove recovery theorems for $α$-$z$ Rényi divergences under normal unital positive maps between von Neumann algebras. Previous results in this setting required 2-positivity, while recent finite dimensional work showed that this assumption can be relaxed to mere positivity. Our proof uses sufficiency for JW*-subalgebras and $L^p$-spaces over them to characterize equality in the data processing inequality. As a further application of our methods, we solve a problem discussed by Haagerup and Stormer: Every conditional expectation of a von Neumann algebra onto a JW*-subalgebra factors through a conditional expectation onto the generated von Neumann subalgebra.

quant-pharXiv:2608.28510•Aug 31, 2026

Entropy of Quantum Measurement

Hanna Podsȩdkowska

A notion of entropy of a normal state on a finite von Neumann algebra in Segal’s sense is considered, and its superadditivity is proven together with a necessary and sufficient condition for its additivity. Bounds on the entropy of the state after measurement are obtained, and it is shown that a weakly repeatable measurement gives minimal entropy and that a minimal state entropy measurement satisfying some natural additional conditions is repeatable.

Entropy•Mar 12, 2015•3 citations

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

State Determination and Sufficiency of Observables

Katarzyna Lubnauer, Hanna Podsȩdkowska

Informational completeness and the possibility of state distinction and determination are among the more important issues of quantum statistics. We use spectral and semispectral (POV) measures to analyse these questions. For a given W ∗-algebra and a family of normal states on it we investigate the relation between sufficiency in Petz’s sense of a W ∗-subalgebra generated by a spectral measure, and the possibility of determination of these states by means of an observable.

International Journal of Theoretical Physics•May 18, 2013•1 citation
Abstract Some features of the notion of sufficiency in quantum statistics are investigated. Three kinds of this notion are considered: plain sufficiency (called simply: sufficiency), strong sufficiency and Umegaki’s sufficiency. It is shown that for a finite von Neumann algebra with a faithful family of normal states the minimal sufficient von Neumann subalgebra is sufficient in Umegaki’s sense. Moreover, a proper version of the factorization theorem of Jenčová and Petz is obtained. The structure of the minimal sufficient subalgebra is described in the case of pure states on the full algebra of all bounded linear operators on a Hilbert space.
The paper is devoted to the investigation of the notion of sufficiency in quantum statistics. Three kinds of this notion are considered: plain sufficiency (called simply: sufficiency), Petz’s sufficiency, and Umegaki’s sufficiency. The problem of the existence and structure of the minimal sufficient subalgebra is analyzed in some detail, conditions yielding equivalence of the three modes of sufficiency are considered, and quantum Basu’s theorem is obtained. Moreover, it is shown that an interesting “factorization theorem” of Jenčová and Petz needs some corrections to hold true.
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 prove recovery theorems for ααα-zzz Rényi divergences under normal unital positive maps between von Neumann algebras. Previous results in this setting required 2-positivity, while recent finite dimensional work showed that this assumption can be relaxed to mere positivity. Our proof uses sufficiency for JW*-subalgebras and LpL^pLp-spaces over them to characterize equality in the data processing inequality. As a further application of our methods, we solve a problem discussed by Haagerup and Stormer: Every conditional expectation of a von Neumann algebra onto a JW*-subalgebra factors through a conditional expectation onto the generated von Neumann subalgebra.
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.