Estoy leyendo los métodos de campo de fondo en las conferencias EPFL sobre GR como EFT . Los autores usan esta identidad en la página 23, Ecuación (174):
Sí, OP tiene razón: las conferencias utilizan la integración de la ruta gaussiana y la identidad.
A continuación, las conferencias utilizan la relación de completitud.
La traza sobreviviente en el RHS de la última eq. (174) podría ser, por ejemplo, una traza de sabor, e indica que la traza en la ec. (iii) es solo un rastro parcial .
Sí, tienes razón: la identidad del logaritmo determinante se ha utilizado anteriormente. En cuanto a la exponencial, se ha utilizado lo siguiente (del libro Field Quantization de Greiner, Reinhardt, capítulo 11, página no. 353):
La prueba de lo anterior también se da allí. El Lo más probable es que ya estén absorbidos en la constante que los acompaña. La expresión dada en su pregunta es (muy probablemente) una acción integral en el formalismo de Feynman (integral de ruta) y es por eso que el está ahí - el quid del formalismo de Feynman es que la acción se puede escribir como . ¡Salud!
Guliano