2
Using molecular dynamics to measure classical dynam-
ical correlation functions is well established in the con-
text of empirical potentials [19]. There have been a small
number of studies which use an anharmonic vibrational
Hamiltonian based upon first-principles calculations to
measure dynamical correlation functions within molec-
ular dynamics [20–25], as is in the present study. Our
molecular dynamics is based purely on irreducible deriva-
tives, which we refer to as irreducible derivative molecu-
lar dynamics (IDMD), and we have developed methods
to precisely compute the irreducible derivatives from first
principles [8], ensuring that we are working with a real-
istic vibrational Hamiltonian. A key goal of this work is
to use the IDMD results to assess diagrammatic pertur-
bation theory in the classical limit, and we are not aware
of comprehensive comparisons in the existing literature.
One of the more popular approximations to the inter-
acting phonon problem is a variational theory which uses
a Gaussian ansatz for the density matrix, which was orig-
inally pioneered by Hooton [26]. This approach can be
viewed as the Hartree-Fock (HF) approximation for inter-
acting phonons [27], given that the theory variationally
determines the optimum non-interacting bosonic refer-
ence system which minimizes the free energy. Naturally,
Hartree-Fock for phonons also has a clear diagrammatic
interpretation, and therefore it is an integral approach
for solving our anharmonic Hamiltonian in this work.
There are several popular approaches which implement
this Hartree-Fock approximation for phonons, and it is
useful to contrast them with our own implementation.
The self-consistent phonon (SCP) approach of Ref. [28],
later referred to as the first-order self-consistent phonon
(SC1) approach [29], uses compressive sensing [25, 30]
to fit the anharmonic vibrational Hamiltonian, and then
the Hartree-Fock equations are solved self-consistently in
the usual manner. Compressive sensing is useful given
that it can efficiciently fit the anharmonic terms to a
relatively small set of forces, but it is unclear how pre-
cisely it recovers the anharmonic terms as compared to
the numerically exact answer, such as what can be ob-
tained with our irreducible derivative approach [8]. The
SCP approach has been used to compute temperature de-
pendent phonon dispersions [28, 29, 31–33] and thermal
expansion [34, 35].
Another approach for executing Hartree-Fock is the
stochastic self-consistent harmonic approximation (SS-
CHA) [36, 37], which circumvents the need to Taylor
series expand the Born-Oppenheimer potential by per-
forming a stochastic sampling of the gradient of the trial
free energy. If executing the Taylor series is prohibitive,
potentially because very high orders are needed to cap-
ture the relevant physics, a stochastic approach might be
the only practical method to execute Hartree-Fock. An-
other important aspect of the SSCHA is that the full
variational freedom of the Hartree-Fock ansatz is ex-
plored, allowing for the expectation values of the nuclear
displacements to be included as variational parameters.
However, the SSCHA has its own computational limi-
tations for proper sampling, and the efficacy of the SS-
CHA is inherently tied to the Hartree-Fock approxima-
tion. The SSCHA has been used in the computation of
soft-mode driven phase transitions [37, 38], charge den-
sity wave transitions [39], and superconducting proper-
ties [36, 40–47]. An earlier stochastic approach is the self-
consistent ab initio lattice-dynamical method (SCAILD)
[48, 49], which can be viewed as an approximation to
the classical limit of the SSCHA. The SCAILD approach
has been used in the computation of temperature de-
pendent phonon dispersion and structural phase transi-
tions [50–52], and was later extended to the quantum
case [53, 54]; moving the method closer to the SSCHA.
Another popular approach is the temperature-dependent
effective potential approach (TDEP) [55], which uses the
forces from a classical ab initio molecular dynamics tra-
jectory as a source of data to parameterize an effective
quadratic potential. TDEP is not based on the Hartree-
Fock approach: the intent is to faithfully recover the ex-
pectation value of the potential energy of an ab initio
molecular dynamics simulation, and use the resulting ef-
fective quadratic potential to evaluate the corresponding
harmonic quantum free energy [56]. A recent applica-
tion of the TDEP method changes course and adopts
the stochastic sampling method of the SSCHA [57]. It
should be emphasized that all of the aforementioned ap-
proaches could be directly applied to the anharmonic
Hamiltonian in the present study, but this would offer
no benefit as compared to our own Hartree-Fock solu-
tion. The application of SCP would only test whether the
compressive sensing approach faithfully reproduces our
irreducible derivatives, while the SSCHA would only test
the accuracy of the stochastic sampling. While Hartree-
Fock is a key method that is used to study interacting
phonon systems, it will also be important to go beyond
Hartree-Fock, motivating the evaluation of higher order
diagrams.
Diagrammatic perturbation theory is a conventional
method used to compute the phonon Green’s function on
the real axis [58, 59]. We consider all O(λ2) self-energy
diagrams and selected O(λ4) diagrams [60] (see Figure 1
for schematics and labels). The colloquial diagram names
of bubble, loop, tadpole, sunset, cactus, and figure-eight
are abbreviated as b,ℓ,t,s,c, and f, respectively. The
mathematical definitions for the b,ℓ,s,c, and fdiagrams
are given in equations 17, 12, 19, 21, and 24 of Reference
[60], respectively, and the tdiagram is defined in equa-
tion 2 of Reference [61]. The classical limit of the O(λ2)
diagrams (i.e. b,ℓ, and t) yield a linear temperature de-
pendence for the self-energy, while the classical limit of
the O(λ4) diagrams yield a quadratic temperature de-
pendence. It should be noted that the tdiagram is zero
in the fluorite crystal structure [59, 61]. The inclusion
of all O(λ2) diagrams is clearly essential. The imaginary
part of the bdiagram is widely used in the context of
perturbative thermal conductivity calculations [62, 63],
and classically will provide the only contribution to the
linewidth to first order in temperature. The ℓdiagram is