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.
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 .
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.
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.
- Konishi, Kenichi; Giampiero Paffuti (2009). Quantum Mechanics: A New Introduction. Oxford University Press. ISBN 9780199560271