¿Qué sale mal cuando se intenta cuantificar un campo escalar con las estadísticas de Fermi?

Al final de la sección 9 en la página 49 de las "Conferencias sobre la teoría cuántica de campos" de 1966 de Dirac, dice que si cuantificamos un campo escalar real de acuerdo con las estadísticas de Fermi [es decir, si imponemos relaciones canónicas de anticonmutación (CAR)], el hamiltoniano cuántico ya no es bueno porque da la variación incorrecta del operador de creación η k ^ con tiempo. Desafortunadamente, no puedo hacer que nada salga mal, así que alguien podría mostrar mi error o explicarme qué cálculo debo hacer para entender el comentario de Dirac. Aquí está mi cálculo.

El hamiltoniano cuántico es,

H ^ = d 3 k | k | η k ^ η k ^
y la ecuación de movimiento de Heisenberg es,
d η k d t = i [ η k , H ] = i d 3 k | k | ( η k η k η k η k η k η k )
donde se han omitido los sombreros para indicar a los operadores y [ A , B ] es un conmutador. Ahora suponga que el η s obedecer las estadísticas de Fermi,
[ η k , η k ] + = η k η k + η k η k = d ( k k )
y usa esto en el último término de la ecuación de Heisenberg,
d η k d t = i d 3 k | k | ( η k η k η k + η k η k η k η k d ( k k ) ) = i | k | η k
En la ecuación anterior, los dos primeros términos de la integral desaparecen debido al anticonmutador [ η k , η k ] + = 0 y el resultado de la derecha es la misma variación de tiempo de η k que uno obtiene la cuantificación utilizando las estadísticas de Bose: nada parece haber salido mal.

Dado que está utilizando el anticonmutador para la cuantificación, la causalidad requeriría que los campos sean anticonmutadores para todos los puntos separados en forma de espacio. Dado que la forma del campo (como se obtiene de la evolución temporal de eta) será la misma que en el caso bosónico, los campos no se conmutarán para puntos separados similares al espacio. Por lo tanto, la evolución temporal de eta es incorrecta, ya que no está de acuerdo con la causalidad.
Para la pregunta Phys.SE análoga con campos impares de Grassmann (en lugar de pares de Grassmann), consulte physics.stackexchange.com/q/17893/2451 y sus enlaces.

Respuestas (1)

En primer lugar, señalaré algunos conceptos erróneos aparentes en la pregunta y, posteriormente, explicaré qué falla al cuantificar una teoría de campos de espín entero o partículas con anticonmutadores, y viceversa.

Primero, si cuantificamos un campo real de Klein-Gordon usando anticonmutadores, el hamiltoniano se desvanece (o es una constante independiente del campo). A nivel de campos, el hamiltoniano para este campo es una suma de cuadrados H = i A i 2 ( X ) (uno A i es, por ejemplo, ϕ ). Desde { A i ( X ) , A i ( y ) } = 0 ( { ϕ ( X ) , ϕ ( y ) } = 0 ), A i 2 = 0 para cada i , y por lo tanto H = 0 . A nivel de operadores de creación y aniquilación H pag a pag a pag + a pag a pag pag { a pag , a pag } . Como { a pag , a q } d 3 ( pag q ) , el hamiltoniano es una constante independiente del operador. Veamos qué sucede al considerar un campo escalar complejo de Klein-Gordon, un caso más interesante.

Campo escalar complejo (spin = 0) cuantificado con anticonmutadores

Aquí, es la microcausalidad la que falla. Considere un campo escalar complejo libre y un observable local bilineal O ^ ( X ) = ϕ ( X ) o ( X ) ϕ ( X ) , con o ( X ) una función de número c real. Entonces, la causalidad nos dice que el conmutador de dos de estos operadores separados por una distancia similar al espacio debe desaparecer. Uno puede comprobar que:

[ O ^ ( X ) , O ^ ( y ) ] = o ( X ) o ( y ) [ ϕ ( X ) ϕ ( X ) , ϕ ( y ) ϕ ( y ) ] = o ( X ) o ( y ) ( ϕ ( X ) ϕ ( y ) ϕ ( y ) ϕ ( X ) ) { ϕ ( X ) , ϕ ( y ) }

Y utilizando la expresión de un campo de Klein-Gordon libre y complejo en términos de operadores de creación y aniquilación, podemos calcular el anticonmutador haciendo uso de las supuestas relaciones canónicas de anticonmutación entre los operadores de creación y aniquilación. El resultado es (debes revisar todo esto)

{ ϕ ( X ) , ϕ ( y ) } = 2 d 3 pag ~ porque ( pag ( X y ) )

dónde d 3 pag ~ es una notación estándar para la medida invariante de Lorentz. Usando la invariancia de Lorentz de la expresión anterior y el hecho de que no desaparece para X 0 = y 0 , podemos concluir que { ϕ ( X ) , ϕ ( y ) } y, en consecuencia, [ O ^ ( X ) , O ^ ( y ) ] no desaparezcas por separaciones similares al espacio, lo que viola la causalidad.

Por lo tanto, tanto los campos escalares reales como los complejos se niegan a ser cuantificados con anticonmutadores.

Girar 1 / 2 campo cuantificado con conmutadores

Comenzando con el hamiltoniano de Dirac, se obtiene

H a a b b

Entonces, para tener un estado de vacío de energía mínima, necesitamos un hamiltoniano que esté acotado por abajo. El b -los modos tienen signo negativo en el hamiltoniano por lo que hay dos alternativas:

  • Intercambiar la acción estándar del b Operadores en el espacio de Hilbert. Eso es, b va a aniquilar cuantos y b los va a crear, para que
    H | pag b H b | 0 b [ H , b ] | 0 b metro 2 + pag 2 | pag b
    donde hemos hecho uso de [ b , b ] d 3 . Sin embargo, al hacer esto terminamos con estados de norma negativa.
    b pag | pag b = 0 | b pag b pag | 0 = 2 | metro 2 + pag 2 | d 3 ( pag pag ) 0 | 0 ,
    lo que impide una interpretación probabilística (las probabilidades negativas no tienen sentido).
  • La alternativa es utilizar anticonmutadores (es decir, fermi-estadística), que invierten el signo en el hamiltoniano. Esta es la elección que funciona.

Estos obstáculos son una consecuencia del teorema de conexión de la estadística de espín de Pauli.

Este comentario es sobre la parte que trata con el campo escalar real. Cuando se pasa del hamiltoniano clásico al hamiltoniano cuántico, hay dos posibilidades; H a a y H a a + a a . Usé el primero en mi pregunta y no pude obtener una contradicción al usar anticonmutadores mientras usaste el segundo y mostraste que el hamiltoniano cuántico es cero. Al leer las conferencias de Dirac con más cuidado, me doy cuenta de que solo afirma que se puede encontrar una contradicción usando el segundo hamiltoniano. ¿Es malo el primer hamiltoniano?
Hola, @StephenBlake En la primera posibilidad, se debe hacer uso de la llamada receta de 'ordenamiento normal', que dice que los operadores de creación van a la izquierda, ignorando el conmutador. Esta prescripción tiene ventajas e inconvenientes para los campos bosónicos, pero no se justifica en absoluto para los campos fermiónicos.
como conseguiste el anticonmutador { ϕ ( X ) , ϕ ( y ) } ? Para calcular el conmutador [ ϕ ( X ) , ϕ ( y ) ] , trabajaría en la teoría de campos clásica y calcularía el corchete de Poisson y luego obtendría el conmutador cuántico usando la regla de cuantización de Dirac. Esta ruta no funciona para el anticonmutador porque no existe una teoría clásica ni un análogo del corchete de Poisson.
Hola @StephenBlake Use la expresión de un campo de Klein-Gordon libre y complejo en términos de operadores de creación y aniquilación, y luego calcule el anticonmutador haciendo uso de las supuestas relaciones canónicas de anticonmutación entre los operadores de creación y aniquilación.