Essential Duality and Maximal Non-signalling Extensions in Algebraic Quantum Field Theory

Abstract: We show that, under additivity, the maximal von Neumann algebra extension of $\mathcal{A}(O)$ inside $B(\mathcal{H})$ whose inner automorphisms are non-signalling with respect to all spacelike-separated regions is $\mathcal{A}(O')'$. Consequently, $\mathcal{A}(O)$ is maximal with respect to this property if and only if essential duality holds. The proof is purely algebraic. When essential duality fails, we construct a proper extension all of whose inner automorphisms, and more generally all normal completely positive maps admitting Kraus operators in the algebra, are non-signalling. Under essential duality, any proper extension necessarily admits a signalling operation. An entropic formulation using Araki relative entropy provides a quantitative diagnostic of signalling, though it is not used in the proof. Additional structural results include the wedge-intersection identity $\mathcal{A}(O')' = \bigcap_{W \supset O}\mathcal{A}(W)$ and equivalent characterisations of essential duality. These results identify essential duality as an operational maximality condition within the given representation.

• The paper shows that essential duality is necessary and sufficient for ensuring maximal non-signalling extensions in AQFT.
• It employs rigorous algebraic techniques—including von Neumann algebra commutants, additivity, and entropic diagnostics—to prove the main theorem.
• The findings have practical implications for models with DHR superselection sectors, clarifying locality, causality, and observable maximality.

Essential Duality and Maximal Non-signalling Extensions in Algebraic Quantum Field Theory

Introduction and Motivation

The paper "Essential Duality and Maximal Non-signalling Extensions in Algebraic Quantum Field Theory" (2605.00075) addresses the question of how the no-signalling condition, operationalized as the impossibility of superluminal information transfer, constrains the algebraic structure of local observable algebras within the Haag–Kastler framework of AQFT. Specifically, it examines whether, given a local algebra $\mathcal{A}(O)$, there exist strictly larger von Neumann algebra extensions within $B(\mathcal{H})$ whose internal operations remain fully non-signalling to all spacelike-separated regions. The main result is a sharp algebraic and operational maximality characterization: essential duality ($\mathcal{A}(O) = \mathcal{A}(O')'$) is both necessary and sufficient for $\mathcal{A}(O)$ to be maximal with respect to the no-signalling criterion.

Structural Setting and Hypotheses

The analysis is developed in the Haag–Kastler framework: a net $O \mapsto \mathcal{A}(O)$ of von Neumann algebras indexed by open bounded double cones in Minkowski space, acting on a Hilbert space $\mathcal{H}$, subject to isotony, microcausality, and additivity:

• Isotony: $$O_1 \subset O_2 \Rightarrow \mathcal{A}(O_1) \subset \mathcal{A}(O_2)$$,
• Microcausality: $O_1$ spacelike to $$O_2 \Rightarrow [\mathcal{A}(O_1), \mathcal{A}(O_2)] = 0$$,
• Additivity: $$\mathcal{A}(O) = \bigvee_{O_B \subset O} \mathcal{A}(O_B)$$ over double cones $B(\mathcal{H})$0.

Essential duality (or the Haag duality condition for bounded regions) is the statement that for any double cone $B(\mathcal{H})$1, $B(\mathcal{H})$2.

Algebraic Maximality and No-signalling Extensions

A central technical assertion is as follows: the maximal von Neumann algebra inside $B(\mathcal{H})$3 containing $B(\mathcal{H})$4 whose inner automorphisms are non-signalling with respect to all algebras assigned to spacelike-separated regions equals $B(\mathcal{H})$5. The intersection

$B(\mathcal{H})$6

characterizes the largest algebra commuting with all spacelike separated local algebras, requiring additivity but not Haag duality or the split property.

A von Neumann algebra $B(\mathcal{H})$7 is said to be operationally maximal if there is no strict extension $B(\mathcal{H})$8 in $B(\mathcal{H})$9 such that all inner automorphisms implemented by unitaries in $\mathcal{A}(O) = \mathcal{A}(O')'$0 act as the identity on every $\mathcal{A}(O) = \mathcal{A}(O')'$1, $\mathcal{A}(O) = \mathcal{A}(O')'$2.

Main Theorem and Proof Outline

The main theorem establishes the three-way equivalence (assuming isotony, microcausality, and additivity): (i) Essential duality for $\mathcal{A}(O) = \mathcal{A}(O')'$3; (ii) Algebraic maximality, i.e., $\mathcal{A}(O) = \mathcal{A}(O')'$4 is the unique maximal von Neumann algebra commuting with all $\mathcal{A}(O) = \mathcal{A}(O')'$5, $\mathcal{A}(O) = \mathcal{A}(O')'$6; (iii) Operational maximality as defined above.

Algebraically: If essential duality holds, any extension beyond $\mathcal{A}(O) = \mathcal{A}(O')'$7 necessarily introduces unitaries that no longer commute with all spacelike-separated algebras, manifesting signalling. Conversely, if essential duality fails, $\mathcal{A}(O) = \mathcal{A}(O')'$8 is a proper extension all of whose inner automorphisms are non-signalling, making the biconditional statement sharp.

The proof is purely algebraic, relying crucially on the properties of von Neumann algebra commutants, additivity, and the separation of states. The wedge-intersection representation $\mathcal{A}(O) = \mathcal{A}(O')'$9 (with $\mathcal{A}(O)$0 ranging over wedges) gives an alternative structural perspective, further connected to traditional modular and geometric techniques in AQFT.

CP-Maps, Robustness, and Entropic Diagnostics

The operational maximality criterion is extended from inner automorphisms to all normal, completely positive (CP), unital maps that are algebra-internally implemented (i.e., admit a Kraus decomposition with Kraus operators in the given algebra). The main maximality result is unaltered under this more general class—any proper extension fails the maximality property for inner automorphisms and thus for all such CP maps.

A complementary entropic formulation leverages Araki relative entropy to diagnose signalling: if a CP map implemented in an extension alters the distinguishability (as measured by relative entropy) of states on any spacelike-separated $\mathcal{A}(O)$1, this provides a sharp and quantitative witness of operational signalling. The data-processing inequality ensures that any violation of essential duality leads to a (possibly infinite) increase in relative entropy under some channel on some state.

Sharpness and Structural Implications

Whenever essential duality fails, $\mathcal{A}(O)$2 is not only larger than $\mathcal{A}(O)$3 but is the maximal no-signalling extension. All its inner automorphisms, and more generally all normal CP maps implemented in it, are non-signalling with respect to all spacelike-separated observables. When essential duality holds, no such proper extension exists.

The paper identifies this distinction as an operational characterization of essential duality, conceptually linking the algebraic structure of the net to the physical principle of no-signalling: essential duality holds if and only if the local algebra is maximal under the constraint of operational non-signalling to all spacelike-separated regions.

Connections to Superselection Structure and DHR Theory

In concrete models where essential duality fails, e.g., theories with non-trivial DHR superselection structure, the additional operators in $\mathcal{A}(O)$4 are associated with charge-localized intertwiners or sector-selecting operators commuting with all spacelike observables. The operational maximality theorem thus distinguishes models—free fields vs models with sectors—at the level of maximal non-signalling extension.

Theoretical and Practical Implications

Theoretically, these results clarify the precise status of essential duality as an operational maximality principle, reframing it from a purely algebraic or geometric property to one with direct implications for locality and causal independence in any representation of AQFT. It specifies a boundary: the observable net is maximally informative yet causally separated, except where essential duality is violated, in which case the failure is precisely parameterized.

Practically, this informs any attempts to reconstruct local physics or causality from operator algebraic data, especially in contexts (e.g., quantum information cuts, algebraic holography, or models on curved spacetimes) where the essential duality property is under question or must be verified. The entropic perspective provides a robust witness for the presence of signalling maps.

Future Directions

Potential future developments include:

• Application and verification of this operational duality in locally covariant and curved spacetime AQFT, where duality properties can be subtle.
• Deeper exploration of the connection with the modular structure and entanglement wedge reconstruction in holography.
• Investigation of weaker forms of duality and their operational consequences when the Haag–Kastler axioms are relaxed or in the presence of generalized symmetries.

Conclusion

This work provides a definitive algebraic and operational answer to the question of maximal non-signalling extensions in AQFT: essential duality is both necessary and sufficient for the local observable algebra to be maximal among all subalgebras with non-signalling inner automorphisms (and CP-maps), relative to spacelike regions. This identifies essential duality as the principled algebraic expression of relativistic no-signalling, supplying a robust bridge between the Haag–Kastler framework and the modern operational language of quantum information.