One 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 III1 factor in Connes ’ classification of 1973. Specific theories are characterized by the net structure of the collection of these isomorphic algebras for different space-time regions, i.e., the way they are embedded into each other. John von Neumann was the father of the Hilbert space formulation of quantum mechanics [1] that has been the basis of almost all mathematically rigorous investigations of the theory to this day. We start by recalling the main concepts and explaining some notations.
One 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 III1 factor in Connes ’ classification of 1973. Specific theories are characterized by the net structure of the collection of these isomorphic algebras for different space-time regions, i.e., the way they are embedded into each other. John von Neumann was the father of the Hilbert space formulation of quantum mechanics [1] that has been the basis of almost all mathematically rigorous investigations of the theory to this day. We start by recalling the main concepts and explaining some notations.
Algebraic quantum field theory, or AQFT for short, is a rigorous analysis of the structure of relativistic quantum mechanics. It is formulated in terms of a net of operator algebras indexed by regions of a Lorentzian manifold. In several cases the mentioned net is represented by a family of von Neumann algebras, concretely, type III factors. Local quantum field logic arises as a logical system that captures the propositional structure encoded in the algebras of the net. In this framework, this work contributes to the solution of a family of open problems, emerged since the 30s, about the characterization of those logical systems which can be identified with the lattice of projectors arising from the Murray-von Neumann classification of factors. More precisely, based on physical requirements formally described in AQFT, an equational theory able to characterizethe type III condition in a factor is provided. This equational system motivates the study of a variety of algebras having an underlying orthomodular lattice structure. A Hilbert style calculus, algebraizable in the mentioned variety, is also introduced and a corresponding completeness theorem is established.
The axiomatic formulation of an Algebraic Relativistic Quantum Field Theory leads naturally -via the Haag-Kastler axioms- to the fact that operators representing observables generate a von Neumann algebra localized in a space-time region in which said observations are made. I present and explain the axioms, as well as the mathematical preliminaries needed to understand them and apply them to the so-called causal diamond and Fermi's Two-Atom System. The latter shows the importance of formulating axioms concerning causality that try to make compatible the requirement from Special Relativity according to which no causal influence can travel faster than the speed of light and the quantum mechanical theory of measurement and preparability of states. For a relativistic field-theoretic setting, these concepts must be re-formulated, and this reasoning suggests that the operator algebra must be a type III von Neumann factor. I also introduce some philosophical problems concerning our usual notion of causality from Hume to contemporary theories of counterfactual causation and show how the algebraic structure of the theory is deeply related to the causal one and how this theory can be extended if we change the way we think about causality, measurements, and local preparability of states.
Which features of a quantum state are needed for a relativistic quantum field theory to emerge from a lattice system? We address this question by establishing a quantitative relationship between the type classification of hyperfinite von Neumann algebras and the quantum-information-theoretic resource of nonstabilizerness, also called magic. Our results establish two complementary parts of this relationship. First, we prove that any stabilizer system on a lattice defines a canonical GNS Hilbert space in which local von Neumann algebras do not contain type III factors in their central decomposition. As an explicit example, we prove that for stabilizer systems with short-range order, the local algebras are isomorphic to tensor products of hyperfinite factors of type I or type II. This demonstrates that the absence of magic is accompanied by the absence of type III factors in the local algebras, therefore prohibiting the appearance of a quantum field theory. Second, for the hyperfinite factors of Araki, Woods and Powers, we prove a quantitative equivalence: The limiting factor is of type III if and only if the locally optimized min-relative entropy of magic diverges. This divergence is necessary to generate the continuous spectrum associated to a type III factor. Thus, in this setting, the emergence of a type III factor requires not merely the presence of magic, but an infinite amount of it. These results provide a rigorous setting supporting the proposal that infinite magic is a necessary structural ingredient for the emergence of a relativistic continuum from lattice systems.
In quantum systems with infinitely many degrees of freedom, states can be infinitely entangled across a pair of subsystems. But are there different forms of infinite entanglement? To answer this, we provide a rigorous framework for studying information-theoretic properties in infinite systems, formulated in terms of von Neumann algebras. In this framework, we show that there are operational tasks that can distinguish between different forms of infinite entanglement. We find that the type classification of von Neumann algebras (types I, II, III, and their respective subtypes) is in one-to-one correspondence with operational entanglement properties. For instance, the Connes classification of type III factors corresponds to the system’s capability at the operational task of “embezzling” entanglement. Our findings promote the type classification from algebraic bookkeeping to a classification of infinite quantum systems based on their operational entanglement properties.
The number of non-Clifford gates needed to perform a task, or simply \textit{magic}, is a resource for fault-tolerant quantum computation. Von Neumann algebras provide a formal mathematical structure to describe infinite-dimensional quantum systems, such as those in quantum field theory or quantum statistical mechanics. A particularly important class of von Neumann algebras is called Type III algebras, for which the standard notions of finite-dimensional systems such as density matrices and traces break down. In this work, we argue that Type III von Neumann algebras fundamentally require an infinite amount of magic. Specifically, we consider the thermodynamic limit of finite-dimensional quantum systems, such as lattice systems, and show that if the states in the thermodynamic limit possess only a bounded amount of magic, the resulting local von Neumann algebra cannot be of Type III. Our result has direct implications for the quantum simulations of quantum field theories, for which the algebra of a local subregion is known to be of Type III.
This essay was completed as partial fulfillment of the requirements forthe MASt in Applied Mathematics degree (Part III of the Mathemat-ical Tripos) carried out at the DAMPT, Cambridge. After reviewingthe essentials of C*-algebras and von Neumann algebras, we present theMurray–von Neumann classification of factors into types I, II and III.We then introduce the algebraic approach to Quantum Field Theory(QFT) and discuss existing arguments for the association of type IIIalgebras to local regions of spacetime. We explain why, as a conse-quence, the entanglement entropy of a region is not well defined, andhow relative entropy offers an alternative, reviewing the fundamentalsof entanglement entropy in QFT. Finally, we see how including grav-ity turns the algebra of observables outside a black hole into one oftype II∞, where a well-defined notion of entropy can be recovered. This work should be regarded as introductory notes to operator al-gebras with a particular emphasis on their applications in theoreticalphysics. They are intended to synthesize the mathematical content fora physics-oriented audience, using worked-out examples throughout toset a foundation and gradually build up to some direct examples of theusage of the framework. They are aimed at advanced undergraduatestudents or early postgraduate students, and only some basic knowl-edge on quantum mechanics, QFT, group theory and linear algebra areassumed