En la teoría de campos reticulares , el teorema de Nielsen-Ninomiya es un teorema de no aplicación sobre la colocación de fermiones quirales en una red . En particular, bajo supuestos muy generales como localidad , hermiticidad y simetría traslacional , cualquier formulación reticular de fermiones quirales conduce necesariamente a la duplicación de fermiones , donde hay el mismo número de fermiones zurdos y diestros. Fue demostrado por primera vez por Holger Bech Nielsen y Masao Ninomiya en 1981 utilizando dos métodos, uno que se basaba en la teoría de homotopía [1] y otro que se basaba en la topología diferencial . [2] Otra prueba proporcionada por Daniel Friedan utiliza geometría diferencial . [3] El teorema también se generalizó a cualquier esquema de regularización de teorías quirales . [4] Una consecuencia del teorema es que el Modelo Estándar no se puede poner en una red. [5] Los métodos comunes para superar el problema de duplicación de fermiones son utilizar formulaciones de fermiones modificadas, como fermiones escalonados , fermiones de Wilson o fermiones de Ginsparg-Wilson , entre otros.
El teorema se formuló originalmente en la formulación hamiltoniana de la teoría de campos en red, donde el tiempo es continuo pero el espacio ha sido discretizado. [1] [2] Consideremos una teoría con un hamiltoniano de la forma
junto con una carga . El teorema de Nielsen-Ninomiya establece que hay un número igual de fermiones zurdos y diestros para cada conjunto de cargas si se cumplen los siguientes supuestos [6]
Este teorema se cumple trivialmente en dimensiones impares, ya que las teorías de dimensiones impares no admiten fermiones quirales debido a la ausencia de un operador de quiralidad válido, es decir, un operador que anticonmuta con todas las matrices gamma . Esto se desprende de las propiedades de las álgebras de Dirac en dimensiones impares.
El teorema de Nielsen-Ninomiya también ha sido demostrado en la formulación euclidiana . Por ejemplo, considere una versión más débil del teorema que supone una acción menos genérica de la forma [7]
¿Dónde está el operador de proyección diestro, junto con tres suposiciones?
Si se cumplen todas estas condiciones, entonces hay nuevamente un número igual de fermiones zurdos y diestros. [8]
La versión euclidiana simplificada del teorema tiene una prueba mucho más corta, que se basa en un teorema clave de la topología diferencial conocido como el teorema de Poincaré-Hopf . [9] Se puede resumir de la siguiente manera. A partir del supuesto de localidad, la transformada de Fourier del propagador inverso debe ser un campo vectorial continuo en la zona de Brillouin cuyos ceros aislados corresponden a diferentes especies de partículas de la teoría. Alrededor de cada cero, el comportamiento del campo vectorial es una singularidad de silla de montar o una singularidad de sumidero/fuente. Esto se captura por el índice del campo vectorial en el cero que toma los valores para los dos casos. Se puede demostrar que los dos casos determinan si la partícula es zurda o dextrógira. El teorema de Poincaré-Hopf establece que la suma de los índices de un campo vectorial en una variedad es igual a la característica de Euler de esa variedad. En este caso, el campo vectorial vive en la zona de Brillouin, que topológicamente es un 4-toro que tiene una característica de Euler cero. Por lo tanto, debe haber un número igual de partículas zurdas y diestras.
El teorema de Nielsen-Ninomiya se puede generalizar a todos los esquemas de regularización posibles, no solo a la regularización reticular. [4] Este teorema general de no aplicación establece que ninguna teoría de fermiones quirales regularizados puede satisfacer todas las condiciones siguientes:
Una breve prueba por contradicción señala que la corriente de Noether adquirida a partir de algunas suposiciones se conserva, mientras que otras suposiciones implican que no es así.
Todo esquema de regularización debe violar una o más de las condiciones. Para la regularización reticular, el teorema de Nielsen-Ninomiya conduce al mismo resultado bajo supuestos aún más débiles, donde el requisito de la anomalía quiral correcta se reemplaza por un supuesto de localidad de interacciones. La regularización dimensional depende de la implementación particular de la quiralidad. Si la matriz se define como para infinitesimal , esto conduce a una anomalía quiral que se desvanece, mientras que el uso rompe la invariancia global. Mientras tanto, la regularización de Pauli-Villars rompe la invariancia global ya que introduce una masa reguladora.