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

arXiv:quant-ph/0404156

Unknown Quantum States and Operations, a Bayesian View

Christopher A. Fuchs, Ruediger Schack

Published Apr 27, 2004• 183 citations
arXivHTMLPDF

Abstract

The classical de Finetti theorem provides an operational definition of the concept of an unknown probability in Bayesian probability theory, where probabilities are taken to be degrees of belief instead of objective states of nature. In this paper, we motivate and review two results that generalize de Finetti's theorem to the quantum mechanical setting: Namely a de Finetti theorem for quantum states and a de Finetti theorem for quantum operations. The quantum-state theorem, in a closely analogous fashion to the original de Finetti theorem, deals with exchangeable density-operator assignments and provides an operational definition of the concept of an "unknown quantum state" in quantum-state tomography. Similarly, the quantum-operation theorem gives an operational definition of an "unknown quantum operation" in quantum-process tomography. These results are especially important for a Bayesian interpretation of quantum mechanics, where quantum states and (at least some) quantum operations are taken to be states of belief rather than states of nature.

DOI
10.48550/arxiv.quant-ph/0404156

Related papers

Unknown quantum states: The quantum de Finetti representation

Carlton M. Caves, Christopher A. Fuchs, Rüdiger Schack

We present an elementary proof of the quantum de Finetti representation theorem, a quantum analog of de Finetti’s classical theorem on exchangeable probability assignments. This contrasts with the original proof of Hudson and Moody [Z. Wahrschein. verw. Geb. 33, 343 (1976)], which relies on advanced mathematics and does not share the same potential for generalization. The classical de Finetti theorem provides an operational definition of the concept of an unknown probability in Bayesian probability theory, where probabilities are taken to be degrees of belief instead of objective states of nature. The quantum de Finetti theorem, in a closely analogous fashion, deals with exchangeable density-operator assignments and provides an operational definition of the concept of an “unknown quantum state” in quantum-state tomography. This result is especially important for information-based interpretations of quantum mechanics, where quantum states, like probabilities, are taken to be states of knowledge rather than states of nature. We further demonstrate that the theorem fails for real Hilbert spaces and discuss the significance of this point.

arXiv:quant-ph/0104088•Journal of Mathematical Physics•Sep 1, 2002•445 citations

De Finetti representation theorem for quantum-process tomography

Christopher A. Fuchs, Rüdiger Schack, Petra F. Scudo

In quantum-process tomography it is possible to express the experimenter's prior information as a sequence of quantum operations, i.e., trace-preserving completely positive maps. In analogy to de Finetti's concept of exchangeability for probability distributions, we give a definition of exchangeability for sequences of quantum operations. We then state and prove a representation theorem for such exchangeable sequences. The theorem leads to a simple characterization of admissible priors for quantum process tomography and solves to a Bayesian's satisfaction the problem of an unknown quantum operation.

arXiv:quant-ph/0307198•Physical Review A•Jun 3, 2004•38 citations

Bayesian Probability in Quantum Mechanics

Rüdiger Schack

Abstract This paper reviews arguments for the claim that all probabilities arising in quantum mechanics are Bayesian degrees of belief. The starting point is the observation that there is a one-to-one map from quantum states to points on the probability simplex. Bayes’s rule remains valid in quantum theory, provided it is kept in mind that the outcomes of quantum measurements have no preassigned values. The probabilities of quantum measurement outcomes depend explicitly on a quantum prior whose general form will be discussed. Similar to the classical case, the quantum de Finetti theorem simplifies the analysis of repeated quantum trials if the prior is exchangeable. The Bayesian approach to quantum theory described here solves the problem of the ‘collapse of the wave function’. It also provides almost trivial explanations of a number of phenomena in quantum information theory, including the no-cloning theorem and quantum teleportation.

•Jul 19, 2007•2 citations

The quantum de Finetti representation for the Bayesian Quantum Tomography and the Quantum Discord

V. S. Shchesnovich, Dmitri S. Mogilevtsev

We point out that the quantum de Finetti representation, unique for infinitely extendable exchangeable systems, assigns a non-zero Quantum Discord to uncorrelated systems and thus cannot serve as an universal prior distribution in the Bayesian Quantum Tomography. This apparent paradox stems from linearity of the Born rule for the probability assignment in Quantum Mechanics, which results in mixing of one's knowledge about the quantum state and the representative of the state in one density matrix.

arXiv:1303.4993•Mar 20, 2013•0 citations

Exchangeability and de Finetti’s theorem: from probabilities to quantum-mechanical states

Rüdiger Schack

This paper gives a simple introduction to the quantum mechanical concept of a probability operator valued measurement (POVM) and shows how it can be used to derive a quantum version of de Finetti’s representation theorem.

AIP conference proceedings•Jan 1, 2004•0 citations

Connecting classical finite exchangeability to quantum theory

Alessio Benavoli, Alessandro Facchini, Marco Zaffalon A

Exchangeability is a fundamental concept in probability theory and statistics. It allows to model situations where the order of observations does not matter. The classical de Finetti's theorem provides a representation of infinitely exchangeable sequences of random variables as mixtures of independent and identically distributed variables. The quantum de Finetti theorem extends this result to symmetric quantum states on tensor product Hilbert spaces. It is well known that both theorems do not hold for finitely exchangeable sequences. The aim of this work is to investigate two lesser-known representation theorems, which were developed in classical probability theory to extend de Finetti's theorem to finitely exchangeable sequences by using quasi-probabilities and quasi-expectations. With the aid of these theorems, we illustrate how a de Finetti-like representation theorem for finitely exchangeable sequences can be formulated through a mathematical representation which is formally equivalent to quantum theory (with boson-symmetric density matrices). We then show a promising application of this connection to the challenge of defining entanglement for indistinguishable bosons.

arXiv:2306.03869•Jun 6, 2023•0 citations
The classical de Finetti theorem provides an operational definition of the concept of an unknown probability in Bayesian probability theory, where probabilities are taken to be degrees of belief instead of objective states of nature. In this paper, we motivate and review two results that generalize de Finetti's theorem to the quantum mechanical setting: Namely a de Finetti theorem for quantum states and a de Finetti theorem for quantum operations. The quantum-state theorem, in a closely analogous fashion to the original de Finetti theorem, deals with exchangeable density-operator assignments and provides an operational definition of the concept of an "unknown quantum state" in quantum-state tomography. Similarly, the quantum-operation theorem gives an operational definition of an "unknown quantum operation" in quantum-process tomography. These results are especially important for a Bayesian interpretation of quantum mechanics, where quantum states and (at least some) quantum operations are taken to be states of belief rather than states of nature.
We present an elementary proof of the quantum de Finetti representation theorem, a quantum analog of de Finetti’s classical theorem on exchangeable probability assignments. This contrasts with the original proof of Hudson and Moody [Z. Wahrschein. verw. Geb. 33, 343 (1976)], which relies on advanced mathematics and does not share the same potential for generalization. The classical de Finetti theorem provides an operational definition of the concept of an unknown probability in Bayesian probability theory, where probabilities are taken to be degrees of belief instead of objective states of nature. The quantum de Finetti theorem, in a closely analogous fashion, deals with exchangeable density-operator assignments and provides an operational definition of the concept of an “unknown quantum state” in quantum-state tomography. This result is especially important for information-based interpretations of quantum mechanics, where quantum states, like probabilities, are taken to be states of knowledge rather than states of nature. We further demonstrate that the theorem fails for real Hilbert spaces and discuss the significance of this point.
In quantum-process tomography it is possible to express the experimenter's prior information as a sequence of quantum operations, i.e., trace-preserving completely positive maps. In analogy to de Finetti's concept of exchangeability for probability distributions, we give a definition of exchangeability for sequences of quantum operations. We then state and prove a representation theorem for such exchangeable sequences. The theorem leads to a simple characterization of admissible priors for quantum process tomography and solves to a Bayesian's satisfaction the problem of an unknown quantum operation.
Abstract This paper reviews arguments for the claim that all probabilities arising in quantum mechanics are Bayesian degrees of belief. The starting point is the observation that there is a one-to-one map from quantum states to points on the probability simplex. Bayes’s rule remains valid in quantum theory, provided it is kept in mind that the outcomes of quantum measurements have no preassigned values. The probabilities of quantum measurement outcomes depend explicitly on a quantum prior whose general form will be discussed. Similar to the classical case, the quantum de Finetti theorem simplifies the analysis of repeated quantum trials if the prior is exchangeable. The Bayesian approach to quantum theory described here solves the problem of the ‘collapse of the wave function’. It also provides almost trivial explanations of a number of phenomena in quantum information theory, including the no-cloning theorem and quantum teleportation.
We point out that the quantum de Finetti representation, unique for infinitely extendable exchangeable systems, assigns a non-zero Quantum Discord to uncorrelated systems and thus cannot serve as an universal prior distribution in the Bayesian Quantum Tomography. This apparent paradox stems from linearity of the Born rule for the probability assignment in Quantum Mechanics, which results in mixing of one's knowledge about the quantum state and the representative of the state in one density matrix.
Exchangeability is a fundamental concept in probability theory and statistics. It allows to model situations where the order of observations does not matter. The classical de Finetti's theorem provides a representation of infinitely exchangeable sequences of random variables as mixtures of independent and identically distributed variables. The quantum de Finetti theorem extends this result to symmetric quantum states on tensor product Hilbert spaces. It is well known that both theorems do not hold for finitely exchangeable sequences. The aim of this work is to investigate two lesser-known representation theorems, which were developed in classical probability theory to extend de Finetti's theorem to finitely exchangeable sequences by using quasi-probabilities and quasi-expectations. With the aid of these theorems, we illustrate how a de Finetti-like representation theorem for finitely exchangeable sequences can be formulated through a mathematical representation which is formally equivalent to quantum theory (with boson-symmetric density matrices). We then show a promising application of this connection to the challenge of defining entanglement for indistinguishable bosons.