Professional Documents
Culture Documents
Analytic Continuation With Padé Decomposition
Analytic Continuation With Padé Decomposition
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
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. 𝑁 𝑖𝜔𝑛 + 𝜉𝑘 − 𝜉𝑘+𝑞
𝑘
𝑝0 + 𝑝1 𝑧 + . . . + 𝑝𝑟−1 𝑧 𝑟−1
𝐾(𝑧) = , (3) 0.0
𝑞0 + 𝑞1 𝑧 + . . . + 𝑞𝑟−1 𝑧 𝑟−1 + 𝑧 𝑟 0 1 2 3 4 5
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
077102-4