Quantum theory and geometry: sixty years after von Neumann

Mingsheng Ying

The (meta)logic underlying classical theory of computation is Boolean (two-valued) logic. Quantum logic was proposed by Birkhoff and von Neumann as a logic of quantum mechanics more than sixty years ago. The major difference between Boolean logic and quantum logic is that the latter does not enjoy distributivity in general. The rapid development of quantum computation in recent years stimulates us to establish a theory of computation based on quantum logic. The present paper is the first step toward such a new theory and it focuses on the simplest models of computation, namely finite automata. It is found that the universal validity of many properties of automata depend heavily upon the distributivity of the underlying logic. This indicates that these properties does not universally hold in the realm of quantum logic. On the other hand, we show that a local validity of them can be recovered by imposing a certain commutativity to the (atomic) statements about the automata under consideration. This reveals an essential difference between the classical theory of computation and the computation theory based on quantum logic.

James Thomas Wheeler

Blake C. Stacey

Wikipedia has claimed for over 3 years now that John von Neumann was the 'first quantum Bayesian'. In context, this reads as stating that von Neumann inaugurated QBism, the approach to quantum theory promoted by Fuchs, Mermin and Schack. This essay explores how such a claim is, historically speaking, unsupported.

Léon Van Hove

Ingemar Bengtsson, Carlos Herdeiro, Roger Picken

Rathindra Nath Sen

Von Neumann's theory of measurement in Quantum Mechanics was spelled out in the last chapter of his book, which was published in 1932. This book was highly mathematical for its time, and in 1939 London and Bauer provided a simplified account of the measurement theory part of it (London and Bauer, 1939). Von Neumann died in 1957. Thirty years after the publication of von Neumann's book, Wigner published a review containing his views on the shortcomings of von Neumann's theory, but omitting any discussion of its mathematical core, namely von Neumann's analysis of composite systems (Wigner, 1963). He also published a set of lecture notes entitled Interpretation of Quantum Mechanics (Wigner, 1983) in which some of his concerns were spelled out in greater detail, and an article addressed ‘to an audience of non-physicists’ (Wigner, 1964). Wigner's own contributions to measurement theory were discussed by Shimony in a talk at the Wigner centennial conference (Shimony, 2002). The English translation of von Neumann's book was published in 1955.1 The account that follows is based on these sources. We shall assume that the reader is acquainted with notions such as wave function collapse and the Heisenberg cut, but we shall not assume familiarity with the technicalities of von Neumann's theory. This chapter is organized accordingly. Section 8.1 explains what we mean by the term von Neumann's measurement theory and gives an overview of the subject. It is followed by Sections 8.2 and 8.3, in which the theory is spelled out in detail. Section 8.4 recounts Wigner's reservations.