Measurement and preparation protocols for quantum field theory on curved spacetimes

Christopher J. Fewster

REVIEW 3 major objections 4 minor 13 references

Measurement and preparation protocols for quantum field theory on curved spacetimes

T0 review · 3 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves that every local observable of the Klein-Gordon field on a curved spacetime has an exact measurement scheme whose coupling is confined to a compact region, and gives a protocol that prepares any two Hadamard states as a loc

desk verdict A genuinely neat gauge-scattering mechanism that really does swap system and probe, but the exact compact-coupling measurement and preparation results are not yet proved here—they ride on an unpublished localization lemma. read the letter →

arxiv 2508.21426 v1 pith:XMHUWNHR submitted 2025-08-29 gr-qc

Christopher J. Fewster This is my paper

classification gr-qc MSC 81T2081P1546L60 PACS 04.62.+v

keywords quantumfieldtheoryoncurvedspacetimesmeasurementschemesKlein-GordonHadamardstateslocalproductscatteringmapsU(1)gaugesymmetryobservables

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves two things about quantum fields on curved spacetimes. First, every local observable of the real Klein-Gordon field can be measured exactly by a scheme in which the system and probe are coupled only inside a compact region, not across an entire spacetime slab. Second, if two experimenters in spacelike-separated regions want to measure the same field in different states, there is a preparation protocol that puts the field into a local product state matching each experimenter's desired state on their own region; if the desired states are Hadamard, the prepared state is also Hadamard. The proof works by identifying two copies of the real field with one complex field, whose U(1) gauge symmetry can be realised as a scattering map, and then cutting off the coupling using a localisation property of the framework.

What carries the argument

The key machinery is the identification A⊗A = Z, where the tensor product of two real Klein-Gordon theories is treated as a single complex Klein-Gordon theory with a U(1) gauge symmetry. Each gauge transformation α(z) is realised as the scattering map of the complex field coupled to an external pure-gauge potential A=ξ∇χ; for the specific rotations s=±π/2 the scattering map swaps system and probe observables (Θπ/2(A⊗1)=1⊗A). The localisation property, quoted from [13], then guarantees that cutting ξ to compact support does not alter the induced observable map or the nonselective update in the relevant Cauchy development, which turns the proof-of-principle slab coupling into a physically reas

What would settle it

Compute the scattering map for the pure-gauge coupling A=ξ∇χ with compact ξ and compare with the uncompactified coupling A=∇χ on an observable localized in L+; if the induced expectation values differ for any Hadamard probe state, the localisation property and both protocols fail.

Watch

Extended reading notes

Core claim

The central discovery is that the U(1) gauge symmetry of the complex Klein-Gordon field—viewed as two real fields—can be engineered as a scattering map with a coupling confined to a compact spacetime region. For a rotation by π/2 in field space, the scattering map simply swaps system and probe observables. The author shows that the induced observable map then returns the system observable itself, giving an exact measurement scheme for every local observable, and the nonselective update returns the probe preparation state, giving a state preparation protocol. Combined with the localisation property (stated from an unpublished companion work), the coupling can be cut off to compact support wit

Load-bearing premise

The compact-coupling schemes rely on the localisation property stated from unpublished work: cutting the gauge potential to compact support does not change the induced observable map or updated state in the region of interest.

Editorial extensions

If this is right

Every local observable of the Klein-Gordon field on a globally hyperbolic spacetime is exactly measurable with a compact coupling zone, so no infinite or slab-wide control is needed.
Spacelike-separated experimenters can prepare independent Hadamard states of the same field, so Alice and Bob can each measure in their own desired state without disturbing each other.
The nonselective update used in the protocol preserves the Hadamard property, so the prepared local product state is physically reasonable whenever the inputs are.
The construction generalises beyond the real Klein-Gordon field to a wide class of real formally hermitian Green-hyperbolic operators, including complex and fermionic models by doubling tricks.
This gives a positive answer to both questions posed in the paper: exact schemes for all local observables, and a physical local product state for any pair of Hadamard states.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the localisation property of [13] holds in full generality, the compact-coupling schemes should extend to any theory in the RFHGHO class, making the measurement and preparation protocols universal across a broad range of quantum field theories.
The resource cost of the protocol likely depends on the geometry of the regions: the size of the compact support and the causal separation between the past and future regions would control how difficult the coupling is to implement, offering a way to compare this scheme with asymptotic schemes.
The state-preparation protocol may provide a concrete route for table-top or analogue quantum simulators to prepare local product states, since the required coupling is local and compactly supported.
A natural next check is whether the same localisation argument can be made for fermionic fields, since the paper mentions fermions only by adding additional structure.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

First thing to know: this is a proceedings note with one very good idea and one very large deferred proof. The good idea is the U(1) gauge-scattering trick. Writing two real Klein–Gordon copies as one complex field, a pure-gauge potential that rotates by ±π/2 produces a scattering map that literally swaps system and probe observables. Section 3 works it out explicitly; equations (6)–(8) are simple and checkable, and they give exact (not asymptotic) measurement and state preparation at the cost of controlling a whole slab. That part is solid.

The advertised results, however, are the compact-coupling versions in Section 4. There the paper invokes the localization property from Fewster–Juárez-Aubry [13], unpublished, and states it only in outline, with details suppressed. The stress-test note has it right: the scattering map is a global object, and getting equality of induced observables and nonselective updates on L+ from equality of couplings on L and equality of states on L− is a nontrivial algebraic claim about relative Cauchy evolution. It may well be true—the setup is plausible and the manuscript shows recognition of where the technical weight sits—but as a referee I cannot verify the central claims without seeing [13]. The noncompact construction does not automatically survive the cutoff, because the whole point of Section 4 is to show that the cutoff version agrees with the noncompact version in the relevant region. That is exactly where the proof is missing.

I also want to note that the Hadamard conclusion is imported from [7], another preprint, though that is secondary. The repeated reliance on the author’s own framework [1] and stability result [7] is not itself a problem; the problem is that the load-bearing step is unavailable in this manuscript.

Honest summary: this is a clear, coherent, ideas paper, with a real mechanism and no visible internal error. It is not yet a self-contained proof of its headline results. I would take it seriously as a proceedings contribution and would be glad to referee it—after reading [13]. For a journal, I would want the companion paper in hand or the localization lemma proved here. The reader’s CONDITIONAL verdict is about right.

Referee Report

3 major / 4 minor

Summary. This conference proceedings contribution addresses two problems in the Fewster-Verch measurement framework for the real Klein-Gordon field on globally hyperbolic spacetimes. The first problem is whether every local observable admits an exact measurement scheme with compact coupling zone; the second is whether, given two Hadamard states on spacelike separated regions, there is a physically reasonable local product state from which independent measurements can be made. The construction uses the U(1) gauge symmetry of the complex Klein-Gordon field, realized as a scattering automorphism via a pure gauge potential. Section 3 gives an explicit noncompact coupling construction that induces the identity on observables and the desired state preparation. Section 4 introduces a compactly supported cutoff and invokes a localization property of the measurement framework, attributed to unpublished work [13], to obtain compact coupling zones. The Hadamard property of the resulting state is imported from another preprint [7]. The manuscript states that the localization property is given only in outline and that [13] is in preparation.

Significance. If the full proofs are supplied, the results would be a significant advance: exact rather than asymptotic measurement schemes for all local observables, and a constructive protocol for preparing Hadamard local product states from arbitrary Hadamard states. The paper's strengths include its grounding in the published Fewster-Verch framework, the explicit scattering-map realization of U(1) gauge symmetry, and the clear geometric setup for localizing the coupling. However, the headline claims are conditional on unpublished results: the localization lemma of [13] and, for the Hadamard property, the stability result of [7]. The noncompact construction in Section 3 is self-contained and checkable, but it is not the claimed compact-coupling result.

major comments (3)

[§4, localization property [13]] The compact-coupling construction is exactly as strong as the localization property attributed to [13], which is stated only 'in outline' with 'some details are suppressed' and whose reference is listed as 'In preparation.' The passage from the noncompact theory C' to the cut-off theory C requires that equality of the couplings on L (arranged by ξ=1 on a neighbourhood of the closure of L∩S) and equality of states on L- imply equality of induced observable maps and nonselective updates on L+. This is a nontrivial causal-localization statement: scattering maps are global objects, and no proof is supplied here. If the lemma fails, the cut-off potential ξ∇χ does not reproduce the required action on local observables, and the resolutions of Problems 1 and 2 collapse. This is a load-bearing gap.
[§4, final paragraph] The concluding statement that the nonselectively updated state is Hadamard relies on [7], another unpublished preprint (arXiv:2503.12537). Because the Hadamard property is part of the claimed resolution of Problem 2 ('Hadamard local product states'), this dependence should be made explicit and, ideally, proven or replaced by a published reference. This is secondary to the localization gap, but still load-bearing for the physical-reasonableness claim.
[§4, passage 'as the whole set up can be designed for any region N'] The claim that every local observable can be accommodated by choosing N and the regions L±, L appropriately is asserted without argument. Since this step is needed to pass from observables localized in L+ to all local observables of the Klein-Gordon field, a brief but explicit geometric construction should be included.

minor comments (4)

[Abstract] The abstract states 'it is proved that all local observables can be obtained from local measurement schemes,' while the body says the work is 'in progress' and key ingredients are unpublished. The wording should be aligned with the actual status of the proofs.
[Eq. (5)] For χ taking values in U(1), ∇χ is imaginary-valued, so it is not a real vector potential. The intended real potential is likely A = -i χ^{-1} dχ, or an explicit convention should be stated.
[Figure 1] The symbol N appears in the figure and in the text ('the region N within the coupling zone') but is not defined in the caption. Its role should be clarified.
[References] Reference [13] is central to the proof and should not be listed merely as 'In preparation' without a footnote explaining that the present claims depend on it. Consider marking the relevant results as conditional in the text.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction; core derivation self-contained, but central compact-coupling and Hadamard conclusions lean on the author's unpublished [13] and [7].

full rationale

The derivation of measurement schemes and state preparation is not circular. Equations (6)-(8) follow directly from the identification A⊗A with the complex Klein-Gordon field and from the definitions of induced observable (1) and nonselective update (2); the scattering maps are constructed, not assumed. The passage to compact coupling zone in Section 4 invokes a localization property stated 'in outline' and attributed to Fewster–Juárez-Aubry [13], with 'Some details are suppressed.' This is an unproved, load-bearing external lemma, but it is not the target conclusion: it is a separate statement about when induced observable maps and nonselective updates agree, and the paper explicitly says more is shown in [13]. Similarly, the Hadamard character of the prepared state is imported from the author's stability result [7]. These are self-citations, and the manuscript itself flags the missing proof of [13]; that is a completeness/correctness risk, not circularity, because the central claims are not defined in terms of, nor equivalent to, these citations. No fitted parameters, renamed empirical patterns, or uniqueness theorems are used. Score 2 reflects heavy reliance on unpublished work by the same author rather than any circular reduction.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper introduces no free parameters or new physical entities. The external electromagnetic potential is pure gauge and constructed ad hoc, but it is a mathematical tool, not a new field. All physical assumptions are standard algebraic QFT (Hadamard states, scattering maps, causal factorization) plus the unpublished localization lemma, which is the main non-standard input.

assumptions (4)

domain assumption The Fewster-Verch measurement framework, including system/probe algebras, scattering map Θ, induced observable map εσ, and nonselective update.
The whole paper, including the interpretation of measurement and preparation, assumes this framework from [1]. It is prior work by the author and Verch, but it is the agreed background in this line of research.
ad hoc to paper The localization property of [13]: if two coupled theories coincide on L and the preparation states agree on L-, then induced observables and updates agree on L+.
This is the key external lemma for the compact-coupling result. It is stated only in outline ('Some details are suppressed'), and the reference is listed as 'In preparation'. It is introduced specifically to support the cut-off procedure and is not established elsewhere.
domain assumption Hadamard stability under nonselective update for RFHGHO theories, as proved in [7].
Used in the final step to conclude that the updated state is Hadamard. [7] is a separate arXiv preprint by the author, not machine-checked and not yet journal-published (as far as this proceeding shows).
domain assumption Causal factorization property of scattering maps, from [1].
Used to combine Alice's and Bob's scattering maps and derive the product form of the updated state in Eq. (9). It is a property of the framework from [1].

how reviews work

0 comments

Cite this review

Pith. "Pith review of Measurement and preparation protocols for quantum field theory on curved spacetimes." pith.science (2026). https://pith.science/paper/XMHUWNHR

@misc{pith2026250821426,
  author       = {Pith},
  title        = {Pith review of: Measurement and preparation protocols for quantum field theory on curved spacetimes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XMHUWNHR}},
  note         = {Machine review of arXiv:2508.21426}
}

read the original abstract

In this conference proceedings contribution, I describe work in progress concerning two problems in the measurement theory of quantum fields. First, it is proved that all local observables can be obtained from local measurement schemes. Second, I describe a protocol for preparing a Hadamard local product state of given Hadamard states relative to the local algebras of specified spacelike separated regions.

Figures

Figures reproduced from arXiv: 2508.21426 by the authors.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

13 extracted references · 5 canonical work pages

[13]

Fewster C J and Ju´ arez-Aubry B How local need local measurements be? In preparation

work page
[7]

Fewster C J 2025 Hadamard states for decomposable Green-hyperbolic operators arXiv:2503.12537 URL https://arxiv.org/abs/2503.12537

arXiv 2025
[1]

Fewster C J and Verch R 2020 Comm. Math. Phys. 378 851–889 ISSN 0010-3616 arXiv:1810.06512

arXiv 2020
[2]

Fewster C J and Verch R 2023 Measurement in quantum field theory arXiv:2304.13356 ( Preprint 2304.13356) URL https://doi.org/10.48550/arXiv.2304.13356

arXiv doi:10.48550/arxiv.2304.13356 2023
[3]

Fewster C J Exact measurement schemes for all local observables and the preparation of physical local product states In preparation

work page
[4]

Bostelmann H, Fewster C J and Ruep M H 2021 Phys. Rev. D 103 Paper No. 025017, 14 ISSN 2470-0010 arXiv:2003.04660 URL https://doi.org/10.1103/physrevd.103.025017

arXiv 2021
[5]

Henri Poincar´ e 24 1137– 1184 ISSN 1424-0637,1424-0661 arXiv:2203.09529 ( Preprint 2203.09529) URL https://doi.org/10.1007/s00023-022-01239-0

Fewster C J, Jubb I and Ruep M H 2023 Ann. Henri Poincar´ e 24 1137– 1184 ISSN 1424-0637,1424-0661 arXiv:2203.09529 ( Preprint 2203.09529) URL https://doi.org/10.1007/s00023-022-01239-0

arXiv 2023
[6]

Sorkin R D 1993 Impossible measurements on quantum fields Directions in general relativity: Pro- ceedings of the 1993 International Symposium, Maryland vol 2 ed Hu B L and Jacobson T A (Cam- bridge University Press, Cambridge) pp 293–305

work page 1993

Show all 13 references

[8]

Fewster C J, Janssen D W, Loveridge L D, Rejzner K and Waldron J 2025 Comm. Math. Phys. 406 Paper No. 19 ISSN 0010-3616,1432-0916 URL https://doi.org/10.1007/s00220-024-05180-7

2025 doi
[9]

High Energy Phys

Chandrasekaran V, Longo R, Penington G and Witten E 2023 J. High Energy Phys. Paper No. 82, 55 ISSN 1126-6708,1029-8479 URL https://doi.org/10.1007/jhep02(2023)082

2023 doi
[10]

Mandrysch J and Navascu´ es M 2024 Quantum field measurements in the Fewster-Verch framework (Preprint 2411.13605) URL https://arxiv.org/abs/2411.13605

2024
[11]

Summers S J 2009 Stud. Hist. Philos. Sci. B Stud. Hist. Philos. Modern Phys. 40 133–141 ISSN 1355-2198

2009
[12]

Sanders K 2023 J. Phys. A 56 Paper No. 505201, 30 ISSN 1751-8113,1751-8121 ( Preprint 2304.03120)

2023 arXiv

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.

[1] [13]

Fewster C J and Ju´ arez-Aubry B How local need local measurements be? In preparation

work page

[2] [7]

Fewster C J 2025 Hadamard states for decomposable Green-hyperbolic operators arXiv:2503.12537 URL https://arxiv.org/abs/2503.12537

arXiv 2025

[3] [1]

Fewster C J and Verch R 2020 Comm. Math. Phys. 378 851–889 ISSN 0010-3616 arXiv:1810.06512

arXiv 2020

[4] [2]

Fewster C J and Verch R 2023 Measurement in quantum field theory arXiv:2304.13356 ( Preprint 2304.13356) URL https://doi.org/10.48550/arXiv.2304.13356

arXiv doi:10.48550/arxiv.2304.13356 2023

[5] [3]

Fewster C J Exact measurement schemes for all local observables and the preparation of physical local product states In preparation

work page

[6] [4]

Bostelmann H, Fewster C J and Ruep M H 2021 Phys. Rev. D 103 Paper No. 025017, 14 ISSN 2470-0010 arXiv:2003.04660 URL https://doi.org/10.1103/physrevd.103.025017

arXiv 2021

[7] [5]

Henri Poincar´ e 24 1137– 1184 ISSN 1424-0637,1424-0661 arXiv:2203.09529 ( Preprint 2203.09529) URL https://doi.org/10.1007/s00023-022-01239-0

Fewster C J, Jubb I and Ruep M H 2023 Ann. Henri Poincar´ e 24 1137– 1184 ISSN 1424-0637,1424-0661 arXiv:2203.09529 ( Preprint 2203.09529) URL https://doi.org/10.1007/s00023-022-01239-0

arXiv 2023

[8] [6]

Sorkin R D 1993 Impossible measurements on quantum fields Directions in general relativity: Pro- ceedings of the 1993 International Symposium, Maryland vol 2 ed Hu B L and Jacobson T A (Cam- bridge University Press, Cambridge) pp 293–305

work page 1993