Quantum reference frames, measurement schemes and the type of local algebras in quantum field theory
Christopher J. Fewster, Daan W. Janssen, Leon Deryck Loveridge, Kasia Rejzner, James Waldron
TL;DR
The paper develops an operational framework that integrates quantum reference frames with relativistic quantum measurement on symmetry backgrounds to study local observables in quantum field theory. It shows that the invariant joint algebra of system and QRF observables is naturally captured by crossed-product constructions and that modular theory yields semifinite traces; with suitably thermally behaved QRFs, these traces become finite, enabling a type II1 classification under explicit spectral-growth conditions. By extending the measurement framework of AQFT and employing compactly stabilised QRFs, the authors provide precise criteria under which the invariant observable algebra transitions from the usual type III1 to semifinite (and potentially II1) structure, connecting thermodynamics of the QRF to algebraic type. Specialising to de Sitter static patch geometries, they generalise prior type-reduction results and illustrate how symmetry and thermal properties govern the algebraic content of physical observables in curved spacetimes. This work advances a operational, symmetry-respecting perspective on observables in QFT and offers a mathematically robust route to finite entropic quantities in gravitationally influenced quantum settings.
Abstract
We develop an operational framework, combining relativistic quantum measurement theory with quantum reference frames (QRFs), in which local measurements of a quantum field on a background with symmetries are performed relative to a QRF. This yields a joint algebra of quantum-field and reference-frame observables that is invariant under the natural action of the group of spacetime isometries. For the appropriate class of quantum reference frames, this algebra is parameterised in terms of crossed products. Provided that the quantum field has good thermal properties (expressed by the existence of a KMS state at some nonzero temperature), one can use modular theory to show that the invariant algebra admits a semifinite trace. If furthermore the quantum reference frame has good thermal behaviour (expressed in terms of the properties of a KMS weight) at the same temperature, this trace is finite. We give precise conditions for the invariant algebra of physical observables to be a type $II_1$ factor. Our results build upon recent work of Chandrasekaran, Longo, Penington and Witten [JHEP $\mathbf{2023}$, 82 (2023)], providing both a significant mathematical generalisation of these findings and a refined operational understanding of their model.