## Quantum Foundations in the Light of Quantum Information (2001)

Venue: | PROCEEDINGS OF THE NATO ADVANCED RESEARCH WORKSHOP, MYKONOS GREECE |

Citations: | 17 - 2 self |

### BibTeX

@INPROCEEDINGS{Fuchs01quantumfoundations,

author = {Christopher A. Fuchs},

title = {Quantum Foundations in the Light of Quantum Information },

booktitle = {PROCEEDINGS OF THE NATO ADVANCED RESEARCH WORKSHOP, MYKONOS GREECE},

year = {2001},

pages = {38--82},

publisher = {Turchi (IOS Press}

}

### OpenURL

### Abstract

In this paper, I try to cause some good-natured trouble. The issue at stake is when will we ever stop burdening the taxpayer with conferences and workshops devoted— explicitly or implicitly—to the quantum foundations? The suspicion is expressed that no end will be in sight until a means is found to reduce quantum theory to two or three statements of crisp physical (rather than abstract, axiomatic) significance. In this regard, no tool appears to be better calibrated for a direct assault than quantum information theory. Far from being a strained application of the latest fad to a deepseated problem, this method holds promise precisely because a large part (but not all) of the structure of quantum theory has always concerned information. It is just that the physics community has somehow forgotten this.

### Citations

8556 |
Elements of Information Theory
- Cover, Thomas
- 1991
(Show Context)
Citation Context ...y that one’s uncertainty about a hypothesis can be expected to decrease upon the acquisition of data. This can be made rigorous, for instance, by gauging uncertainty with the Shannon entropy function =-=[43]-=-, S(H) = − ∑ p(h) log p(h) . (40) h This number is bounded between 0 and the logarithm of the number of hypotheses in H, and there are several reasons to think of it as a good measure of uncertainty. ... |

1039 |
Bayesian Theory
- Bernardo, Smith
- 1994
(Show Context)
Citation Context ... searching to make sense of the remainder of quantum mechanics, one strategy ought to be to seek guidance [37] from the most developed avenue of “knowledge theory” to date—Bayesian probability theory =-=[38, 39, 40]-=-. Indeed, the very aim of Bayesian theory is to develop reliable methods of reasoning and making decisions in the light of incomplete knowledge. To what extent does that structure mesh with the seemin... |

689 |
Quantum Theory: Concepts and Methods
- Peres
- 1993
(Show Context)
Citation Context ...everal variations of it) are indeed violated by the physical world. The Kochen-Specker no-go theorems have been meticulously clarified to the point where simple textbook pictures can be drawn of them =-=[24]-=-. Incompleteness, it seems, is here to stay: The theory prescribes that no matter how much we know about a quantum system—even when we have maximal information about it—there will always be a statisti... |

599 |
Quantum cryptography: Public key distribution and coin tossing
- Bennett, Brassard
- 1984
(Show Context)
Citation Context ...a paper in quantum information that does not make use of it. Unknown quantum states are teleported [8], protected with quantum error correcting codes [62], and used to check for quantum eavesdropping =-=[63]-=-. The list of uses grows each day. But what can the term possibly mean? In an information-based interpretation of quantum mechanics, it is an overt oxymoron: If quantum states, by their very definitio... |

581 |
Can Quantum-Mechanical Description of Physical Reality
- Einstein, Podolsky, et al.
- 1935
(Show Context)
Citation Context ... no causal connection with the system of interest. The paradigm here is of course the one well 5 Dash, verve, vigor, vim, zip, pep, punch, pizzazz! 7known through the Einstein, Podolsky, Rosen paper =-=[19]-=-, but simpler versions of the train of thought had a long pre-history with Einstein [20]. The best was in essence this. Take two spatially separated systems A and B prepared in some entangled quantum ... |

445 |
Matrix Analysis
- Bhatia
- 1997
(Show Context)
Citation Context ...ainly innumerable ways to combine two Hilbert spaces HA and HB to obtain a third HAB. We could take the direct sum of the two spaces HAB = HA ⊕ HB. We could take their Grassmann product HAB = HA ∧ HB =-=[56]-=-. We could take scads of other things. But instead we take their tensor product, HAB = HA ⊗ HB . (69) Why? Could it arise from the selfsame considerations we have already made our mainstay— from a non... |

422 | Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels,” Physical Review Letters 70
- Bennett, Brassard, et al.
- 1993
(Show Context)
Citation Context ...ession of information—the information one has about a quantum system. It has no objective reality in and of itself. The argument is then refined by considering the phenomenon of quantum teleportation =-=[8]-=-. In Section 4 “Information About What?,” I tackle that very question [9] head-on. The answer is, “nothing more than the potential consequences of our experimental interventions into nature.” Once fre... |

218 |
Scheme for reducing decoherence in quantum computer memory
- Shor
- 1995
(Show Context)
Citation Context ...l that we are ignorant of? state. There is hardly a paper in quantum information that does not make use of it. Unknown quantum states are teleported [8], protected with quantum error correcting codes =-=[62]-=-, and used to check for quantum eavesdropping [63]. The list of uses grows each day. But what can the term possibly mean? In an information-based interpretation of quantum mechanics, it is an overt ox... |

214 |
Information Theory
- Ash
- 1965
(Show Context)
Citation Context ...ant of these is that it quantifies the number of YES-NO questions one can expect to ask per instance of H, if one’s only means to ascertain the outcome is from a colleague who knows the actual result =-=[44]-=-. Under this quantification, the lower the Shannon entropy, the more predictable a measurement’s outcomes. Because the function f(x) = −x log x is concave on the interval [0, 1], it follows that, S(H)... |

150 |
The Laws of Thought
- Boole
- 1854
(Show Context)
Citation Context ...s, “Of course not!” Bayes’ rule, and with it all of probability theory, is an intellectual construct that stands beyond the details of physics. George Boole called probability theory a law of thought =-=[52]-=-. Its calculus specifies the optimal way an agent should reason and make decisions when faced with incomplete information. In this way, probability theory is but a generalization of Aristotelian logic... |

87 |
The Emperor’s New Mind: Concerning Computers
- Penrose
- 1989
(Show Context)
Citation Context ...interest—i.e., one of the four Pauli rotations—Alice can sharpen her predictability to complete certainty for any YES-NO observable she wishes. Roger Penrose argues in his book The Emperor’s New Mind =-=[27]-=- that when a system “has” a state |ψ〉 there ought to be some property in the system (in and of itself) that corresponds to its “|ψ〉’ness.” For how else could the system be prepared to reveal a YES in ... |

84 |
Speakable and Unspeakable
- Bell
- 1987
(Show Context)
Citation Context ...ential consequences of our experimental interventions into nature.” Once freed from the notion that quantum measurement ought to be about revealing traces of some preexisting property [10] (or beable =-=[11]-=-), one finds no particular reason to take the standard account of measurement (in terms of complete sets of orthogonal projection operators) as a basic notion. Indeed quantum information theory, with ... |

82 |
Interpreting the Quantum World
- Bub
- 1999
(Show Context)
Citation Context ...ore than the potential consequences of our experimental interventions into nature.” Once freed from the notion that quantum measurement ought to be about revealing traces of some preexisting property =-=[10]-=- (or beable [11]), one finds no particular reason to take the standard account of measurement (in terms of complete sets of orthogonal projection operators) as a basic notion. Indeed quantum informati... |

78 |
Quantum Cryptography Without Bell’s Theorem.” Phys
- Bennett, Brassard, et al.
- 1992
(Show Context)
Citation Context ... vision built up in the previous sections. For quantum key distribution it is essential to be able to prepare a physical system in one or another quantum state drawn from some fixed nonorthogonal set =-=[63, 68]-=-. These nonorthogonal states are used to encode a potentially secret cryptographic key to be shared between the sender and receiver. The information an eavesdropper seeks is about which quantum state ... |

73 |
Finetti, Theory of Probability
- de
- 1974
(Show Context)
Citation Context ...probability from the results of repeated trials on “identically prepared systems.” The way to eliminate unknown probabilities from this situation was introduced by Bruno de Finetti in the early 1930s =-=[67]-=-. His method was simply to focus on the equivalence of the repeated trials—namely, that what is really of importance is that the systems are indistinguishable as far as probabilistic predictions are c... |

70 |
Norm Ideals of Completely Continuous Operators
- Schatten
- 1960
(Show Context)
Citation Context ...the same eigenvalues! To see the impact of this, let us once again explore the content of Eqs. (38) and (39). A common way to describe their meaning is to use the operator polar-decomposition theorem =-=[50]-=- to rewrite Eq. (38) in the form ρb = 1 P(b) UbE 1/2 b ρE1/2 † b U b , (54) where Ub is a unitary operator. Since—subject only to the constraint of efficiency—the operators Ab are not determined any f... |

64 |
A complete classification of quantum ensembles having a given density matrix
- Hughston, Jozsa, et al.
- 1993
(Show Context)
Citation Context ... of states: only that when the states are weighted by their probabilities, they mix together to form the initial density operator for system B alone. For a precise statement of this freedom, see Ref. =-=[21]-=-. 7 The rigid connection of all nature, on the other hand, is exactly what the Bohmians and Everettistas do embrace, even glorify. So, I suspect these words will fall on deaf ears with them. But simil... |

53 |
General properties of entropy, Rev
- Wehrl
- 1978
(Show Context)
Citation Context ...is: With respect to a given density operator ρ, which measurement P will give the most predictability over its outcomes? As it turns out, the answer is any P that forms a set of eigenprojectors for ρ =-=[45]-=-. When this obtains, the Shannon entropy of the measurement outcomes reduces to simply the von Neumann entropy of the density operator. The von Neumann entropy, then, signifies the amount of impredict... |

44 | Unknown quantum states: The quantum de Finetti representation
- Caves, Fuchs, et al.
- 2002
(Show Context)
Citation Context ...solution, at least in the case of quantum state tomography [13], is found through a quantum mechanical version of de Finetti’s classic theorem on “unknown probabilities.” This reports work from Refs. =-=[17]-=- and [18]. Maybe one of the most interesting things about the theorem is that it fails for Hilbert spaces over the field of real numbers, suggesting that perhaps the whole discipline of quantum inform... |

40 |
The Shaky Game: Einstein, Realism, and the Quantum Theory
- Fine
- 1996
(Show Context)
Citation Context ...e well 5 Dash, verve, vigor, vim, zip, pep, punch, pizzazz! 7known through the Einstein, Podolsky, Rosen paper [19], but simpler versions of the train of thought had a long pre-history with Einstein =-=[20]-=-. The best was in essence this. Take two spatially separated systems A and B prepared in some entangled quantum state |ψAB〉. By performing the measurement of one or another of two observables on syste... |

32 | Finite precision measurement nullifies the KochenSpecker theorem” Phys
- Meyer
- 1999
(Show Context)
Citation Context ...tant thing is that the theorem works for Hilbert spaces over the rational number field: one does not need to invoke the full power of the continuum. This contrasts with the surprising result of Meyer =-=[36]-=- that the standard Gleason theorem fails in such a setting. The present theorem hints at a kind of resiliency to the structure of quantum mechanics that falls through the mesh of the standard Gleason ... |

30 |
Determination of quasiprobability distributions in terms of probability distributions for the rotated quadrature phase
- Vogel, Risken
- 1989
(Show Context)
Citation Context ...ite a contrivance to imagine there is always someone in the background with extra knowledge of the system being measured or manipulated. The solution, at least in the case of quantum state tomography =-=[13]-=-, is found through a quantum mechanical version of de Finetti’s classic theorem on “unknown probabilities.” This reports work from Refs. [17] and [18]. Maybe one of the most interesting things about t... |

29 |
Quantum probability from decision theory
- Barnum, Caves, et al.
- 2000
(Show Context)
Citation Context ... rule comes by way of Andrew Gleason’s amazing 1957 theorem [16]. For, it states that the standard rule is the only rule that satisfies a very simple kind of noncontextuality for measurement outcomes =-=[32]-=-. In particular, if one contemplates measuring two distinct observables {Πi} and { ˜ Πi} which happen to share a single projector Πk, then the probability of outcome k is independent of which observab... |

22 |
Quantum information: How much information in a state vector
- Caves, Fuchs
- 1996
(Show Context)
Citation Context ...e a statistical residue. There will always be questions that we can ask of a system for which we cannot predict the outcomes. In quantum theory, maximal information is simply not complete information =-=[25]-=-. But neither can it be completed. As Wolfgang Pauli once wrote to Markus Fierz [26], “The well-known ‘incompleteness’ of quantum mechanics (Einstein) is certainly an existent fact somehow-somewhere, ... |

21 |
Quantum nonlocality without entanglement. Phys. Rev. A 59
- Bennett, DiVincenzo, et al.
- 1999
(Show Context)
Citation Context ... Eqs. (70) and (71). This, of course, is not the most general kind of local measurement one can imagine—more sophisticated measurements could involve multiple ping-pongings between A and B as in Ref. =-=[58]-=-—but the present restricted class is already sufficient for fixing the probability rule for local measurements. The theorem is this: If f satisfies Eqs. (72) and (73) for all locally-measurable POVM t... |

19 | Decoherence, Einselection and the Existential Interpretation (The Rough Guide
- Zurek
- 1998
(Show Context)
Citation Context ... to date. My reluctance, or more accurately, my inability, to toe the line for any of the rival quantum political parties—be they the Bohmians [1], the Consistent Historians [2], the Einselectionists =-=[3]-=-, the Spontaneous Collapsicans [4], or the Everettistas [5]—springs from a distrust captured vividly by the image of a political convention. The relevant point is, what are their platforms? Throughout... |

18 |
Quantum theory needs no ‘interpretation’,” Phys
- Fuchs, Peres
- 2000
(Show Context)
Citation Context ...ng reality—independent of our experimental interventions, then we must be prepared for that too. That is where quantum theory in its most minimal and conceptually simplest dispensation seems to stand =-=[30]-=-. It is a theory whose terms refer predominately to our interface with the world. It is a theory that cannot go the extra step that classical physics did without “writing songs I can’t believe, with w... |

15 |
The fabric of reality: The science of parallel universes—and its implications
- Deutsch
- 1997
(Show Context)
Citation Context ...to toe the line for any of the rival quantum political parties—be they the Bohmians [1], the Consistent Historians [2], the Einselectionists [3], the Spontaneous Collapsicans [4], or the Everettistas =-=[5]-=-—springs from a distrust captured vividly by the image of a political convention. The relevant point is, what are their platforms? Throughout the 2000 presidential campaign in America, the Green Party... |

15 |
Lower bound for accessible information in quantum mechanics
- Jozsa, Robb, et al.
- 1994
(Show Context)
Citation Context ...asurements P [46]. Using this measure leads to the following quantity ∫ S(ρ) = H(Π) dΩP ∫ = −d (trρΠ) log (trρΠ) dΩΠ , (44) which is intimately connected to the so-called quantum “subentropy” of Ref. =-=[47]-=-. This mean entropy can be evaluated explicitly in terms of the eigenvalues of ρ and takes on the expression S(ρ) = 1 ( 1 1 + ln 2 2 3 where the subentropy Q(ρ) is defined by Q(ρ) = − ⎛ d∑ ⎝ ∏ k=1 ) 1... |

14 |
Relational Quantum Mechanics”, Int
- Rovelli
- 1996
(Show Context)
Citation Context ...cording to the Schrödinger equation. . “But what nonsense is this,” you must be asking. “Where else could they start!?!” The main issue is this, and no one has said it more clearly than Carlo Rovelli =-=[6]-=-. Where presentday quantum-foundation studies have stagnated in the stream of history is not so unlike where the physics of length contraction and time dilation stood before Einstein’s 1905 paper on s... |

14 |
An Elementay Proof of Gleason’s Theorem
- Cooke, M, et al.
- 1984
(Show Context)
Citation Context ...., that it corresponds to the convex set of density operators). In itself this is no small feat, but the thing that makes the theorem an “amazing” theorem is the shear difficulty required to prove it =-=[33]-=-. Note that no restrictions have been placed upon the function f beyond the ones mentioned above. There is no assumption that it need be differentiable, nor that it even need be continuous. All of tha... |

14 |
Quantum state disturbance vs. information gain: uncertainty relations for quantum information
- Fuchs, Peres
(Show Context)
Citation Context ...ropper and the consequent disturbance she must induce to the quantum states in the process. As the information gathered goes up, the necessary disturbance also goes up in a precisely formalizable way =-=[69]-=-. Note the two ingredients that appear in this scenario. First, the information gathering or measurement is grounded with respect to one observer (in this case, the eavesdropper), while the disturbanc... |

13 |
Quantum Profiles
- Bernstein
- 1991
(Show Context)
Citation Context ...h the measurement. Expressed in the language of Einstein, the quantum state cannot be a “complete” description of the quantum system. Here is the way Einstein put it to Michele Besso in a 1952 letter =-=[22]-=-: What relation is there between the “state” (“quantum state”) described by a function ψ and a real deterministic situation (that we call the “real state”)? Does the quantum state characterize complet... |

13 |
Locally normal symmetric states and an analogue of de Finetti’s theorem, Z. Wahrscheinlichkeitstheorie und Verw
- Hudson, Moody
(Show Context)
Citation Context ...about the structure of the whole sequence of states ρ (N): Each of the states ρ (N) has a kind of permutation invariance over its factors. The content of the quantum de Finetti representation theorem =-=[65, 17]-=- is that a sequence of states ρ (N) can have these properties, which are said to make it an exchangeable sequence, if and only if each term in it can also be written in the form ρ (N) ∫ = P(ρ) ρ ⊗N dρ... |

12 |
Information-theoretical aspects of quantum measurement
- Holevo
- 1973
(Show Context)
Citation Context ... in turn learns something about the system of real interest. Indirect though it may seem, this can be a powerful technique, sometimes revealing information that could not have been revealed otherwise =-=[35]-=-. A very simple example is where a sender has only a single qubit available for the sending one of three potential messages. She therefore has a need to encode the message in one of three preparations... |

12 |
Sending quantum entanglement through noisy channels
- Schumacher
- 1996
(Show Context)
Citation Context ...f. [41]. 14 As an aside, it should be clear from the construction in Eq. (34) that there are many equally good representations of ρb. For a precise statement of the latitude of this freedom, see Ref. =-=[42]-=-. 20Given a set of Abi, one can always find a U, a ρA, and set of Πb such that Eq. (31) becomes true. Of course the old collapse postulate is contained within the extended formalism as a special case... |

11 |
The interpretation of quantum mechanics: Many worlds or many words? Fortschr. Phys
- Tegmark
- 1998
(Show Context)
Citation Context ... I have no retort. Only a calm confidence that if progress is not made in 4this direction, 100 years from now the political pollster will still have a niche at the latest quantum foundations meeting =-=[7]-=-. So, throw the existing axioms of quantum mechanics away and start afresh! But how to proceed? I myself see no alternative but to contemplate deep and hard the tasks, the techniques, and the implicat... |

11 |
Information tradeoff relations for finite-strength quantum measurements
- Fuchs, Jacob
- 2001
(Show Context)
Citation Context ...46), which becomes a quantification of uncertainty in its own right. The way to get at a quantum statement of Eq. (41) is to make use of the fact that S(ρ) and Q(ρ) are both concave in the variable ρ =-=[48]-=-. That is, for either function, we have F(tρ0 + (1 − t)ρ1) ≥ tF(ρ0) + (1 − t)F(ρ1) , (48) for any density operators ρ0 and ρ1 and any real number t ∈ [0, 1]. However, the result does not arise in the ... |

11 | On a characterization of the state space of quantum mechanics - Araki - 1980 |

10 |
Characterizing mixing and measurement in quantum mechanics
- Nielsen
- 2001
(Show Context)
Citation Context ...able. 16 By this way of viewing things, quantum collapse is indeed not such a 15By differing methods, a strengthening of this result in terms of a majorization property can be found in Refs. [48] and =-=[49]-=-. 16Earlier allusions to a resemblance between quantum collapse and Bayes’ rule can be found in Ref. [51]. 25violent state of affairs after all. Quantum measurement is nothing more, and nothing less,... |

10 | Notes on a Paulian Idea: Foundational, Historical, Anecdotal and Forward-Looking Thoughts on the Quantum. 2001. cite arxiv:quant-ph/0105039
- Fuchs, Mermin
(Show Context)
Citation Context ...is simply not a problem at all! Indeed, drawing on the analogies between the two theories, one is left with a spark of insight: perhaps the better part of quantum mechanics is simply “law of thought” =-=[53]-=-. Perhaps the structure of the theory denotes the optimal way to reason and make decisions in light of some fundamental situation, waiting to be ferreted out in a more satisfactory fashion. This much ... |

7 |
Remarks concerning the essays brought together in this cooperative volume
- Einstein
- 1970
(Show Context)
Citation Context ...tant to recognize that the first issue does not entail the second. Einstein had that firmly in mind, but he wanted more. His reason for going the further step was, I think, well justified at the time =-=[23]-=-: There exists [...] a simple psychological reason for the fact that this most nearly obvious interpretation is being shunned. For if the statistical quantum theory does not pretend to describe the in... |

6 |
2001) From classical state swapping to quantum teleportation
- Mermin
(Show Context)
Citation Context ... we had set out to show. However, just as with the case of the POVM {Eb}, one can always find a way to reverse engineer the derivation: 13 David Mermin has also recently emphasized this point in Ref. =-=[41]-=-. 14 As an aside, it should be clear from the construction in Eq. (34) that there are many equally good representations of ρb. For a precise statement of the latitude of this freedom, see Ref. [42]. 2... |

5 | Quantum Mechanics As A Principle Theory
- Bub
- 2000
(Show Context)
Citation Context ...has no objective reality in and of itself. The argument is then refined by considering the phenomenon of quantum teleportation [8]. In Section 4 “Information About What?,” I tackle that very question =-=[9]-=- head-on. The answer is, “nothing more than the potential consequences of our experimental interventions into nature.” Once freed from the notion that quantum measurement ought to be about revealing t... |

5 |
Von Neumann’s projection postulate as a probability conditionalization rule in quantum mechanics
- Bub
- 1977
(Show Context)
Citation Context ...trengthening of this result in terms of a majorization property can be found in Refs. [48] and [49]. 16Earlier allusions to a resemblance between quantum collapse and Bayes’ rule can be found in Ref. =-=[51]-=-. 25violent state of affairs after all. Quantum measurement is nothing more, and nothing less, than a refinement and a readjustment of one’s state of knowledge. More general state changes of the form... |

5 |
Boojums All the Way Through: Communicating Science in a Prosaic Age, (Cambridge U
- Mermin
- 1990
(Show Context)
Citation Context ...certainly gets a load of airplay these days. By most accounts it is the main ingredient in quantum information theory and quantum computing [54], and it is the main mystery of the quantum foundations =-=[55]-=-. But what is it? Where does it come from? The predominant purpose it has served in this paper has been as a kind of background. For it, more than any other ingredient in quantum mechanics, has clinch... |

4 |
Gleason’s Theorem with POVMs,” unpublished, 2000
- Caves, Fuchs, et al.
- 1957
(Show Context)
Citation Context ...point of view is demonstrated by the beautifully simple Gleason-like derivation of the quantum probability rule recently found by Paul Busch [14] and, independently, by Joseph Renes and collaborators =-=[15]-=-. Contrary to Gleason’s original theorem [16], this theorem works just as well for two-dimensional Hilbert spaces, and even for Hilbert spaces over the field of rational numbers. In Section 5 “Whither... |

4 | Quantum Theory in Real Hilbert Space, Helv Phys Acta 33 - Stueckelberg - 1960 |

3 | Consistent histories and quantum measurements,” Phys - Griffiths, Omnes - 1999 |

3 |
Quantum States as Effect Valuations: Giving Operational Content to von Neumann’s No-Hidden-Variables Theorem,” quant-ph/9909073
- Busch
(Show Context)
Citation Context ...ties as the basic notion instead. The productivity of this point of view is demonstrated by the beautifully simple Gleason-like derivation of the quantum probability rule recently found by Paul Busch =-=[14]-=- and, independently, by Joseph Renes and collaborators [15]. Contrary to Gleason’s original theorem [16], this theorem works just as well for two-dimensional Hilbert spaces, and even for Hilbert space... |