¿Las derivadas son anticonmutantes con variables de Grassmann y números complejos en una integral de trayectoria de muchos cuerpos?

Estoy tratando de aprender cómo hacer una integral de camino de muchos cuerpos para fermiones y bosones , y estoy atascado. Estoy siguiendo Altland y Simons - Teoría del campo de materia condensada, capítulo 4. En la página 167, la ecuación 4.27 es

Z = norte = 1 norte d ( ψ ¯ norte , ψ norte ) mi d norte = 0 norte 1 [ d 1 ( ψ ¯ norte ψ ¯ norte + 1 ) . ψ norte + H ( ψ ¯ norte + 1 , ψ norte ) ]

(he puesto m = 0 de la ecuación en el libro). El límite norte luego se toma lo que involucra varias cosas, pero la parte que no entiendo es esta:

límite norte d 1 ( ψ ¯ norte ψ ¯ norte + 1 ) ) τ ψ ¯

que está bien, pero el siguiente es

Z = D ( ψ ¯ , ψ ) mi S [ ψ ¯ , ψ ] , S [ ψ ¯ , ψ ] = 0 β [ ψ ¯ τ ψ + H ( ψ ¯ , ψ ) ]

mi pregunta es como llegas de τ ψ ¯ , cual es τ ψ ¯ ψ en Z , a + ψ ¯ τ ψ ? Si esto fuera solo para fermiones, supongo que la variable de Grassmann ψ y la derivada τ anticommute que es de donde viene el signo menos. Pero el libro dice que es válido tanto para bosones como para fermiones; para los bosones, el ψ es un número complejo, por lo que no esperaría el signo menos.

¡Cualquier ayuda sería muy apreciada!

Respuestas (2)

jane, τ es claramente una derivada con respecto a un tiempo bosónico τ , por lo que conmuta con todo lo demás (excepto las funciones de τ sí mismo, con el que tiene un conmutador distinto de cero), en lugar de anticonmutadores. Solo si ambos objetos tienen un carácter fermiónico (si ambos son impares de Grassmann), se anticonmutan entre sí (o tienen un anticonmutador que se puede evaluar).

Sin embargo, no hay ningún error de signo en las fórmulas. Hiciste una buena pregunta: ¿cómo llegas de

τ ψ ¯ ψ
a
+ ψ ¯ τ ψ
Se necesita un poco de paciencia para responder a esta pregunta. Tenga en cuenta que en las dos expresiones, se diferencia una variable diferente. En el primero es ψ ¯ que es diferenciado; en el segundo, es ψ .

No puedes simplemente mover los derivados. Incluso para funciones bosónicas, tu v es algo más que tu v , ¿no es así?

Entonces las dos expresiones no son "obviamente iguales", ni siquiera hasta un signo, y para convertir una en la otra, debes integrar cuidadosamente por partes. Tenga en cuenta que

τ ( ψ ¯ ψ ) = τ ψ ¯ ψ + ψ ¯ τ ψ .
Esta "regla de Leibniz" procedió igual que para la derivada de productos de factores bosónicos porque tuve que burbujear τ a través de ψ 'arena τ es un objeto bosónico. Si estuviera escribiendo una regla de Leibniz para una derivada de Grassmann, tendría que cambiar el signo cada vez que la derivada pasara por un factor impar de Grassmann.

Pero aquí nos ocupamos de bosonic τ -derivadas por lo que la regla de Leibniz es como siempre ha sido. Por lo tanto, implica que hasta una derivada total, es decir, el lado izquierdo τ ( ψ ¯ ψ ) que se integra a cero en el tiempo euclidiano periódico: los dos términos del lado derecho son opuestos entre sí. De ahí viene el signo menos.

Excepto que estoy bastante seguro de que los números de Grassman forman un álgebra graduada diferencial y, por lo tanto, obedecen una regla graduada de Leibniz...
No, @genneth, estás confundido. El operador d en la página de Wikipedia que vinculó hay un operador impar de Grassmann (es por eso que cuadra a cero, vea la regla (i) en esa página) pero el operador τ en la pregunta de Jane es una derivada ordinaria de Grassmann-incluso. El factor ( 1 ) | a | delante del segundo término en (ii) es, más generalmente, ( 1 ) | a | | d | , lo que prueba que d es Grassmann-raro por allá, pero no aquí.
@lubos: Estoy corregido. Tienes toda la razón :-) +1
@Lubos Tengo otra pregunta relacionada con esto, pero no estoy seguro de que sea lo suficientemente interesante/diferente como para hacerla como una nueva pregunta: tenemos τ ( ψ ¯ ψ ) = ( τ ψ ¯ ) ψ + ψ ¯ τ ψ = 0 . Puedo escribir ( τ ψ ¯ ) ψ = ψ ( τ ψ ¯ ) moviendo el ψ pasó el otro número de Grassmann? Entonces ψ ( τ ψ ¯ ) = ψ ¯ τ ψ .
No sé qué es un 'tiempo bosónico'. ¿Existe también un 'tiempo fermiónico'? ¿O simplemente dices bosónico como sinónimo de escalar que conmuta con todo?

La respuesta a tu pregunta no se refiere ψ siendo una variable de Grassman. Hagámoslo:

Empezar con:

límite norte norte ( ψ ¯ norte ψ ¯ norte + 1 ) ψ norte = límite norte norte ( ψ ¯ norte ψ norte ψ ¯ norte + 1 ψ norte )

Antes de tomar el límite norte cambiar la variable ficticia norte en el segundo término a norte 1 (No recuerdo pero tal vez sea necesario usar ψ ( β ) = ψ ( 0 ) en algún momento), obtenemos:

límite norte norte ( ψ ¯ norte ψ norte ψ ¯ norte ψ norte 1 ) = límite norte d norte ψ ¯ norte ( ψ norte ψ norte 1 ) d

Por lo tanto, cuando se aplica el límite norte usted obtiene:

d τ   ψ ¯ ( τ ) τ ψ ( τ ) ,

resolviendo el problema.

Sin embargo, si desea una forma elegante de transformar τ ψ ¯ ψ a ψ ¯ τ ψ usted define la derivada de un producto Grassman por una variable normal (por normal me refiero a cualquier cosa que no sea Grassman) como:

τ ( η η ) = τ η η + η τ η τ η η = τ ( η η ) η τ η
por lo tanto:

d τ   τ ψ ¯ ( τ ) ψ ( τ ) = [ ψ ¯ ( τ ) ψ ( τ ) ] 0 β d τ   ψ ¯ ( τ ) τ ψ ( τ ) = d τ   ψ ¯ ( τ ) τ ψ ( τ ) ,
también resolviendo el problema.