Geometric Approach to Quantum Theory. L-functionals

Albert Schwarz

REVIEW 4 major objections 4 minor 1 cited by

Geometric Approach to Quantum Theory. L-functionals

T0 review · 4 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read QED's infrared divergences are claimed to disappear when the numerical part of the current is chosen to equal the current of incoming particles at early times and outgoing particles at late times.

desk verdict A slide-deck proposal that L-functional QED becomes IR-finite with a carefully chosen numerical current; the review part is solid, the conjecture is plausible but rests on an unproved decomposition lemma. read the letter →

arxiv 2607.17566 v1 pith:J2NDEDR7 submitted 2026-07-20 hep-th math-phmath.MP

Albert Schwarz This is my paper · ORCID

classification hep-thmath-phmath.MP

keywords L-functionalsQEDinfrareddivergencesinclusivescatteringmatrixKeldyshformalismCoulombgaugelinearizedgravityquencheddisorder

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

This slide-deck paper develops the L-functional formalism as a geometric approach to quantum theory and applies it to QED, where the conventional scattering matrix does not exist because any process with a fixed number of particles has zero probability. The central proposal is a conjecture: infrared divergences in QED inclusive cross-sections vanish in L-functional perturbation theory if the numerical part of the current is chosen to coincide with the current of incoming particles at t→−∞ and of outgoing particles at t→+∞, and if the first line of the Hamiltonian is treated as the free Hamiltonian. The paper sketches a proof by decomposing the interaction −jA and arguing that only one term, U = −j_U A, produces infrared divergences; the remaining terms are suppressed by frequencies bounded below by 2m or by the Gordon relation. If the conjecture is correct, inclusive QED scattering is infrared-finite order by order, which would make the inclusive scattering matrix the right observable for theories with massless particles.

What carries the argument

The L-functional L_K(f*,f) = Tr W_f K, with W_f = exp(−a†(f)) exp(a(f̄)), is a generating functional of correlation functions that treats all representations of the canonical commutation relations simultaneously; in the QED context it is modified to respect gauge conditions. The carrying identity is the decomposition of the interaction −jA into a term U = −j_U A, whose time-dependence is governed by the soft frequency ω_k(p,k) = pk/p0 + O(k²), and terms U′ = −j_{U′}A, T′ = −j_{T′}A, and the instantaneous Coulomb potential V_nl, which are argued not to contribute to infrared divergences because their frequencies are bounded below by 2m or because the Gordon relation (an identity expressing th

What would settle it

Compute the infrared behaviour of the combination (−jA − U) in L-functional perturbation theory at two loops; a nonzero soft divergence from the supposedly innocent terms U′ or T′ would falsify the conjecture. Alternatively, test the prescription in a simplified model with a known exact inclusive cross-section and compare the perturbative result.

Watch

Extended reading notes

Core claim

The central claim the author is trying to establish is that the infrared problem of QED can be solved within the L-functional formalism by a precise choice of the numerical (classical) part of the electromagnetic current: it should equal the current of the incoming particles at t→−∞ and of the outgoing particles at t→+∞. With this choice, and with the 'first line' Hamiltonian (matter plus photons plus the numerical-current interaction) as the free Hamiltonian, the remaining terms of the QED interaction are argued to be infrared-innocent. The only fully worked example is the classical-current case, which reproduces the standard inclusive single-photon cross-section dN(k)=|A(k,t)|^2/(2ε(k)) dk

Load-bearing premise

The load-bearing premise is the unproved claim that in the QED interaction only the term U = −j_U A produces infrared divergences, with all other terms infrared-innocent; if any other term contributes soft singularities, the numerical-current cancellation fails. A second unproved premise is that the inclusive scattering matrix exists as the stated limit of gapped theories.

Editorial extensions

If this is right

Inclusive QED cross-sections are infrared-finite at every order of perturbation theory, so the inclusive scattering matrix is well-defined even though the conventional S-matrix is not.
The formalism provides a concrete prescription for defining inclusive observables in gauge-field theories with the doubling of fields, including Coulomb gauge.
The same decomposition strategy should transfer to linearized gravity, where the paper sketches an analogous treatment of graviton inclusive cross-sections.
Quenched disorder averages, computed in the L-functional or Keldysh formalism, become well-defined in stationary and non-stationary settings.
The classical-current example yields the exact single-photon inclusive cross-section, and the multi-photon formula is a direct product of single-photon factors, matching the expected independent-emission picture.

Reading between the lines

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

If the conjecture holds, it suggests that the persistent infrared problem in QED is not a failure of perturbation theory but an artifact of choosing the wrong free Hamiltonian; the same 'numerical current as particle current' rule might provide a general recipe for massless gauge theories.
The decomposition lemma is the load-bearing step; a direct verification of the claimed infrared-innocence of U′ and T′ at two loops would either confirm or refute the conjecture, and could be checked in a simplified Yukawa-type model before returning to full QED.
The paper's treatment of linearized gravity is only sketched; extending the L-functional decomposition to graviton self-interactions would test whether the numerical-current prescription generalizes to non-Abelian and non-linear gauge theories.
Since the single-photon formula factorizes for multi-photon inclusive cross-sections, the formalism may provide a derivation of the classical radiation pattern from quantum field theory, connecting to eikonal and soft-theorem approaches.

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

Dear colleague — this is a slide deck, not a full paper, and that matters. The genuinely new thing is the conjecture: choose the numerical part of the current to match the incoming particles at t→−∞ and outgoing at t→+∞, and L-functional perturbation theory for QED has no infrared divergences when the first line (with −j_num A) is treated as free. Everything else — L-functionals, doubling, Keldysh link, adiabatic S-matrix — is a review of the author's own formalism. That is fine, but it means the paper's value stands or falls on the conjecture.

The worked classical-current example is clean and internally consistent: from dS/dt = VS you get the exponential solution and the inclusive cross-section dN = |A|^2/(2ϵ)dk, which matches standard bremsstrahlung results. That is real evidence the formalism is coherent and the example is not a fit to anything.

The soft spot is exactly where the reader flagged: the sketch of proof reduces the IR question to a decomposition lemma that is asserted, not proved. Only −j_U A is claimed to be IR-divergent; j_T', j_U', and V_nl are declared innocent. The stress-test note makes a fair point that j_U' contains a spin term O(k) which could interfere with the leading eikonal amplitude and produce logarithmic divergences, and that V_nl has no photon frequency but may still generate secular terms. More importantly, the argument is phrased for the physical Hamiltonian, while L-functional perturbation theory runs on the doubled Hamiltonian with c_i operators. Zero frequencies from left–right energy differences are not obviously covered by the physical-operator argument. So the conjecture is plausible but unsupported as it stands.

I would not call this circular or fitting-as-prediction. The construction is subtractive by design; the classical example is checked against known results; the conjecture is explicitly labeled as a conjecture. The self-citations are appropriate because the formalism is the author's own. The proper criticism is simply that the load-bearing step is a sketch, and the paper itself says so.

Who benefits? Anyone working on IR QED or on the L-functional/Keldysh formalism will find the conjecture worth a careful look. I would not treat it as established, but I would not dismiss it either. A serious referee could decide whether the decomposition lemma can be filled in; the paper deserves referee time rather than a desk rejection. If the sketch becomes a proof, this is a substantial result.

Referee Report

4 major / 4 minor

Summary. This manuscript is a slide deck reviewing the L-functional approach to quantum theory and proposing an application to the infrared problem of QED. After recalling the algebraic/geometric formulation of states as positive functionals on the Weyl algebra, the author describes the doubling of fields, generalized (Keldysh) Green functions, and the inclusive scattering matrix. A worked example with a classical current yields the single-photon inclusive cross-section dN(k)=|A(k,t)|^2/(2ε(k)) dk, matching standard bremsstrahlung results. The central new claim is a conjecture: in QED, if the numerical part of the electromagnetic current is chosen to equal the current of incoming particles at t→−∞ and outgoing particles at t→+∞, and if the first line H_mat+H_ph−j_num A is treated as the free Hamiltonian, then the L-functional perturbation theory for inclusive cross-sections is infrared-finite at every order. A brief sketch of proof asserts a decomposition of −jA into a dangerous term U=−j_U A and several 'infrared-innocent' terms, but the decomposition lemma is not proved.

Significance. If the conjecture is correct, it would provide a novel, order-by-order infrared-finite perturbation theory for QED inclusive observables, avoiding the usual issues of the non-existence of the conventional S-matrix. The L-functional framework is well suited to inclusive quantities because it directly computes generalized Green functions and inclusive scattering matrices. The classical-current example is internally consistent, self-contained, and reproduces a known result without fitted parameters, which is a genuine strength. However, the paper's central assertion remains a conjecture with only a sketch of support; the only fully worked calculation does not involve charged-particle back-reaction and therefore does not test the cancellation mechanism. The potential significance is high, but the current manuscript does not yet establish the claim.

major comments (4)

[§'Sketch of proof' and §'Infrared divergences from −jA'] The load-bearing decomposition lemma is asserted, not proved. It claims that only U=−j_U A is infrared-divergent, while j_T' (frequencies bounded below by 2m), U' (with explicit k factors), and V_nl are 'infrared-innocent.' No analysis of V_nl is given, and the treatment of U' is only a plausibility argument: the σ^{μν}k_ν spin term is O(k) and could interfere with the leading eikonal amplitude to produce a logarithmic divergence. Moreover, the sketch works with the physical Hamiltonian, not with the doubled L-functional Hamiltonian in c_i operators; the left–right structure can generate zero frequencies from energy differences that have no counterpart in the physical-operator argument. Since the proposed cancellation is subtractive, any overlooked log-level contribution from these sectors invalidates the conjecture. A detailed check—ideally computing the leading IR log for a concrete pr
[§'Conjecture' and §'More precise conjecture'] The numerical current j_num(k,t) is not actually defined. 'The current of incoming particles at t→−∞ and outgoing particles at t→+∞' is a heuristic phrase, not an algorithm for a state with several charged particles. In the more concrete sketch, j_U is an operator built from the charge-density operator ρ(p), not a c-number. If the first line is H_mat+H_ph−j_num A, then j_num must be c-number-valued; if it is instead the operator j_U, the 'free Hamiltonian' is not quadratic and the L-functional perturbation theory around it is not formulated. The manuscript should specify j_num unambiguously in terms of the incoming/outgoing momenta and explain how the perturbation expansion is organized.
[§QED: definition of inclusive S-matrix] The claim that the QED inclusive scattering matrix exists as a limit of gapped theories is unproved. The paper cites an existence theorem for theories with a gap and then asserts the QED limit. This is a nontrivial step: one must show that the limit is independent of the regularization/gapping and reproduces the standard inclusive cross-sections. The classical-current example does not address this issue because there is no charged matter and therefore no gap problem. Without this existence premise, the conjectured IR-finite perturbation theory has no well-defined object to approximate.
[Example: QED when the action of photons on electrons is neglected] The only fully worked derivation is a classical-current model with no electron operators. It correctly reproduces the standard single-photon inclusive rate dN=|A|^2/(2ε) dk, but it does not test the conjecture: there are no electron propagators, no soft-photon emissions from internal charged lines, and hence no infrared divergences to cancel. This example is valuable as a consistency check of the L-functional calculus, but it is not evidence for the central cancellation mechanism.

minor comments (4)

[Throughout; equations in §QED example] The notation is often ambiguous: 'dkp/2ε(k)' and 'p2ε(k)' are not clear (presumably 1/sqrt(2ε(k))), and the modification of the L-functional with the 1/sqrt(2ε) factor is introduced but not used consistently. Please clarify the normalization in every equation.
[Gordon relation in §'Infrared divergences from −jA'] The Gordon identity is written with kμ in the last term, while the preceding formula has σ^{μν}k_ν; this is presumably a typo and should be corrected.
[§'Inclusive scattering matrix' and §'Adiabatic scattering matrix'] The symbols S, S_hat, U_a, and U_{a,Ω} are overloaded and not consistently distinguished. The limit definitions should be spelled out with distinct notation.
[Example: Linearized gravity] This section is extremely brief and gives no formulas for the inclusive graviton cross-section. Either expand with the relevant computation or remove it, since as written it is not assessable.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: the worked classical-current calculation is self-contained and the QED claim is an openly labeled conjecture resting on an unproved decomposition lemma, not on a circular reduction.

full rationale

The only fully worked derivation in the paper is the classical-current QED example. There the L-functional evolution equation is solved exactly under a specified numerical current j(k,t), and the inclusive cross-section dN(k)=A(k,t)·A*(k,t)/(2ε(k))dk is obtained directly from that solution. No parameter is fitted to the final formula, and the result is checked against the standard single-photon inclusive cross-section. This part is self-contained and not circular. The central QED claim is explicitly presented as a conjecture, not as a derived theorem. The 'Sketch of proof' introduces a decomposition of the interaction into j_T and j_T', then j_U and j_U', and asserts that only the U term produces infrared divergences. The statements that j_T' has frequencies bounded below by 2m and that j_U' carries explicit k factors are substantive analytical claims. They may be incomplete or even false, but they are not restatements of the conjecture; they are the kind of technical lemmas that would need independent proof. An unsupported lemma is a gap or a correctness risk, not circular reasoning. The choice of the numerical current as the incoming/outgoing particle current is a physical ansatz, not a parameter fitted to cancel divergences. The success or failure of the construction depends on whether the remaining terms are truly infrared-innocent, which is not guaranteed by the definition of the numerical current. Thus the prediction is not forced by construction. Self-citations such as 'L-functionals Sch(1967)' and 'Likhachev, Tyupkin, Sch' are background references for the formalism and for the adiabatic scattering-matrix construction. They are not used as a load-bearing uniqueness theorem to forbid alternatives, and no central conclusion is justified solely by an overlapping-author citation. The paper also acknowledges the independent rediscovery of inclusive scattering matrices by Caron-Huot et al., further reducing any concern about renaming known results. Overall, no specific equation or construction reduces a prediction to its own input. The appropriate finding is no significant circularity.

Assumptions & free parameters 2 free parameters · 5 assumptions · 0 invented entities

The paper postulates no new entities; its load-bearing inputs are the L-functional identification of all representations of CCR as the state space, the asserted existence of the QED inclusive scattering matrix as a gapped limit, the frequency-bound argument that identifies IR-divergent terms, and a hand-chosen numerical current that acts as the cancellation device. The numerical current is a free choice (c-number function) whose specification is the conjecture itself.

free parameters (2)

Numerical current j_num(k,t) (c-number part of the electromagnetic current) = chosen to coincide with the incoming-particle current at t->-infinity and outgoing-particle current at t->+infinity (equ
This function is chosen by hand to cancel the IR-divergent term U = -j_U A; it is a subtraction-scheme choice, not a measured value. The entire conjecture depends on this choice existing and being consistent.
L-functional measure factor 1/sqrt(2*epsilon(k)) in Lorentz-gauge QED definition = 1/sqrt(2*epsilon(k)) per mode (introduced 'to have explicit Lorentz-invariance')
A normalization choice modifying the definition of the L-functional for QED; the paper says there is 'no necessity' in Coulomb gauge, indicating it is a gauge-dependent convention rather than a fitted quantity.

assumptions (5)

domain assumption The inclusive scattering matrix in QED exists as a limit of inclusive scattering matrices of theories with a mass gap.
Asserted on the slide 'Inclusive scattering matrix in QED can be defined as a limit of inclusive scattering matrices of theories with a gap'; no proof is given in the deck, and the conjecture's meaning depends on this limit.
domain assumption States of the theory are all states of all (inequivalent) representations of the CCR, handled simultaneously via L-functionals.
Core interpretive stance of the formalism ('one can say that when working with functionals L we consider all representations of CCR simultaneously'); standard within the author's framework but assumed for the QED application.
domain assumption Frequencies appearing in the non-dangerous terms are bounded below by 2m (electron mass), hence those terms cannot generate infrared divergences.
Used in the sketch of proof to discard j_T' (omega_m >= 2m) and, via the Gordon relation, U'. The inference from frequency positivity to IR-finiteness is standard in IR analysis but is not proved here.
standard math Standard CCR/Weyl-algebra representation theory and the algebra of the exponential Weyl algebra.
Used throughout to define L-functionals and the c+, c operators; standard background.
standard math Gordon decomposition of the Dirac current, Dirac algebra, spinor wavefunction normalization.
Used in the U' split; standard Dirac theory.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Geometric Approach to Quantum Theory. L-functionals." pith.science (2026). https://pith.science/paper/J2NDEDR7

@misc{pith2026260717566,
  author       = {Pith},
  title        = {Pith review of: Geometric Approach to Quantum Theory. L-functionals},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/J2NDEDR7}},
  note         = {Machine review of arXiv:2607.17566}
}

read the original abstract

This publication consists of slides from my talk at the Simons Center for Geometry and Physics in 2024. It contains a brief review of the L-functional formalism, along with a discussion of its possible applications to QED, linearized gravity, and quenched disorder. The most interesting part is the discussion of the infrared problem in QED and a conjecture on how to construct an infrared-finite perturbation theory for QED.

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

2 extracted references · 1 linked inside Pith · cited by 1 Pith paper

[1]

What can be measured asymptotically?

Geometric approach: starting point is a convex set of statesNor cone of statesCthat are subsets of Banach spaceL. L-functionals. Evolution operatorsT τ – automorphisms ofN. Decoherence from interactions with adiabatic random perturbations. Derivation of proba- bilities from decoherence. Classical theories with a restricted set of observables (our devices ...

arXiv 2024
[2024]

Quantum mechanics and quantum field theory from algebraic and geometric viewpoints

It contains a brief review of the L-functional formalism, along with a discus- sion of its possible applications to QED, linearized gravity, and quenched disorder. The most interesting part is the discussion of the infrared problem in QED and a conjecture on how to construct an infrared-finite perturbation theory for QED. Geometric approach to quantum the...

2024

Pith tools

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

[1] [1]

What can be measured asymptotically?

Geometric approach: starting point is a convex set of statesNor cone of statesCthat are subsets of Banach spaceL. L-functionals. Evolution operatorsT τ – automorphisms ofN. Decoherence from interactions with adiabatic random perturbations. Derivation of proba- bilities from decoherence. Classical theories with a restricted set of observables (our devices ...

arXiv 2024

[2] [2024]

Quantum mechanics and quantum field theory from algebraic and geometric viewpoints

It contains a brief review of the L-functional formalism, along with a discus- sion of its possible applications to QED, linearized gravity, and quenched disorder. The most interesting part is the discussion of the infrared problem in QED and a conjecture on how to construct an infrared-finite perturbation theory for QED. Geometric approach to quantum the...

2024