В теоретической физике хиральная аномалия — это аномальное несохранение хирального тока. В обыденных терминах это эквивалентно запечатанной коробке, которая содержала одинаковое количество левых и правых болтов , но при открытии обнаруживала больше левых, чем правых, или наоборот.
Такие события, как ожидается, запрещены в соответствии с классическими законами сохранения , но известно, что должны быть способы их нарушения, поскольку у нас есть доказательства несохранения заряда-четности («CP-нарушение»). Возможно, что другие дисбалансы были вызваны нарушением хирального закона такого рода. Многие физики подозревают, что тот факт, что наблюдаемая вселенная содержит больше материи, чем антиматерии, вызван хиральной аномалией. [1] Исследование законов нарушения хиральной симметрии является основным направлением исследований физики элементарных частиц в настоящее время. [ необходима ссылка ] [ когда? ]
Хиральная аномалия первоначально относилась к аномальной скорости распада нейтрального пиона , вычисленной в текущей алгебре хиральной модели . Эти расчеты предполагали, что распад пиона был подавлен, что явно противоречило экспериментальным результатам. Природа аномальных расчетов была впервые объяснена в 1969 году Стивеном Л. Адлером [2] и Джоном Стюартом Беллом и Романом Джекивом . [3] Теперь это называется аномалией Адлера–Белла–Джекивом квантовой электродинамики . [4] [5] Это симметрия классической электродинамики , которая нарушается квантовыми поправками.
Аномалия Адлера–Белла–Джеккива возникает следующим образом. Если рассматривать классическую (неквантованную) теорию электромагнетизма, связанную с безмассовыми фермионами (электрически заряженными спинорами Дирака, решающими уравнение Дирака ), то можно ожидать, что будет не один, а два сохраняющихся тока : обычный электрический ток ( векторный ток ), описываемый полем Дирака, а также аксиальный ток. При переходе от классической теории к квантовой теории можно вычислить квантовые поправки к этим токам; в первом порядке это однопетлевые диаграммы Фейнмана . Они, как известно, расходятся и требуют применения регуляризации для получения перенормированных амплитуд. Для того чтобы перенормировка была осмысленной, последовательной и согласованной, регуляризованные диаграммы должны подчиняться тем же симметриям, что и амплитуды с нулевой петлей (классические). Это касается векторного тока, но не аксиального тока: его нельзя регуляризировать таким образом, чтобы сохранить аксиальную симметрию. Аксиальная симметрия классической электродинамики нарушается квантовыми поправками. Формально тождества Уорда–Такахаши квантовой теории следуют из калибровочной симметрии электромагнитного поля; соответствующие тождества для аксиального тока нарушаются.
В то время, когда аномалия Адлера–Белла–Джеккива изучалась в физике, в дифференциальной геометрии происходили родственные разработки , которые, по-видимому, включали те же самые типы выражений. Они никоим образом не были связаны с квантовыми поправками любого рода, а скорее были исследованием глобальной структуры расслоений волокон и, в частности, операторов Дирака на спиновых структурах, имеющих формы кривизны, напоминающие формы электромагнитного тензора , как в четырех, так и в трех измерениях ( теория Черна–Саймонса ). После значительных раздумий стало ясно, что структура аномалии может быть описана с помощью расслоений с нетривиальной гомотопической группой , или, на физическом жаргоне, в терминах инстантонов .
Инстантоны являются формой топологического солитона ; они являются решением классической теории поля, обладая свойством, что они стабильны и не могут распадаться (например, в плоские волны ). Иными словами: традиционная теория поля построена на идее вакуума — грубо говоря, плоского пустого пространства. Классически это «тривиальное» решение; все поля исчезают. Однако можно также расположить (классические) поля таким образом, чтобы они имели нетривиальную глобальную конфигурацию. Эти нетривиальные конфигурации также являются кандидатами на вакуум, на пустое пространство; однако они больше не плоские или тривиальные; они содержат поворот, инстантон. Квантовая теория способна взаимодействовать с этими конфигурациями; когда она это делает, это проявляется как хиральная аномалия.
В математике нетривиальные конфигурации обнаруживаются при изучении операторов Дирака в их полностью обобщенной постановке, а именно, на римановых многообразиях в произвольных измерениях. Математические задачи включают в себя поиск и классификацию структур и конфигураций. Известные результаты включают теорему об индексе Атьи–Зингера для операторов Дирака. Грубо говоря, симметрии пространства-времени Минковского , лоренц-инвариантность , лапласианы , операторы Дирака и расслоения волокон U(1)xSU(2)xSU(3) можно рассматривать как частный случай гораздо более общей постановки в дифференциальной геометрии ; исследование различных возможностей объясняет большую часть волнения в таких теориях, как теория струн ; богатство возможностей объясняет определенное восприятие отсутствия прогресса.
Аномалия Адлера–Белла–Джеккива наблюдается экспериментально, в том смысле, что она описывает распад нейтрального пиона , и в частности, ширину распада нейтрального пиона на два фотона . Сам нейтральный пион был открыт в 1940-х годах; его скорость распада (ширина) была правильно оценена Дж. Штейнбергером в 1949 году. [6] Правильная форма аномальной дивергенции аксиального тока получена Швингером в 1951 году в двумерной модели электромагнетизма и безмассовых фермионов. [7] То, что распад нейтрального пиона подавляется в текущем алгебраическом анализе хиральной модели, было получено Сазерлендом и Велтманом в 1967 году. [8] [9] Анализ и разрешение этого аномального результата были предоставлены Адлером [2] и Беллом и Джекивом [3] в 1969 году. Общая структура аномалий обсуждается Бардином в 1969 году. [10]
Кварковая модель пиона указывает, что это связанное состояние кварка и антикварка. Однако квантовые числа , включая четность и угловой момент, принятые сохраняющимися, запрещают распад пиона, по крайней мере, в расчетах нулевой петли (просто говоря, амплитуды исчезают). Если предположить, что кварки массивны, а не безмассовы, то допускается распад, нарушающий хиральность ; однако он не имеет правильного размера. (Хиральность не является константой движения массивных спиноров; они будут менять направление по мере распространения, и поэтому масса сама по себе является членом, нарушающим хиральную симметрию. Вклад массы определяется результатом Сазерленда и Вельтмана; он называется «PCAC», частично сохраняющийся аксиальный ток .) Анализ Адлера–Белла–Джеккива, представленный в 1969 году (а также более ранние формы Штейнбергера и Швингера), действительно дает правильную ширину распада для нейтрального пиона.
Помимо объяснения распада пиона, он играет вторую очень важную роль. Амплитуда одной петли включает фактор, который подсчитывает общее число лептонов, которые могут циркулировать в петле. Чтобы получить правильную ширину распада, необходимо иметь ровно три поколения кварков, а не четыре или больше. Таким образом, он играет важную роль в ограничении Стандартной модели . Он обеспечивает прямое физическое предсказание числа кварков, которые могут существовать в природе.
Современные исследования сосредоточены на подобных явлениях в различных условиях, включая нетривиальные топологические конфигурации электрослабой теории , то есть сфалероны . Другие приложения включают гипотетическое несохранение барионного числа в теориях Великого объединения и других теориях.
В некоторых теориях фермионов с киральной симметрией квантование может привести к нарушению этой (глобальной) киральной симметрии. В этом случае заряд, связанный с киральной симметрией, не сохраняется. Несохранение происходит в процессе туннелирования из одного вакуума в другой. Такой процесс называется инстантоном .
В случае симметрии, связанной с сохранением числа фермионных частиц , можно понимать создание таких частиц следующим образом. Определение частицы различно в двух вакуумных состояниях, между которыми происходит туннелирование; поэтому состояние без частиц в одном вакууме соответствует состоянию с некоторыми частицами в другом вакууме. В частности, существует море фермионов Дирака , и когда происходит такое туннелирование, оно заставляет энергетические уровни фермионов моря постепенно смещаться вверх для частиц и вниз для античастиц, или наоборот. Это означает, что частицы, которые когда-то принадлежали морю Дирака, становятся реальными (с положительной энергией) частицами, и происходит создание частиц.
Технически, в формулировке интеграла по траекториям аномальная симметрия является симметрией действия , но не меры μ и , следовательно, не производящего функционала.
квантованной теории ( ℏ — квант действия Планка, деленный на 2 π ). Мера состоит из части, зависящей от фермионного поля , и части, зависящей от его комплексно-сопряженного . Преобразования обеих частей при хиральной симметрии в общем случае не отменяют друг друга. Обратите внимание, что если — фермион Дирака , то хиральная симметрия может быть записана как , где — хиральная гамма-матрица, действующая на . Из формулы для также явно видно, что в классическом пределе , ℏ → 0, аномалии не вступают в игру, поскольку в этом пределе остаются релевантными только экстремумы .
Аномалия пропорциональна числу инстантонов калибровочного поля, с которым связаны фермионы. (Обратите внимание, что калибровочная симметрия всегда неаномальна и соблюдается в точности, как и требуется для согласованности теории.)
Киральная аномалия может быть точно рассчитана с помощью однопетлевых диаграмм Фейнмана , например, «треугольной диаграммы» Штейнбергера, способствующей распадам пионов , и . Амплитуда этого процесса может быть рассчитана непосредственно из изменения меры фермионных полей при киральном преобразовании.
Весс и Зумино разработали набор условий, определяющих, как должна вести себя функция распределения при калибровочных преобразованиях, называемый условием согласованности Весса–Зумино .
Фудзикава вывел эту аномалию, используя соответствие между функциональными детерминантами и функцией распределения , используя теорему Атьи–Зингера об индексе . См. метод Фудзикавы .
Стандартная модель электрослабых взаимодействий имеет все необходимые ингредиенты для успешного бариогенеза , хотя эти взаимодействия никогда не наблюдались [11] и могут быть недостаточными для объяснения общего числа барионов наблюдаемой Вселенной, если начальное число барионов Вселенной во время Большого взрыва равно нулю. Помимо нарушения сопряжения зарядов и нарушения CP (заряд+четность), нарушение барионного заряда проявляется через аномалию Адлера–Белла–Джеккива группы .
Барионы не сохраняются обычными электрослабыми взаимодействиями из-за квантовой хиральной аномалии. Классический электрослабый лагранжиан сохраняет барионный заряд. Кварки всегда входят в билинейные комбинации , так что кварк может исчезнуть только при столкновении с антикварком. Другими словами, классический барионный ток сохраняется:
Однако квантовые поправки, известные как сфалероны, разрушают этот закон сохранения : вместо нуля в правой части этого уравнения появляется неисчезающий квантовый член,
где C — числовая константа, обращающаяся в нуль при ℏ =0,
а напряженность калибровочного поля определяется выражением
Электрослабые сфалероны могут изменять барионное и/или лептонное число только на 3 или кратно 3 (столкновение трех барионов в три лептона/антилептона и наоборот).
Важным фактом является то, что аномальный ток несохранения пропорционален полной производной векторного оператора (она не обращается в нуль из-за инстантонных конфигураций калибровочного поля, которые являются чисто калибровочными на бесконечности), где аномальный ток равен
которая является двойственной по Ходжу формой Черна –Саймонса .
На языке дифференциальных форм любой самодвойственной форме кривизны мы можем приписать абелеву 4-форму . Теория Черна–Вейля показывает, что эта 4-форма локально , но не глобально точна, с потенциалом, заданным 3-формой Черна–Саймонса локально:
Опять же, это верно только для одной диаграммы и неверно для глобальной формы, если только число инстантонов не обращается в нуль.
Чтобы продолжить, мы присоединяем "точку на бесконечности" k к , чтобы получить , и используем конструкцию сцепления для построения диаграммы главных A-расслоений, с одной диаграммой в окрестности k и второй на . Утолщение вокруг k , где эти диаграммы пересекаются, тривиально, поэтому их пересечение по существу равно . Таким образом, инстантоны классифицируются третьей гомотопической группой , которая для является просто третьей 3-сферной группой .
Дивергенция тока барионного числа равна (без учета числовых констант)
и число инстантона равно