Теорема Паули (теорема о связи спина со статистикой) — фундаментальная теорема квантовой теории поля, устанавливающая связь трансформационных свойств классических полей и методов его квантования. Впервые сформулирована и доказана Вольфгангом Паули в статье «Связь между спином и статистикой», поступившей 19 августа 1940 года в редакцию Physical Review[1][2]. Теорема о связи спина со статистикой является одним из наиболее важных следствий специальной теории относительности[3].
Классические поля, описывающие частицы с целым спином, квантуются по Бозе — Эйнштейну, а классические поля, описывающие частицы с полуцелым спином, квантуются по Ферми — Дираку.
Фактически, это означает, что фермионы, то есть частицы с полуцелым спином, антисимметричны, то есть при «перестановке» двух частиц состояние всей системы меняет знак, а частицы с целым спином (бозоны) — симметричны.
Для доказательства теоремы о связи спина со статистикой (теоремы Паули) используются два постулата квантовой теории поля:
Теорема Паули была доказана для идеализированного случая свободных классических полей[7]. Для взаимодействующих полей утверждение аналогичное теореме Паули было доказано в рамках так называемой аксиоматической квантовой теории поля[8][9]. Теорема Паули может быть доказана с использованием теоремы Вайнберга о связи полей с частицами[10].
Из теоремы Паули вытекает вид перестановочных соотношений между операторами рождения и уничтожения частиц: бозонные операторы должны быть связаны отношениями коммутации, фермионные — антикоммутации.