{"id":"0df50570-b334-476d-beaa-c631ae19df62","arxiv_id":"2607.24445","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.5,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"IAQFT replaces exact AQFT states by weak* open convex parcels and recovers the main structural theorems of AQFT as finite-precision parcel statements.","lead":"The paper builds Interval Algebraic Quantum Field Theory: finite experimental data are represented by convex weak* open sets of states (parcels) rather than exact states. It recasts Reeh–Schlieder, Haag, modular/KMS/Unruh structure, Bell robustness, lattice limits, and factor type in that language.","discovery_kind":"extension","skeptic_critique":{"model":"moonshotai/kimi-k3","headline":"Spectral Regularity is not merely \"adopted rather than derived\": on type III factors — the AQFT case — every faithful normal state has 0 in its modular spectrum, so no parcel satisfies Axiom 11.1 and the Rindler parcels of §12.1, defined by that axiom, do not exist.","rationale":"The reader located the right axiom but misdiagnosed the defect: the problem is not epistemic (underived hypothesis) but mathematical (the hypothesis is unsatisfiable on type III von Neumann algebras, by Connes' S-invariant characterization). This sharpens the required condition on acceptance: it is not enough to \"scope Spectral Regularity as an extra hypothesis\"; the paper must acknowledge that the axiom excludes exactly the type III local/wedge algebras of AQFT, confine §11's modular-continuity results to semifinite settings, and repair §12 by dropping the axiom from the Rindler parcel definition (which the proofs permit). Everything else — the reduction theorems, Bell/correlation persistence, Reeh–Schlieder reachability, Haag obstruction, lattice compatibility, and the §14 factor-type reconstruction — is unaffected and appears sound; those sections stand on standard, checkable arguments. The Unruh content survives the repair because it rests on Bisognano–Wichmann plus reduction, not on spectral regularity. So this does not warrant REJECT: no internal contradiction, and the vacuity is localized and fixable. It does warrant keeping CONDITIONAL with a sharper condition than the reader stated: explicitly retract the claim that the modular/KMS half of the program applies to relativistic QFT via spectral regularity, and lean §12 entirely on the B–W route.","tokens_in":52644,"tokens_out":9254,"duration_ms":320392,"concrete_test":"Compute the spectrum of the boost generator K for the free scalar field restricted to the right wedge: K has absolutely continuous spectrum ℝ on the one-particle space, so Δ_{ω₀} = e^{−2πK} has spectrum [0,∞), with 0 in the continuous spectrum; hence E_{Δ_{ω₀}}([0,ε)) ≠ 0 for every ε>0, directly violating Axiom 11.1's ψ=ω instance for any parcel containing the wedge vacuum. If this computation confirms spec Δ_{ω₀} ∋ 0 (standard), the axiom must be dropped from the Rindler parcel definition; then re-verify Theorems 12.4 and 12.5 with the axiom removed — they should survive intact, since their proofs use only convexity, weak* continuity, and prescribed-state reduction, never spectral regularity.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Axiom 11.1 requires, for every parcel O, an ε>0 with E_{Δ_{ψ,ω}}([0,ε))=0 for all faithful ψ, ω in O_f. Taking ψ=ω, this demands E_{Δ_ω}([0,ε))=0, i.e. a gap at 0 in the modular spectrum of every faithful state in the parcel. But by Connes' S-invariant, S(M)=⋂_φ spec Δ_φ satisfies: M semifinite ⟺ S(M)={1}, and M type III ⟺ 0∈S(M). Hence on any type III factor, 0∈spec Δ_ω for every faithful normal ω. Local algebras M(O) and wedge algebras M(W_R) in AQFT are type III (III_1 in standard models; Buchholz–D'Antoni–Fredenhagen). The paper itself proves every weak* open parcel contains faithful states (O_f≠∅, §11.1). Consequences: (1) Proposition 11.8's hypothesis is never met on AQFT algebras, so the Spectral-Regularity → modular-continuity → solid-interval route of §11 has empty scope exactly in the relativistic setting the framework is built for; it applies only in semifinite/finite-dimensional contexts. (2) §12.1 defines a Rindler parcel as one satisfying Axiom 11.1; since M(W_R) is type III and the theorems additionally require ω₀|_{M(W_R)}∈O (itself faithful with 0∈spec Δ_{ω₀}), the class of Rindler parcels is empty and Theorems 12.4/12.5 and Corollary 12.6 are vacuous as stated. (3) The same defect infects Lemma 11.3(iv)'s assumption on the limit state. Salvage: inspection of the proofs shows 12.4 and 12.5 never use the axiom (boost dynamics is fixed; only convexity, weak* continuity, and prescribed-state reduction are used), so §12 is repairable by deleting the axiom from the definition. But §11's general parcel-KMS machinery has no such repair in type III, and the abstract/§15.6 claim that spectral regularity is \"a sufficient operational condition\" for finite-precision modular/KMS theory is vacuous precisely where IAQFT is meant to operate.","agreement_with_reader":"partial"},"referee_report":{"model":"moonshotai/kimi-k3","summary":"The paper introduces Interval Algebraic Quantum Field Theory (IAQFT): finite-precision information is represented by \"quantum parcels\" — non-empty weak* open convex subsets of the state space of the quasi-local algebra (or of the normal state space of a von Neumann algebra) — rather than by exact states. Building on the author's earlier Interval Quantum Mechanics, it develops parcel measurement update and reduction theorems (Thms 4.1–4.2, 6.4), finite-dimensional volume contraction under Lüders updates (Prop 5.12, Thms 5.13–5.14), no-signalling for nonselective updates, open-ness of vacuum correlations and CHSH violation (Thms 7.2–7.3), Reeh–Schlieder as local parcel reachability (Thm 8.3), a parcel form of the Haag obstruction (Thm 9.4), lifts of modular dynamics and the J-conjugation to parcels (§10), a parcel KMS theory under a \"Spectral Regularity Axiom\" (§11), a parcel Unruh effect via Bisognano–Wichmann (§12), lattice compatibility (§13), and a parcel-geometric reconstruction of the Murray–von Neumann factor classification and the II_1 trace (§14, with Appendix C proofs). Most of the framework sections are technically sound, if often straightforward; the finite-dimensional Jacobian/volume results and the §14 factor-type criteria are the most substantial new mathematics. The load-bearing problem is the Spectral Regularity Axiom 11.1, which is unsatisfiable on type III factors — the AQFT case — for a classical reason (Connes' S-invariant). This vacates part of §11 and the","tokens_in":53205,"tokens_out":9572,"duration_ms":333291,"significance":"If the repairs are made, the paper delivers a coherent and mostly parameter-free finite-precision overlay of AQFT: reduction and local-reduction theorems from oscillation shrinkage alone, an exact Jacobian formula and general-n volume contraction for Lüders updates (new, quantitative), Reeh–Schlieder recast as a genuine equivalence with local parcel reachability, a parcel form of the Haag obstruction that is strictly stronger than vacuum equivalence, lattice/continuum compatibility, and a parcel-geometric reconstruction of the Murray–von Neumann classification with complete proofs. The Unruh section, once the empty hypothesis is removed, gives an honest finite-precision statement: thermality emerges from refinement plus Bisognano–Wichmann without assuming it of any approximating state. The work is a reinterpretation framework rather than new physics, but it is careful, and several constructions (KMS-defect, parcel nets, projection-face criteria) may prove useful independently.","major_comments":[{"comment":"Axiom 11.1 requires ε>0 with E_{Δ_{ψ,ω}}([0,ε))=0 for all ψ,ω∈O_f. Taking ψ=ω gives Δ_{ω,ω}=Δ_ω, so the axiom demands a spectral gap at 0 for every faithful state in the parcel. By Connes' S-invariant, M is type III iff 0∈S(M)=∩_φ spec Δ_φ; hence on any type III factor 0∈spec Δ_ω for EVERY faithful normal ω. Local and wedge algebras in AQFT are type III (III_1 in standard models; Buchholz–D'Antoni–Fredenhagen), and §11.1 itself proves every parcel meets S_f(M). So NO parcel on a local AQFT algebra satisfies the axiom: its scope is empty exactly in the relativistic setting the paper targets (it is satisfiable essentially only in finite-dimensional or suitably bounded semifinite contexts). This voids Prop 11.8, Lemma 11.3(iv), the modular-continuity route to Prop 11.5, and the 'operational regularity' framing of §15.6 as results about AQFT. Concrete test the authors cannot pass: exhibit on","section":"§11.1, Axiom 11.1 (Spectral Regularity)"},{"comment":"A Rindler parcel is defined as a parcel O⊆S_n(M(W_R)) 'satisfying the Spectral Regularity Axiom 11.1'. Since M(W_R) is type III, the preceding comment shows this class is empty, so Theorems 12.4–12.5 and Corollary 12.6 are formally statements about the empty class. Inspection of the proofs shows the axiom is never used: Thm 12.4(iii) says so explicitly, and Thm 12.5 uses only prescribed-state reduction (Thm 4.1), convexity, weak* continuity of FIXED boost-transformed observables, and Prop 12.2. The section is therefore repairable within the manuscript's scope: delete Axiom 11.1 from the definition of Rindler parcel and state plainly that the Unruh analysis rests on Bisognano–Wichmann plus fixed dynamics, not on spectral regularity (§15.6 already gestures at this distinction but §12.1 contradicts it).","section":"§12.1, Definition of Rindler parcel"},{"comment":"Route (ii) ('down then right') claims the solid intervals I_{O_α}, K_{O_α} from Def 11.4 shrink to the two sides of the KMS identity for the limit state ω*. But Def 11.4 uses the STATE-DEPENDENT dynamics σ^ψ, while the KMS-defect (Def 11.10) and Thm 11.12 use the FIXED dynamics σ^{ω_0}. The claimed identification of the two limit points therefore requires an argument connecting σ^ψ→σ^{ω*} with σ^{ω_0} (e.g., uniqueness of normal KMS states on factors at fixed β), which is neither stated nor proved; it also inherits modular continuity, i.e. the vacuous Axiom 11.1 in the type III case. As written the commutativity is asserted, not established. Given that Thm 11.12 itself needs no regularity, the cleanest fix is to re-prove route (ii) entirely within the fixed-dynamics formalism or delete the corollary.","section":"§11.2, Corollary 11.16"}],"minor_comments":[{"comment":"Thm 11.12 as proved uses only interval shrinkage, vanishing defect, and non-empty intersection — the Spectral Regularity Axiom plays no role (the defect is defined via the fixed dynamics σ^{ω_0}). The sentence 'Under the Spectral Regularity Axiom, interval shrinkage, vanishing KMS-defect, and non-empty intersection together recover a unique normal KMS state' is a misattribution; correcting it actually strengthens the paper, since Thm 11.12 survives the vacuity problem of Axiom 11.1.","section":"§11.2, Remark 11.13"},{"comment":"Duplicated/garbled sentence: 'Let r = rank Π, 1≤r<n, Let r = rank(Π), the rank of the projection Π, that is, the dimension of its range Ran(Π).' Merge into one definition of r.","section":"§5.2, proof of Theorem 5.13"},{"comment":"The sentence 'By parcel equivalence, Φ*(V1) and V2 are cofinal under reverse inclusion' appears twice consecutively.","section":"§9, proof of Theorem 9.4"},{"comment":"Prop 11.5 already uses the term 'modularly continuous parcel', but Def 11.7 giving its meaning appears afterwards; reorder so the definition precedes its first use.","section":"§11.1, Definition 11.7 vs Proposition 11.5"},{"comment":"The part labels do not match the statement: the proof's 'Part (ii)' cites ω_0|M(W_R)∈O_f (should be ∈O, membership), and 'Part (iii) is the Bisognano–Wichmann KMS identity' actually proves statement (ii) (common vacuum boundary value). Also C^a_O uses α_{aτ+2πi}(B): it would help to note explicitly that B∈A_0 analytic makes this a fixed bounded element of M(W_R) for every ρ.","section":"§12.1.3, proof of Theorem 12.4"},{"comment":"The descriptive note 'Sections VI.5–VI.6 treat compact and trace-class operators' does not match the actual citation (Thm. VIII.25 on core convergence/strong resolvent convergence); correct the note.","section":"References, item [11] (Reed–Simon)"},{"comment":"Prop 8.1(2) says 'weakly dense in the pure normal state space' but the proof works with pointwise convergence on M_0 (the σ(M*,M)-topology on states); since norm-density in M_* is a different (false-in-general) claim, state the topology precisely.","section":"§8, Proposition 8.1 and Theorem 8.3"},{"comment":"The symbols I_{O_α}, K_{O_α} are reused from Def 11.4 (state-dependent modular dynamics) although §12 uses the fixed boost dynamics; introduce distinct notation for the fixed-dynamics thermal intervals to avoid conflating the two settings (cf. the issue in Cor 11.16).","section":"§12.1.3, Corollary 12.7"},{"comment":"Rows 'KMS condition → Parcel KMS theorem' and 'Unruh effect → Parcel Unruh theorem' should be revisited after the §11–12 repairs so the table does not implicitly credit Spectral Regularity with results that hold without it.","section":"§16, Table 1"}],"recommendation":"major_revision","confidential_remarks":"The double-parcel update theorem and both counterexamples of §5.1 are imported wholesale from the author's companion IQM paper ([6], arXiv:2605.19706), which I did not review; the Appendix A \"proofs\" are reduction-to-[6] arguments. The editor may wish to have [6] refereed in tandem or require the imported statements to be made self-contained. Separately, much of the paper is a reinterpretation layer over known theorems (Reeh–Schlieder, Haag, Bisognano–Wichmann, Murray–von Neumann); the genuinely new mathematics is §5.2, §8, §11–12 (pending repair), and §14. Fit for the journal depends on how it values framework papers of this kind."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The punchline: this is a careful, long framework paper that systematically recasts AQFT structure in weak*-open convex parcels. Most of the translation is honest and checkable. The load-bearing problem is Spectral Regularity (Axiom 11.1): on type III factors—which is the AQFT case—every faithful normal state has 0 in its modular spectrum (Connes S-invariant), so no parcel on a local or wedge algebra satisfies the axiom. The general modular-continuity → solid-interval → parcel-KMS route in §11 therefore has empty scope exactly where IAQFT is meant to live. Rindler parcels are defined via that axiom, so as written the Unruh statements look vacuous; inspection shows 12.4–12.5 only use fixed boost dynamics, convexity, and prescribed-state reduction, so §12 is repairable by dropping the axiom from the definition. §11 is not.\n\nWhat is actually new and done well: compatible parcel nets and local reduction; openness of vacuum correlations and CHSH violation; Reeh–Schlieder as local parcel reachability and Haag as obstruction to parcel equivalence (parcel equivalence is strictly stronger than vacuum GNS equivalence, which is the right direction); lattice parcels lifting to continuum parcels with refinement compatibility and a scaling-limit reduction; and the §14 reading of minimality/finiteness/factor type plus II₁ trace via homogeneous parcel counting. Finite-dimensional volume contraction and double-parcel updates ride on the author’s prior IQM work as lemmas, which is fine. Core weak*/GNS arguments (reduction, no-signalling, modular lift, J-duality) look solid. Citations are standard and appropriate.\n\nSoft spots in proportion: Spectral Regularity is not a minor extra hypothesis—it is the hinge for the modular half, and the paper’s claim that it is a “sufficient operational condition” for finite-precision KMS theory is empty on type III. The abstract and §15 over-unify. Everything else is definitional/theorematic housekeeping, not fake physics.\n\nWho it is for: people who already work in AQFT/operator algebras and care about operational finite precision. Not for constructive QFT open problems or new predictions. It deserves a serious referee who will force the type-III scoping fix and temper the rhetoric. I would engage after revision; I would not cite the modular/KMS claims as they stand.","headline":"Solid AQFT-to-parcels translation with real lattice and factor-type content, but Spectral Regularity is empty on type III local algebras, so the general modular/KMS half does not apply where the paper claims it does.","tokens_in":53444,"tokens_out":588,"would_cite":false,"duration_ms":12912,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T05","46L60","46L30"],"pacs":["03.70.+k","11.10.Cd","03.65.Fd"],"model":"grok-4.5","headline":"Finite experimental data in relativistic quantum field theory is represented by open convex regions of state space, and the major structures of algebraic QFT still hold for those regions.","keywords":["algebraic quantum field theory","finite precision","quantum parcels","modular theory","KMS condition","Unruh effect","Reeh–Schlieder","Murray–von Neumann classification"],"falsifier":"Exhibit an operationally realistic parcel of normal states on a local algebra for which relative modular operators have spectrum accumulating at zero, and check whether the claimed modular continuity and parcel KMS reduction still hold; or construct vacuum-centred parcels on which a known CHSH violation fails to persist.","tokens_in":53050,"feed_emoji":"⚛️","tokens_out":1061,"duration_ms":19492,"temperature":0.7,"pith_summary":"Standard algebraic quantum field theory treats states as exact mathematical points, even though every real experiment only ever pins down finitely many expectation values to finite accuracy. This paper replaces those points, as the primary operational objects, by quantum parcels: weak-star open convex sets of states compatible with that finite data. It then shows that the central structures of the exact theory survive the change. Spacelike vacuum correlations and strict Bell violations persist throughout small enough parcels; the Reeh–Schlieder theorem becomes local reachability of parcels from the vacuum; Haag’s theorem becomes an obstruction to parcel equivalence; modular dynamics and the KMS condition lift to parcels (under a spectral-regularity hypothesis); the Unruh effect is recovered by refining Rindler parcels; lattice measurements induce continuum parcels consistently; and the Murray–von Neumann factor classification, together with the Type II₁ trace, can be read off the geometry and conjugation dynamics of limiting projection faces. The operator-algebraic backbone is left untouched: exact states remain as ideal limits of successive parcel refinement.","feed_headline":"Finite-precision regions replace exact states in algebraic QFT","feed_subtitle":"Major structures—Bell, Reeh–Schlieder, modular/Unruh, factor type—survive as geometry of parcels","key_machinery":"The quantum parcel: a non-empty weak-star open convex subset of the (normal) state space, determined by finitely many finite-precision expectation constraints. Parcel reduction, measurement update, compatible parcel nets, modular action on parcels, KMS-defect, and limiting exposed faces of projection parcels carry the structural recasting.","core_discovery":"Interval Algebraic Quantum Field Theory (IAQFT) gives a single finite-precision language in which the operational, modular and operator-algebraic structures of relativistic quantum theory—measurement update, locality, spacelike correlations and Bell violation, Reeh–Schlieder, Haag obstruction, modular/KMS/Unruh dynamics, lattice continuum limits, and Murray–von Neumann factor type plus II₁ trace—are all expressed in terms of the geometry and dynamics of quantum parcels rather than exact states.","pith_inferences":["If spectral regularity fails for physically natural parcels, the modular half of IAQFT would need a weaker continuity substitute or would be limited to the Bisognano–Wichmann/Unruh setting where dynamics is state-independent.","Parcel counting for the II₁ trace suggests a finite-precision route to continuous geometry that could be tested numerically inside hyperfinite approximations.","Extending parcel nets beyond the vacuum sector (thermal or charged sectors) would give a finite-precision language for superselection that the paper flags but leaves open.","The separation of lattice spacing from parcel width clarifies that continuum-limit numerics and observational uncertainty are independent refinement axes, which could guide how lattice QFT reports error bars."],"forward_implications":["Finite laboratory data in relativistic QFT can be treated as parcels without losing spacelike correlations or strict Bell nonclassicality.","Reeh–Schlieder becomes an operational statement: local operations on the vacuum can reach any finite-precision neighbourhood of a pure normal state.","Haag-type no-go results already block parcel equivalence, so finite precision does not evade the free-versus-interacting obstruction.","Under parcel refinement, the Unruh temperature is recovered from boost KMS-defect collapse without requiring every intermediate state to be thermal.","Murray–von Neumann type and the II₁ trace can be read from parcel geometry and homogeneous face counting rather than from an a-priori dimension function."],"fun_headline_variants":["Quantum parcels replace exact states in algebraic QFT","AQFT structures recast as geometry of finite-precision parcels","Bell violations and Reeh–Schlieder persist in interval AQFT","Parcel nets encode locality, modular theory, and factor types","Finite-precision IAQFT unifies operational and operator-algebraic QFT"],"cache_read_input_tokens":49280,"weakest_assumption_plain":"For the modular and KMS results, every operationally usable parcel of states is assumed to keep relative modular operators bounded away from zero spectrum—a regularity condition the paper adopts rather than derives.","fun_headline_variants_meta":{"raw":{"variants":["Quantum parcels replace exact states in algebraic QFT","AQFT structures recast as geometry of finite-precision parcels","Bell violations and Reeh–Schlieder persist in interval AQFT","Parcel nets encode locality, modular theory, and factor types","Finite-precision IAQFT unifies operational and operator-algebraic QFT"]},"model":"grok-4.5","effort":"low","cost_usd":0.002967,"raw_usage":{"total_tokens":1093,"prompt_tokens":789,"num_sources_used":0,"completion_tokens":89,"cost_in_usd_ticks":29668000,"prompt_tokens_details":{"text_tokens":789,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":215,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":789,"tokens_out":89,"duration_ms":5517,"temperature":1.0,"reasoning_tokens":215,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-31T14:43:12.781643+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit an operationally realistic parcel of normal states on a local algebra for which relative modular operators have spectrum accumulating at zero, and check whether the claimed modular continuity and parcel KMS reduction still hold; or construct vacuum-centred parcels on which a known CHSH violation fails to persist.","supporting_citations":[],"review_version":1}