{"id":"06b42aae-445d-4ed2-b3aa-1fe02b514375","arxiv_id":"2607.12976","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.5,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"In free scalar QFT some causal channels cannot be approximated by Fewster–Verch schemes, FV-implementability is uncomputable, yet random field displacements realize a broad class of causal instruments.","lead":"This paper studies which local operations in free-scalar quantum field theory can be realized without allowing faster-than-light signaling. It proves that some causal channels cannot be approximated by Fewster–Verch schemes, that checking such realizability is uncomputable, and that random field displacements still cover a wide useful class of instruments.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified beyond the abstract-only limitation already flagged by the Reader; the claimed separation and uncomputability rest on technical embeddings that cannot be audited here.","rationale":"The Reader’s verdict is already UNVERDICTED with LOW confidence precisely because only the abstract is available. The strongest claims (existence of causal non-FV-approximable channels; uncomputability of multi-FV implementability) are mathematical existence and decision-problem statements whose soundness hinges on definitions and reductions that the abstract does not supply. No additional load-bearing flaw—circularity, contradiction with known free-field results, or misuse of causality—can be diagnosed from the abstract alone. The positive realizability results for random displacements appear more robust and less dependent on the missing technical scaffolding. Consequently the stress-test finds no reason to move the verdict; a full-text audit remains the necessary next step. Agreement with the Reader is therefore complete on both the weakest assumption and the overall posture.","tokens_in":2099,"tokens_out":540,"duration_ms":4966,"concrete_test":"Obtain the full text and extract the definition of FV schemes (presumably §2–3) together with the explicit construction of a causal channel claimed not to be approximable by them; check whether that channel is continuous in the topology used for approximation and whether its Kraus operators lie in the local algebra of a bounded region. Separately, locate the uncomputability reduction and verify that the decision problem is reduced from a known undecidable problem without assuming an oracle for the free-field vacuum or for local-algebra membership.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The Reader correctly notes that the abstract alone does not exhibit the precise technical embedding of FV schemes into the free scalar field algebra, nor the reduction establishing uncomputability of multi-FV implementability. Without those constructions (or the concrete topology used for approximation of channels), one cannot verify whether the claimed causal-but-not-FV-approximable channels exist inside the standard algebraic QFT structure, or whether the uncomputability reduction is free of hidden computable oracles. That is the single load-bearing gap for the central negative claims. The positive claims (random field displacements are FV-realizable and suffice for non-demolition quadrature POVMs and heralded approximation) are more self-contained in the abstract and less sensitive to the missing details. Because the full text is unavailable, no further internal inconsistency or incorrect assumption can be isolated; the concern remains exactly the one the Reader already identified.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The manuscript studies local operations in free scalar quantum field theory, comparing the Jubb–Oeckl causality conditions for instruments with the Fewster–Verch (FV) framework for physically realizable local operations. Building on the Sorkin paradox (that Kraus-local instruments can enable superluminal signalling), it claims three main results in free scalar QFT: (i) there exist causal channels that cannot be arbitrarily well approximated by FV schemes; (ii) deciding whether a given instrument is implementable, or far from implementable, by composing several FV operations is uncomputable; (iii) instruments whose measurement channels are random displacements of the field operators are FV-realizable, suffice for non-demolition quadrature POVMs, and allow heralded probabilistic approximation of arbitrary (even non-causal) QFT operations.","tokens_in":2274,"tokens_out":864,"duration_ms":16746,"significance":"If the separation and uncomputability theorems hold with the stated precision, the work would establish a genuine gap between Einstein causality and FV-realizability inside a standard free-field model, sharpening the resolution of Sorkin’s paradox and clarifying which local instruments are physically available. The positive constructive class (random field displacements) would supply a concrete, usable toolkit for non-demolition quadrature measurements and heralded approximation, which is of direct interest to relativistic quantum information. The combination of a negative separation/uncomputability result with an explicit positive class is potentially high-impact for mathematical QFT and quantum foundations, provided the technical embeddings and reductions are fully rigorous.","major_comments":[{"comment":"Abstract (central negative claim): The assertion that there exist causal channels that cannot be arbitrarily well approximated through FV schemes is load-bearing. The abstract alone supplies neither the concrete topology on channels used for approximation nor an explicit free-field construction of a causal-but-not-FV-approximable channel. Without those ingredients the separation cannot be audited against the standard algebraic structure of the free scalar field.","section":"Abstract"},{"comment":"Abstract (uncomputability claim): The claim that deciding multi-FV implementability (or distance from implementability) is uncomputable is likewise load-bearing. The abstract does not exhibit the reduction, the encoding of instruments, or the decision problem’s precise statement. Hidden oracles or non-standard computability assumptions cannot be ruled out from the abstract alone.","section":"Abstract"},{"comment":"Abstract (embedding of FV schemes): Both negative results rest on a precise technical embedding of FV schemes into free-scalar QFT. The abstract does not define the free-field FV schemes or the composition rules used. Verification that the claimed objects live inside the standard AQFT algebra is therefore impossible on the material provided.","section":"Abstract"}],"minor_comments":[{"comment":"The abstract is dense and packs three substantial claims into a single paragraph; a slightly expanded abstract (or a short outline of the paper’s structure) would help readers locate the separation theorem, the uncomputability reduction, and the displacement-instrument construction.","section":"Abstract"},{"comment":"Key prior notions (FV schemes, Jubb–Oeckl causality conditions, the precise sense of ‘approximation’ and ‘heralded’) are named but not briefly recalled; a sentence of definition for each would improve accessibility without lengthening the abstract unduly.","section":"Abstract"}],"recommendation":"uncertain","confidential_remarks":"Only the abstract was supplied for review; the full manuscript (arXiv:2607.12976) is unavailable. Under these conditions a definitive technical assessment is impossible, which is why I recommend ‘uncertain’ rather than accept/reject/revision. Once the full text is provided, the three major comments above become ordinary load-bearing checks on constructions and reductions; if those check out, the paper would likely move to minor_revision or accept. I have no independent evidence of circularity or ad-hoc parameters from the abstract alone."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The one thing to know is that this abstract asserts three concrete results in free-scalar QFT: (1) there exist causal channels that cannot be approximated by FV schemes, (2) multi-FV implementability is uncomputable, and (3) random field displacements are FV-realizable and already suffice for non-demolition quadrature POVMs plus heralded approximation of arbitrary operations. That package, if the proofs hold, cleanly separates abstract causality from constructible local operations and gives both a negative barrier and a positive toolkit.\n\nWhat looks new is the claimed existence of causal-but-not-FV-approximable channels and the uncomputability statement; the positive characterization of random displacements is the constructive payoff and is presented as wide enough to cover the usual non-demolition measurements people actually want. The abstract positions the work against Sorkin, Jubb–Oeckl and Fewster–Verch without merely restating them, which is the right framing.\n\nThe soft spot is exactly the one the reader flagged: we have only the abstract. No definitions of the concrete FV embedding, no topology for approximation, no reduction for the uncomputability claim. Those are load-bearing for the negative results; the positive claims look more self-contained. Nothing in the abstract smells circular or invented, but without the body we cannot audit soundness. That is a limitation of the material, not a detected flaw in the argument.\n\nThis is for people working on relativistic quantum information and algebraic QFT who care about which instruments are physically realizable rather than merely causal. A serious referee should see the full text; the claims are sharp enough and the subfield important enough that desk rejection would be a mistake. I would send it out.","headline":"Abstract-only: claims a real separation between Einstein-causal instruments and FV-realizable ones in free scalar QFT, plus an uncomputability barrier and a usable positive class of random displacements.","tokens_in":2905,"tokens_out":457,"would_cite":false,"duration_ms":9053,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"In free scalar quantum field theory, causal local instruments exist that no Fewster–Verch scheme can approximate, and checking FV-realizability by composition is uncomputable; yet random field displacements remain realizable and suffice for","keywords":["quantum field theory","local operations","causality","Fewster-Verch schemes","Sorkin paradox","free scalar field","quantum instruments","uncomputability"],"falsifier":"Exhibit an explicit causal instrument on the free scalar field whose distance to the set of all finite compositions of FV schemes is bounded away from zero by a concrete positive number, or produce an algorithm that decides FV-implementability for a nontrivial class of instruments.","tokens_in":2971,"feed_emoji":"⚛️","tokens_out":702,"duration_ms":9882,"temperature":0.7,"pith_summary":"The paper establishes that the set of local operations compatible with Einstein causality in quantum field theory is strictly larger than the set of operations that can be realized through the Fewster–Verch (FV) measurement schemes. Working in the free scalar field, the authors prove that there are causal channels that cannot be approximated to arbitrary accuracy by any FV construction, and that the decision problem of whether a given instrument can be implemented (or is far from implementable) by composing several FV operations is uncomputable. At the same time they exhibit a broad, concrete family of causal instruments that are FV-realizable: those whose measurement channels act by random displacements of the field operators. These instruments already allow non-demolition positive-operator-valued measures on any set of field quadratures and, by heralding, the probabilistic approximation of completely arbitrary quantum-field operations. A sympathetic reader therefore obtains both a sharp negative separation between two natural notions of “local operation” and a positive constructive toolkit that recovers the most commonly needed measurements.","feed_headline":"Causal QFT channels exist that no FV scheme can approximate","feed_subtitle":"Checking realizability by composing Fewster–Verch operations is uncomputable, yet random field displacements still work","key_machinery":"Fewster–Verch (FV) schemes—concrete local measurement protocols that generalize non-relativistic instruments to algebraic QFT—and the subclass of instruments whose channels are random displacements of the free-field operators; the former supply the realizability notion shown to be strictly smaller than causality, while the latter furnish an explicit, wide family of instruments that remain inside the FV class.","core_discovery":"Within the algebraic quantum field theory of the free scalar field there exist causal instruments that cannot be approximated arbitrarily well by Fewster–Verch schemes, and the question of whether an instrument is (approximately) realizable by composition of FV operations is undecidable; nevertheless every instrument whose measurement channel consists of random displacements of the field operators is FV-realizable and thereby yields non-demolition quadrature POVMs as well as heralded approximations of arbitrary operations.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Causal QFT channels exist beyond any FV approximation","FV-realizability of instruments via compositions is uncomputable","Random field displacements give all non-demolition quadrature POVMs","Some causal free-field instruments cannot be approximated by FV schemes","Heralded FV schemes can approximate arbitrary QFT operations"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The free scalar field with its standard algebraic structure and the paper’s concrete definition of FV schemes must faithfully capture the physical distinction between causal and realizable local operations.","fun_headline_variants_meta":{"raw":{"variants":["Causal QFT channels exist beyond any FV approximation","FV-realizability of instruments via compositions is uncomputable","Random field displacements give all non-demolition quadrature POVMs","Some causal free-field instruments cannot be approximated by FV schemes","Heralded FV schemes can approximate arbitrary QFT operations"]},"model":"grok-4.5","effort":"low","cost_usd":0.003984,"raw_usage":{"total_tokens":1298,"prompt_tokens":855,"num_sources_used":0,"completion_tokens":85,"cost_in_usd_ticks":39840000,"prompt_tokens_details":{"text_tokens":855,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":358,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":855,"tokens_out":85,"duration_ms":3900,"temperature":1.0,"reasoning_tokens":358,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-15T01:51:10.107680+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit an explicit causal instrument on the free scalar field whose distance to the set of all finite compositions of FV schemes is bounded away from zero by a concrete positive number, or produce an algorithm that decides FV-implementability for a nontrivial class of instruments.","supporting_citations":[],"review_version":1}