Теорема о спиновой статистике доказывает, что наблюдаемая связь между собственным спином частицы ( угловым моментом, не обусловленным орбитальным движением) и статистикой квантовых частиц совокупностей таких частиц является следствием математики квантовой механики . В единицах приведенной постоянной Планка ħ все частицы , движущиеся в 3 измерениях , имеют либо целый спин и подчиняются статистике Бозе-Эйнштейна , либо полуцелый спин и подчиняются статистике Ферми-Дирака . [1] [2]
Все известные частицы подчиняются либо статистике Ферми–Дирака, либо статистике Бозе–Эйнштейна. Собственный спин частицы всегда предсказывает статистику совокупности таких частиц и наоборот: [3]
Теорема спиновой статистики показывает, что математическая логика квантовой механики предсказывает или объясняет этот физический результат. [4]
Статистика неразличимых частиц является одним из самых фундаментальных физических эффектов. Принцип исключения Паули , согласно которому каждое занятое квантовое состояние содержит не более одного фермиона, управляет образованием материи. Основные строительные блоки материи, такие как протоны , нейтроны и электроны, являются фермионами. Наоборот, частицы, такие как фотон , которые являются посредниками сил между частицами материи, являются бозонами. [ требуется цитата ] Теорема о спине и статистике пытается объяснить происхождение этой фундаментальной дихотомии. [5] : 4
Наивно, спин, свойство углового момента, присущее частице, не было бы связано с фундаментальными свойствами совокупности таких частиц. Однако это неразличимые частицы: любое физическое предсказание, касающееся нескольких неразличимых частиц, не должно меняться при обмене частицами.
В квантовой системе физическое состояние описывается вектором состояния . Пара различных векторов состояния физически эквивалентны, если они отличаются только общим фазовым множителем, игнорируя другие взаимодействия. Пара неразличимых частиц, таких как эта, имеет только одно состояние. Это означает, что если положения частиц меняются местами (т. е. они подвергаются перестановке), это не определяет новое физическое состояние, а скорее состояние, соответствующее исходному физическому состоянию. Фактически, невозможно сказать, какая частица находится в каком положении.
В то время как физическое состояние не меняется при обмене положениями частиц, вектор состояния может изменить знак в результате обмена. Поскольку это изменение знака является всего лишь общей фазой, это не влияет на физическое состояние.
Важнейшим компонентом доказательства связи спин-статистика является относительность, то есть то, что физические законы не меняются при преобразованиях Лоренца . Операторы поля преобразуются при преобразованиях Лоренца в соответствии со спином частицы, которую они создают, по определению.
Кроме того, предположение (известное как микропричинность), что пространственно-подобные разделенные поля либо коммутируют, либо антикоммутируют, может быть сделано только для релятивистских теорий с направлением времени. В противном случае понятие пространственноподобности бессмысленно. Однако доказательство включает рассмотрение евклидовой версии пространства-времени, в которой направление времени рассматривается как пространственное, как будет сейчас объяснено.
Преобразования Лоренца включают в себя 3-мерные вращения и усиления . Усиление переходит в систему отсчета с другой скоростью и математически похоже на вращение во времени. Аналитическое продолжение корреляционных функций квантовой теории поля позволяет сделать временную координату мнимой , и тогда усиления становятся вращениями. Новое «пространство-время» имеет только пространственные направления и называется евклидовым .
Бозоны — это частицы, волновая функция которых симметрична при таком обмене или перестановке, поэтому если мы поменяем местами частицы, волновая функция не изменится. Фермионы — это частицы, волновая функция которых антисимметрична, поэтому при таком обмене волновая функция получает знак минус, что означает, что амплитуда для двух идентичных фермионов, занимающих одно и то же состояние, должна быть равна нулю. Это принцип исключения Паули : два идентичных фермиона не могут занимать одно и то же состояние. Это правило не выполняется для бозонов.
В квантовой теории поля состояние или волновая функция описываются полевыми операторами, действующими на некотором базовом состоянии, называемом вакуумом . Для того чтобы операторы могли проецировать симметричный или антисимметричный компонент создающей волновой функции, они должны иметь соответствующий закон коммутации. Оператор
(с оператором и числовой функцией с комплексными значениями) создает двухчастичное состояние с волновой функцией , и в зависимости от коммутационных свойств полей имеют значение либо только антисимметричные части, либо только симметричные части.
Предположим, что и оба оператора имеют место одновременно; в более общем случае они могут иметь пространственное разделение, как объясняется ниже.
Если поля коммутируют , это означает, что выполняется следующее:
тогда только симметричная часть вносит вклад, так что , и поле будет создавать бозонные частицы.
С другой стороны, если поля антикоммутируют , то это означает, что они обладают свойством
тогда вносит вклад только антисимметричная часть , так что , и частицы будут фермионными.
Элементарное объяснение теоремы о спиновой статистике не может быть дано, несмотря на то, что теорема так проста в формулировке. В лекциях Фейнмана по физике Ричард Фейнман сказал, что это, вероятно, означает, что у нас нет полного понимания фундаментального принципа, о котором идет речь. [3]
Было опубликовано множество примечательных доказательств с различными ограничениями и предположениями. Все они являются «отрицательными доказательствами», то есть они устанавливают, что интегральные спиновые поля не могут привести к статистике фермионов, в то время как полуцелые спиновые поля не могут привести к статистике бозонов. [5] : 487
Доказательства, которые избегают использования любого релятивистского механизма квантовой теории поля, имеют дефекты. Многие такие доказательства опираются на утверждение, что где оператор переставляет координаты. Однако значение в левой части представляет вероятность частицы 1 при , частицы 2 при и т. д., и, таким образом, является квантово-механически недействительным для неразличимых частиц. [6] : 567
Первое доказательство было сформулировано [7] в 1939 году Маркусом Фирцем , учеником Вольфганга Паули , и было переработано Паули более систематическим образом в следующем году. [8] В более позднем резюме Паули перечислил три постулата в рамках релятивистской квантовой теории поля, требуемые для этих версий теоремы:
Их анализ не учитывал взаимодействия частиц, отличные от коммутации/антикоммутации состояния. [9] [5] : 374
В 1949 году Ричард Фейнман дал совершенно другой тип доказательства [10], основанный на поляризации вакуума , который позже подвергся критике со стороны Паули. [9] [5] : 368 Паули показал, что доказательство Фейнмана явно опиралось на первые два использованных им постулата и неявно использовало третий, сначала допуская отрицательные вероятности, но затем отвергая результаты теории поля с вероятностями больше единицы.
Доказательство Джулиана Швингера в 1950 году, основанное на инвариантности относительно обращения времени [11], последовало за доказательством Фредерика Белинфанте в 1940 году, основанным на инвариантности относительно зарядового сопряжения, что привело к связи с теоремой CPT, более полно разработанной Паули в 1955 году. [12] Эти доказательства были особенно трудны для понимания. [5] : 393
Работа Артура Уайтмана над математическими основами квантовой механики привела к теореме, которая утверждала, что математическое ожидание произведения двух полей, , может быть аналитически продолжено на все разделения . [5] : 425 (Первые два постулата доказательств эпохи Паули включают вакуумное состояние и поля в отдельных местах.) Новый результат позволил Герхарту Людерсу и Бруно Зумино [13] и Питеру Бергойну получить более строгие доказательства теорем о спиновой статистике. [5] : 393 В 1957 году Рес Йост вывел теорему CPT, используя теорему о спиновой статистике, а доказательство Бергойном теоремы о спиновой статистике в 1958 году не требовало никаких ограничений ни на взаимодействия, ни на форму теорий поля. Эти результаты относятся к наиболее строгим практическим теоремам. [14] : 529
Несмотря на эти успехи, Фейнман в своей студенческой лекции 1963 года, где обсуждалась связь спина и статистики, сказал: «Мы приносим извинения за то, что не можем дать вам элементарного объяснения». [3] Нойншвандер повторил это в 1994 году, спросив, есть ли какой-либо прогресс, [15] что побудило его к появлению дополнительных доказательств и книг. [5] Популяризация Нойншвандером связи спина и статистики в 2013 году показала, что простые объяснения остаются неуловимыми. [16]
В 1987 году Гринберг и Мохапарра предположили, что теорема о спиновой статистике может иметь небольшие нарушения. [17] [18] С помощью очень точных вычислений для состояний атома He, которые нарушают принцип исключения Паули , [19] Дейламиан, Гилласпи и Келлехер [20] искали состояние 1s2s 1 S 0 атома He, используя атомно-лучевой спектрометр. Поиск оказался безуспешным с верхним пределом 5× 10−6 .
Группа Лоренца не имеет нетривиальных унитарных представлений конечной размерности. Таким образом, кажется невозможным построить гильбертово пространство, в котором все состояния имеют конечный, ненулевой спин и положительную, лоренц-инвариантную норму. Эта проблема преодолевается разными способами в зависимости от спина-статистики частиц.
Для состояния целого спина состояния с отрицательной нормой (известные как «нефизическая поляризация») устанавливаются равными нулю, что делает необходимым использование калибровочной симметрии .
Для состояния полуцелого спина аргумент можно обойти, имея фермионную статистику. [21]
В 1982 году физик Фрэнк Вильчек опубликовал исследовательскую работу о возможностях возможных частиц с дробным спином, которые он назвал анионами из-за их способности принимать «любой» спин. [22] Он писал, что теоретически предсказывалось их возникновение в низкоразмерных системах, где движение ограничено менее чем тремя пространственными измерениями. Вильчек описал их статистику спина как «непрерывно интерполирующую между обычными случаями бозонов и фермионов». [22] Эффект стал основой для понимания дробного квантового эффекта Холла . [23] [24]