En la teoría cuántica de campos y la mecánica estadística , el teorema de Hohenberg-Mermin-Wagner o teorema de Mermin-Wagner (también conocido como teorema de Mermin-Wagner-Berezinskii o teorema de Coleman ) establece que las simetrías continuas no pueden romperse espontáneamente a temperatura finita en sistemas con interacciones de alcance suficientemente corto en dimensiones d ≤ 2 . Intuitivamente, este teorema implica que se pueden crear fluctuaciones de largo alcance con poco coste energético, y puesto que aumentan la entropía, son favorecidas.
Esta preferencia se debe a que si se produjera una ruptura espontánea de la simetría , los bosones de Goldstone correspondientes , al no tener masa, tendrían una función de correlación divergente infrarroja .
La ausencia de ruptura espontánea de simetría en sistemas infinitos d ≤ 2 dimensiones fue rigurosamente demostrada por David Mermin y Herbert Wagner (1966), citando una prueba inédita más general de Pierre Hohenberg (publicada más tarde en 1967) en mecánica estadística. [1] También fue reformulada más tarde por Sidney Coleman (1973) para la teoría cuántica de campos . El teorema no se aplica a las simetrías discretas que se pueden ver en el modelo de Ising bidimensional .
Consideremos el campo escalar libre φ de masa m en dos dimensiones euclidianas. Su propagador es:
Para m pequeño , G es una solución de la ecuación de Laplace con una fuente puntual:
Esto se debe a que el propagador es el recíproco de ∇ 2 en el espacio k . Para utilizar la ley de Gauss , defina el análogo del campo eléctrico como E = ∇ G. La divergencia del campo eléctrico es cero. En dos dimensiones, utilizando un anillo gaussiano grande:
De modo que la función G tiene una divergencia logarítmica tanto en r pequeño como en r grande .
La interpretación de la divergencia es que las fluctuaciones del campo no pueden permanecer centradas en torno a una media. Si se empieza en un punto en el que el campo tiene el valor 1, la divergencia indica que, a medida que se avanza más, el campo se aleja arbitrariamente del valor inicial. Esto hace que sea un poco complicado definir matemáticamente un campo escalar bidimensional sin masa. Si se define el campo mediante una simulación de Monte Carlo, no se mantiene en el mismo punto, sino que se desliza hacia valores infinitamente grandes con el tiempo.
Esto también ocurre en una dimensión, cuando el campo es un campo escalar unidimensional, un paseo aleatorio en el tiempo. Un paseo aleatorio también se mueve arbitrariamente lejos de su punto de partida, de modo que un escalar unidimensional o bidimensional no tiene un valor promedio bien definido.
Si el campo es un ángulo, θ , como en el modelo del sombrero mexicano , donde el campo complejo A = Re iθ tiene un valor esperado pero es libre de deslizarse en la dirección θ , el ángulo θ será aleatorio a grandes distancias. Este es el teorema de Mermin-Wagner: no hay ruptura espontánea de una simetría continua en dos dimensiones.
Si bien el teorema de Mermin-Wagner impide cualquier ruptura espontánea de simetría a escala global, se pueden permitir transiciones de ordenamiento del tipo Kosterlitz-Thouless . Este es el caso del modelo XY donde la simetría continua (interna) O (2) en una red espacial de dimensión d ≤ 2 , es decir, el valor esperado del campo (de espín), permanece cero para cualquier temperatura finita ( las transiciones de fase cuántica permanecen inalteradas). Sin embargo, el teorema no impide la existencia de una transición de fase en el sentido de una longitud de correlación divergente ξ . Para este fin, el modelo tiene dos fases: una fase desordenada convencional a alta temperatura con decaimiento exponencial dominante de la función de correlación para , y una fase de baja temperatura con un orden de cuasi-largo alcance donde G ( r ) decae de acuerdo a alguna ley de potencia para una distancia r "suficientemente grande", pero finita ( a ≪ r ≪ ξ con un espaciado reticular ) .
Presentaremos una forma intuitiva [2] de entender el mecanismo que impide la ruptura de simetría en dimensiones bajas, mediante una aplicación al modelo de Heisenberg , que es un sistema de espines n -componentes S i de longitud unitaria | S i | = 1 , ubicados en los sitios de una red cuadrada d -dimensional, con acoplamiento de vecino más cercano J . Su hamiltoniano es
El nombre de este modelo proviene de su simetría rotacional. Considere el comportamiento a baja temperatura de este sistema y suponga que existe una simetría rota espontáneamente, es decir, una fase en la que todos los espines apuntan en la misma dirección, por ejemplo a lo largo del eje x . Entonces la simetría rotacional O ( n ) del sistema se rompe espontáneamente, o más bien se reduce a la simetría O ( n − 1) bajo rotaciones alrededor de esta dirección. Podemos parametrizar el campo en términos de fluctuaciones independientes alrededor de esta dirección de la siguiente manera:
con | σ α | ≪ 1 , y Taylor desarrolla el hamiltoniano resultante. Tenemos
De dónde
Ignorando el término constante irrelevante H 0 = − JNd y pasando al límite continuo , dado que estamos interesados en la fase de baja temperatura donde dominan las fluctuaciones de longitud de onda larga, obtenemos
Las fluctuaciones de campo σ α se denominan ondas de espín y pueden reconocerse como bosones de Goldstone. De hecho, son n -1 en número y tienen masa cero, ya que no existe un término de masa en el hamiltoniano.
Para determinar si esta fase hipotética realmente existe, tenemos que comprobar si nuestra suposición es autoconsistente, es decir, si el valor esperado de la magnetización , calculado en este marco, es finito como se supone. Para ello, necesitamos calcular la corrección de primer orden de la magnetización debido a las fluctuaciones. Este es el procedimiento seguido en la derivación del conocido criterio de Ginzburg .
El modelo es gaussiano de primer orden y, por lo tanto, la función de correlación del espacio de momento es proporcional a k −2 . Por lo tanto, la función de correlación de dos puntos del espacio real para cada uno de estos modos es
donde a es el espaciamiento reticular. La magnetización media es
Y ahora la corrección de primer orden se puede calcular fácilmente:
La integral anterior es proporcional a
y por lo tanto es finito para d > 2 , pero parece ser divergente para d ≤ 2 (logarítmicamente para d = 2 ).
Esta divergencia significa que las fluctuaciones σ α son grandes, de modo que la expansión del parámetro | σ α | ≪ 1 realizada anteriormente no es autoconsistente. Naturalmente, se puede esperar que, más allá de esa aproximación, la magnetización promedio sea cero.
Por lo tanto, concluimos que para d ≤ 2 nuestra suposición de que existe una fase de magnetización espontánea es incorrecta para todo T > 0 , porque las fluctuaciones son lo suficientemente fuertes como para destruir la ruptura espontánea de la simetría. Este es un resultado general:
El resultado también puede extenderse a otras geometrías, como películas de Heisenberg con un número arbitrario de capas, así como a otros sistemas reticulares (modelo de Hubbard, modelo sf). [3]
En realidad, se pueden demostrar resultados mucho más contundentes que la ausencia de magnetización y la configuración puede ser sustancialmente más general. En particular [ cita requerida ] :
En este contexto general, el teorema de Mermin-Wagner admite la siguiente forma fuerte (enunciada aquí de manera informal):
Cuando se abandona el supuesto de que el grupo de Lie es compacto, se obtiene un resultado similar, pero con la conclusión de que no existen estados de Gibbs de volumen infinito.
Por último, existen otras aplicaciones importantes de estas ideas y métodos, en particular la prueba de que no puede haber estados de Gibbs invariantes no translacionales en sistemas bidimensionales. Un ejemplo típico de ello sería la ausencia de estados cristalinos en un sistema de discos duros (con posibles interacciones atractivas adicionales).
Se ha demostrado, sin embargo, que las interacciones de tipo hard-core pueden conducir en general a violaciones del teorema de Mermin-Wagner.
Ya en 1930, Felix Bloch argumentó, diagonalizando el determinante de Slater para los fermiones, que el magnetismo en 2D no debería existir. [4] Rudolf Peierls dio algunos argumentos sencillos, que se resumen a continuación, basados en consideraciones entrópicas y energéticas. [5] Lev Landau también realizó algunos trabajos sobre la ruptura de la simetría en dos dimensiones. [6]
Una razón para la falta de ruptura de la simetría global es que uno puede excitar fácilmente fluctuaciones de longitud de onda larga que destruyen el orden perfecto. "Fácilmente excitado" significa que la energía para esas fluctuaciones tiende a cero para sistemas lo suficientemente grandes. Consideremos un modelo magnético (por ejemplo, el modelo XY en una dimensión). Es una cadena de momentos magnéticos de longitud . Consideramos la aproximación armónica, donde las fuerzas (torque) entre momentos vecinos aumentan linealmente con el ángulo de torsión . Esto implica que la energía debido a la torsión aumenta cuadráticamente . La energía total es la suma de todos los pares trenzados de momentos magnéticos . Si uno considera el modo excitado con la energía más baja en una dimensión (ver figura), entonces los momentos en la cadena de longitud están inclinados a lo largo de la cadena. El ángulo relativo entre momentos vecinos es el mismo para todos los pares de momentos en este modo e igual a , si la cadena consiste en momentos magnéticos. Se deduce que la energía total de este modo más bajo es . Disminuye con el aumento del tamaño del sistema y tiende a cero en el límite termodinámico , , Para sistemas arbitrariamente grandes se deduce que los modos más bajos no cuestan ninguna energía y se excitarán térmicamente. Simultáneamente, el orden de largo alcance se destruye en la cadena. En dos dimensiones (o en un plano), el número de momentos magnéticos es proporcional al área del plano . La energía para el modo excitado más bajo es entonces , que tiende a una constante en el límite termodinámico. Por lo tanto, los modos se excitarán a temperaturas suficientemente grandes. En tres dimensiones, el número de momentos magnéticos es proporcional al volumen y la energía del modo más bajo es . Diverge con el tamaño del sistema y, por lo tanto, no se excitará para sistemas lo suficientemente grandes. El orden de largo alcance no se ve afectado por este modo y se permite la ruptura de la simetría global.
Un argumento entrópico contra el orden perfecto de largo alcance en cristales con es el siguiente (ver figura): considere una cadena de átomos/partículas con una distancia promedio entre partículas de . Las fluctuaciones térmicas entre partícula y partícula conducirán a fluctuaciones de la distancia promedio entre partículas del orden de , por lo tanto, la distancia viene dada por . Las fluctuaciones entre partícula y serán del mismo tamaño: . Suponemos que las fluctuaciones térmicas son estadísticamente independientes (lo que es evidente si consideramos solo la interacción del vecino más cercano) y las fluctuaciones entre y partícula (con el doble de distancia) deben sumarse de manera estadísticamente independiente (o incoherente): . Para partículas N veces la distancia promedio, las fluctuaciones aumentarán con la raíz cuadrada si las fluctuaciones vecinas se suman independientemente. Aunque la distancia promedio está bien definida, las desviaciones de una cadena periódica perfecta aumentan con la raíz cuadrada del tamaño del sistema. En tres dimensiones, uno tiene que caminar a lo largo de tres direcciones linealmente independientes para cubrir todo el espacio; en un cristal cúbico, esto es efectivamente a lo largo de la diagonal espacial, para llegar de partícula a partícula . Como se puede ver fácilmente en la figura, hay seis posibilidades diferentes para hacer esto. Esto implica que las fluctuaciones en las seis vías diferentes no pueden ser estadísticamente independientes, ya que pasan las mismas partículas en la posición y . Ahora, las fluctuaciones de las seis vías diferentes tienen que sumarse de manera coherente y serán del orden de – independientemente del tamaño del cubo. Las fluctuaciones permanecen finitas y los sitios de la red están bien definidos. Para el caso de dos dimensiones, Herbert Wagner y David Mermin han demostrado rigurosamente que las distancias de las fluctuaciones aumentan logarítmicamente con el tamaño del sistema . Esto se denomina frecuentemente divergencia logarítmica de desplazamientos.
La imagen muestra un cristal (cuasi) bidimensional de partículas coloidales. Se trata de partículas de tamaño micrométrico dispersas en agua y sedimentadas en una interfaz plana, por lo que pueden realizar movimientos brownianos solo dentro de un plano. El orden cristalino séxtuple es fácil de detectar a escala local, ya que el aumento logarítmico de los desplazamientos es bastante lento. Las desviaciones con respecto al eje reticular (rojo) también son fáciles de detectar, y se muestran aquí como flechas verdes. Las desviaciones se dan básicamente por las vibraciones reticulares elásticas (fonones acústicos). Una prueba experimental directa de las fluctuaciones de Hohenberg-Mermin-Wagner sería si los desplazamientos aumentaran logarítmicamente con la distancia de un marco de coordenadas ajustado localmente (azul). Esta divergencia logarítmica va acompañada de una descomposición algebraica (lenta) de las correlaciones posicionales. El orden espacial de un cristal 2D se denomina cuasi-largo alcance (véase también la fase hexática para el comportamiento de fase de los conjuntos 2D). Curiosamente, no se han encontrado firmas significativas de fluctuaciones de Hohenberg-Mermin-Wagner en cristales, sino en sistemas amorfos desordenados. [7] [8] [9]
Este trabajo no investigó los desplazamientos logarítmicos de los sitios de la red (que son difíciles de cuantificar para un tamaño de sistema finito), sino la magnitud del desplazamiento cuadrático medio de las partículas en función del tiempo. De esta manera, los desplazamientos no se analizan en el espacio sino en el dominio del tiempo. El trasfondo teórico está dado por D. Cassi, así como por F. Merkl y H. Wagner. [10] [11] Este trabajo analiza la probabilidad de recurrencia de los paseos aleatorios y la ruptura espontánea de la simetría en varias dimensiones. La probabilidad de recurrencia finita de un paseo aleatorio en una y dos dimensiones muestra un dualismo ante la falta de un orden perfecto de largo alcance en una y dos dimensiones, mientras que la probabilidad de recurrencia que se desvanece de un paseo aleatorio en 3D es dual ante la existencia de un orden perfecto de largo alcance y la posibilidad de ruptura de la simetría.
Los imanes reales no suelen tener una simetría continua, ya que el acoplamiento espín-órbita de los electrones impone una anisotropía. Para sistemas atómicos como el grafeno, se puede demostrar que se necesitan monocapas de tamaño cosmológico (o al menos continental) para medir un tamaño significativo de las amplitudes de las fluctuaciones. [12] Bertrand Halperin ofrece una discusión reciente sobre los teoremas de Hohenberg-Mermin-Wagner y sus limitaciones en el límite termodinámico. [13] Más recientemente, se demostró que la limitación física más severa son los efectos de tamaño finito en 2D, porque la supresión debido a las fluctuaciones infrarrojas es solo logarítmica en tamaño: la muestra tendría que ser más grande que el universo observable para que se suprima una transición superconductora 2D por debajo de ~100 K. [14] Para el magnetismo, existe un comportamiento similar donde el tamaño de la muestra debe aproximarse al tamaño del universo para tener una temperatura de Curie T c en el rango mK. [15] Sin embargo, debido a que el desorden y el acoplamiento entre capas compiten con los efectos de tamaño finito para restablecer el orden, no se puede decir a priori cuál de ellos es responsable de la observación del ordenamiento magnético en una muestra 2D dada. [16]
La discrepancia entre el teorema de Hohenberg-Mermin-Wagner (que descarta el orden de largo alcance en 2D) y las primeras simulaciones por ordenador (Alder&Wainwright), que indicaban la cristalización en 2D, motivó a J. Michael Kosterlitz y David J. Thouless a trabajar en transiciones de fase topológicas en 2D. Este trabajo recibió el Premio Nobel de Física 2016 (junto con Duncan Haldane ).