¿Integral de función escalar de 3 puntos de AdS/CFT a partir de la parametrización de Feynman?

En este artículo, la función escalar de 3 puntos en AdS/CFT se obtiene realizando la siguiente integral:

ingrese la descripción de la imagen aquí

Los autores comentan que obtienen el resultado por integración de parámetros de Feynman. Para practicar, quería reproducir el mismo resultado, así que busqué la página de Wikipedia sobre los parámetros de Feynman :

ingrese la descripción de la imagen aquí

El problema aquí es la condición Re ( α j ) > 0 , mientras que hay ( a ) > 0 en la integral anterior (22) daría lugar a una parte real negativa de un alfa.

¿Se conocen otras variaciones de la parametrización de Feynman que cubrirían el caso en cuestión? ¡Gracias por cualquier sugerencia!

EDITAR:

Pretendiendo que la restricción de la parte real no es un problema y simplemente aplicando la regla, obtengo el mismo resultado que en el papel multiplicado por lo siguiente:

Γ ( C d 2 ) Γ ( 1 2 ( 2 C + d + 2 ) ) Γ ( a + b + C d ) Γ ( a b C + d + 1 ) Γ ( 1 2 a 2 ) Γ ( a 2 + 1 2 ) Γ ( a 2 + b d 2 + 1 2 ) Γ ( a 2 b + d 2 + 1 2 )

que es equivalente a

porque ( π a 2 ) porque ( 1 2 π ( a 2 b + d ) ) pecado ( π C π d 2 ) pecado ( π ( a b C + d ) )

Y debo mencionar que aquí nuevamente tuve que ignorar la restricción ( C ) > ( A + B ) al evaluar el caso especial de la función hipergeométrica de Gauss .

El hecho de que se hayan violado dos instancias de restricciones "mayor que" me hace esperar que pueda haber un enfoque de parámetro de Feynman adecuado en el que se cumplan todos los criterios de convergencia y no aparezcan factores adicionales extravagantes.

¿Quizás alguien sabe una referencia adecuada?

¿Ignorar las restricciones y luego continuar analíticamente? Siempre que no tenga que cruzar cortes de ramas para llegar al área de interés, la respuesta sería correcta.
@Prahar ¡Gracias! Sí, eso es lo que intenté, pero el factor adicional que obtengo parece no ser trivial y arruina las cosas. Supongo que probaré una parametrización genérica de Schwinger desde cero.

Respuestas (1)

Hace unos meses, también necesitaba el resultado de este cálculo del diagrama de Witten de tres puntos de contacto de Freedman, Mathur, Matusis y Rastelli. También me quedé estupefacto por la falta de detalles en su artículo, ya que todo lo que decían era "se hace fácilmente con los métodos convencionales de parámetros de Feynman". Así que descubrí mi propia derivación. Probablemente no sea lo que FMMR tenía en mente y no sea el enfoque más elegante, pero hace el trabajo y es matemáticamente riguroso. Va de la siguiente manera.

Dejar

tu := 0 d z 0 R d d z   z 0 a ( z 0 2 + ( z X ) 2 ) b ( z 0 2 + ( z y ) 2 ) C   .
Asumiendo b , C > 0 , insertamos la identidad 1 A α = 1 Γ ( α ) 0 d s   s α 1 mi s A dos veces para conseguir
tu = 1 Γ ( b ) Γ ( C ) 0 d z 0 R d d z 0 d s 0 d t   z 0 a s b 1 t C 1 Exp ( V 1 )
con
V 1 := s ( z 0 2 + ( z X ) 2 ) + t ( z 0 2 + ( z y ) 2 )
= s ( z 0 2 + X 2 ) + t ( z 0 2 + y 2 ) + ( s + t ) z 2 2 ( s X + t y ) z   .
De este modo
R d d z   Exp ( V 1 ) = mi s ( z 0 2 + X 2 ) t ( z 0 2 + y 2 ) R d d z   Exp ( ( s + t ) ( z s X + t y s + t ) 2 + ( s X + t y ) 2 s + t )
= Exp ( V 2 ) × ( π s + t ) d 2
con
V 2 := ( s X + t y ) 2 s + t s ( z 0 2 + X 2 ) t ( z 0 2 + y 2 )   ,
y después de calcular la integral de Gauss en z . Un poco de álgebra muestra
( s + t ) V 2 = ( s + t ) 2 z 0 2 s t ( X y ) 2   .
enchufar de nuevo en tu obtenemos
tu = π d 2 Γ ( b ) Γ ( C ) 0 d z 0 0 d s 0 d t   z 0 a s b 1 t C 1 ( s + t ) d 2 Exp ( ( s + t ) 2 z 0 2 s t ( X y ) 2 s + t )   .
Cambiar variables de z 0 a z 0 2 e integrar sobre este último. Proporcionó a > 1 , ahora obtenemos
tu = π d 2 Γ ( a + 1 2 ) 2 Γ ( b ) Γ ( C ) 0 d s 0 d t   s b 1 t C 1 ( s + t ) a + 1 + d 2 Exp ( s t s + t ( X y ) 2 )   .
Cambiar variables: o yo d   s = 1 ( X y ) 2 ×   norte mi w   s y o yo d   t = 1 ( X y ) 2 ×   norte mi w   t . Por eso,
tu = π d 2 Γ ( a + 1 2 ) 2 Γ ( b ) Γ ( C ) × | X y | a + 1 + d 2 b 2 C × W
con
W := 0 d s 0 d t   s b 1 t C 1 ( s + t ) a + 1 + d 2 Exp ( s t s + t )   .
Usamos la fórmula bivariada de cambio de variable para integrar sobre 0 < tu < y 0 < v < 1 relacionadas con las antiguas variables por
( s t ) = ( v tu ( 1 v ) tu )   .
El jacobiano es
| s tu s v t tu t v | = tu   .
Como resultado
W = 0 d tu 0 1 d v   v b 1 ( 1 v ) C 1 tu a + d + 1 2 + b + C 1   Exp [ tu v ( 1 v ) ]   .
Proporcionó a + d + 1 2 + b + C > 0 , podemos integrar en tu de modo que
W = Γ ( a + d + 1 2 + b + C ) × 0 1 d v   v a + d + 1 2 C 1 ( 1 v ) a + d + 1 2 b 1   .
Por supuesto, la última integral beta da una relación de funciones Gamma, por lo que en todos
tu := π d 2 2 | X y | a + 1 + d 2 b 2 C Γ ( a + 1 2 ) Γ ( a + d + 1 2 + b + C ) Γ ( a + d + 1 2 C ) Γ ( a + d + 1 2 b ) Γ ( b ) Γ ( C ) Γ ( a + d + 1 b C )
lo cual es válido cuando todos los argumentos de la función Gamma son positivos (o complejos con parte real positiva). Para ver que estas restricciones no son contradictorias, es mejor cambiar a las variables de dimensión de escala más simétricas.
{ Δ 1 = b Δ 2 = C Δ 3 = a + d + 1 b C
Las restricciones ascienden a Δ 1 , Δ 2 , Δ 3 siendo las longitudes de un triángulo no degenerado que es suficientemente grande, es decir, Δ 1 + Δ 2 + Δ 3 > d .

También debo mencionar que existen técnicas más sofisticadas para calcular diagramas de Witten. Véase, por ejemplo, las conferencias TASI de Penedones .

¡Así que la parametrización de Schwinger es al final del día! Gracias por esta respuesta detallada.
Todavía puedes probar el truco de Feynman. Sugiero aplicarlo solo en el b y C denominadores y dejar z o a solo. Mi derivación probablemente se puede reformular de esa manera.
Sí, mirando su cálculo parece ser el camino a seguir con los parámetros de Feynman, y promete ser incluso un poco más rápido. ¡Lo probaré!
Sí, recién verificado, aplicar la parametrización de Feynman solo a los dos denominadores conduce a su resultado exacto en solo unas pocas líneas, ¡y siempre con las condiciones de convergencia debidamente satisfechas!