Paulis sætning ( sætningen om spins forbindelse med statistik ) er en grundlæggende sætning inden for kvantefeltteori, der etablerer en forbindelse mellem klassiske felters transformationsegenskaber og metoderne til dets kvantisering. Først formuleret og bevist af Wolfgang Pauli i artiklen " Relationship between spin and statistics " modtaget den 19. august 1940 af redaktørerne af Physical Review [1] [2] . Sætningen om spins sammenhæng med statistik er en af de vigtigste konsekvenser af den særlige relativitetsteori [3] .
Formuleringen af Pauli-sætningen [4] :
Klassiske felter, der beskriver partikler med heltalsspin er Bose-Einstein kvantiseret , og klassiske felter, der beskriver partikler med halvt heltals spin, er Fermi-Dirac kvantiserede .
Faktisk betyder det, at fermioner , det vil sige partikler med et halvt heltals spin, er antisymmetriske, det vil sige, når to partikler "permuteres", skifter tilstanden af hele systemet fortegn, og partikler med et heltals spin ( bosoner ) ) er symmetriske.
For at bevise sætningen om sammenhængen mellem spin og statistik (Paulis sætninger) bruges to postulater af kvantefeltteori:
Kvantefeltteoriens lokalitet er vigtig for beviset for sætningen.
Paulis teorem blev bevist for det idealiserede tilfælde af frie klassiske felter [7] . For interagerende felter blev et udsagn svarende til Pauli-sætningen bevist inden for rammerne af den såkaldte aksiomatiske kvantefeltteori [8] [9] . Paulis sætning kan bevises ved hjælp af Weinbergs sætning om forbindelsen af felter med partikler [10] .
Fra Paulis sætning følger formen for permutationsrelationer mellem operatørerne for skabelse og udslettelse af partikler: bosoniske operatører skal forbindes af kommuteringsrelationer, fermion - antikommutation.
Fra Pauli-sætningen følger Pauli-udelukkelsesprincippet for ikke-relativistisk kvantemekanik om umuligheden af at finde to ikke-interagerende fermioner i samme kvantetilstand.