{"id":"c3015447-8939-4461-968a-80945eadb434","arxiv_id":"1908.00718","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In the antiadiabatic limit, electron mass renormalization is suppressed by the small factor λD/Ω0, while the superconducting Tc is still set by the standard coupling λ, with the Fermi energy replacing the phonon frequency as the cutoff.","lead":"This paper extends the standard theory of superconductivity to the case of very high frequency phonons, comparable to or larger than the Fermi energy. It argues that mass renormalization and the superconducting transition temperature are controlled by different coupling constants, and that such antiadiabatic phonons do not contribute to the Coulomb pseudopotential.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Pairing constant lambda is defined inconsistently: Eq. (13) gives lambda=0 for Omega0>D in the finite band, while Eq. (42) assumes nonzero lambda; the central claim needs the two reconciled.","rationale":"The reader's conditional verdict identifies the toy-band assumption as the weakest point and notes that vertex-correction suppression is cited rather than demonstrated. My stress test found a more direct internal inconsistency in the meaning of lambda, which is the quantity the abstract says controls Tc. The derivation of Eq. (42) is algebraically sound given the Eliashberg equations (32)-(33), but those equations presuppose an Eliashberg function that is nonzero for Omega0 > D. The paper's own Eq. (13), derived from Eq. (4), defines lambda with an on-shell delta that has no support for such phonons in a finite band. This means either the generalized lambda of Section 3 is not the pairing constant used in Section 4, or Section 4's lambda is not the one determined by the stated general definition. This is not merely a scope limitation but a definitional gap at the center of the claim. A clarification or additional derivation would resolve it, so the conditional verdict remains appropriate. I agree partially with the reader: both of us question the antiadiabatic generalization, but the reader's weakest assumption concerns the band structure, while my concern is the conflicting definitions of lambda. If the authors reconcile the definitions, for example by showing that virtual processes make Eq. (13) inapplicable to pairing, the main formulas could stand. The concrete test settles whether the contradiction is real.","tokens_in":11274,"tokens_out":24492,"duration_ms":265973,"concrete_test":"For the Section 4 model (half-filled, constant DOS, D = EF) with a single Einstein phonon at Omega0 = 2D, evaluate Eq. (13) exactly, including the sum over the full band. Because epsilon_{p+q} <= D < Omega0, the result is identically zero. Then compare with Section 4's lambda = 2 alpha^2/Omega0 and the resulting Eq. (42). If the zero result is obtained, the paper must either show that Eq. (13) is not the pairing lambda in the antiadiabatic limit or derive Eqs. (36)-(42) from a definition that yields the same lambda; otherwise the central claim conflates two incompatible definitions.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3's Eq. (13), which the text calls the most general expression for the pairing electron-phonon coupling constant lambda, contains delta(epsilon_{p+q} - Omega0). In the finite-band, constant-DOS, half-filled model of Section 4 (D = EF), epsilon_{p+q} <= D, so for an antiadiabatic Einstein phonon with Omega0 > D this delta has no support and the resulting lambda is identically zero. Yet Section 4 defines lambda = 2 alpha^2(Omega0)/Omega0 (Eq. 27), uses it in the pairing equation (36), and Eq. (42) gives a Tc with cutoff D and exponent involving this lambda. Thus the same model yields two different lambda values: one zero and one nonzero. If Eq. (13) is the correct pairing coupling, antiadiabatic phonons contribute nothing to Tc, contradicting the abstract's claim that Tc is still determined by lambda. If Section 4's lambda is the correct pairing constant, then Eq. (13)/Eq. (4) is not the pairing lambda in the antiadiabatic regime, and the paper's 'general' definition is not general. The text never addresses this ambiguity, so the central claim rests on an unstated choice of definition.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies electron-phonon superconductivity in the antiadiabatic regime, where the characteristic phonon frequency Ω0 is comparable to or larger than the Fermi energy EF, within Eliashberg–McMillan theory. It introduces a generalized mass-renormalization coupling \\tildeλ that accounts for the finite conduction bandwidth and reduces to the standard λ in the adiabatic limit and to λ_D ≈ λ D/Ω0 in the strongly antiadiabatic limit. The paper's main claims are that in the antiadiabatic limit mass renormalization becomes irrelevant because \\tildeλ is small, while the superconducting transition temperature is still controlled by the standard Eliashberg–McMillan constant λ, with the band half-width D serving as the Cooper-channel cutoff. For a discrete set of Einstein phonon modes it derives a multi-phonon Tc formula, Eq. (42), and a Coulomb pseudopotential μ* formula, Eq. (57), and concludes that antiadiabatic phonons do not contribute to Tolmachev's logarithm.","tokens_in":11438,"tokens_out":19863,"duration_ms":201039,"significance":"If correct, the paper would establish an 'anti-Migdal' regime in which Eliashberg–McMillan theory remains applicable despite Ω0/EF being large, because the effective coupling for vertex corrections and mass renormalization is λD/Ω0 while the pairing interaction still scales with λ. The paper is self-contained in its finite-band Eliashberg treatment: the derivative leading to \\tildeλ in Eq. (22) is correctly derived, and the multi-phonon formulas (42) and (57) are explicit and testable. The significance is tempered by the restrictive model assumptions (constant density of states, half-filled band, D = EF) and by a serious internal inconsistency in the definition of the pairing constant λ, which is described below.","major_comments":[{"comment":"The manuscript uses two mutually inconsistent definitions of the pairing constant λ. Equation (13), which follows from the expression called 'the most general' in Eq. (11), contains δ(ε_{p+q} − Ω0). In the finite-band, constant-DOS, half-filled model of Sections 4 and 5 (D = EF), ε_{p+q} is bounded by D, so for an antiadiabatic phonon with Ω0 > D this delta has no support and Eq. (13) yields λ = 0. If that were the pairing constant, antiadiabatic phonons would not contribute to Tc at all, contradicting the abstract and Eq. (42). In contrast, Section 4 defines λ = 2α2(Ω0)/Ω0 (Eq. (27)), and Section 5 uses this λ in the gap equation (36) and in the final Tc formula (42), obtaining a cutoff D. The paper never reconciles these two usages. The central claim that Tc in the antiadiabatic limit is still determined by the Eliashberg–McMillan coupling constant therefore rests on an unstated choice of definition. The authors should either drop the claim that Eq. (11)/(13) is the general pairing constant, or justify why the on-shell delta in Eq. (13) does not apply to the virtual intermediate states in the pairing equation.","section":"Sec. 3, Eq. (13); Sec. 4, Eq. (27); Sec. 5, Eq. (42)"},{"comment":"The derivation of the central Tc formula is not demonstrated. The text passes from Eq. (36), or equivalently Eq. (41), to Eq. (42) with the statement 'This equation is easily solved', but the solution requires approximating the integral ∫_0^D dε′/[ε′(ε′+Ω_i)] th(ε′/2T) and, more importantly, Eq. (36) itself is obtained from Eq. (33) by assuming a constant gap Δ(ε′) = Δ in the integrand. For the kernel 1/(ε′(ε′+Ω_i)), the actual eigenfunction of the linearized Eliashberg equation is generally not constant, and the error introduced by this ansatz is not quantified. Since Eq. (42) is the main quantitative result and is also used to define ⟨Ω⟩ and μ* in Section 6, the authors should provide the intermediate steps and justify the constant-gap assumption, or explicitly state that Eq. (42) is a variational estimate.","section":"Sec. 5, Eqs. (36)–(42)"},{"comment":"The 'anti-Migdal theorem' claim is asserted rather than derived. The paper states that in the antiadiabatic limit all vertex corrections are small because λ_D = λ D/Ω0 ≪ 1, citing Ref. [22]. However, the standard Migdal parameter λΩ0/EF is large in this limit, and the paper does not show, within the finite-band model used here, how the vertex corrections are suppressed by λD/Ω0 rather than enhanced by λΩ0/D. Since the validity of the Eliashberg approach in the antiadiabatic regime is a central claim, this point requires at least a clear argument, or a more explicit reference to a direct calculation in the same model, before the 'anti-Migdal' conclusion is accepted.","section":"Sec. 4, 'anti-Migdal theorem'"}],"minor_comments":[{"comment":"The title contains a typo ('Eliashber g – McMillan'), and the first paragraph repeats 'is is'.","section":"Title and Section 1"},{"comment":"The notation for the antiadiabatic coupling constant λ_D is easily confused with the product λ·D; a distinct symbol or an explicit definition would improve readability.","section":"Eqs. (26)–(28)"},{"comment":"'In difference with the standard approach' should be 'In contrast to the standard approach'.","section":"Section 5, first paragraph"},{"comment":"Reference [21] appears to merge two separate publications (a JETP article and a Phys. Rev. B article); please split and correct.","section":"References"},{"comment":"The paper does not specify the limits of validity of the approximations leading to the product formula (42) in the intermediate regime where Ω_i ∼ D; a brief statement would help the reader assess the interpolation claim.","section":"Section 5, Eq. (42) discussion"}],"recommendation":"major_revision","confidential_remarks":"The manuscript appears to be largely a restatement and extension of the author's Refs. [14,15]; the new elements are the multi-phonon Tc formula and the μ* derivation. The unresolved inconsistency in the definition of λ is a substantive issue that must be addressed before publication. The editor may also wish to check that the claimed 'anti-Migdal' parameter is consistent with the cited Ref. [22] and with the broader literature on non-adiabatic electron-phonon physics."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague, here's my take on 1908.00718. The core message—that antiadiabatic phonons do not simply vanish from pairing but contribute with a Fermi-energy cutoff, while mass renormalization is controlled by a smaller λ̃—is physically sensible, and the algebra in Sections 4–6 checks out. The genuinely new items are the multi-phonon Tc formula (42) and the product form of the Tolmachev logarithm (57); the rest is a clear restatement of the author's earlier single-phonon results.\n\nWhat it does well: the distinction between the pairing constant λ and the mass-renormalization constant λ̃ is made concrete, and the finite-band cutoff is handled honestly in the Eliashberg equations. The μ* analysis is self-consistent and yields a testable structure.\n\nThe soft spots are real. First, the stress-test concern is legitimate: Eq. (13) is called the most general pairing λ, but in the finite-band model with Ω0>D that expression is identically zero, which would contradict the later use of λ=2α²(Ω0)/Ω0 in Eq. (27) and Eq. (42). The resolution is that Eq. (13) describes a real scattering process with a final state at energy Ω0, not the virtual pairing kernel; but the text does not say so. This is a confusing overgeneralization and should be fixed.\n\nSecond, the anti-Migdal vertex-correction suppression is asserted via Ref. [22] rather than demonstrated in this model. That is acceptable in a short paper, but it should be flagged as an assumption or cited more carefully.\n\nThird, the constant-DOS, half-filled band is a toy. The authors acknowledge it, but the conclusions about the antiadiabatic small parameter λD/Ω0 are explicitly derived in that toy, and the paper does not discuss how DOS variations change the cancellation. That limits the scope, though not fatally.\n\nThe reader's report gives this a conditional, which matches my view. The central claim holds up within the stated model. The paper deserves a serious referee, but the referee should ask for a reconciliation of Eq. (13) with the finite-band definition and a clearer separation of new content from the review of Refs. [14,15]. I would accept it for peer review after revision.","headline":"A useful, partially novel note on antiadiabatic phonons, with a definitional ambiguity in λ that should be fixed before publication.","tokens_in":12060,"tokens_out":4488,"would_cite":true,"duration_ms":42993,"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 when phonon frequencies exceed the Fermi energy, mass renormalization vanishes but the superconducting transition temperature is still set by the Eliashberg–McMillan coupling λ.","keywords":["Eliashberg–McMillan theory","electron–phonon interaction","antiadiabatic phonons","nonadiabatic superconductivity","mass renormalization","Coulomb pseudopotential","Tolmachev logarithm","critical temperature"],"falsifier":"Compute the normal-state quasiparticle residue and $T_c$ from the full Eliashberg equations on a realistic band structure with $\\Omega_0 > E_F$ (for example a non-half-filled or strongly dispersive density of states); if the mass renormalization stays of order $\\lambda$ rather than $\\lambda D/\\Omega_0$, or if the $T_c$ prefactor tracks $\\Omega_0$ instead of $D$, the paper's central claim collapses.","tokens_in":10908,"feed_emoji":"⚛️","tokens_out":5598,"duration_ms":49276,"temperature":0.7,"pith_summary":"The paper claims that Eliashberg–McMillan theory of superconductivity remains valid even when phonon frequencies exceed the Fermi energy, a regime usually thought to break its adiabatic foundations. It shows that two different coupling constants control normal and superconducting properties: mass renormalization is set by a bandwidth-corrected coupling $\\tilde{\\lambda}$ that shrinks to $\\lambda D/\\Omega_0$ in the antiadiabatic limit, while pairing and $T_c$ remain set by the standard coupling $\\lambda$. In that limit the new perturbation parameter is $\\lambda D/\\Omega_0 \\ll 1$, so vertex corrections are suppressed and the theory acquires an anti-Migdal character. The paper derives a general $T_c$ formula for discrete optical phonons and shows that antiadiabatic phonons drop out of Tolmachev's logarithm in the Coulomb pseudopotential, leaving adiabatic phonons to screen the repulsion.","feed_headline":"Fast phonons set T_c but stop renormalizing electrons","feed_subtitle":"A new small parameter keeps Eliashberg–McMillan theory valid when phonons outrun electrons.","key_machinery":"The central objects are the two frequency-dependent coupling constants derived from the finite-bandwidth self-energy: the pairing constant $\\lambda = 2\\int d\\omega\\,\\alpha^2(\\omega)F(\\omega)/\\omega$ and the mass-renormalization constant $\\tilde{\\lambda} = 2\\int d\\omega\\,\\alpha^2(\\omega)F(\\omega)\\,D/[\\omega(\\omega+D)]$. In the antiadiabatic limit they are related by $\\lambda_D = \\lambda D/\\Omega_0$, which is the small parameter that suppresses vertex corrections. The argument is carried by Eq. (42) for $T_c$ and Eq. (57) for $\\mu^\\star$, both built from the same weighted logarithmic frequency $\\langle\\Omega\\rangle = \\prod_i (D/(1+D/\\Omega_i))^{\\lambda_i/\\lambda}$ that replaces the phonon cutoff by the Fermi energy in the Cooper channel.","core_discovery":"Within a half-filled two-dimensional band of half-width $D = E_F$ and constant density of states, the paper establishes that a high-frequency optical phonon ($\\Omega_0 \\gg E_F$) does not destroy the Eliashberg–McMillan description but reorders it. The electron mass renormalization is governed by $\\tilde{\\lambda} = \\sum_i \\lambda_i D/(\\Omega_i + D)$, which in the antiadiabatic limit reduces to the small constant $\\lambda_D = \\lambda D/\\Omega_0$, so the quasiparticle residue stays close to unity. The superconducting transition temperature, however, is still controlled by the ordinary Eliashberg–McMillan constant $\\lambda$, with $T_c \\sim \\prod_i (D/(1+D/\\Omega_i))^{\\lambda_i/\\lambda} \\exp(-(1+\\tilde{\\lambda})/\\lambda)$. The same split appears in the Coulomb repulsion: $\\mu^\\star = \\mu/(1 + \\mu \\ln \\prod_i (1 + D/\\Omega_i)^{\\lambda_i/\\lambda})$, so only phonons with $\\Omega_i \\lesssim D$ contribute to Tolmachev's logarithm. The result is an anti-Migdal regime in which the electron–phonon coupling looks weak for self-energy and vertex corrections but remains effective for pairing.","pith_inferences":["If the anti-Migdal picture holds, materials with very large bare electron–phonon couplings should show small normal-state mass enhancement but substantial pairing, a laboratory signature that could distinguish this regime from polaronic physics.","The same bandwidth-corrected coupling $\\tilde{\\lambda}$ could be tested in systems where phonon frequency is tuned across the Fermi energy, such as pressurized hydrides or interface superconductors, by comparing normal-state specific heat with $T_c$.","Nothing in the derivation fixes the number of phonon branches, so the discrete-mode formula should extend to a continuous $\\alpha^2 F(\\omega)$; evaluating Eq. (47) on realistic spectra would be a quantitative check."],"forward_implications":["In the antiadiabatic limit the Cooper-channel cutoff is the Fermi energy (band half-width) rather than the phonon frequency, so high-frequency phonons set the prefactor of $T_c$ only through $D$.","Mass renormalization in this limit is determined by $\\lambda_D = \\lambda D/\\Omega_0 \\ll \\lambda$, so the quasiparticle residue remains near one even when the pairing coupling is not small.","Vertex corrections are suppressed by the same small parameter, extending the validity of Eliashberg–McMillan theory into the strongly nonadiabatic regime (an anti-Migdal theorem).","Antiadiabatic phonons do not contribute to Tolmachev's logarithm; the value of $\\mu^\\star$ is fixed by adiabatic phonons alone, which weakens the Coulomb suppression less than a single antiadiabatic phonon model would suggest.","In a mixed spectrum, Eq. (42) interpolates smoothly between adiabatic and antiadiabatic behavior, providing a single formula for $T_c$ across the crossover."],"supporting_citations":[{"why":"Supplies the Eliashberg–McMillan self-energy formalism and the standard definition of the coupling constant λ.","marker":"[2]"},{"why":"Gives the Eliashberg equations for the mass renormalization and gap functions used to derive Tc.","marker":"[3]"},{"why":"Migdal's theorem stating the adiabatic small parameter λΩ0/EF that the paper's anti-Migdal argument extends.","marker":"[6]"},{"why":"Establishes the Fermi-energy cutoff in the Cooper channel in the antiadiabatic limit.","marker":"[12]"},{"why":"Companion work on nonadiabatic phonons and the behavior of the pairing cutoff.","marker":"[13]"},{"why":"Author's earlier derivation of the generalized coupling constants λ̃ and λD and the Tc expression.","marker":"[14]"},{"why":"Provides the general expression for λ with finite phonon frequency that underlies Eq. (11).","marker":"[17]"},{"why":"Direct calculation showing vertex corrections are small in the antiadiabatic limit.","marker":"[22]"},{"why":"Consistent solution of Eliashberg equations for Einstein phonons used to solve Eq. (41).","marker":"[23]"},{"why":"Earlier structure of Tolmachev's logarithm with partial phonon contributions that Eq. (57) generalizes.","marker":"[24]"}],"fun_headline_variants":["Antiadiabatic phonons: pairing survives, mass renormalization dies","When phonons outrun electrons, T_c holds, mass renormalization vanishes","Antiadiabatic regime: electron mass unaffected, pairing intact","Antiadiabatic phonons: coupling strong for T_c, weak for self-energy"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The cancellation that produces the small parameter $\\lambda D/\\Omega_0$ and the Fermi-energy cutoff relies on a half-filled two-dimensional band of half-width $D=E_F$ with a constant density of states; away from this toy band the quantitative conclusions are not established.","fun_headline_variants_meta":{"raw":{"variants":["Antiadiabatic phonons: pairing survives, mass renormalization dies","When phonons outrun electrons, T_c holds, mass renormalization vanishes","Antiadiabatic regime: electron mass unaffected, pairing intact","Antiadiabatic phonons: coupling strong for T_c, weak for self-energy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000928,"raw_usage":{"total_tokens":4089,"prompt_tokens":1172,"completion_tokens":2917,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":788,"completion_tokens_details":{"reasoning_tokens":2834}},"tokens_in":788,"tokens_out":2917,"duration_ms":19292,"temperature":1.0,"reasoning_tokens":2834,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:35:53.798066+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the normal-state quasiparticle residue and $T_c$ from the full Eliashberg equations on a realistic band structure with $\\Omega_0 > E_F$ (for example a non-half-filled or strongly dispersive density of states); if the mass renormalization stays of order $\\lambda$ rather than $\\lambda D/\\Omega_0$, or if the $T_c$ prefactor tracks $\\Omega_0$ instead of $D$, the paper's central claim collapses.","supporting_citations":[{"cited_title":"Superconductivity","cited_arxiv_id":null,"evidence_quote":"Supplies the Eliashberg–McMillan self-energy formalism and the standard definition of the coupling constant λ."},{"cited_title":"White, T.H","cited_arxiv_id":null,"evidence_quote":"Gives the Eliashberg equations for the mass renormalization and gap functions used to derive Tc."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Migdal's theorem stating the adiabatic small parameter λΩ0/EF that the paper's anti-Migdal argument extends."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the Fermi-energy cutoff in the Cooper channel in the antiadiabatic limit."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Companion work on nonadiabatic phonons and the behavior of the pairing cutoff."},{"cited_title":"Sadovskii.Zh","cited_arxiv_id":null,"evidence_quote":"Author's earlier derivation of the generalized coupling constants λ̃ and λD and the Tc expression."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the general expression for λ with finite phonon frequency that underlies Eq. (11)."},{"cited_title":"Ikeda, A","cited_arxiv_id":null,"evidence_quote":"Direct calculation showing vertex corrections are small in the antiadiabatic limit."},{"cited_title":"Karakozov, E.G","cited_arxiv_id":null,"evidence_quote":"Consistent solution of Eliashberg equations for Einstein phonons used to solve Eq. (41)."},{"cited_title":"Kirzhnits, E.G","cited_arxiv_id":null,"evidence_quote":"Earlier structure of Tolmachev's logarithm with partial phonon contributions that Eq. (57) generalizes."}],"review_version":1}