{"id":"522ae905-55e5-405a-9c2f-724e6087b4d2","arxiv_id":"2502.06368","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A first-principles equation of motion for coherent phonons is derived, with renormalized frequencies and a damping term identical to quantum phonons, plus a new screened electron-phonon coupling.","lead":"This paper rewrites the first-principles Ehrenfest equation for coherent phonons in terms of standard Born-Oppenheimer phonon frequencies, showing that nonadiabatic effects renormalize these frequencies and add a damping term, and that the electron-phonon force is mediated by an unconventional screened coupling. If right, it revises the standard model equations used to analyze ultrafast lattice dynamics and photo-induced phase transitions.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The quasi-phonon approximation is load-bearing: the claimed identity of coherent-phonon frequency and lifetime with quantum phonons is only derived under a diagonal and Markovian approximation whose validity is untested, yet the abstract states it without qualification.","rationale":"The reader's weakest assumption correctly identifies the quasi-phonon approximation as the hinge on which the abstract's strongest claims turn. My independent reading confirms that the derivation of Eq. (50) is clean and the exact reformulation Eq. (34) is a real contribution, but the passage from Eq. (34) to Eq. (50) requires two uncontrolled approximations: the truncation to diagonal nonadiabatic self-energy (Eq. 41) and the slowly-varying-envelope/Markovian treatment of the memory integral (Eqs. 43–44). Neither is accompanied by an estimate of its error, and the abstract does not mention either. The paper does give credit where it is due: the polaron section reproduces Eq. (40) of Ref. [36], and the exact steps leading to Eq. (34) are carefully flagged. However, the central identity of coherent-phonon damping with the quantum-phonon lifetime is not an exact consequence of the fpEE; it is a leading-order result in Γ/Ω and in the off-diagonal self-energy. Since the reader's verdict already requires the abstract to qualify these approximations, I do not propose changing the verdict; the test suggested above would turn the conditional acceptance into a firmer one by delimiting the failure regime. The concrete test is chosen to probe both questionable assumptions at once: a two-mode near-degenerate case stresses the diagonal approximation, while strong coupling stresses the Markovian envelope approximation. If the test passes, the quasi-phonon equation is validated in a nontrivial regime; if it fails, the paper's headline claim must be restricted to weak coupling and well-separated modes. I therefore agree with the reader's assessment and leave the verdict unchanged.","tokens_in":18052,"tokens_out":4612,"duration_ms":43261,"concrete_test":"Set up a two-mode semiconductor model with near-degenerate phonon frequencies and a strong electron-phonon coupling such that the on-shell dimensionless damping Γ(Ω)/(2Ω) is about 0.3–0.5. Compute the full 2×2 nonadiabatic self-energy ΔΠ(ω) and solve the time-nonlocal equation of motion Eq. (34) numerically, without imposing the diagonal approximation of Eq. (41) or the Markovian envelope approximation behind Eq. (44). Fit the late-time coherent-phonon displacement to a damped sinusoid and extract the renormalized frequency and decay rate. Compare these with the quasi-phonon predictions Ω and τ from Eqs. (48)–(49) obtained by retaining only the diagonal and Markovian terms.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that Eq. (50) is the first-principles equation with Ω and τ identical to quantum phonons rests entirely on the quasi-phonon approximation of Section V. Two steps are load-bearing and both are asserted rather than justified. First, Eq. (41) discards the off-diagonal entries of the nonadiabatic self-energy ΔΠ in the BO eigenbasis; no argument is given that they are small, and for degenerate or near-degenerate modes they generically are not. Second, Eq. (44) is obtained by 'ignoring the dependence on time of u_ν0(t)' in Eq. (43), i.e., assuming the envelope is slowly varying. But the resulting Eq. (46) contains a damping term of order Γ/Ω, so the convolution that produced it is Markovian only to leading order in Γ/Ω. Equivalently, the envelope of the damped solution is not constant, and retaining only the zeroth-order envelope term in Eq. (44) omits corrections of order (Γ/Ω)^2. Consequently, the exact-looking equality τ = 2Ω/Γ(Ω) in Eq. (49) is only a leading-order result. For strongly coupled modes or soft modes where Γ is a substantial fraction of Ω, the coherent-phonon frequency and decay rate extracted from Eq. (34) can differ from the quantum-phonon values. The abstract's statement that 'both the frequency renormalization and the lifetime are identical to those of quantum phonons' therefore overstates the domain of validity, and the same caveat propagates to the conceptual claim that Eq. (50) replaces the phenomenological equation of motion.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper reformulates the first-principles Ehrenfest equation (fpEE) previously derived by the same group (Ref. [40]) into a form expressed through Born-Oppenheimer phonon frequencies, phonon self-energies, dynamical Born effective charges, and a dynamically screened electron-phonon coupling. The central exact result is Eq. (34), an equivalent rewriting of the fpEE whose derivation is given in Appendix A. Under a set of approximations collectively called the quasi-phonon approximation, Eq. (34) reduces to Eq. (50), a damped oscillator equation whose renormalized frequency and damping time are claimed to be identical to those of quantum phonons. The paper additionally derives an unconventional screened coupling, Eq. (47), illustrates its behavior in jellium, and develops a polaron theory for doping-induced lattice distortions, showing agreement with the ab initio polaron theory of Ref. [36].","tokens_in":18377,"tokens_out":4804,"duration_ms":45394,"significance":"If the claims are valid within their stated domain, this is a significant contribution: it provides a first-principles equation of motion for coherent phonons that can replace the commonly used phenomenological and model-Hamiltonian equations, and it supplies a unified framework for light-induced and doping-induced coherent phonons. The strengths of the paper include the exact manipulation leading to Eq. (34), which involves no fitted parameters, the explicit identification of the unconventional screened coupling in Eq. (47), the nontrivial jellium limit in Section V B, and the detailed comparison with the independent polaron theory of Ref. [36] in Section VI. The formal derivations in Sections IV and VI are careful, and the paper is transparent about several of its assumptions, although the abstract and conclusions do not always carry the qualifications that the body of the text does.","major_comments":[{"comment":"The central assertion that the nonadiabatic frequency shift and lifetime are 'identical to those of quantum phonons' is derived only inside the quasi-phonon approximation, and the abstract states it without qualification. Equation (41) discards the off-diagonal entries of the nonadiabatic self-energy ΔΠ with no estimate of their size; these entries are generically not small for degenerate or near-degenerate modes. Equation (44) is obtained by ignoring the time dependence of uν0(t) in Eq. (43), but the resulting Eq. (46) contains a damping term of order Γν0/Ων0, so Eq. (49) for the lifetime is valid only to leading order in Γν0/Ων0. Since Eq. (50) is presented as the first-principles replacement for the phenomenological equation, the abstract and Section VII should either explicitly state the quasi-phonon approximation and its weak-damping regime, or the authors should provide a model-based estimate of the error incurred by the diagonal and slowly-varying-envelope steps.","section":"Section V, Eqs. (41)-(46) and abstract"},{"comment":"The reduction of the nonlinear density term to a time-local form rests on additional Markovian assumptions: Eq. (45) replaces Δn(r)(x′t′) by a step-like function and then neglects the contributions from the poles of ΠR D0. This step is essential because it produces the unconventional screened coupling g̃sν0 in Eq. (47), which underpins the paper's claim that current models must be revised. No criterion is given for when the omitted pole contributions are small. The authors should specify the validity condition for this Markovian approximation, for example in terms of the electronic response time relative to the phonon period, or demonstrate in a simple model that the error is negligible.","section":"Section V, Eqs. (45) and (47)"},{"comment":"The abstract states that the unconventional screened coupling is 'smaller than the bare one even in the adiabatic limit,' but the inequality is established only under the additional assumption, made immediately before Eq. (55), that K and K0 are diagonal in the same basis. In the general case, Eq. (47) is a matrix relation and no elementwise inequality follows. The abstract should carry this qualification, and Section V A should make clear that the 'always smaller' claim does not apply to the general non-diagonal case.","section":"Abstract and Section V A, Eq. (55)"},{"comment":"The polaron derivation passes from the exact Eq. (61) to Eq. (64) using the assumption n0_BO(x) − n0(x) ≃ 0. This assumption is stated but not justified, and it is load-bearing for the second main result: if the equilibrium Born-Oppenheimer density differs appreciably from the true density, Eq. (64) and the subsequent agreement with Ref. [36] would miss corrections. The authors should qualify the polaron claim with this assumption and, if possible, estimate the size of the omitted term (for example, from DFPT data for a representative material).","section":"Section VI, Eq. (63)"}],"minor_comments":[{"comment":"The shorthand d(x′t′) is used for the product of a spatial and temporal integration variable but is never defined; writing dx′dt′ would remove ambiguity.","section":"Appendix A and throughout"},{"comment":"The symmetry properties Λν0(ω)=Λν0(−ω) and Γν0(ω)=−Γν0(−ω) are invoked after the result, but the displayed formula in Eq. (44) would be easier to follow if the intermediate step showing where each symmetry enters were shown explicitly.","section":"Equation (44)"},{"comment":"The jellium discussion is a useful limit, but the sentence 'the fpEE correctly predicts that coherent acoustic phonons with zero momentum are not generated' should specify that this statement uses the quasi-phonon screened coupling of Eq. (47), not the exact Eq. (34) directly.","section":"Section V B, Eq. (58)"}],"recommendation":"major_revision","confidential_remarks":"This is a strong formal paper whose exact derivation in Section IV is valuable and whose comparison with the polaron literature is convincing. The main risk is that the abstract and conclusions present results obtained under the quasi-phonon approximation as though they were unconditional. If the authors qualify the claims, state the validity regime of the Markovian and diagonal approximations, and give at least one numerical or analytic estimate of the omitted corrections, I would support acceptance in essentially this form."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper you'll see from Stefanucci and Perfetto is a careful formal derivation, and the core result is real. They rewrite the first-principles Ehrenfest equation (fpEE) from their 2023 PRX paper as an exact equation of motion (Eq. 34) in terms of BO phonon frequencies, a phonon self-energy, a dynamical Born effective charge, and an unconventional screened e-ph coupling. That reformulation is new and seems correct. The polaron section reproduces the independent ab initio polaron theory of Lafuente-Bartolome et al. (Ref. [36]) under stated assumptions, which is a useful sanity check.\n\nWhere the paper gets into trouble is the abstract. It says the frequency renormalization and lifetime are 'identical' to quantum phonons, and that the screened coupling is 'smaller than the bare one even in the adiabatic limit.' Both claims are true only under approximations that the body of the paper states but does not justify. Eq. (41) discards off-diagonal entries of the nonadiabatic self-energy; no argument is given that they are small, and for degenerate or near-degenerate modes they are not. Eq. (44) is obtained by ignoring the time dependence of the envelope, which is a leading-order Markovian approximation; the damping term itself is of order Γ/Ω, so the equality τ = 2Ω/Γ(Ω) is only valid to leading order. For strongly coupled or soft modes it can fail. Similarly, the 'smaller than bare' result is proven only when K and K0 are diagonal in the same basis (Eq. 55); the general expression Eq. (47) has no such guarantee.\n\nThe stress-test note is right on both points. This is not a fatal flaw, because the exact Eq. (34) stands on its own, and the quasi-phonon equation is a reasonable and clearly stated approximation. But the abstract overstates the domain of validity, and a referee should ask the authors to either prove the missing inequalities or qualify the claims.\n\nThe paper has no numerics, no code, and the concurrent work by Pan et al. already derived the first two terms of Eq. (50), so the novelty is narrower than it first appears. Still, the formal derivation is careful and the polaron benchmark gives confidence that the framework is not circular. A competent group could re-implement it.\n\nMy take: send it to review, but with the expectation of a major revision that adds qualifiers and ideally tests the quasi-phonon approximation on a simple system. I'd cite Eq. (34) but not Eq. (50) without the caveats.","headline":"Careful formal derivation of an exact fpEE reformulation, but the abstract overstates the domain of the quasi-phonon equation; referees should push for qualifiers and a test of the approximations.","tokens_in":18899,"tokens_out":2997,"would_cite":true,"duration_ms":24767,"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":"Coherent phonons follow a first-principles equation of motion whose frequency shifts and lifetimes are exactly those of quantum phonons.","keywords":["coherent phonons","first-principles Ehrenfest equation","nonadiabatic effects","electron-phonon coupling","Born-Oppenheimer approximation","phonon self-energy","polarons","Born effective charges"],"falsifier":"A direct numerical test is to evaluate the off-diagonal elements of the nonadiabatic phonon self-energy $\\Delta\\Pi^R_{\\nu\\nu'0}(\\omega)$ in a real crystal: if any off-diagonal entry is comparable to the diagonal ones at the renormalized phonon frequency, the diagonal approximation of Eq. (41) breaks down and Eq. (50) is not the correct equation of motion.","tokens_in":17750,"feed_emoji":"🔬","tokens_out":8105,"duration_ms":64656,"temperature":0.7,"pith_summary":"This paper establishes a first-principles equation of motion for coherent phonons, the lattice oscillations excited by ultrafast light or by doping. Starting from the previously derived first-principles Ehrenfest equation, it reorganizes the nuclear dynamics in terms of Born-Oppenheimer phonon frequencies and dynamical Born effective charges. The central result is that nonadiabatic electron response renormalizes the Born-Oppenheimer frequencies and adds a damping term, with the renormalization and lifetime exactly equal to those of quantum phonons. The paper also shows that the electron force on the lattice is mediated by a screened coupling, smaller than the bare electron-phonon coupling even in the adiabatic limit, and it develops a polaron theory for doping-induced lattice distortions. If correct, the derived quasi-phonon equation, Eq. (50), should replace the common phenomenological equation of motion.","feed_headline":"Coherent phonons get a first-principles equation of motion","feed_subtitle":"Nonadiabatic shifts and damping match quantum phonons exactly; the electron-phonon force is weaker than current models assume.","key_machinery":"The central object is the first-principles Ehrenfest equation (fpEE), Eq. (27), which is exact but expressed in bare phonon quantities. The reformulation uses the phonon-irreducible density response function rather than the full response, separating the adiabatic contribution (the Born-Oppenheimer Hessian) from the nonadiabatic self-energy. The quasi-phonon approximation, Eqs. (41) and (43), takes the nonadiabatic self-energy to be diagonal and the displacement envelope slowly varying, converting the nonadiabatic term into the frequency shift $\\Lambda_{\\nu 0}(\\Omega_{\\nu 0})$ and the damping rate $\\Gamma_{\\nu 0}(\\Omega_{\\nu 0})/(2\\Omega_{\\nu 0})$. These objects produce the central Eq. (50), the unconventional screened coupling of Eq. (47), and the dynamical Born effective charge tensor in the optical force.","core_discovery":"The paper's core claim is that coherent phonon dynamics follows a damped oscillator equation, Eq. (50), whose frequency shift and damping time are exactly the quantum-phonon self-energy expressions, so a classical Ehrenfest trajectory carries the same nonadiabatic information as a dressed quantum phonon. The driving terms are also corrected: the bare electron-phonon coupling is replaced by an unconventional dynamically screened coupling, Eq. (47), and the bare nuclear-light force becomes a force mediated by the dynamical Born effective charge tensor. In the jellium model the screened coupling vanishes at zero momentum even though the bare coupling diverges, and the polaron equations derived from the same formalism reduce to the established self-consistent many-body polaron theory.","pith_inferences":["A direct extension would numerically evaluate the unconventional screened coupling of Eq. (47) in a real material and compare it with the bare coupling; if the screened coupling is not universally smaller, the paper's jellium-based picture would need qualification.","The claimed equality between coherent-phonon and quantum-phonon frequency and lifetime suggests that a generalized mapping might hold beyond the diagonal quasi-phonon approximation, though the paper only establishes the equality under that approximation.","The polaron equations of Section VI could be combined with the unconventional screened coupling to study how nonadiabatic corrections propagate into polaron binding energies, a computation the paper does not perform."],"forward_implications":["The common phenomenological coherent-phonon equation of motion should be replaced by Eq. (50); otherwise the driving force is overestimated because it uses the bare instead of the screened coupling and the full instead of the nonlinear density fluctuation.","Calculations that use the bare electron-phonon coupling to estimate coherent-phonon amplitudes will need revision; the unconventional screened coupling is smaller than the bare one even in the adiabatic limit.","Coherent phonons acquire a finite lifetime and a frequency renormalization from nonadiabatic effects, with values identical to those of quantum phonons, so the two descriptions are quantitatively interchangeable in the quasi-phonon regime.","In metals like jellium, the theory predicts no generation of zero-momentum acoustic coherent phonons, whereas the model equation with a divergent bare coupling would predict spurious generation.","The polaron theory supplies a first-principles route to doping-induced lattice distortions that reduces to the established self-consistent many-body polaron equations under stated assumptions."],"supporting_citations":[{"why":"Derives the first-principles Ehrenfest equation (fpEE) that this paper reformulates; the starting point for all subsequent manipulations.","marker":"[40]"},{"why":"Supplies the decomposition of the phonon self-energy into adiabatic and nonadiabatic parts and the quantum-phonon frequency and lifetime expressions that the quasi-phonon result is matched to.","marker":"[45]"},{"why":"Provides the density-current response function and its Dyson equation used to rewrite the fpEE in terms of the phonon-irreducible response.","marker":"[47]"},{"why":"Distinguishes the phonon-irreducible response function and the conventionally screened coupling, against which the new unconventional screened coupling is defined.","marker":"[50]"},{"why":"The ab initio self-consistent many-body polaron theory that the fpEE polaron equations reduce to, used as the consistency check for the polaron result.","marker":"[36]"},{"why":"The original ab initio polaron formalism that defines the polaron problem the paper's polaron theory is compared with.","marker":"[33]"},{"why":"Introduces the nonadiabatic (dynamical) Born effective charges that appear in the screened optical force term.","marker":"[44]"}],"fun_headline_variants":["Coherent phonons follow a quantum-shifted damped oscillator","First-principles equation: phonon damping equals quantum self-energy","Screened electron-phonon force revised in coherent phonon dynamics","Unified theory of coherent phonons and polarons from first principles"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole derivation of Eq. (50) hinges on assuming that each phonon mode feels only its own nonadiabatic electron response, with no mixing between modes, and that the coherent oscillation's amplitude changes slowly; if either condition fails, the equation's frequency shift, damping term, and claimed match to quantum phonons will not hold.","fun_headline_variants_meta":{"raw":{"variants":["Coherent phonons follow a quantum-shifted damped oscillator","First-principles equation: phonon damping equals quantum self-energy","Screened electron-phonon force revised in coherent phonon dynamics","Unified theory of coherent phonons and polarons from first principles"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000219,"raw_usage":{"total_tokens":1398,"prompt_tokens":857,"completion_tokens":541,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":473,"completion_tokens_details":{"reasoning_tokens":467}},"tokens_in":473,"tokens_out":541,"duration_ms":5308,"temperature":1.0,"reasoning_tokens":467,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T15:39:31.823490+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct numerical test is to evaluate the off-diagonal elements of the nonadiabatic phonon self-energy $\\Delta\\Pi^R_{\\nu\\nu'0}(\\omega)$ in a real crystal: if any off-diagonal entry is comparable to the diagonal ones at the renormalized phonon frequency, the diagonal approximation of Eq. (41) breaks down and Eq. (50) is not the correct equation of motion.","supporting_citations":[{"cited_title":"Trovatello, H","cited_arxiv_id":null,"evidence_quote":"Derives the first-principles Ehrenfest equation (fpEE) that this paper reformulates; the starting point for all subsequent manipulations."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the decomposition of the phonon self-energy into adiabatic and nonadiabatic parts and the quantum-phonon frequency and lifetime expressions that the quasi-phonon result is matched to."},{"cited_title":"Stefanucci and R","cited_arxiv_id":null,"evidence_quote":"Provides the density-current response function and its Dyson equation used to rewrite the fpEE in terms of the phonon-irreducible response."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Distinguishes the phonon-irreducible response function and the conventionally screened coupling, against which the new unconventional screened coupling is defined."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The ab initio self-consistent many-body polaron theory that the fpEE polaron equations reduce to, used as the consistency check for the polaron result."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The original ab initio polaron formalism that defines the polaron problem the paper's polaron theory is compared with."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the nonadiabatic (dynamical) Born effective charges that appear in the screened optical force term."}],"review_version":1}