В физике калибровочных теорий фиксация калибровки (также называемая выбором калибровки ) обозначает математическую процедуру для работы с избыточными степенями свободы в полевых переменных. По определению, калибровочная теория представляет каждую физически отличную конфигурацию системы как класс эквивалентности подробных локальных полевых конфигураций. Любые две подробные конфигурации в одном и том же классе эквивалентности связаны определенным преобразованием, эквивалентным сдвигу вдоль нефизических осей в конфигурационном пространстве. Большинство количественных физических предсказаний калибровочной теории могут быть получены только при последовательном предписании для подавления или игнорирования этих нефизических степеней свободы.
Хотя нефизические оси в пространстве детальных конфигураций являются фундаментальным свойством физической модели, не существует специального набора направлений, «перпендикулярных» им. Следовательно, существует огромная свобода, связанная с получением «поперечного сечения», представляющего каждую физическую конфигурацию конкретной детальной конфигурацией (или даже их взвешенным распределением). Разумная фиксация калибровки может значительно упростить вычисления, но становится все сложнее по мере того, как физическая модель становится более реалистичной; ее применение к квантовой теории поля сопряжено с осложнениями, связанными с перенормировкой , особенно когда вычисления продолжаются до более высоких порядков . Исторически поиск логически последовательных и вычислительно поддающихся обработке процедур фиксации калибровки и попытки продемонстрировать их эквивалентность перед лицом ошеломляющего разнообразия технических трудностей были основным двигателем математической физики с конца девятнадцатого века до настоящего времени. [ необходима цитата ]
Архетипическая калибровочная теория — это формулировка Хевисайда – Гиббса электродинамики континуума в терминах электромагнитного четырехпотенциала , которая представлена здесь в пространственно-временной асимметричной нотации Хевисайда. Электрическое поле E и магнитное поле B уравнений Максвелла содержат только «физические» степени свободы, в том смысле, что каждая математическая степень свободы в конфигурации электромагнитного поля имеет отдельно измеряемое влияние на движения пробных зарядов поблизости. Эти переменные «напряженности поля» могут быть выражены в терминах электрического скалярного потенциала и магнитного векторного потенциала A с помощью соотношений:
Если преобразование
сделано, то B остается неизменным, так как (с тождеством )
Однако это преобразование изменяет E согласно
Если еще одно изменение
то E также остается прежним. Следовательно, поля E и B не изменятся, если взять любую функцию ψ ( r , t ) и одновременно преобразовать A и φ посредством преобразований ( 1 ) и ( 2 ).
Конкретный выбор скалярного и векторного потенциалов — это калибровка (точнее, калибровочный потенциал ), а скалярная функция ψ, используемая для изменения калибровки, называется калибровочной функцией . [ требуется ссылка ] Существование произвольного числа калибровочных функций ψ ( r , t ) соответствует калибровочной свободе U(1) этой теории. Фиксация калибровки может быть выполнена многими способами, некоторые из которых мы демонстрируем ниже.
Хотя классический электромагнетизм сейчас часто называют калибровочной теорией, изначально он не был задуман в этих терминах. Движение классического точечного заряда зависит только от напряженности электрического и магнитного полей в этой точке, и потенциалы можно рассматривать как простое математическое устройство для упрощения некоторых доказательств и вычислений. Только с появлением квантовой теории поля можно было сказать, что сами потенциалы являются частью физической конфигурации системы. Самым ранним следствием, которое было точно предсказано и экспериментально проверено, был эффект Ааронова-Бома , не имеющий классического аналога. Тем не менее, калибровочная свобода все еще верна в этих теориях. Например, эффект Ааронова-Бома зависит от линейного интеграла A по замкнутому контуру, и этот интеграл не изменяется
Фиксация калибровки в неабелевых калибровочных теориях, таких как теория Янга–Миллса и общая теория относительности , является довольно сложной темой; подробнее см. неоднозначность Грибова , призрак Фаддеева–Попова и расслоение фреймов .
В качестве иллюстрации фиксации калибровки можно посмотреть на цилиндрический стержень и попытаться определить, скручен ли он. Если стержень идеально цилиндрический, то круговая симметрия поперечного сечения делает невозможным определить, скручен он или нет. Однако, если бы вдоль длины стержня была проведена прямая линия, то можно было бы легко сказать, есть ли скручивание, посмотрев на состояние линии. Рисование линии — это фиксация калибровки . Проведение линии портит симметрию калибровки, т. е. круговую симметрию U(1) поперечного сечения в каждой точке стержня. Линия эквивалентна калибровочной функции ; она не обязательно должна быть прямой. Почти любая линия является допустимой фиксацией калибровки, т. е. существует большая свобода калибровки . Подводя итог, чтобы определить, скручен ли стержень, калибр должен быть известен. Физические величины, такие как энергия кручения, не зависят от калибровки, т. е. они калибровочно-инвариантны .
Кулоновская калибровка (также известная как поперечная калибровка ) используется в квантовой химии и физике конденсированного состояния и определяется условием калибровки (точнее, условием фиксации калибровки)
Это особенно полезно для «полуклассических» расчетов в квантовой механике, в которых векторный потенциал квантуется, а кулоновское взаимодействие — нет.
Калибровка Кулона имеет ряд свойств:
где ρ ( r , t ) — плотность электрического заряда, и (где r — любой радиус-вектор в пространстве, а r ′ — точка в распределении заряда или тока), действует на r и d 3 r — элемент объема в точке r .
Мгновенная природа этих потенциалов, на первый взгляд, кажется нарушением причинности , поскольку движения электрического заряда или магнитного поля появляются везде мгновенно как изменения потенциалов. Это оправдывается тем, что сами скалярные и векторные потенциалы не влияют на движения зарядов, а только на комбинации их производных, которые формируют напряженность электромагнитного поля. Хотя можно явно вычислить напряженности полей в кулоновской калибровке и показать, что изменения в них распространяются со скоростью света, гораздо проще заметить, что напряженности полей не меняются при калибровочных преобразованиях, и продемонстрировать причинность в явно лоренц-ковариантной калибровке Лоренца, описанной ниже.
Другое выражение для векторного потенциала, выраженное через запаздывающую во времени плотность электрического тока J ( r , t ) , было получено следующим образом: [2]
Калибровка Лоренца в единицах СИ определяется как: а в гауссовых единицах как:
Это можно переписать так: где — электромагнитный 4-потенциал , ∂ μ — 4-градиент [используя метрическую сигнатуру (+, −, −, −)].
Он уникален среди ограничительных калибровок, сохраняя явную лоренц-инвариантность . Однако следует отметить, что этот калибр был первоначально назван в честь датского физика Людвига Лоренца , а не Хендрика Лоренца ; его часто неправильно пишут «калибр Лоренца». (Ни один из них не был первым, кто использовал его в вычислениях; он был введен в 1888 году Джорджем Фрэнсисом Фицджеральдом .)
Калибровка Лоренца приводит к следующим неоднородным волновым уравнениям для потенциалов:
Из этих уравнений видно, что при отсутствии тока и заряда решения представляют собой потенциалы, распространяющиеся со скоростью света.
Калибровка Лоренца неполна в некотором смысле: остается подпространство калибровочных преобразований, которое также может сохранять ограничение. Эти оставшиеся степени свободы соответствуют калибровочным функциям, которые удовлетворяют волновому уравнению
Эти оставшиеся калибровочные степени свободы распространяются со скоростью света. Чтобы получить полностью фиксированную калибровку, необходимо добавить граничные условия вдоль светового конуса экспериментальной области.
Уравнения Максвелла в калибровке Лоренца упрощаются до вида , где — четырехток .
Два решения этих уравнений для одной и той же конфигурации тока отличаются решением уравнения вакуумной волны В этой форме ясно, что компоненты потенциала по отдельности удовлетворяют уравнению Клейна–Гордона , и, следовательно, что калибровочное условие Лоренца допускает поперечно, продольно и «временноподобные» поляризованные волны в четырехпотенциале. Поперечные поляризации соответствуют классическому излучению, т.е. поперечно поляризованным волнам в напряженности поля. Чтобы подавить «нефизические» продольные и времениподобные состояния поляризации, которые не наблюдаются в экспериментах на классических масштабах расстояний, необходимо также использовать вспомогательные ограничения, известные как тождества Уорда . Классически эти тождества эквивалентны уравнению непрерывности
Многие различия между классической и квантовой электродинамикой можно объяснить той ролью, которую продольные и времениподобные поляризации играют во взаимодействиях между заряженными частицами на микроскопических расстояниях.
Калибровки R ξ являются обобщением калибровки Лоренца, применимой к теориям, выраженным в терминах принципа действия с плотностью лагранжиана . Вместо того, чтобы фиксировать калибровку, ограничивая калибровочное поле априори , с помощью вспомогательного уравнения, добавляется член, нарушающий калибровку, к «физическому» (калибровочно-инвариантному) лагранжиану
Выбор параметра ξ определяет выбор калибровки. Калибровка Ландау R ξ классически эквивалентна калибровке Лоренца: она получается в пределе ξ → 0, но откладывает принятие этого предела до тех пор, пока теория не будет квантована. Она повышает строгость некоторых доказательств существования и эквивалентности. Большинство вычислений квантовой теории поля проще всего выполнять в калибровке Фейнмана–т Хоофта , в которой ξ = 1 ; некоторые из них более поддаются обработке в других калибровках R ξ , таких как калибровка Йенни ξ = 3 .
Эквивалентная формулировка калибровки R ξ использует вспомогательное поле , скалярное поле B без независимой динамики:
Вспомогательное поле, иногда называемое полем Наканиши–Лаутрупа, можно устранить, «дополнив квадрат» для получения предыдущей формы. С математической точки зрения вспомогательное поле является разновидностью бозона Голдстоуна , и его использование имеет преимущества при идентификации асимптотических состояний теории, и особенно при обобщении за пределами КЭД.
Исторически использование калибровок R ξ было значительным техническим достижением в расширении вычислений квантовой электродинамики за пределы однопетлевого порядка . В дополнение к сохранению явной лоренц-инвариантности , предписание R ξ нарушает симметрию при локальных калибровочных преобразованиях , сохраняя при этом отношение функциональных мер любых двух физически различных калибровочных конфигураций . Это допускает замену переменных , при которой бесконечно малые возмущения вдоль «физических» направлений в конфигурационном пространстве полностью отделены от возмущений вдоль «нефизических» направлений, позволяя последним быть поглощенными физически бессмысленной нормализацией функционального интеграла . Когда ξ конечно, каждая физическая конфигурация (орбита группы калибровочных преобразований) представлена не одним решением уравнения связи, а гауссовым распределением, центрированным на экстремуме члена нарушения калибровки. В терминах правил Фейнмана теории с фиксированной калибровкой это выглядит как вклад в пропагатор фотона для внутренних линий от виртуальных фотонов нефизической поляризации .
Фотонный пропагатор, который является мультипликативным множителем, соответствующим внутреннему фотону в расширении диаграммы Фейнмана расчета КЭД, содержит множитель g μν, соответствующий метрике Минковского . Разложение этого множителя в виде суммы по поляризациям фотонов включает члены, содержащие все четыре возможные поляризации. Поперечно поляризованное излучение может быть выражено математически как сумма по линейно или циркулярно поляризованному базису. Аналогично можно объединить продольную и времениподобную калибровочную поляризации, чтобы получить «прямую» и «обратную» поляризации; это форма координат светового конуса , в которой метрика недиагональна. Разложение фактора g μν в терминах циркулярно поляризованных (спин ±1) и координат светового конуса называется суммой спина. Суммы спина могут быть очень полезны как для упрощения выражений, так и для получения физического понимания экспериментальных эффектов, связанных с различными членами в теоретическом расчете.
Ричард Фейнман использовал аргументы примерно в этом направлении в основном для обоснования вычислительных процедур, которые давали последовательные, конечные, высокоточные результаты для важных наблюдаемых параметров, таких как аномальный магнитный момент электрона. Хотя его аргументы иногда не имели математической строгости даже по стандартам физиков и упускали из виду такие детали, как вывод тождеств Уорда-Такахаши квантовой теории, его вычисления работали, и Фримен Дайсон вскоре продемонстрировал, что его метод был по существу эквивалентен методам Джулиана Швингера и Син-Итиро Томонаги , с которым Фейнман разделил Нобелевскую премию по физике 1965 года .
Прямое и обратное поляризованное излучение можно опустить в асимптотических состояниях квантовой теории поля (см. тождество Уорда–Такахаши ). По этой причине, а также потому, что их появление в спиновых суммах можно рассматривать как простой математический прием в КЭД (подобно электромагнитному четырехпотенциалу в классической электродинамике), их часто называют «нефизическими». Но в отличие от процедур фиксации калибровки на основе ограничений, описанных выше, калибровка R ξ хорошо обобщается на неабелевы калибровочные группы , такие как SU(3) КХД . Связи между физическими и нефизическими осями возмущений не исчезают полностью при соответствующей замене переменных; для получения правильных результатов необходимо учитывать нетривиальный якобиан вложения осей свободы калибровки в пространство детальных конфигураций. Это приводит к явному появлению прямых и обратных поляризованных калибровочных бозонов в диаграммах Фейнмана, наряду с духами Фаддеева–Попова , которые еще более «нефизичны», поскольку нарушают теорему о спине–статистике . Связь между этими сущностями и причины, по которым они не проявляются как частицы в квантово-механическом смысле, становятся более очевидными в BRST-формализме квантования.
В любой неабелевой калибровочной теории любая максимальная абелева калибровка является неполной калибровкой, которая фиксирует калибровочную свободу вне максимальной абелевой подгруппы. Примерами являются
Это регулярно применяется в высших алгебрах (группах в алгебрах), например, в алгебре Клиффорда, и так же регулярно.
В литературе описаны и другие различные приборы, которые могут быть полезны в определенных ситуациях. [2]
Калибровка Вейля (также известная как гамильтонова или временная калибровка ) — это неполная калибровка, полученная выбором
Он назван в честь Германа Вейля . Он устраняет призрак отрицательной нормы , не имеет явной лоренцевой инвариантности и требует продольных фотонов и ограничения на состояния. [5]
Условие калибровки многополюсного датчика (также известного как линейный датчик , точечный датчик или датчик Пуанкаре (названный в честь Анри Пуанкаре )) следующее:
Это еще один калибр, в котором потенциалы могут быть выражены простым способом через мгновенные поля.
Условие калибровки Фока–Швингера (названной в честь Владимира Фока и Юлиана Швингера ; иногда также называемой релятивистской калибровкой Пуанкаре ) имеет вид: где x μ — позиционный четырехвектор .
Нелинейное калибровочное условие Дирака (названное в честь Поля Дирака ) имеет вид: