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:2211.02325

Quantum field logic

Héctor Freytes

Published Nov 4, 2022• 0 citations
arXivHTMLPDF

Abstract

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.

DOI
10.48550/arxiv.2211.02325

Related papers

2000]: ‘Entanglement and Open Systems in Algebraic Quantum Field Theory

Rob Clifton, Hans Halvorson

Entanglement has long been the subject of discussion by philosophers of quantum theory, and has recently come to play an essential role for physicists in their development of quantum information theory. In this paper we show how the formalism of algebraic quantum field theory (AQFT) provides a rigorous framework within which to analyze entanglement in the context of a fully relativistic formulation of quantum theory. What emerges from the analysis are new practical and theoretical limitations on an experimenter’s ability to perform operations on a field in one spacetime region that can disentangle its state from the state of the field in other spacelike-separated regions. These limitations show just how deeply entrenched entanglement is in relativistic quantum field theory, and yield a fresh perspective on the ways in which the theory differs conceptually from both standard nonrelativistic quantum theory and classical relativistic field theory. “...despite its conservative way of dealing with physical principles, algebraic QFT leads to a radical change of paradigm. Instead of the Newtonian view of a space-time filled with a material content one enters the reality of Leibniz created by relation (in particular inclusions) between ‘monads ’ (∼ the hyperfinite type III1 local von Neumann factors A(O) which as single algebras are nearly void of physical meaning) ” Schroer (1998, p. 302).

•Jan 31, 2000•73 citations

Premonoidal *-Categories and Algebraic Quantum Field Theory

Marc Comeau

Algebraic Quantum Field Theory (AQFT) is a mathematically rigorous framework that was developed to model the interaction of quantum mechanics and relativity. In AQFT, quantum mechanics is modelled by C*-algebras of observables and relativity is usually modelled in Minkowski space. In this thesis we will consider a generalization of AQFT which was inspired by the work of Abramsky and Coecke on abstract quantum mechanics [1, 2]. In their work, Abramsky and Coecke develop a categorical framework that captures many of the essential features of finite-dimensional quantum mechanics. In our setting we develop a categorified version of AQFT, which we call premonoidal C*-quantum field theory, and in the process we establish many analogues of classical results from AQFT. Along the way we also exhibit a number of new concepts, such as a von Neumann category, and prove several properties they possess. We also establish some results that could lead to proving a premonoidal version of the classical Doplicher-Roberts theorem, and conjecture a possible solution to constructing a fibre-functor. Lastly we look at two variations on AQFT in which a causal order on double cones in Minkowski space is considered.

•Jan 1, 2012•3 citations

Systems of quantum logic

R I G Hughes

According to quantum mechanics, the pure states of a microsystem are represented by vectors in a Hilbert Space. Sentences of the form, "x є L" (where x is the state vector for a system, L a subspace of the appropriate Hilbert space), may be called Q-propositions: such sentences serve to summarise our information about the results of possible experiments on the system. Quantum logic investigates the relations which hold among the Q-propositions about a given physical sys tem. These logical relations correspond to algebraic relations among the subspaces of Hilbert space. The algebra of this set of subspaces is non-Boolean, and may be regarded either as an orthomodular lattice or as a partial Boolean algebra. With each type of structure we can associate a logic. A general approach to the semantics for such a logic is provided in terms of interpretations of a formal language within an algebraic structure; an interpretation maps sentences of the language homomorphically onto elements of the structure. When the structure in question is a Boolean algera, the resulting logic is classical; here we develop a semantics for the logic associated with partial Boolean algebras. Two systems of proof, based on the natural deduction systems of Gentzen, are shown for this logic. With respect to the given sematics, these calculi are sound and weakly complete. Strong completeness is conjectured. Quantum logic deals with the logical relations between sentences, and so is properly called a logic. However, it is the logic appropriate to a limited class of sentences: proposals that it should replace classical logic wherever the latter is used should be viewed with suspicion.

•Jan 1, 2010•0 citations

A survey of causality in algebraic relativistic quantum field theory

Francisco Calderón Ossa

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.

•Jan 1, 2019•0 citations

Infinite magic and the emergence of the continuum

Leo Shaposhnik, Lorenzo Leone, Lennart Bittel +3 more

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.

quant-pharXiv:2610.20790•Oct 16, 2026•0 citations

Entropy and Algebra in Quantum Field Theory

Pau Solé-Vilaró

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

•May 10, 2023•0 citations
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.
Entanglement has long been the subject of discussion by philosophers of quantum theory, and has recently come to play an essential role for physicists in their development of quantum information theory. In this paper we show how the formalism of algebraic quantum field theory (AQFT) provides a rigorous framework within which to analyze entanglement in the context of a fully relativistic formulation of quantum theory. What emerges from the analysis are new practical and theoretical limitations on an experimenter’s ability to perform operations on a field in one spacetime region that can disentangle its state from the state of the field in other spacelike-separated regions. These limitations show just how deeply entrenched entanglement is in relativistic quantum field theory, and yield a fresh perspective on the ways in which the theory differs conceptually from both standard nonrelativistic quantum theory and classical relativistic field theory. “...despite its conservative way of dealing with physical principles, algebraic QFT leads to a radical change of paradigm. Instead of the Newtonian view of a space-time filled with a material content one enters the reality of Leibniz created by relation (in particular inclusions) between ‘monads ’ (∼ the hyperfinite type III1 local von Neumann factors A(O) which as single algebras are nearly void of physical meaning) ” Schroer (1998, p. 302).
Algebraic Quantum Field Theory (AQFT) is a mathematically rigorous framework that was developed to model the interaction of quantum mechanics and relativity. In AQFT, quantum mechanics is modelled by C*-algebras of observables and relativity is usually modelled in Minkowski space. In this thesis we will consider a generalization of AQFT which was inspired by the work of Abramsky and Coecke on abstract quantum mechanics [1, 2]. In their work, Abramsky and Coecke develop a categorical framework that captures many of the essential features of finite-dimensional quantum mechanics. In our setting we develop a categorified version of AQFT, which we call premonoidal C*-quantum field theory, and in the process we establish many analogues of classical results from AQFT. Along the way we also exhibit a number of new concepts, such as a von Neumann category, and prove several properties they possess. We also establish some results that could lead to proving a premonoidal version of the classical Doplicher-Roberts theorem, and conjecture a possible solution to constructing a fibre-functor. Lastly we look at two variations on AQFT in which a causal order on double cones in Minkowski space is considered.
According to quantum mechanics, the pure states of a microsystem are represented by vectors in a Hilbert Space. Sentences of the form, "x є L" (where x is the state vector for a system, L a subspace of the appropriate Hilbert space), may be called Q-propositions: such sentences serve to summarise our information about the results of possible experiments on the system. Quantum logic investigates the relations which hold among the Q-propositions about a given physical sys tem. These logical relations correspond to algebraic relations among the subspaces of Hilbert space. The algebra of this set of subspaces is non-Boolean, and may be regarded either as an orthomodular lattice or as a partial Boolean algebra. With each type of structure we can associate a logic. A general approach to the semantics for such a logic is provided in terms of interpretations of a formal language within an algebraic structure; an interpretation maps sentences of the language homomorphically onto elements of the structure. When the structure in question is a Boolean algera, the resulting logic is classical; here we develop a semantics for the logic associated with partial Boolean algebras. Two systems of proof, based on the natural deduction systems of Gentzen, are shown for this logic. With respect to the given sematics, these calculi are sound and weakly complete. Strong completeness is conjectured. Quantum logic deals with the logical relations between sentences, and so is properly called a logic. However, it is the logic appropriate to a limited class of sentences: proposals that it should replace classical logic wherever the latter is used should be viewed with suspicion.
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.
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