Download as pdf or txt
Download as pdf or txt
You are on page 1of 4

CHIN. PHYS. LETT. Vol. 34, No.

7 (2017) 077102


Analytic Continuation with Padé Decomposition
Xing-Jie Han( 韩兴杰) 1,2
廖海军) , Hai-Dong Xie(谢海东)
, Hai-Jun Liao( 1,2 1,2
黄瑞珍)
, Rui-Zhen Huang( 1,2
,
孟子杨) , Tao Xiang(向涛)
Zi-Yang Meng( 1,2 1,2,3**
1
Institute of Physics, Chinese Academy of Sciences, Beijing 100190
2
University of Chinese Academy of Sciences, Beijing 100049
3
Collaborative Innovation Center of Quantum Matter, Beijing 100190

(Received 11 April 2017)


The ill-posed analytic continuation problem for Green’s functions or self-energies can be carried out using the
Padé rational polynomial approximation. However, to extract accurate results from this approximation, high
precision input data of the Matsubara Green function are needed. The calculation of the Matsubara Green
function generally involves a Matsubara frequency summation, which cannot be evaluated analytically. Numerical
summation is requisite but it converges slowly with the increase of the Matsubara frequency. Here we show that
this slow convergence problem can be significantly improved by utilizing the Padé decomposition approach to
replace the Matsubara frequency summation by a Padé frequency summation, and high precision input data can
be obtained to successfully perform the Padé analytic continuation.

PACS: 71.15.Dx, 02.70.Hm DOI: 10.1088/0256-307X/34/7/077102

The theory of the Matsubara Green function pro- analytic continuation is carried out by interpolating
vides a convenient and powerful tool to calculate phys- the input data defined in the Matsubara frequency do-
ical properties at finite temperatures.[1] In this the- main with a rational function that is assumed to rep-
ory, a Matsubara correlation function corresponding resent approximately the Matsubara correlation func-
to a dynamic response function measured by experi- tion. However, the Padé analytic continuation is sen-
ments is evaluated at a discrete set of imaginary Mat- sitive to the accuracy of the input data. A tiny noise in
subara frequencies. An analytic continuation is then the input may lead to a large error in the final result,
performed from this Matsubara correlation function and high precision calculation of the Matsubara corre-
to extract the dynamic response function in real fre- lation function is needed to use the Padé formula.[13]
quency. This analytic continuation can be carried out In the Feynman diagram calculation of quantum
straightforwardly if the Matsubara correlation func- field theory, a Matsubara correlation function is often
tion can be expressed in a simple analytic formula. determined by a summation over a set of Matsubara
However, in many cases, the Matsubara correlation frequencies. In many cases, this summation cannot
functions can be evaluated only approximately. In be carried out analytically and one has to resort to
these cases, the analytic continuation becomes a nu- numerical calculations. A problem often encountered
merically ill-posed inverse problem, and remains one of is that the summation converges very slowly with the
the most challenging issues in computational physics. Matsubara frequency, rendering high precision data
Different methods have been proposed to per- required in the Padé analytic continuation difficult to
form analytic continuation according to the accuracy obtain. It is well known that the summation over Mat-
of the input Matsubara correlation functions. The subara frequencies is equivalent to the contour integra-
data of the Matsubara correlation function gener- tion around the poles of Fermi or Bose distribution
ated by quantum Monte Carlo simulations (QMC)[2,3] functions. The poor convergence of the summation
contain stochastic noise induced by random sam- can be overcome by finding new poles of the Fermi
pling. For this kind of data, various numerical algo- or Bose distribution functions.[17−20] An efficient ap-
rithms, such as the maximum entropy,[4−6] the singu- proach along this line is the Padé decomposition first
lar value decomposition[7,8] and the stochastic analyt- introduced by Ozaki,[17] and the poles are called Padé
ical continuation,[9−11] have been developed and suc- frequencies. In this Letter, we apply this approach to
cessfully applied to various quantum systems. How- solve the slow converging problem encountered in the
ever, these methods have difficulties in reproducing analytic continuation using the Padé rational polyno-
fine structures in dynamic response functions. If, mial approximation.
on the other hand, high precision input data are Let us assume 𝐾(𝑖𝜔𝑛 ) to be the Matsubara Green
available, another method called the Padé analytic function corresponding to a dynamic correlation func-
continuation[12−16] can be used. In this method, the tion 𝐾 R (𝜔), where 𝜔𝑛 is the Matsubara frequency,

∗ Supportedby the National Natural Science Foundation of China under Grant Nos 11474331 and 11190024.
** Correspondingauthor. Email: txiang@iphy.ac.cn
© 2017 Chinese Physical Society and IOP Publishing Ltd

077102-1
CHIN. PHYS. LETT. Vol. 34, No. 7 (2017) 077102

and 𝜔 is the real frequency. As 𝐾(𝑧) is analytic in the linear equations.[13] To understand this more clearly,
whole upper complex plan of 𝑧 excluding the real axis, let us take the correlation function determined by the
the retarded Green function 𝐾 R (𝜔) can be obtained particle-hole bubble diagram in one dimension,
from 𝐾(𝑖𝜔𝑛 ) by analytic continuation
1 ∑︁
𝐾(𝑞, 𝑖𝜔𝑛 ) = 𝐺(𝑘, 𝑖𝜔𝑚 )𝐺(𝑞 + 𝑘, 𝑖𝜔𝑛 + 𝑖𝜔𝑚 ),
𝐾 R (𝜔) = 𝐾(𝑖𝜔𝑛 → 𝜔 + 𝑖0+ ), (1) 𝛽𝑁
𝑘,𝑖𝜔𝑚
(4)
provided that the analytic expression of 𝐾(𝑖𝜔𝑛 ) is as an example to examine how the results of Padé
known. The spectral function 𝐴(𝜔) is determined by analytic continuation are affected by the accuracy of
the imaginary part of 𝐾 R (𝜔 + 𝑖0+ ) by the formula calculations. In Eq. (4), 𝐺(𝑘, 𝑖𝜔𝑚 ) = 1/(𝑖𝜔𝑚 − 𝜉𝑘 ) is
1 the single-particle Green function with 𝜉𝑘 = −2 cos 𝑘,
𝐴(𝜔) = − Im𝐾 R (𝜔 + 𝑖0+ ). (2) 𝜔𝑚 and 𝜔𝑛 are the fermionic and bosonic Matsubara
𝜋
frequencies. In the following we use 𝐷 to denote the
However, as already mentioned, the analytic ex- decimal digits of the precision, and set 𝑞 = 𝜋, tem-
pression of 𝐾(𝑖𝜔𝑛 ) is not always available, and we can perature 𝑇 = 0.1, and the lattice size 𝑁 = 50. In
only calculate the correlation function 𝐾(𝑖𝜔𝑛 ) at some the analytic continuation, we replace 𝑧 by 𝜔 + 𝑖𝛿 with
Matsubara frequencies 𝑖𝜔𝑛 numerically. According to 𝛿 = 0.01 in the Padé function (3).
a theorem proven by Baym and Mermin,[21] there ex- For this simple correlation function, the Matsub-
ists a unique analytic continuation of the Matsubara ara frequency summation in Eq. (4) can be carried out
correlation function, provided the values of 𝐾(𝑖𝜔𝑛 ) exactly. This gives a rigorous expression
for an infinite set of points, including the points at
infinity. This is apparently impossible and we have to 1 ∑︁ 𝑓 (𝜉𝑘 ) − 𝑓 (𝜉𝑘+𝑞 )
𝐾(𝑞, 𝑖𝜔𝑛 ) = , (5)
resort to some approximations. 𝑁 𝑖𝜔𝑛 + 𝜉𝑘 − 𝜉𝑘+𝑞
𝑘

iωn which can be used to benchmark the results obtained


K↼iωn)
numerically with the Padé analytic continuation. Here
𝑓 (𝑥) in Eq. (5) means the Fermi distribution function.
K↼z) The analytic continuation of Eq. (5) can be carried out
by replacing 𝑖𝜔𝑛 with 𝜔 + 𝑖𝛿, and the corresponding
K↼ω⇁iδ)
spectral functions, which would serve as the exact re-
ω
sults, can be obtained. For the exact results, we also
set 𝛿 = 0.01, 𝑇 = 0.1 and the lattice size 𝑁 = 50.
Fig. 1. Procedure of the Padé analytic continuation: the 1.6
Padé rational function 𝐾(𝑧), defined by Eq. (3), is first Exact =16
=56 =82
determined from a set of input data {𝑖𝜔𝑛 , 𝐾(𝑖𝜔𝑛 )}, and
then the retarded Green function 𝐾 R (𝜔 + 𝑖0+ ) is obtained 1.2
from 𝐾(𝑧) by substituting 𝑧 with 𝜔 + 𝑖0+ .
( , )

The Padé analytic continuation is based on the as-


0.8
sumption that the Matsubara correlation function can
be approximately represented by a rational function of
degree 𝑟, 0.4

𝑝0 + 𝑝1 𝑧 + . . . + 𝑝𝑟−1 𝑧 𝑟−1
𝐾(𝑧) = , (3) 0.0
𝑞0 + 𝑞1 𝑧 + . . . + 𝑞𝑟−1 𝑧 𝑟−1 + 𝑧 𝑟 0 1 2 3 4 5

where 𝑝𝑟 and 𝑞𝑟 are complex coefficients, which can


Fig. 2. The spectral function of the particle-hole corre-
be determined by solving 2𝑟 linear equations from 2𝑟
lation function, 𝐴(𝜋, 𝜔), obtained by the Padé analytic
arbitrary but different input points {𝑖𝜔𝑛 , 𝐾(𝑖𝜔𝑛 )}.[13] continuation with 𝐷 = 16 (red dashed line), 𝐷 = 56 (blue
After the coefficients {𝑝𝑟 , 𝑞𝑟 } are determined, we can dashed line) and 𝐷 = 82 (green dashed line), respectively.
replace 𝑧 by 𝜔 + 𝑖0+ to obtain the retarded correla- The exact result (black solid line) is also shown for com-
parison.
tion function 𝐾 R (𝜔). The procedure of this analytic
continuation is illustrated in Fig. 1. To perform the Padé analytic continuation, we
When the degree of the rational function 𝑟 is large, use Eq. (5) to generate 2𝑟 (𝑟 = 30) data points
the ratio between the largest and the smallest input {𝑖𝜔𝑛 , 𝐾(𝜋, 𝑖𝜔𝑛 )} with precision 𝐷 = 16 and 𝐷 = 56,
imaginary frequencies, 𝜔𝑛 , could be very large. In respectively. The Padé coefficients are then deter-
this case, high precision calculation is needed to ac- mined by solving the 2𝑟 linear equations numerically.
curately determine the coefficient matrix of the 2𝑟 Figure 2 compares the spectral function obtained by
077102-2
CHIN. PHYS. LETT. Vol. 34, No. 7 (2017) 077102

the Padé analytic continuation with the exact result frequency summation, and (2) the constant Matsub-
obtained from Eq. (5). With the double precision cal- ara residues are replaced by the Padé residues.
culation (𝐷 = 16), we find that the Padé analytic
continuation fails to reproduce all the fine structures (a) Exact =600 =10000
1.6
of the spectral function except the peak structure at
the highest frequency. By increasing the precision to
0.8
𝐷 = 56, the spectral function calculated by the Padé
approximation begins to show the multi-peak struc-
0.0
tures of the spectral function. However, it still devi-

A( , )
(b) Exact =600
ates significantly from the exact one. To reproduce 1.6
accurately the exact result with a difference less than
10−15 , we find that the precision has to be increased
0.8
to 𝐷 = 82.
In the case that the Matsubara frequency summa-
0.0
tion cannot be evaluated analytically, we have to carry 0 1 2 3 4 5
out the summation numerically. For a direct sum of
the Matsubara frequency, one has to introduce a fre- Fig. 3. Comparison of the spectral function 𝐴(𝜋, 𝜔) ob-
quency cutoff. As the summation converges slowly, it tained by the Padé analytic continuation with the exact
is almost impossible to obtain the input data with suf- one (black solid lines). The input data {𝑖𝜔𝑛 , 𝐾(𝜋, 𝑖𝜔𝑛 )}
ficiently high precision that can be used in the Padé used in the Padé analytic continuation are calculated by
summing 𝑁M = 600 (red solid line) and 𝑁M = 10000
analytic continuation. This problem, however, can be (blue solid line) Matsubara frequencies (upper panel),
solved by replacing the Matsubara frequency summa- and 𝑁P = 600 (red dashed line) Padé frequencies (lower
tion with a Padé frequency summation.[17−20] panel), respectively.
The Padé frequencies are determined by the Padé The Padé decomposition can greatly improve the
decomposition of the Fermi function accuracy in the calculation of the Matsubara fre-
→∞
𝑁∑︁ quency summation. For example, just using 𝑁P = 70
1 1 2𝜂𝑗 𝑥
𝑓 (𝑥) = = − , (6) Padé frequencies we can already calculate the value
𝑥
𝑒 +1 2 𝑥 + 𝜉𝑗2
2
𝑗=1 𝐾(𝜋, 𝑖2𝜋𝑇 ) with a precision 𝐷 = 100. By contrast,
where ±𝑖𝜉𝑗 and 𝜂𝑗 represent the poles and the corre- the precision one can obtain for this quantity by di-
sponding residues of the Fermi function in this decom- rectly summing up 𝑁M = 10000 Matsubara frequen-
position scheme.[17] Table 1 lists the values of 𝜉𝑗 and cies is just 𝐷 = 3.
𝜂𝑗 up to 𝑁 = 20. Unlike the Matsubara decomposi- The upper panel of Fig. 3 shows the spectral func-
tion, the poles of the Padé decomposition are unevenly tion of 𝐴(𝜋, 𝜔) obtained by the Padé analytic con-
distributed. tinuation with the input data calculated by directly
summing over 𝑁M = 600 and 𝑁M = 10000 Matsubara
Table 1. Values of the first 20 pairs of 𝜂𝑗 and 𝜉𝑗 defined in the
Padé spectral decomposition of the Fermi function.
frequencies using Eq. (4), respectively. The exact re-
sult is also shown in this figure for comparison. The
𝑗 𝜂𝑗 𝜉𝑗 /𝜋 𝑗 𝜂𝑗 𝜉𝑗 /𝜋 difference between the results obtained by the Padé
1 1.00 1.00 11 1.00 21.0
formula and the exact one is apparently very large.
2 1.00 3.00 12 1.03 23.0
3 1.00 5.00 13 1.22 25.2
The improvement by increasing 𝑁M from 600 to 10000
4 1.00 7.00 14 1.70 28.1 is very small. The spectral function obtained with
5 1.00 9.00 15 2.52 32.2 𝑁M = 10000 even becomes negative in some regimes
6 1.00 11.00 16 3.90 38.5 which is clearly unphysical. For comparison, the lower
7 1.00 13.00 17 6.59 48.7 panel of Fig. 3 shows the spectral function obtained by
8 1.00 15.00 18 13.1 67.3 the Padé analytic continuation with the input data
9 1.00 17.00 19 36.8 111
calculated by summing over 𝑁P = 600 Padé frequen-
10 1.00 19.00 20 332 332
cies using Eq. (7), which agrees perfectly with the ex-
Using this Padé decomposition formula, we can act one.
rewrite Eq. (4) as The accuracy of the Padé analytic continuation
𝑁P also depends on the choice of the power 𝑟 of the ratio-
1 ∑︁ ∑︁
𝐾(𝑞, 𝑖𝜔𝑛 ) = 𝜂𝑗 𝐺(0) (𝑘, 𝑖𝜉𝑗 /𝛽) nal function. One should use a sufficiently large 𝑟 to
𝛽𝑁 carry out the analytic continuation so that the results
𝑘 𝑗=−𝑁P

· 𝐺(0) (𝑞 + 𝑘, 𝑖𝜔𝑛 + 𝑖𝜉𝑗 /𝛽), (7) are converged. As the denominator in the rational
function (3) is a polynomial of order 𝑟, the number of
which differs from Eq. (4) in two respects: (1) the Mat- its roots cannot exceed 𝑟. To reproduce accurately a
subara frequency summation is changed to the Padé Green’s function, 𝑟 should be equal to or larger than
077102-3
CHIN. PHYS. LETT. Vol. 34, No. 7 (2017) 077102

the number of the poles of that function. However, Academic/Plenum Publishers)


if 𝑟 is larger than the number of poles, the presence [2] Blankenbecler R, Scalapino D J and Sugar R L 1981 Phys.
Rev. D 24 2278
of the extra poles would also introduce errors in the [3] Hirsch J E 1983 Phys. Rev. B 28 4059(R)
calculation since it is difficult to make the contribu- [4] Jarrell M and Gubernatis J E 1996 Phys. Rep. 269 133
tion of these redundant poles cancel each other. In [5] Bergeron D and Tremblay A M S 2016 Phys. Rev. E 94
the case that the exact number of poles is unknown, 023303
[6] Goulko O, Mishchenko A S, Pollet L, Prokofév N and Svis-
it is desired to use a larger 𝑟 and to carry out the tunov B 2017 Phys. Rev. B 95 014102
calculation with high precision. Some other schemes [7] Creffield C E, Klepfish E G, Pike E R and Sarkar S 1995
have also been proposed to deal with this so-called Phys. Rev. Lett. 75 517
pole-zero pairs problem.[13−16] [8] Gunnarsson O, Haverkort M W and Sangiovanni G 2010
Phys. Rev. B 82 165125
In summary, we have shown that high precision [9] Beach K S D 2004 arXiv:cond-mat/0403055[cond-mat.str-
input of the Matsubara Green function is needed to el]
carry out the analytic continuation using the Padé [10] Sandvik A W 2016 Phys. Rev. E 94 063308
[11] Qin Y Q, Normand B, Sandvik A W and Meng Z Y 2017
rational polynomial approximation. When the sum-
Phys. Rev. Lett. 118 147207
mation over Matsubara frequencies cannot be carried [12] Vidberg H J and Serene J 1977 J. Low Temp. Phys. 29 179
out analytically, the replacement with summation over [13] Beach K S D, Gooding R J and Marsiglio F 2000 Phys. Rev.
Padé frequencies can significantly improve the conver- B 61 5147
[14] Östlin A, Chioncel L and Vitos L 2012 Phys. Rev. B 86
gent behavior. This approach can be used to calcu-
235107
late the Matsubara Green function with high preci- [15] Osolin Ž and Žitko R 2013 Phys. Rev. B 87 245135
sion. It can be also used in the calculation of quantum [16] Schött J, Locht I L M, Lundin E, Grånäs O, Eriksson O
Monte Carlo and dynamic mean-field theory, when- and Marco I D 2016 Phys. Rev. B 93 075104
[17] Ozaki T 2007 Phys. Rev. B 75 035123
ever a Matsubara frequency summation is present. [18] Croy A and Saalmann U 2009 Phys. Rev. B 80 073102
[19] Hu J, Xu R X and Yan Y J 2010 J. Chem. Phys. 133 101106
[20] Hu J, Luo M, Jiang F, Xu R X and Yan Y J 2011 J. Chem.
References Phys. 134 244106
[21] Baym G and Mermin D 1961 J. Math. Phys. 2 232
[1] Mahan G D 2000 Many Particle Physics (New York: Kluwer

077102-4

You might also like