Эффект двойной трассировки деформации в AdS/CFT

Позвольте мне использовать эту статью в качестве ссылки для этого.

Я хочу лучше понять аргумент внизу страницы 6.

Если основная масса А г С метрика записывается как 1 р 2 ( г р 2 + А ( р ) г с б о ты н г а р у ( Икс ) 2 ) тогда поля свободных массивных скаляров на нем имеют вид ф "=" р Δ + ( α ( Икс ) ) + р Δ ( β ( Икс ) ) ,около р "=" 0 . (...и цифры Δ ± зависят от размерности AdS и массы поля..)

  • По их обозначениям их «регулярное» граничное условие в объеме соответствует постановке β ( Икс ) (коэффициент р Δ ) к нулю на границе и ставится «обычное» краевое условие α ( Икс ) (коэффициент р Δ + ) до нуля.

    Как это совместимо с тем, что при использовании регулярного граничного условия дуальная КТП обязательно должна иметь член вида г г Икс β ( Икс ) О ( Икс ) где О имеет измерение Δ + и α "=" О ?

    Я думал, что они сами сказали, что в штатном сценарии β устанавливается на 0 на границе - то что это β ( Икс ) что фигурирует в пограничном действии?

  • Ниже уравнения 3.19 они утверждают, что когда деформация двойного следа граничной КТМ отключена, она видит «неправильный» сценарий, а когда она обращена к бесконечности, она видит обычный сценарий.

    Но как можно утверждать, что регулярный сценарий является фиксированной точкой ИК, а нерегулярный сценарий является фиксированной точкой УФ для граничной CFT? Где этот аргумент?

  • Переосмысление раздела 4 этой статьи по-другому. Предположим, кто-то хочет вычислить определитель объемной теории. г е т ( 2 + м 2 ) взяв произведение собственных значений. Кто-то хочет сказать, что вычисляет детерминант, когда объем был проквантован с Δ + граничное условие. (...по-видимому, можно задать тот же вопрос с Δ также..)

    Если основная масса А г С г + 1 то можно видеть, что асимптотика малых r ( р "=" 0 – граница AdS в заплатке Пуанкаре) гармоник имеют вид # г^{а} + # г^{б} для некоторых значений а и б (которые зависят от собственного значения и г ).

    Теперь, зная приведенную выше асимптотику малых r гармоник, как можно выбрать, какая из них будет вносить вклад в указанный выше определитель, скажем, Δ + граничное условие? Может кто-нибудь схематически набросать, как выглядит расчет?

Я согласен с тем, что предложение «Для общих масс поле должно быть проквантовано с краевым условием β "=" 0 , так называемый "регулярный" выбор граничных условий." не ясен (по крайней мере для меня). β "=" β ( Икс ) является функцией Икс , а не функция р , так что на первый взгляд кажется нонсенсом говорить о краевом условии для β . Это другая граница? В одной из цитируемых статей больше информации (см. уравнение 2,9 страница 6 ), но ничего определенного.
хм..спасибо :) Было бы здорово, если бы вы могли помочь и с двумя другими пунктами..:)

Ответы (1)

Возможный намек:

Следующие уравнения 2,5 2,7 ), мы можем определить ядра - преобразование Фурье 2 -точечная функция - для предельных случаев ( ф "=" 0 , ф "=" + ):

г ± ( к ) г г к   е я к . Икс 1 Икс 2 Δ ±

Имеем тогда: г ± ( к )   к ± 2 ν , где ν > 0

Мы видим, что в УФ ядро г + расходится, поэтому в УФ не актуален, а в ИК сходится. Точно так же в ИК ядро г расходится, поэтому не относится к ИК, но сходится в УФ, поэтому было бы естественно связать конформную размерность Δ ( ф "=" 0 ), с УФ и конформной размерностью Δ + ( ф "=" + ) с их.

У нас был бы поток RG, который начинается с ф "=" 0 в УФ, чтобы закончить в ф "=" + в их

Наконец, список терминов, используемых в статье, которые не всегда понятны:

U В я р ф "=" 0 ф "=" + " я р р е г ты л а р " д ты а н т я г а т я о н " р е г ты л а р " д ты а н т я г а т я о н Δ Δ + " я р р е г ты л а р " б о ты н г а р у в а л ты е " р е г ты л а р " б о ты н г а р у в а л ты е α "=" с о ты р с е β "=" с о ты р с е β "=" О α "=" О γ "=" Δ γ "=" +

Ты не испортил свой стол? :) Я думал, что на странице 6 было сказано, что ИК - это обычный сценарий, когда β выключен, но также использует граничный оператор О чье вакуумное математическое ожидание равно α ? :)
Аргумент между 2,4-2,9 для меня совершенно непрозрачен! Там слишком много вещей, которые не имеют для меня смысла. (1) Чтобы 2.3 и 2.1 были равны, они должны иметь, г е т ( я ф ) Д о е ( о + ф О ) 2 2 ф "=" 1 Как это правда!? Можно думать о выполнении интеграла Гаусса, заменяя поле у "=" я ( о + ф О ) ф но этот интеграл по пути оценивается как я ф г е т ( я )
(2) Чтобы использовать факторизацию 2.4 с большим N в 2.3, разве им это не нужно? < е [ о 2 2 ф + ( о + Дж ) О ] > 0 =< е [ о 2 2 ф ] > 0 < е [ ( о + Дж ) О ] > 0 И почему это должно быть правдой!?
(3) И даже если я приму все сказанное до этого, я не вижу, как из всего этого следует 2,9!
а) Я сделал ошибку с регулярным/нерегулярным квантованием => исправил. Но остальные элементы таблицы правильные. Я, конечно, не понимаю, β "=" 0 выключить.
б) переход от 2.3 к 2.1 прост (с точностью до константы): представьте себе о как одномерная переменная. У вас есть : г о е 1 2 ( ф 1 ) о 2 + о О "=" 2 π г е т ( ф 1 ) е 1 2 ( ф ) О 2 . Итак, теперь, с базовой алгеброй (и вплоть до глобальной константы перенормировки), вы получили 2.1
в) Относительно оператора О ( Икс ) (вы можете видеть О ( Икс ) тоже как случайная величина) о ( Икс ) или Дж ( Икс ) появляются как "константы" (нет случайных величин или операторов, есть простые функции), так что да, ваша факторизация в вашем комментарии ( 2 ) верно.
г) для вашего последнего пункта ( 3 ) , вы должны использовать 2,4 и используйте стандартную функцию 2_point. Идея состоит в том, чтобы найти новую двухточечную функцию ( 2,9 ), 2.10 . Если вы зададите новый вопрос PSE, я его посмотрю, там есть над чем поработать, я думаю
Почему вы интегрируете, Д о е 1 2 ( ф 1 ) о 2 + о О ? Эта форма о зависимость является лишь следствием вставки в оригинал 2.1 фактор формы Д о е ( о + ф О ) 2 2 ф - и этот коэффициент можно вставить (с поправкой на префактор) только если Д е т ( я ф ) Д о е ( о + ф О ) 2 2 ф "=" 1 - и это тождество не выглядит верным, если кто-то не согласится произвольно изменить префакторы.
Для общей функции г ( о ( Икс ) , О ( Икс ) ) , у вас есть : Д о   е   г Икс   г ( о ( Икс ) , О ( Икс ) ) "=" Π Икс г о ( Икс )   е   г Икс   г ( о ( Икс ) , О ( Икс ) ) "=" Π Икс г о ( Икс )   Π Икс е г ( о ( Икс ) , О ( Икс ) ) "=" Π Икс г о ( Икс ) е г ( о ( Икс ) , О ( Икс ) )