within the last fifteen years or so , the dynamical mean field theory approach ( dmft)@xcite and its cluster generalizations@xcite have become some of the most powerful techniques to study strongly correlated electrons . in these approaches , a single - site hybridized to a bath or a cluster hybridized to a bath must be solved .
the bath of non - interacting electrons is determined self - consistently . at the heart of the dmft approach
then , one finds so - called impurity solvers .
there are now very powerful impurity solvers , for example continuous time quantum monte carlo ( ctqmc ) methods@xcite .
these methods are exact within statistical errors and , for the one - band hubbard model , certain versions@xcite at the single site level do not suffer from sign problem . yet , these approaches require sizeable computational resources and , in addition , real frequency information must be obtained through analytical continuation of data with statistical uncertainties , an ill - posed problem@xcite .
it is thus still of great interest to work with approximate solvers that are reliable and do not suffer from statistical uncertainties .
this facilitates the calculation of real - frequency quantities with pad approximants@xcite or directly in real - frequency and also enables one to quickly explore phase diagrams and pinpoint interesting regions of parameter space where state of the art solvers would be useful . among possible approximate solvers ,
one finds exact diagonalization , slave bosons , non - crossing approximation ( nca ) , numerical renormalization group ( nrg ) and others@xcite .
they all have advantages and disadvantages .
for example , exact diagonalization can consider only a limited number of bath sites , nca is limited to high temperatures and nrg to low energies .
here we consider iterated perturbation theory ( ipt ) @xcite , an interpolation approach that generalizes the original@xcite ipt applicable only at half filling .
this method has been , and still is , wildly used@xcite .
the interpolation is constructed so that the self - energy recovers both the exact result in the atomic limit and the high - frequency limit of the hubbard model .
there is one parameter however that can not be determined from these constraints .
there have been several proposals to fix this parameter . at @xmath1
one can impose that luttinger s theorem be satisfied ( ipt-@xmath2 ) as was done in [ ] but when this condition is applied at finite temperature , the results are not satisfactory@xcite .
another very popular approach for non - zero temperature fixes the occupation @xmath3 of the non - interacting part of the anderson impurity problem used in the perturbative calculation to be equal to the lattice occupation @xmath4 @xcite ( ipt-@xmath3 ) .
this condition is arbitrary since there is no general principle relating these two numbers , but it turns out to be quite satisfactory in the case of correlated metal i.e. @xmath5@xcite .
@xmath6 is the coupling for which the metal to insulator mott transition occurs at half - filling .    despite this success ,
it is known@xcite that when @xmath7 is larger than the critical value for the mott transition at @xmath8 ( @xmath9 ) , then ipt breaks down for @xmath10 at low @xmath11 when the condition @xmath4 is applied .
this happens even if , in principle , ipt is constructed to respect the atomic limit @xmath12 .
it has been proposed@xcite that preserving the third moment of the spectral weight improves the results .
here we show that ipt-@xmath3 is unsatisfactory for @xmath13 close to half - filling for both @xmath10 and @xmath14 .
we propose a way to circumvent this problem by using the fact that when @xmath7 is large enough , the double occupancy becomes almost temperature independent in the paramagnetic state with a value that is , to a high degree of accuracy , a simple function of the density .
this provides us with a condition different from @xmath4 that allows one to close the ipt equations even for large coupling .
this approach , ipt-@xmath0 , is applicable at all temperatures contrary to the approach that enforces luttinger s theorem .
it can in principle be improved further by enforcing the third - moment sum rule@xcite .    in sec .
[ dmft ] we summarize the dmft approach , the solvers that we use and the manner in which fermi liquid parameters are extracted .
[ breakdown ] demonstrates the failure of ipt at large coupling . in this section and throughout the text ,
numerical examples are obtained with the 3-dimensional fcc lattice . amongst lattice presenting electronic frustration ,
the fcc lattice is important because of its prevalence in nature .
our main contribution appears in sec .
[ sec : double ] where we show that double occupancy can be accurately determined from simple arguments at very strong coupling and then used to fix the remaining parameter in ipt .
we call this approach ipt-@xmath0 .
fermi liquid parameters , density of states , chemical potential , energy , and specific heat on the fcc lattice are calculated with both ipt-@xmath0 and ctqmc as benchmark examples .
resistivity and optical conductivity obtained with ipt-@xmath0 are physically reasonable .
appendix a contains details on the three dimensional adaptive integrator we developed for both ipt and ctqmc calculation .
appendix b contains details of the implementation of ipt-@xmath0 .
appendix c explains how to calculate the different non - interacting functions and appendix d gives details on the calculation of the optical conductivity .
we study the one - band hubbard model , @xmath15where @xmath16 is the hopping matrix between sites @xmath17 and @xmath18 , @xmath7 the on - site coulomb repulsion , @xmath19 the creation ( annihilation ) operator for an electron of spin @xmath20 on site @xmath17 and @xmath21 is the number operator .
the dynamical mean - field theory ( dmft ) provides a solution of the hubbard model that describes the mott transition in three dimensions and has predictive power for real materials@xcite . drawing from ideas on the solution of the hubbard model in infinite dimension@xcite
, the self - energy in this approach depends only on frequency .
one first solves the problem of a single site with the hubbard @xmath7 , hybridized with an infinite bath of non - interacting electrons , the so - called anderson model .
one extracts the frequency - dependent self - energy of the anderson model , which is then taken as the self - energy in the lattice green s function .
the bath is determined self - consistently by requiring that projection of the lattice green s function on a single site is identical to the single - site green s function of the anderson model .
the anderson impurity problem can be solved numerically with a very high precision .
dmft has been justified with a variety of approaches@xcite including a variational one@xcite .
the single - site dmft is exact in infinite dimension@xcite .
benchmarks against the bethe ansatz solution in one - dimension shows that dmft can be an accurate solution of the hubbard model also in lower dimensions @xcite .
mathematically , the partition function for the anderson impurity problem is given by the imaginary - time grassmann path integral @xmath22\,\mathrm{e}^{-s_{0}-\int_{0}^{\beta } d\tau \int_{0}^{\beta } d\tau ^{\prime \dag } ( \tau ) \delta ( \tau , \tau ^{\prime } ) \psi ( \tau ^{\prime } ) } ,   \label{eq : z}\]]with @xmath23 @xmath24 the bath hybridization and @xmath25 the action of the impurity , which consists of a single site with repulsion @xmath7 .
the self - consistency condition in matsubara frequency reads @xmath26 ^{-1}. \end{split } \label{eq : scc}\]]with @xmath27 the self - energy . on the fcc lattice
the single - particle dispersion is given , with lattice spacing @xmath28 , by @xmath29 $ ] .
in single - site dmft , the self - energy is local ( @xmath30 ) which enables one to transform the integrals over the brillouin zone entering the self - consistency relation into integrals over the non - interacting density of states @xmath31 .
however , in the case of a 3d fcc lattice , there is no analytic form for @xmath31 and its accurate numerical calculation using a monte - carlo binning procedure is cumbersome and only produces a fixed finite numbers of points . on the other hand ,
if we used a lorentzian as an approximation for the delta function , the band - edges and the van - hove singularities would suffer from accuracy problems that could be transferred to the dmft calculation .
we thus performed the calculation with the full @xmath32 space integration .
we devised an adaptive 3d fifth order gaussian quadrature for a cube .
this integration method is explained in appendix  [ appen_integrate ] . for comparisons in calculation of transport properties ,
we have nevertheless calculated @xmath31 using monte carlo integration as explained in appendix  [ mc_function ] .
the resulting non - interacting density of state for the fcc lattice with nearest - neighbor hopping only is shown in fig .
[ fig : dos_u0 ] .        we have used two `` impurity solvers '' for the auxiliary anderson model .
they are described in the following subsections .
the first method is the numerically exact continuous time quantum monte carlo method ( ctqmc ) @xcite , a finite temperature approach that relies on the monte carlo summation of all diagrams obtained from the expansion of the partition function in powers of the hybridization @xmath33 .
this method does not have a sign problem , and does not have errors associated with time discretization or bath parametrization .
it is therefore exact within statistical errors but computationally expensive .
we refer to the literature for an explanation of the approach@xcite .
we describe the second approach , iterated perturbation theory ( ipt ) , in more details since it is the focus of this paper .
ipt is an approximation method that relies on an interpolation from @xmath34 order perturbation theory for the anderson impurity problem @xcite .
the interpolation preserves the correct high - frequency limit for the self - energy and is exact in both the non - interacting and the atomic limits .
we only consider paramagnetic solutions .
the self - energy in this approach is parametrized by @xmath35 where @xmath36 with @xmath37 and @xmath33 the hybridization function .
the constants @xmath38 and @xmath39 @xmath40 where @xmath41 and @xmath42 , are chosen such that one recovers the exact solution in the atomic limit as well as the exact result for arbitrary @xmath7 in the high - frequency limit .
the green s function used to obtain the density @xmath43 is @xmath44 in eq .  , @xmath45 is the chemical potential of the lattice that is determined by fixing the value of @xmath43 while @xmath46 is the chemical potential determined by the fictitious density @xmath3 .
we need an additional equation to fix @xmath46 .
this problem has been studied carefully in refs .
setting @xmath47 is not a good option . indeed , as mentioned in the introduction , fixing luttinger s volume works only at very low temperature@xcite .
a widely used approach  @xcite consists in fixing @xmath4 .
we call this approach ipt-@xmath3 .
one can also modify the formula for the interpolated self - energy by requiring that the third moment , appearing in the high - frequency expansion of the green s function , be satisfied exactly . in this case , the deficiencies of ipt-@xmath3 at strong coupling are not as severe .
we will see below that requiring that double - occupancy takes its exact value is an easier solution that does not modify the simplicity of the original scheme and gives accurate results .
ipt can be implemented efficiently , as described in appendix .
[ appen_ipt ] , so that the solution can be obtained in a very short time .
in this section , we first define the physical parameters that will be used to demonstrate the breakdown of ipt-@xmath3 .
then we take advantage of the existence of the exact ctqmc impurity solver to characterize the solution of the dmft equation .
the last subsection demonstrates that for @xmath7 much larger than the bandwidth , ipt-@xmath3 fails to reproduce even qualitatively the exact solution .      at low @xmath11 and finite doping
, it is known that dmft predicts a fermi liquid regime no matter how strong the interaction@xcite . in other words
, a quasiparticle peak always appears at @xmath48 at low @xmath11 except at half - filling when @xmath49 .
we characterize the fermi liquid with three parameters namely the effective chemical potential , @xmath50 the quasiparticle weight , @xmath51 and the scattering rate @xmath52 , where real and imaginary parts are defined by @xmath53 . in the dmft treatment of the hubbard model ,
luttinger s theorem is satisfied at @xmath1 when @xmath54 takes the value of the non - interacting chemical potential that gives the same density .
all of the above parameters are calculated with the self - energy on the real frequency axis and thus , in principle , one needs to perform an analytical continuation from the data in matsubara frequencies and then extrapolate to zero temperature . in practice ,
we calculate the values of the self - energy for a few very low temperatures and use them to extrapolate to zero frequency and zero temperature . for the retarded @xmath55 and @xmath52 we take @xmath56 at the smallest positive @xmath57 for three low temperatures and extrapolate to @xmath1 using the fact that @xmath58 . for @xmath59 , the spectral definitions of the self - energies @xmath60 allow one to prove @xmath61}{\omega_n}}\big|_{\omega_n\rightarrow 0 } = \int{\frac{d\omega'}{\pi}}{\frac{\sigma(\omega')}{\omega'^2 } } = { \frac{{\partial}\sigma'(\omega)}{{\partial}\omega}}\big|_{\omega = 0}\ ] ] which , for a linear dependence of @xmath62 $ ] on @xmath63 , also follows from the cauchy - riemann relation for holomorphic functions of a complex variable .
this last equation with three low temperatures allows us to calculate @xmath64/\omega_{n=0}$ ] , extrapolate to @xmath1 and obtain @xmath59 .
consider the one - band hubbard model on the fcc lattice , where the single particle dispersion is given by @xmath29 $ ] .
we present the dmft results obtained with the ctqmc impurity solver for @xmath65 and @xmath66 , below and above @xmath6 for the mott transition at half - filling .
the bandwidth is @xmath67 for the 3d fcc lattice .
fig.[fig : fermi_ctqmc ] displays the fermi liquid parameters . in fig.[fig : fermi_ctqmc]-(a ) the red solid line shows the non - interacting chemical potential as a function of density . the effective chemical potential @xmath68 is shown with blue circles for @xmath65 and black points for @xmath66 .
the dashed lines indicates the position of the band edges for the 3d fcc lattice . as expected , except at half - filling for @xmath66 , luttinger s theorem is satisfied . in fig.[fig : fermi_ctqmc]-(b ) , the extrapolated scattering rate @xmath69 is negligibly small , except for @xmath66 at @xmath8 . for @xmath65 , (
not shown ) it is of the order @xmath70 and has essentially no density dependance .
the value of @xmath59 , shown in in fig.[fig : fermi_ctqmc]-(c ) , behaves as expected : for @xmath9 , @xmath59 vanishes when the occupation approaches half - filling while it is close to the non - interacting value @xmath71 when the lattice is almost empty or full .
we can also see that even for coupling as large as @xmath66 , the absence of particle - hole symmetry in the dispersion relation still leads to a value of @xmath59 that is not symmetric with respect to half - filling .
clearly , electronic frustration plays an important role in the doped mott insulator .
the ipt equations eqs
.  - do not determine the value of @xmath3 .
as mentioned previously , for @xmath1 the requirement that luttinger s theorem be satisfied ( ipt-@xmath2 ) provides an additional independent equation , except at half - filling for @xmath9 .
however , luttinger s theorem is in general not satisfied at finite temperature and the method becomes inaccurate .
the condition @xmath4 has thus been proposed@xcite ( ipt-@xmath3 ) .
it gives satisfactory results for correlated metals ( not for the insulator at half - filling ) .
the results for the low - temperature extrapolations of @xmath72 and @xmath59 for @xmath65 and @xmath66 are shown in fig .
[ fig : fermi_ipt ] . below the mott transition , @xmath65 ,
the @xmath4 results ( brown ( @xmath73 ) ) are shown .
one can detect only a very small difference with the solid red line .
luttinger s theorem is thus essentially satisfied .
on the other hand , ipt-@xmath3 for @xmath66 ( kaki ( @xmath74 ) ) gives non - physical results not only@xcite for @xmath10 but , quite generally , close to half - filling .
not only is luttinger s theorem strongly violated , but for a large range of densities , @xmath10 , @xmath54 is outside the band
. many properties of the fermi liquid are proportional to functions of the non - interacting system evaluated at @xmath54 . but these functions are zero outside the band and so if @xmath54 is outside the band we obtain zero . for example
, this would predict an insulator away from half - filling .
the situation is not better for @xmath59 , especially around half - filling where it vanishes for a finite range of densities when @xmath10 .
this demonstrates that at low @xmath11 , when @xmath7 is large , ipt-@xmath3 in its simplest form can not be applied . we must thus search for a new condition to explore this region of parameter space
imposing exact results such as sum - rules , whenever possible , is desirable for any physical theory . whereas the condition @xmath4 is not required by any fundamental principle
, the self - energy must always obey @xmath75 where @xmath76 is double occupancy .
enforcing this consistency condition between single - particle properties , such as @xmath77 and @xmath78 , and a two - particle property , @xmath0 , has been successful in other approaches , such as the two - particle - self - consistent theory.@xcite . in the regime of interest here ,
strong coupling , @xmath0 can be accurately estimated and is only very weakly dependent on temperature , as discussed in the following subsection . there , we assess the accuracy of the approach .       for double occupancy @xmath79 plotted as a function of temperature .
we define @xmath80 for fillings @xmath14 and @xmath81 for @xmath10 .
the various densities are represented by different symbols : @xmath82 ( black ( @xmath83 ) ) , @xmath84 ( blue ( @xmath85 ) ) , @xmath86 ( red ( @xmath87 ) ) , @xmath88 ( green ( @xmath89 ) ) , @xmath90 ( yellow ( + ) ) , @xmath91 ( cyan ( @xmath92 ) ) , @xmath93 ( magenta ( @xmath94 ) ) , @xmath95 ( brown ( @xmath96 ) ) and @xmath97 ( kaki ( @xmath98 ) ) .
the largest deviations from the naive value , occurring close to @xmath8 , are less than @xmath99 in absolute value . ]     as a function of density obtained from ctqmc for @xmath66 for three temperatures : @xmath100 ( black ( @xmath87 ) ) , @xmath101 ( blue ( @xmath102 ) ) and @xmath103 ( red ( @xmath104 ) ) . on this scale ,
the naive value of @xmath0 is very accurate .
the inset is a zoom for densities @xmath105 . ]    for very large @xmath7 , it is easy to guess that @xmath0 should depend only very weakly on temperature .
in addition , the value of @xmath0 can be estimated quite accurately . indeed if @xmath14 there are unoccupied sites in the lattice and since @xmath7 is large , @xmath0 should naively be zero . for @xmath10
, @xmath0 is necessarily non - zero .
if we start from the half - filled , mott insulator , with one electron per site and add electrons , they must go to a site which is already occupied .
thus @xmath0 should simply equal the excess number of electrons measured from half - filling , @xmath106 .
these estimates are called @xmath107 . in reality for @xmath14
there are corrections of order @xmath108 to double occupancy , giving rise to exchange interaction , and @xmath0 is slightly larger than zero . for analogous reasons , @xmath0 for @xmath10
will always be a bit larger than @xmath109 i.e. @xmath110 .
this is obvious for models with particle - hole symmetry , but it will be true as well , even in the absence of particle - hole symmetry .
we can verify our estimates with the ctqmc results for @xmath66 .
within ctqmc , @xmath0 is calculated directly on the impurity by the monte - carlo sampling .
fig.[fig : d_occ ] displays @xmath79 as a function of temperature for different densities .
we see that @xmath79 is small and that the @xmath11 dependence is on the third significant digits .
so , for all practical purposes , we can assume @xmath0 to be independent of @xmath11 although it differs from @xmath107 .
the values of @xmath0 obtained are very close to the naive expectation but always slightly larger . in fig.[fig :
d_occ_n ] we show the double occupancy @xmath0 as a function of the density for three different temperature from @xmath111 to @xmath112 .
this figure confirms again that even if we have some dependence on @xmath11 , it is quite small and the result is a fairly simple function of the density .
very similar results have been obtained in ref .
[ ] in the case of a 3d simple cubic lattice .
we thus have a rather simple constraint that we can take into account in ipt to fix all parameters .
we call this approach ipt-@xmath0 . in the next subsection
, we will assess the accuracy of this approach and verify how the results are modified when the exact value of @xmath0 is used instead of the naive one .
we first set @xmath0 to its naive values , i.e zero for @xmath113 and @xmath109 for @xmath10 .
the results for @xmath54 and @xmath59 are shown in fig .
[ fig : fermi_ipt ] as cyan stars . clearly , the value obtained for @xmath54 is in much better agreement with luttinger s theorem than in the case ipt - n@xmath114 , although it is still incorrect for densities near half - filling .
the biggest improvement is that we avoid values of @xmath54 outside the band .
furthermore , in the case of @xmath59 , ipt-@xmath0 is close to the ctmqc results while for ipt - n@xmath114 it is quite far@xcite from the correct result , leading in particular to an un - physical insulator over a finite range of densities for @xmath10 .
as we now show , one can improve the results further by using an accurate value of @xmath0 . that value can be obtained from a number of methods , in particular ctqmc .
it can be computed quite accurately and does not require a large number of matsubara frequencies . even if ctqmc is available , it may be desirable to use ipt-@xmath0 because the calculation can either be done directly in real frequency or analytically continued from matsubara frequencies using simple methods such as pad approximants@xcite , whereas with ctqmc , maximum entropy@xcite is necessary . in addition , since @xmath0 has negligible temperature dependence in strong coupling , only one value of @xmath0 may be sufficient with ipt-@xmath0 to compute other quantities for a wide range of temperatures .
since @xmath0 is not completely @xmath11 independent , we use an average called @xmath115 calculated between @xmath116 and @xmath103 for the purpose of comparison with the naive approach .
it is calculated from the arithmetic mean of the numerical values of @xmath117 .
note that the values of @xmath117 for each @xmath43 are taken as the arithmetic mean of the last four dmft iterations .
the results are shown in fig .
[ fig : fermi_ipt ] as magenta lozenges .
we see that the results for @xmath54 are in excellent agreement with luttinger s theorem except very close to half - filling where it deviates , but not too much .
surprisingly , @xmath59 is not as accurate as that obtained from the naive estimate of @xmath0 .
but if we look at the results for densities between 0.8 and 1.2 , the difference between @xmath118 and @xmath119 is small and constant and @xmath118 correctly extrapolates to zero at half - filling . a small difference in @xmath0
can have a quantitative impact on @xmath59 , without affecting qualitative trends .
for example for @xmath120 , the @xmath0 given by ctqmc is @xmath121 instead of the naive @xmath122 , whereas for @xmath123 , ctqmc gives @xmath124 instead of @xmath125 .
we could imagine that because these quantities are at low @xmath11 , it would be better to take a @xmath0 that is in the low temperature range . if we do this , we obtain a @xmath115 slightly larger .
we then find that @xmath54 is not really affected while @xmath59 is a little bit worse than that obtained from the average @xmath0 over the larger @xmath11 range .
some tuning of @xmath0 would allow us to get a best possible set of @xmath54 and @xmath59 , but that is clearly not the purpose of the exercise . finally , for @xmath52 fig .
[ fig : fermi_ipt]-(b ) shows that ipt-@xmath0 is qualitatively correct while being always smaller than ctqmc .
it is instructive to look at the density of states obtained from ipt with fixed @xmath0 and pad analytical continuation@xcite .
we show @xmath126 and @xmath100 as typical values in fig.[fig : dos ] .
we compare to the ctqmc values obtained from maximum entropy analytical continuation of @xmath127 . that green s function is an average over several converged dmft iterations .
the maximum entropy implementation that was used here is somewhat crude and thus we must not really focus on the details .
the ctqmc results have different errors at different scale , i.e very precise at low @xmath63 , fluctuating at intermediate @xmath63 while at large @xmath63 the results are analytical .
hence , we choose the weight of the entropy term based on heuristic considerations , depending on the real - frequency range we are interested in .
as was noted previously@xcite , in ipt there are states in the mott gap at finite frequency , but their weight is small compared to the states everywhere else , namely near zero frequency and in the lower and upper hubbard band .
overall , ipt with fixed @xmath0 compares well with ctqmc , but , at low temperature , what really matters is the region near @xmath48 .
we thus zoom on this region in fig .
[ fig : dos]-(b ) .
there , we see that in the vicinity of @xmath48 , when @xmath128 , we are quite close to the ctqmc values . when we use the naive @xmath0 , the quasi - particle peak is shifted a little bit to the right and so is this why the low @xmath11 results are different even if the shape and values of the peaks are similar .
we also compare the results for an integrated quantity , @xmath129 , that is obtained in general by solving @xmath130 with @xmath131 the fermi function and @xmath132 the density of states . in our case , this is a byproduct of the dmft calculation .
no analytical continuation is involved . in fig .
[ fig : mu_t ] we show the results for three densities . in fig .
[ fig : mu_t](a ) and ( b ) we note that the numerical values obtained with the different methods differ by at most about 10% .
the best results are for ipt-@xmath115 since the curves are qualitatively very similar to the ctqmc ones with a derivative quantitatively quite close for all @xmath11 .
the absolute difference between ipt-@xmath115 and ctqmc is almost doping and temperature independent .
the derivative with respect to temperature for both ipt-@xmath3 and ipt-@xmath107 is not as good . at high enough temperature ,
all methods give similar results .
[ fig : mu_t](c ) shows the result closer to half - filling , comparing ctqmc with ipt-@xmath115 , the best ipt method .
as already discussed , ipt-@xmath3 gives un - physical results in the vicinity of half - filling .      in this section
we compare internal energy and specific heat in ipt-@xmath0 with ctqmc . within ctqmc
, energy can be calculated quite accurately with a reasonable number of matsubara frequencies .
indeed , it was shown by haule@xcite that the kinetic energy @xmath133 is proportional to the average perturbation order @xmath134 for a given set of parameters .
as already discussed , the double occupancy is calculated directly by ctqmc and thus the total energy is given by @xmath135 in general , for a many - body system , the energy is given by the thermal average , in the grand - canonical ensemble , of the hamiltonian .
for the hubbard model we may write @xmath136g_k(i\omega_n ) .
\end{split}\ ] ] for ipt-@xmath0 , we use directly the imaginary time expression .
since we generally compute green s functions only for positive imaginary time , we use the equivalent expression @xmath137 where we used that for the fcc lattice @xmath138 .
once the energy is calculated , the specific heat @xmath139 is given by @xmath140 .
to obtain values for all temperatures , we have considered the fixed @xmath0 as the one given by the average over @xmath141 of the ctqmc results .
this is what we called ipt-@xmath115 previously .
we use ipt-@xmath0 for brevity .
we present the comparison in fig.[fig : energy ] for different densities . note the change in color code ( see the legend ) . in fig.[fig : energy]-(a ) we display results for densities @xmath113 while in fig.[fig : energy]-(b ) , the density is above half - filling @xmath142 .
the energy scale for the latter case is shifted by a filling dependent quantity @xmath143 so that the various fillings can be displayed on the same scale . in fig.[fig : energy]-(c ) and ( d ) we zoom on @xmath144 and @xmath145 respectively without energy shift to emphasize the differences between ipt-@xmath0 and ctqmc . comparing those differences in fig.[fig : energy]-(c ) with those in fig.[fig : energy]-(d ) , we see that the further we are from half - filling , the better the agreement .    in fig.[fig :
cv ] we plot the specific heat as predicted by ipt-@xmath0 .
once again we consider separately @xmath113 in fig.[fig : cv]-(a ) and @xmath142 in fig.[fig : cv]-(b ) .
the closer we are to half - filling , the lower the temperature at which the peak that signals the appearance of the fermi liquid regime appears . despite the strong coupling , the particle - hole asymmetry is noticeable .    in fig.[fig :
cv]-(c ) we can compare the ipt-@xmath0 and the ctqmc results for three densities @xmath146 , @xmath147 and @xmath148
. the ctqmc results for the energy are not completely smooth especially at low @xmath11 because of statistical errors in the data .
thus , if we were to calculate the specific heat @xmath139 for ctqmc , we would , for many of the values of @xmath43 , have to be very careful before calculating the derivative . here
, we just performed a simple derivative on the raw ctqmc data to verify the trend . from the results for the energy , fig.[fig : energy]-(a ) we already knew that even if the change of curvature in the coherent - incoherent region exists also for ctqmc , it is much smoother than the one obtained from ipt .
this is apparent indeed in @xmath139 .
nevertheless , the transition temperature for the coherent - incoherent crossover given by the position of the maximum is quite similar for both methods even if , for ctqmc , its exact value is hard to really pinpoint due to the statistical errors in the raw data .
we end this subsection by noting that the inadequacy of ipt-@xmath3 also shows when the energy is calculated .
one finds an increase of the energy with decreasing @xmath11 at low @xmath11 , which is of course non physical since this corresponds to a negative specific heat .
, as calculated in appendix  [ mc_function ] .
]     as calculated by ipt-@xmath0 for different values of density : @xmath82 ( black ( @xmath83 ) ) , @xmath84 ( blue ( @xmath85 ) ) , @xmath86 ( red ( @xmath87 ) ) , @xmath88 ( green ( @xmath89 ) ) , @xmath91 ( cyan ( @xmath92 ) ) , @xmath93 ( magenta ( @xmath94 ) ) , @xmath95 ( brown ( @xmath96 ) ) and @xmath97 ( kaki ( @xmath98 ) ) .
the resistivity are largest close to half - filling where they exhibit low coherence temperatures . ]
analytical continuation of response functions obtained with ctqmc is in general very difficult .
with ipt , one can calculate response functions by first analytically continuing the self - energy with pad ?
approximants and using the real - frequency expressions in terms of spectral weight . in this section , we obtain results for the electrical resistivity @xmath149 within ipt-@xmath0 to verify whether they are physically sensible at strong coupling .
with ipt-@xmath3 they are not : one obtains an insulator at finite filling on the electron - doped side .
since vertex corrections vanish in single - site dmft , the conductivity can be obtained from @xmath150 where @xmath151 and @xmath152 .
we have restored the lattice spacing @xmath153 to exhibit the units .
because the self - energy is local , we can also replace the triple sum over @xmath32 by a one dimensional integral over an energy variable .
@xmath154 where the so called transport function that includes the effect of the lattice is @xmath155 . for a simple cubic lattice in any dimension
, the calculation of this function can be brought in the form of a one - dimensional integral@xcite , but on the fcc lattice this is not possible . if one wishes to use the expression eq .   instead of keeping the full three dimensional integrals in eq .
, @xmath156 must be calculated numerically .
we explain in appendix  [ mc_function ] an efficient way to do this .
the result for the fcc lattice is shown in fig .
[ fig : x_func ] . we have tested both ways of obtaining @xmath157 , i.e. eq .   and eq .   and they give essentially the same answer .
they can not give exactly the same number because @xmath158 is calculated for a fixed number of points and we must thus interpolate between these points when performing the integral over @xmath159 .
this adds another source of numerical error not present in eq .  .
but , contrary to the non - interacting density of states ( fig .
[ fig : dos_u0 ] ) , @xmath158 is a smooth function ( fig .
[ fig : x_func ] ) and thus the process of interpolation will only induce a negligible error . when the integrals are performed in the order shown in eq .
, i.e. integrate over @xmath160 first , the resulting integrand for the @xmath159 integration is smooth and @xmath158 need not be obtained with extreme accuracy . for these reasons , for the conductivity we preferred to use eq .  .
using eq .
increases dramatically the calculation time here contrary to @xmath127 or @xmath161 discussed in the next section .    at low temperature and finite doping ,
the conductivity is proportional to @xmath162 .
thus , if @xmath54 is such that its value is outside the non - interacting band @xmath163 , @xmath164 and thus @xmath165 . in an exact implementation of single - site dmft , a null conductivity can only happen at half - filling for @xmath49 . at any finite doping
, there is a quasi - particle peak and luttinger s theorem is respected ( fig.[fig : fermi_ctqmc]-(a ) ) . as ipt-@xmath3 fails with respect to luttinger s theorem ( fig.[fig : fermi_ipt]-(a ) ) in that case @xmath149 start diverging at low @xmath11 for the densities with @xmath54 outside the band while it should exhibit the @xmath166 behavior of a fermi liquid .
we show in fig.[fig : resis ] the result for ipt-@xmath0 .
we see that it has the correct @xmath166 behavior at low temperature . for clarity , we omitted values of densities between @xmath167 and @xmath168 .
nothing very different happens there .
we still have the low temperature @xmath166 behavior and , as is already obvious from the figure , the absolute values of @xmath149 obtained are larger and larger when we approach half - filling , the mott insulating state .
note that close to half - filling , even though there is a tendency for the resistivity to saturate at very high temperature @xcite , this occurs at values of the resistivity much larger than the mott - ioffe - regel limit @xmath169 .
this is characteristic of incoherent transport in strongly correlated systems .       and
@xmath167 , as calculated from ipt-@xmath0 for three different temperatures using two analytical continuation approaches for each temperature .
the maximum entropy results are represented with solid lines and the pad analytical continuations with dashed lines .
the broadest zero - frequency peak ( red ( @xmath170 ) ) is for the largest temperature , @xmath171 , and the narrowest one ( black ( @xmath102 ) ) for the lowest temperature , @xmath100 . the intermediate case
, @xmath172 is in blue ( @xmath74 ) .
the features in the optical conductivity can be identified with transitions between the fermi level and peaks in the single - particle density of states . ]
we analyzed the performance of our new solver ipt-@xmath0 for fermi surface properties at @xmath173 ( @xmath59,@xmath174,@xmath175 ) , for integrated quantities like chemical potential @xmath45 , energy , specific heat , resistivity and frequency - dependent functions such as the density of states .
to finish , we look at the optical conductivity .
appendix .
[ appen_opt_conduc ] explains how it is calculated using the susceptibility @xmath161 in bosonic matsubara frequency and analytical continuation .    as a first check ,
which does not depend on analytical continuation , we verify the @xmath176-sum rule @xmath177 ( see for example ref .  [ ] ) . in the case of nearest - neighbor hopping
, this quantity can be related to the kinetic energy . for a fcc lattice one
finds @xmath178 where @xmath179 is the average kinetic energy . for ctqmc
the average kinetic energy is obtained from @xmath180 where , as already mentioned , @xmath134 is the average perturbation order obtained directly from the monte - carlo simulation . to calculate @xmath181
one needs the dressed green s function , or equivalently the self - energy ( @xmath182 ) .
a very large number of numerical operations is necessary , as explained in appendix .
[ appen_opt_conduc ] , but analytical continuation is unnecessary .
for all the tests we did , the ratio @xmath183 agreed with @xmath184 up to the third digit .
for example , for @xmath126 , @xmath185 and @xmath66 the ratio is 0.6668 , while for @xmath186 it is 0.6664 .
analytical continuation of ctqmc is problematic , especially since we have a very wide frequency range given the large value of @xmath7 .
hence we display only results obtained with analytical continuation of ipt-@xmath0 and check for consistency with what is expected from the density of states .
results for density @xmath167 , interaction @xmath187 and three temperatures is shown in fig .
[ fig : opt_conduc ] .
solid and dashed lines correspond respectively to maximum entropy @xcite and pad analytical continuation .
there is some quantitative disagreement but the qualitative information is the same . at low temperature ( @xmath185 black lines ) there is a clear peak around @xmath188 which corresponds to transitions between the lower hubbard band and the quasi - particle peak appearing in the density of state for a similar density in fig.[fig : dos ] . at larger temperature ( blue lines @xmath189 ) ,
the decrease of the peak near @xmath188 in @xmath190 corresponds to the disappearance of the quasi - particle peak and loss of coherence . that loss of coherence for @xmath186 is signaled by the maximum in @xmath139 observed in fig .  [
fig : cv ] . at an even larger temperature , ( red lines @xmath191 )
the @xmath188 peak has disappeared since we are now in the incoherent regime .
the peak for transition to the upper hubbard band around @xmath192 is always visible .
in addition to being numerically inexpensive , ipt provides a method where analytically continued results can be reliably obtained directly in real frequencies or from pad approximants@xcite instead of maximum entropy methods required when quantum monte carlo is used as an impurity solver .
however , for large interaction strengths in doped mott insulators , the popular condition for ipt where one imposes @xmath4 fails at low temperature for a broader regime than previously expected@xcite . as a solution , we propose that one should instead enforce the exact relation eq . between double occupancy and single particle quantities .
further improvements are expected if one also enforces the third moment of the spectral weight@xcite .
our new method , ipt-@xmath0 , can be used for any coupling if @xmath0 is known .
double occupancy @xmath0 can be obtained quite accurately by a number of methods and is negligibly dependent on temperature for large coupling .
for example , in the strong coupling regime one can use exact diagonalization of small clusters or slave bosons@xcite while , at weak coupling , methods such as two - particle - self - consistent theory ( tpsc)@xcite give good results .
also , in both regimes , quantum monte - carlo methods can be used . in the very large @xmath7 limit
, the naive estimate @xmath122 for @xmath14 and @xmath193 for @xmath10 leads to qualitatively correct results , except very close to half - filling .
our approach has been benchmarked on the fcc lattice for a number of observables .
the large - particle hole asymmetry of that lattice survives in observable quantities even for interaction strength equal to twice the bandwidth .
the authors thank dominic bergeron for the maximum entropy codes that we used for analytical continuation of the ctqmc data and for discussions .
this work was partially supported by nserc ( l .- f.a . and a .- m.s.t . ) , the tier i canada research chair program ( a .- m .
s. t. ) , and universit de sherbrooke .
a .- m.s.t is grateful to the harvard physics department for support and p. smon for hospitality during the writing of this work .
partial support was also provided by the mit - harvard center for ultracold atoms .
simulations were performed using a code based on the alps library  @xcite on computers provided by cfi , mels , calcul qubec and compute canada .
portions of the hybridization expansion impurity solver developed by p. smon were inspired by the code gracefully provided by e. gull and p. werner .
as explained in the main text , for accuracy in the dmft iteration we need to perform integrals over a three dimensional brillouin zone . in this appendix
we use symmetry and ideas from gaussian quadrature , adaptive methods , and statistics , to devise an accurate and fast integrator .
we first obtain a quadrature of order five and then explain how we can make it adaptive .
we need a normalized triple integral over a cube of length @xmath194 centered at a point @xmath195 $ ] .
if we put the origin at this point , the integral takes the form @xmath196 we considered a normalized integral because the integrals we need to solve are over k - space and thus need normalization .
we first show that fourteen appropriately chosen points and only two weights can give us an approximation of order five .
usually when one develops a gaussian quadrature , only the order is specified and the points and weights are obtained . in 3d , this may be very cumbersome so we start with points symmetrically placed and we will show that they give a good approximation
. take points on each axis and on the diagonals of the cube , @xmath197 , @xmath198 , @xmath199 and @xmath200 as illustrated in fig .
[ fig : cube ] . by symmetry
, there are only two weights @xmath201 and @xmath202 .
thus the integral is approximated by @xmath203\\ & + w_2f(\pm b , \pm b , \pm b ) .
\end{split}\ ] ] to determine the numbers @xmath153 , @xmath204 , @xmath201 and @xmath202 we require that every polynomial of order five or less should be integrated exactly by this scheme . in 3d , this corresponds to many different polynomials but we have only four unknowns and apparently too many equations .
this is where symmetry comes into play .
first , since we integrate over a cube from @xmath205 to @xmath206 , all odd polynomials integrate to zero .
also , for example , a polynomial of the form @xmath207 is equivalent to @xmath208 , or @xmath209 is equivalent to @xmath210 and @xmath211 and so on for every type of polynomials .
thus we only have to consider four different polynomials i.e. @xmath212 , @xmath209 , @xmath213 and @xmath207 .
+   + taking @xmath214 , the integral gives one and thus we obtain the first equation @xmath215 taking @xmath216 , the integral gives @xmath217 and we obtain @xmath218 similarly , with @xmath219 , we have @xmath220 and we find @xmath221 finally , taking @xmath222 , @xmath223 and we obtain @xmath224 solving these equations , we obtain @xmath225    to make the method adaptive , we take our cube and split it in eight . if we take one of these cubes , and put the origin in its center we now have the integral over a cube from @xmath226 to @xmath227 centered at @xmath228 .
we can thus use eq .
but with @xmath229 and the points @xmath230 , @xmath231 , @xmath232 and @xmath233 .
we can do this for each of the eight cubes obtaining the new approximation for the integral @xmath234 .
the process can be repeated .
each of the eight cubes can be subdivided again with integrals from @xmath235 to @xmath236 .
when one subdivision has converged , this part is stopped .
the calculation has converged when all subdivisions have converged .
the convergence criterion requires a detailed discussion .
assume that we aim at a relative error @xmath237 .
for an adaptive method , we need absolute error . indeed , with a simple 1d adaptive integration method where one subdivides the interval in half , if one wishes an absolute error @xmath238 one usually imposes absolute error @xmath239 on each of the two sub - intervals .
to determine the absolute error in our case , we first estimate the value of the integral by performing three subdivisions , i.e. using @xmath240 cubes .
let us call the resulting integral @xmath241 .
then we take for the absolute error needed for the adaptive integration method @xmath242 .
if we imagine launching the integrator from scratch , one would ask for @xmath243 accuracy in each of the @xmath244 sub - cubes when we do a division .
this often leads to a final answer that is more accurate than desired . for heavy numerical calculations it is desirable to optimize the choice of the error in each subinterval to minimize the computation time while maintaining the final desired accuracy . in our case
, we claim that it suffices to require the absolute error within each subinterval to be @xmath245 instead of @xmath246 , as we might have naively expected .
indeed , if we consider each value on the sub - cube as a random variable @xmath247 and want an error @xmath238 on the original cube i.e. on the sum @xmath248 , an error @xmath245 for each sub - cube suffices is we assume that the errors on the @xmath247 s are independent and uniformly distributed ( iud ) . indeed , in that case @xmath249 and thus @xmath250 .
this hypothesis of an iud is of course not rigorous , but we have extensively tested this choice for the error with many different integrands with known integrals . by taking advantage of the fact that statistical hypothesis on the errors become reasonable
since the integral is high dimensional , our approach is faster .
we also checked that our approach is more precise and faster than using three adaptive 1d integrators .
additional speedup can be obtained by taking into account the symmetry of the integrand .
, see text . ]    in this section we detail how we implemented ipt-@xmath0 .
ipt as an approximative solver is fast , but it needs to also be implemented in the fastest possible way . in ipt , we are solving a system of two nonlinear equations with two unknowns : @xmath46 and @xmath45 .
the equations are @xmath251 and @xmath252 where @xmath43 and @xmath0 are fixed numbers for a particular set of parameters .
the self - energy must be calculated using eqs .  , .
we show how to do this efficiently .
we first start with guesses for the hybridization function @xmath253 , and the two chemical potentials @xmath46 and @xmath45 .
then we calculate the impurity model loop as shown in fig .
[ fig : loop_ipt ] .
once the loop has been converged , we use the self - energy to calculate the lattice green s function @xmath254 . with it
, the new hybridization function can be calculated @xmath255 and finally @xmath33 , @xmath45 and @xmath46 are fed back to the impurity model loop .
this is repeated until global convergence is reached .
it must be specified here that @xmath33 is a function of both @xmath45 and @xmath46 but in the present algorithm , once @xmath33 is fed to the impurity loop , it is considered to be independent while @xmath45 and @xmath46 are iterated until we obtain the correct @xmath43 and @xmath0 . however , once the system is close to convergence , the difference between @xmath33 in the inner loop and the correct @xmath256 becomes really small and once convergence is reached , it is indeed the same function .
this is also the approach that was adopted originally in [ ] .
this approach is much faster than fixing @xmath45 and @xmath46 , converging the entire dmft calculation , calculating the new @xmath43 and @xmath0 , updating @xmath45 and @xmath46 and converging again the dmft calculation until we obtain the correct @xmath43 and @xmath0 .
we have tested and used the two methods and they give the same results .
the fast method can , for some particular parameter set , become unstable and thus , in these cases , the long , more rigorous method , may be used .    to perform this calculation
, we see from fig .  [ fig : loop_ipt ] that we must calculate fourier transforms from matsubara frequencies to imaginary time and back .
this must be calculated numerically and we now explain how to do it efficiently .
the first necessary step is to calculate @xmath257 .
we can show that the function @xmath253 for a one band model with a dispersion relation @xmath258 behaves asymptotically like @xmath259 , similar to what was previously obtained@xcite .
for the 3d fcc lattice with nearest - neighbor hopping @xmath260 .
we can use this to define @xmath261 that gives the asymptotic high - frequency behavior of @xmath262 .
we need it because the fourier transform necessary to get @xmath257 must be approximated by a finite sum and thus the function must be convergent at least as fast as @xmath263 , while @xmath264 .
we thus consider the function @xmath265 instead and add the missing terms analytically .
+   + @xmath266 in the first sum , imaginary time has been discretized in @xmath267 bins so that @xmath268 .
there is then a maximum and minimum matsubara frequency . in the second equality of eq .
, fft stands for fast fourier transform . the last term , @xmath269 can be calculated analytically using complex analysis .
we find , for @xmath270 , @xmath271 where @xmath272 is the fermi function and @xmath273 .
hence , in terms of fft s , we obtain @xmath274 we must remember that fft does not give the value at @xmath275 .
we will come back to that point later .
we also need @xmath276 .
this can be done using the antiperiodic property or by using a procedure similar to @xmath257 . in that case , we obtain ( again for @xmath270 )    @xmath277    where @xmath278    with these two green s function we can calculate the second order contribution to the aim self - energy that appears in ipt eq .  .
in this equation , we need to perform an integral . to obtain an asymptotic behavior in matsubara frequencies that decays instead of being periodic
, we can not do a direct integration@xcite .
the trick here is to perform a cubic spline interpolation of @xmath279 and then fourier transform that spline interpolation . to obtain the spline , one needs two conditions to solve the system of equations . in our case
, it suffices to find the derivatives at @xmath280 and @xmath281 .
we will show later that making the fourier transform of the spline is really accurate and introduces a minimum of numerical errors .    up to now
, we have only considered @xmath282 and thus what we need are the derivative at @xmath283 and at @xmath284 .
if , for the moment , we consider a paramagnetic system we can write @xmath285 . the derivative is thus @xmath286 we calculate the derivative of the green s functions from their definition @xmath287 by defining @xmath288 and @xmath289 , we obtain @xmath290}{\frac{1}{\beta}}\text{fft}(f_1(i\omega_n))\\ & + { \frac{z_1 ^ 2}{z_1-z_2}}f(-z_1)\text{e}^{-z_1\tau } + { \frac{z_2 ^ 2}{z_2-z_1}}f(-z_2)\text{e}^{-z_2\tau } \\      { \frac{dg_0(-\tau)}{d\tau } } &
= \text{e}^{-i\pi j[1/n - 1]}{\frac{1}{\beta}}\text{fft}(f_2(i\omega_n))\\ & + { \frac{z_1 ^ 2}{z_1-z_2}}f(z_1)\text{e}^{z_1\tau } + { \frac{z_2 ^ 2}{z_2-z_1}}f(z_2)\text{e}^{z_2\tau}. \end{split}\ ] ] with these two equations , we can get the derivatives at @xmath280 . to obtain the green s function and its derivative at @xmath281
, we use the spectral representation of the green s function to show that @xmath291 , @xmath292 and @xmath293 .
we now have everything we need to calculate the derivative of eq .   for @xmath280 and @xmath281 .
knowing @xmath294 and @xmath295 we can calculate the coefficients of the spline .
we need the matsubara - fourier transform of functions represented by that spline on the right - hand side of @xmath296 let us call @xmath297 the piecewise cubic spline for @xmath298 .
the method is presented in details in appendix e of [ ] . integrating by parts , the result for fermionic frequencies is @xmath299 where ifft is the inverse fast fourier transform .
this result is what we needed since it has the correct high - frequency behavior where in principle the first three terms are exact while the last one is obtained from a numerical inverse fourier transform .
since the latter is the coefficient of @xmath300 , errors do not adversely affect the high - frequency behavior .
even though for the dmft iterations we found that the way to obtain accurate results was to use the adaptive method described in appendix [ appen_integrate ] , we show here how to calculate @xmath301 , the non - interacting density of states and @xmath158 .
the latter quantity appears in calculations of the conductivity and transport properties in general and it is in this context that we used the results presented here .
both quantities have the general form @xmath302 .
since our band structure is not simple , we can not perform the integral analytically .
the question is thus , how do we treat the delta function in a numerical calculation ? +   + a simple approach would be to replace the delta function by a lorentzian and perform the integral using an adaptive scheme .
but , this approximation for the delta function gives tails at the edges of the band .
a monte carlo scheme is preferable not only because the sharpness of the delta function is maintained without tails , but also because one does not need to do a triple integral for each value of @xmath159 : the complete function of @xmath159 is be obtained at once .
+   +    we first choose for how many energy @xmath159 points we want to know the function .
this number defines a number of bins , shown as dashed lines in fig .
[ fig : mc_scheme ] .
one then generates a random point @xmath303 , calculates @xmath258 and locates the bin where this number belongs .
for example , in fig .
[ fig : mc_scheme ] , the random @xmath258 belongs to the bin @xmath43 .
we then add to this bin @xmath304 .
this is equivalent to approximating the delta function by a rectangle of finite width .
we continue this process @xmath305 times and divide , at the end , the numbers in the bins by @xmath305 .
the function is thus given by the numbers in the bins , each bin corresponding to a particular energy @xmath159 . accuracy and smoothness can be improved by increasing the number of random points .
for the optical conductivity , we need the current - current correlation function in bosonic matsubara frequencies . in dmft , vertex corrections vanish@xcite , hence we have @xmath306 where @xmath307 are bosonic matsubara frequencies while @xmath63 are fermionic .
to compute this , we again use the convolution theorem and fft , as described for ipt in appendix [ appen_ipt ] .
the above equation can be written as @xmath308 the only difference with eq .
is that here we have bosonic frequencies . using again the cubic spline trick we obtain an expression similar to eq .  .
for @xmath309 @xmath310 while for @xmath311 @xmath312 .
\end{split}\ ] ] with @xmath313 , @xmath314 , @xmath315 and @xmath316 the coefficients of the cubic spline .
we also need to go from matsubara frequencies to imaginary time for @xmath317 and for @xmath318 in eq .  .
we proceed to obtain the analog of eq .  .
@xmath319 has a similar structure since the asymptotic behavior of the self - energy is @xmath320 .
this time the poles are at @xmath321 where @xmath322 .
+   + once again , the values at @xmath323 are found using the spectral representation of @xmath324 .
the expressions are @xmath325 @xmath326 @xmath327 @xmath328 we can thus calculate @xmath318 appearing in eq .   and its first derivative at @xmath280 and @xmath281 to find the cubic spline interpolation .
the sum over wave vectors @xmath32 requires some comments . like for the dmft calculation
, we use the adaptive scheme in appendix [ appen_integrate ] .
however , if we look at @xmath318 in eq .  , in principle for each @xmath329 we need to perform the integral over @xmath32 independently , but the whole point of fft is to obtain all @xmath329 points at the same time .
our solution is to launch the integrator for all @xmath329 at the same time and keep in memory the estimate of the integral for each @xmath329 while we refine the estimate .
once the integrator converges for @xmath330 , we conclude that this @xmath32 grid is the one for all @xmath329 and stop the calculation .
since we keep all values in memory , we have the function for all @xmath329 calculated for the grid in @xmath32 space appropriate for @xmath330 .
we verified that by converging the calculation for other values of @xmath329 we obtain the same answer .
we have also tried the other way around , where we interchange the integral over @xmath32 and the fourier transform in eq .  .
in this case , we converge the zero frequency and , once again , the results are essentially the same .
once we have calculated @xmath331 , we need to obtain the real frequency representation since the optical conductivity is given by @xmath332 . in the case of ctqmc
, we use the maxent analytical continuation scheme developed in bergeron _
[ ] for the conductivity . for ipt results we use both pad ? and maxent to find @xmath333 .


consider a finite - parameter analytic family of analytic plane vector fields @xmath4 such that @xmath0 has a limit periodic set @xmath5 .
the cyclicity of @xmath5 is , roughly speaking , the maximal number of limit cycles of @xmath1 which tend to @xmath5 as @xmath6 .
the roussarie s finite cyclicity conjecture claims that _ every limit periodic set occurring in an analytic finite - parameter family of plane analytic vector fields , has a finite cyclicity _
if true , the conjecture would imply the finitness of the maximal number @xmath7 of the limit cycles , which a plane polynomial vector field of degree @xmath8 can have .
therefore it plays a fundamental role in all questions related to the second part of the 16th hilbert problem and its ramifications .
recall that a polycycle of the vector field @xmath0 is a topological polygon composed of separatrices and singular points .
a @xmath9-saddle cycle of @xmath0 ( or a hyperbolic @xmath9-graphic ) denoted @xmath10 , is a polycycle composed of @xmath9 distinct saddle - type singular points @xmath11 , @xmath12 and separatrices ( heteroclinic orbits ) connecting @xmath13 to @xmath14 as on fig .
[ dessin9 ] .
@xmath9-saddle cycles , period orbits and weak foci or centers are the simplest limit periodic sets .
the finite cyclicity of period orbits and weak foci is well known and follows from the gabrielov theorem @xcite .
the finite cyclicity of one - saddle loops is due to roussarie @xcite .    _
the purpose of the present paper is to prove the finite cyclicity of a two - saddle cycle , under finite - parameter analytic deformation _ , see theorem [ mainth ] .
several special cases of this result were earlier proved , under different genericity assumptionss either on @xmath0 or on the family @xmath1 , by cherkas , mourtada , el morsalani , dumortier , roussarie , rousseau , jebrane , oadek , li , caubergh , luca and others @xcite , see also @xcite for survey of the results and references up to 1996 .
the finite cyclicity of a k - saddle cycle ( any k ) , under finite - parameter analytic deformation was recently announced by mourtada @xcite .    for _ generic families _ of vector fields
the analitycity can be relaxed .
as it is shown by ilyashenko and yakovenko @xcite , kaloshin @xcite _ any nontrivial elementary polycycle occurring in a generic @xmath9 - parameter family of @xmath15 vector fields has finite cyclicity_.    in contrast to the aforementioned papers we shall not use the asymptotic expansions of the corresponding dulac maps . instead of this , we evaluate the number of the limit cycles near @xmath16 in a complex domain , by making use of a suitable version of the argument principle .
this approach was initiated by the author in @xcite , where we studied cyclicity of hamiltonian two - loops .
as it is well known , the limit cycles of planar systems close to hamiltonian are closely related to the zeros of associated abelian integrals depending on a parameter ( the so called weakened 16th hilbert problem ( * ? ? ?
* arnold , p.313 ) ) .
zeros of complete elliptic integrals were successfully studied by topological arguments in a complex domain ( the argument principle ) after the pioneering work by g. s. petrov @xcite , see also oadek @xcite for a description of the method .
it has been used in a more general context in several papers , e.g. @xcite , and in @xcite the idea has been used to replace abelian integrals by the true poincar return map .    in the present paper
we shall find a relation between the fixed points of the poincar first return map and the fixed points of holonomies of the separatrices of the saddle points , which correspond to complex limit cycles . to count such fixed points
is a question on the zeros of families of _ analytic functions _ which is easily solved .
the main technical tool is lemma [ mainlemma ] in which we show that the connected components of the zero locus of the imaginary part of a dulac map are smooth semianalytic curves .
this allows to estimate the variation of the argument of the displacement map along the border of an appropriate complex domain , and finally to apply the argument principle in order to evaluate its zeros in the domain .
note that previously the relation between the monodromy and the dulac map was used by roussarie to compute the bautin ideal associated to the dulac map @xcite .
this combined with @xcite also implies the finite cyclicity of one - saddle cycles .
the paper is organized as follows . in section [ dulacsection ]
we provide the necessary technical background , and prove the main technical lemma [ mainlemma ] . in section [ onesaddle ] ,
we give a new self - contained proof of roussarie s theorem about the finite cyclicity of one - saddle cycles .
the origin of our method is then explained in section [ petrovtrick ] where we give a brief account of a local version of the so called `` petrov trick '' .
the same method is then easily adapted in section [ mainsection ] to show that the cyclicity of @xmath16 is finite .
consider an analytic family of plane real analytic foliations @xmath17 , @xmath18 , having a non - degenerate isolated saddle point . an appropriate translation analytically depending on @xmath3 will place the saddle point at the origin .
the foliation @xmath17 has two analytic separatrices , transversally intersecting at the saddle point , and depending analytically on @xmath3 @xcite .
therefore a further real bi - analitic change of the variables @xmath19,analytically depending on @xmath3 , will identify them to the axes @xmath20 and @xmath21 as on fig.[fig1a ] , so @xmath22 where the dots replace higher order terms in @xmath19 with coefficients depending on @xmath3 .
the number @xmath23 is the hyperbolic ratio of the saddle point .
from now on we shall suppose that the foliation ( [ foliation ] ) is analytic and depends analytically in @xmath3 in a neighborhood of the origin in @xmath24 .    for @xmath25
sufficiently small , let @xmath26 , @xmath27 be open complex discs centered at @xmath28 and @xmath29 , parameterized by @xmath30 and @xmath31 respectively .
the ( real ) dulac map is the germ of analytic map at @xmath32 @xmath33 defined as follows : if @xmath34 then @xmath35 is the intersection with @xmath36 of the orbit @xmath37 of ( [ foliation ] ) , passing through @xmath30 , see [ fig1a ] ( ii ) .
this geometric definition of @xmath38 allows to control to a certain extent its analytic continuation in a complex domain .
the dulac map allows an analytic continuation on some open subset of the universal covering space @xmath39 of @xmath40 , depending on @xmath3 .
let us parameterize @xmath39 by polar coordinates @xmath41 , @xmath42 .
the following result is well known ( e.g. ( * ? ? ?
* appendix a ) )    [ continuation ] there exists @xmath43 and a continuous function @xmath44 such that the dulac map allows an analytic continuation in the domain @xmath45    the geometric content of theorem [ continuation ] is as follows .
let @xmath46 be a continuous family of paths contained in the leaves of @xmath17 , and connecting @xmath47 to @xmath48 .    for @xmath49
we suppose that @xmath50 is the real orbit of @xmath17 contained in the first quadrant @xmath51 , and connecting @xmath52 to @xmath48 , see fig.[fig1a ] ( ii ) .
the above theorem claims that this family of orbits allows an extension to a continuous family of paths @xmath46 , contained in the leaves of @xmath17 , and connecting @xmath53 to @xmath54 .
the family is defined for all @xmath55 which belong to the domain ( [ domain ] ) .
each path starts at @xmath52 and terminates at a unique point on @xmath56 , denoted @xmath57 .
although the paths @xmath46 are not unique , their relative homotopy classes are uniquely defined .      to the axes
@xmath58 parameterized by @xmath31 and @xmath30 , we associate holonomy maps @xmath59 defined by two closed paths contained in the axes @xmath60 and @xmath61 and based at @xmath28 , @xmath29 respectively
. we shall make the convention , that each closed path makes one turn around the origin of the axe in which it is contained , in a positive direction ( recall that the axes are parameterized by @xmath31 and @xmath30 respectively ) .
it is easily seen that in the case of a linear foliation of the form @xmath62 we have @xmath63 in the general case of a nonlinear foliation of the form ( [ foliation ] ) the dulac map @xmath38 is only asymptotic to @xmath64 , while the holonomy maps are analytic in @xmath65 and @xmath66 the dulac map @xmath38 is a transcendental multi - valued map . for @xmath67 let @xmath68 be the result of the analytic continuation of @xmath38 along an arc of radius @xmath30 and angle @xmath69 .
similarly , for @xmath70 let @xmath71 be the result of the analytic continuation of @xmath38 along an arc of radius @xmath31 and angle @xmath69 .
[ monodromy ] for every sufficiently small @xmath67 , @xmath70 , @xmath72 holds @xmath73    * proof . *
consider , instead of @xmath38 the underlying path @xmath74 .
the loop @xmath75 has the same origin as @xmath76 so they can be composed and the resulting loop @xmath77 starts at @xmath78 and terminates at @xmath79 . in the special linear case ( [ linear ] ) with @xmath80 the foliation is a fibration , the paths @xmath81 represent relative cycles in the fibers of @xmath82 , and the path @xmath77 is closed and represents a vanishing cycle .
the claim of lemma [ monodromy ] is then the classical picard - lefschetz formula . in the general case
the result follows `` by deformation '' .
indeed , in the linear case ( [ linear ] ) with @xmath80 the family of closed paths @xmath83 is defined for all sufficiently small @xmath31 , and @xmath84 is a closed path which makes one turn around the origin in the axe @xmath21 in a positive direction .
note that the paths @xmath85 are bounded away from the origin in @xmath86 .
it follows that @xmath87 defines the holonomy @xmath88 of the separatrix @xmath21 , and this property holds true also for every sufficiently small deformation of ( [ linear ] ) .
the homothety @xmath89 transforms ( [ foliation ] ) to a small deformation of ( [ linear ] ) which completes the proof of the first identity ( but see also @xcite ) . the second identity in lemma [ monodromy ]
is proved in a similar way .
@xmath90      consider the universal covering @xmath91 and the zero locus @xmath92 of the imaginary part of the dulac map @xmath38 corresponding to the domain ( [ domain ] ) @xmath93 in the case of a linear foliation ( [ linear ] ) the zero locus is therefore a union of half - lines : @xmath94 to describe @xmath95 in the case of a general foliation of the form ( [ foliation ] ) , with hyperbolic ratio @xmath96 , consider the germs of real analytic sets at the origin in @xmath97 @xmath98 where @xmath99 is the holonomy map associated to the separatrix @xmath20 .    [ mainlemma ] the zero locus @xmath100 of the imaginary part of the dulac map in the domain ( [ domain ] ) is a union of connected components @xmath101 , indexed by @xmath102 .    * each set @xmath103 , ( [ clk ] )
, is a germ of a real analytic curve of @xmath104 , which is smooth at the origin and tangent to the line @xmath105 there . *
each connected component @xmath101 is projected on the plane @xmath106 under the map @xmath107 ( [ universal ] ) to the connected component of @xmath108 tangent to the half - line ( [ line ] ) , @xmath109 , at the origin .    for a general bi - holomorphic map @xmath99
, vanishing at the origin , the set @xmath110 coincides with the origin itself .
the above lemma shows , however , that for the monodromy map @xmath99 of a saddle point of a real - analytic plane vector field , the set @xmath103 , ( [ clk ] ) , is a germ of a real analytic curve of @xmath104 , which is smooth at the origin .
the position of the connected components of @xmath108 tangent to the half - lines ( [ line ] ) , @xmath109 ( [ line ] ) , @xmath109 is shown on fig .
[ dessin1 ] .
the above lemma is the main technical result of the present paper .
the analyticity of the zero locus @xmath95 is responsible for the algebraic - like behavior of the dulac map . + * proof of lemma [ mainlemma ] * let @xmath111 and suppose that for some @xmath112 , @xmath113 .
as the dulac map is real along @xmath114 , then @xmath115 is complex conjugate to @xmath116 and hence @xmath117 if the point @xmath118 is seen as the inverse image of @xmath119 with respect to the dulac map @xmath120 , then the point @xmath121 is the result of the analytic continuation of the map @xmath120 along a suitable closed path of @xmath48 , starting and terminating at @xmath122 .
if we put @xmath123 then @xmath124 are two values of the multivalued map @xmath125 and hence , by lemma [ monodromy ] , they differ by a power of the monodromy @xmath99 @xmath126 or equivalently @xmath127 clearly every such relation will correspond to a connected component @xmath101 of @xmath95 .
as @xmath101 is an analytic set of real dimension one , then @xmath103 is an analytic set of dimension one too .
it can be defined therefore by each of the following equivalent relations @xmath128=   { \operatorname{re } } ( \bar{z } ) \}\ ] ] or @xmath129= { \operatorname{im}}(\bar{z } )   \}.\ ] ] as @xmath130 = -1 $ ] , then the linear part of the complex - analytic function @xmath131 can not be identically zero , and therefore @xmath132 is a real analytic curve , smooth at the origin .
it follows from ( [ nonlinear ] ) that the projection of @xmath101 under @xmath107 on the plane @xmath106 is tangent to the half - line ( [ line ] ) , @xmath109 at the origin .
@xmath90      let @xmath133 be a relatively compact domain , with piece - wise smooth boundary , and @xmath134 an analytic function which allows a continuation to the closure @xmath135
. denote by @xmath136 the number of the zeros of @xmath137 in @xmath138 , counted with multiplicity .
if we assume that @xmath137 does not vanish along the border @xmath139 , then the increment of the argument @xmath140 of @xmath137 along @xmath141 oriented counter - clockwise is well defined .
@xmath140 equals the winding number of the curve @xmath142 about the origin and the classical argument principle states that @xmath143 more generally , if @xmath137 has zeros on @xmath139 , isolated or not , the variation of the argument @xmath140 might be not well defined .
we say that @xmath144 is a regular zero of @xmath137 if @xmath145 , and @xmath137 allows an analytic continuation in a neighborhood of @xmath52 in @xmath146 .
if we assume that @xmath137 has only regular zeros in @xmath135 , then @xmath140 is well defined as a sum of the increments of the argument of @xmath147 between consecutive zeros of @xmath137 .
indeed , the increments are finite , because the border @xmath148 is piece - wise smooth .
the argument principle can be reformulated as follows    [ argument ] let @xmath149 be a relatively compact domain with piece - wise smooth boundary . if @xmath150 is a continuous function , analytic in @xmath151 , and having only regular zeros in @xmath135 , then @xmath152    * proof .
* there always exists a polynomial @xmath153 , such that @xmath154 has no zeros in @xmath135 , so we need to verify ( [ argument2 ] ) for polynomials only .
the set @xmath151 is open , connected and oriented , with piece - wise smooth boundary , which therefore has no self - intersections and has an induced orientation .
the inequality @xmath155 allows to `` remove '' the zeros along @xmath139 and hence formula ( [ argument1 ] ) implies ( [ argument2 ] ) .
@xmath90    in the present paper the first inequality in ( [ argument2 ] ) will be used to bound the number of the zeros @xmath156 . for this
we shall need estimates on the variation of the argument @xmath157 along any compact segment @xmath158 of a curve .
more precisely , let @xmath159 be a compact segment of a smooth real analytic curve .
let @xmath160 be an open set containing @xmath158 and @xmath161 , @xmath162 , be a germ of a family of complex - analytic functions in @xmath163 at @xmath164 .
for every fixed @xmath3 such that the function @xmath165 is not identically zero , the variation of its argument @xmath166 is well defined .
[ variation ] let @xmath158 be a compact segment of a real analytic curve and let @xmath167 be a family of functions analytic in a neighborhood of @xmath158 , and depending analytically in @xmath3 .
there exists @xmath43 , such that @xmath168    the above result follows from the following theorem due to gabrielov @xcite    let @xmath169 be real analytic varieties and consider the canonical projection @xmath170 . for every relatively compact semianalytic set @xmath171 ,
the number of the connected components of the pre - images @xmath172 is bounded from above uniformly over @xmath173 .
* proof of theorem [ variation ] . *
the number of the isolated zeros of @xmath165 along @xmath158 counted with multiplicity is uniformly bounded in @xmath3 at @xmath164 ( franoise - yomdin theorem @xcite ) . on an interval between two zeros of @xmath174 the variation of the argument divided by @xmath175 is bounded by the number of the zeros of the imaginary part of @xmath165 divided by two , plus the sum of the multiplicities of the zeros of @xmath165 at the end of the interval .
the imaginary part of @xmath165 is a real analytic function in @xmath176 and the gabrielov theorem implies that the number of the connected components of @xmath177 is uniformly bounded in @xmath3 at @xmath164.@xmath90
let @xmath1 , @xmath2 be a germ of an analytic family of analytic plane vector fields , such that @xmath0 has a one - saddle cycle ( homoclinic saddle loop ) @xmath178 .
the first - return map associated to @xmath178 is a composition of a dulac map @xmath179 and a transport map @xmath180 , see fig .
[ dessin2 ] .
we assume that the dulac map is in a normal form as in section [ scontinuation ] .
the limit cycles of @xmath1 near @xmath178 correspond to the zeros of the displacement map @xmath181 near @xmath182 .
an appropriate choice of the local coordinates on the croos - sections @xmath56 and @xmath48 brings the transport map to the form @xmath183 .
alternatively , we could choose simply @xmath184 ( without supposing that the dulac map is in the normal form of section [ scontinuation ] ) .
we shall bound the number of the zeros of @xmath165 in the domain @xmath185 delimited by the circle @xmath186 , and the connected components @xmath187 and @xmath188 of the zero locus of the imaginary part of the dulac map , as it is shown on fig .
[ dessin4 ] .
we shall suppose that @xmath189 is so small , that @xmath174 is analytic in @xmath190 for all @xmath191 , such that @xmath192 ( theorem [ continuation ] ) and it is analytic even on the closure of @xmath190 except of course at @xmath182 , where @xmath174 is only continuous .
indeed , @xmath193 while @xmath180 is holomorphic at @xmath182 , so @xmath194 where @xmath195 is analytic and @xmath196 .
if the family of functions @xmath165 is sufficiently general , then @xmath197 , and in the case when @xmath198 we may replace @xmath165 by the new family @xmath199 , @xmath200 , for which the limit at @xmath182 is the parameter @xmath201 . after this preparation , we may prove the finite cyclicity of the homoclinic loop @xmath178 . for this
we apply proposition [ argument ] ( the argument principle ) to the family of functions @xmath165 in the domain @xmath190 .
in the course of the computation , it will be supposed that @xmath189 is sufficiently small , @xmath202 is sufficiently small with respect to @xmath203 , and @xmath3 is such that @xmath204 . we may encode this choice of the parameters by the `` physical '' notation @xmath205    the hyperbolic ratio of the saddle point will be not bigger than one only in a suitable semi - analytic set in the parameter space , and will be bigger than one in another ( complementary ) semi - analytic set .
after eventual exchanging of @xmath56 and @xmath48 , it will be also supposed that the hyperbolic ratio of the saddle point is not bigger than one for all parameter values .    along the circle @xmath206 with angle close or strictly less than @xmath175 the variation of the argument of @xmath165 is uniformly bounded in @xmath3 ( theorem [ variation ] ) .
along the curve @xmath207 the imaginary part of @xmath165 equals the imaginary part of the transport map @xmath208 .
therefore the zeros of @xmath209 along @xmath207 are exactly the intersection points of @xmath207 and the segment @xmath210 . according to lemma [ mainlemma ] we have @xmath211 as @xmath212 is an analytic family of analytic functions , then by gabrielov s theorem , the number of such fixed points is uniformly bounded in @xmath3 on @xmath213 $ ] .
to conclude , we have only to check that the family @xmath167 has regular zeros along the border of the domain @xmath190 .
this is indeed the case , when @xmath214 , as @xmath215 .
we conclude that the number of isolated zeros of the family of functions @xmath216 in the domain @xmath190 is uniformly bounded by some integer , say @xmath217 .
finally , note that the condition @xmath218 can be removed . indeed , if for some @xmath219 , @xmath220 , @xmath221 , the function @xmath222 has at least @xmath223 zeros in @xmath190 , then it has at least @xmath223 zeros in @xmath190 in a sufficiently small neighborhood of @xmath219 , in contradiction with the preceding estimate .    to resume , we proved the following classical result + * theorem ( roussarie@xcite ) * _ every homoclinic saddle loop ( a one - saddle cycle ) occurring in an analytic finite - parameter family of plane analytic vector fields , may generate no more than a finite number of limit cycles within the family .
_    let us note that our method , exactly as the roussarie s theorem allows to compute more precisely the cyclicity of @xmath178 .
we shall not enter into details here .
just to illustrate this , note that if the hyperbolic ratio @xmath224 is strictly bigger than one , then the overall increase of the argument of the displacement map along the border of @xmath190 is strictly less than @xmath175 ( this computation is omitted ) and the cyclicity of @xmath178 is zero .
the content of this section is not necessary for the proof of our main result theorem [ mainth ] , but it aims to shed some light on the origin of the method , used to bound the limit cycles near the saddle loop in the preceding section .    with the same notations as in section [ onesaddle ] , consider the analytic family of analytic vector fields @xmath225 defining a holomorphic foliation @xmath17 of the form @xmath226 where @xmath227 is a function and @xmath228 is an analytic family of differential one - forms , both analytic in a neighborhood of the saddle loop @xmath178 . for definiteness , we put the saddle point at the origin in @xmath104 , so @xmath229 .
we shall further suppose that the saddle loop @xmath178 is contained in the level set @xmath230 , and the interior of @xmath178 is filled up by a continuous family of periodic orbits @xmath231 , parameterized by @xmath232 , where @xmath233 is the restriction of @xmath227 on the cross - section @xmath56 .
the displacement map is approximated by the usual poincar - pontryagin formula as follows @xmath234 where @xmath235 tends to zero as @xmath3 tends to zero , uniformly in @xmath236 in every compact interval in which the displacement map is defined .
the zeros of @xmath174 correspond to limit cycles and , at least far from @xmath237 , they are approximated there by the zeros of the complete abelian integral @xmath238 we make the assumption ( actually justified by the roussarie s theorem @xcite ) , that this is so also in a neighborhood of @xmath239 ( corresponding to limit cycles close to the saddle loop @xmath178 ) .
thus , it makes a sense to prove the finiteness of the maximal number of the zeros of the abelian integral @xmath240 , which tend to @xmath241 as @xmath242 tends to the origin in the parameter space .
this follows of course from a well known general result of varchenko and khovansky .
we shall use , however , a different idea due to g.s .
petrov @xcite , who showed that the analogous global problem for complete elliptic integrals of second kind is of algebraic nature .
this observation has been used in several papers by petrov to evaluate the precise number of zeros of complete elliptic integrals , and hence of limit cycles of perturbed hamiltonian vector fields , see for instance oadek @xcite .
we are ready to describe the local version of the petrov method .
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ consider the sector @xmath243 for a fixed sufficiently small @xmath189 and all sufficiently small @xmath244 the abelian integral @xmath245 allows an analytic continuation in @xmath246 . to bound the number of its zeros on @xmath246 ( and hence on @xmath247 ) we apply the argument principle to the domain @xmath246 . along the circle
@xmath248 the increase of the argument of @xmath249 is bounded uniformly in @xmath3 ( due to gabrielov s theorem ) . along the segment
@xmath213 $ ] the abelian integral allows two analytic continuations @xmath250 .
as @xmath251 is real - analytic on @xmath247 then @xmath252 and by the picard - lefschetz formula @xmath253 where @xmath254 is a continuous family of cycles , vanishing at the origin as @xmath255 tends to zero .
the imaginary part of @xmath240 on @xmath210 is therefore an analytic function , and by gabrielov s theorem again , its zeros are uniformly bounded in @xmath3 on the closed interval @xmath213 $ ] .
this implies that the increase of the argument of @xmath240 on @xmath210 is also uniformly bounded in @xmath3 which combined to the argument principle shows the finiteness of the maximal number of zeros _
_ _ _ _ _ _
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _    the proof of the finite cyclicity of the one - saddle loop from the preceding section , may be seen as a generalization of the petrov method .
indeed , the picard - lefschetz formula corresponds to the claim of lemma 1 , and by lemma 2 the zeros the analytic abelian integral ( [ impart ] ) correspond to the fixed points ( complex limit cycles ) of the holonomy map @xmath99 of the separatrix .
as it is well known , the holonomy map of a separatrix is analytic , which implies the finite cyclicity of the saddle loop @xmath178 .
the main result of the paper is the following    [ mainth ] every heteroclinic saddle loop ( a two - saddle cycle ) occurring in an analytic finite - parameter family of plane analytic vector fields , may generate no more than a finite number of limit cycles within the family .    using the notations used in the preceding sections ,
suppose that the vector field @xmath0 has a two - saddle loop @xmath16 .
consider the dulac maps @xmath256 associated to the corresponding foliation , as on fig.[fig4 ] .
each map @xmath257 is a composition of a `` local '' dulac map ( as in section [ dulacsection ] ) and two real - analytic transport maps . from this
it follows that lemma [ mainlemma ] applies to @xmath257 , @xmath258 , too . from now on we choose a real - analytic local variable @xmath52 on the cross - section @xmath56 thus identifying @xmath56 to an open disc centered at @xmath259 .
we shall also suppose that @xmath260 .
the functions @xmath261 , @xmath258 are multivalued on the cross - section @xmath56 and have critical points at @xmath262 , @xmath263 , respectively .
the functions @xmath264 are real - analytic .
the limit cycles of @xmath1 near @xmath16 correspond to the zeros of the displacement map @xmath265 near @xmath182 .
let @xmath266 , @xmath258 be the hyperbolic ratios of the saddles .
we shall suppose , upon exchanging eventually the roles of @xmath56 and @xmath48 , that @xmath267 .
denote the zero loci of the imaginary parts of the dulac maps @xmath268 , @xmath269 by @xmath270 and @xmath271 respectively .
we shall bound the number of the zeros of @xmath165 in the complex domain @xmath272 of the universal covering of @xmath273 defined as follows ( without loss of generality we assume that @xmath274 ) .    * if @xmath275 , the domain @xmath272 is bounded by the circle @xmath276 and by @xmath277 as it is shown on fig.[dessin5 ] . * if @xmath278 then necessarily @xmath279 .
the domain @xmath272 is bounded by the circle @xmath246 , by the interval @xmath280 $ ] , and by @xmath281 , as it is shown on fig.[dessin6 ] .
in the course of the proof the parameters @xmath203 and @xmath3 will be chosen as in the one - saddle case : the constant @xmath203 will be sufficiently small , @xmath43 will be sufficiently small with respect to @xmath203 , and @xmath282 will be such that @xmath283 , see ( [ constants ] ) . like in section [ onesaddle ]
we shall suppose , without loss of generality , that the analytic functions @xmath284 where @xmath285 are not identically zero .
this will guarantee that for generic values of @xmath3 the displacement map will have only regular zeros in the closure of @xmath272 , so the argument principle ( proposition [ argument ] ) can be applied .
* proof of theorem [ mainth ] . *
it follows from the definition of the domain @xmath286 that the displacement map @xmath161 is analytic there . to count the zeros ( corresponding to real and complex limit cycles ) of the displacement map in @xmath287 we apply proposition 1 ( the argument principle ) to the family of functions @xmath165 . to evaluate the variation of the argument of the displacement map along the border of @xmath272 we repeat the arguments of section [ onesaddle ] .
consider first the case @xmath275 , fig.[dessin5 ] .
the connected component of the zero locus of the imaginary part of @xmath288 which is tangent to the line @xmath289 through @xmath290 intersects the circle @xmath246 transversally , and along this circle the variation of the argument of @xmath165 is uniformly bounded in @xmath3 ( theorem [ variation ] ) .
the imaginary part of @xmath161 restricted to @xmath270 equals the imaginary part of @xmath291 and hence @xmath292 vanishes along @xmath293 exactly at the intersection points @xmath294 according to lemma [ mainlemma ] these intersection points are the solutions of the equation @xmath295 where @xmath296 are the holonomies of the separatrices intersecting @xmath56 and related to the saddle points @xmath297 and @xmath290 . by gabrielov s theorem , the number of such fixed points is uniformly bounded in the disc @xmath298 .
consider now the second case @xmath278 , @xmath279 , see fig.[dessin6 ] . along this circle
@xmath246 the variation of the argument of @xmath165 is uniformly bounded in @xmath3 ( theorem [ variation ] ) . along the interval
@xmath280 $ ] the imaginary part of @xmath299 vanishes identically , and the imaginary part of @xmath161 restricted to this interval equals the imaginary part of @xmath291 .
therefore the zeros of @xmath209 along @xmath280 $ ] are exactly the intersection points of @xmath300 and @xmath280 $ ] . by lemma [ mainlemma ] , and like in ( [ 1loop ] ) , these intersection points are the solution of the equation @xmath301 where @xmath302 is the holonomy of the separatrix intersecting @xmath56 and related to the saddle points @xmath290 . by gabrielov s theorem ,
the number of such fixed points is uniformly bounded .
finally , the zeros of @xmath209 along @xmath303 and @xmath304 are evaluated as in the case @xmath275 .
this completes the proof of theorem [ mainth].@xmath90
the identity ( [ 8loop ] ) which determines complex limit cycles `` responsible '' for the cyclicity of the double loop @xmath16 is the main new ingredient in the proof with respect to the one - saddle case .
indeed , solutions of ( [ 8loop ] ) are fixed points of the holonomy @xmath305 which , for @xmath164 , is generated by a closed loop @xmath306 contained in the complexified separatrix of @xmath16 intersecting the cross - section @xmath56 . the topological type of this separatrix near @xmath16 is a disc with two punctures , corresponding to the two saddle points @xmath307 and @xmath308
. clearly @xmath306 makes one turn around each of them , but depending on the orientation we have two possibilities shown on fig . [ dessin8 ] ( i ) and ( ii ) .
a simple computation on a model example shows that the loop @xmath306 associated to the holonomy @xmath305 is the figure eight - loop on fig .
[ dessin8 ] ( i ) .
the reader will recognize in the loop @xmath306 a key ingredient in the proof of the local boundedness of the number of zeros of pseudo - abelian integrals in @xcite .
although the result of theorem [ mainth ] is existential , the proof we use leads to effective upper bounds on the number of the bifurcating limit cycles .
this possibility is explored in @xcite , where we show that the cyclicity of a hamiltonian two - loop is bounded by the number of the zeros of _ a pair _ of associated abelian integrals , a phenomenon which also explains the appearance of alien limit cycles in @xcite .