Considere una teoría de campo escalar térmico, tenemos el funcional de partición
Una función de correlación euclidiana puede interpretarse como un valor esperado lorentziano "cortando" la integral de trayectoria y continuando la coordenada de tiempo.
Permítanme revisar cómo este procedimiento relaciona las funciones de correlación euclidiana en una variedad cerrada a los valores de expectativa térmica en una teoría cuántica de campo de Lorentz en . Llevar por simplicidad. Entonces la afirmación es que la correlación euclidiana funciona en calcular los valores esperados de los operadores locales en en estado térmico.
Comience con la integral de trayectoria euclidiana en sin inserciones de operadores. Imagine cortar el toro en una sección transversal circular en un tiempo euclidiano fijo, digamos . Obtenemos un cilindro de longitud delimitado por dos círculos en y . Esta integral de trayectoria prepara la matriz de densidad térmica , que toma un estado en y lo evoluciona hacia adelante en el tiempo euclidiano por . La función de partición térmica del QFT en , , luego se calcula pegando los dos extremos de la integral de trayectoria (debido a la traza), lo que simplemente produce la Función de partición euclidiana:
Ahora inserte algunos operadores locales en posiciones en el círculo en donde cortamos el toro. Entonces, por el mismo razonamiento anterior, la integral de trayectoria euclidiana en con estas inserciones de operadores calcula el valor de expectativa térmica de los operadores en el QFT en :
Finalmente, podemos calcular los valores de expectativa térmica de los operadores en diferentes épocas lorentzianas continuando el correlador euclidiano en a :
En otras palabras, calculamos la función de correlación euclidiana en e interpretar la respuesta como una función de variables complejas . Luego, para calcular el valor esperado de Lorentz, evaluamos la respuesta en .
Hemos considerado aquí funciones de correlación Euclidiana en ya que su pregunta se refería a los valores de expectativa térmica. Pero este procedimiento es completamente general. Si sabemos cómo calcular funciones de correlación euclidiana en una variedad cerrada , entonces podemos cortar en una rebanada en tiempo euclidiano fijo . Luego, al continuar la función de correlación euclidiana con el tiempo lorentziano, podemos interpretarlo como un valor esperado en un estado de la teoría lorentziana en .
Formalmente, el valor esperado corresponde a un contorno integral de trayectoria en el complejo -avión. primero el estado en se prepara mediante una integral de trayectoria euclidiana en la dirección del tiempo imaginario. Luego, el contorno gira y sube a lo largo de la dirección del tiempo real (Lorentziano) donde se insertan los operadores, luego gira y regresa a , donde la integral de trayectoria euclidiana que prepara el estado está pegado.