Петлевая квантовая гравитация - Loop quantum gravity

Теория квантовая гравитация, петля квантовой гравитации (LQG) попытки слиться квантовая механика и общая теория относительности, включая вопрос Стандартная модель в рамки, установленные для случая чистой квантовой гравитации. В качестве кандидата на квантовую гравитацию LQG конкурирует с теория струн.[1]

Согласно с Альберт Эйнштейн, гравитация - это не сила, это свойство пространство-время сам. До сих пор все попытки рассматривать гравитацию как еще одну квантовую силу, равную по важности электромагнетизму и ядерным силам, потерпели неудачу, и петлевая квантовая гравитация - это попытка разработать квантовую теорию гравитации, основанную непосредственно на геометрической формулировке Эйнштейна, а не на трактовке гравитации. как сила. Для этого в теории LQG пространство и время квантованный аналогично тому, как такие величины, как энергия и импульс квантуются в квантовая механика. Теория дает физическую картину пространства-времени, где пространство и время гранулярны и дискретны непосредственно из-за квантования, как и фотоны в квантовой теории электромагнетизм и дискретный уровни энергии из атомы. Смысл квантованного пространства состоит в том, что существует минимальное расстояние.

LQG постулирует, что структура Космос состоит из конечных петель, вплетенных в очень тонкую ткань или сеть. Эти петлевые сети называются спиновые сети. Эволюция спиновой сети, или отжимная пена, имеет шкалу порядка Планковская длина, примерно 10−35 метров, а меньшие масштабы бессмысленны. Следовательно, не только материя, но и само пространство предпочитает атомная структура.

В обширных областях исследований участвуют около 30 исследовательских групп по всему миру.[2] Все они разделяют основные физические предположения и математическое описание квантового пространства. Исследования развивались в двух направлениях: более традиционной канонической петлевой квантовой гравитации и новой ковариантной петлевой квантовой гравитации, называемой отжимная пена теория.

Наиболее развитая теория, которая была выдвинута как прямой результат петлевой квантовой гравитации, называется петля квантовой космологии (LQC). LQC продвигает изучение ранней Вселенной, включая концепцию Большой взрыв в более широкую теорию Большой отскок, который рассматривает Большой взрыв как начало период расширения следует за периодом сокращения, который можно было бы назвать Большой хруст.

История

В 1986 г. Абхай Аштекар переформулировал общую теорию относительности Эйнштейна на языке, более близком к остальной части фундаментальной физики.[нужна цитата ] Вскоре после, Тед Якобсон и Ли Смолин понял, что формальное уравнение квантовой гравитации, названное Уравнение Уиллера – ДеВитта, допускались решения, помеченные петлями при переписывании в новый Переменные Аштекара. Карло Ровелли и Смолин определил непертурбативный и независимая от фона квантовая теория гравитации в терминах этих петлевых решений. Хорхе Пуллин и Ежи Левандовски понимал, что пересечения петель важны для непротиворечивости теории, и теория должна быть сформулирована в терминах пересекающихся петель, или графики.

В 1994 году Ровелли и Смолин показали, что квантовая операторы теории, связанной с площадью и объемом, имеют дискретный спектр. То есть геометрия квантуется. Этот результат определяет явный базис состояний квантовой геометрии, которые, как оказалось, были помечены Роджер Пенроуз с спиновые сети, которые графики помеченный спины.

Каноническая версия динамики была установлена ​​Томасом Тиманом, который определил гамильтонов оператор без аномалий и показал существование математически непротиворечивой теории, не зависящей от фона. Ковариант, или "отжимная пена ", версия динамики разрабатывалась совместно в течение нескольких десятилетий исследовательскими группами во Франции, Канаде, Великобритании, Польше и Германии. Она была завершена в 2008 году, что привело к определению семейства амплитуд переходов, которое в классический предел можно показать, что оно связано с семейством усечений общей теории относительности.[3] Конечность этих амплитуд была доказана в 2011 г.[4][5] Требуется наличие положительного космологическая постоянная, что согласуется с наблюдаемыми ускорение расширения Вселенной.

Общая ковариация и независимость от фона

В теоретической физике общая ковариантность - это неизменность формы физических законов относительно произвольных дифференцируемых преобразований координат. Основная идея состоит в том, что координаты - это всего лишь уловки, используемые при описании природы, и, следовательно, не должны играть никакой роли в формулировке фундаментальных физических законов. Более важным требованием является принцип общей теории относительности, согласно которому законы физики принимают одинаковую форму во всех системах отсчета. Это обобщение принципа специальная теория относительности который гласит, что законы физики принимают одинаковую форму во всех инерциальных системах отсчета.

В математике диффеоморфизм - это изоморфизм в категории гладких многообразий. Это обратимая функция, отображающая один дифференцируемое многообразие к другому, так что и функция, и обратная ей функция являются гладкими. Это определяющие преобразования симметрии общей теории относительности, поскольку теория сформулирована только в терминах дифференцируемого многообразия.

В общей теории относительности общая ковариация тесно связано с «инвариантностью диффеоморфизма». Эта симметрия - одна из определяющих черт теории. Однако распространено заблуждение, что «инвариантность диффеоморфизма» относится к неизменности физических предсказаний теории при произвольном преобразования координат; это неверно, и фактически каждая физическая теория инвариантна относительно преобразований координат таким образом. Диффеоморфизмы в соответствии с определением математиков, соответствуют чему-то гораздо более радикальному; интуитивно они могут быть представлены как одновременное перетаскивание всех физических полей (включая гравитационное) по голому дифференцируемое многообразие оставаясь в той же системе координат. Диффеоморфизмы - это истинные преобразования симметрии общей теории относительности, и они возникают из утверждения, что формулировка теории основана на голом дифференцируемом многообразии, но не на какой-либо предшествующей геометрии - теория независимый от фона (Это глубокий сдвиг, поскольку все физические теории до общей теории относительности имели в своей формулировке предшествующую геометрию). При таких преобразованиях сохраняется совпадение значений, которые гравитационное поле принимает в таком-то «месте», и значений, которые там принимают поля материи. Из этих соотношений можно составить представление о том, что материя расположена относительно гравитационного поля, или наоборот. Это то, что обнаружил Эйнштейн: физические объекты расположены только относительно друг друга, а не относительно пространственно-временного многообразия. Так как Карло Ровелли помещает это: «Больше никаких полей в пространстве-времени: только поля в полях».[6] В этом истинный смысл поговорки «Сцена исчезает и становится одним из актеров»; Пространство-время как «контейнер», в котором происходит физика, не имеет объективного физического смысла, и вместо этого гравитационное взаимодействие представлено только как одно из полей, формирующих мир. Это известно как реляционалистская интерпретация пространства-времени. Осознание Эйнштейном того, что общую теорию относительности следует интерпретировать таким образом, послужило источником его замечания «За гранью моих самых смелых ожиданий».

В LQG этот аспект общей теории относительности воспринимается серьезно, и эта симметрия сохраняется, требуя, чтобы физические состояния оставались инвариантными относительно генераторов диффеоморфизмов. Интерпретация этого условия хорошо понятна для чисто пространственных диффеоморфизмов. Однако понимание диффеоморфизмов с участием времени ( Гамильтонова связь ) более тонкий, потому что он связан с динамика и так называемый "проблема времени "в общей теории относительности.[7] Общепринятая схема расчета для учета этого ограничения еще не найдена.[8][9] Правдоподобным кандидатом на квантовую гамильтонову связь является оператор, введенный Тиманом.[10]

LQG формально независимый от фона. Уравнения LQG не вложены в пространство и время и не зависят от них (за исключением его инвариантной топологии). Вместо этого ожидается, что они вызовут пространство и время на расстояниях, больших по сравнению с Планковская длина. Вопрос о независимости фона в LQG все еще имеет некоторые нерешенные тонкости. Например, для некоторых выводов требуется фиксированный выбор топология, в то время как любая последовательная квантовая теория гравитации должна включать изменение топологии как динамический процесс.

Ограничения и их алгебра скобок Пуассона

Ограничения классической канонической общей теории относительности

Общая теория относительности - это пример системы с ограничениями. В гамильтоновой формулировке обычной классической механики скобка Пуассона является важным понятием. «Каноническая система координат» состоит из канонических переменных положения и импульса, которые удовлетворяют каноническим соотношениям скобок Пуассона,

где скобка Пуассона имеет вид

для произвольных функций фазового пространства и . С помощью скобок Пуассона Уравнения Гамильтона можно переписать как,

Эти уравнения описывают "течь"или орбита в фазовом пространстве, порожденная гамильтонианом . Для любой функции фазового пространства , дает

Аналогичным образом скобка Пуассона между ограничением и переменными фазового пространства генерирует поток по орбите в (неограниченном) фазовом пространстве, порожденный ограничением. В переформулировке Аштекара классической общей теории относительности есть три типа ограничений:

SU(2) Калибровочные ограничения Гаусса

Ограничения Гаусса

Это представляет собой бесконечное количество ограничений, по одному на каждое значение . Они возникают из-за переформулирования общей теории относительности как Ян – Миллс калибровочная теория типа (Янг – Миллс является обобщением теории Максвелла, в которой калибровочное поле трансформируется как вектор при преобразованиях Гаусса, то есть калибровочное поле имеет вид где это внутренний индекс. Увидеть Переменные Аштекара ). Это бесконечное количество калибровочных ограничений Гаусса может быть "смазанный"по тестовым полям с внутренними индексами, ,

который должен исчезнуть для любой такой функции. Эти размытые ограничения, определенные относительно подходящего пространства размывающих функций, дают эквивалентное описание исходным ограничениям.

Формулировку Аштекара можно рассматривать как обычную Теория Янга – Миллса вместе со следующими специальными ограничениями, вытекающими из инвариантности диффеоморфизма, и гамильтонианом, который обращается в нуль. Таким образом, динамика такой теории сильно отличается от динамики обычной теории Янга – Миллса.

Ограничения пространственных диффеоморфизмов

Ограничения пространственного диффеоморфизма

можно размазать так называемыми функциями сдвига чтобы дать эквивалентный набор ограничений размазанного пространственного диффеоморфизма,

Они порождают пространственные диффеоморфизмы вдоль орбит, определяемых функцией сдвига .

Гамильтоновы ограничения

Гамильтониан

могут быть размазаны так называемыми функциями отставания чтобы дать эквивалентный набор размытых гамильтоновых ограничений,

.

Они порождают диффеоморфизмы времени вдоль орбит, определяемых функцией погрешности .

В формулировке Аштекара калибровочное поле - конфигурационная переменная (конфигурационная переменная аналогична в обычной механике) и его сопряженный импульс представляет собой (уплотненную) триаду (электрическое поле) . Ограничения - это определенные функции этих переменных фазового пространства.

Важным аспектом действия ограничений на произвольные функции фазового пространства является Производная Ли, , который по сути является производной операцией, бесконечно "сдвигающей" функции вдоль некоторой орбиты с касательным вектором .

Наблюдаемые Дирака

Ограничения определяют поверхность ограничения в исходном фазовом пространстве. Калибровочные движения ограничений применяются ко всему фазовому пространству, но имеют особенность, заключающуюся в том, что они оставляют ограничивающую поверхность там, где она есть, и, таким образом, орбита точки на гиперповерхности при калибровочных преобразованиях будет орбитой полностью внутри нее. Наблюдаемые Дирака определяются как функции фазового пространства, , что Пуассон коммутирует со всеми связями при наложении уравнений связей,

,

то есть, это величины, определенные на поверхности связи, которые инвариантны относительно калибровочных преобразований теории.

Тогда, решая только ограничение и определение наблюдаемых Дирака относительно него возвращает нас к Фазовое пространство Арновитта – Дезера – Миснера (ADM) с ограничениями . Динамика общей теории относительности порождается ограничениями, можно показать, что шесть уравнений Эйнштейна, описывающих эволюцию во времени (на самом деле калибровочное преобразование), могут быть получены путем вычисления скобок Пуассона трехметрики и ее сопряженного импульса с линейной комбинацией пространственный диффеоморфизм и гамильтонова связь. Обнуление ограничений, дающих физическое фазовое пространство, - это четыре других уравнения Эйнштейна.[11]

Квантование связей - уравнения квантовой общей теории относительности

Предыстория и новые переменные Аштекара

Многие технические проблемы канонической квантовой гравитации связаны с ограничениями. Каноническая общая теория относительности изначально была сформулирована в терминах метрических переменных, но казалось, что возникли непреодолимые математические трудности в продвижении ограничений к квантовые операторы из-за их сильно нелинейной зависимости от канонических переменных. Уравнения были значительно упрощены с введением новых переменных Аштекара. Переменные Аштекара описывают каноническую общую теорию относительности в терминах новой пары канонических переменных, более близких к параметрам калибровочных теорий. Первый шаг состоит в использовании уплотненных триад. (триада просто три ортогональных векторных поля, помеченных а уплотненная триада определяется как ) для кодирования информации о пространственной метрике,

.

(где - метрика плоского пространства, и вышеприведенное уравнение выражает, что , когда написано с точки зрения основы , локально плоская). (Формулировка общей теории относительности с использованием триад вместо метрик не была новой.) Уплотненные триады не уникальны, и на самом деле можно выполнять локальное в пространстве вращение по внутренним показателям . Канонически сопряженная переменная связана с внешней кривизной соотношением . Но проблемы, подобные использованию метрической формулировки, возникают, когда кто-то пытается квантовать теорию. Новая идея Аштекара заключалась в том, чтобы ввести новую переменную конфигурации,

что ведет себя как сложный связь где относится к так называемым спин-соединение через . Вот называется киральной спиновой связью. Он определяет ковариантную производную . Оказывается, что сопряженный импульс , и вместе они образуют новые переменные Аштекара.

Выражения для ограничений в переменных Аштекар; закон Гаусса, ограничение пространственного диффеоморфизма и (уплотненное) гамильтоново ограничение читаются следующим образом:

,

соответственно, где тензор напряженности поля связи и где называется векторным ограничением. Вышеупомянутая локальная в пространстве вращательная инвариантность является оригиналом калибровочная инвариантность здесь выражается законом Гаусса. Обратите внимание, что эти ограничения полиномиальны по фундаментальным переменным, в отличие от ограничений в метрической формулировке. Это резкое упрощение, казалось, открыло путь к количественной оценке ограничений. (См. Статью Самодвойственное действие Палатини для вывода формализма Аштекара).

С новыми переменными Аштекара, учитывая переменную конфигурации , естественно рассматривать волновые функции . Это представление соединения. Это аналог обычной квантовой механики с конфигурационной переменной и волновые функции . Переменная конфигурации повышается до квантового оператора через:

(аналогично ), а триады являются (функциональными) производными,

.

(аналогично ). При переходе к квантовой теории связи становятся операторами в кинематическом гильбертовом пространстве (неограниченном Гильбертово пространство Янга – Миллса). Обратите внимание, что разный порядок и при замене 'с производными порождают различные операторы - сделанный выбор называется упорядочением факторов и должен выбираться с помощью физических соображений. Формально они читают

.

По-прежнему существуют проблемы с правильным определением всех этих уравнений и их решением.Например, гамильтоново ограничение, с которым работал Аштекар, было уплотненной версией вместо исходного гамильтониана, то есть он работал с . Возникли серьезные трудности с переводом этой величины в квантовый оператор. Более того, хотя переменные Аштекара упрощали гамильтониан, они сложны. При квантовании теории трудно обеспечить восстановление реальной общей теории относительности в отличие от сложной общей теории относительности.

Квантовые связи как уравнения квантовой общей теории относительности

Классический результат скобки Пуассона размытого закона Гаусса со связями

Квантовый закон Гаусса гласит

Если размыть квантовый закон Гаусса и изучить его действие на квантовое состояние, можно обнаружить, что действие ограничения на квантовое состояние эквивалентно сдвигу аргумента бесконечно малым (в смысле параметра малое) калибровочное преобразование,

и последнее тождество проистекает из того факта, что ограничение аннулирует состояние. Таким образом, ограничение как квантовый оператор накладывает ту же симметрию, что и его классическое исчезновение: оно говорит нам, что функции должны быть калибровочно-инвариантными функциями связности. Та же идея верна и для других ограничений.

Следовательно, двухэтапный процесс в классической теории решения ограничений (эквивалентно решению условий допустимости для начальных данных) и поиск калибровочных орбит (решение «эволюционных» уравнений) заменяется одношаговым процессом в квантовой теории, а именно поиском решений квантовых уравнений . Это потому, что он, очевидно, решает ограничение на квантовом уровне и одновременно ищет состояния, которые являются калибровочно-инвариантными, поскольку является квантовым генератором калибровочных преобразований (калибровочно-инвариантные функции постоянны вдоль калибровочных орбит и, таким образом, характеризуют их).[12] Напомним, что на классическом уровне решение условий допустимости и эволюционных уравнений было эквивалентно решению всех полевых уравнений Эйнштейна, это подчеркивает центральную роль квантовых уравнений связи в канонической квантовой гравитации.

Введение в представление цикла

В частности, неспособность хорошо контролировать пространство решений закона Гаусса и ограничения пространственного диффеоморфизма заставила Ровелли и Смолина рассмотреть представление петель в калибровочных теориях и квантовой гравитации.[13]

LQG включает в себя концепцию голономия. Голономия - это мера того, насколько начальные и конечные значения спинора или вектора отличаются после параллельный транспорт по замкнутому контуру; это обозначено

.

Знание голономий эквивалентно знанию связи с точностью до калибровочной эквивалентности. Холономии также могут быть связаны с ребром; по закону Гаусса они преобразуются как

.

Для замкнутого цикла и предполагая , дает

или

.

След голономии вокруг замкнутого контура записывается

и называется петлей Вильсона. Таким образом, петли Вильсона калибровочно инвариантны. Явная форма Голономии такова:

где кривая, по которой оценивается голономия, и - параметр вдоль кривой, обозначает факторы упорядочения путей для меньших значений появляются слева, и матрицы, удовлетворяющие алгебра

.

В Матрицы Паули удовлетворяют вышеуказанному соотношению. Оказывается, существует бесконечно больше примеров наборов матриц, удовлетворяющих этим соотношениям, где каждый набор включает матрицы с , и где ни один из них не может быть рассмотрен как «разлагающийся» на два или более примеров более низкого измерения. Их называют разными неприводимые представления из алгебра. Наиболее фундаментальным представлением являются матрицы Паули. Голономия обозначается полуцелым числом в соответствии с используемым неприводимым представлением.

Использование Петли Вильсона явно решает калибровочную связь Гаусса. Представление петли требуется обрабатывать ограничение пространственного диффеоморфизма. Используя петли Вильсона в качестве основы, любая калибровочно-инвариантная функция Гаусса расширяется как

Это называется петлевым преобразованием и аналогично импульсному представлению в квантовой механике (см. Положение и импульсное пространство ). Представление QM имеет основу состояний помеченный числом и расширяется как

.

и работает с коэффициентами разложения

Преобразование обратного цикла определяется как

.

Это определяет представление цикла. Учитывая оператора в представлении соединения,

следует определить соответствующий оператор на в представлении цикла через,

где определяется обычным обратным преобразованием цикла,

Формула преобразования, задающая действие оператора на с точки зрения действия оператора на затем получается приравниванием R.H.S. из с R.H.S. из с участием заменен на , а именно

,

или

,

где означает оператор но с обратным порядком множителей (вспомните из простой квантовой механики, где произведение операторов меняется на обратное при сопряжении). Действие этого оператора в цикле Вильсона оценивается как вычисление в представлении соединения, и результат преобразуется исключительно как манипуляция в терминах циклов (в отношении действия в цикле Вильсона выбранный преобразованный оператор - это оператор с обратный порядок факторов по сравнению с тем, который используется для его воздействия на волновые функции ). Это дает физический смысл оператора . Например, если соответствует пространственному диффеоморфизму, то это можно рассматривать как сохранение поля связи из где он находится при выполнении пространственного диффеоморфизма на вместо. Следовательно, смысл является пространственным диффеоморфизмом на , аргумент .

В петлевом представлении ограничение пространственного диффеоморфизма решается путем рассмотрения функций петель инвариантные относительно пространственных диффеоморфизмов петли . Это, инварианты узлов используются. Это открывает неожиданную связь между теория узлов и квантовая гравитация.

Любой набор непересекающихся луп Вильсона удовлетворяет квантовому гамильтонову ограничению Аштекара. Используя определенный порядок терминов и заменяя по производной действие квантовой гамильтоновой связи на петлю Вильсона равно

.

Когда берется производная, она снижает касательный вектор, , петли, . Так,

.

Однако, как антисимметрична по индексам и это исчезает (это предполагает, что нигде не является разрывным, поэтому касательный вектор единственен).

Что касается представления петли, волновые функции обращаются в нуль, когда петля имеет разрывы и является инвариантом узла. Такие функции решают закон Гаусса, пространственную связь диффеоморфизма и (формально) гамильтонову связь. Это дает бесконечный набор точных (хотя бы формальных) решений всех уравнений квантовой общей теории относительности![13] Это вызвало большой интерес к подходу и в конечном итоге привело к LQG.

Геометрические операторы, необходимость пересечения петель Вильсона и состояний спиновой сети

Самая простая геометрическая величина - это площадь. Выберем координаты так, чтобы поверхность характеризуется . Площадь малого параллелограмма поверхности это произведение длины каждой стороны, умноженное на где угол между сторонами. Скажем, одно ребро задается вектором а другой тогда,

В пространстве, охваченном и есть бесконечно малый параллелограмм, описываемый и . С помощью (где индексы и бег от 1 до 2), дает площадь поверхности данный

где и - определитель метрики, индуцированной на . Последнее можно переписать где индексы перейти от 1 к 2. Это можно переписать как

.

Стандартная формула для обратной матрицы:

.

Есть сходство между этим и выражением для . Но в переменных Аштекара, . Следовательно,

.

По правилам канонического квантования триады следует преобразовать в квантовые операторы,

.

Площадь может быть преобразован в четко определенный квантовый оператор, несмотря на то, что он содержит произведение двух функциональных производных и квадратного корня.[14] Положив (-е представление),

.

Эта величина важна в окончательной формуле для площади спектра. Результат

где сумма ведется по всем ребрам петли Вильсона, протыкающей поверхность .

Формула для объема области дан кем-то

.

Квантование объема происходит так же, как и с площадью. Каждый раз, когда берется производная, она приводит к касательному вектору , а когда оператор объема действует на непересекающиеся лупы Вильсона, результат исчезает. Следовательно, квантовые состояния с ненулевым объемом должны включать пересечения. Учитывая, что в формуле для объема включено антисимметричное суммирование, необходимо пересечение по крайней мере с тремя несимметричнымикопланарный линий. По крайней мере, четырехвалентные вершины необходимы для того, чтобы оператор объема не обращался в нуль.

Предполагая реальное представление, где калибровочная группа , Петли Вильсона представляют собой сверхполную основу, поскольку существуют тождества, связывающие различные петли Вильсона. Это происходит потому, что петли Вильсона основаны на матрицах (голономии), и эти матрицы удовлетворяют тождествам. Учитывая любые два матрицы и ,

.

Это означает, что с учетом двух петель и которые пересекаются,

согласно которому мы имеем в виду петлю пройдено в обратном направлении и означает цикл, полученный путем обхода цикла а затем вместе . См. Рисунок ниже. Учитывая, что матрицы унитарны, имеем . Также с учетом цикличности следов матрицы (т.е. ) есть что . Эти идентификаторы могут быть объединены друг с другом в дополнительные идентификаторы с возрастающей сложностью, добавляя больше циклов. Эти тождества являются так называемыми тождествами Мандельштама. Определенные спиновые сети представляют собой линейные комбинации пересекающихся луп Вильсона, разработанные для решения проблемы избыточной полноты, вводимой тождествами Мандельштама (для трехвалентных пересечений они полностью исключают избыточную полноту), и фактически составляют основу для всех калибровочно-инвариантных функций.

Графическое представление простейшего нетривиального тождества Мандельштама, связывающего различные Петли Вильсона.

Как упоминалось выше, голономия говорит о том, как распространять получастицы с пробным спином. Состояние спиновой сети присваивает амплитуду набору спиновых получастиц, прослеживающих путь в пространстве, сливаясь и разделяясь. Их описывают спиновые сети : рёбра помечены спинами вместе с «спинами» в вершинах, которые являются рецептом того, как суммировать различные способы перенаправления спинов. Сумма перемаршрутизации выбирается как таковая, чтобы сделать форму сплетника инвариантной относительно калибровочных преобразований Гаусса.

Реальные переменные, современный анализ и LQG

Давайте более подробно остановимся на технических трудностях, связанных с использованием переменных Аштекара:

С переменными Аштекара используется сложная связь, поэтому соответствующая группа датчиков фактически и не . Так как является некомпактный это создает серьезные проблемы для строгого построения необходимого математического аппарата. Группа , с другой стороны, компактный и необходимые конструкции разработаны.

Как упоминалось выше, поскольку переменные Аштекара сложны, результирующая общая теория относительности сложна. Чтобы восстановить реальную теорию, нужно наложить так называемые «условия реальности». Они требуют, чтобы уплотненная триада была реальной и чтобы действительная часть соединения Аштекар была равна совместимому спин-соединению (условие совместимости ) определяется уплотненной триадой. Выражение для совместимого соединения является довольно сложным, и поэтому неполиномиальная формула входит через черный ход.

Учитывая, что тензорная плотность веса трансформируется как обычный тензор за исключением того, что я сила Якобиан,

также появляется как фактор, т.е.

По общим причинам невозможно построить УФ-конечный не нарушающий диффеоморфизм оператор, соответствующий . Причина в том, что измененное гамильтоново ограничение представляет собой скалярную плотность веса два, в то время как можно показать, что только скалярные плотности веса один имеют шанс привести к хорошо определенному оператору. Таким образом, человек вынужден работать с исходным немасштабированным однозначным гамильтоновым ограничением плотности. Однако это неполиномиально, и вся сила комплексных переменных ставится под сомнение. Фактически, все решения, построенные для гамильтоновой связи Аштекара, исчезали только для конечных регуляризация однако это нарушает инвариантность пространственного диффеоморфизма.

Без реализации и решения гамильтоновой связи невозможно добиться прогресса и невозможно надежное предсказание.

Чтобы преодолеть первую проблему, нужно использовать конфигурационную переменную

где является реальным (как указал Барберо, который ввел вещественные переменные через некоторое время после переменных Аштекара[15][16]). Закон Гаусса и ограничения пространственного диффеоморфизма совпадают. В реальных переменных Аштекара гамильтониан имеет вид

.

Сложные отношения между а обесцененные триады вызывают серьезные проблемы при квантовании. Это с выбором что второй, более сложный член вынужден исчезнуть. Однако, как упоминалось выше вновь появляется в условиях реальности. По-прежнему существует проблема фактор.

Тиманн смог заставить это работать по-настоящему . Сначала он мог упростить неприятный используя личность

где это объем. Объединяя эту идентичность с простой идентичностью

урожайность,

Заключив обе стороны с дает

Смазанный евклидов гамильтонов функционал связи тогда может быть записан ( это функция задержки)

В , и может быть преобразован в хорошо определенные операторы в представлении цикла, а скобка Пуассона заменяется коммутатором при квантовании; это касается первого члена. Оказывается, аналогичный прием можно применить и ко второму члену. Один вводит количество

и отмечает, что

.

так,

.

Причина количества легче работать во время квантования, так это то, что его можно записать как

где мы использовали, что интегрированный уплотненный след внешней кривизны, , является «производной объема по времени».

В долгой истории канонической квантовой гравитации, формулирующей гамильтонову связь как квантовый оператор (Уравнение Уиллера – ДеВитта ) математически строго было сложной задачей. Именно в циклическом представлении в 1996 году было окончательно сформулировано математически корректное гамильтоново ограничение.[10] Подробнее о его конструкции оставляем в статье. Гамильтонова связь LQG. Это вместе с квантовыми версиями закона Гаусса и ограничениями пространственного диффеоморфизма, записанными в петлевом представлении, являются центральными уравнениями LQG (современной канонической квантовой общей теории относительности).

Нахождение состояний, которые аннулируются этими ограничениями (физических состояний), и поиск соответствующего физического внутреннего продукта и наблюдаемых - основная цель технической стороны LQG.

Очень важным аспектом гамильтонова оператора является то, что он действует только в вершинах (следствием этого является то, что гамильтонов оператор Тимана, как и оператор Аштекара, аннулирует непересекающиеся петли, за исключением того, что теперь он не просто формальный и имеет строгий математический смысл). Точнее, его действие ненулевое по крайней мере на вершинах валентности три и выше и приводит к линейной комбинации новых спиновых сетей, где исходный граф был изменен путем добавления линий вместе в каждой вершине и изменения меток. смежных звеньев вершины.

Реализация и решение квантовых ограничений

Мы решаем, по крайней мере, приблизительно, все уравнения квантовых ограничений и для внутреннего физического продукта, чтобы делать физические прогнозы.

Прежде чем мы перейдем к ограничениям LQG, давайте рассмотрим некоторые случаи. Начнем с кинематического гильбертова пространства так как снабжен внутренним продуктом - кинематическим внутренним продуктом .

i) Допустим, у нас есть ограничения нулевые собственные значения которых лежат в их дискретных спектр.Решения первого ограничения, , соответствуют подпространству кинематического гильбертова пространства, . Будет оператор проекции отображение на . Кинематическая структура внутреннего продукта легко используется для обеспечения структуры внутреннего продукта после решения этого первого ограничения; новый внутренний продукт просто

Они основаны на одном и том же внутреннем продукте и являются нормализуемыми состояниями по отношению к нему.

ii) Нулевая точка не содержится в точечном спектре всех , то нетривиального решения к системе квантовых уравнений связи для всех .

Например, нулевое собственное значение оператора

на лежит в непрерывном спектре но формальное "собственное состояние" не нормализуется в кинематическом внутреннем продукте,

и поэтому не принадлежит кинематическому гильбертову пространству . В этих случаях мы берем плотное подмножество из (интуитивно это означает любую точку в либо в или произвольно близко к точке в ) с очень хорошими свойствами сходимости и рассмотрим его двойное пространство (интуитивно эти элементы карты на конечные комплексные числа линейным образом), то (так как содержит функции распределения). Затем оператор ограничения реализуется в этом большом двойном пространстве, которое содержит функции распределения, при сопряженном действии на оператор. На этом большом пространстве ищут решения. Это происходит за счет того, что решениям необходимо дать новое внутреннее произведение гильбертова пространства, относительно которого они нормализуемы (см. Статью о оснащенное гильбертово пространство ). В этом случае мы имеем обобщенный оператор проектирования на новое пространство состояний. Мы не можем использовать приведенную выше формулу для нового внутреннего продукта, поскольку он расходится, вместо этого новый внутренний продукт задается простой модификацией приведенного выше,

Обобщенный проектор называется такелажной картой.

Реализация и решение квантовых ограничений LQG.

Перейдем к LQG, дополнительные сложности возникнут из-за того, что нельзя определить оператор для ограничения квантового пространственного диффеоморфизма как инфинитезимальный генератор конечных преобразований диффеоморфизма, а также того факта, что алгебра ограничений не является алгеброй Ли из-за скобки между двумя гамильтоновыми ограничениями .

Реализация и решение ограничения Гаусса:

Фактически нет необходимости преобразовывать ограничение Гаусса в оператор, так как мы можем работать напрямую с калибровочно-инвариантными функциями (то есть, ограничение решается классическим образом и квантуется только фазовое пространство, уменьшенное по отношению к ограничению Гаусса). Закон Гаусса решается с помощью состояний спиновой сети. Они составляют основу кинематического гильбертова пространства. .

Реализация ограничения квантового пространственного диффеоморфизма:

Оказывается, нельзя определить оператор ограничения квантового пространственного диффеоморфизма как инфинитезимальный генератор преобразований конечных диффеоморфизмов, представленных на . Представление конечных диффеоморфизмов - это семейство унитарных операторов действуя на состояние спиновой сети от

для любого пространственного диффеоморфизма на . Чтобы понять, почему нельзя определить оператор для ограничения квантового пространственного диффеоморфизма, рассмотрим то, что называется 1-параметром подгруппа в группе пространственных диффеоморфизмов это тогда представляется как однопараметрическая унитарная группа на . Однако, не является слабо непрерывный поскольку подпространство принадлежит, а подпространство принадлежат ортогональны друг другу, независимо от того, насколько мал параметр является. Так что всегда есть

даже в пределе, когда уходит в ноль. Следовательно, инфинитезимальный генератор не существует.

Решение ограничения пространственного диффеоморфизма.

Ограничение пространственного диффеоморфизма решено. Индуцированный внутренний продукт на (мы не будем вдаваться в подробности) имеет очень простое описание в терминах состояний спиновой сети; учитывая две спиновые сети и , с ассоциированными состояниями спиновой сети и , внутренний продукт равен 1, если и связаны друг с другом пространственным диффеоморфизмом и равны нулю в противном случае.

Мы предоставили описание реализованного и полного решения кинематических ограничений, ограничений Гаусса и пространственных диффеоморфизмов, которые будут одинаковыми для любой теории калибровочного поля, не зависящей от фона. Особенность, которая отличает такие разные теории, - это гамильтонова связь, которая является единственной, которая зависит от лагранжиана классической теории.

Проблема, возникающая из-за гамильтоновой связи.

Детали реализации квантового гамильтонова ограничения и решений рассматриваются в другой статье. Гамильтонова связь LQG. Однако в этой статье мы вводим схему аппроксимации для формального решения гамильтонова оператора связи, приведенного в следующем разделе о спиновых пенах. Здесь мы просто упоминаем проблемы, которые возникают с гамильтоновой связью.

Гамильтонова связь отображает состояния, инвариантные к диффеоморфизму, в состояния, инвариантные к диффеоморфизму, так как это не сохраняет гильбертово пространство диффеоморфизма . Это неизбежное следствие операторной алгебры, в частности коммутатора:

как можно увидеть, применив это к ,

и используя чтобы получить

и так не в .

Это означает, что нельзя просто решить ограничение пространственного диффеоморфизма, а затем гамильтонову связь. Эту проблему можно обойти, введя главное ограничение, с его тривиальной операторной алгеброй, тогда в принципе можно построить физический внутренний продукт из .

Пена отжима

В петлевой квантовой гравитации (LQG) спиновая сеть представляет собой «квантовое состояние» гравитационного поля на 3-мерной гиперповерхности. Множество всех возможных спиновых сетей (или, точнее, «s-узлов», т. Е. Классов эквивалентности спиновых сетей относительно диффеоморфизмов) счетно; он составляет основу гильбертова пространства LQG.

В физике спиновая пена - это топологическая структура, состоящая из двумерных граней, которая представляет одну из конфигураций, которые необходимо суммировать, чтобы получить описание квантовой гравитации с помощью интеграла по траекториям (функционального интегрирования) Фейнмана. Это тесно связано с петлевой квантовой гравитацией.

Спиновая пена, полученная из оператора гамильтоновой связи

Гамильтонова связь порождает "временную" эволюцию. Решение гамильтоновой связи должно рассказать нам, как квантовые состояния эволюционируют во «времени» от начального состояния спиновой сети до конечного состояния спиновой сети. Один подход к решению гамильтоновой связи начинается с того, что называется Дельта-функция Дирака. Это довольно сингулярная функция действительной прямой, обозначаемая , который равен нулю везде, кроме но интеграл которого конечен и отличен от нуля. Его можно представить в виде интеграла Фурье,

.

Можно использовать идею дельта-функции, чтобы наложить условие, что гамильтонова связь должна исчезнуть.

не равно нулю, только когда для всех в . Используя это, мы можем «спроецировать» решения гамильтоновой связи. По аналогии с приведенным выше интегралом Фурье этот (обобщенный) проектор формально можно записать как

.

Это формально пространственно диффеоморфизм-инвариантно. Как таковой, он может применяться на уровне пространственно-инвариантного к диффеоморфизму. Используя это, физический внутренний продукт формально задается

где - начальная спиновая сеть и сеть финального вращения.

Экспоненту можно разложить

и каждый раз, когда гамильтонов оператор действует, он делает это, добавляя новое ребро в вершине. Суммирование по различным последовательностям действий можно представить себе как суммирование различных историй «вершин взаимодействия» в «временной» эволюции, отправляющей начальную спиновую сеть в конечную спиновую сеть. Затем это естественным образом приводит к двойному комплексу (комбинаторному набору граней, которые соединяются по ребрам, которые, в свою очередь, соединяются по вершинам), лежащим в основе описания спиновой пены; мы развиваем начальную спиновую сеть, выметающую поверхность, действие оператора гамильтоновой связи заключается в создании новой плоской поверхности, начинающейся в вершине. Мы можем использовать действие гамильтоновой связи на вершину состояния спиновой сети, чтобы связать амплитуду с каждым «взаимодействием» (по аналогии с Диаграммы Фейнмана ). См. Рисунок ниже. Это открывает способ попытаться напрямую связать каноническую LQG с описанием интеграла по путям. Теперь, точно так же, как спиновые сети описывают квантовое пространство, каждая конфигурация, вносящая вклад в эти интегралы по траекториям или суммы за историю, описывает «квантовое пространство-время». Из-за их сходства с мыльной пеной и способа их маркировки Джон Баэз дал этому «квантовому пространству-времени» название «спиновая пена».

Действие гамильтоновой связи, переведенное на интеграл по путям или так называемый отжимная пена описание. Один узел разделяется на три узла, образуя вершину вращающейся пены. это ценность в вершине и - матричные элементы гамильтоновой связи .

Однако есть серьезные трудности с этим конкретным подходом, например, оператор Гамильтона не является самосопряженным, фактически это даже не нормальный оператор (т.е. оператор не коммутирует со своим сопряженным), поэтому оператор спектральная теорема не может использоваться для определения экспоненты в целом. Самая серьезная проблема заключается в том, что не являются взаимно коммутирующими, тогда можно показать формальное количество не может даже определить (обобщенный) проектор. Основное ограничение (см. Ниже) не страдает от этих проблем и, как таковое, предлагает способ соединения канонической теории с формулировкой интеграла по путям.

Спин-пены из теории BF

Оказывается, существуют альтернативные способы формулирования интеграла по путям, однако их связь с гамильтоновым формализмом менее ясна. Один из способов - начать с Теория BF. Это более простая теория, чем общая теория относительности, она не имеет локальных степеней свободы и, как таковая, зависит только от топологических аспектов полей. Теория BF - это то, что известно как топологическая теория поля. Удивительно, но оказывается, что общая теория относительности может быть получена из теории BF, наложив ограничение:[17] Теория BF включает в себя поле и если выбрать поле быть (антисимметричным) произведением двух тетрад

(тетрады похожи на триады, но в четырех измерениях пространства-времени), восстанавливается общая теория относительности. Условие, что поле, задаваемое произведением двух тетрад, называется ограничением простоты. Динамика спиновой пены в топологической теории поля хорошо изучена. Учитывая амплитуды «взаимодействия» спиновой пены для этой простой теории, затем пытаются реализовать условия простоты, чтобы получить интеграл по путям для общей теории относительности. Затем нетривиальная задача построения модели спиновой пены сводится к вопросу о том, как это ограничение простоты должно быть наложено в квантовой теории. Первой попыткой этого была знаменитая Модель Барретта – Крейна.[18] Однако эта модель оказалась проблематичной, например, не было достаточного количества степеней свободы, чтобы гарантировать правильный классический предел.[19] Утверждалось, что ограничение простоты было слишком сильно наложено на квантовом уровне и должно быть наложено только в смысле ожидаемых значений, как и в случае Условие калибровки Лоренца в Формализм Гупты – Блейлера из квантовая электродинамика. Теперь выдвигаются новые модели, иногда мотивированные наложением условий простоты в более слабом смысле.

Другая трудность здесь заключается в том, что спиновая пена определяется дискретизацией пространства-времени. Хотя это не представляет проблем для топологической теории поля, поскольку у нее нет локальных степеней свободы, это создает проблемы для ОТО. Это известно как проблема треугольной зависимости.

Современный рецепт центрифугирования

Подобно тому, как наложение классического ограничения простоты восстанавливает общую теорию относительности из теории BF, можно ожидать, что соответствующее ограничение квантовой простоты восстановит квантовую гравитацию из квантовой теории BF.

Энгл, Перейра и Ровелли добились значительного прогресса в этом вопросе.[20] Фрейдель и Краснов[21] и Ливин и Специя[22] в определении амплитуд взаимодействия спиновой пены с гораздо лучшим поведением.

Была сделана попытка установить контакт между центрифугированием EPRL-FK и канонической формулировкой LQG.[23]

Вращающаяся пена, полученная из главного оператора ограничения

См. ниже.

Полуклассический предел

В классический предел лимит переписки - это возможность физическая теория приблизить или "восстановить" классическая механика при рассмотрении сверх специальных значений его параметров.[24] Классический предел используется с физическими теориями, предсказывающими неклассическое поведение. В физика, принцип соответствия утверждает, что поведение систем, описываемых теорией квантовая механика (или старая квантовая теория ) воспроизводит классическая физика в пределе большого квантовые числа. Другими словами, в нем говорится, что для больших орбиты и для больших энергии, квантовые расчеты должны согласовываться с классическими расчетами.[25]

Принцип был сформулирован Нильс Бор в 1920 г.[26] хотя ранее он использовал его еще в 1913 году при разработке своего модель атома.[27]

Для установления полуклассического предела любой квантовой теории есть два основных требования:

  1. воспроизведение скобок Пуассона (ограничений диффеоморфизма в случае общей теории относительности). Это чрезвычайно важно, потому что, как отмечалось выше, алгебра скобок Пуассона, образованная между (размазанными) ограничениями, полностью определяет классическую теорию. Это аналогично установлению Теорема Эренфеста.
  2. спецификация полный набор классических наблюдаемых соответствующие операторы которого при воздействии на них соответствующих полуклассических состояний воспроизводят те же классические переменные с небольшими квантовыми поправками (тонкий момент в том, что состояния, которые являются полуклассическими для одного класса наблюдаемых, могут не быть полуклассическими для другого класса наблюдаемых[28]).

Это может быть легко сделано, например, в обычной квантовой механике для частицы, но в общей теории относительности это становится весьма нетривиальной проблемой.

Правильность полуклассического предела LQG

Любая кандидатская теория квантовая гравитация должен быть в состоянии воспроизвести теорию Эйнштейна общая теория относительности как классический предел квант теория. Это не гарантируется из-за особенности квантовых теорий поля, заключающейся в том, что они имеют разные сектора, они аналогичны различным фазам, возникающим в термодинамическом пределе статистических систем. Как разные фазы физически различны, так и разные разделы квантовой теории поля. Может оказаться, что LQG принадлежит нефизическому сектору, в котором общая теория относительности не восстанавливается в полуклассическом пределе (на самом деле может вообще не быть физического сектора).

Более того, физическое гильбертово пространство должен содержать достаточно полуклассических состояний, чтобы гарантировать, что полученная квантовая теория может вернуться к классической теории, когда . Чтобы гарантировать это, нужно избегать квантовые аномалии любой ценой, потому что в противном случае на физическое гильбертово пространство будут накладываться ограничения, не имеющие аналогов в классической теории, что означает, что квантовая теория имеет меньше степеней свободы, чем классическая теория.

Теоремы, устанавливающие единственность представления петель, как это определено Аштекаром и др. (т.е. некоторая конкретная реализация гильбертова пространства и связанных с ним операторов, воспроизводящих правильную алгебру петель - реализация, которую все использовали) были даны двумя группами (Левандовски, Околоу, Зальманн и Тиман;[29] и Кристиан Флейшхак[30]). До того, как этот результат был установлен, не было известно, могут ли быть другие примеры гильбертовых пространств с операторами, вызывающими ту же алгебру петель - другие реализации, не эквивалентные той, которая использовалась до сих пор. Эти теоремы единственности подразумевают, что других не существует, поэтому, если LQG не имеет правильного полуклассического предела, то эти теоремы будут означать конец петлевого представления квантовой гравитации в целом.

Трудности и успеваемость при проверке полуклассического предела

Есть ряд трудностей в попытке установить, что LQG дает общую теорию относительности Эйнштейна в полуклассическом пределе:

  1. Не существует оператора, соответствующего бесконечно малым пространственным диффеоморфизмам (неудивительно, что в теории нет генератора бесконечно малых пространственных «трансляций», поскольку она предсказывает, что пространственная геометрия имеет дискретную природу по сравнению с ситуацией в конденсированной среде). Вместо этого она должна быть аппроксимирована конечными пространственными диффеоморфизмами, и поэтому структура скобок Пуассона классической теории не воспроизводится точно. Эту проблему можно обойти, введя так называемое главное ограничение (см. Ниже).[31]
  2. Возникает проблема примирения дискретной комбинаторной природы квантовых состояний с непрерывной природой полей классической теории.
  3. Существуют серьезные трудности, связанные со структурой скобок Пуассона, включающей пространственный диффеоморфизм и гамильтоновы связи. В частности, алгебра (размазанных) гамильтоновых связей не замыкается: она пропорциональна сумме бесконечно малых пространственных диффеоморфизмов (которые, как мы только что отметили, не существуют в квантовой теории), где коэффициенты пропорциональности не являются константами но имеют нетривиальную зависимость от фазового пространства - как таковая не образует Алгебра Ли. Однако ситуация значительно улучшается за счет введения главного ограничения.[31]
  4. Полуклассический механизм, разработанный до сих пор, подходит только для операторов, не меняющих граф, однако гамильтоново ограничение Тимана является оператором изменения графа - новый граф, который он генерирует, имеет степени свободы, от которых когерентное состояние не зависит, и поэтому их квантовое колебания не подавляются. Также существует ограничение, что эти когерентные состояния определены только на кинематическом уровне, и теперь их нужно поднять до уровня и . Можно показать, что гамильтонова связь Тимана должна быть изменяющей граф, чтобы решить проблему 3 в некотором смысле. Однако основная алгебра ограничений тривиальна, и поэтому требование, чтобы она изменяла граф, может быть снято, и действительно были определены основные операторы ограничения, не меняющие граф. Насколько известно на данный момент, эта проблема пока еще недосягаема.
  5. Формулировка наблюдаемых для классической общей теории относительности сама по себе является сложной задачей из-за ее нелинейной природы и инвариантности к диффеоморфизму пространства-времени. Фактически, схема систематического приближения для вычисления наблюдаемых была разработана только недавно.[32][33]

Трудности в попытке исследовать полуклассический предел теории не следует путать с неправильным полуклассическим пределом.

Относительно вопроса № 2 выше можно рассматривать так называемые ткать состояния. Обычные измерения геометрических величин макроскопичны, планковская дискретность сглаживается. Ткань футболки аналогична: на расстоянии это гладкая изогнутая двумерная поверхность, но при более внимательном рассмотрении мы видим, что на самом деле она состоит из тысяч одномерных связанных нитей. Образ пространства, данный в LQG, похож. Рассмотрим очень большую спиновую сеть, образованную очень большим количеством узлов и ссылок, каждая из которых Планковский масштаб. В макроскопическом масштабе он выглядит как трехмерная непрерывная метрическая геометрия.

Чтобы войти в контакт с хорошо известной физикой низких энергий, необходимо разработать схемы аппроксимации как для физического внутреннего продукта, так и для наблюдаемых Дирака; модели спиновой пены, которые интенсивно изучались, можно рассматривать как пути к схемам аппроксимации для упомянутого физического внутреннего продукта.

Маркопулу и др. принял идею бесшумные подсистемы в попытке решить проблему предела низкой энергии в теориях квантовой гравитации, не зависящих от фона.[34][35] Эта идея даже привела к интригующей возможности материи стандартная модель отождествляются с возникающими степенями свободы в некоторых версиях LQG (см. раздел ниже: LQG и связанные исследовательские программы).

Как подчеркивал Вайтман в 1950-х годах, в КТП Минковского точечные функции

,

полностью определить теорию. В частности, по этим величинам можно вычислить амплитуды рассеяния. Как объяснено ниже в разделе о Амплитуды рассеяния, не зависящие от фона, в независимом от фона контексте Точечные функции относятся к состоянию, и в гравитации это состояние может естественным образом кодировать информацию о конкретной геометрии, которая затем может появиться в выражениях этих величин. Было показано, что расчеты LQG в соответствующем смысле в определенном порядке согласуются с точечные функции, вычисленные в рамках эффективной квантовой общей теории относительности низких энергий.

Улучшенная динамика и главное ограничение

Главное ограничение

Главное ограничение Тимана не следует путать с главное уравнение что связано со случайными процессами. Основная программа ограничений для петлевой квантовой гравитации (LQG) была предложена как классически эквивалентный способ наложения бесконечного числа гамильтоновых уравнений связи

( является непрерывным индексом) с точки зрения одного главного ограничения,

.

который включает квадрат рассматриваемых ограничений. Обратите внимание, что было бесконечно много, тогда как главное ограничение - только одно. Понятно, что если исчезает, тогда бесконечно много с. И наоборот, если все исчезают, значит, исчезают , поэтому они эквивалентны. Главное ограничение включает соответствующее усреднение по всему пространству и поэтому инвариантен относительно пространственных диффеоморфизмов (он инвариантен относительно пространственных «сдвигов», поскольку является суммированием по всем таким пространственным «сдвигам» величины, которая трансформируется как скаляр). Следовательно, ее скобка Пуассона с (размазанной) связью пространственного диффеоморфизма, , просто:

.

(это также инвариантен). Кроме того, очевидно, что поскольку любая величина Пуассона коммутирует сама с собой, а главное ограничение является единственным ограничением, оно удовлетворяет

.

У нас также есть обычная алгебра пространственных диффеоморфизмов. Это представляет собой резкое упрощение структуры скобок Пуассона и дает новую надежду на понимание динамики и установление полуклассического предела.[36]

Первоначальное возражение против использования главного ограничения заключалось в том, что на первый взгляд казалось, что оно не кодирует информацию о наблюдаемых; Поскольку основное ограничение является квадратичным по отношению к ограничению, при вычислении его скобки Пуассона с любой величиной результат пропорционален ограничению, поэтому он всегда исчезает при наложении ограничений и, как таковой, не выбирает определенные функции фазового пространства. Однако выяснилось, что условие

эквивалентно быть наблюдаемой Дирака. Таким образом, главное ограничение действительно захватывает информацию о наблюдаемых. Из-за своей значимости это называется главным уравнением.[36]

То, что основная алгебра Пуассона ограничений является честной алгеброй Ли, открывает возможность использования определенного метода, известного как групповое усреднение, для построения решений бесконечного числа гамильтоновых ограничений, физического внутреннего продукта на них и Наблюдаемые Дирака через то, что известно как уточненное алгебраическое квантование RAQ.[37]

Ограничение квантового мастера

Определите квантовое главное ограничение (не считая вопросов регуляризации) как

.

Очевидно,

для всех подразумевает . Наоборот, если тогда

подразумевает

.

Сначала мы можем вычислить матричные элементы потенциального оператора , то есть вычисляем квадратичную форму . Получается, что как является изменяющейся графом, инвариантная к диффеоморфизму квадратичная форма не может существовать в кинематическом гильбертовом пространстве , и должно быть определено на . Поскольку главный оператор ограничения является плотно определенный на , тогда положительный и симметричный оператор в . Следовательно, квадратичная форма связан с является закрываемый. Закрытие является квадратичной формой единственного самосопряженный оператор , называется Расширение Фридрихса из . Мы меняем ярлык так как для простоты.

Обратите внимание, что наличие внутреннего продукта, а именно уравнения 4, означает, что нет лишних решений, т.е. нет такой, что

но для чего .

Также возможно построить квадратичную форму для того, что называется расширенным главным ограничением (обсуждается ниже) на который также включает взвешенный интеграл квадрата ограничения пространственного диффеоморфизма (это возможно, потому что не меняет график).

Спектр основного ограничения может не содержать нуля из-за эффектов нормального или факторного упорядочения, которые конечны, но подобны по своей природе бесконечным энергиям вакуума в зависимых от фона квантовых теориях поля. В этом случае физически корректно заменить с участием при условии, что «постоянная нормального порядка» обращается в нуль в классическом пределе, т. е.

так что является действительным квантованием .

Тестирование основного ограничения

Ограничения в их примитивной форме довольно сингулярны, что послужило причиной их интегрирования по тестовым функциям для получения размытых ограничений. Однако может показаться, что уравнение для основного ограничения, приведенное выше, является еще более сингулярным, включая произведение двух примитивных ограничений (хотя и интегрированных по пространству). Возведение ограничения в квадрат опасно, так как оно может привести к ухудшению поведения соответствующего оператора в ультрафиолетовом диапазоне, и, следовательно, к основной программе ограничения следует подходить с должной осторожностью.

При этом основная программа ограничений была успешно протестирована на ряде модельных систем с нетривиальными алгебрами ограничений, свободными и взаимодействующими теориями поля.[38][39][40][41][42] Основное ограничение для LQG было установлено как подлинный положительный самосопряженный оператор, и было показано, что физическое гильбертово пространство LQG непусто,[43] очевидный тест на непротиворечивость LQG должен пройти, чтобы стать жизнеспособной квантовой общей теорией относительности.

Применение основного ограничения

Основное ограничение использовалось в попытках приблизить физический внутренний продукт и определить более строгие интегралы по траекториям.[44][45][46][47]

Подход согласованной дискретизации к LQG,[48][49] представляет собой приложение основной программы ограничений для построения физического гильбертова пространства канонической теории.

Отжим пены от мастера ограничения

Оказывается, главное ограничение легко обобщить, чтобы включить в него другие ограничения. Затем это называется расширенным главным ограничением, обозначаемым . Мы можем определить расширенное главное ограничение, которое накладывает как гамильтонову связь, так и ограничение пространственного диффеоморфизма, как один оператор,

.

Установка этого единственного ограничения на ноль эквивалентна и для всех в . Это ограничение реализует пространственный диффеоморфизм и гамильтонову связь одновременно в кинематическом гильбертовом пространстве. Тогда физический внутренний продукт определяется как

(так как ). Представление этого выражения в виде спиновой пены получается путем разделения -параметр дискретными шагами и записью

Таким образом, описание центробежной пены следует из применения на спиновой сети, приводящей к линейной комбинации новых спиновых сетей, граф и метки которых были изменены. Очевидно, что приближение делается путем усечения значения до некоторого конечного целого числа. Преимущество расширенного главного ограничения состоит в том, что мы работаем на кинематическом уровне, и пока только здесь у нас есть доступ к полуклассическим когерентным состояниям. Более того, нельзя найти ни одной версии этого главного оператора ограничения, не изменяющей граф, которая является единственным типом операторов, подходящих для этих когерентных состояний.

Алгебраическая квантовая гравитация (AQG)

Основная программа ограничений превратилась в полностью комбинаторную трактовку гравитации, известную как алгебраическая квантовая гравитация (AQG).[50] Оператор главного ограничения без изменения графа адаптирован в рамках алгебраической квантовой гравитации. Хотя AQG вдохновлен LQG, он радикально отличается от него, потому что в AQG принципиально нет топологии или дифференциальной структуры - он не зависит от фона в более общем смысле и, возможно, может что-то сказать об изменении топологии. В этой новой формулировке квантовой гравитации полуклассические состояния AQG всегда управляют флуктуациями всех имеющихся степеней свободы. Это делает полуклассический анализ AQG превосходящим анализ LQG, и был достигнут прогресс в установлении его правильного полуклассического предела и обеспечении контакта со знакомой физикой низких энергий.[51][52]

Физические приложения LQG

Энтропия черной дыры

Параметр Иммирзи (он же параметр Барберо-Иммирзи) - это числовой коэффициент, появляющийся в петлевой квантовой гравитации. Может принимать реальные или мнимые значения.

Художник, изображающий двух черные дыры слияние, процесс, в котором законы термодинамики поддерживаются.

Термодинамика черных дыр - это область исследований, которая стремится примирить законы термодинамики с существованием черная дыра горизонты событий. В нет предположения о волосах общей теории относительности утверждает, что черная дыра характеризуется только своим масса, его плата, и это угловой момент; следовательно, у него нет энтропия. Получается, что можно нарушить второй закон термодинамики сбросив объект с ненулевой энтропией в черную дыру.[53] Работа Стивен Хокинг и Якоб Бекенштейн показали, что можно сохранить второй закон термодинамики, приписывая каждой черной дыре энтропия черной дыры

где - площадь горизонта событий дыры, это Постоянная Больцмана, и это Планковская длина.[54] Тот факт, что энтропия черной дыры также является максимальной энтропией, которую можно получить с помощью Бекенштейн связан (в котором граница Бекенштейна становится равенством) было главным наблюдением, которое привело к голографический принцип.[53]

Недостатком в применении теоремы о безволосости является предположение, что соответствующие степени свободы, учитывающие энтропию черной дыры, должны быть классическими по своей природе; что, если бы они были чисто квантово-механическими и имели ненулевую энтропию? Собственно, это то, что реализовано в LQG-выводе энтропии черной дыры, и может рассматриваться как следствие ее независимости от фона - классическое пространство-время черной дыры происходит из полуклассического предела квантовое состояние гравитационного поля, но есть много квантовых состояний, которые имеют один и тот же полуклассический предел. В частности, в LQG[55]с микросостоянием можно связать квантово-геометрическую интерпретацию: это квантовая геометрия горизонта, согласованная с областью, , черной дыры и топологии горизонта (т. е. сферической). LQG предлагает геометрическое объяснение конечности энтропии и пропорциональности площади горизонта.[56][57] Эти расчеты были обобщены для вращающихся черных дыр.[58]

Представление квантовой геометрии горизонта. Полимерные возбуждения в объеме прокалывают горизонт, наделяя его квантованной площадью. По сути, горизонт плоский, за исключением точек, где он приобретает квантованный вид. угол дефицита или квантованная величина кривизны. Эти углы дефицита в сумме составляют .

Из ковариантной формулировки полной квантовой теории можно вывести (Пенопласт ) правильное соотношение между энергией и площадью (1-й закон), Температура Унру и распределение, которое дает энтропию Хокинга.[59] В расчетах используется понятие динамический горизонт и сделано для неэкстремальных черных дыр.

Недавний успех теории в этом направлении - вычисление энтропия всех несингулярных черных дыр прямо из теории и независимо от Параметр Иммирзи.[59][60] Результатом является ожидаемая формула , где энтропия и площадь черной дыры, полученная Бекенштейном и Хокингом на эвристических основаниях. Это единственный известный вывод этой формулы из фундаментальной теории для случая типичных неособых черных дыр. Предыдущие попытки этого расчета имели трудности. Проблема заключалась в том, что, хотя квантовая гравитация Петли предсказывала, что энтропия черной дыры пропорциональна площади горизонта событий, результат зависел от важнейшего свободного параметра теории, вышеупомянутого параметра Иммирци. Однако нет известных вычислений параметра Иммирзи, поэтому его пришлось исправить, потребовав согласования с Бекенштейн и Хокинга расчет энтропия черной дыры.

Излучение Хокинга в петлевой квантовой гравитации

Детальное исследование квантовой геометрии горизонта черной дыры было проведено с использованием петлевой квантовой гравитации.[57] Циклическое квантование воспроизводит результат для энтропия черной дыры первоначально обнаруженный Бекенштейн и Хокинг. Кроме того, это привело к вычислению поправок квантовой гравитации к энтропии и излучению черных дыр.

Основываясь на флуктуациях площади горизонта, квантовая черная дыра демонстрирует отклонения от спектра Хокинга, которые можно было бы наблюдать, если бы Рентгеновские лучи от излучения Хокинга испаряющегося изначальные черные дыры быть замеченным.[61] Квантовые эффекты сосредоточены на наборе дискретных и несмешанных частот, сильно выраженных в верхней части спектра излучения Хокинга.[62]

Звезда Планка

В 2014 Карло Ровелли и Франческа Видотто предложил, что есть Звезда Планка внутри каждого черная дыра.[63] На основе LQG теория утверждает, что когда звезды схлопываются в черные дыры, плотность энергии достигает планковской плотности энергии, вызывая силу отталкивания, которая создает звезду. Более того, существование такой звезды решило бы проблему брандмауэр черной дыры и парадокс информации о черной дыре.

Петлевая квантовая космология

В популярной и технической литературе есть обширные ссылки на связанные с LQG темы петлевой квантовой космологии. LQC был в основном разработан Мартином Бойовальдом, он был популяризирован квантовой космологией Петли в Scientific American для предсказания Большой отскок до Большой взрыв.[64] Петлевая квантовая космология (LQC) - это модель классической общей теории относительности с уменьшенной симметрией, квантованная с использованием методов, имитирующих методы петлевой квантовой гравитации (LQG), которая предсказывает «квантовый мост» между сжимающимися и расширяющимися космологическими ветвями.

Достижениями LQC было разрешение сингулярности Большого взрыва, предсказание Большого скачка и естественный механизм для инфляция.

Модели LQC имеют общие черты LQG, поэтому они являются полезной игрушечной моделью. Однако полученные результаты подчиняются обычному ограничению, заключающемуся в том, что усеченная классическая теория, затем квантованная, может не отображать истинное поведение полной теории из-за искусственного подавления степеней свободы, которые могут иметь большие квантовые флуктуации в полной теории. Утверждалось, что предотвращение сингулярности в LQC обеспечивается механизмами, доступными только в этих ограничительных моделях, и что предотвращение сингулярности в полной теории все еще может быть получено, но с помощью более тонкой особенности LQG.[65][66]

Феноменология петлевой квантовой гравитации

Известно, что эффекты квантовой гравитации трудно измерить, потому что планковская длина невероятно мала. Однако в последнее время физики начали рассматривать возможность измерения эффектов квантовой гравитации в основном с помощью астрофизических наблюдений и детекторов гравитационных волн. Энергия этих флуктуаций на столь малых масштабах вызывает пространственные возмущения, которые видны на более высоких масштабах.

Амплитуды рассеяния, не зависящие от фона

Петлевая квантовая гравитация сформулирована на независимом от фона языке. Никакое пространство-время не предполагается априори, а скорее построено на самих состояниях теории - однако амплитуды рассеяния выводятся из -точечные функции (Корреляционная функция ) и они, сформулированные в традиционной квантовой теории поля, являются функциями точек фонового пространства-времени. Связь между формализмом, не зависящим от фона, и традиционным формализмом квантовой теории поля в данном пространстве-времени далеко не очевидна, и далеко не очевидно, как восстановить низкоэнергетические величины из полной независимой от фона теории. Хотелось бы вывести -точечные функции теории из формализма, не зависящего от фона, чтобы сравнить их со стандартным пертурбативным разложением квантовой общей теории относительности и, следовательно, проверить, что петлевая квантовая гравитация дает правильный предел низких энергий.

Предложена стратегия решения этой проблемы;[67] идея состоит в том, чтобы изучить граничную амплитуду, а именно интеграл по путям в конечной области пространства-времени, рассматриваемый как функцию граничного значения поля.[68][69] В традиционной квантовой теории поля эта граничная амплитуда хорошо определена.[70][71] и кодирует физическую информацию теории; это происходит и в квантовой гравитации, но полностью независимым от фона образом.[72] Общековариантное определение -точечные функции могут быть основаны на идее, что расстояние между физическими точками - аргументы -точечная функция определяется состоянием гравитационного поля на границе рассматриваемой области пространства-времени.

Достигнут прогресс в вычислении таким образом независимых от фона амплитуд рассеяния с использованием спиновых пен. Это способ извлечь физическую информацию из теории. Были сделаны заявления о воспроизведении правильного поведения амплитуд рассеяния гравитона и о восстановлении классической гравитации. «Мы рассчитали закон Ньютона, исходя из мира без пространства и времени». - Карло Ровелли.

Гравитоны, теория струн, суперсимметрия, дополнительные измерения в LQG

Некоторые квантовые теории гравитации постулируют квантовое поле со спином 2, которое квантуется, давая начало гравитонам. В теории струн обычно начинают с квантованных возбуждений поверх классически фиксированного фона. Таким образом, эта теория описывается как зависящая от фона. Такие частицы, как фотоны, а также изменения в геометрии пространства-времени (гравитоны) описываются как возбуждения на мировом листе струны. Фоновая зависимость теории струн может иметь важные физические последствия, такие как определение числа поколений кварков. Напротив, петлевая квантовая гравитация, как и общая теория относительности, явно не зависит от фона, что устраняет необходимость в теории струн. Петлевая квантовая гравитация, как и теория струн, также направлена ​​на преодоление неперенормируемых расхождений квантовых теорий поля.

LQG никогда не вводит фон и возбуждения, живущие на этом фоне, поэтому LQG не использует гравитоны в качестве строительных блоков. Вместо этого можно ожидать, что можно будет восстановить своего рода полуклассический предел или предел слабого поля, где снова появится что-то вроде «гравитонов». Напротив, гравитоны играют ключевую роль в теории струн, где они являются одними из первых (безмассовых) уровней возбуждений суперструны.

LQG отличается от теории струн тем, что она сформулирована в 3-х и 4-х измерениях и не содержит суперсимметрии или Калуца-Клейн дополнительные измерения, в то время как последнее требует, чтобы оба были верными. На сегодняшний день нет экспериментальных данных, подтверждающих предсказания теории струн о суперсимметрии и дополнительных измерениях Калуцы – Клейна. В статье 2003 г. «Диалог о квантовой гравитации»[73] Карло Ровелли рассматривает тот факт, что LQG сформулирован в четырех измерениях и без суперсимметрии, как сильную сторону теории, поскольку она представляет собой наиболее скупой объяснение, согласующееся с текущими экспериментальными результатами, по сравнению с конкурирующей струнной / М-теорией. Сторонники теории струн часто указывают на тот факт, что, среди прочего, она наглядно воспроизводит установленные теории общей теории относительности и квантовой теории поля в соответствующих пределах, что петлевая квантовая гравитация изо всех сил пытается сделать. В этом смысле связь теории струн с установившейся физикой можно считать более надежной и менее умозрительной на математическом уровне. Петлевая квантовая гравитация ничего не говорит о материи (фермионах) во Вселенной.

Поскольку LQG сформулирована в четырех измерениях (с суперсимметрией и без нее), а М-теория требует суперсимметрии и одиннадцати измерений, прямое сравнение этих двух измерений невозможно. Можно расширить основной формализм LQG на многомерную супергравитацию, общую теорию относительности с суперсимметрией и дополнительные измерения Калуцы – Клейна, если экспериментальные доказательства подтвердят их существование. Следовательно, было бы желательно иметь в своем распоряжении квантование петли супергравитации более высокой размерности, чтобы сравнить эти подходы. Фактически, ряд недавних работ был опубликован с попыткой именно этого.[74][75][76][77][78][79][80][81] Совсем недавно Тиман (и его выпускники) добились прогресса в вычислении энтропии черной дыры для супергравитации в более высоких измерениях. Было бы интересно сравнить эти результаты с соответствующими вычислениями суперструн.[82][83]

LQG и связанные исследовательские программы

Несколько исследовательских групп попытались объединить LQG с другими исследовательскими программами: Johannes Aastrup, Jesper M. Grimstrup et al. исследования объединяет некоммутативная геометрия с канонической квантовой гравитацией и аштекарскими переменными,[84] Лоран Фрейдель, Симоне Специале и др., спиноры и твисторная теория с петлевой квантовой гравитацией,[85][86] и Ли Смолин и др. с Верлинде энтропийная гравитация и петлевая гравитация.[87] Стефон Александр, Антонино Марчиано и Ли Смолин попытались объяснить происхождение слабая сила хиральность в терминах переменных Ашкетара, которые описывают гравитацию как киральную,[88] и LQG с Теория Янга – Миллса поля[89] в четырех измерениях. Сандэнс Билсон-Томпсон, Hackett et al.,[90][91] попытался представить стандартную модель с помощью степеней свободы LQG как эмерджентного свойства (используя идею бесшумные подсистемы, полезное понятие, введенное в более общей ситуации для систем с ограничениями Фотини Маркопулу-Каламара и другие.[92])

Кроме того, LQG проводит философские сравнения с причинная динамическая триангуляция[93] и асимптотически безопасная гравитация,[94] и пенопласт с теория группового поля и AdS / CFT корреспонденция.[95] Смолин и Вен предложили объединить LQG с струнно-чистая жидкость, тензоры, Смолин и Фотини Маркопулу-Каламара квантовая графичность. Существует подход последовательной дискретизации. Также Пуллин и Гамбини обеспечить основу для подключения интеграл по путям и канонические подходы к квантовой гравитации. Они могут помочь согласовать подходы спиновой пены и канонического представления петель. Недавнее исследование Криса Дастона и Матильда Марколли вводит изменение топологии через сети топспинов.[96]

Проблемы и сравнения с альтернативными подходами

Некоторые из основных нерешенных проблем в физике являются теоретическими, а это означает, что существующие теории кажутся неспособными объяснить определенное наблюдаемое явление или экспериментальный результат. Остальные являются экспериментальными, а это означает, что создать эксперимент для проверки предложенной теории или более детального исследования явления сложно.

Многие из этих проблем относятся к LQG, в том числе:

  • Можно ли реализовать квантовую механику и общую теорию относительности как полностью непротиворечивую теорию (возможно, как квантовую теорию поля)?
  • По сути, пространство-время непрерывно или дискретно?
  • Будет ли последовательная теория включать силу, опосредованную гипотетическим гравитоном, или быть продуктом дискретной структуры самого пространства-времени (как в петлевой квантовой гравитации)?
  • Есть ли отклонения от предсказаний общей теории относительности в очень малых или очень больших масштабах или в других экстремальных обстоятельствах, которые вытекают из квантовой теории гравитации?

Теория LQG - одно из возможных решений проблемы квантовой гравитации, как и теория струн. Однако есть существенные различия. Например, теория струн также обращается к объединение, понимание всех известных сил и частиц как проявлений единой сущности, постулируя дополнительные измерения и пока еще ненаблюдаемые дополнительные частицы и симметрии. В отличие от этого, LQG основана только на квантовой теории и общей теории относительности, и ее объем ограничен пониманием квантовых аспектов гравитационного взаимодействия. С другой стороны, последствия LQG радикальны, потому что они фундаментально меняют природу пространства и времени и дают предварительную, но подробную физическую и математическую картину квантового пространства-времени.

В настоящее время не было показано, что существует полуклассический предел, восстанавливающий общую теорию относительности. Это означает, что остается недоказанным, что LQG описывает пространство-время в Планковский масштаб имеет правильный континуальный предел (описывается общей теорией относительности с возможными квантовыми поправками). В частности, динамика теории закодирована в Гамильтонова связь, но нет кандидата Гамильтониан.[97] Другие технические проблемы включают поиск вне оболочки закрытие алгебры ограничений и физического внутреннего продукта векторное пространство, связь с полями материи квантовая теория поля судьба перенормировка из гравитон в теория возмущений что приводит к ультрафиолетовое расхождение вне 2-х петель (см. однопетлевая диаграмма Фейнмана в Диаграмма Фейнмана ).[97]

Хотя было предложение относительно наблюдения за голые особенности,[98] и двойная специальная теория относительности как часть программы под названием петля квантовой космологии, нет экспериментального наблюдения, для которого петлевая квантовая гравитация делает предсказание, отличное от Стандартной модели или общей теории относительности (проблема, которая поражает все современные теории квантовой гравитации). Из-за вышеупомянутого отсутствия полуклассического предела LQG еще даже не воспроизвела предсказания, сделанные общей теорией относительности.

Альтернативная критика состоит в том, что общая теория относительности может быть эффективная теория поля, и поэтому квантование игнорирует фундаментальные степени свободы.

ЕКА с ИНТЕГРАЛ спутник измерял поляризацию фотонов с разной длиной волны и смог установить предел в гранулярности пространства[99]что меньше 10 мкм или на 13 порядков ниже планковского масштаба.

Смотрите также

Заметки

Цитаты

  1. ^ Гамбини и Пуллин 2020.
  2. ^ Ровелли 2008.
  3. ^ Ровелли 2011.
  4. ^ Муксин 2011, п. 064010.
  5. ^ Fairbairn & Meusburger 2011.
  6. ^ Ровелли 2004, п. 71.
  7. ^ Кауфман и Смолин 1997.
  8. ^ Смолин 2006, стр. 196ff.
  9. ^ Ровелли 2004, стр. 13ff.
  10. ^ а б Thiemann 1996 С. 257–264.
  11. ^ Баэз и де Муниайн 1994, Часть III, глава 4.
  12. ^ Thiemann 2003 С. 41–135.
  13. ^ а б Ровелли и Смолин 1988 С. 1155–1958.
  14. ^ Гамбини и Пуллин 2011, Раздел 8.2.
  15. ^ Фернандо и Барберо 1995a С. 5498–5506.
  16. ^ Фернандо и Барберо 1995b С. 5507–5520.
  17. ^ Бойовальд и Перес 2009, п. 877.
  18. ^ Барретт и Крейн 2000, стр. 3101–3118.
  19. ^ Ровелли и Алеши 2007, п. 104012.
  20. ^ Энгл, Перейра и Ровелли 2009, п. 161301.
  21. ^ Фрейдель и Краснов 2008, п. 125018.
  22. ^ Ливин и Специя 2008, п. 50004.
  23. ^ Алеши, Тиманн и Ципфель, 2011 г., п. 024017.
  24. ^ Бом 1989.
  25. ^ Типлер и Ллевеллин, 2008 г. С. 160–161.
  26. ^ Бор 1920 С. 423–478.
  27. ^ Джаммер 1989, Раздел 3.2.
  28. ^ Аштекар, Бомбелли и Коричи 2005, п. 025008.
  29. ^ Левандовски и др. 2006 г. С. 703–733.
  30. ^ Флейшхак 2006, п. 061302.
  31. ^ а б Тиманн 2008, Раздел 10.6.
  32. ^ Диттрих 2007, стр. 1891–1927.
  33. ^ Диттрих 2006, стр. 6155–6184.
  34. ^ Дрейер, Маркопулу и Смолин, 2006 г., стр. 1–13.
  35. ^ Крибс и Маркопулу 2005.
  36. ^ а б Thiemann 2006a С. 2211–2247.
  37. ^ Тиман, Томас (2007) Введение в современную каноническую квантовую общую теорию относительности. Издательство Кембриджского университета
  38. ^ Диттрих и Тиманн 2006a С. 1025–1066.
  39. ^ Диттрих и Тиман, 2006b С. 1067–1088.
  40. ^ Диттрих и Тиман, 2006c С. 1089–1120.
  41. ^ Диттрих и Тиманн 2006d С. 1121–1142.
  42. ^ Диттрих и Тиманн 2006e С. 1143–1162.
  43. ^ Thiemann 2006b С. 2249–2265.
  44. ^ Bahr & Thiemann 2007 С. 2109–2138.
  45. ^ Han & Thiemann 2010a, п. 225019.
  46. ^ Хан и Тиманн, 2010b, п. 092501.
  47. ^ Хан 2010, п. 215009.
  48. ^ Гамбини и Пуллин 2009, п. 035002.
  49. ^ Гамбини и Пуллин 2011, Раздел 10.2.2.
  50. ^ Гизель и Тиман 2007a С. 2465–2498.
  51. ^ Гизель и Тиман, 2007b С. 2499–2564.
  52. ^ Giesel & Thiemann 2007c С. 2565–2588.
  53. ^ а б Буссо 2002 С. 825–874.
  54. ^ Маджумдар 1998, п. 147.
  55. ^ Увидеть Список исследователей петлевой квантовой гравитации
  56. ^ Ровелли 1996 С. 3288–3291.
  57. ^ а б Аштекар и др. 1998 г. С. 904–907.
  58. ^ Аштекар, Энгл и Брок 2005, стр. L27.
  59. ^ а б Бьянки 2012.
  60. ^ Фродден, Гош и Перес, 2013, п. 121503.
  61. ^ Ансари 2007 С. 179–212.
  62. ^ Ансари 2008, стр. 635–644.
  63. ^ Ровелли и Видотто 2014, п. 1442026.
  64. ^ Бойовальд 2008.
  65. ^ Brunnemann & Thiemann 2006a, стр. 1395–1428.
  66. ^ Бруннеманн и Тиманн, 2006b С. 1429–1484.
  67. ^ Модесто и Ровелли 2005, п. 191301.
  68. ^ Oeckl 2003a С. 318–324.
  69. ^ Oeckl 2003b, стр. 5371–5380.
  70. ^ Конради и Ровелли 2004, п. 4037.
  71. ^ Doplicher 2004, п. 064037.
  72. ^ Конради и др. 2004 г., п. 064019.
  73. ^ Ровелли 2003 С. 1509–1528.
  74. ^ Бодендорфер, Thiemann & Thurn 2013a, п. 045001.
  75. ^ Бодендорфер, Тиман и Турн, 2013b, п. 045002.
  76. ^ Бодендорфер, Тиман и Турн, 2013c, п. 045003.
  77. ^ Бодендорфер, Thiemann & Thurn, 2013d, п. 045004.
  78. ^ Bodendorfer, Thiemann & Thurn, 2013e, п. 045005.
  79. ^ Бодендорфер, Тиман и Турн, 2012 г., п. 205.
  80. ^ Бодендорфер, Thiemann & Thurn, 2013f, п. 045006.
  81. ^ Bodendorfer, Thiemann & Thurn, 2013г., п. 045007.
  82. ^ Bodendorfer, Thiemann & Thurn, 2014 г., п. 055002.
  83. ^ Бодендорфер 2013 С. 887–891.
  84. ^ Aastrup 2012, п. 018.
  85. ^ Фрейдель и Специя 2010, п. 084041.
  86. ^ Специя и Виланд 2012, п. 124023.
  87. ^ Смолин 2010.
  88. ^ Александр, Марчиано и Смолин 2014, п. 065017.
  89. ^ Александр, Марчиано и Такки 2012, п. 330.
  90. ^ Билсон-Томпсон, Маркопулу и Смолин, 2007 г., стр. 3975–3994.
  91. ^ Билсон-Томпсон 2012, п. 014.
  92. ^ Ограниченная механика и бесшумные подсистемы, Томаш Конопка, Фотини Маркопулу, arXiv: gr-qc / 0601028.
  93. ^ PITP: Ренате Лолл.
  94. ^ Бьянки 2010.
  95. ^ Фрайдель 2008.
  96. ^ Дастон 2013.
  97. ^ а б Николай, Петерс и Замаклар, 2005 г., стр. R193 – R247.
  98. ^ Госвами, Джоши и Сингх, 2006 г., п. 31302.
  99. ^ https://www.esa.int/Science_Exploration/Space_Science/Integral_challenges_physics_beyond_Einstein

Процитированные работы

дальнейшее чтение

внешние ссылки