Slaterdeterminant

En Slaterdeterminant är en typ av determinant inom kvantmekaniken som används för att konstruera fermioniska flerpartikeltillstånd utifrån enpartikeltillstånd. Slaterdeterminanten garanterar att flerpartikeltillstånden är antisymmetriska under permutation av de ingående partiklarnas identiteter. Slaterdeterminanterna av en ortonormal bas av enpartikeltillstånd utgör en bas för flerpartikeltillstånden och spänner således upp det så kallade Fockrummet.

Slaterdeterminanten är uppkallad efter den amerikanske fysikern John C. Slater, som introducerade begreppet 1929. Metoden att uttrycka ett flerpartikelsystems vågfunktion i termer av determinanter användes dock redan tre år tidigare av Werner Heisenberg och Paul Dirac oberoende av varandra.

Tvåpartikelsystem 
Låt  och  utgöra två ortonormala spinn-orbitaler med . Det enklast tänkbara tvåpartikeltillståndet  ges av en Hartreeprodukt av spinn-orbitalerna:

där  och  är den första respektive den andra partikelns koordinater. Ett sådant tillstånd är emellertid inte antisymmetriskt och kan därför inte beskriva ett system med fermioner. Ett antisymmetriskt tillstånd kan dock erhållas genom att antisymmetrisera Hartreeprodukten:

Detta tillstånd är antisymmetriskt eftersom . Notera att  implicerar , det vill säga de två partiklarna kan inte besitta samma enpartikeltillstånd, vilket leder till den så kallade Pauliprincipen.

Ett mer systematiskt sätt att uttrycka ett antisymmetriserat tillstånd är att använda en determinant av en matris vars element består av enpartikeltillstånd:

En sådan determinant kallas för Slaterdeterminant.

Givet en ortonormal bas  av enpartikeltillstånd kan en hel mängd av Slaterdeterminanter  erhållas med olika värden på  och . Dessa Slaterdeterminanter utgör i sin tur en bas för alla tvåpartikeltillstånd, det vill säga ett godtyckligt tvåpartikeltillstånd kan uttryckas som

där  är komplexa koefficienter.

-partikelsystem 
På samma sätt som för ett tvåpartikelsystem kan ett -partikeltillstånd erhållas med hjälp av en Slaterdeterminant:

där  betecknar den symmetriska gruppen av de  olika permutationerna  av de  koordinaterna  och där  betecknar permutationens signum.

Ett godtycklig -partikeltillstånd kan uttryckas som

där  är komplexa koefficienter.

Andrakvantisering 

Eftersom en Slaterdeterminant  per automatik är antisymmetrisk i alla dess koordinater är det överflödigt att specificera varje enskild koordinat. Istället räcker det med att enbart specificera vilka orbitaler  som är besatta. Detta leder naturligt till införandet av ockupationstalvektorer

där ockupationstalen  specificerar om den :te orbitalen är besatt eller inte. Införandet av ockupationstalvektorer utgör grunden för andrakvantiseringsformalismen.

Fockrum 

Slaterdeterminanterna av enpartikeltillstånden utgör en bas för de olika -partikeltillstånden. För ett system med varierande partikelantal kan således Slaterdeterminanter av olika antal enpartikeltillstånd användas för att skapa en bas för alla flerpartikeltillstånd. Rummet som spänns upp av alla dessa Slaterdeterminanter kallas för Fockrummet.

Slaterpermanent 
Slaterdeterminanter kan inte användas för att skapa bosoniska flerpartikeltillstånd eftersom de sistnämnda är symmetriska, och inte antisymmetriska, under permutation av de ingående partiklarnas identiteter. Däremot kan en analog metod, ibland kallad Slaterpermanent, användas där permanent av matriser med enpartikeltillstånd istället för determinanter används.

Se även 
 Kvantmekanik

Referenser 
 

Elektronstrukturteori
Kvantflerpartikelfysik