Introduction to the Reduced Density Matrix Functional...

85
Connection to Hartree Fock RDMFT Functionals and Minimization Applications/properties Introduction to the Reduced Density Matrix Functional Theory N. N. Lathiotakis TPCI, National Hellenic Research Foundation, Athens July 22, 2011 Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Transcript of Introduction to the Reduced Density Matrix Functional...

Page 1: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Introduction to the

Reduced Density Matrix Functional Theory

N. N. Lathiotakis

TPCI, National Hellenic Research Foundation, Athens

July 22, 2011

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 2: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Outline

1 Connection to Hartree Fock

2 Density matrices

3 Reduced Density Matrix Functional Theory (RDMFT)

4 Functionals and Minimization

5 Application to prototype systems: H2 dissociation,Homogeneous electron gas

6 Total and atomization energies

7 Fundamental gap

8 Size consistency / Fractional spin

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 3: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Hartree Fock

Wave function is one Slater Determinant:

Φ(x1,x2, · · · xN ) =

ϕ1(x1) ϕ1(x2) · · · ϕ1(xN )ϕ2(x1) ϕ2(x2) · · · ϕ2(xN )

......

. . ....

ϕN (x1) ϕN (x2) · · · ϕN (xN )

We need to minimize:

Etot =〈Φ|H |Φ〉〈Φ|Φ〉

Minimization chooses N orbitals out an infinite dimensionspace (or of dimension M > N for practical applications).

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 4: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Energy in Hartree-Fock

Spin-orbitals ϕ(x) = ϕ(r)α(ω). For spin compensated systems:

Etot = 2

N/2∑

j=1

h(1)jj + 2

N/2∑

j,k=1

Jjk −N/2∑

j,k=1

Kjk

h(1)jj =

d3r ϕ∗j (r)

[

−1

2∇2

r+ V (r)

]

ϕj(r)

Jjk =

d3r

d3r′|ϕj(r)|2 |ϕk(r

′)|2|r− r

′|

Kjk =

d3r

d3 r′ϕj(r) ϕ

∗j (r

′) ϕk(r′) ϕ∗

k(r)

|r− r′|

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 5: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Energy in Hartree-Fock

Spin-orbitals ϕ(x) = ϕ(r)α(ω). For spin compensated systems:

Etot = 2

∞∑

j=1

njh(1)jj + 2

∞∑

j,k=1

njnk Jjk −∞∑

j,k=1

njnk Kjk

h(1)jj =

d3r ϕ∗j (r)

[

−1

2∇2

r+ V (r)

]

ϕj(r)

Jjk =

d3r

d3r′|ϕj(r)|2 |ϕk(r

′)|2|r− r

′|

Kjk =

d3r

d3r′ϕj(r) ϕ

∗j (r

′) ϕk(r′) ϕ∗

k(r)

|r− r′|

Where nj and nk occupation numbers

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 6: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Hartree Fock Functional in RDMFT

Etot = 2∞∑

j=1

nj h(1)jj + 2

∞∑

j,k=1

njnkJjk −∞∑

j,k=1

njnk Kjk

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 7: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Hartree Fock Functional in RDMFT

Etot = 2∞∑

j=1

nj h(1)jj + 2

∞∑

j,k=1

njnkJjk −∞∑

j,k=1

njnk Kjk

Assume that this functional is minimized w.r.t. nj, ϕj .

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 8: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Hartree Fock Functional in RDMFT

Etot = 2∞∑

j=1

nj h(1)jj + 2

∞∑

j,k=1

njnkJjk −∞∑

j,k=1

njnk Kjk

Assume that this functional is minimized w.r.t. nj, ϕj .It is not bound!nj should satisfy extra conditions.

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 9: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Hartree Fock Functional in RDMFT

Etot = 2∞∑

j=1

nj h(1)jj + 2

∞∑

j,k=1

njnkJjk −∞∑

j,k=1

njnk Kjk

Assume that this functional is minimized w.r.t. nj, ϕj .

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 10: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Hartree Fock Functional in RDMFT

Etot = 2∞∑

j=1

nj h(1)jj + 2

∞∑

j,k=1

njnkJjk −∞∑

j,k=1

njnk Kjk

Assume that this functional is minimized w.r.t. nj, ϕj .

N-representability conditions of Coleman:

0 ≤ nj ≤ 1, and 2∞∑

j=1

nj = N

The first reflects the Pauli principle and the second fixes thenumber of particles.

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 11: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Hartree Fock Functional in RDMFT

Etot = 2∞∑

j=1

nj h(1)jj + 2

∞∑

j,k=1

njnkJjk −∞∑

j,k=1

njnk Kjk

Assume that this functional is minimized w.r.t. nj, ϕj .

N-representability conditions of Coleman:

0 ≤ nj ≤ 1, and 2∞∑

j=1

nj = N

The first reflects the Pauli principle and the second fixes thenumber of particles.

There no extrema between 0 and 1. It is monotonousselecting either 0 or 1.

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 12: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Hartree Fock Functional in RDMFT

Etot = 2∞∑

j=1

nj h(1)jj + 2

∞∑

j,k=1

njnkJjk −∞∑

j,k=1

njnk Kjk

Assume that this functional is minimized w.r.t. nj, ϕj .

N-representability conditions of Coleman:

0 ≤ nj ≤ 1, and 2∞∑

j=1

nj = N

The first reflects the Pauli principle and the second fixes thenumber of particles.

There no extrema between 0 and 1. It is monotonousselecting either 0 or 1.

This functional collapses to Hartree-Fock Theory

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 13: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Density matricesTotal energy functionalFoundations

Density matrices

N -body density matrix

Γ(N)(r1, r2..rN ; r′1, r′2..r

′N ) = Ψ∗(r′1, r

′2..r

′N ) Ψ(r1, r2..rN )

Reduce the order of the density matrix

Γ(p)(r1, ..rp; r′1, ..r

′p) =

(

Np

)∫

d3rp+1..d3rNΨ∗(r′1, ..r

′p, rp+1..rN ) Ψ(r1, ..rN )

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 14: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Density matricesTotal energy functionalFoundations

Density matrices

N -body density matrix

Γ(N)(r1, r2..rN ; r′1, r′2..r

′N ) = Ψ∗(r′1, r

′2..r

′N ) Ψ(r1, r2..rN )

Reduce the order of the density matrix

Γ(p)(r1, ..rp; r′1, ..r

′p) =

(

Np

)∫

d3rp+1..d3rNΨ∗(r′1, ..r

′p, rp+1..rN ) Ψ(r1, ..rN )

Recurrence relation

Γ(p−1)(r1, ..rp−1; r′1, ..r

′p−1) =

p

N − p+ 1

d3rp Γ(p)(r1, ..rp; r

′1, ..r

′p−1, rp)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 15: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Density matricesTotal energy functionalFoundations

Total energy

One-body density matrix

Γ(1)(r; r′) =2

N − 1

d3r2 Γ(2)(r, r2; r

′, r2) =: γ(r; r′)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 16: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Density matricesTotal energy functionalFoundations

Total energy

One-body density matrix

Γ(1)(r; r′) =2

N − 1

d3r2 Γ(2)(r, r2; r

′, r2) =: γ(r; r′)

Total energyEtot = Ekin + Eext + Eint

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 17: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Density matricesTotal energy functionalFoundations

Total energy

One-body density matrix

Γ(1)(r; r′) =2

N − 1

d3r2 Γ(2)(r, r2; r

′, r2) =: γ(r; r′)

Total energyEtot = Ekin + Eext + Eint

Ekin =

d3r d3r′ δ(r − r′)

(

−∇2

2

)

γ(r; r′)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 18: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Density matricesTotal energy functionalFoundations

Total energy

One-body density matrix

Γ(1)(r; r′) =2

N − 1

d3r2 Γ(2)(r, r2; r

′, r2) =: γ(r; r′)

Total energyEtot = Ekin + Eext + Eint

Eext =

d3r vext(r) γ(r; r)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 19: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Density matricesTotal energy functionalFoundations

Total energy

One-body density matrix

Γ(1)(r; r′) =2

N − 1

d3r2 Γ(2)(r, r2; r

′, r2) =: γ(r; r′)

Total energyEtot = Ekin + Eext + Eint

Eint =

d3r d3r′Γ(2)(r, r′; r, r′)

| r− r′ |

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 20: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Density matricesTotal energy functionalFoundations

Total energy

One-body density matrix

Γ(1)(r; r′) =2

N − 1

d3r2 Γ(2)(r, r2; r

′, r2) =: γ(r; r′)

Total energyEtot = Ekin + Eext + Eint

is a functional of Γ(2)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 21: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Density matricesTotal energy functionalFoundations

Total energy

One-body density matrix

Γ(1)(r; r′) =2

N − 1

d3r2 Γ(2)(r, r2; r

′, r2) =: γ(r; r′)

Total energyEtot = Ekin + Eext + Eint

is a functional of Γ(2)

Why don’t we minimize the total energy with respect to Γ(2)?

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 22: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Density matricesTotal energy functionalFoundations

N -representability

Remember

Γ(2)(r1, r2; r′1, r

′2) =

N(N − 1)

2

d3r3..d3rNΨ∗(r′1, r

′2, r3..rN )Ψ(r1..rN )

with an antisymmetric, normalized wave function Ψ

For Γ(2) only several necessary N -representability conditionsare known1

Not sufficient leading to too small total energies in theminimization

1JCP 128, 164113 (2008)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 23: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Density matricesTotal energy functionalFoundations

N -representability

For γ the N -representability conditions are known and quitesimple

Diagonalization of γ

γ(r; r′) =

∞∑

j=1

nj ϕ∗j(r

′) ϕj(r)

Occupation numbers: 0 ≤ nj ≤ 1,∑

j nj = NNatural orbitals:

d3r ϕj(r) ϕ∗k(r) = δjk

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 24: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Density matricesTotal energy functionalFoundations

N -representability

For γ the N -representability conditions are known and quitesimple

Diagonalization of γ

γ(r; r′) =

∞∑

j=1

nj ϕ∗j(r

′) ϕj(r)

Occupation numbers: 0 ≤ nj ≤ 1,∑

j nj = NNatural orbitals:

d3r ϕj(r) ϕ∗k(r) = δjk

Choice between knowing the functional dependence andknowing the N -representability conditions

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 25: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Density matricesTotal energy functionalFoundations

RDMFT Foundations

Gilbert’s Theorem:2 Every ground-state observable is afunctional of the ground-state one-body reduced densitymatrix

γgs(r; r′)

1−1←→ Ψgs(r1, r2...rN )

No 1-1 correspondence to external potential as in DFT

Idempotency: for non-interacting particles nj = 0, 1, noKohn-Sham system

2T. Gilbert Phys. Rev. B 12, 2111 (1975)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 26: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Density matricesTotal energy functionalFoundations

RDMFT Foundations

Gilbert’s Theorem:2 Every ground-state observable is afunctional of the ground-state one-body reduced densitymatrix

γgs(r; r′)

1−1←→ Ψgs(r1, r2...rN )

No 1-1 correspondence to external potential as in DFT

Idempotency: for non-interacting particles nj = 0, 1, noKohn-Sham system

Total energy

Etot = Ekin +Eext + EH + Exc

Exchange-correlation energy does not contain any kineticenergy contributions

2T. Gilbert Phys. Rev. B 12, 2111 (1975)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 27: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

FunctionalsMinimization

Muller type functionals

Exc = −1

2

∞∑

j,k=1

f(nj, nk)

d3rd3r′ϕj(r)ϕ

∗j (r

′)ϕk(r′)ϕ∗

k(r)

| r− r′ |

Hartree-Fock: f(nj, nk) = njnk

Muller functional3: f(nj, nk) =√njnk

Goedecker-Umrigar4: f(nj, nk) =√njnk(1− δjk) + n2

jδjk

3A. Muller, Phys. Lett. A 105, 446 (1984); M. A. Buijse, E. J. Baerends, Mol. Phys. 100, 401 (2002)

4S. Goedecker, C. J. Umrigar, Phys. Rev. Lett. 81, 866 (1998).

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 28: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

FunctionalsMinimization

Muller type functionals

Exc = −1

2

∞∑

j,k=1

f(nj, nk)

d3rd3r′ϕj(r)ϕ

∗j (r

′)ϕk(r′)ϕ∗

k(r)

| r− r′ |

Hartree-Fock: f(nj, nk) = njnk

Muller functional: f(nj, nk) =√njnk

Goedecker-Umrigar: f(nj, nk) =√njnk(1− δjk) + n2

jδjk

BBC14:

f(nj, nk) =

{

−√njnk j 6= k both weakly occupied√njnk otherwise.

4O. Gritsenko, K. Pernal, E.J. Baerends, J. Chem. Phys. 122, 204102 (2005)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 29: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

FunctionalsMinimization

Muller type functionals

Exc = −1

2

∞∑

j,k=1

f(nj, nk)

d3rd3r′ϕj(r)ϕ

∗j (r

′)ϕk(r′)ϕ∗

k(r)

| r− r′ |

Hartree-Fock: f(nj, nk) = njnk

Muller functional: f(nj, nk) =√njnk

Goedecker-Umrigar: f(nj, nk) =√njnk(1− δjk) + n2

jδjk

BBC24:

f(nj, nk) =

−√njnk j 6= k both weakly occupied

njnk j 6= k both strongly occupied√njnk otherwise.

4O. Gritsenko, K. Pernal, E.J. Baerends, J. Chem. Phys. 122, 204102 (2005)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 30: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

FunctionalsMinimization

Muller type functionals

Exc = −1

2

∞∑

j,k=1

f(nj, nk)

d3rd3r′ϕj(r)ϕ

∗j (r

′)ϕk(r′)ϕ∗

k(r)

| r− r′ |

Hartree-Fock: f(nj, nk) = njnk

Muller functional: f(nj, nk) =√njnk

Goedecker-Umrigar: f(nj, nk) =√njnk(1− δjk) + n2

jδjk

BBC34:

f(nj, nk) =

−√njnk j 6= k both weakly occupied

njnk

{

j 6= k both strongly occupiedj(k) anti−bonding , k(j) not bonding

n2j j = k√

njnk otherwise.

4O. Gritsenko, K. Pernal, E.J. Baerends, J. Chem. Phys. 122, 204102 (2005)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 31: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

FunctionalsMinimization

Muller type functionals

Exc = −1

2

∞∑

j,k=1

f(nj, nk)

d3rd3r′ϕj(r)ϕ

∗j (r

′)ϕk(r′)ϕ∗

k(r)

| r− r′ |

Hartree-Fock: f(nj, nk) = njnk

Muller functional: f(nj, nk) =√njnk

Goedecker-Umrigar: f(nj, nk) =√njnk(1− δjk) + n2

jδjk

BBC1, BBC2, and BBC3

PNOF0: Cummulant expansion; BBC1 with removal of j = kterms PNOF: additional term to avoid pinned states;PNOF1-5 5

5Piris, Int. J. Quant. Chem. 106, 1093 (2006); Piris, et al, JCP 134, 164102 (2011)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 32: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

FunctionalsMinimization

Muller type functionals

Exc = −1

2

∞∑

j,k=1

f(nj, nk)

d3rd3r′ϕj(r)ϕ

∗j (r

′)ϕk(r′)ϕ∗

k(r)

| r− r′ |

Hartree-Fock: f(nj, nk) = njnk

Muller functional: f(nj, nk) =√njnk

Goedecker-Umrigar: f(nj, nk) =√njnk(1− δjk) + n2

jδjk

BBC1, BBC2, and BBC3

PNOF0: BBC1 with removal of j = k terms

AC3: Similar to BBC3 with C2,C3 corrections analytic6

6Rohr, et al, JCP 129, 164105 (2008).

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 33: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

FunctionalsMinimization

Muller type functionals

Exc = −1

2

∞∑

j,k=1

f(nj, nk)

d3rd3r′ϕj(r)ϕ

∗j (r

′)ϕk(r′)ϕ∗

k(r)

| r− r′ |

Hartree-Fock: f(nj, nk) = njnk

Muller functional: f(nj, nk) =√njnk

Goedecker-Umrigar: f(nj, nk) =√njnk(1− δjk) + n2

jδjk

BBC1, BBC2, and BBC3

PNOF0: BBC1 with removal of j = k terms

AC3: Similar to BBC3 with C2,C3 corrections analytic

ML: Pade approximation for f , fit for a set of molecules7

7Marques, Lathiotakis, PRA 77, 032509 (2008).

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 34: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

FunctionalsMinimization

Muller type functionals

Exc = −1

2

∞∑

j,k=1

f(nj, nk)

d3rd3r′ϕj(r)ϕ

∗j (r

′)ϕk(r′)ϕ∗

k(r)

| r− r′ |

Hartree-Fock: f(nj, nk) = njnk

Muller functional: f(nj, nk) =√njnk

Goedecker-Umrigar: f(nj, nk) =√njnk(1− δjk) + n2

jδjk

BBC1, BBC2, and BBC3

PNOF0: BBC1 with removal of j = k terms

AC3: Similar to BBC3 with C2,C3 corrections analytic

ML: Pade approximation for f , fit for a set of molecules.

Power Functional8: f(nj, nk) = (njnk)α

8S. Sharma et al, PRB, 78, 201103(R) (2008).

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 35: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

FunctionalsMinimization

Muller type functionals

Exc = −1

2

∞∑

j,k=1

f(nj, nk)

d3rd3r′ϕj(r)ϕ

∗j (r

′)ϕk(r′)ϕ∗

k(r)

| r− r′ |

Hartree-Fock: f(nj, nk) = njnk

Muller functional: f(nj, nk) =√njnk

Goedecker-Umrigar: f(nj, nk) =√njnk(1− δjk) + n2

jδjk

BBC1, BBC2, and BBC3

PNOF0: BBC1 with removal of j = k terms

AC3: Similar to BBC3 with C2,C3 corrections analytic

ML: Pade approximation for f , fit for a set of molecules

Power Functional: f(nj, nk) = (njnk)α

Range separated hybrid GGA-Muller functional10

10D.R. Rohr, J. Toulouse, K. Pernal, PRA, 82, 052502 (2010).

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 36: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

FunctionalsMinimization

Minimization

Minimize

F = Etot−µ

∞∑

j=1

nj −N

−∞∑

j,k=1

ǫjk

(∫

d3rϕ∗j(r)ϕk(r)− δjk

)

Minimize with respect to nj and ϕj

Minimization with respect to nj can have border minima

0 1

E

nj

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 37: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

FunctionalsMinimization

Minimization

Minimize

F = Etot−µ

∞∑

j=1

nj −N

−∞∑

j,k=1

ǫjk

(∫

d3rϕ∗j(r)ϕk(r)− δjk

)

Minimize with respect to nj and ϕj

Minimization with respect to nj can have border minima

Minimization with respect to ϕj is complicated; not adiagonalization problem.

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 38: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

H2 dissociation

1 2 3 4

H-H distance (Å)

-1.1

-1

-0.9

Eto

t (H

a)

CIMüller GUBBC3PNOF0α=0.578α=0.525

PRA 79, 040501(R) (2009)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 39: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Homogeneous Electron Gas

0.25 0.5 1 2 4 8rs (a.u.)

-0.15

-0.1

-0.05

0C

orre

latio

n en

ergy

(H

a)

Monte CarloCGAPNOF and BBC1BBC3 and BBC2Müller CHFPower, α=0.55Power, α=0.6

PRB 75, 195120 (2007); PRA 79, 040501(R) (2009)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 40: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Benchmark for finite systems

Benchmark for 150 molecules and radicals (G2/97 test set)11

6-31G* basis set, Comparison with CCSD(T)

11JCP 128, 184103 (2008)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 41: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Benchmark for finite systems

Benchmark for 150 molecules and radicals (G2/97 test set)11

6-31G* basis set, Comparison with CCSD(T)

Method ∆ ∆max δ δmax δeMuller 0.55 1.23 (C2Cl4) 135.7% 438.3% (Na2) 0.0193GU 0.26 0.79 (C2Cl4) 51.63% 114.2% (Si2) 0.0072

BBC1 0.29 0.75 (C2Cl4) 69.91% 159.1% (Na2) 0.0098BBC2 0.18 0.50 (C2Cl4) 45.02% 125.0% (Na2) 0.0058BBC3 0.068 0.27 (SiCl4) 18.37% 50.8% (SiH2) 0.0017PNOF 0.102 0.42 (SiCl4) 20.84% 59.1% (SiCl4) 0.0021PNOF0 0.072 0.32 (SiCl4) 17.11% 46.0% (Cl2) 0.0015

ML(cl. shell) 0.059 0.18 (pyridine) 11.02% 35.7% (Na2) 0.0015

MP2 0.040 0.074 (C2Cl4) 11.86% 35.7% (Li2) 0.0015B3LYP 0.75 2.72 (SiCl4) 305.0% 2803.7% (Li2) 0.022

11JCP 128, 184103 (2008)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 42: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Ec for finite systems

0

50

100

150

200

δ (%

)

Mül

ler

GU

CG

A

BB

C1

BB

C2

BB

C3

PN

OF

|γ α |2

(α=0

.578

)

MP

2

Error in correlation energy (reference CCSD(T))PRA 79, 040501(R) (2009)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 43: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Atomization energies

set 1 set 2δ (%) δmax (%) δ (%) δmax (%)

R(O)HF 42.4 195 (F2) 53.8 233(F2)Mueller 32.7 138 (Na2) 40.6 130(Na2)GU 43.7 239 (ClF3) 50.4 180(F2)

BBC1 31.0 107 (ClF3) 34.8 75(O2)BBC2 26.9 142 (ClO) 40.1 142(F2)BBC3 18.0 117 (Li2) 25.6 103(Li2)PNOF 25.5 161 (ClF3) 30.4 127(F2)PNOF0 17.5 76 (Li2) 23.9 73(Cl2)MP2 6.24 34 (Na2) 7.94 35(Na2)B3LYP 11.7 40 (BeH) 12.1 38(F2)

set 1: G2/97 test set, 6-31G*-basisset 2: subset of 50 molecules, cc-pVDZ-basis

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 44: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Atomization energies

0 0.2 0.4 0.6 0.8CCSDT atomisation energies

0

0.2

0.4

0.6

0.8

Ato

mis

atio

n en

ergi

es

BBC3PNOF0Power α=0.578

PRA 79, 040501(R) (2009)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 45: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Fundamental gap

Fundamental gap: related to the behavior of total energy forfractional total number of particles

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 46: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Fundamental gap

Fundamental gap: related to the behavior of total energy forfractional total number of particles

The state for M particles, N < M < N + 1, is defined as anensemble. For the 1RDM

γM = (1− ω)γN + ωγN+1, ω = M −N

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 47: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Fundamental gap

Fundamental gap: related to the behavior of total energy forfractional total number of particles

The state for M particles, N < M < N + 1, is defined as anensemble. For the 1RDM

γM = (1− ω)γN + ωγN+1, ω = M −N

The domain of γ that can be written as ensembles is identicalto those satisfying:

i

ni = M, 0 ≤ ni ≤ 1

We can find the optimal γM by minimizing E under theabove condition.

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 48: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Fundamental gap

F = Etot−µ(M)

∞∑

j=1

nj −M

−∞∑

j,k=1

ǫjk

(∫

d3rϕ∗j(r)ϕk(r)− δjk

)

µ is the chemical potential, dE/dM .12

In the exact theory, µ(M) is discontinuous and the gap equalsits discontinuity

E

N−1 N N+1 M MN

µ

12Europhys. Lett. 77, 67003 (2007)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 49: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Results for LiH

3.6 3.8 4 4.2 4.4 4.6Number of particles

-0.4

-0.3

-0.2

-0.1

0

µ[H

a] Müller

The discontinuity of µ at N = 4 electrons for LiH13

13Europhys. Lett., 77, 67003 (2007)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 50: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Results for LiH

3.6 3.8 4 4.2 4.4 4.6Number of particles

-0.4

-0.3

-0.2

-0.1

0

µ[H

a] Müller

GU

The discontinuity of µ at N = 4 electrons for LiH13

13Europhys. Lett., 77, 67003 (2007)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 51: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Results for LiH

3.6 3.8 4 4.2 4.4 4.6Number of particles

-0.4

-0.3

-0.2

-0.1

0

µ[H

a] Müller

GU

BBC1

BBC2

BBC3

The discontinuity of µ at N = 4 electrons for LiH13

13Europhys. Lett., 77, 67003 (2007)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 52: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Results for LiH

3.6 3.8 4 4.2 4.4 4.6Number of particles

-0.4

-0.3

-0.2

-0.1

0

µ[H

a] Müller

GU

BBC1

BBC2

BBC3

BBC3 without SI

The discontinuity of µ at N = 4 electrons for LiH13

13Europhys. Lett., 77, 67003 (2007)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 53: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Results for LiH

3.6 3.8 4 4.2 4.4 4.6M

-0.4

-0.3

-0.2

-0.1

0

µ (

Ha) GU

Müller

BBC1

BBC2

BBC3

BBC3 without SI

PNOF

The discontinuity of µ at N = 4 electrons for LiH13

13Europhys. Lett., 77, 67003 (2007)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 54: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Fundamental gap

System RDMFT RDMFT Other Experimentµ(M) step I −A theoretical

Li 0.177 0.202 0.175 0.175Na 0.175 0.198 0.169 0.169F 0.538 0.549 0.514LiH 0.269, 0.293 0.271 0.286 0.271

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 55: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Application to solids

RDMFT is implemented in the Elk code.

Very promising results for fundamental gaps ofsemiconductors/insulators.

Strongly correlated materials - Transition metal oxides.

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 56: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Why functionals fail for H2 dissociation?

1 2 3 4

H-H distance (Å)

-1.1

-1

-0.9

Eto

t (H

a)

CIMüller GUBBC3PNOF0α=0.578α=0.525

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 57: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Unitary Transformations of degenerate φi

Explicit functionals of {ni}, {φi}:

E[{ni}, {φi}] ?= E[γ]

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 58: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Unitary Transformations of degenerate φi

Explicit functionals of {ni}, {φi}:

E[{ni}, {φi}] ?= E[γ]

Not necessarily if there are degeneracies in ni’s:γ is invariant under transformations in the subspaces ofdegeneracies, but not E

γ −→ −→ {ni}, {φi} −→ E−→ {ni}, {φi}′ −→ E′

True functionals of γ: Invariant under unitary transformations(Muller, power).

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 59: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Unitary Transformations of degenerate φi

Explicit functionals of {ni}, {φi}:

E[{ni}, {φi}] ?= E[γ]

Not necessarily if there are degeneracies in ni’s:γ is invariant under transformations in the subspaces ofdegeneracies, but not E

γ −→ −→ {ni}, {φi} −→ E−→ {ni}, {φi}′ −→ E′

True functionals of γ: Invariant under unitary transformations(Muller, power).For not invariant functionals we can define

E[γ] = min{φi}→γ

{E[{ni}, {φi}]}

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 60: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Unitary Transformations of degenerate φi

Two degenerate orbitals φLj (r), φ

Rj (r) located far apart

D

L R

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 61: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Unitary Transformations of degenerate φi

Two degenerate orbitals φLj (r), φ

Rj (r) located far apart

D

L R

Delocalization Unitary Transformation (DUT):

φLj (r) =

1− ξj φLj (r) +

ξj φRj (r) ,

φRj (r) = −

ξj φLj (r) +

1− ξj φRj (r) ,

where 0 ≤ ξj ≤ 1/2 is the delocalization parameter:⋆ ξj = 0: Localized natural orbitals.⋆ ξj = 1/2: Fully delocalized natural orbitals.

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 62: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Unitary Transformations of degenerate φi

D

L R

Size consistency: EL+R = EL + ER

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 63: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Unitary Transformations of degenerate φi

D

L R

Size consistency: EL+R = EL + ER

Three different cases related to EL+R = EL+R(ξ):

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 64: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Unitary Transformations of degenerate φi

D

L R

Size consistency: EL+R = EL + ER

Three different cases related to EL+R = EL+R(ξ):1 Functionals invariant under DUT, EL+R(ξ) = constant:

(Power, Muller)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 65: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Unitary Transformations of degenerate φi

D

L R

Size consistency: EL+R = EL + ER

Three different cases related to EL+R = EL+R(ξ):1 Functionals invariant under DUT, EL+R(ξ) = constant:

(Power, Muller)2 Functional not invariant, EL+R(ξ) increasing function of ξ:

localization favored (ML, BBC, AC3)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 66: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Unitary Transformations of degenerate φi

D

L R

Size consistency: EL+R = EL + ER

Three different cases related to EL+R = EL+R(ξ):1 Functionals invariant under DUT, EL+R(ξ) = constant:

(Power, Muller)2 Functional not invariant, EL+R(ξ) increasing function of ξ:

localization favored (ML, BBC, AC3)3 Functional not invariant, EL+R(ξ) decreasing function of ξ:

delocalization favored (GU, PNOF)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 67: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Unitary Transformations of degenerate φi

D

L R

Size consistency: EL+R = EL + ER

Three different cases related to EL+R = EL+R(ξ):1 Functionals invariant under DUT, EL+R(ξ) = constant:

(Power, Muller)2 Functional not invariant, EL+R(ξ) increasing function of ξ:

localization favored (ML, BBC, AC3)3 Functional not invariant, EL+R(ξ) decreasing function of ξ:

delocalization favored (GU, PNOF)

Cases 1,2: size consistent;Case 3: size inconsistent

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 68: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Unitary Transformations of degenerate φi

Functional He Ne

−Ecor (Ha) ∆ (%) −Ecor (Ha) ∆ (%)

Muller 0.0481 0.0 0.3848 0.0GU 0.0333 -17.3 0.2940 -12.57BBC1 0.0409 0.0 0.3203 0.0BBC2 0.0409 0.0 0.3052 0.0BBC3 0.0373 4.02 0.2715 0.495PNOF 0.0294 -16.8 0.2572 -12.01PNOF0 0.0294 -7.48 0.2534 -3.68ML 0.0418 0.0 0.3253 0.0BBC++ 0.0403 0.0 0.2645 0.0Power 0.0116 0.0 0.1127 0.0AC3 0.0323 0.0 0.2715 0.0

JCP, 132, 084105 (2010).

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 69: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Unitary Transformations of degenerate φi

-2.0 0.0 2.0r (Å)

-1.0

0.0

1.0

-2.0 0.0 2.0

-1.0

0.0

1.0ϕ (a

.u.)

L

L

L

L

...

...

...

...

...

...

...

-2.0

0.0

2.0

-2.0

0.0

2.0

B1

B2

A1

A2

GU

R

R

R

R...

-2.0 0.0 2.0r (Å)

-1.0

0.0

1.0

...

-2.0 0.0 2.0

L

-1.0

0.0

1.0ϕ (a

.u.) -2.0

0.0

2.0

-2.0

0.0

2.0

...

...

...

...

...

B1

B2

A1

A2

...

PNOF

L

L

L

R

R

R

R

...

-2.0 0.0 2.0r (Å)

-1.0

0.0

1.0

...

...

...

...

...

...

...

...-2.0 0.0 2.0

-1.0

0.0

1.0ϕ (a

.u.) -2.0

0.0

2.0

-2.0

0.0

2.0

L

AC3

L

L

L

R

R

R

R

B1

B2

A1

A2

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 70: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Spin constancy

Closed shell system breaks into two open shell fragments.

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 71: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Spin constancy

Closed shell system breaks into two open shell fragments.

We restrict to doublet states: Sz = ±1/2.

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 72: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Spin constancy

Closed shell system breaks into two open shell fragments.

We restrict to doublet states: Sz = ±1/2.Fractional spin state −1/2 < s < 1/2:

γs = (1− ω)γ1/2 + ωγ−1/2, with ω = 1/2 − s (1)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 73: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Spin constancy

Closed shell system breaks into two open shell fragments.

We restrict to doublet states: Sz = ±1/2.Fractional spin state −1/2 < s < 1/2:

γs = (1− ω)γ1/2 + ωγ−1/2, with ω = 1/2 − s (1)

Spin constancy: Doublet fragments should satisfy

E[γs] = E[γ1/2] = E[γ−1/2], ∀s (2)

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 74: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Spin constancy

Closed shell system breaks into two open shell fragments.

We restrict to doublet states: Sz = ±1/2.Fractional spin state −1/2 < s < 1/2:

γs = (1− ω)γ1/2 + ωγ−1/2, with ω = 1/2 − s (1)

Spin constancy: Doublet fragments should satisfy

E[γs] = E[γ1/2] = E[γ−1/2], ∀s (2)

The domain of the ensembles satisfying Eq. 1 is identical tothose satisfying

i

n↑i = N/2 + s,

i

n↓i = N/2− s, 0 ≤ n

↑(↓)i ≤ 1

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 75: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Spin constancy

i

n↑i = N/2 + s,

i

n↓i = N/2− s, 0 ≤ n

↑(↓)i ≤ 1

We can find optimal γs by minimizing the total energy underthe above conditions

Alternatively we can build the ensemble using the optimalγ1/2, γ−1/2.

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 76: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Spin constancy

i

n↑i = N/2 + s,

i

n↓i = N/2− s, 0 ≤ n

↑(↓)i ≤ 1

We can find optimal γs by minimizing the total energy underthe above conditions

Alternatively we can build the ensemble using the optimalγ1/2, γ−1/2.

Spin constancy error: 2(E(s = 0)− E(s = 1/2)

If the aforementioned size inconsistency is not present:Dissociation error = Spin constancy error

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 77: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Spin constancy

0 2 4 6 8d (Å)

-1.2-1.1-1.0-0.9-0.8-0.7

Eto

t (H

a)

Müller

-0.5 -0.25 0 0.25 0.5S

z

0 2 4 6 8d (Å)

-1.2-1.1-1.0-0.9-0.8-0.7

Eto

t (H

a)

BBC3

-0.4 -0.2 0 0.2 0.4S

z

0 2 4 6 8d (Å)

-1.2-1.1-1.0-0.9-0.8-0.7

Eto

t (H

a)

GU

-0.5 -0.25 0 0.25 0.5S

z

0 2 4 6 8d (Å)

-1.2-1.1-1.0-0.9-0.8-0.7

Eto

t (H

a)

ML

-0.5 -0.25 0 0.25 0.5S

z

0 2 4 6 8d (Å)

-1.2-1.1-1.0-0.9-0.8-0.7

Eto

t (H

a)

Power

-0.5 -0.25 0 0.25 0.5S

z

0 2 4 6 8d (Å)

-1.2-1.1-1.0-0.9-0.8-0.7

Eto

t (H

a)

AC3

-0.5 -0.25 0 0.25 0.5S

z

Left panels: H2 dissociation (black: RDMFT, red dotted: MRDCI).

Right pannels: E(s) (dotted: minimization, green: ensemble).

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 78: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Summary

RDMFT: a promising way to approximate electroniccorrelations

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 79: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Summary

RDMFT: a promising way to approximate electroniccorrelations

The goal: not to replace DFT but to give answers forproblems the DFT results are not satisfactory

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 80: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Summary

RDMFT: a promising way to approximate electroniccorrelations

The goal: not to replace DFT but to give answers forproblems the DFT results are not satisfactory

Muller type functionals are the most widely used functionalsin RDMFT at the moment

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 81: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Summary

RDMFT: a promising way to approximate electroniccorrelations

The goal: not to replace DFT but to give answers forproblems the DFT results are not satisfactory

Muller type functionals are the most widely used functionalsin RDMFT at the moment

H2 dissociation is well described

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 82: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Summary

RDMFT: a promising way to approximate electroniccorrelations

The goal: not to replace DFT but to give answers forproblems the DFT results are not satisfactory

Muller type functionals are the most widely used functionalsin RDMFT at the moment

H2 dissociation is well described

Size consistency and fractional spin behavior issues affectdissociation problem.

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 83: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Summary

RDMFT: a promising way to approximate electroniccorrelations

The goal: not to replace DFT but to give answers forproblems the DFT results are not satisfactory

Muller type functionals are the most widely used functionalsin RDMFT at the moment

H2 dissociation is well described

Size consistency and fractional spin behavior issues affectdissociation problem.

Successful application to total and atomization energies ofmolecules

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 84: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Summary

RDMFT: a promising way to approximate electroniccorrelations

The goal: not to replace DFT but to give answers forproblems the DFT results are not satisfactory

Muller type functionals are the most widely used functionalsin RDMFT at the moment

H2 dissociation is well described

Size consistency and fractional spin behavior issues affectdissociation problem.

Successful application to total and atomization energies ofmolecules

RDMFT functionals reproduce energy derivativediscontinuities: fundamental gap

Electronic Structure with the Elk Code, Lausanne, July 22, 2011

Page 85: Introduction to the Reduced Density Matrix Functional Theoryelk.sourceforge.net/CECAM/Lathiotakis-RDMFT.pdf · ConnectiontoHartreeFock RDMFT Functionals and Minimization Applications/properties

Connection to Hartree FockRDMFT

Functionals and MinimizationApplications/properties

Prototype systemsTotal and atomization energiesFundamental gapsize consistency/fractional spins

Summary

RDMFT: a promising way to approximate electroniccorrelations

The goal: not to replace DFT but to give answers forproblems the DFT results are not satisfactory

Muller type functionals are the most widely used functionalsin RDMFT at the moment

H2 dissociation is well described

Size consistency and fractional spin behavior issues affectdissociation problem.

Successful application to total and atomization energies ofmolecules

RDMFT functionals reproduce energy derivativediscontinuities: fundamental gap

Gaps for solids (including Mott insulators) are well reproduced

Electronic Structure with the Elk Code, Lausanne, July 22, 2011