{"id":"6f12795d-a5d7-443f-8dad-62ffb46230a8","arxiv_id":"2412.10634","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Adiabatic dressing with phase factors defines the renormalized scattering matrix and its inclusive counterpart, whose matrix elements are amputated Green functions on shell.","lead":"This paper gives an adiabatic, slowly-switched-on definition of scattering matrices in a special mathematical language for quantum states, and shows how it yields an inclusive scattering matrix tied to inclusive cross sections. It also connects the setup to adiabatic quantum computing and to the classical limit.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The unproved uniformity of the external-propagator limit (34) in Ω is load-bearing; without it, the limits in (31) cannot be interchanged and the equality with the LSZ S-matrix is unsupported.","rationale":"The reader's verdict already identifies the uniformity of (34) as the weakest assumption, and I agree. The paper's central proof is a sketch: the key step is a single unproved sentence after (34). Since the final equality with the LSZ S-matrix depends on the ability to take Ω→∞ before a→0, and no volume-independent adiabatic error bound is given, the CONDITIONAL verdict is appropriate. I considered whether a more fundamental concern exists, such as the N-equivalence definition or the use of Stapp's Landau-surface finiteness for 1PI diagrams; those are less central because, even if vertices and internal propagators are well behaved, the external-propagator phase renormalization must be uniform for the limit to exist. The paper should either provide the missing uniform bound or explicitly restrict to a class of models (e.g., massive theories with bounded mode-count effects) where such a bound can be established. No verdict change beyond the reader's CONDITIONAL is needed.","tokens_in":13722,"tokens_out":6816,"duration_ms":69338,"concrete_test":"Derive an explicit bound for the difference between the two sides of (34) by applying the adiabatic theorem to H_Ω(g) and retaining the error terms to next order in a, in a massive scalar φ^3 theory on a periodic lattice with UV cutoff. Compute ||∂_g Θ_Ω(g)|| and the relevant energy-derivative terms in second-order perturbation theory; if these grow with Ω, the uniform convergence claim is false. Alternatively, numerically evaluate both sides of (34) at finite small a and increasing Ω by exact diagonalization in a truncated Fock space, and check whether the error is uniformly bounded as Ω→∞. If the error diverges with Ω at fixed a, the double limit in (31) is not justified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central formula (31) requires interchanging lim_{a→0} and lim_{Ω→∞}. The paper reduces this to the assertion, after eq. (34), that 'One can check that the convergence to the limit in (34) is uniform with respect to Ω,' but no argument or bound is provided. This is load-bearing: eq. (34) is the only place where the dressing phases (32) are converted into the on-shell factors needed for LSZ. For fixed Ω, (34) is an instance of the quantum adiabatic theorem for H_Ω(g). Standard adiabatic error bounds are of order (1/a)(||∂_g H_Ω||/Δ^2 + ...) times derivatives of the eigenvector; in a field theory with volume cutoff, these norms and derivatives can grow with Ω through the number of modes or the density of states, so uniformity is not automatic. The paper assumes a gap bounded below as Ω→∞, but this alone does not control ||∂_g Θ_Ω(g)||. If uniformity fails, taking Ω→∞ first (as the definition lim_{a→0} lim_{Ω→∞} demands) may not coincide with the a→0 limit of dressed quantities, and the equality with the renormalized LSZ S-matrix is unsupported. The same unproved uniformity is imported into Section 6 for the L-functional limit (36): the existence of S and its identification with amputated GGreen functions on shell both rest on this step. Thus the central claim is conditional on a nontrivial analytic estimate that the manuscript only asserts.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes adiabatic constructions of the scattering matrix and of an inclusive scattering matrix in the L-functional (Keldysh) formalism. The main formulas are Eq. (31), expressing the renormalized S-matrix as the double limit a→0 then Ω→∞ of the dressed adiabatic S-matrix divided by a vacuum matrix element, and Eq. (36), defining the inclusive S-matrix as the limit of U_a S_a U_a. The paper sketches proofs based on adiabatic perturbation theory and 1PI diagrams, and claims that in the limits the expressions reduce to amputated (G)Green functions on shell, thereby recovering the LSZ S-matrix and making inclusive cross sections accessible.","tokens_in":14040,"tokens_out":4890,"duration_ms":43296,"significance":"If the central claims hold, the paper supplies a unified adiabatic perspective on both the standard S-matrix and the inclusive S-matrix, and it makes explicit how phases from adiabatic dressing convert external propagators into LSZ factors. The explicit formulas (31), (32), (36), and (37) are valuable, as is the connection to Keldysh techniques and the semiclassical limit of Section 7. However, the proofs are presented as sketches, and the main analytic estimates are asserted rather than demonstrated; the paper does not provide machine-checked proofs or numerical verification, so its contribution is conceptual and diagrammatic.","major_comments":[{"comment":"The assertion that \"One can check that the convergence to the limit in (34) is uniform with respect to Ω\" is load-bearing but unproved. Formula (31) requires interchanging lim_{a→0} and lim_{Ω→∞}; Eq. (34) is the only place where the dressing phases are converted into on-shell external propagator factors. Standard adiabatic error bounds involve quantities such as ||∂_g H_Ω||/Δ^2 and derivatives of the eigenvectors, which can grow with the volume Ω through the number of modes; the assumed non-degenerate gap below does not by itself control these norms. Without a proof or a reference supplying a uniform-in-Ω estimate, the equality of the adiabatically dressed S-matrix with the LSZ S-matrix is not established.","section":"Section 5, after Eq. (34)"},{"comment":"The definition of the inclusive scattering matrix S as the limit of U_a S_a U_a inherits the same unproved uniformity: the text states that \"the same considerations show\" that the limit can be expressed in terms of 1PI diagrams on shell, but no bound is given for the convergence of the external propagators with respect to the volume. Since the identification of S with amputated GGreen functions on shell and the relation S L_K = L_{\\hat S K \\hat S^*} both depend on this limit, the central claim of Section 6 is conditional on the same analytic estimate as Eq. (31).","section":"Section 6, Eq. (36)"}],"minor_comments":[{"comment":"In the paragraph beginning \"Another goal of present paper\" the phrase \"scattering mat qrix\" is a typo for \"scattering matrix\".","section":"Section 1 (Introduction)"},{"comment":"The sentence beginning \"If ω is a stationary state ...\" contains a broken parenthetical and refers to Eq. (31), which is defined only later in Section 5; the intended reference appears to be to Eq. (23) or Eq. (26).","section":"Section 4"},{"comment":"The expression \"limeisΩ(k1,h(t)Ra,Ω...\" is missing a closing parenthesis and the limit variable is not displayed, making the formula difficult to parse.","section":"Eq. (34)"},{"comment":"The expression \"e−αa++α∗a\" mixes notation; it should be written with explicit creation and annihilation operators and an ordering convention.","section":"Section 2"},{"comment":"Several statements are said to follow from [13] about poles of 1PI diagrams; since [13] concerns Landau surfaces, a short explanation of how it implies the required absence of poles would help the reader.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a concise research-announcement-style paper that leans heavily on the author's book [12] and the older papers [4,5]. The main proof gap is the unproved uniform convergence in Eq. (34), which also undermines Section 6. If the journal expects fully detailed proofs, this is a major revision; if sketch proofs are acceptable for this type of conceptual paper, the author should at least state the uniformity claim as a precise conjecture or provide an appendix with the estimate. The central claim is plausible but not yet demonstrated."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a condensed exposition of the author's L-functional framework for scattering, with a simpler route to equation (31) and a brief look at the ℏ→0 limit. The main formulas are not new—equation (31) and the on-shell amputated-Green-function expression appear in the author's prior work and in Tyupkin's 1973 paper. That is fine; the paper is honest about this and positions itself as a simplification and unification.\n\nWhat the paper does well: it states its assumptions explicitly (translation invariance, stable particles, no IR/UV divergences), lays out the adiabatic dressing logic clearly, and the algebraic relations in Section 2, including S L_K = L_{S K S^*}, are straightforward and correct. The discussion of N-equivalence and the freedom in defining the renormalized S-matrix is useful, and the self-citations are appropriate given the subject matter.\n\nThe soft spot is exactly where the stress-test note points. The proof of the central identity (31) requires the limit in (34) to be uniform in Ω. That uniformity is asserted in a single sentence and is load-bearing: it justifies exchanging a→0 and Ω→∞ and converts the dressing phases into the on-shell LSZ factors. Standard adiabatic error estimates involve derivatives of the Hamiltonian and eigenvectors, which can grow with volume in ways that a non-degenerate gap alone does not control. The paper provides no bound, no argument, no reference for this step. This is a real gap, though not evidence that the result is false—the construction is plausible and consistent with older literature. A referee could reasonably ask for the estimate or a clear reduction to known analytic properties of 1PI diagrams.\n\nA second, milder weakness is that the paper relies heavily on reference [12] for statements left without proof. That is acceptable for a research summary but makes the paper less self-contained than it pretends to be. The ℏ→0 section is also a sketch, but that is clearly secondary.\n\nWho should read this: specialists already working with L-functionals, Keldysh formalism, or inclusive cross sections. It is a useful roadmap and a clear statement of the author's current viewpoint. The central open question—uniformity in Ω—is checkable and deserves a serious referee's time. I would send it to peer review, but flag that the proof needs completion before it can be considered fully established.\n\nRecommendation: engage with the work; the paper is worth refereeing, and the refs should press hard on the uniformity claim.","headline":"Useful summary of the author's adiabatic construction of the inclusive S-matrix, but the central claim rests on an unproved uniformity estimate that is not optional.","tokens_in":14573,"tokens_out":1952,"would_cite":false,"duration_ms":19238,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81U20","81T18","81T15"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper argues that a dressed adiabatic limit—turn the interaction on slowly, correct with one-particle phase factors, divide by the vacuum amplitude—recovers the full renormalized scattering matrix, and that in the L-functional…","keywords":["adiabatic S-matrix","L-functionals","inclusive scattering matrix","GGreen functions","LSZ formula","adiabatic quantum computing","Keldysh formalism","scattering matrix"],"falsifier":"Compute the external-propagator limit (34) for a scalar field with a quartic interaction on a sequence of finite volumes: if the error in the convergence as $a\\to0$ grows with $\\Omega$, the two limits do not commute and the dressed adiabatic expression (31) will not reproduce the on-shell amputated Green function. A second check: construct a theory in which the one-particle gap closes as $\\Omega\\to\\infty$; in that case the dressed vacuum is no longer a uniform limit and the identity $\\mathbf{S}L_K = L_{\\hat{S}K\\hat{S}^*}$ cannot be established by the paper's argument.","tokens_in":13465,"feed_emoji":"⚛️","tokens_out":9615,"duration_ms":82692,"temperature":0.7,"pith_summary":"The paper argues that the standard renormalized scattering matrix of a quantum field theory can be obtained by adiabatic slow switching: start with the interaction off in the infinite past, turn it on slowly, and take the limit of infinitely slow switching. The subtlety is that the naive adiabatic limit gives an unrenormalized S-matrix; the author shows that multiplying by unitary phase factors built from the one-particle energy shifts, and dividing by the vacuum-to-vacuum amplitude, repairs this and produces the physical S-matrix. In the L-functional formulation, where states and density matrices are represented by generating functionals, the same construction needs no volume cutoff and defines an inclusive scattering matrix $\\mathbf{S}$ whose matrix elements are amputated on-shell GGreen functions. The paper also shows that $\\mathbf{S}$ is related to the conventional S-matrix by $\\mathbf{S}L_K = L_{\\hat{S}K\\hat{S}^*}$, so inclusive cross sections can be read off from $\\mathbf{S}$. A sympathetic reader would care because this ties together three normally separate tools—adiabatic theorems, LSZ reduction, and Keldysh-style diagrammatics—under one limit.","feed_headline":"Dress the vacuum, switch slowly, recover the scattering matrix","feed_subtitle":"A slow-switching limit with phase-dressed states yields scattering probabilities and inclusive cross sections from one diagrammatic rule.","key_machinery":"The load-bearing object is the L-functional: to every density matrix $K$ in a CCR or CAR representation it assigns $L_K(\\alpha^*,\\alpha) = \\mathrm{Tr}\\, e^{-\\alpha a^+} e^{\\alpha^* a} K$, a generating functional for all correlation functions. The argument is carried by two mechanisms. First, adiabatic dressing: formulas (23)–(24) express the dressed vacuum and dressed one-particle states of $\\hat{H}(0)+g\\hat{V}$ as limits of interaction-picture evolution with a slowly switched interaction, and the same dressing is applied to L-functionals. Second, the identity $\\mathbf{S}L_K = L_{\\hat{S}K\\hat{S}^*}$ transfers scattering information between the conventional Fock-space S-matrix and the inclusive L-functional S-matrix, so inclusive cross sections are encoded in matrix elements of $\\mathbf{S}$. The proof technique is diagrammatic: with vertices taken as one-particle-irreducible diagrams and propagators as physical two-point GGreen functions, the adiabatic limit acts only on external legs, and the phase factors in $\\hat{U}_{a,\\Omega}$ convert those legs into the on-shell amputated factors of the LSZ formula.","core_discovery":"On the paper's own terms, the central discovery is that the renormalized scattering matrix $\\hat{S}$ is the double limit $$\\hat{S} = \\lim_{a\\to0}\\lim_{\\$\\Omega$\\to\\infty} \\frac{\\hat{U}_{a,\\$\\Omega$}\\,\\hat{S}_{a,\\$\\Omega$}\\,\\hat{U}_{a,\\$\\Omega$}}{\\langle\\$\\theta$|\\hat{S}_{a,\\$\\Omega$}|\\$\\theta$\\rangle},$$ where $\\hat{S}_{a,\\Omega}$ is the finite-volume adiabatic S-matrix, $\\theta$ is the free vacuum, and $\\hat{U}_{a,\\Omega}$ is a unitary operator whose phase is the integrated one-particle energy shift $\\int_0^{-\\infty}(\\epsilon_\\Omega(k|h(\\tau))-\\epsilon(k))\\,d\\tau$. The proof runs through external-propagator analysis: after dressing, the external legs of the adiabatic diagrams become, in the limit, the same factors that appear in the LSZ formula, while internal propagators and one-particle-irreducible vertices pass to the physical ones. In the L-functional formalism, the analogous operator $\\mathbf{S}=\\lim_{a\\to0} U_a S_a U_a$ exists without a volume cutoff, satisfies $\\mathbf{S}L_K = L_{\\hat{S}K\\hat{S}^*}$, and its matrix elements are amputated GGreen functions on shell.","pith_inferences":["The paper treats the interchange of the limits $a\\to0$ and $\\Omega\\to\\infty$ as justified by uniformity; a concrete lattice test of that uniformity would settle whether the dressed-adiabatic route and LSZ reduction agree beyond perturbation theory.","If the paper's conjecture about quantum electrodynamics is right, the inclusive scattering matrix would remain finite in processes where the conventional S-matrix is trivial because of soft-photon clouds, so inclusive cross sections would be computable where standard LSZ is not.","The same adiabatic-dressing identity suggests a general recipe for extracting inclusive observables from any theory with a stable vacuum and a gap: dress the free equilibrium state, evolve, and read off amputated on-shell GGreen functions.","Because the difference between the two L-functional field operators is proportional to $\\hbar$, the formalism gives a direct route to semiclassical limits of scattering, and the $\\hbar\\to0$ statement here could be tested against known classical scattering of solitons."],"forward_implications":["The physical renormalized S-matrix can be computed as the $\\Omega\\to\\infty$, $a\\to0$ limit of the dressed adiabatic S-matrix, so no separate wavefunction renormalization factors have to be added by hand; the phase-dressing unitaries supply them automatically.","In the L-functional formalism the inclusive scattering matrix $\\mathbf{S}$ is defined directly in infinite volume, without the volume cutoff needed for the conventional Hamiltonian.","Matrix elements of $\\mathbf{S}$ are amputated GGreen functions on shell, which gives a single diagrammatic formula for inclusive cross sections.","Physical Green functions in the ground state are obtained as the $a\\to0$ limit of adiabatic Green functions divided by the vacuum-to-vacuum amplitude, matching the LSZ picture.","The inclusive scattering matrix has a well-defined $\\hbar\\to0$ limit, and in that limit only the quantum GGreen function with one quantum index contributes."],"supporting_citations":[{"why":"Supplies the adiabatic theorem in quantum field theory and the finite-volume construction that Section 5 adapts to define the renormalized S-matrix.","marker":"[4]"},{"why":"Gives the original L-functional adiabatic definition of the S-matrix that this paper simplifies and extends to the inclusive scattering matrix.","marker":"[5]"},{"why":"Introduces the inclusive scattering matrix and its expression in terms of amputated GGreen functions, which the present paper re-derives by adiabatic dressing.","marker":"[9]"},{"why":"Provides the algebraic-quantum-field-theory formulation of the inclusive scattering matrix and the amputated-GGreen-function formula used here.","marker":"[10]"},{"why":"Supplies the systematic definitions of L-functionals, GGreen functions, Keldysh diagram techniques, and the LSZ formula that the arguments rely on.","marker":"[12]"},{"why":"Supplies the analyticity and pole-locality results for one-particle-irreducible diagrams used to justify that vertices and internal propagators tend to their physical limits.","marker":"[13]"}],"fun_headline_variants":["Adiabatic S-matrix via double limit and vacuum dressing","Slow-switch limit yields inclusive scattering matrix","Dress vacuum, switch slowly, get S-matrix from double limit","Inclusive cross sections from adiabatic definitions with L-functionals","Scattering matrix recovered in adiabatic limit with phase-dressed states"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction rests on the assumption that the slow-switching limit and the infinite-volume limit can be exchanged: the dressed wavefunctions in equation (34) are supposed to converge uniformly in the volume $\\Omega$, which requires the energy gap above the vacuum to stay open as $\\Omega\\to\\infty$ and the pole structure of the one-particle-irreducible diagrams to be as regular as reference [13] says.","fun_headline_variants_meta":{"raw":{"variants":["Adiabatic S-matrix via double limit and vacuum dressing","Slow-switch limit yields inclusive scattering matrix","Dress vacuum, switch slowly, get S-matrix from double limit","Inclusive cross sections from adiabatic definitions with L-functionals","Scattering matrix recovered in adiabatic limit with phase-dressed states"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000222,"raw_usage":{"total_tokens":1402,"prompt_tokens":842,"completion_tokens":560,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":458,"completion_tokens_details":{"reasoning_tokens":475}},"tokens_in":458,"tokens_out":560,"duration_ms":5160,"temperature":1.0,"reasoning_tokens":475,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T15:46:07.110575+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the external-propagator limit (34) for a scalar field with a quartic interaction on a sequence of finite volumes: if the error in the convergence as $a\\to0$ grows with $\\Omega$, the two limits do not commute and the dressed adiabatic expression (31) will not reproduce the on-shell amputated Green function. A second check: construct a theory in which the one-particle gap closes as $\\Omega\\to\\infty$; in that case the dressed vacuum is no longer a uniform limit and the identity $\\mathbf{S}L_K = L_{\\hat{S}K\\hat{S}^*}$ cannot be established by the paper's argument.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the adiabatic theorem in quantum field theory and the finite-volume construction that Section 5 adapts to define the renormalized S-matrix."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the original L-functional adiabatic definition of the S-matrix that this paper simplifies and extends to the inclusive scattering matrix."},{"cited_title":"Inclusive scattering matrix and scattering o f quasipar- ticles","cited_arxiv_id":null,"evidence_quote":"Introduces the inclusive scattering matrix and its expression in terms of amputated GGreen functions, which the present paper re-derives by adiabatic dressing."},{"cited_title":"Schwarz, 2024 Quantum mechanics and quantum field theory from al- gebraic and geometric viewpoints","cited_arxiv_id":null,"evidence_quote":"Supplies the systematic definitions of L-functionals, GGreen functions, Keldysh diagram techniques, and the LSZ formula that the arguments rely on."},{"cited_title":"Finiteness of the Number of Positive- α Landau Sur- faces in Bounded Portions of the Physical Region","cited_arxiv_id":null,"evidence_quote":"Supplies the analyticity and pole-locality results for one-particle-irreducible diagrams used to justify that vertices and internal propagators tend to their physical limits."}],"review_version":1}