{"id":"aed03fc0-27b6-4698-932e-6eae7aa722da","arxiv_id":"2504.15759","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new n-to-1 Lorentzian bordism pseudo-operad makes additive time-slice AQFTs equivalent to functorial QFTs.","lead":"This paper proves that algebraic and functorial quantum field theories on Lorentzian spacetimes are equivalent as categories when both satisfy time-slice and additivity. It introduces new partial-Cauchy-surface bordisms that let functorial QFT detect local spatial structure, which ordinary Lorentzian bordisms cannot.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Non-invertible FQFT morphisms are added by hand (Remark 4.2), so the category-level equivalence may not capture the pseudo-operadic FQFT notion.","rationale":"The reader's stated weakest assumption is Proposition B.5, the pushout gluing lemma; that is a plausible technical point, and if it failed the whole FQFT operad would collapse. However, after reading the Lorentzian-geometry details, I find no clear flaw there: the pushout is constructed along causally convex collar intersections, the manifold criterion from ST11 is invoked, and the global hyperbolicity argument via the image of the later Cauchy surface is consistent with the conditions (3.5) and (3.6). The more load-bearing concern for the central claim is the one the paper itself flags in Remark 4.2: the FQFT category whose equivalence is proved has non-invertible morphisms added manually, while the pseudo-operadic 2-adjunction only justifies the invertible-morphism part. Since Theorem 5.7 is a statement about categories with non-invertible morphisms, the morphism notion is essential to the claim that AQFT and FQFT carry the same information. My recommendation is therefore unchanged: the result is internally plausible and conditionally acceptable, but it should be either extended to the full pseudo-natural transformation 2-category or carefully restated, with the manual extension reconciled before the categorical equivalence is presented as the complete comparison between the two axiomatic frameworks.","tokens_in":39794,"tokens_out":40312,"duration_ms":392962,"concrete_test":"Construct the 2-category whose objects are pseudo-multifunctors LBop_m → ι(Alg_uAs(T)) and whose 1-morphisms are the horizontal pseudo-natural transformations conjectured in Remark 4.2, extending Definition A.4 with non-invertible components. Then compare the resulting hom-categories (or at least the full subcategory on isomorphisms) with those of Alg_{τ(LBop_m)}(Alg_uAs(T)) under the canonical comparison induced by the truncation 2-functor τ. If the comparison is an equivalence of categories, the ad hoc definition in Definition 4.1 is harmless and Theorem 5.7 stands at the categorical level; if it is only an equivalence of groupoids, the theorem must be weakened to the iso-core, and if it fails altogether, the morphism notion must be revised before the category-level equivalence is claimed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 5.7 asserts an equivalence of categories AQFTW,add_m ≃ FQFTW,add_m. On the FQFT side, Definition 4.1(a) defines FQFT_m as Alg_{τ(LBop_m)}(Alg_uAs(T)), with all multinatural transformations as morphisms. But the pseudo-operadic framework motivating this definition, via the 2-adjunction in Theorem A.7, only provides a comparison for invertible multitransformations: the adjunction is between the (2,1)-categories PsOp_fib and Op(2,1), so it does not account for arbitrary non-invertible morphisms. Remark 4.2 explicitly concedes that non-invertible morphisms are added by hand, with the expected pseudo-operadic notion (horizontal pseudo-natural transformations) deferred to future work. Thus the category whose equivalence is proved is not derived from the pseudo-multifunctor bicategory used to define FQFTs. If the intended morphisms of FQFT differ from the ad hoc multinatural transformations, the equivalence in Theorem 5.7 could fail or require additional coherence. At minimum, the claim that AQFT and FQFT carry the same information is only established for this manually specified morphism notion, which is a load-bearing gap in the central categorical claim rather than a purely cosmetic caveat.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper defines a new pseudo-operad LBop_m of globally hyperbolic Lorentzian bordisms whose operations go from tuples of causally disjoint partial Cauchy surfaces to a later full Cauchy surface, and uses it to introduce a notion of functorial QFT (FQFT) as an algebra over the truncated operad τ(LBop_m) with values in unital associative algebras. On the AQFT side, the paper uses the known operadic formulation of locally covariant AQFTs. The main result, Theorem 5.7, constructs explicit quasi-inverse functors F and A and establishes an equivalence of categories AQFT^{W,add}_m ≃ FQFT^{W,add}_m for theories satisfying the time-slice axiom and the additivity property. The proof is supported by two appendices, one on pseudo-operads internal to groupoids and one on Lorentzian geometric gluing details.","tokens_in":40036,"tokens_out":9437,"duration_ms":89237,"significance":"If the result stands, it is a substantial conceptual bridge: it shows that, under the standard hypotheses of time-slice and additivity, the observables-based and bordism-based axiomatizations of Lorentzian QFT carry exactly the same information. The introduction of partial Cauchy surfaces as sources of bordisms is a natural and well-motivated resolution of the obstruction to topology change in globally hyperbolic bordisms, and the explicit quasi-inverse functors make the equivalence concrete rather than merely formal. The paper is also commendably transparent about its limitations, especially Remark 4.2, which acknowledges that non-invertible FQFT morphisms are added by hand and do not currently have a pseudo-operadic interpretation.","major_comments":[],"minor_comments":[{"comment":"The abstract and introduction state that FQFTs are pseudo-multifunctors, but Definition 4.1 actually defines the category of FQFTs using ordinary multifunctors on the truncation τ(LBop_m), with non-invertible multinatural transformations added by hand as in Remark 4.2. Please qualify the main claim throughout: Theorem 5.7 is an equivalence for the category defined in Definition 4.1, and the pseudo-operadic interpretation currently covers only the invertible morphisms. This is not a flaw in the theorem, but the current wording overstates the scope of the categorical equivalence.","section":"Abstract and Definition 4.1 / Remark 4.2"},{"comment":"The proof that the pushout N^-_0 ⊔_{V01∩V10} N^+_1 is again an object of Loc_m is very terse. In particular, the assertion that every inextensible future-pointing timelike curve in the pushout meets ι+ι11(Σ2) exactly once should be justified in detail, including curves that cross the gluing interface, and the boundary-point argument with [ST11, Lemma 2.23] should be expanded. Since the well-definedness of the operadic composition, and hence of the entire FQFT category, depends on this gluing lemma, a more complete proof would strengthen the paper.","section":"Proposition B.5, Eq. (3.16)"},{"comment":"The finality of the forgetful functor RC(M,Σ) → RC_{I^-_M(Σ)} in (5.6) is asserted as 'easily checked'. This finality is essential for the additivity transfer from A to FA, so please provide a proof or at least a precise reference to a lemma; a short argument using Proposition B.6 would suffice.","section":"Lemma 5.2, proof of additivity of FA"},{"comment":"In the proof of Lemma 5.6, the finality of the functor ∫_{RC_M} Q → Q_M is stated without proof. Since this finality is used to identify the colimit in the additivity condition for AF, please supply the argument or include it as an explicit lemma in Appendix B.","section":"Lemma 5.6, proof of additivity of AF"},{"comment":"The diagram in (5.25b) is dense and is the key step showing that the composite F∘A reproduces the original FQFT action. The inversion of the bottom-row isomorphisms via [BMS25, Lemma 3.4] should be spelled out more explicitly, because the reader needs to see precisely why the composite of the bottom row is exactly F([N,ι0,ι1]) and not merely an isomorphic map.","section":"Theorem 5.7, proof, Eq. (5.25b)"},{"comment":"The paper relies on several 'easily verified' or 'straightforward' checks, for example in Constructions 5.1 and 5.4 and in the proof of Theorem A.7. These are acceptable in a research paper, but given the complexity of the pseudo-operadic coherence data, it would be helpful to indicate in each case which axiom of Definition A.1 or A.3 is being verified.","section":"General presentation"}],"recommendation":"minor_revision","confidential_remarks":"The paper is within the scope of math-ph and makes a genuine contribution. The main theorem appears sound; the issues I raise are about the scope of the claimed categorical equivalence and the need for more detail in a few technical proofs, not about correctness. I do not see grounds for rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read Bunk–MacManus–Schenkel. The headline result is real: they construct a globally hyperbolic Lorentzian bordism pseudo-operad with n-to-1 partial Cauchy surface inputs, define FQFTs as algebras over its truncation, and prove a quasi-inverse equivalence between additive time-slice AQFTs and FQFTs. That is a genuine advance; prior work only had a forgetful AQFT-to-FQFT map. The construction is explicit, with detailed appendix proofs, and the authors are honest about what relies on previous non-formalized results.\n\nThe one soft spot worth flagging is Remark 4.2. The pseudo-operadic 2-adjunction only tracks invertible multitransformations, so the non-invertible FQFT morphisms are added by hand. The stress-test note calls this load-bearing. I don't agree. The theorem is about the categories as defined: FQFT_m is explicitly the category of ordinary multifunctors over tau(LBop_m), with all multinatural transformations. That is a legitimate and natural definition. What is fair to say is that the conceptual slogan \"the two axiomatizations carry the same information\" should be read for this specific morphism notion; the authors flag this themselves. If someone later produces the 'horizontal pseudo-natural' morphisms, the equivalence may or may not extend. So it is a boundary caveat, not a hole in the proof.\n\nEverything else checks out. The pushout gluing in Proposition B.5 is the key geometric input; the proof is plausible and cites standard results appropriately. The additivity conditions on both sides are exactly in the spirit of BPS20. The dependence on earlier papers (BMS25, BPS20, BS06) is clear and not circular.\n\nWho is this for? Anyone working on axiomatic QFT comparisons, especially Lorentzian AQFT/FQFT. It deserves a serious referee. I would send it out.","headline":"Real equivalence theorem between additive time-slice AQFTs and FQFTs over a new Lorentzian bordism pseudo-operad; the Remark 4.2 morphism caveat is a boundary limitation, not a flaw in the proof.","tokens_in":40613,"tokens_out":2766,"would_cite":true,"duration_ms":26145,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81Txx","18M60","18N10","53C50"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that algebraic and functorial quantum field theories on Lorentzian spacetimes are equivalent categories once time-slice and additivity are imposed.","keywords":["algebraic quantum field theory","functorial quantum field theory","globally hyperbolic Lorentzian bordisms","pseudo-operads","time-slice axiom","additivity","equivalence of categories","operadic AQFT"],"falsifier":"Compute the pushout from the gluing lemma for two flat two-dimensional slabs glued along a narrow collar region that satisfies the chronological-past and causal-past conditions, and check whether the resulting Lorentzian manifold is globally hyperbolic by testing whether every inextendible timelike curve meets the candidate Cauchy surface. A concrete failure—a closed timelike curve, a missing Cauchy surface, or a boundary point in the image of the collar map—would invalidate the gluing lemma and therefore the equivalence theorem.","tokens_in":1689,"feed_emoji":"⚛️","tokens_out":2062,"duration_ms":75311,"temperature":0.7,"pith_summary":"This paper tries to show that two prominent ways of axiomatizing quantum field theory on Lorentzian spacetimes—assigning algebras to regions of spacetime and assigning algebraic data to bordisms between surfaces—carry exactly the same information once both are required to satisfy the time-slice axiom and a local-to-global condition called additivity. If the equivalence is right, a physicist can freely move between the observable-based language of local quantum physics and the evolution-based language of functorial field theory without losing spatially local structure. The result holds in every spacetime dimension and does not depend on the category in which the algebras live. Concretely, the paper constructs explicit quasi-inverse functors between the category of additive, time-slice algebraic QFTs and the category of additive, time-slice functorial QFTs.","feed_headline":"Algebraic and functorial QFT are equivalent","feed_subtitle":"A bordism operad built from partial Cauchy surfaces makes time-slice, additive QFTs equivalent on both sides.","key_machinery":"The load-bearing object is the globally hyperbolic Lorentzian bordism pseudo-operad $\\mathrm{LBop}_m$. Its operations are $n$-to-$1$ bordisms: a globally hyperbolic Lorentzian manifold $N$ with a tuple of causally disjoint partial Cauchy surfaces in its past and one full Cauchy surface in its future, each equipped with a collar region inside a larger spacetime. Composition is defined by gluing two bordisms along the intersection of the collar regions around the shared intermediate Cauchy surfaces, after trimming overhanging collar parts so that the pushout is again a globally hyperbolic Lorentzian manifold. A fibrancy result for this pseudo-operad lets the authors replace it by an ordinary operad $\\tau(\\mathrm{LBop}_m)$, turning functorial QFTs into ordinary algebra-valued multifunctors; this truncation is the technical bridge on which the equivalence theorem runs.","core_discovery":"The central claim is Theorem 5.7: for every spacetime dimension, the categories $\\mathrm{AQFT}^{W,\\mathrm{add}}_m$ and $\\mathrm{FQFT}^{W,\\mathrm{add}}_m$ are equivalent. The forward functor sends an algebraic QFT $A$ to a functorial QFT whose value on a Cauchy surface $(M,\\Sigma)$ is the algebra $A(M)$, with the time-slice axiom used to turn collar comparisons into isomorphisms. The inverse functor sends a functorial QFT $F$ to an algebraic QFT whose value on a spacetime $M$ is the filtered colimit of $F$ over the category of Cauchy surfaces of $M$. Additivity is used to assemble these colimits into operations on arbitrary causally disjoint tuples of regions, where the images of several partial Cauchy surfaces may not extend to a single later Cauchy surface. The paper emphasizes that both hypotheses are needed, and notes that the same pair of hypotheses appears in the earlier equivalence between algebraic QFTs and prefactorization algebras.","pith_inferences":["Because the proof gives explicit quasi-inverse functors, it should transport examples: any known additive time-slice algebraic QFT supplies a functorial QFT on the bordism operad, and conversely any such functorial QFT supplies a local net. The paper does not spell out named examples.","The equivalence suggests that the time-slice and additivity conditions mark exactly the overlap between the two axiomatizations; dropping either should break one of the two composite functors from being the identity, which could be checked on concrete examples.","The partial $n$-to-$1$ Cauchy surface bordisms mimic pair-of-pants products, so one could use them to formulate operator-product-like multiplicative structures directly from Lorentzian bordisms without passing through an algebraic QFT."],"forward_implications":["Any additive, time-slice algebraic QFT gives an explicit functorial QFT on the bordism operad, assigning the same observable algebra to each Cauchy surface and using the time-slice axiom to define evolution maps.","Any additive, time-slice functorial QFT gives an explicit algebraic QFT, with the algebra on a spacetime recovered as a filtered colimit of functorial QFT values over its Cauchy surfaces; additivity then extends this to arbitrary causally disjoint tuples of regions.","The equivalence is an equivalence of categories, not merely a bijection on objects, so natural transformations on one side correspond exactly to natural transformations on the other.","Because the algebraic side automatically enforces Einstein causality, the equivalent functorial side inherits the same causality condition in this framework.","The construction strictly generalizes the earlier bordism pseudo-category approach by allowing partial Cauchy surfaces, so spatially local data are captured by functorial QFTs rather than only global topology.","The equivalence relies on both the time-slice axiom and additivity; the paper states explicitly that it does not expect either hypothesis to be removable."],"supporting_citations":[{"why":"The previous globally hyperbolic Lorentzian bordism pseudo-category; the present paper generalizes it to a pseudo-operad, and the fibrancy proof cites it for the companion construction.","marker":"[BMS25]"},{"why":"The equivalence between algebraic QFT and prefactorization algebras under the same time-slice and additivity hypotheses, supplying the pattern and the additivity notion adapted here.","marker":"[BPS20]"},{"why":"Geometric bordism pseudo-categories whose operadic generalization underlies the construction of $\\mathrm{LBop}_m$.","marker":"[ST11]"},{"why":"The operadic description of algebraic QFTs as algebras over $\\mathcal{P}\\mathrm{Loc}^\\perp_m$, which is the AQFT side of the equivalence.","marker":"[BPSW21]"},{"why":"Extension of achronal compact subsets to Cauchy surfaces, used in Construction 5.4 to define the AQFT on arbitrary $n$-ary operations.","marker":"[BS06]"},{"why":"The splitting theorem for globally hyperbolic manifolds, which motivates why partial Cauchy surfaces are needed to capture spatial locality.","marker":"[BS05]"},{"why":"The theory of fibrancy and companions for pseudo-categories, used to prove fibrancy of $\\mathrm{LBop}_m$ and to justify the truncation to an ordinary operad.","marker":"[Shu10]"}],"fun_headline_variants":["Partial Cauchy surfaces prove QFT equivalence","Bordism operad links algebraic and functorial QFT","Time-slice and additivity yield QFT equivalence","Functorial QFTs match algebraic ones under additivity","New operad unifies algebraic and functorial QFT"],"cache_read_input_tokens":42752,"weakest_assumption_plain":"The theorem rests on the gluing lemma: when two globally hyperbolic bordisms are composed, the pushout along their common collar must again be a globally hyperbolic Lorentzian manifold; if this gluing ever produced a spacetime with bad causal behavior, the bordism operad and hence the equivalence would lose its domain.","fun_headline_variants_meta":{"raw":{"variants":["Partial Cauchy surfaces prove QFT equivalence","Bordism operad links algebraic and functorial QFT","Time-slice and additivity yield QFT equivalence","Functorial QFTs match algebraic ones under additivity","New operad unifies algebraic and functorial QFT"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000668,"raw_usage":{"total_tokens":3037,"prompt_tokens":923,"completion_tokens":2114,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":539,"completion_tokens_details":{"reasoning_tokens":2034}},"tokens_in":539,"tokens_out":2114,"duration_ms":14255,"temperature":1.0,"reasoning_tokens":2034,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:18:21.382549+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the pushout from the gluing lemma for two flat two-dimensional slabs glued along a narrow collar region that satisfies the chronological-past and causal-past conditions, and check whether the resulting Lorentzian manifold is globally hyperbolic by testing whether every inextendible timelike curve meets the candidate Cauchy surface. A concrete failure—a closed timelike curve, a missing Cauchy surface, or a boundary point in the image of the collar map—would invalidate the gluing lemma and therefore the equivalence theorem.","supporting_citations":[],"review_version":1}