Download Easy Spin-Symmetry-Adaptation. Exploiting the Clifford

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Quantum electrodynamics wikipedia , lookup

Perturbation theory wikipedia , lookup

EPR paradox wikipedia , lookup

Path integral formulation wikipedia , lookup

Orchestrated objective reduction wikipedia , lookup

Atomic theory wikipedia , lookup

Quantum teleportation wikipedia , lookup

Wave function wikipedia , lookup

Bell's theorem wikipedia , lookup

Density matrix wikipedia , lookup

Perturbation theory (quantum mechanics) wikipedia , lookup

Topological quantum field theory wikipedia , lookup

Erwin Schrödinger wikipedia , lookup

Molecular Hamiltonian wikipedia , lookup

Compact operator on Hilbert space wikipedia , lookup

Theoretical and experimental justification for the Schrödinger equation wikipedia , lookup

Renormalization group wikipedia , lookup

Quantum key distribution wikipedia , lookup

Hydrogen atom wikipedia , lookup

Dirac equation wikipedia , lookup

Quantum decoherence wikipedia , lookup

Molecular orbital wikipedia , lookup

Quantum state wikipedia , lookup

Lie algebra extension wikipedia , lookup

Hidden variable theory wikipedia , lookup

History of quantum field theory wikipedia , lookup

Atomic orbital wikipedia , lookup

Scalar field theory wikipedia , lookup

Tight binding wikipedia , lookup

Electron configuration wikipedia , lookup

Relativistic quantum mechanics wikipedia , lookup

Bra–ket notation wikipedia , lookup

Canonical quantization wikipedia , lookup

Spinor wikipedia , lookup

T-symmetry wikipedia , lookup

Coupled cluster wikipedia , lookup

Quantum group wikipedia , lookup

Symmetry in quantum mechanics wikipedia , lookup

Transcript
“Easy” spin symmetry adaptation
Exploitation of the Clifford Algebra Unitary Group in
Correlated Many-Electron Theories
U ( 2n )
U (n)
 Chemistry!
Nicholas D. K. Petraco
John Jay College and the Graduate Center
City University of New York
Outline
●
●
Quantum Chemistry and many-electron wave functions
Solving the Schrödinger equation including electron
correlation
●
Spin-adaptation and some algebra
●
Representation theory of the unitary group
●
The Clifford algebra unitary group
●
U(n) module in U(2n) form
●
Matrix element evaluation scheme
●
Acknowledgements
How a Quantum Chemist Looks at the World
●
An atom or molecule with many electrons, can be modelled with
at least one Slater determinant
Orbital
Energy
N
...
2
1
orbitals
–
Consist of atomic orbitals and “fitting” coefficients, molecular orbitals
(MOs)
–
Account for Pauli Exclusion Principle
–
Do not treat electron-electron repulsion properly!
To account for instantaneous electron correlation
properly we need to form linear combinations of
excited dets from a suitable reference
t u
t u
r s
r s
c d
c d
a b
a b
st
bc
HF
How a Quantum Chemist Looks at the World
•
Solve the time-independent Schrödinger equation for atomic
and molecular systems
o
Choose a finite one-electron basis set composed of 2n spinorbitals.
o
This lets us write the Hamiltonian in second quantized form as:
o
For an N-electron system expand exact wave function in
“configurations” from the totally antisymmetric tensor product
space:
Problems, Problems, Problems!
This simplistic approach presents a horrendous computational
problem!
●
The many electron basis scales as:
o
●
Three principle approaches to solve the Schrödinger equation
1.
Configuration Interaction (CI)
2.
Perturbation Theory (PT)
3.
Coupled Cluster Theory (CC)
o
o
o
●
CI can be formulated in the entire many-electron basis (FCI) or
truncated (CISD, CISDT, etc.)
PT and CC must be evaluated in a truncated many-electron basis
(MP2, MP3, etc. or CCSD, CCSDT, EOM-CCSD, etc.)
Despite basis truncation scaling is still rather terrible
Physical inconsistencies creep into the determinant
representation of the many-electron basis!
A Closer Look At Spin
●
●
To good approximation, the Hamiltonian for most chemical
systems is spin independent:

Thus:
and

The (tensor product) basis for our spin-independent Hamiltonian can be
written as a direct sum of invariant subspaces labeled by eigenvalues of
and
:
Slater determinants are a common and convenient basis used for
many-electron problems (i.e. basis for
).

Slater dets. are always eigenfunctions of
but not always of
!

This basis yields “spin-contaminated” solutions to the Schrödinger eq.

We loose the advantage of partial diagonalization of
adapted basis.
in a non-spin-
Unitary Transformation of Orbitals
●
V2n is invariant to unitary transformations:
Thus:
where
Therefore V2n carries the fundamental irrep,
●
of U(2n)!
Through the same analysis:
Vn carries the fundamental irrep of U(n)
S2 carries the fundamental irrep of U(2)
Now For Some Algebra
●
Let
Generators of: U(2n)
and with:
U(n)
Lie product of u(n):
U(2)
Methods to construct eigenstates of
●
●
Approach 1: Use SU(2) single particle spin coupling
techniques and perhaps graphical methods of spin-algebras
(Jucys diagrams):

No “democratic” way to couple odd numbers of particles.

Orbital to spin-diagram translation error prone diagram algebraic
translating

Automatic implementation???
Approach 2: Spin-adapt normal ordered excitation operators
using SN group algebra elements and apply Wick’s theorem to
the resulting matrix elements

Straight forward but algebra messy and auto-programs (tensorcontraction-engines hard to come by)
Approach 3: Tensor Irreps of U(n)
Gel’fand and Tsetlin formulated the canonical orthonormal basis
for unitary groups.
●
●
o
Gel’fand-Tsetlin basis adapted to the subgroup chain:
o
Irreps of U(k) characterized by highest weight vectors mk
o
Irreps are enumerated by all partitions of k
o
Partitions conveniently displayed as Young tableaux (frames)
for N-electron wave functions carries the totally
antisymmetric irrep of U(2n),
●
Gel’fand-Tsetlin (GT) basis of U(2n) is not an eigenbasis of
●
We consider the subgroup chain instead:
Tensor Irreps of U(n)
●
However we must consider the subduction:
●
Noting that
●
●

By the Littlewood-Richardson rules
is contained only once in
if the irreps in the direct product are conjugate.

Since
irrep.
is at most a two row irrep,
is at most a two column
Thus the only irreps that need to be considered in the subduction
are two column irreps of the (spatial) orbital unitary group U(n):
The GT basis of U(n) is an eigenbasis of
!
Clifford Algebra Unitary Group U(2n)
Consider the multispinor space
spanned by nth-rank tensors
of (single particle Fermionic) spin eigenvectors
●
carries the fundamental reps of SO(m), m = 2n or 2n+1 and
the unitary group U(2n)
●
carries tensor irreps of U(2n)
o
●
Using para-Fermi algebra, one can show only
contains the p-column irrep of U(n) at least once.
of U(2n)

For the many-electron problem take p = 2 and thus

All G[2a1b0c] of U(n) are contained in G[2] of U(2n), the dynamical group
of Quantum Chemistry!
Where the Clifford Algebra Part Comes in
and Other Trivia
●
The monomials are a basis for the Clifford algebra Cn:
●
The monomials can be used to construct generators of U(2n).
●
Since m is a vector of 0’s and 1’s then using maps:
we can go between the binary and base 10 numbers
with m = m2
●
Elements of a 2-column U(n)-module,
are linear
combinations of
two-box (Weyl) tableaux
Action of U(n) Generators on
●
●
Action of U(2n) generators on
in
Form
is trivial to evaluate:
Since any two-column tableau can be expressed as a linear
combination of two-box tableaux, expand U(n) generators in
terms of U(2n) generators:
weights of the ith component
in the pth monomial
hard to get sign
for specific E
copious!!!
Action of U(n) Generators on
in
Form
Given a G[2a1b0c] the highest weight state in two-box form
●
can be lowered to generate the rest of the module.
Get around long
expansion by “selecting out”
a non-zero result on the
to the right.
●
–
Consider
●
with
Examine if
e.g. If
●
contains
and
(lowering generator)
and/or
then
Generate r from i and j with p and/or q
e.g. If
contains
then:
that yield
contains
.
Action of U(n) Generators on
–
Sign algorithm for non vanishing
in
Form
:
●
Convert indices of
to digital form.
●
“Bit-wise" compare the two weight vectors,
●
Sign is computed as (-1)#open pairs
and
An open pair is a "degenerate" (1,1) pair of electrons above the first
(1,0) or (0,1) pair.
e.g. If
= (1 1 1 1 1 0 0 0 1 0 1 1 0 0 1)
= (1 1 1 1 1 1 0 0 1 0 0 0 1 0 1) then sign = -12 = 1
Basis Selection and Generation
●
Given a G[2a1b0c] lower from highest weight state
according to a number of schemes


Clifford-Weyl Basis

Generate by simple lowering action and thus spin-adapted

Equivalent to Rumer-Weyl “Valence Bond” basis

Can be stored in distinct row table and thus has directed graph representation

NOT ORTHAGONAL
Gel’fand-Tsetlin Basis

Generate by Schmidt orthagonalizing CW basis or lowering with NagelMoshinsky lowering operators

Can be stored in DRT

Orthagonal

Lacks certain unitary invariance properties required by open shell coupled
cluster theory
Basis Selection and Generation

Jezorski-Paldus-Jankowski Basis

Use U(n) tensor “excitation” operators adapted to the chain:


Resulting operators have a nice “hole-particle” interpretation

No need to generate basis explicitly

Orthagonal and spin-adapted

Has proper invariance properties required for open-shell Coupled Cluster


Symmetry adaptation accomplished with Wigner operators from SN group algebra
Operators in general contain “spectator” indices which lengthen
computations and result in even more “unnatural scaling”
Determinant Basis

Just use the two-box tableau

Easy to generate

Symmetric Tensor Product between two determinants

Orthagonal

NOT SPIN-ADAPTED
Formulation of Common Correlated
Quantum Chemical Methods
●
Equations of all these methods can be formulated in terms of
coefficients (known or unknown) multiplied by a matrix
elements sandwiching elements of U[u(n)]
●
Configure Interaction
●
Coupled Cluster Theory
●
Rayleigh-Schrödinger Perturbation Theory
Formulation of Common Correlated
Quantum Chemical Methods
One can use induction on the indices of each orbital subspace
●
–
core
–
active
–
virtual
to show that the multi-generator matrix elements are invariant
to the addition or subtraction of orbitals within each subspace
–
The invariant allows one to use numerical indices on these matrix
elements and generate closed form formulas
e.g. Consider the Coupled Cluster term:
Evaluate
and
To get a closed form matrix element we only need to evaluate
Only evaluate
and
Acknowledgments
●
Sultan, Joe and Bogdan
●
John Jay College and CUNY
●
My collaborators and colleagues:
o
Prof. Josef Paldus
o
Prof. Marcel Nooijen
o
Prof. Debashis Mukherjee
o
Sunita Ramsarran
o
Chris Barden
o
Prof. Jon Riensrta-Kiracofe