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.
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.
The algebraic approach to physical theories provides a general framework encompassing both classical and quantum mechanics. Accordingly, by looking at the behaviour of the relevant algebras of observables one can investigate structural and conceptual differences between the theories. Interesting foundational questions can be formulated algebraically and their answers are then given in a mathematically compelling way. My dissertation focuses on some philosophical issues concerning entanglement and quantum information as they arise in the algebraic. These two concepts are connected in that one can exploit the non-local character of quantum theory to construct protocols of information theory which are not realized in the classical world. I first introduce the basic concepts of the algebraic formalism, by reviewing von Neumann's work on the mathematical foundations of quantum theories. After presenting the reasons why von Neumann abandoned the standard Hilbert space formulation in favour of the algebraic approach, I show how his axiomatic program remained a mathematical "utopia" in mathematical physics. The Bayesian interpretation of quantum mechanics is grounded in information-theoretical considerations. I take on some specific problems concerning the extension of Bayesian statistical inference in infinite dimensional Hilbert space. I demonstrate that the failure of a stability condition, formulated as a rationality constraint for classical Bayesian conditional probabilities, does not undermine the Bayesian interpretation of quantum probabilities. I then provide a solution to the problem of Bayesian noncommutative statistical inference in general probability spaces. Furthermore, I propose a derivation of the a priori probability state in quantum mechanics from symmetry considerations. Finally, Algebraic Quantum Field Theory offers a rigorous axiomatization of quantum field theory, namely the synthesis of quantum mechanics and special relativity. In such a framework one can raise the question of whether or not quantum correlations are made stronger by adding relativistic constraints. I argue that entanglement is more robust in the relativistic context than in ordinary quantum theory. In particular, I show how to generalize the claim that entanglement across space-like separated regions of Minkowski spacetime would persist, no matter how one acts locally.
This paper surveys the issue of relativistic causality within the framework of algebraic quantum field theory (AQFT). In doing so, we distinguish various notions of causality formulated in the literature and study their relationships, and thereby we offer what we hope to be a useful taxonomy. We propose that the most direct expression of relativistic causality in AQFT is captured not (as has sometimes been claimed) by the spectrum condition but rather by the axiom of local primitive causality, in that it entails a form of local determinism for quantum fields which generalizes the constraint of no superluminal propagation of classical field theories to relativistic quantum field theory. We discuss the status of the axiom of micro-causality by locating its place within a large family of separability/independence/locality conditions developed for AQFT and also by relating it to so-called no-signalling theorems. And we also provide a critical survey of attempts to understand the implications for relativistic causality of the distant correlations endemic to the states in models of AQFT satisfying the standard axioms, and we provide an assessment of attempts to employ Reichenbach's common cause principle in AQFT to defuse worries that these distant correlations implicate direct causal connections between relatively spacelike events.
Main Claim I argue in this chapter that Einstein and von Neumann meet in algebraic relativistic quantum field theory in the following metaphorical sense: algebraic quantum field theory was created in the late 1950s/early 1960s and was based on the theory of “rings of operators,” which von Neumann established in 1935–1940 (partly in collaboration with J. Murray). In the years 1936–1949, Einstein criticized standard, nonrelativistic quantum mechanics, arguing that it does not satisfy certain criteria that he regarded as necessary for any theory to be compatible with a field theoretical paradigm. I claim that algebraic quantum field theory (AQFT) does satisfy those criteria and hence that AQFT can be viewed as a theory in which the mathematical machinery created by von Neumann made it possible to express in a mathematically explicit manner the physical intuition about field theory formulated by Einstein. The argument in favor of this claim has two components: 1. Historical : An interpretation of Einstein's (semi)formal wordings of his critique of nonrelativistic quantum mechanics. This interpretation results in mathematically explicit operational independence definitions, which, I claim, express independence properties of systems that are localized in causally disjoint spacetime regions. Einstein regarded these as necessary for a theory to comply with field theoretical principles. 2. Systematic : The presentation of several propositions formulated in terms of AQFT that state that the operational independence conditions in question do in fact typically hold in AQFT.
Abstract Quantum mechanics and relativity are two of the most successful theoretical frameworks in modern physics, yet their conceptual foundations remain difficult to reconcile at the deepest level. Quantum theory describes physical systems through states, observables, probabilities, measurement contexts, superposition, entanglement, and nonclassical correlations. Relativity describes physical processes through space-time structure, causal order, invariant physical law, observer-dependent decomposition of time and space, and constraints on signal propagation. This article examines the conceptual relationship between quantum measurement, relativistic causality, and space-time description. The purpose is not to present a mathematical unification but to analyze how the two frameworks organize physical explanation differently and where their interpretive tensions arise. Special attention is given to the measurement problem, the status of quantum states, the role of observers and reference frames, the meaning of locality, the distinction between correlation and causal influence, and the challenge of describing quantum processes without privileging a single global time. The article argues that many apparent conflicts between quantum theory and relativity result from importing classical intuitions into domains where they no longer apply. Quantum entanglement does not permit controllable faster-than-light communication, yet it challenges classical separability. Relativity forbids superluminal signaling, yet it does not require that all physically meaningful correlations be reducible to local classical properties. Measurement introduces another difficulty because standard quantum theory often describes state update in a way that appears instantaneous, while relativistic space-time does not provide a universal present. The discussion develops a conceptual framework in which quantum measurement is treated as a physical interaction, relativistic causality as a constraint on operational influence, and space-time description as an organizing structure for events rather than a simple background stage. This analysis is relevant for quantum field theory, quantum information, relativistic quantum foundations, and future approaches to quantum gravity.
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.
There has been some recent interest in applying the techniques of Algebraic Quantum Field Theory (AQFT) to entanglement problems in perturbative QFT. In particular, the Hilbert space independence of this formulation makes it particularly interesting in the context of curved spacetimes and the emphasis on the algebra of observables makes the treatment of Bell inequalities in QFT resemble such treatment in non-relativistic Quantum Mechanics. In this work, we present the mathematical structures needed for formulating AQFT in terms of the Haag-Araki-Kastler (HAK) axioms and discuss their implications. Moreover, we discuss the algebraic approach to quantum entanglement in the form of Bell inequalities. We provide an extension of this formulation to general globally hyperbolic spacetimes using the so-called Locally Covariant approach to QFT, which extends the HAK axioms to general spacetimes by means of the Category Theory language.