{"id":"68bcafa9-961c-48b4-a1d9-35cfa14ec7bc","arxiv_id":"1908.09388","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper defines the inclusive scattering matrix in algebraic quantum field theory as the on-shell value of generalized Green functions and derives an LSZ-like formula connecting it to inclusive cross-sections.","lead":"This paper builds a mathematical framework for scattering of quasiparticles using algebraic quantum field theory. It introduces an inclusive scattering matrix, defined from generalized Green functions, that gives inclusive cross-sections even when a standard unitary scattering matrix does not exist.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The §9 assertion that inclusive cross-sections are given by matrix elements of the inclusive S-matrix is proven only in the particle-interpretation regime; in the advertised no-particle and unstable-quasiparticle regimes the required out-operator limits are not available, so the central claim is…","rationale":"The reader's CONDITIONAL verdict is exactly calibrated to the gap identified here. The paper's strongest advertised contribution is the inclusive S-matrix for theories without a unitary scattering matrix and for quasiparticle collisions; the only derivation of the relation between inclusive probabilities and on-shell GGreen functions, however, goes through out-operators whose asymptotic limits are proven only on the image of S_+. The no-particle-interpretation case is asserted rather than derived, and the unstable-quasiparticle case is explicitly relegated to a heuristic appendix with a t << T restriction. I found no reason to make the verdict harsher: the claim is not shown to be false, and the constructions and estimates in Sections 5-8 are consistent and plausible. I also saw no reason to make it milder, because the advertised scope of the central formula is not supported by the proof. The reader's weakest_assumption already includes the missing derivation for Section 9, so the verdict should remain CONDITIONAL (i.e. unchanged).","tokens_in":13355,"tokens_out":11387,"duration_ms":126568,"concrete_test":"Independently re-derive the Section 9 expression (23) from (10) and (14) without assuming that S_+ and S_- are unitary or have equal images. In particular, check whether the strong limit defining a_out(f) in (10), which is stated only on vectors of the form (7), exists on the incoming Møller vector S_- a^+(g)θ. If the derivation requires applying a_out to a vector outside its proven domain, or requires S_+^* S_- to be an isometry, the no-particle-interpretation assertion fails. For the unstable case, repeat the same derivation with a two-point Green function having a pole at ε(p)+iΓ, Γ>0, and verify whether any on-shell limit exists when t is not constrained by t << T; this would settle whether the advertised quasiparticle formula is exact or only approximate.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is the passage from the definition of the inclusive S-matrix as an on-shell generalized Green function to the statement that inclusive cross-sections (probabilities of specified outgoing quasi-particles plus anything else) are matrix elements of that object. Section 9's only derivation uses (22)-(23): the incoming state is taken as the vector (8), the out-operators are replaced by the limits in (10), and the resulting expression is identified with an on-shell GGreen function. That derivation requires the incoming vector to be in the domain of the out-operators. Formula (10) is proven only on vectors of the form (7), i.e. on the image of S_+; the incoming state lies in the image of S_-. When S_+ and S_- are unitary, or their images coincide, this is harmless, but the paper's advertised motivation is exactly the case where a unitary S-matrix does not exist. The paragraph after (23) simply asserts, without proof, that the inclusive cross-section can still be expressed in terms of the inclusive S-matrix. For unstable quasi-particles the gap is also explicit: Section 8 assumes real poles, and the Appendix says 'we cannot take the limit t → ∞; for unstable particles we should always assume that t << T'. Thus in the two regimes named in the abstract, the key inclusive LSZ-like formula is not proved; the Appendix offers only a heuristic estimate. This does not show the claim is false, but it is unsupported in its advertised generality.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a framework for scattering theory in algebraic quantum field theory, aiming to cover quasiparticles (elementary excitations of stationary translation-invariant states) and theories without a particle interpretation. It constructs Møller operators S± from time limits of smeared good operators, defines the conventional scattering matrix when the theory has a particle interpretation, and introduces an 'inclusive scattering matrix' defined as the on-shell value of generalized Green functions (GGreen functions). The central claim is that inclusive cross-sections—probabilities of finding specified outgoing quasiparticles plus anything else—are expressed as matrix elements of this inclusive scattering matrix, via a formula similar to the LSZ formula. The paper also discusses unstable quasiparticles in an appendix, arguing heuristically that for times much shorter than the lifetime the stable-particle picture approximately applies.","tokens_in":13642,"tokens_out":3040,"duration_ms":32700,"significance":"If the central claim were fully established, the paper would provide a useful algebraic framework for inclusive scattering that does not require a unitary S-matrix, with applications to quasiparticle collisions and theories without particle interpretation. The construction of Møller maps from asymptotic limits and the connection between inclusive quantities and generalized Green functions are natural and potentially valuable. The paper is also commendably explicit about limitations: it notes infraparticles are not covered, and it acknowledges in the appendix that unstable quasiparticles cannot be handled by taking t to infinity. However, the advertised generality is not matched by the proof: the key Section 9 identification is only sketched for the case where the incoming state lies in the domain of the out-operators, and the non-particle-interpretation and unstable-quasiparticle regimes are asserted rather than derived.","major_comments":[{"comment":"The derivation of the inclusive cross-section formula assumes that the incoming vector (8) lies in the domain of the out-operators a_out, which are defined through the limit (10). Formula (10) is proven only on vectors of the form (7), i.e. on the image of S_+. The incoming state (8) lies in the image of S_-, so the step requires that the images of S_+ and S_- coincide or that a separate argument supplies the needed domain property. In the case the paper advertises as the motivation—the absence of a unitary scattering matrix—this is not established. The paragraph after (23) simply asserts that the inclusive cross-section can still be expressed in terms of the inclusive S-matrix, without proof. Since this is the central claim of the paper, the argument must either be completed or the claim restricted to cases where the domain issue is resolved.","section":"Section 9, Eq. (23) and following paragraph"},{"comment":"The appendix states that for unstable particles 'we cannot take the limit t → ∞; for unstable particles we should always assume that t << T.' This directly undermines the advertised application to quasiparticle collisions, because the inclusive LSZ-like formula in Section 9 relies on the limit t→∞ to replace out-operators by their asymptotic limits (10). The appendix offers only a heuristic estimate for times much smaller than the lifetime, not a derivation of the inclusive cross-section formula. Thus the abstract's claim that the inclusive scattering matrix is 'always necessary if we want to consider collisions of quasiparticles' is not supported by the proof given for the unstable case.","section":"Appendix, paragraph on unstable particles"},{"comment":"The paper defines the inclusive S-matrix as the on-shell GGreen function, and then states that inclusive cross-sections 'can be expressed in terms of' this inclusive S-matrix. Part of this statement is true by construction, because the inclusive S-matrix was defined exactly as the expression obtained from the expectation value (23) after taking the on-shell limit. The nontrivial content is the physical identification of (22) as the inclusive cross-section and the derivation showing that (23) equals the on-shell GGreen function. This distinction is not made explicit, and the derivation of the latter identity is incomplete outside the particle-interpretation regime. The authors should separate the definitional identity from the substantive physical claim and prove the substantive part under precisely stated assumptions.","section":"Section 9, definition of inclusive S-matrix"}],"minor_comments":[{"comment":"The abstract contains a missing 'of': 'expressed in terms generalized Green functions' should read 'expressed in terms of generalized Green functions.'","section":"Abstract and Introduction"},{"comment":"The coefficient functions N(p,p'), T1(p), and T2(p') are defined after (15) but their dependence on x and t is not displayed in the notation, which makes the formula harder to follow; adding the arguments would improve clarity.","section":"Section 6, Eq. (15)"},{"comment":"The notation ν(a+_{out,k1}(p1)a_{out,k1}(p1)...) is used for a probability density in momentum space, but the state ν was earlier defined as a linear functional on the algebra A. Since the out-operators are not in general elements of A, the domain of ν in (22) should be clarified, for example by stating that ν is extended to the algebra generated by the out-operators.","section":"Section 9, Eq. (22)"},{"comment":"The text notes that formula (13) is proved only for distinct momenta, but this restriction is not repeated when (13) is used later in Section 8; adding a cross-reference would help the reader track the validity conditions.","section":"Section 5, Eq. (13)"}],"recommendation":"major_revision","confidential_remarks":"The main gap is real and sits at the center of the paper's advertised contribution: the derivation of the inclusive cross-section formula does not cover the non-unitary and unstable regimes that motivate the inclusive construction. A revision that proves the needed domain property or explicitly restricts the claims would make the paper sound within its stated scope. The paper's reliance on the author's prior work, especially reference [12], is heavy, but the issue flagged above is independent of that reliance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does something genuinely new: it defines an inclusive scattering matrix as an on-shell generalized Green function in the algebraic setting, and argues that inclusive cross-sections can be expressed as its matrix elements. That is a real step beyond the author's earlier perturbative treatment and beyond the standard Keldysh/TFD reviews. The construction of Møller operators for quasiparticles from cluster properties or asymptotic commutativity, and the LSZ-type identification for particles, are laid out carefully and are plausible. The paper is also honest about its limits: it flags infraparticles, and the appendix explicitly says unstable quasiparticles force t << T, with no t → ∞ limit.\n\nThat honesty makes the main soft spot all the more visible. Section 9's derivation of the inclusive cross-section from the inclusive S-matrix uses the out-operator limits in formula (10). Those limits are established only on vectors built from the image of S_+ (or S_-), and the argument works when the two images coincide—i.e., in the particle-interpretation case, or at least when a unitary S exists. But the paper's advertised motivation is exactly the opposite: theories without particle interpretation, and unstable quasiparticles. In those regimes the limits are not available, and the paper simply asserts that the inclusive cross-section is still given by the inclusive S-matrix. The appendix offers only a heuristic estimate for t << T. So the central claim is not proved in the two cases named in the abstract. This is a load-bearing gap, not a trivial technicality.\n\nThe estimates that support the existence of scattering states are also sketched rather than fully proved, with references to the author's book. That is acceptable for a research paper but it does mean a referee would need to verify a fair amount of machinery.\n\nWho is this for? People working in mathematical QFT and in formal condensed-matter treatments of quasiparticle scattering. They will find a useful conceptual framework and a clear statement of what would need to be proved. The piece is not a finished theorem paper; it is more a research announcement with partial proofs and a serious conjecture.\n\nI would engage with it, and I think a good journal should send it to a referee. A referee should ask for a precise separation of what is proved (the unitary/particle-interpretation case) from what is conjectured (the non-unitary and unstable cases), and for either a proof or an explicit conjecture in those cases. As written, the abstract overstates the proven content, but the core idea is solid and worth taking seriously.","headline":"A clean but sketchy formalization of inclusive scattering in algebraic QFT; the central claim is proved only in the particle-interpretation case and unsupported in the advertised unstable/no-particle regimes.","tokens_in":14144,"tokens_out":1826,"would_cite":false,"duration_ms":19999,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T05","81U20"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper establishes an inclusive scattering matrix in algebraic quantum field theory, defined by on-shell generalized Green functions, and proves that inclusive cross-sections are expressed through it by an LSZ-like formula.","keywords":["algebraic quantum field theory","inclusive scattering matrix","generalized Green functions","LSZ reduction formula","quasiparticles","inclusive cross-sections","Haag-Ruelle theory","asymptotic commutativity"],"falsifier":"Take a solvable model with a resonance, i.e. a two-point Green function whose pole in $\\epsilon$ sits at $\\varepsilon(p)+i\\Gamma(p)$ with small $\\Gamma>0$, and compute the inclusive cross-section for producing the resonance plus anything else by two routes: the on-shell generalized Green-function residue defined in Section 9, and the explicit sum over final states in the $t\\ll T$ approximation. If the two disagree once terms of order $t/T$ are included, the claimed LSZ-like formula for the inclusive S-matrix fails. A more direct disproof would be a state whose truncated correlation functions decay only as a power law; then the proof of $\\int\\|\\dot\\Psi(t)\\|dt<\\infty$ gives no bound, and an explicit logarithmic divergence of that integral would refute the asymptotic-limit argument.","tokens_in":13145,"feed_emoji":"⚛️","tokens_out":11453,"duration_ms":102170,"temperature":0.7,"pith_summary":"The paper sets out to make scattering theory work in algebraic quantum field theory even when the conventional unitary scattering matrix does not exist. Its proposal is an inclusive scattering matrix, defined as the on-shell value of generalized Green functions built from one time-ordered and one anti-time-ordered product of operators evaluated in the stationary state. The central claim is that inclusive cross-sections—the probability of seeing specified outgoing excitations together with anything else—are given by matrix elements of this inclusive S-matrix through a formula of LSZ type. That would matter because quasiparticles, the elementary excitations of nontrivial stationary states, are usually unstable, and because actual experiments often measure inclusive rather than exclusive final states. The paper carries out the construction under cluster-property or asymptotic-commutativity assumptions and gives a heuristic treatment of the unstable case for times much shorter than the lifetime.","feed_headline":"Inclusive scattering matrix defined without a unitary S-matrix","feed_subtitle":"On-shell generalized Green functions give inclusive cross-sections, covering unstable quasiparticles where standard scattering fails.","key_machinery":"The load-bearing object is the generalized Green function in a stationary state $\\omega$, defined as $G_n=\\omega(MN)$ with $N=T(B_1(x_1,t_1)\\cdots B_n(x_n,t_n))$ the chronological product and $M=T^{opp}(B_1^*(x'_1,t'_1)\\cdots)$ the antichronological product; equivalently $G_n=(Q\\omega)(1)$ where $Q$ is built from the operators $B$ and $\\tilde B$ acting on linear functionals. The inclusive scattering matrix is then the on-shell limit of $G_n$, meaning after multiplying by factors $\\Lambda_i(p_i)(\\epsilon_i\\mp\\varepsilon(p_i))$ and letting the energies $\\epsilon_i$ tend to the one-particle energies, in direct analogy with how ordinary scattering amplitudes are extracted from time-ordered Green functions. That identification is what does the work: it converts inclusive probabilities, which sum over unobserved final particles, into objects that algebraic quantum field theory can compute directly from correlation functions of the state.","core_discovery":"On the paper's own terms, the discovery is that the inclusive scattering matrix exists and is computable where the ordinary scattering matrix is not available. If $\\omega$ is a translation-invariant stationary state and $\\Phi_k(p)$ are elementary excitations with strictly convex dispersion laws $\\varepsilon_k(p)$, the matrix elements of the inclusive S-matrix are obtained by taking on-shell limits of generalized Green functions $G_n=\\omega(MN)$, where $N=T(B_1(x_1,t_1)\\cdots B_n(x_n,t_n))$ is chronological and $M=T^{opp}(B_1^*(x'_1,t'_1)\\cdots)$ is antichronological. The paper proves that expectation values of out-operators such as $\\nu(a^\\dagger_{out,k_1}(p_1)a_{out,k_1}(p_1)\\cdots)$, which encode the probability density for finding specified outgoing quasiparticles plus unobserved ones, are equal to these on-shell generalized Green functions. When the theory does have particle interpretation, the conventional LSZ formula for the scattering matrix reappears as the special case with no unobserved final particles, so the inclusive object is the more general and more widely applicable one.","pith_inferences":["This suggests that inclusive S-matrix elements could be read directly from Keldysh or thermo-field diagrammatics, since those formalisms are built on the same generalized Green functions; matching the algebraic residues to standard diagrammatic inclusive rates would be a concrete test.","The heuristic $t\\ll T$ treatment implies a falsifiable signature: inclusive cross-sections for long-lived quasiparticles should be approximately time-independent on time scales below their lifetime, with corrections of order $t/T$; a plateau of that kind could be looked for in analog condensed-matter experiments.","If the on-shell prescription remains stable beyond the stated assumptions, it may offer a definition of scattering in theories with infraparticles or long-range interactions where ordinary particles and Møller operators are not defined, although the paper itself excludes infraparticles."],"forward_implications":["Collision probabilities for specified outgoing particles plus anything else acquire a direct formula from correlation functions, with no need to construct interacting multiparticle states or a unitary S-matrix.","In any theory with particle interpretation, the conventional scattering matrix is recovered as the exclusive special case, so the inclusive formula extends rather than replaces the LSZ formalism.","Quasiparticle scattering in thermal or other stationary states becomes formulable through the same on-shell generalized Green functions whenever the spectral and cluster assumptions hold.","For space-time dimension $d\\ge 4$, the non-overlap condition on velocity supports can be dropped, widening the range of collision kinematics covered by the construction."],"supporting_citations":[{"why":"Supplies the non-relativistic scattering construction from asymptotic commutativity that this paper generalizes to quasiparticles.","marker":"[4]"},{"why":"Provides the detailed estimates for cluster properties, the NO condition, and the isometry of Møller maps used in Section 5.","marker":"[12]"},{"why":"Gives the modern review of Haag-Ruelle scattering theory used as the relativistic background and source of mass-gap consequences.","marker":"[2]"},{"why":"Motivates the inclusive scattering matrix through perturbation theory for quasiparticle scattering; the present paper supplies the algebraic formulation.","marker":"[10]"},{"why":"Introduces the asymptotic condition for composite particles from which the LSZ-type limits of the present paper descend.","marker":"[5]"},{"why":"Establishes the asymptotic condition in quantum field theory that justifies identifying in- and out-operators with limits of Heisenberg operators.","marker":"[8]"},{"why":"Shows how collision cross-sections are expressed in terms of local observables, the background for connecting inclusive cross-sections with algebraic states.","marker":"[1]"}],"fun_headline_variants":["Inclusive S-matrix from on-shell generalized Green functions","Quasiparticle scattering without a unitary S-matrix","Generalized LSZ formula for inclusive cross-sections","Scattering for theories lacking particle interpretation","Inclusive S-matrix: beyond the standard scattering matrix"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction assumes that the smeared Heisenberg operators $\\hat B_k(f,t)$ have well-defined limits as $t\\to\\pm\\infty$ in the state $\\omega$, which in turn rests on strong cluster properties or asymptotic commutativity, strictly convex dispersion laws, and a one-particle spectrum separated from the multi-particle continuum; for genuinely unstable quasiparticles these limits do not exist, and the appendix supplies only a heuristic estimate valid for times much shorter than the lifetime $T$.","fun_headline_variants_meta":{"raw":{"variants":["Inclusive S-matrix from on-shell generalized Green functions","Quasiparticle scattering without a unitary S-matrix","Generalized LSZ formula for inclusive cross-sections","Scattering for theories lacking particle interpretation","Inclusive S-matrix: beyond the standard scattering matrix"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000559,"raw_usage":{"total_tokens":2620,"prompt_tokens":868,"completion_tokens":1752,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":484,"completion_tokens_details":{"reasoning_tokens":1676}},"tokens_in":484,"tokens_out":1752,"duration_ms":12873,"temperature":1.0,"reasoning_tokens":1676,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:13:10.433722+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a solvable model with a resonance, i.e. a two-point Green function whose pole in $\\epsilon$ sits at $\\varepsilon(p)+i\\Gamma(p)$ with small $\\Gamma>0$, and compute the inclusive cross-section for producing the resonance plus anything else by two routes: the on-shell generalized Green-function residue defined in Section 9, and the explicit sum over final states in the $t\\ll T$ approximation. If the two disagree once terms of order $t/T$ are included, the claimed LSZ-like formula for the inclusive S-matrix fails. A more direct disproof would be a state whose truncated correlation functions decay only as a power law; then the proof of $\\int\\|\\dot\\Psi(t)\\|dt<\\infty$ gives no bound, and an explicit logarithmic divergence of that integral would refute the asymptotic-limit argument.","supporting_citations":[{"cited_title":"A., Shvarts, A","cited_arxiv_id":null,"evidence_quote":"Supplies the non-relativistic scattering construction from asymptotic commutativity that this paper generalizes to quasiparticles."},{"cited_title":"Schwarz, Mathematical foundations of quantum field t heory, Moscow (in Russian, En- glish translation will be published by World Scientific) 14","cited_arxiv_id":null,"evidence_quote":"Provides the detailed estimates for cluster properties, the NO condition, and the isometry of Møller maps used in Section 5."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the modern review of Haag-Ruelle scattering theory used as the relativistic background and source of mass-gap consequences."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Motivates the inclusive scattering matrix through perturbation theory for quasiparticle scattering; the present paper supplies the algebraic formulation."},{"cited_title":"Haag, Quantum field theories with composite particles and asymptotic conditions, Phys","cited_arxiv_id":null,"evidence_quote":"Introduces the asymptotic condition for composite particles from which the LSZ-type limits of the present paper descend."},{"cited_title":"Ruelle, On the asymptotic condition in quantum field th eory, Helv","cited_arxiv_id":null,"evidence_quote":"Establishes the asymptotic condition in quantum field theory that justifies identifying in- and out-operators with limits of Heisenberg operators."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Shows how collision cross-sections are expressed in terms of local observables, the background for connecting inclusive cross-sections with algebraic states."}],"review_version":1}