В физике решеточная калибровочная теория — это изучение калибровочных теорий в пространстве-времени , дискретизированном в решетку .
Калибровочные теории важны в физике элементарных частиц и включают в себя преобладающие теории элементарных частиц : квантовую электродинамику , квантовую хромодинамику (КХД) и Стандартную модель физики элементарных частиц . Непертурбативные вычисления калибровочной теории в непрерывном пространстве-времени формально включают оценку бесконечномерного интеграла по траектории , который является вычислительно неразрешимым. Работая над дискретным пространством-временем , интеграл по траектории становится конечномерным и может быть оценен с помощью методов стохастического моделирования, таких как метод Монте-Карло . Когда размер решетки берется бесконечно большим, а ее узлы бесконечно близкими друг к другу, восстанавливается континуальная калибровочная теория. [1]
В решеточной калибровочной теории пространство-время поворачивается по Вику в евклидово пространство и дискретизируется в решетку с узлами, разделенными расстоянием и соединенными связями. В наиболее часто рассматриваемых случаях, таких как решеточная КХД , фермионные поля определяются в узлах решетки (что приводит к удвоению фермионов ), в то время как калибровочные поля определяются на связях. То есть, элемент U компактной группы Ли G (не алгебры ) назначается каждому звену. Следовательно, для моделирования КХД с группой Ли SU(3) на каждом звене определяется унитарная матрица 3×3 . Звену назначается ориентация, причем обратный элемент соответствует той же связи с противоположной ориентацией. И каждому узлу дается значение в (цветной 3-вектор, пространство, на котором действует фундаментальное представление SU(3)), биспинор (4-спинор Дирака), вектор n f и переменная Грассмана .
Таким образом, композиция элементов SU(3) связей вдоль пути (т.е. упорядоченное умножение их матриц) приближается к упорядоченной по пути экспоненте (геометрическому интегралу), из которой можно вычислить значения цикла Вильсона для замкнутых путей.
Действие Янга–Миллса записывается на решетке с использованием петель Вильсона (названных в честь Кеннета Г. Вильсона ), так что предел формально воспроизводит исходное действие континуума. [1] При наличии точного неприводимого представления ρ группы G действие Янга–Миллса на решетке, известное как действие Вильсона , является суммой по всем узлам решетки (действительного компонента) следа по n связям e 1 , ..., en в петле Вильсона,
Здесь χ — это символ . Если ρ — это действительное (или псевдодействительное ) представление, то взятие действительного компонента излишне, поскольку даже если ориентация петли Вильсона меняется на противоположную, ее вклад в действие остается неизменным.
Существует множество возможных действий Уилсона, в зависимости от того, какие петли Уилсона используются в действии. Простейшее действие Уилсона использует только петлю Уилсона 1×1 и отличается от непрерывного действия «решеточными артефактами», пропорциональными малому шагу решетки . Используя более сложные петли Уилсона для построения «улучшенных действий», решеточные артефакты можно уменьшить до пропорциональных , что делает вычисления более точными.
Такие величины, как массы частиц, рассчитываются стохастически с использованием таких методов, как метод Монте-Карло . Конфигурации калибровочных полей генерируются с вероятностями, пропорциональными , где — действие решетки, а связано с шагом решетки . Интересующая величина рассчитывается для каждой конфигурации и усредняется. Расчеты часто повторяются при разных шагах решетки, так что результат можно экстраполировать на континуум, .
Такие вычисления часто чрезвычайно вычислительно интенсивны и могут потребовать использования самых больших доступных суперкомпьютеров . Чтобы уменьшить вычислительную нагрузку, можно использовать так называемое приближение quenched , в котором фермионные поля рассматриваются как нединамические «замороженные» переменные. Хотя это было обычным явлением в ранних расчетах решеточной КХД, «динамические» фермионы теперь являются стандартом. [3] Эти симуляции обычно используют алгоритмы, основанные на молекулярной динамике или алгоритмах микроканонического ансамбля . [4] [5]
Результаты вычислений решеточной КХД показывают, например, что в мезоне важны не только частицы (кварки и антикварки), но и « трубки потока » глюонных полей. [ необходима цитата ]
Решеточная калибровочная теория также важна для изучения квантовой тривиальности группой ренормализации реального пространства . [6] Наиболее важной информацией в потоке РГ являются так называемые неподвижные точки .
Возможные макроскопические состояния системы в больших масштабах задаются этим набором фиксированных точек. Если эти фиксированные точки соответствуют теории свободного поля, то говорят, что теория тривиальна или невзаимодействующая. Многочисленные фиксированные точки появляются при изучении теорий решеточного Хиггса, но природа квантовых теорий поля, связанных с ними, остается открытым вопросом. [7]
Тривиальность еще не доказана строго, но решеточные вычисления предоставили веские доказательства этого [ требуется ссылка ] . Этот факт важен, поскольку квантовая тривиальность может быть использована для ограничения или даже предсказания параметров, таких как масса бозона Хиггса . Решеточные вычисления были полезны в этом контексте. [8]
Первоначально решаемые двумерные решеточные калибровочные теории были введены в 1971 году как модели с интересными статистическими свойствами теоретиком Францем Вегнером , работавшим в области фазовых переходов . [9]
Когда в действии появляются только петли Вильсона 1×1, можно показать, что теория решеточной калибровки в точности дуальна моделям спиновой пены . [10]