
The role of type III factors in quantum field theory
Jakob YngvasonOne of von Neumann's motivations for developing the theory of operator algebras and his and Murray's 1936 classification of factors was the question of possible decompositions of quantum systems into independent parts. For quantum systems with a finite number of degrees of freedom the simplest possibility, i.e. factors of type I in the terminology of Murray and von Neumann, are perfectly adequate. In relativistic quantum field theory (RQFT), on the other hand, factors of type III occur naturally. The same holds true in quantum statistical mechanics of infinite systems. In this brief review some physical consequences of the type III property of the von Neumann algebras corresponding to localized observables in RQFT and their difference from the type I case will be discussed. The cumulative effort of many people over more than 30 years has established a remarkable uniqueness result: The local algebras in RQFT are generically isomorphic to the unique, hyperfinite type III, factor in Connes' classification of 1973. Specific theories are characterized by the net structure of the collection of these isomorphic algebras for different spacetime regions, i.e. the way they are embedded into each other.One of the key subtleties about trying to study quantum information in a field theory is that you can’t formally decompose the Hilbert space into a tensor product of spatially local subsystems. The reasons are technical, and rarely explained well. This paper is an exception, giving an excellent introduction to the key ideas, in a manner accessible to a quantum (nonfield) information theorist. (See related work by Yngvason this blogpost by Tobias Osborne and my previous discussion re: ReehSchielder theorem.)

A historically important but little known debate regarding the necessity and meaning of macroscopic superpositions, in particular those containing different gravitational fields, is reviewed and discussed from a modern perspective.
This paper is Dieter Zeh’s inline commentary on what might be Feynman’s most explicit exposition of his interpretation of quantum mechanics:
As far as I know, Feynman never participated in the published debate about interpretational problems, such as quantum measurements. So I was surprised when I recently discovered a little known report about a conference regarding the role of gravity and the need for its quantization, held at the University of North Carolina
in Chapel Hill in 1957, since it led at some point to a discussion of the measurement problem and of the question about the existence and meaning of macroscopic superpositions. This session was dominated by Feynman’s presentation of a version of Schrodinger’s cat, in which the cat with its states of being dead or alive is replaced by a macroscopic massive ball being centered at two different positions with their distinguishable gravitational fields. I found this part of the report so remarkable for historical reasons that I am here quoting it in detail for the purpose of discussing and commenting it from a modern point of view….The discussion to be quoted below certainly deserves to become better known and discussed because of the influence it seems to have had on several later developments. 
Towards a Formulation of Quantum Theory as a Causally Neutral Theory of Bayesian Inference
M. S. Leifer, R. W. SpekkensQuantum theory can be viewed as a generalization of classical probability theory, but the analogy as it has been developed so far is not complete. Whereas the manner in which inferences are made in classical probability theory is independent of the causal relation that holds between the conditioned variable and the conditioning variable, in the conventional quantum formalism, there is a significant difference between how one treats experiments involving two systems at a single time and those involving a single system at two times. In this article, we develop the formalism of quantum conditional states, which provides a unified description of these two sorts of experiment. In addition, concepts that are distinct in the conventional formalism become unified: channels, sets of states, and positive operator valued measures are all seen to be instances of conditional states; the action of a channel on a state, ensemble averaging, the Born rule, the composition of channels, and nonselective stateupdate rules are all seen to be instances of belief propagation. Using a quantum generalization of Bayes' theorem and the associated notion of Bayesian conditioning, we also show that the remote steering of quantum states can be described within our formalism as a mere updating of beliefs about one system given new information about another, and retrodictive inferences can be expressed using the same belief propagation rule as is used for predictive inferences. Finally, we show that previous arguments for interpreting the projection postulate as a quantum generalization of Bayesian conditioning are based on a misleading analogy and that it is best understood as a combination of belief propagation (corresponding to the nonselective stateupdate map) and conditioning on the measurement outcome.
LaTeX in comments
Include [latexpage] to render LaTeX in comments. (More.)Recent Comments
 Links for April 2017 (1)
 Yuan There is a pretty good South Korean movie called "Joint Security Area" from Park ChanWook.... – Apr 20, 10:00 AM
 PI accepting 2017 master’s student applications (3)
 interstice Nope. Ah well, I can always watch the lectures online I suppose. – Apr 14, 3:55 PM
 Riedel There are some other schools that offer Master's programs (like Brown) but they generally require... – Jan 03, 5:18 PM
 Abstracts for March 2017 (3)
 Yuan Thanks for fixing the LaTeX. It's not easy to dig out the original paper from... – Mar 06, 11:53 AM
 Riedel Hmm. Is there a good cite for the Bogolyubov observation? (Btw, if you include "[latexpage]"... – Mar 06, 11:11 AM
 Yuan Symmetry breaking may be understood mathematically as the noncommutation of the following two limits: $lim_{hto0}lim_{Ntoinfty}neqlim_{Ntoinfty}lim_{hto0}$,... – Mar 06, 10:57 AM
 Weinberg on the measurement problem (1)
 Sid Sheldon Glashow's take on the measurement problem is really sad and really frustrating. It's really... – Jan 28, 3:16 AM
 Wigner function = Fourier transform + Coordinate rotation (1)
 Vineeth Bhaskara Oh.. man! That is one of the *BEST* explanations I have seen so passionately explained... – Jan 26, 6:30 PM
 Singular value decomposition in braket notation (1)
 Godfrey Miller A thing of beauty! This gorgeous formula made my day :) – Jan 12, 10:22 PM
 Links for December 2016 (2)
 Riedel Thanks, and a very happy new year to you too! – Jan 03, 7:01 PM
 Yuan Jess, Happy 2017! The youtube link to the Earth timelapse is broken. – Jan 03, 6:45 PM
 Links for April 2017 (1)
Licence
ForXiv by C. Jess Riedel is licensed under a Creative Commons AttributionShareAlike 4.0 International License.
Your email address will not be published. Required fields are marked with a *.