Permutationsoperator

En permutationsoperator, eller utbytesoperator, är en operator av central betydelse inom kvantmekaniken. Permutationsoperatorer verkar på flerpartikeltillstånd genom att byta två partiklars identiteter. Eftersom identiska partiklar är ourskiljbara enligt kvantmekaniken saknar en sådan operation fysikalisk mening; det permuterade tillståndet måste beskriva samma fysikaliska system som det ursprungliga tillståndet. De två tillståndens vågfunktioner kan därför skilja sig som mest genom en övergripande fasfaktor. Sådana system är permutationssymmetriska.

Alla flerpartikeltillstånd av identiska partiklar är permutationssymmetriska och är således egentillstånd till permutationsoperatorer. Permutationsoperatorer är involutiva och har därför endast egenvärdena  (bosoner) och  (fermioner). Permutationssymmetrin hos flerpartikeltillstånd har långtgående effekt, bland annat leder den till Pauliprincipen, Fermi–Dirac-statistik och Bose–Einstein-statistik.

Definition 
För ett flerpartikelsystem med  identiska partiklar definieras en permutationsoperator  som en operator som byter identitet på partiklarna  och  med koordinaterna  respektive . Om  betecknar vågfunktionen för flerpartikelsystemet så ges den permuterade vågfunktionen av . Eftersom partiklarna är identiska måste denna vågfunktion representera samma fysikaliska tillstånd som den ursprungliga vågfunktionen, det vill säga de kan högst skilja sig ifrån varandra med en övergripande fasfaktor :

Med andra ord måste en vågfunktion som representerar ett system av flera identiska partiklar vara ett egentillstånd till permutationsoperatorn med egenvärde . Eftersom permutationsoperatorn är involutiv, , gäller dessutom att

Detta medför att . För bosoner gäller att , medan för fermioner gäller att .

Tvåpartikelsystem 
För ett tvåpartikelsystem med två olika spinn-orbitaler  och  är det enklast tänkbara flerpartikeltillståndet en Hartreeprodukt:

Om permutationsoperatorn  verkar på denna vågfunktion så återfås . Hartreeprodukten är således inget egentillstånd till permutationsoperatorn vilket innebär att det inte är ett tillåtet flerpartikeltillstånd (inom Hartree-metoden används det dock som ett approximativt tillstånd).

Hartreeprodukten kan dock göras till ett egentillstånd till permutationsoperatorn genom att symmetrisera eller antisymmetrisera det. I det första fallet erhålls det bosoniska tillståndet

och i det andra fallet erhålls det fermioniska tillståndet

Notera att i det sistnämnda fallet så gäller  om , vilket leder till den så kallade Pauliprincipen för fermioner. Mer generellt kan bosoniska och fermioniska flerpartikeltillstånd konstrueras utifrån enpartikeltillstånd med hjälp av Slaterpermanent och Slaterdeterminanter.

Tidsutveckling 
Ett tillstånd som är symmetriskt eller antisymmetriskt under en permutationsoperator förblir också det över tiden. Om  betecknar tidsutvecklingsoperatorn så medför detta att

eftersom  måste vara ett egentillstånd till  med samma egenvärde . Det följer att  och  kommuterar för alla tider:

Om , där  är en infinitesimal tid, gäller att , vilket implicerar att även Hamiltonoperatorn måste kommutera med permutationsoperatorn:

Detta innebär att Hamiltonoperatorn måste vara symmetrisk under permutationer av identiska partiklars identiteter, det vill säga den får inte göra skillnad på partiklar som är identiska.

Se även 
 Slaterdeterminant

Referenser 
 

Kvantflerpartikelfysik