Comment on β€œTowards exact solutions for the superconducting 𝑻𝒄subscript𝑻𝒄T_{c}bold_italic_T start_POSTSUBSCRIPT bold_italic_c end_POSTSUBSCRIPT induced by electron-phonon interaction”

Grgur Palle Institute for Theoretical Condensed Matter Physics, Karlsruhe Institute of Technology, 76131 Karlsruhe, Germany
(May 2, 2024)
Abstract

In a series of recent articles, Liu, Yang, Pan, et al.Β claim to have determined the exact dressed electron-boson vertex for a number of very general interacting many-body problems by inverting certain Ward-Takahashi identities. Here, we point out that their Ward-Takahashi identities are missing terms which make the inversion of the identities impossible. One therefore cannot formulate exact self-contained integral equations for the dressed electron propagator. In addition, the proposed vertex expressions do not reproduce well-established results for the leading perturbative corrections.

One of the outstanding problems in treating strong electron-phonon interactions beyond Migdal’s approximation is calculating vertex corrections. To date, most approaches to this problem have been approximate, with crucial constraints on the vertex corrections coming from conservation laws in the form of Ward-Takahashi identities (WTI). By using Heisenberg’s equations of motion, one may relate the dressed vertex exactly to higher-order Green functions, whose equations of motion are then related to even higher-order Green functions. The problem of calculating the dressed electron-phonon vertex may thus be reformulated as the problem of truncating this infinite hierarchy of equations of motion. It is widely believed that there are no easy solutions to this problem in higher dimensions, especially not exact ones, valid for generic values of the interaction strength.

It thus comes as a surprise to readΒ [1] that the charge and spin WTIs are enough to express the dressed electron-phonon vertex exactly in terms of the dressed electron propagator. If true, such a relation would enable one to formulate a self-contained integral equation for the electron propagator that yields the exact solution of the interacting electron-phonon problem, but is no more difficult than self-consistent Hartree-Fock. Generic density-density interactions would become solvable as well, not only those mediated by phonons, but also strong electron-electron Coulomb interactions. In subsequent workΒ [2, 3, 4, 5], the same authors indeed claim that WTIs can be inverted in other models with density-density interactions to give exact self-contained integral equations for the fermionic propagators. In this manner, Liu, Yang, Pan, et al.Β have studied interacting Dirac fermion systemsΒ [3], the interplay between Coulomb and electron-phonon couplingΒ [2, 4], and related problemsΒ [5].

In this Comment, we show that the proposedΒ [1] relation between the dressed vertex and electron propagator does not hold. This is most directly seen by comparing its predictions with perturbation theory. For the model considered in Ref.Β [1], one readily finds the electron-density vertex that enters the charge WTIs:

Ξ“t⁒(q,p)=Οƒ3+i⁒g2⁒∫kG0⁒(p+q+k)⁒σ3⁒G0⁒(p+k)⁒D0⁒(k)βˆ’i⁒g2⁒σ3⁒D0⁒(q)⁒∫ktr⁑σ3⁒G0⁒(p+q+k)⁒σ3⁒G0⁒(p+k)+π’ͺ⁒(g4),subscriptΞ“π‘‘π‘žπ‘subscript𝜎3isuperscript𝑔2subscriptπ‘˜subscript𝐺0π‘π‘žπ‘˜subscript𝜎3subscript𝐺0π‘π‘˜subscript𝐷0π‘˜isuperscript𝑔2subscript𝜎3subscript𝐷0π‘žsubscriptπ‘˜trsubscript𝜎3subscript𝐺0π‘π‘žπ‘˜subscript𝜎3subscript𝐺0π‘π‘˜π’ͺsuperscript𝑔4\Gamma_{t}(q,p)=\sigma_{3}+\mathrm{i}g^{2}\int_{k}G_{0}(p+q+k)\sigma_{3}G_{0}(% p+k)D_{0}(k)-\mathrm{i}g^{2}\sigma_{3}\,D_{0}(q)\int_{k}\operatorname{tr}% \sigma_{3}G_{0}(p+q+k)\sigma_{3}G_{0}(p+k)+\mathcal{O}(g^{4}),roman_Ξ“ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_q , italic_p ) = italic_Οƒ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT + roman_i italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_p + italic_q + italic_k ) italic_Οƒ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_p + italic_k ) italic_D start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_k ) - roman_i italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_Οƒ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_D start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_q ) ∫ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT roman_tr italic_Οƒ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_p + italic_q + italic_k ) italic_Οƒ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_p + italic_k ) + caligraphic_O ( italic_g start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ) ,

where G0⁒(p)=(Ο‰p⁒σ0βˆ’ΞΎπ©β’Οƒ3)βˆ’1subscript𝐺0𝑝superscriptsubscriptπœ”π‘subscript𝜎0subscriptπœ‰π©subscript𝜎31G_{0}(p)=(\omega_{p}\sigma_{0}-\xi_{\mathbf{p}}\sigma_{3})^{-1}italic_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_p ) = ( italic_Ο‰ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT italic_Οƒ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_ΞΎ start_POSTSUBSCRIPT bold_p end_POSTSUBSCRIPT italic_Οƒ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT and D0⁒(q)=2⁒Ωπͺ/(Ο‰q2βˆ’Ξ©πͺ2)subscript𝐷0π‘ž2subscriptΞ©πͺsuperscriptsubscriptπœ”π‘ž2superscriptsubscriptΞ©πͺ2D_{0}(q)=2\Omega_{\mathbf{q}}/(\omega_{q}^{2}-\Omega_{\mathbf{q}}^{2})italic_D start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_q ) = 2 roman_Ξ© start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT / ( italic_Ο‰ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - roman_Ξ© start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) are the bare electron and phonon propagators, g𝑔gitalic_g is the electron-phonon coupling constant, and σμsubscriptπœŽπœ‡\sigma_{\mu}italic_Οƒ start_POSTSUBSCRIPT italic_ΞΌ end_POSTSUBSCRIPT are Pauli matrices in Nambu space. On the other hand, if one inserts the Fock self-energy Σ⁒(p)=i⁒g2⁒∫kG0⁒(p+k)⁒D0⁒(k)+π’ͺ⁒(g4)Σ𝑝isuperscript𝑔2subscriptπ‘˜subscript𝐺0π‘π‘˜subscript𝐷0π‘˜π’ͺsuperscript𝑔4\Sigma(p)=\mathrm{i}g^{2}\int_{k}G_{0}(p+k)D_{0}(k)+\mathcal{O}(g^{4})roman_Ξ£ ( italic_p ) = roman_i italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_p + italic_k ) italic_D start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_k ) + caligraphic_O ( italic_g start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ) into the proposed Eq.Β (40) of Ref.Β [1], one obtains:

Ξ“tRef.[1]⁒(q,p)=Οƒ3+i⁒g2⁒[G0βˆ’1⁒(p+q)βˆ’G0βˆ’1⁒(p)]βˆ’1⁒σ3⁒∫k[G0⁒(p+k)βˆ’G0⁒(p+q+k)]⁒D0⁒(k)+π’ͺ⁒(g4).superscriptsubscriptΓ𝑑Ref.[1]π‘žπ‘subscript𝜎3isuperscript𝑔2superscriptdelimited-[]superscriptsubscript𝐺01π‘π‘žsuperscriptsubscript𝐺01𝑝1subscript𝜎3subscriptπ‘˜delimited-[]subscript𝐺0π‘π‘˜subscript𝐺0π‘π‘žπ‘˜subscript𝐷0π‘˜π’ͺsuperscript𝑔4\Gamma_{t}^{\text{Ref.\cite[cite]{[\@@bibref{Number}{LYPW}{}{}]}}}(q,p)=\sigma% _{3}+\mathrm{i}g^{2}\left[G_{0}^{-1}(p+q)-G_{0}^{-1}(p)\right]^{-1}\sigma_{3}% \int_{k}\left[G_{0}(p+k)-G_{0}(p+q+k)\right]D_{0}(k)+\mathcal{O}(g^{4}).roman_Ξ“ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Ref. end_POSTSUPERSCRIPT ( italic_q , italic_p ) = italic_Οƒ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT + roman_i italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ italic_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_p + italic_q ) - italic_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_p ) ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT italic_Οƒ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT [ italic_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_p + italic_k ) - italic_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_p + italic_q + italic_k ) ] italic_D start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_k ) + caligraphic_O ( italic_g start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ) .

Evidently, the proposed exact expression for Ξ“tsubscriptΓ𝑑\Gamma_{t}roman_Ξ“ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT does not reproduce well-established weak-coupling expansions and cannot be correct.

The source of the mistake is the following: In the charge and spin WTIs, the averages which include current divergences may be expressed via limits

⟨[ΞΎβˆ‚π³β’Ξ¨β€ β’(z)⁒σm⁒Ψ⁒(z)βˆ’Ξ¨β€ β’(z)⁒σmβ’ΞΎβˆ‚π³β’Ξ¨β’(z)]⁒Ψ⁒(z1)⁒Ψ†⁒(z2)⟩delimited-⟨⟩delimited-[]subscriptπœ‰subscript𝐳superscriptΨ†𝑧subscriptπœŽπ‘šΞ¨π‘§superscriptΨ†𝑧subscriptπœŽπ‘šsubscriptπœ‰subscript𝐳Ψ𝑧Ψsubscript𝑧1superscriptΨ†subscript𝑧2\displaystyle\left\langle\left[\xi_{\partial_{\mathbf{z}}}\!\Psi^{{\dagger}}(z% )\sigma_{m}\Psi(z)-\Psi^{{\dagger}}(z)\sigma_{m}\xi_{\partial_{\mathbf{z}}}\!% \Psi(z)\right]\Psi(z_{1})\Psi^{{\dagger}}(z_{2})\right\rangle⟨ [ italic_ΞΎ start_POSTSUBSCRIPT βˆ‚ start_POSTSUBSCRIPT bold_z end_POSTSUBSCRIPT end_POSTSUBSCRIPT roman_Ξ¨ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_z ) italic_Οƒ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_Ξ¨ ( italic_z ) - roman_Ξ¨ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_z ) italic_Οƒ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_ΞΎ start_POSTSUBSCRIPT βˆ‚ start_POSTSUBSCRIPT bold_z end_POSTSUBSCRIPT end_POSTSUBSCRIPT roman_Ξ¨ ( italic_z ) ] roman_Ξ¨ ( italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) roman_Ξ¨ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ⟩
=limzβ€²β†’z(ΞΎβˆ‚π³β€²βˆ’ΞΎβˆ‚π³)β’βŸ¨Ξ¨β€ β’(zβ€²)⁒σm⁒Ψ⁒(z)⁒Ψ⁒(z1)⁒Ψ†⁒(z2)⟩absentsubscriptβ†’superscript𝑧′𝑧subscriptπœ‰subscriptsuperscript𝐳′subscriptπœ‰subscript𝐳delimited-⟨⟩superscriptΨ†superscript𝑧′subscriptπœŽπ‘šΞ¨π‘§Ξ¨subscript𝑧1superscriptΨ†subscript𝑧2\displaystyle=\lim_{z^{\prime}\to z}\left(\xi_{\partial_{\mathbf{z}^{\prime}}}% -\xi_{\partial_{\mathbf{z}}}\right)\langle{\Psi^{{\dagger}}(z^{\prime})\sigma_% {m}\Psi(z)\Psi(z_{1})\Psi^{{\dagger}}(z_{2})}\rangle= roman_lim start_POSTSUBSCRIPT italic_z start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT β†’ italic_z end_POSTSUBSCRIPT ( italic_ΞΎ start_POSTSUBSCRIPT βˆ‚ start_POSTSUBSCRIPT bold_z start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT - italic_ΞΎ start_POSTSUBSCRIPT βˆ‚ start_POSTSUBSCRIPT bold_z end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) ⟨ roman_Ξ¨ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_z start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT ) italic_Οƒ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_Ξ¨ ( italic_z ) roman_Ξ¨ ( italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) roman_Ξ¨ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ⟩

to obtain the Eqs.Β (35) andΒ (36) of Ref.Β [1], which are correct. However, in going to Eqs.Β (37) andΒ (38), which are incorrect, the dependence of the above averages on the difference zβˆ’z′𝑧superscript𝑧′z-z^{\prime}italic_z - italic_z start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT has been neglected. Even though the zβ€²β†’zβ†’superscript𝑧′𝑧z^{\prime}\to zitalic_z start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT β†’ italic_z limit is taken at the end, the dependence on zβˆ’z′𝑧superscript𝑧′z-z^{\prime}italic_z - italic_z start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT must be taken into account during the intermediate steps to be able to describe z𝑧zitalic_z derivativesΒ [6]. To take this dependence into account, write

βŸ¨Ξ¨β€ β’(zβ€²)⁒σm⁒Ψ⁒(z)⁒Ψ⁒(z1)⁒Ψ†⁒(z2)⟩=delimited-⟨⟩superscriptΨ†superscript𝑧′subscriptπœŽπ‘šΞ¨π‘§Ξ¨subscript𝑧1superscriptΨ†subscript𝑧2absent\displaystyle\langle{\Psi^{{\dagger}}(z^{\prime})\sigma_{m}\Psi(z)\Psi(z_{1})% \Psi^{{\dagger}}(z_{2})}\rangle=⟨ roman_Ξ¨ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_z start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT ) italic_Οƒ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_Ξ¨ ( italic_z ) roman_Ξ¨ ( italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) roman_Ξ¨ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ⟩ =
=βˆ’βˆ«π‘‘z3⁒𝑑z4⁒G⁒(z1βˆ’z3)⁒Γ~m⁒(zβ€²,z,z3,z4)⁒G⁒(z4βˆ’z2),absentdifferential-dsubscript𝑧3differential-dsubscript𝑧4𝐺subscript𝑧1subscript𝑧3subscript~Ξ“π‘šsuperscript𝑧′𝑧subscript𝑧3subscript𝑧4𝐺subscript𝑧4subscript𝑧2\displaystyle=-\int dz_{3}dz_{4}G(z_{1}-z_{3})\tilde{\Gamma}_{m}(z^{\prime},z,% z_{3},z_{4})G(z_{4}-z_{2}),= - ∫ italic_d italic_z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_d italic_z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT italic_G ( italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) over~ start_ARG roman_Ξ“ end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_z start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT , italic_z , italic_z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , italic_z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ) italic_G ( italic_z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT - italic_z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ,
Ξ“~m⁒(zβ€²,z,z3,z4)=Ξ“~m⁒(z3βˆ’zβ€²,zβˆ’z4,zβˆ’zβ€²)subscript~Ξ“π‘šsuperscript𝑧′𝑧subscript𝑧3subscript𝑧4subscript~Ξ“π‘šsubscript𝑧3superscript𝑧′𝑧subscript𝑧4𝑧superscript𝑧′\displaystyle\tilde{\Gamma}_{m}(z^{\prime},z,z_{3},z_{4})=\tilde{\Gamma}_{m}(z% _{3}-z^{\prime},z-z_{4},z-z^{\prime})over~ start_ARG roman_Ξ“ end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_z start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT , italic_z , italic_z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , italic_z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ) = over~ start_ARG roman_Ξ“ end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - italic_z start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT , italic_z - italic_z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT , italic_z - italic_z start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT )
=∫q,p,keβˆ’i⁒(p+q)⁒(z3βˆ’zβ€²)⁒eβˆ’i⁒p⁒(zβˆ’z4)⁒eβˆ’i⁒k⁒(zβˆ’zβ€²)⁒Γ~m⁒(q,p,k),absentsubscriptπ‘žπ‘π‘˜superscripteiπ‘π‘žsubscript𝑧3superscript𝑧′superscriptei𝑝𝑧subscript𝑧4superscripteiπ‘˜π‘§superscript𝑧′subscript~Ξ“π‘šπ‘žπ‘π‘˜\displaystyle=\int_{q,p,k}\mathrm{e}^{-\mathrm{i}(p+q)(z_{3}-z^{\prime})}% \mathrm{e}^{-\mathrm{i}p(z-z_{4})}\mathrm{e}^{-\mathrm{i}k(z-z^{\prime})}% \tilde{\Gamma}_{m}(q,p,k),= ∫ start_POSTSUBSCRIPT italic_q , italic_p , italic_k end_POSTSUBSCRIPT roman_e start_POSTSUPERSCRIPT - roman_i ( italic_p + italic_q ) ( italic_z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - italic_z start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT ) end_POSTSUPERSCRIPT roman_e start_POSTSUPERSCRIPT - roman_i italic_p ( italic_z - italic_z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT roman_e start_POSTSUPERSCRIPT - roman_i italic_k ( italic_z - italic_z start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT ) end_POSTSUPERSCRIPT over~ start_ARG roman_Ξ“ end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_q , italic_p , italic_k ) ,

where m=tπ‘šπ‘‘m=titalic_m = italic_t corresponds to Οƒm=Οƒ3subscriptπœŽπ‘šsubscript𝜎3\sigma_{m}=\sigma_{3}italic_Οƒ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = italic_Οƒ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT (charge), and m=sπ‘šπ‘ m=sitalic_m = italic_s to Οƒm=Οƒ0subscriptπœŽπ‘šsubscript𝜎0\sigma_{m}=\sigma_{0}italic_Οƒ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = italic_Οƒ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT (spin). Note that Ξ“m⁒(q,p)=∫kΞ“~m⁒(q,p,k)subscriptΞ“π‘šπ‘žπ‘subscriptπ‘˜subscript~Ξ“π‘šπ‘žπ‘π‘˜\Gamma_{m}(q,p)=\int_{k}\tilde{\Gamma}_{m}(q,p,k)roman_Ξ“ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_q , italic_p ) = ∫ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT over~ start_ARG roman_Ξ“ end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_q , italic_p , italic_k ).

From Eqs.Β (35) andΒ (36) of Ref.Β [1], instead of Eqs.Β (37) andΒ (38), we now obtain the WTIs:

Ο‰q⁒Γm⁒(q,p)βˆ’(ξ𝐩+πͺβˆ’ΞΎπ©)⁒Γm¯⁒(q,p)βˆ’Ξ”mΒ―==Gβˆ’1⁒(p+q)⁒σmβˆ’Οƒm⁒Gβˆ’1⁒(p),subscriptπœ”π‘žsubscriptΞ“π‘šπ‘žπ‘subscriptπœ‰π©πͺsubscriptπœ‰π©subscriptΞ“Β―π‘šπ‘žπ‘subscriptΞ”Β―π‘šsuperscript𝐺1π‘π‘žsubscriptπœŽπ‘šsubscriptπœŽπ‘šsuperscript𝐺1𝑝\displaystyle\begin{gathered}\omega_{q}\Gamma_{m}(q,p)-(\xi_{\mathbf{p}+% \mathbf{q}}-\xi_{\mathbf{p}})\Gamma_{\overline{m}}(q,p)-\Delta_{\overline{m}}=% \\ =G^{-1}(p+q)\sigma_{m}-\sigma_{m}G^{-1}(p),\end{gathered}start_ROW start_CELL italic_Ο‰ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT roman_Ξ“ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_q , italic_p ) - ( italic_ΞΎ start_POSTSUBSCRIPT bold_p + bold_q end_POSTSUBSCRIPT - italic_ΞΎ start_POSTSUBSCRIPT bold_p end_POSTSUBSCRIPT ) roman_Ξ“ start_POSTSUBSCRIPT overΒ― start_ARG italic_m end_ARG end_POSTSUBSCRIPT ( italic_q , italic_p ) - roman_Ξ” start_POSTSUBSCRIPT overΒ― start_ARG italic_m end_ARG end_POSTSUBSCRIPT = end_CELL end_ROW start_ROW start_CELL = italic_G start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_p + italic_q ) italic_Οƒ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT - italic_Οƒ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_G start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_p ) , end_CELL end_ROW

where tΒ―=s¯𝑑𝑠\bar{t}=soverΒ― start_ARG italic_t end_ARG = italic_s and sΒ―=t¯𝑠𝑑\bar{s}=toverΒ― start_ARG italic_s end_ARG = italic_t, so ΟƒmΒ―=Οƒm⁒σ3subscriptπœŽΒ―π‘šsubscriptπœŽπ‘šsubscript𝜎3\sigma_{\overline{m}}=\sigma_{m}\sigma_{3}italic_Οƒ start_POSTSUBSCRIPT overΒ― start_ARG italic_m end_ARG end_POSTSUBSCRIPT = italic_Οƒ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_Οƒ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT. The additional

Ξ”msubscriptΞ”π‘š\displaystyle\Delta_{m}roman_Ξ” start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT =∫k[ξ𝐩+πͺ+π€βˆ’ΞΎπ©+π€βˆ’ΞΎπ©+πͺ+ξ𝐩]⁒Γ~m⁒(q,p,k)absentsubscriptπ‘˜delimited-[]subscriptπœ‰π©πͺ𝐀subscriptπœ‰π©π€subscriptπœ‰π©πͺsubscriptπœ‰π©subscript~Ξ“π‘šπ‘žπ‘π‘˜\displaystyle=\int_{k}\left[\xi_{\mathbf{p}+\mathbf{q}+\mathbf{k}}-\xi_{% \mathbf{p}+\mathbf{k}}-\xi_{\mathbf{p}+\mathbf{q}}+\xi_{\mathbf{p}}\right]% \tilde{\Gamma}_{m}(q,p,k)= ∫ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT [ italic_ΞΎ start_POSTSUBSCRIPT bold_p + bold_q + bold_k end_POSTSUBSCRIPT - italic_ΞΎ start_POSTSUBSCRIPT bold_p + bold_k end_POSTSUBSCRIPT - italic_ΞΎ start_POSTSUBSCRIPT bold_p + bold_q end_POSTSUBSCRIPT + italic_ΞΎ start_POSTSUBSCRIPT bold_p end_POSTSUBSCRIPT ] over~ start_ARG roman_Ξ“ end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_q , italic_p , italic_k )

terms make it impossible to solve these WTIs for Ξ“m⁒(q,p)subscriptΞ“π‘šπ‘žπ‘\Gamma_{m}(q,p)roman_Ξ“ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_q , italic_p ) purely in terms of the dressed electron propagator G⁒(p)𝐺𝑝G(p)italic_G ( italic_p ).

The Ξ”msubscriptΞ”π‘š\Delta_{m}roman_Ξ” start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT terms are essential in ensuring that the WTI holds at each order in perturbation theory. This is most easily seen if we recast it into

∫k[(Ο‰p+Ο‰q+Ο‰k)βˆ’(Ο‰p+Ο‰k)]⁒Γ~mir⁒(q,p,k)subscriptπ‘˜delimited-[]subscriptπœ”π‘subscriptπœ”π‘žsubscriptπœ”π‘˜subscriptπœ”π‘subscriptπœ”π‘˜superscriptsubscript~Ξ“π‘širπ‘žπ‘π‘˜\displaystyle\int_{k}\left[(\omega_{p}+\omega_{q}+\omega_{k})-(\omega_{p}+% \omega_{k})\right]\tilde{\Gamma}_{m}^{\text{ir}}(q,p,k)∫ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT [ ( italic_Ο‰ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT + italic_Ο‰ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT + italic_Ο‰ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) - ( italic_Ο‰ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT + italic_Ο‰ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ] over~ start_ARG roman_Ξ“ end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ir end_POSTSUPERSCRIPT ( italic_q , italic_p , italic_k )
βˆ’βˆ«k[ξ𝐩+πͺ+π€βˆ’ΞΎπ©+𝐀]⁒Γ~mΒ―ir⁒(q,p,k)=subscriptπ‘˜delimited-[]subscriptπœ‰π©πͺ𝐀subscriptπœ‰π©π€superscriptsubscript~Ξ“Β―π‘širπ‘žπ‘π‘˜absent\displaystyle-\int_{k}\left[\xi_{\mathbf{p}+\mathbf{q}+\mathbf{k}}-\xi_{% \mathbf{p}+\mathbf{k}}\right]\tilde{\Gamma}_{\overline{m}}^{\text{ir}}(q,p,k)=- ∫ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT [ italic_ΞΎ start_POSTSUBSCRIPT bold_p + bold_q + bold_k end_POSTSUBSCRIPT - italic_ΞΎ start_POSTSUBSCRIPT bold_p + bold_k end_POSTSUBSCRIPT ] over~ start_ARG roman_Ξ“ end_ARG start_POSTSUBSCRIPT overΒ― start_ARG italic_m end_ARG end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ir end_POSTSUPERSCRIPT ( italic_q , italic_p , italic_k ) =
=Οƒm⁒Σ⁒(p)βˆ’Ξ£β’(p+q)⁒σm,absentsubscriptπœŽπ‘šΞ£π‘Ξ£π‘π‘žsubscriptπœŽπ‘š\displaystyle=\sigma_{m}\Sigma(p)-\Sigma(p+q)\sigma_{m},= italic_Οƒ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_Ξ£ ( italic_p ) - roman_Ξ£ ( italic_p + italic_q ) italic_Οƒ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ,

where Ξ“~mirsuperscriptsubscript~Ξ“π‘šir\tilde{\Gamma}_{m}^{\text{ir}}over~ start_ARG roman_Ξ“ end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ir end_POSTSUPERSCRIPT is the irreducible part of Ξ“~msubscript~Ξ“π‘š\tilde{\Gamma}_{m}over~ start_ARG roman_Ξ“ end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT. By inspecting this WTI, one sees that in Ξ“~mir⁒(q,p,k)superscriptsubscript~Ξ“π‘širπ‘žπ‘π‘˜\tilde{\Gamma}_{m}^{\text{ir}}(q,p,k)over~ start_ARG roman_Ξ“ end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ir end_POSTSUPERSCRIPT ( italic_q , italic_p , italic_k ) every ΟƒmsubscriptπœŽπ‘š\sigma_{m}italic_Οƒ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT is in effect replaced by Οƒm⁒[G0βˆ’1⁒(p+q+k)βˆ’G0βˆ’1⁒(p+k)]subscriptπœŽπ‘šdelimited-[]superscriptsubscript𝐺01π‘π‘žπ‘˜superscriptsubscript𝐺01π‘π‘˜\sigma_{m}[G_{0}^{-1}(p+q+k)-G_{0}^{-1}(p+k)]italic_Οƒ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT [ italic_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_p + italic_q + italic_k ) - italic_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_p + italic_k ) ]. At each order in g𝑔gitalic_g, this type of cutting of irreducible diagrams of Ξ“~mirsuperscriptsubscript~Ξ“π‘šir\tilde{\Gamma}_{m}^{\text{ir}}over~ start_ARG roman_Ξ“ end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ir end_POSTSUPERSCRIPT on the left-hand side yields precisely the self-energy diagrams of ΣΣ\Sigmaroman_Ξ£ on the right-hand sideΒ [7]. The perturbative expressions for Ξ“tsubscriptΓ𝑑\Gamma_{t}roman_Ξ“ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT and ΣΣ\Sigmaroman_Ξ£ that we previously employed indeed satisfy this, as one may check.

Analogous mistakes were made in subsequent work by the same authorsΒ [2, 3, 4, 5]. In none of the studied modelsΒ [1, 2, 3, 4, 5] can one solve the WTIs to get the dressed fermion-boson vertex in terms of the dressed fermionic propagators only. Moreover, if one neglects terms of the WTIs as in Refs.Β [1, 2, 3, 4, 5], one obtains expressions for the fermion-boson vertex which violate conservation laws and do not reproduce well-established weak-coupling expansions. The proposed vertex expressions are thus not good approximations of the exact vertex.

Acknowledgments: I thank JΓΆrg Schmalian, Rafael M.Β Fernandes, and Andrey V.Β Chubukov for useful suggestions. Discussions with Guo-Zhu Liu are acknowledged. This work was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - TRR 288-422213477 Elasto-Q-Mat project A07.

References

  • [1] Guo-Zhu Liu, Zhao-Kun Yang, Xiao-Yin Pan, and **g-Rong Wang, Towards exact solutions for the superconducting Tcsubscript𝑇𝑐T_{c}italic_T start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT induced by electron-phonon interaction, Phys. Rev. B 103, 094501 (2021).
  • [2] Jie Huang, Zhao-Kun Yang, Xiao-Yin Pan, and Guo-Zhu Liu, Theoretical study of phonon-mediated superconductivity beyond Migdal-Eliashberg approximation and Coulomb pseudopotential, Phys. Rev. B 108, 144507 (2023).
  • [3] Xiao-Yin Pan, Zhao-Kun Yang, Xin Li, and Guo-Zhu Liu, Nonperturbative Dyson-Schwinger equation approach to strongly interacting Dirac fermion systems, Phys. Rev. B 104, 085141 (2021).
  • [4] Zhao-Kun Yang, Xiao-Yin Pan, and Guo-Zhu Liu, A non-perturbative study of the interplay between electron–phonon interaction and Coulomb interaction in undoped graphene, J. Phys.: Condens. Matter 35, 075601 (2022).
  • [5] Hao-Fu Zhu, Xiao-Yin Pan, and Guo-Zhu Liu, Fermion dispersion renormalization in a two-dimensional semi-Dirac semimetal, Phys. Rev. B 105, 085136 (2022).
  • [6] Averages of the form βŸ¨Ξ¨β€ β’(z)⁒σmβ’βˆ‚zΨ⁒(z)⁒Ψ⁒(z1)⁒Ψ†⁒(z2)⟩delimited-⟨⟩superscriptΨ†𝑧subscriptπœŽπ‘šsubscript𝑧Ψ𝑧Ψsubscript𝑧1superscriptΨ†subscript𝑧2\langle{\Psi^{{\dagger}}(z)\sigma_{m}\partial_{z}\Psi(z)\Psi(z_{1})\Psi^{{% \dagger}}(z_{2})}\rangle⟨ roman_Ξ¨ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_z ) italic_Οƒ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT βˆ‚ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT roman_Ξ¨ ( italic_z ) roman_Ξ¨ ( italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) roman_Ξ¨ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ⟩ contain information not only on zβ€²=zsuperscript𝑧′𝑧z^{\prime}=zitalic_z start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT = italic_z, but also on zβ€²superscript𝑧′z^{\prime}italic_z start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT infinitesimally close to z𝑧zitalic_z, hence one cannot relate them to βŸ¨Ξ¨β€ β’(z)⁒σm⁒Ψ⁒(z)⁒Ψ⁒(z1)⁒Ψ†⁒(z2)⟩delimited-⟨⟩superscriptΨ†𝑧subscriptπœŽπ‘šΞ¨π‘§Ξ¨subscript𝑧1superscriptΨ†subscript𝑧2\langle{\Psi^{{\dagger}}(z)\sigma_{m}\Psi(z)\Psi(z_{1})\Psi^{{\dagger}}(z_{2})}\rangle⟨ roman_Ξ¨ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_z ) italic_Οƒ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_Ξ¨ ( italic_z ) roman_Ξ¨ ( italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) roman_Ξ¨ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ⟩.
  • [7] The diagramatic argument for this is standard. See, e.g., SectionΒ 7.4 of Michael E. Peskin and Daniel V. Schroeder, An Introduction to Quantum Field Theory (CRC Press, 1995) for a discussion in an elementary model.