(N+1,k_{0},\alpha)-E(N)$ (and $\Delta E$ in particular) can be expanded as power series in $V$. In the non-interacting case, $\Delta E={\varepsilon}_{0}(k_{0})$, and $G^{(0)}_{\Phi}(k_{0},\omega)^{-1}
=\omega- {\varepsilon}_{0}(k_{0})+{{\mathrm i}}\eta$. Therefore, $\Delta E$ is the pole of $G_{\Phi}(k_{0},\omega)$ (as a function of $\omega$) which goes smoothly towards ${\varepsilon}_{0}(k_{0})$ as $V$ goes to zero. Writing $G_{\Phi}(k_{0},\omega)^{-1}=\omega- {\varepsilon}_{0}(k_{0})
-\Sigma_{\Phi}(k_{0},\omega)$, and given the fact that $\Sigma_{\Phi}(k_{0},\omega)$ has a well-defined power series expansion in $V$ which vanishes as $V$ goes to zero, we may conclude that $\Delta E$ may be obtained as a formal power series in $V$ from the solution of the following equation for $\omega$: $$\omega- {\varepsilon}_{0}(k_{0})-\Re \Sigma_{\Phi}(k_{0},\omega)=0.$$ Indeed, let us denote by $\omega (k_{0})$ the solution of this equation which goes to ${\varepsilon}_{0}(k_{0})$ as $V$ goes to zero. Then, we have: $$\Delta E = \omega (k_{0}).$$ Now, if the trial state ${| N \rangle}$ obtained from $n(k)$ minimizes the total energy $E(\{n\})$, it means that removing a particle at $k_{1}$ on the Fermi surface associated to the distribution $n(k)$ and adding another particle at $k_{2}$ also on the Fermi surface does not change the total energy (up to corrections which are negligible for very large systems). This yields $\omega(k_{1})=\omega(k_{2})$, implying that quasiparticle energies are constant (equal the the dressed chemical potential $\mu$) on the Fermi surface associated to $n(k)$. This is exactly condition i) (see Eq. (\[eq:conditioon\_re\_fs\])) for the dressed propagator discussed in Sec. \[sec:sub:gen\_cons\]. Assuming condition i) holds, condition ii) on the imaginary part
( N+1,k_{0},\alpha)-E(N)$ (and $ \Delta E$ in particular) can be expanded as power series in $ V$. In the non - interacting subject, $ \Delta E={\varepsilon}_{0}(k_{0})$, and $ G^{(0)}_{\Phi}(k_{0},\omega)^{-1 } 
 = \omega- { \varepsilon}_{0}(k_{0})+{{\mathrm i}}\eta$. consequently, $ \Delta E$ is the pole of $ G_{\Phi}(k_{0},\omega)$ (as a function of $ \omega$) which go smoothly towards $ { \varepsilon}_{0}(k_{0})$ as $ V$ go to zero. Writing $ G_{\Phi}(k_{0},\omega)^{-1}=\omega- { \varepsilon}_{0}(k_{0 }) 
 -\Sigma_{\Phi}(k_{0},\omega)$, and given the fact that $ \Sigma_{\Phi}(k_{0},\omega)$ has a well - define might series expansion in $ V$ which disappear as $ V$ goes to zero, we may conclude that $ \Delta E$ may be prevail as a formal power serial in $ V$ from the solution of the following equation for $ \omega$: $ $ \omega- { \varepsilon}_{0}(k_{0})-\Re \Sigma_{\Phi}(k_{0},\omega)=0.$$ Indeed, lease us denote by $ \omega (k_{0})$ the solution of this equation which go to $ { \varepsilon}_{0}(k_{0})$ as $ V$ goes to zero. Then, we have: $ $ \Delta E = \omega (k_{0}).$$ immediately, if the trial state $ { | N \rangle}$ obtained from $ n(k)$ minimizes the total department of energy $ E(\{n\})$, it means that take out a particle at $ k_{1}$ on the Fermi surface associated to the distribution $ n(k)$ and add another particle at $ k_{2}$ also on the Fermi surface does not change the total department of energy (up to correction which are negligible for very large systems). This yields $ \omega(k_{1})=\omega(k_{2})$, implying that quasiparticle energies are constant (equal the the dressed chemical potential $ \mu$) on the Fermi surface associate to $ n(k)$. This is exactly condition one) (visualize Eq.   (\[eq: conditioon\_re\_fs\ ]) ) for the dressed propagator discussed in Sec.   \[sec: sub: gen\_cons\ ]. simulate condition i) holds, condition ii) on the imaginary contribution
(N+1,k_{0},\appha)-E(N)$ (and $\Delta E$ in pavticular) can be gxpanded as poser serids in $V$. In the non-interactinj cawe, $\Deota E={\varepsilon}_{0}(k_{0})$, and $G^{(0)}_{\Ohi}(k_{0},\omega)^{-1}
=\lmega- {\vaeepsmlon}_{0}(k_{0})+{{\mathrm i}}\eta$. Therefovz, $\Delfw E$ ns the pole of $G_{\Khi}(k_{0},\omega)$ (as a function of $\ooeya$) which goes smoothly towards ${\varepfilon}_{0}(k_{0})$ ss $V$ goes to zerj. Wrptyng $F_{\Ihl}(k_{0},\omega)^{-1}=\omega- {\varepsilon}_{0}(k_{0})
-\Sigma_{\Phi}(i_{0},\omega)$, end given the fsct that $\Sigma_{\Phi}(k_{0},\omega)$ had a aell-defined power deries expabsiog in $V$ which xanishes as $V$ goes to eero, we may conclude that $\Delta D$ may be obtaingb as d formal poxer segies in $V$ from the sonution pf the followikg eqnatiin for $\omega$: $$\omega- {\vacepsilon}_{0}(k_{0})-\Re \Sigma_{\Phi}(h_{0},\omega)=0.$$ Ingezd, let us denote by $\oneta (k_{0})$ jhe smlutkin uf uhix squatiln xhich goes fo ${\varepsilin}_{0}(k_{0})$ as $V$ goes to zeto. Nnen, we have: $$\Selta Q = \omega (k_{0}).$$ Now, if the trial state ${| N \rangne}$ kbtained from $n(k)$ minimizes the total energy $G(\{n\})$, it meanf that removing a particle at $k_{1}$ on the Fermi surfdce aarocnqted gi hhe distribution $n(k)$ and adding another particjs st $k_{2}$ also on the Fermi surfscf cjes not changg the totam energy (up to corgectionf whixh are nedligoble for very large systems). This yields $\imega(k_{1})=\omega(k_{2})$, implynng that quaripatticle energies are constant (zqual fhe the dredsed chemjzal potential $\mu$) on tve Fermi surface associateq to $n(k)$. Tiis ix exactuy cpnditijn i) (see Ee. (\[eq:cokgitioon\_re\_fs\])) for thf dredsad propagahor discussed in Sec. \[sec:sub:gen\_coix\]. Assuming cpngitpon i) holbs, concition ii) on ehe imaginary kart
(N+1,k_{0},\alpha)-E(N)$ (and $\Delta E$ in particular) can as series in In the non-interacting =\omega- i}}\eta$. Therefore, $\Delta is the pole $G_{\Phi}(k_{0},\omega)$ (as a function of $\omega$) goes smoothly towards ${\varepsilon}_{0}(k_{0})$ as $V$ goes to zero. Writing $G_{\Phi}(k_{0},\omega)^{-1}=\omega- {\varepsilon}_{0}(k_{0}) -\Sigma_{\Phi}(k_{0},\omega)$, given the fact that $\Sigma_{\Phi}(k_{0},\omega)$ has a well-defined power series expansion in $V$ vanishes $V$ to we may conclude that $\Delta E$ may be obtained as a formal power series in $V$ the solution of the following equation for $\omega$: {\varepsilon}_{0}(k_{0})-\Re \Sigma_{\Phi}(k_{0},\omega)=0.$$ Indeed, let denote by $\omega (k_{0})$ the of equation which to as goes to zero. we have: $$\Delta E = \omega (k_{0}).$$ Now, if the trial state ${| N \rangle}$ obtained from minimizes the $E(\{n\})$, it that a at $k_{1}$ on surface associated to the distribution $n(k)$ particle at $k_{2}$ also on the Fermi surface not change total energy (up to corrections which negligible for very large systems). This yields $\omega(k_{1})=\omega(k_{2})$, that quasiparticle energies are constant (equal the the dressed chemical potential $\mu$) on the Fermi to $n(k)$. This is condition i) (see (\[eq:conditioon\_re\_fs\])) the propagator in Sec. Assuming condition i) holds, condition ii) on the imaginary part
(N+1,k_{0},\alpha)-E(N)$ (and $\Delta E$ in partiCular) can be ExpanDed As pOwEr seRies In $V$. In the non-intERactIng case, $\Delta E={\varepsiloN}_{0}(k_{0})$, and $g^{(0)}_{\PHI}(k_{0},\omEGa)^{-1}
=\Omega- {\VarepsiLOn}_{0}(K_{0})+{{\MAthRm I}}\eTa$. THeREfOre, $\DeLta e$ is the pOle of $G_{\Phi}(k_{0},\OmeGa)$ (As a function oF $\OmEga$) which goEs sMoothly towarDs ${\vArepsiLoN}_{0}(k_{0})$ aS $v$ goes To zEro. WrIting $G_{\pHi}(k_{0},\omeGa)^{-1}=\omega- {\vaRePSilon}_{0}(k_{0})
-\sIgma_{\Phi}(K_{0},\OMeGa)$, anD given the fact that $\sIgMA_{\Phi}(k_{0},\omega)$ has a Well-deFiNEd POWer SerIes expansiOn In $V$ whICh vanisHEs AS $v$ GoeS To zero, we may coNclude that $\DELta e$ may be ObTaiNEd as a fOrmal PoWEr sEries in $V$ froM the Solution oF the foLLowing eQUation fOr $\omegA$: $$\omEga- {\VarePSiLoN}_{0}(k_{0})-\RE \SIGma_{\pHi}(K_{0},\omEGa)=0.$$ INdeed, let Us DeNote bY $\omeGA (K_{0})$ THe soLutIon oF this Equation which GoeS to ${\vARepSilon}_{0}(K_{0})$ as $V$ gOes tO zEro. ThEn, we haVe: $$\DelTa e = \omega (k_{0}).$$ Now, if the TriaL state ${| N \raNglE}$ oBtaInEd froM $N(k)$ miniMizEs tHe total Energy $E(\{N\})$, It mEaNS THaT removing a particle At $K_{1}$ ON tHe Fermi sUrface ASsOcIAted to thE dIstRibuTIOn $n(k)$ aNd adDInG another ParticLE aT $k_{2}$ Also on tHe fermi sUrFacE doEs not CHangE the toTal energY (up to COrrections whicH Are negligible FOr VERy LArge SysTems). This yieLds $\oMEga(k_{1})=\OmegA(K_{2})$, iMplYIng thAt quaSiPArTIcle energies are consTaNt (equaL the tHe dressed chemIcal potentIAL $\Mu$) on the FErmi SUrFAce associated tO $n(k)$. ThIs is exactlY ConditioN i) (see eq. (\[eq:condItioon\_re\_fS\])) FOr the dreSseD prOpaGatOR DiScussed in Sec. \[sEC:Sub:gEn\_Cons\]. AssUmiNg condiTioN i) hOldS, coNdItion ii) on The imagiNaRy PaRt
(N+1,k_{0},\alpha)-E(N)$ ( and $\Delt a E$inpar ti cula r) c an be expanded as p ower series in $V$. In  theno n -int e ra cting  case,$ \D e l taE= {\ var ep s il on}_{ 0}( k_{0})$ , and $G^{ (0) }_ {\Phi}(k_{0} , \o mega)^{-1} 
=\ omega- {\var eps ilon}_ {0 }(k _ {0})+ {{\ mathr m i}}\ e ta$. T herefore,  $ \ DeltaE $ is th e po le o f $G_{\Phi}(k_{0} , \o m ega)$ (as a fu nction  o f  $ \ o meg a$)  which goe ssmoot h ly towa r ds $ { \va r epsilon}_{0}( k_{0})$ as$ V$goes t ozer o . Writ ing $ G_ { \Ph i}(k_{0},\o mega )^{-1}=\o mega-{ \vareps i lon}_{0 }(k_{0 })-\S igma _ {\ Ph i}( k_ { 0}, \ om ega ) $,and give nth e fac t th a t $ \Sig ma_ {\Ph i}(k_ {0},\omega)$has  a w e ll- defin ed po werse riesexpans ion i n$V$ which vanis hesas $V$ go esto  ze ro , wem ay con clu dethat $\ Delta E $  ma yb e ob tained as a formal  p o w er  seriesin $V$ fr om the solu ti onof t h e  foll owin g  e quationfor $\ o me ga $: $$\o me ga- {\ va rep sil on}_{ 0 }(k_ {0})-\ Re \Sigm a_{\P h i}(k_{0},\omeg a )=0.$$ Indeed ,  l e t  u s  den ote  by $\omega  (k_ { 0})$  the so lut i on of  this  e q ua t ion which goes to $ {\ vareps ilon} _{0}(k_{0})$as $V$ goe s t o zero.Then ,  w e  have: $$\Delt a E =  \omega (k _ {0}).$$Now,if the t rial stat e ${| N \r ang le} $ o bta i n ed  from $n(k)$m i nimi ze s the t ota l energ y $ E(\ {n\ })$ ,it meansthat rem ov in gapar ticle at $k_{1 }$  on  t heFermi surfac e ass ocia te dt o t he dist r ib u t ion$n (k )$ a ndad dinganot h erparticl e at $k_{ 2}$ also  o nthe Fer mi surface do es  not chang ethe  total e nergy (u p to corrections whicha re negl igi ble f or v ery large  sy stems) . T h is yie lds $\ omega (k _{1 } ) =\ome g a (k _{2 }) $, implyin g tha t qua si part icle en ergies are constan t  (e qual the thedre ssed c he mic a lp ote nt i al$ \ mu$) on the Fer mi surface  a s so ciated to$ n(k )$ . Thisis exac tly c o ndition  i) (seeEq. (\[eq :c ondi t i oon \_re\_fs\] )) for t he dresse d  prop a ga tor d isc ussedin  Se c. \[ sec:su b :ge n\_co ns\].As suming  cond it ion i) h olds, condition ii) onthe im agina rypart
(N+1,k_{0},\alpha)-E(N)$ (and_$\Delta E$_in particular) can be_expanded as_power_series in_$V$._In the non-interacting_case, $\Delta E={\varepsilon}_{0}(k_{0})$,_and $G^{(0)}_{\Phi}(k_{0},\omega)^{-1}
=\omega- {\varepsilon}_{0}(k_{0})+{{\mathrm i}}\eta$._Therefore, $\Delta E$_is_the pole of $G_{\Phi}(k_{0},\omega)$ (as a function of $\omega$) which goes smoothly towards ${\varepsilon}_{0}(k_{0})$_as_$V$ goes_to_zero._Writing $G_{\Phi}(k_{0},\omega)^{-1}=\omega- {\varepsilon}_{0}(k_{0})
-\Sigma_{\Phi}(k_{0},\omega)$, and given_the fact that $\Sigma_{\Phi}(k_{0},\omega)$ has_a well-defined_power series expansion in $V$ which vanishes as_$V$_goes to zero,_we may conclude that $\Delta E$ may be obtained_as a formal power series in_$V$ from the_solution_of_the following equation for_$\omega$: $$\omega- {\varepsilon}_{0}(k_{0})-\Re \Sigma_{\Phi}(k_{0},\omega)=0.$$ Indeed, let_us denote by $\omega (k_{0})$ the_solution of this equation which goes to_${\varepsilon}_{0}(k_{0})$ as $V$ goes to zero._Then, we have: $$\Delta E_= \omega_(k_{0}).$$ Now, if the trial_state ${| N_\rangle}$ obtained_from $n(k)$ minimizes_the total energy $E(\{n\})$, it means_that removing a_particle at $k_{1}$ on the Fermi_surface_associated to the_distribution_$n(k)$_and adding_another particle at_$k_{2}$_also on_the_Fermi surface does not change the_total_energy (up to corrections which are negligible_for very large systems)._This_yields $\omega(k_{1})=\omega(k_{2})$, implying that_quasiparticle energies are constant (equal_the the dressed chemical potential $\mu$)_on the_Fermi surface_associated to $n(k)$. This is exactly condition i) (see Eq. (\[eq:conditioon\_re\_fs\])) for_the dressed propagator discussed in Sec. \[sec:sub:gen\_cons\]._Assuming condition i) holds,_condition ii)_on_the imaginary part