{"id":"71e1711a-7a1c-46bd-be8c-85f27477a718","arxiv_id":"2608.00204","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":1,"one_line_summary":"A proposed L-functional diagram technique claims to remove QED infrared divergences by resumming the eikonal sector exactly, but the construction is only sketched.","lead":"The paper sketches a reformulation of QED in which the standard infrared (soft-photon) divergences never appear in the diagrams for inclusive cross sections, by splitting the Hamiltonian into an exactly solvable 'eikonal' part and a small perturbation. It does not, however, contain a complete derivation of the promised diagram technique; the central argument is a power-counting sketch.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Solvable Hamiltonian omits the recoil phase that generates 1/(p·k) IR poles, so it likely does not contain QED's IR-divergent structure.","rationale":"The reader's weakest assumption is precisely that H_as is the eikonal/soft limit of QED and contains all IR-divergent structure. The manuscript's Section 5 attempts to justify this via the Gordon identity, but that argument addresses only the spinor matrix element, not the time-dependent phase in the current operator. Eq. (3.5) shows the phase e^{i(ω_p−ω)t}, and its integration gives the 1/(p·k) denominators used in Section 3; H_as in Eq. (4.1) has no such phase. The exact solution of H_as in Appendix A.2 confirms this: the photon displacement is J/ω, leading to a soft spectrum ∫ dk (integrable), not the ∫ dk/k (log-divergent) spectrum of QED. This means H_as likely captures a different, softer photon cloud, so the residual δV = V − V_as may still contain the true IR-divergent current. The paper's power-counting in Section 5 also omits the energy denominator that would arise from the phase; including it, the estimate becomes less trivial and may diverge. This is a load-bearing flaw in the central claim of IR finiteness. No independent support (machine-checked proofs, explicit diagram rules, or numerical checks) is provided. Therefore the rejection stands, though the concern is about correctness of the identification, not about mathematical inconsistency within the solvable model itself.","tokens_in":12442,"tokens_out":6708,"duration_ms":73951,"concrete_test":"Compute the soft-photon emission spectrum predicted by H_as for an electron scattering p→p′ (the solvable counterpart of Eqs. (3.9)–(3.15)). Using the evolution operator (4.10)/(4.13), extract the coherent displacement α(k,t) and form the photon number density dN_as(k). Compare its small-k scaling with (3.15): QED gives dN/dk ∝ ∫ dΩ |p′/(p′·k)−p/(p·k)|^2 / ω ∼ 1/k (with 1/(p·k) poles), while H_as yields a constant dN_as/dk from its J/ω displacement. If the spectra differ in their small-k behavior, H_as is not the eikonal limit of QED and Section 5's power-counting premise fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Section 5) is that H_as of Eqs. (4.1)/(4.5) is the eikonal limit of the QED interaction and therefore contains the entire IR-divergent structure. This identification fails because the true current in Eq. (3.5) carries the phase e^{i(ω_p(k)−ω(k))t} with ω_p = p·k/p0. Time integration of this phase produces the 1/(p·k) denominators of the Liénard–Wiechert field (3.6) and the Bloch–Nordsieck spectrum (3.15). The solvable Hamiltonian (4.1) contains a time-independent charge density ρ(p) and photon operators e^{±iω(k)t}; its exact photon displacement (Appendix A.2) is J/ω ∼ 1/√ω, giving a soft-photon number dN/dk ∼ const, not the QED dN/dk ∼ 1/k with its 1/(p·k)^2 angular structure. The Gordon-identity estimate δj = O(k/m) in Section 5 controls only the spinor matrix element; it ignores the phase difference e^{iω_p t}−1, which is not O(k/m) and is the actual source of the 1/(p·k) poles. Consequently, the power-counting loop integral ∫ d^3k/ω |δj|^2 ∼ ∫ k^2 dk · k^{-1} · (k/m)^2 omits the energy denominator 1/(p·k) (or equivalently the phase integration), so it does not establish that δV is IR-finite. If H_as does not generate the QED soft-photon cloud, the claimed IR finiteness of the perturbation theory concerns a different, unphysical IR behavior.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a formalism based on L-functionals to eliminate infrared divergences in inclusive QED cross sections. The authors introduce a solvable eikonal Hamiltonian H_as that they claim captures all infrared-divergent structure of QED, solve it exactly in the L-functional framework, and then treat the difference between the full QED Hamiltonian and H_as as a perturbation. They argue that this perturbation theory is infrared finite by a power-counting estimate using the Gordon decomposition. The paper also derives bremsstrahlung formulae and presents an appendix with an exact solution of the solvable model.","tokens_in":12780,"tokens_out":2887,"duration_ms":33234,"significance":"If the central claim were correct, the paper would provide a new formulation of QED in which inclusive cross sections are infrared finite without cancellation of divergences, and it would clarify the role of dressed states in a non-Fock representation. The paper is explicit and self-contained in deriving the solvable model, and it gives concrete formulas for bremsstrahlung and for the photon cloud in the solvable sector. However, the significance is conditional on the identification of H_as as the true eikonal limit of QED, and that identification is not established.","major_comments":[{"comment":"The solvable Hamiltonian H_as omits the recoil phase e^{iω_p(k)t} that appears in the true current j_free(p,k,t) = -e p^μ/p^0 e^{i(ω_p(k)-ω(k))t} in Eq. (3.5). This phase is precisely what produces the 1/(p·k) denominators in the Liénard–Wiechert field (3.6) and the Bloch–Nordsieck spectrum (3.15). The interaction (4.1)/(4.5) contains a time-independent charge density and photon operators e^{±iω(k)t}, so its photon displacement in Appendix A.2 scales as J/ω ~ 1/√ω, giving a soft-photon number dN/dk ~ const, not the QED dN/dk ~ 1/k. The paper's claim that H_as is the eikonal limit of the true interaction is therefore not justified; H_as is a different, unphysical model with different infrared behavior.","section":"Section 4, Eqs. (4.1)/(4.5) vs Section 3, Eq. (3.5)"},{"comment":"The estimate δj^μ = O(k/m) from the Gordon identity controls only the spinor matrix element. It does not control the phase factor e^{i(ω_p(k)-ω(k))t} - 1, which is not O(k/m) and is the actual source of the 1/(p·k) poles. Consequently, the loop integral ∫ d^3k/ω |δj|^2 is not just ∫ k^2 dk · k^{-1} · (k/m)^2; it must also include the energy denominator from time integration, which can yield ∫ dk/k. The claimed convergence at k→0 is therefore not established. This is the load-bearing step for the central claim of infrared finiteness.","section":"Section 5, power-counting argument"},{"comment":"The paper asserts that H_as 'is precisely the eikonal projection of the true current' and that it is 'the unique source of IR divergences in conventional QED perturbation theory.' This is not proven; the text uses heuristic phrases ('One can say', 'We argue') rather than a derivation. Given that the exact solution in Appendix A.2–A.3 produces a photon displacement different from the QED soft-photon cloud, this assertion is exactly what needs to be demonstrated, and the paper does not do so.","section":"Section 5, 'H_as carries all the IR-dangerous structure'"},{"comment":"The paper itself notes that the fermionic Green function of the solvable Hamiltonian differs from the free one by 'a factor related to dressing of the electron by the photon cloud' and a mass renormalization. But the dressing factor Ψ_p(t) in Eq. (A.5) is computed with the time-independent current J^μ(k) of the solvable model. This dressing is not the same as the QED dressing generated by the Liénard–Wiechert field; therefore the statement that these modifications 'have no bearing on the IR analysis of Section 5' is unsupported. The appendix actually provides evidence that the solvable model's infrared sector is different from QED's.","section":"Appendix A.5 and Section 4"}],"minor_comments":[{"comment":"The abstract promises 'a new diagram technique where the diagrams ... do not contain infrared divergences,' but the paper does not actually present explicit diagrammatic rules; it only says the technique is 'very similar' to standard GGreen-function diagrams. A clear statement of the new diagrammatic elements would improve readability.","section":"Abstract and Section 5"},{"comment":"There is a typo: 'As in nclusive scattering matrix' should be 'As in inclusive scattering matrix.' Also, the sentence 'we are doing the Fourier transform with respect to spatial coordinates and time coordinates' is redundant.","section":"Section 1, after Eq. (1.11)"},{"comment":"The expression for ΦΛ(t,t0,p1,p2) appears to have unbalanced parentheses and a possibly misplaced term 'Λ√2π (t−t0)'. Please check the formula.","section":"Eq. (4.11)"},{"comment":"The paper states that the solvable Hamiltonian is 'closely related to the asymptotic Hamiltonian of [6]' but does not specify in what precise sense. A direct comparison with the Kulish–Faddeev Hamiltonian would help the reader assess the validity of the eikonal identification.","section":"Section 4"},{"comment":"Several passages are written in an informal style ('It is easy to check,' 'Obviously'), which is acceptable in a physics paper, but the key claims about infrared finiteness are precisely the ones that need rigorous justification.","section":"Throughout"}],"recommendation":"reject","confidential_remarks":"The central claim is not supported because the solvable Hamiltonian does not reproduce the QED soft-photon structure; this is a load-bearing error that cannot be fixed by local revision. The paper also leans heavily on an unpublished or incompletely specified L-functional formalism, but that is not the main ground for rejection. The manuscript would need to either identify a solvable Hamiltonian that includes the recoil phase while remaining exactly solvable, or prove the infrared finiteness directly in the full QED L-functional framework."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. The paper runs a real program: split QED into an exactly solvable eikonal Hamiltonian plus a 1/m perturbation, inside the authors' L-functional formalism, and claim inclusive cross sections become IR-finite diagram by diagram. But the solvable Hamiltonian is not the eikonal sector of QED, and the paper half-admits it. Equation (4.5) has the photon phase e^{±iωt} but no electron phase e^{ip·k/p⁰ t}; the sentence after (4.3) concedes that the Kulish–Faddeev asymptotic Hamiltonian 'contains an additional factor depending on time.' That factor is the load-bearing one. Section 3's own calculation shows that integrating the current with phase ω_p − ω produces the 1/(p·k) denominators: the Liénard–Wiechert field (3.6) and the bremsstrahlung spectrum (3.15). Drop the phase and the exact solution in the Appendix displaces photons by J/ω ~ 1/√ω per mode, giving dN/dk ~ k² instead of QED's dN/dk ~ 1/k. The model's cloud is not even the IR-divergent one — it is IR-finite per mode and its total photon number diverges as Λ³, which the authors wave off.\n\nThe Section 5 power counting does not fix this. The Gordon-identity estimate δj = O(k/m) bounds the spinor matrix element but misses the phase difference e^{iω_p t} − 1, which at fixed time is O(kt) and after time integration produces 1/(ω_p − ω) ~ 1/(p·k). The loop integral ∫d³k/ω |δj|² ~ ∫k³ dk has no energy denominator, so the estimate concerns a different, softer object than the actual IR-singular integrand. The stress-test note lands; I checked the equations cited.\n\nCredit where due: Section 3 is clean and matches Bloch–Nordsieck and Jauch–Rohrlich. The Appendix's diagonalization of the solvable model is competently done. The L-functional formalism is a legitimate home for states outside Fock space and is the right kind of setting for this problem — but it is the authors' prior work, not a new result here.\n\nBeyond the flaw, the promised diagram technique is never actually delivered: no Feynman rules, no worked diagram, no explicit demonstration that amputated GGreen functions are IR-finite on shell. The physics result — IR-finite inclusive cross sections — is acknowledged as well known in the first sentence, so the technique is the whole show, and it is only a sketch. OCR corruption makes parts hard to parse, a real but secondary annoyance.\n\nWho gets value: a specialist in soft-photon structure or eikonal methods, reading to judge whether the 1/m-around-the-eikonal split can be repaired — the obvious fix is to put the p·k/p⁰ phase into H_as, i.e., actually use Kulish–Faddeev. It deserves a serious referee: the claim is substantive, the authors are credible, and the hole is precise enough to referee cleanly. But as written, the identification of H_as with the IR content of QED fails, so my verdict is reject.","headline":"A plausible program — 1/m perturbation theory around an exactly solvable eikonal Hamiltonian in the L-functional formalism — but H_as drops the p·k/p⁰ phase that generates the 1/(p·k) poles, so the central IR-finiteness claim fails as written.","tokens_in":13333,"tokens_out":17757,"would_cite":false,"duration_ms":193488,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that splitting QED into an exactly solvable eikonal Hamiltonian plus a perturbation makes inclusive cross-section diagrams infrared-finite one by one.","keywords":["infrared divergences","inclusive cross sections","L-functionals","eikonal Hamiltonian","soft photons","quantum electrodynamics","1/m expansion","GGreen functions"],"falsifier":"Compute the soft-photon distribution predicted by the solvable Hamiltonian and compare it with the known classical radiation field of an accelerated charge; if the leading low-momentum behaviour disagrees, the solvable part has not captured the infrared-singular sector and the power counting of Section 5 would not concern the actual IR singularities of QED.","tokens_in":12253,"feed_emoji":"⚛️","tokens_out":8506,"duration_ms":92585,"temperature":0.7,"pith_summary":"This paper tries to show that the infrared problem of quantum electrodynamics disappears when the theory is reformulated in terms of L-functionals, state functionals on the algebra of creation and annihilation operator exponentials that exist for every representation of the canonical commutation relations. The proposed split writes the QED Hamiltonian as a solvable eikonal Hamiltonian plus a remainder; the eikonal part is the soft-photon (heavy-mass) limit of the interaction and is solved exactly, while the remainder is smaller by one power of photon momentum at low energies. The paper argues that all infrared-dangerous structure sits in the solvable part, so diagrams for inclusive cross sections and inclusive scattering matrices are finite without relying on cancellations. If true, this turns a diagram-by-diagram cancellation story into a diagram-by-diagram finite story, and gives a concrete meaning to the dressed electron's coherent soft-photon cloud outside the usual particle-number Hilbert space.","feed_headline":"QED infrared divergences vanish after an eikonal split","feed_subtitle":"A solvable soft-photon Hamiltonian absorbs the divergent part, leaving a finite 1/m expansion","key_machinery":"The central object is the solvable eikonal Hamiltonian, defined by replacing the QED interaction with a term proportional to (a^+_μ(k)+a_μ(k)) p^μ/p0 ρ(p) plus an instantaneous potential, where ρ(p) is the charge density. In the L-functional formalism the Hamiltonian is doubled (two commuting copies of the field algebra), and it is diagonalized by shifting photon operators by a charge-density-dependent c-number and dressing fermion operators with coherent photon-cloud factors. This exact solution absorbs the whole infrared-singular sector, so perturbation theory in the remainder has vertices vanishing linearly in photon momentum, one power faster than the photon measure, making the diagrams","core_discovery":"The paper claims that in QED formulated with L-functionals, the inclusive scattering matrix is infrared finite order by order in a new perturbation theory. The full Hamiltonian is written as H = H_as + δV, where H_as is the solvable eikonal Hamiltonian whose interaction is built from the charge density times the velocity p^μ/p0 and a non-local instantaneous potential; H_as is the eikonal limit of the true QED interaction and contains the entirety of the infrared-singular structure. The solvable model is solved exactly: shifted photon operators evolve as free photons, and dressed fermion operators propagate freely up to mass renormalization and an infrared-safe soft-photon dressing factor. Th","pith_inferences":["If the eikonal split is right, the same strategy may apply to other theories with soft-particle clouds, such as non-abelian gauge theories, though the eikonal Hamiltonian is no longer exactly solvable there and the power counting would need modification.","The paper leaves a direct check unstated: compare the soft-photon distribution produced by the solvable Hamiltonian with the classical radiation field of an accelerated charge; matching the leading behaviour would confirm that the dropped recoil phase is truly subleading.","A practical test of the scheme is to compute the next-to-eikonal correction to a simple bremsstrahlung cross section and compare it with the standard soft-photon expansion; agreement would show the missing recoil phase enters only at the expected order."],"forward_implications":["Inclusive cross sections and inclusive scattering matrices in QED are infrared-finite diagram by diagram, with no need to cancel divergences between real and virtual soft-photon contributions.","The physical electron is treated as a dressed state containing a coherent soft-photon cloud; this state is well-defined in the L-functional formalism even though it lies outside the usual particle-number Hilbert space.","Fermionic Green functions of the solvable Hamiltonian equal free ones up to mass renormalization and an infrared-safe dressing factor, while photonic Green functions are exactly the free ones.","The remaining perturbation theory is organized as a 1/m expansion, so every extra order adds more powers of soft momentum and cannot reintroduce a k→0 singularity."],"fun_headline_variants":["Eikonal split makes QED cross sections infrared finite","Solvable Hamiltonian removes QED infrared divergences","New QED diagram technique avoids infrared divergences","Eikonal split solves QED infrared problem"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that the solvable Hamiltonian with a time-independent charge density really is the soft limit of the QED interaction and captures all infrared-divergent structure, even though the true current carries a recoil phase that produces the 1/(p·k) denominators.","fun_headline_variants_meta":{"raw":{"variants":["Eikonal split makes QED cross sections infrared finite","Solvable Hamiltonian removes QED infrared divergences","New QED diagram technique avoids infrared divergences","Eikonal split solves QED infrared problem"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000717,"raw_usage":{"total_tokens":2963,"prompt_tokens":556,"completion_tokens":2407,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":300,"completion_tokens_details":{"reasoning_tokens":2346}},"tokens_in":300,"tokens_out":2407,"duration_ms":18161,"temperature":1.0,"reasoning_tokens":2346,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T01:01:29.734898+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the soft-photon distribution predicted by the solvable Hamiltonian and compare it with the known classical radiation field of an accelerated charge; if the leading low-momentum behaviour disagrees, the solvable part has not captured the infrared-singular sector and the power counting of Section 5 would not concern the actual IR singularities of QED.","supporting_citations":[],"review_version":1}