El efecto de deformación de doble trazo en AdS/CFT

Permítanme usar este documento como referencia para esto.

Quiero entender mejor el argumento al final de la página 6.

si el bulto A d S la métrica se escribe como 1 r 2 ( d r 2 + A ( r ) d s b o tu norte d a r y ( X ) 2 ) entonces los campos escalares masivos libres en él son de la forma, ϕ = r Δ + ( α ( X ) ) + r Δ ( β ( X ) ) ,cerca r = 0 . (... y los números Δ ± dependen de la dimensionalidad del AdS y la masa del campo..)

  • Según su notación, su condición de contorno "regular" en general corresponde al establecimiento β ( X ) (el coeficiente de r Δ ) a cero en el límite y se establece la condición de límite "regular" α ( X ) (el coeficiente de r Δ + ) a cero.

    ¿Cómo es esto compatible con el hecho de que al usar la condición de frontera regular la CFT dual necesariamente necesita tener un término de la forma d d X β ( X ) O ( X ) dónde O tiene dimensión Δ + y α = O ?

    Pensé que ellos mismos decían que en el escenario regular el β se está configurando para 0 en el límite, entonces, ¿qué es esto? β ( X ) que se presenta en la acción límite?

  • Debajo de la ecuación 3.19, argumentan que cuando se apaga la deformación de doble trazo del límite CFT, se ve el escenario "irregular" y cuando se gira al infinito, se ve el escenario regular.

    Pero, ¿cómo se argumenta que el escenario regular es el punto fijo IR y el escenario irregular es el punto fijo UV para el límite CFT? ¿Dónde está ese argumento?

  • Repensando la sección 4 de este documento de una manera diferente: supongamos que uno quiere calcular el determinante de la teoría del volumen. d mi t ( 2 + metro 2 ) tomando el producto de los valores propios. Uno quiere decir calcular el determinante cuando el grueso ha sido cuantificado con el Δ + condición de contorno. (... uno puede presumiblemente hacer la misma pregunta con Δ también..)

    Si el grueso es A d S d + 1 entonces se puede ver que las asintóticas con r minúscula ( r = 0 es el límite de AdS en el parche de Poincaré) de los armónicos son de la forma, # r^{a} + # r^{b} para algunos valores a y b (que dependen del valor propio y d ).

    Ahora, conociendo las asintóticas de r minúscula de los armónicos, ¿cómo se elige cuál de estos contribuirá al determinante anterior con, por ejemplo, el Δ + condición de contorno? ¿Alguien puede dibujar esquemáticamente cómo se ve el cálculo?

Estoy de acuerdo en que la oración "Para masas generales, el campo debe cuantificarse con la condición de contorno β = 0 , la llamada elección "regular" de las condiciones de contorno" no está clara (al menos para mí). β = β ( X ) es una función de X , no es una función de r , por lo que a primera vista parece una tontería hablar de una condición de frontera para β . ¿Es un límite diferente? En uno de los artículos citados , hay más información (ver ecuación 2.9 página 6 ), pero nada definitivo.
hmm..gracias :) Sería genial si pudieras ayudar con los otros 2 puntos también... :)

Respuestas (1)

Una posible pista:

siguientes ecuaciones 2.5 2.7 ), podemos definir Kernels - transformada de Fourier de la 2 -función de punto - para los casos límite ( F = 0 , F = + ) :

GRAMO ± ( k ) d d k   mi i k . X 1 X 2 Δ ±

Tenemos entonces: GRAMO ± ( k )   k ± 2 v , dónde v > 0

Vemos, que en la UV, el kernel GRAMO + diverge, por lo que no es relevante en el UV, pero converge en el IR. De la misma manera, en el IR, el kernel GRAMO diverge, por lo que no es relevante para el IR, pero converge en el UV, por lo que parecería natural asociar la dimensión conforme Δ ( F = 0 ), con la UV y la dimensión conforme Δ + ( F = + ) con su.

Tendríamos un flujo RG que comienza con F = 0 en la UV, para terminar en F = + en el infrarrojo

Finalmente, una lista de los términos empleados en el artículo, que no siempre son claros:

tu V I R F = 0 F = + " i r r mi gramo tu yo a r " q tu a norte t i z a t i o norte " r mi gramo tu yo a r " q tu a norte t i z a t i o norte Δ Δ + " i r r mi gramo tu yo a r " b o tu norte d a r y v a yo tu mi " r mi gramo tu yo a r " b o tu norte d a r y v a yo tu mi α = s o tu r C mi β = s o tu r C mi β = O α = O γ = Δ γ = +

¿No has ensuciado tu mesa por completo? :) Pensé que lo que se dijo en la página 6 era que el IR es el escenario normal cuando β está apagado pero también está generando el operador de límite O cuyo valor esperado de vacío es α ? :)
¡El argumento entre 2.4-2.9 es completamente opaco para mí! Hay demasiadas cosas allí que no tienen sentido para mí. (1) Para que 2.3 y 2.1 sean iguales, deben tener, d mi t ( I F ) D σ mi ( σ + F O ) 2 2 F = 1 ¿¡Cómo es esto cierto!? Se puede pensar en hacer la integral gaussiana sustituyendo el campo y = i ( σ + F O ) F pero esa integral de trayectoria se evaluaría como i F d mi t ( I )
(2) Para usar la factorización N grande 2.4 en 2.3, ¿no necesitan eso? < mi [ σ 2 2 F + ( σ + j ) O ] > 0 =< mi [ σ 2 2 F ] > 0 < mi [ ( σ + j ) O ] > 0 ¿¡Y por qué debería ser esto cierto!?
(3) E incluso si asumo todo lo dicho antes, ¡no veo cómo se deduce 2.9 de todo eso!
a) Cometí un error con la cuantificación regular/irregular => corregido. Pero los demás elementos de la tabla son correctos. Por supuesto, no entiendo el β = 0 apagar.
b) El paso de 2.3 a 2.1 es simple (hasta una constante): Imagina σ como una variable unidimensional. Tienes : d σ mi 1 2 ( F 1 ) σ 2 + σ O = 2 π d mi t ( F 1 ) mi 1 2 ( F ) O 2 . Entonces, ahora, con álgebra básica (y hasta una constante de renormalización global), tienes 2.1
c) En relación con el operador O ( X ) (usted puede ver O ( X ) también como una variable aleatoria), σ ( X ) o j ( X ) aparecen como "constantes" (no hay variables u operadores aleatorios, hay funciones simples), así que sí, su factorización en su comentario ( 2 ) es correcto.
d) Para su último punto ( 3 ) , tienes que usar 2.4 y utilice la función estándar de 2_puntos. La idea es encontrar la nueva función de 2 puntos ( 2.9 ), 2.10 . Si hace una nueva pregunta de PSE, la miraré, hay un poco de trabajo por hacer, creo
¿Por qué te integras? D σ mi 1 2 ( F 1 ) σ 2 + σ O ? Esta forma de la σ la dependencia es sólo una consecuencia de insertar en el original 2.1 un factor de la forma D σ mi ( σ + F O ) 2 2 F - y este factor se puede insertar (con el ajuste del prefactor) solo si D mi t ( I F ) D σ mi ( σ + F O ) 2 2 F = 1 - y esta identidad no parece verdadera a menos que uno acepte cambiar arbitrariamente los prefactores.
Para una función general GRAMO ( σ ( X ) , O ( X ) ) , tienes : D σ   mi   d X   GRAMO ( σ ( X ) , O ( X ) ) = Π X d σ ( X )   mi   d X   GRAMO ( σ ( X ) , O ( X ) ) = Π X d σ ( X )   Π X mi GRAMO ( σ ( X ) , O ( X ) ) = Π X d σ ( X ) mi GRAMO ( σ ( X ) , O ( X ) )