Algebraic quantum field theory (AQFT) puts forward three ``causal axioms'' that aim to characterize the theory as one that implements relativistic causation: the spectrum condition, microcausality, and primitive causality. In this paper, I aim to show, in a minimally technical way, that none of them fully explains the notion of causation appropriate for AQFT because they only capture some of the desiderata for relativistic causation I state or because it is often unclear how each axiom implements its respective desideratum. After (...) this diagnostic, I will show that a fourth condition, local primitive causality (LPC), fully characterizes relativistic causation in the sense of fulfilling all the relevant desiderata. However, it only encompasses the virtues of the other axioms because it is implied by them, as I will show from a construction by Haag and Schroer (1962). Since the conjunction of the three causal axioms implies LPC and other important results in QFT that LPC does not imply, and since LPC helps clarify some of the shortcomings of the three axioms, I advocate for a holistic interpretation of how the axioms characterize the causal structure of AQFT against the strategy in the literature to rivalize the axioms and privilege one among them. (shrink)

This paper formulates a notion of independence of subobjects of an object in a general (i.e. not necessarily concrete) category. Subobject independence is the categorial generalization of what is known as subsystem independence in the context of algebraic relativistic quantum field theory. The content of subobject independence formulated in this paper is morphism co-possibility: two subobjects of an object will be defined to be independent if any two morphisms on the two subobjects of an object are jointly implementable by a (...) single morphism on the larger object. The paper investigates features of subobject independence in general, and subobject independence in the category of C∗ - algebras with respect to operations (completely positive unit preserving linear maps on C∗ - algebras)as morphisms is suggested as a natural subsystem independence axiom to express relativistic locality of the covariant functor in the categorial approach to quantum field theory. (shrink)

Relativistic locality is interpreted in this paper as a web of conditions expressing the compatibility of a physical theory with the underlying causal structure of spacetime. Four components of this web are distinguished: spatiotemporal locality, along with three distinct notions of causal locality, dubbed CL-Independence, CL-Dependence, and CL-Dynamic. These four conditions can be regimented using concepts from the categorical approach to quantum field theory initiated by Brunetti, Fredenhagen, and Verch (2003). A covariant functor representing a general quantum field theory is (...) defined to be causally local if it satisfies the three CL conditions. Any such theory is viewed as fully compliant with relativistic locality. We survey current results indicating the extent to which an algebraic quantum field theory satisfying the Haag–Kastler axioms is causally local. (shrink)

This paper discusses a claim by Clifton and Halvorson (2001) that, contrary to non-relativistic quantum mechanics, local operations can never destroy entanglement in relativistic quantum field theory. The impossibility of achieving local disentanglement would raise a threat for the mutual independence between microscopic subsystems. Here, we observe that Clifton and Halvorson no-go result rests on an unnecessarily strong notion of local operations, which we label absolutely local operations, and we argue that a weaker notion, namely that of relatively local operations, (...) is sufficient to guarantee that acting on one subsystem does not have non-local effects on another spacelike separated subsystem. We then show that one can achieve local disentanglement in relativistic quantum field theory by means of relatively local operations. In fact, we prove that, under the split property, there exists a class of disentangling relatively local operations. (shrink)

Recently, Clifton and Halvorson have tried to salvage a particle phenomenology in the absence of particle ontology within algebraic relativistic quantum field theory. Their idea is that the detection of a particle is the measurement of a local observable which simulates the measurement of an almost local observable that annihilates the vacuum. In this note, we argue that the measurements local particle detections are supposed to simulate probe radically holistic aspects of relativistic quantum fields. We prove that in an axiomatic (...) (Haag-Araki) quantum field theory on Minkowski spacetime, formulated in a Hilbert space $\mathcal{H}$ , there is no positive observable C, with norm less than or equal to 1, satisfying the conditions: (1) the expectation value of C in the vacuum state Ω is zero, (2) there is at least one vector state Ψ in $\mathcal{H}$ in which the expectation value of C is different from zero, and (3) there exists at least one spacetime region $\mathcal{O}$ such that the non-selective measurement of C leaves the expectation values of all observables in the local algebra of that region unaltered regardless of the state the system is in. The result reveals a tension between intuitions regarding localization and intuitions regarding causality: to save “particle phenomena” in the absence of particle ontology, one has to feign “particle” detectors with “good” properties as to locality but “bad” behavior as to causality. (shrink)

It is argued that in his critique of standard nonrelativistic quantum mechanics Einstein formulated three requirements as necessary for a physical theory to be compatible with the field-theorectical paradigm, and it is shown that local, relativistic, algebraic quantum field theory typically satisfies those criteria-although, there are still open questions concerning the status of operational separability of quantum systems localized in space like separated space-time regions. It is concluded that local algebraic quantum field theory can be viewed as a research program (...) that Einstein suggested informally in 1948 and that was realized only later in mathematical physics. (shrink)

This article investigates the nature of entangled correlations in algebraic quantum field theory (AQFT). We define a notion of local disentanglement, expressing the possibility of destroying entanglement by means of local operations. Contrary to the case of ordinary quantum mechanics, local disentanglement cannot be achieved in general in relativistic quantum field theory. However, we show that if the split property holds, there exists a local operation that can destroy entanglement between spacelike-separated quantum field systems.