Adiabatic definitions of scattering matrix and inclusive scattering matrix

Albert Schwarz

REVIEW 2 major objections 5 minor 1 cited by

Adiabatic definitions of scattering matrix and inclusive scattering matrix

T0 review · 2 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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…

desk verdict 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. read the letter →

arxiv 2412.10634 v1 pith:5NK2PXSR submitted 2024-12-14 quant-ph hep-th

Albert Schwarz This is my paper · ORCID

classification quant-phhep-th MSC 81U2081T1881T15

keywords adiabaticS-matrixL-functionalsinclusivescatteringmatrixGGreenfunctionsLSZformulaquantumcomputingKeldyshformalism

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

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.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the 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.

What 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.

The 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.

A 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.

Who 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.

Recommendation: engage with the work; the paper is worth refereeing, and the refs should press hard on the uniformity claim.

Referee Report

2 major / 5 minor

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.

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 (2)

[Section 5, after Eq. (34)] 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 6, Eq. (36)] 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).

minor comments (5)

[Section 1 (Introduction)] In the paragraph beginning "Another goal of present paper" the phrase "scattering mat qrix" is a typo for "scattering matrix".
[Section 4] 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).
[Eq. (34)] 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 2] The expression "e−αa++α∗a" mixes notation; it should be written with explicit creation and annihilation operators and an ordering convention.
[Throughout] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the adiabatic-dressing derivation of the renormalized S-matrix does not reduce to its inputs; the main unsupported uniformity assertion is a proof gap, not a self-referential step.

full rationale

The central claim (31) is derived, not assumed: the dressing factors (32) follow from the adiabatic theorem via (23)-(24), and the external-propagator analysis (33)-(34) supplies the LSZ amputation factors. The phase factors are fixed by vacuum and one-particle energy integrals, not fitted to the final S-matrix elements, and the on-shell amputated-Green-function expression is obtained from the diagrammatic limit rather than imposed. References [4], [5], and [12] are used for context, definitions, and prior formulations, but the paper sketches its own proofs and relies for analyticity on the external result [13]; hence self-citations are not load-bearing. The only conspicuous unsupported step is the assertion after Eq. (34) that 'the convergence to the limit in (34) is uniform with respect to Ω,' on which the interchange of a→0 and Ω→∞ in (31) depends; this is a missing analytic estimate that would undermine the derivation if false, but it is not a circular reduction of the conclusion to the premises. No fitted parameter is renamed as a prediction, no uniqueness theorem is imported from the authors' prior work, and no known result is merely relabeled.

Assumptions & free parameters 1 free parameters · 6 assumptions · 1 invented entities

All free parameters and axioms are listed above. No new physical entities are postulated; the inclusive scattering matrix is a mathematical object built from the conventional S-matrix and the L-functional formalism. The construction depends on an arbitrary adiabatic switching function, on the adiabatic theorem imported from reference [4], on the stated absence of infrared and ultraviolet divergences and one-particle stability, and on a technical uniformity assumption in the interchange of the adiabatic and volume limits. The phase factors used to dress the S-matrix are fixed by the one-particle energies rather than fitted to data, but the N-equivalence freedom is not fully resolved for non-Lorentz-invariant cases.

free parameters (1)

adiabatic switching function h(t) = any smooth even function, h(0)=1, fast decreasing as |t|→∞
Used to define the adiabatic S-matrix in Sections 2 and 5. The limit is claimed independent of the specific choice, but h is a hand-chosen auxiliary function.

assumptions (6)

domain assumption The formal Hamiltonian (14), after volume cutoff, defines a self-adjoint operator in Fock space with a non-degenerate ground state separated by a gap that does not vanish as Ω→∞.
Invoked in Section 5 to define the adiabatic S-matrix and to apply adiabatic dressing to vacuum and one-particle states.
domain assumption Perturbation theory is free of infrared and ultraviolet divergences, so the only renormalization needed is the phase-factor dressing.
Stated in Section 2 as 'assuming that infrared and ultraviolet divergences are absent' and in Section 5. This excludes QED from the main construction.
domain assumption One-particle stability holds: ε(k1+...+kn) < ε(k1)+...+ε(kn), so energy-momentum conservation prevents particle decay and one-particle states are minimal-energy states in fixed-momentum subspaces.
Equation (30) and the following paragraph in Section 5.
domain assumption The adiabatic theorem formulas (23), (24), and (26) for dressed stationary states in quantum field theory hold as stated.
Section 3 states these formulas and says the proof follows the ideas of reference [4]; the manuscript does not prove them.
ad hoc to paper The external-propagator limit in equation (34) converges uniformly in Ω, and the limit a→0 can be interchanged with Ω→∞.
Section 5: 'One can check that the convergence to the limit in (34) is uniform with respect to Ω'. This technical condition is required for the proof of equation (31).
domain assumption 1PI diagrams and internal propagators have no poles for generic momenta, allowing the a→0 limit to be taken inside diagram sums.
Section 5 imports this from Stapp's paper [13]; it is needed to replace adiabatic vertices and propagators by physical ones.

invented entities (1)

Inclusive scattering matrix S (operator on the space of L-functionals)
purpose: Encodes inclusive cross sections and is related to the conventional S-matrix by S L_K = L_{Ω S K S^*}; intended to remain meaningful in theories like QED where the conventional S-matrix is trivial.
Defined from the existing L-functional formalism and the conventional S-matrix. The manuscript provides no new experimental or falsifiable handle beyond the definitional relation.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Adiabatic definitions of scattering matrix and inclusive scattering matrix." pith.science (2026). https://pith.science/paper/5NK2PXSR

@misc{pith2026241210634,
  author       = {Pith},
  title        = {Pith review of: Adiabatic definitions of scattering matrix and inclusive scattering matrix},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5NK2PXSR}},
  note         = {Machine review of arXiv:2412.10634}
}

read the original abstract

The main goal of present paper is to analyze the adiabatic definition of scattering matrix in the formalism of L-functionals. This definition leads to the notion of inclusive scattering matrix closely related to inclusive cross sections. We discuss this notion and the relation of our techniques to adiabatic quantum computing.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Infrared Problem in Quantum Electrodynamics
hep-th 2026-07 reject novelty 5.0 of 10

A proposed L-functional diagram technique claims to remove QED infrared divergences by resumming the eikonal sector exactly, but the construction is only sketched.

Reference graph

Works this paper leans on

17 extracted references · 15 canonical work pages · cited by 1 Pith paper

[12]

Schwarz, 2024 Quantum mechanics and quantum ﬁeld theory from al- gebraic and geometric viewpoints

A. Schwarz, 2024 Quantum mechanics and quantum ﬁeld theory from al- gebraic and geometric viewpoints. Springer

work page 2024
[1]

Geometric approach to quantum theory

Schwarz, A., 2020. Geometric approach to quantum theory. SI GMA. Sym- metry, Integrability and Geometry: Methods and Applications, 16, p.020

work page 2020
[2]

Geometric and algebraic approaches to quan tum theory

Schwarz, A., 2021. Geometric and algebraic approaches to quan tum theory. Nuclear Physics B, 973, p.115601

work page 2021
[3]

Shvarts, New formulation of quantum theory, Dokl

A.S. Shvarts, New formulation of quantum theory, Dokl. Akad. N auk SSSR, 173, 793 (1967)

work page 1967
[4]

Likhachev, V., Tyupkin ,Yu., Schwarz , A., Adiabatic theorem in quantum ﬁeld theory. Theoret. and Math. Phys., 10:1 (1972), 42- 55 https://link.springer.com/article/10.1007

work page 1972
[5]

Tyupkin, Yu, On the adiabatic deﬁnition of the S matrix in the forma lism of L-functionals, Theoretical and Mathematical Physics, 1973, 16:2 , 751-756, https://link.springer.com/content/pdf/10.1007%2FBF01037126.pdf

work page 1973
[6]

and Levchenko, A., 2009

Kamenev, A. and Levchenko, A., 2009. Keldysh technique and no n-linear σ-model: basic principles and applications. Advances in Physics, 58(3) , pp.197-319

work page 2009
[7]

Chu, H., and H. Umezawa. A uniﬁed formalism of thermal quantum ﬁ eld theory. International Journal of Modern Physics A 9.14 (1994): 2363-2409

work page 1994

Show all 17 references

[8]

S., Fateev, V

Tyupkin, I. S., Fateev, V. A., Shvarts, A. S. Classical limit of scat tering matrix in quantum ﬁeld theory. Akademiia Nauk SSSR Doklady (Vol. 221 , 1975, pp. 70-73)

1975
[9]

Inclusive scattering matrix and scattering o f quasipar- ticles

Schwarz, A., 2020. Inclusive scattering matrix and scattering o f quasipar- ticles. Nuclear Physics B, 950, p.114869

2020
[10]

Scattering matrix and inclusive scattering m atrix in algebraic quantum ﬁeld theory

Schwarz, A., 2019. Scattering matrix and inclusive scattering m atrix in algebraic quantum ﬁeld theory. arXiv preprint arXiv:1908.09388

2019 arXiv
[11]

Schwarz, Mathematical foundations of quantum ﬁeld theor y, 2019

A. Schwarz, Mathematical foundations of quantum ﬁeld theor y, 2019. World Scientiﬁc (translated from Russian)

2019
[13]

Finiteness of the Number of Positive- α Landau Sur- faces in Bounded Portions of the Physical Region

Stapp, H.P., 1967. Finiteness of the Number of Positive- α Landau Sur- faces in Bounded Portions of the Physical Region. Journal of Math ematical Physics, 8(8), pp.1606-1610

1967
[14]

Singularities of scattering matrix

Schwarz, A., 2023. Singularities of scattering matrix. arXiv pre print arXiv:2308.05389

2023 arXiv
[15]

and Sipser, M., 2000

Farhi, E., Goldstone, J., Gutmann, S. and Sipser, M., 2000. Quan tum computation by adiabatic evolution. arXiv preprint quant-ph/0001 106. 18

2000
[16]

and Lidar, D.A., 2018

Albash, T. and Lidar, D.A., 2018. Adiabatic quantum computation . Re- views of Modern Physics, 90(1), p.015002

2018
[17]

and R egev, O., 2008

Aharonov, D., Van Dam, W., Kempe, J., Landau, Z., Lloyd, S. and R egev, O., 2008. Adiabatic quantum computation is equivalent to standard q uan- tum computation. SIAM review, 50(4), pp.755-787. 19

2008

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.

[1] [12]

Schwarz, 2024 Quantum mechanics and quantum ﬁeld theory from al- gebraic and geometric viewpoints

A. Schwarz, 2024 Quantum mechanics and quantum ﬁeld theory from al- gebraic and geometric viewpoints. Springer

work page 2024

[2] [1]

Geometric approach to quantum theory

Schwarz, A., 2020. Geometric approach to quantum theory. SI GMA. Sym- metry, Integrability and Geometry: Methods and Applications, 16, p.020

work page 2020

[3] [2]

Geometric and algebraic approaches to quan tum theory

Schwarz, A., 2021. Geometric and algebraic approaches to quan tum theory. Nuclear Physics B, 973, p.115601

work page 2021

[4] [3]

Shvarts, New formulation of quantum theory, Dokl

A.S. Shvarts, New formulation of quantum theory, Dokl. Akad. N auk SSSR, 173, 793 (1967)

work page 1967

[5] [4]

Likhachev, V., Tyupkin ,Yu., Schwarz , A., Adiabatic theorem in quantum ﬁeld theory. Theoret. and Math. Phys., 10:1 (1972), 42- 55 https://link.springer.com/article/10.1007

work page 1972

[6] [5]

Tyupkin, Yu, On the adiabatic deﬁnition of the S matrix in the forma lism of L-functionals, Theoretical and Mathematical Physics, 1973, 16:2 , 751-756, https://link.springer.com/content/pdf/10.1007%2FBF01037126.pdf

work page 1973

[7] [6]

and Levchenko, A., 2009

Kamenev, A. and Levchenko, A., 2009. Keldysh technique and no n-linear σ-model: basic principles and applications. Advances in Physics, 58(3) , pp.197-319

work page 2009

[8] [7]

Chu, H., and H. Umezawa. A uniﬁed formalism of thermal quantum ﬁ eld theory. International Journal of Modern Physics A 9.14 (1994): 2363-2409

work page 1994