El modelo XY clásico (a veces también llamado modelo de rotor clásico o modelo O(2) ) es un modelo reticular de mecánica estadística . En general , el modelo XY puede verse como una especialización del modelo n -vectorial de Stanley [1] para n = 2 .
Dada una red D -dimensional Λ , por cada sitio de red j ∈ Λ hay un vector bidimensional de longitud unitaria s j = (cos θ j , sin θ j )
La configuración de espín , s = ( s j ) j ∈ Λ es una asignación del ángulo − π < θ j ≤ π para cada j ∈ Λ .
Dada una interacción invariante de traslación J ij = J ( i − j ) y un campo externo dependiente del punto , la energía de configuración es
El caso en el que J ij = 0 excepto ij vecino más cercano se llama caso de vecino más cercano .
La probabilidad de configuración viene dada por la distribución de Boltzmann con temperatura inversa β ≥ 0 :
donde Z es la función de normalización o partición . [2] La notación indica la expectativa de la variable aleatoria A ( s ) en el límite de volumen infinito, después de que se han impuesto condiciones de contorno periódicas .
Como en cualquier modelo n -vectorial de "vecino más cercano" con condiciones de contorno libres (no periódicas), si el campo externo es cero, existe una solución exacta simple. En el caso de condiciones de contorno libres, el hamiltoniano es, por lo tanto, la función de partición se factoriza bajo el cambio de coordenadas Esto da donde es la función de Bessel modificada de primera clase. La función de partición se puede utilizar para encontrar varias cantidades termodinámicas importantes. Por ejemplo, en el límite termodinámico ( ), la energía libre por espín es Utilizando las propiedades de las funciones de Bessel modificadas, el calor específico (por espín) se puede expresar como [5] donde , y es la función de correlación de corto alcance,
Incluso en el límite termodinámico, no hay divergencia en el calor específico. De hecho, al igual que el modelo unidimensional de Ising, el modelo unidimensional XY no tiene transiciones de fase a temperatura finita.
El mismo cálculo para la condición de contorno periódica (y todavía h = 0 ) requiere el formalismo de matriz de transferencia , aunque el resultado es el mismo. [6]
La función de partición se puede evaluar como que puede tratarse como la traza de una matriz, es decir, un producto de matrices (escalares, en este caso). La traza de una matriz es simplemente la suma de sus valores propios, y en el límite termodinámico solo sobrevivirá el valor propio más grande, por lo que la función de partición se puede escribir como un producto repetido de este valor propio máximo. Esto requiere resolver el problema del valor propio. Nótese la expansión
que representa una representación matricial diagonal en base a sus funciones propias de onda plana . Los valores propios de la matriz son simplemente funciones de Bessel modificadas evaluadas en , es decir . Para cualquier valor particular de , estas funciones de Bessel modificadas satisfacen y . Por lo tanto, en el límite termodinámico, el valor propio dominará la traza, y por lo tanto .Este enfoque de matriz de transferencia también se requiere cuando se utilizan condiciones de contorno libres, pero con un campo aplicado . Si el campo aplicado es lo suficientemente pequeño como para que pueda tratarse como una perturbación del sistema en campo cero, entonces se puede estimar la susceptibilidad magnética . Esto se hace utilizando los estados propios calculados por el enfoque de matriz de transferencia y calculando el cambio de energía con la teoría de perturbación de segundo orden , luego comparando con la expansión de energía libre . Se encuentra [7] donde es la constante de Curie (un valor típicamente asociado con la susceptibilidad en materiales magnéticos). Esta expresión también es verdadera para el modelo de Ising unidimensional, con el reemplazo .
El modelo XY bidimensional con interacciones de vecinos más cercanos es un ejemplo de un sistema bidimensional con simetría continua que no tiene orden de largo alcance. Asimismo, no hay una transición de fase convencional presente que estaría asociada con la ruptura de la simetría . Sin embargo, como se discutirá más adelante, el sistema muestra signos de una transición de un estado desordenado de alta temperatura a un estado cuasiordenado por debajo de cierta temperatura crítica, llamada la transición de Kosterlitz-Thouless . En el caso de una red discreta de espines, el modelo XY bidimensional se puede evaluar utilizando el enfoque de la matriz de transferencia, reduciendo el modelo a un problema de valor propio y utilizando el valor propio más grande de la matriz de transferencia. Aunque la solución exacta es intratable, es posible utilizar ciertas aproximaciones para obtener estimaciones de la temperatura crítica que ocurre a bajas temperaturas. Por ejemplo, Mattis (1984 [9] ) utilizó una aproximación a este modelo para estimar una temperatura crítica del sistema como El modelo 2D XY también se ha estudiado en gran detalle utilizando simulaciones de Monte Carlo , por ejemplo con el algoritmo Metropolis . Estos se pueden utilizar para calcular cantidades termodinámicas como la energía del sistema, el calor específico, la magnetización, etc., en un rango de temperaturas y escalas de tiempo. En la simulación de Monte Carlo, cada giro está asociado a un ángulo que varía continuamente (a menudo, se puede discretizar en un número finito de ángulos, como en el modelo relacionado de Potts , para facilitar el cálculo. Sin embargo, esto no es un requisito). En cada paso de tiempo, el algoritmo Metropolis elige un giro al azar y rota su ángulo en algún incremento aleatorio . Este cambio en el ángulo provoca un cambio en la energía del sistema, que puede ser positivo o negativo. Si es negativo, el algoritmo acepta el cambio en el ángulo; si es positivo, la configuración se acepta con probabilidad , el factor de Boltzmann para el cambio de energía. El método de Monte Carlo se ha utilizado para verificar, con varios métodos, la temperatura crítica del sistema, y se estima que es [10] . El método de Monte Carlo también puede calcular valores promedio que se utilizan para calcular cantidades termodinámicas como la magnetización, la correlación espín-espín, las longitudes de correlación y el calor específico. Estas son formas importantes de caracterizar el comportamiento del sistema cerca de la temperatura crítica. La magnetización y la magnetización al cuadrado, por ejemplo, se pueden calcular como
donde son el número de espines. La magnetización media caracteriza la magnitud del momento magnético neto del sistema; en muchos sistemas magnéticos esto es cero por encima de una temperatura crítica y se vuelve distinto de cero espontáneamente a bajas temperaturas. De manera similar, la magnetización cuadrática media caracteriza el promedio del cuadrado de los componentes netos de los espines a través de la red. Cualquiera de estos se usa comúnmente para caracterizar el parámetro de orden de un sistema. Un análisis riguroso del modelo XY muestra que la magnetización en el límite termodinámico es cero, y que la magnetización cuadrada sigue aproximadamente [12] , que se desvanece en el límite termodinámico. De hecho, a altas temperaturas esta cantidad se acerca a cero ya que los componentes de los espines tenderán a ser aleatorios y, por lo tanto, sumarán cero. Sin embargo, a bajas temperaturas para un sistema finito, la magnetización cuadrática media aumenta, lo que sugiere que hay regiones del espacio de espines que están alineadas para contribuir a una contribución distinta de cero. La magnetización mostrada (para una red de 25x25) es un ejemplo de esto, que parece sugerir una transición de fase, mientras que tal transición no existe en el límite termodinámico.
Además, utilizando la mecánica estadística se pueden relacionar los promedios termodinámicos con cantidades como el calor específico calculando El calor específico se muestra a bajas temperaturas cerca de la temperatura crítica . No hay ninguna característica en el calor específico consistente con el comportamiento crítico (como una divergencia) a esta temperatura predicha. De hecho, la estimación de la temperatura crítica proviene de otros métodos, como el módulo de helicidad o la dependencia de la temperatura de la divergencia de la susceptibilidad. [13] Sin embargo, hay una característica en el calor específico en forma de un pico en . Se ha demostrado que esta posición y altura del pico no dependen del tamaño del sistema, para redes de tamaño lineal mayor que 256; de hecho, la anomalía del calor específico permanece redondeada y finita para un tamaño de red creciente, sin pico divergente.
La naturaleza de las transiciones críticas y la formación de vórtices se pueden dilucidar considerando una versión continua del modelo XY. Aquí, los espines discretos se reemplazan por un campo que representa el ángulo del espín en cualquier punto del espacio. En este caso, el ángulo de los espines debe variar suavemente con los cambios de posición. Al expandir el coseno original como una serie de Taylor , el hamiltoniano se puede expresar en la aproximación continua como
La versión continua del modelo XY se utiliza a menudo para modelar sistemas que poseen parámetros de orden con los mismos tipos de simetría, por ejemplo, helio superfluido , cristales líquidos hexáticos. Esto es lo que los hace peculiares de otras transiciones de fase que siempre van acompañadas de una ruptura de simetría. Los defectos topológicos en el modelo XY conducen a una transición de desvinculación de vórtices de la fase de baja temperatura a la fase desordenada de alta temperatura . De hecho, el hecho de que a alta temperatura las correlaciones decaigan exponencialmente rápido, mientras que a bajas temperaturas decaen con la ley de potencia, aunque en ambos regímenes M ( β ) = 0 , se llama transición de Kosterlitz-Thouless . Kosterlitz y Thouless proporcionaron un argumento simple de por qué este sería el caso: esto considera el estado fundamental que consiste en todos los espines en la misma orientación, con la adición entonces de un solo vórtice. La presencia de estos contribuye a una entropía de aproximadamente , donde es una escala de longitud efectiva (por ejemplo, el tamaño de la red para una red discreta) Mientras tanto, la energía del sistema aumenta debido al vórtice, en una cantidad . Poniendo estos juntos, la energía libre de un sistema cambiaría debido a la formación espontánea de un vórtice en una cantidad En el límite termodinámico, el sistema no favorece la formación de vórtices a bajas temperaturas, pero sí los favorece a altas temperaturas, por encima de la temperatura crítica . Esto indica que a bajas temperaturas, cualquier vórtice que surja querrá aniquilarse con antivórtices para reducir la energía del sistema. De hecho, este será el caso cualitativamente si uno observa 'instantáneas' del sistema de espín a bajas temperaturas, donde los vórtices y los antivórtices se unen gradualmente para aniquilarse. Por lo tanto, el estado de baja temperatura consistirá en pares vórtice-antivórtice ligados. Mientras tanto, a altas temperaturas, habrá una colección de vórtices y antivórtices no unidos que serán libres de moverse por el plano.
Para visualizar el modelo de Ising, se puede utilizar una flecha que apunta hacia arriba o hacia abajo, o bien se puede representar como un punto de color blanco y negro para indicar su estado. Para visualizar el sistema de espines XY, los espines se pueden representar como una flecha que apunta en alguna dirección, o como un punto con algún color. Aquí es necesario representar el espín con un espectro de colores debido a cada una de las posibles variables continuas. Esto se puede hacer utilizando, por ejemplo, un espectro continuo y periódico rojo-verde-azul. Como se muestra en la figura, el cian corresponde a un ángulo cero (apuntando hacia la derecha), mientras que el rojo corresponde a un ángulo de 180 grados (apuntando hacia la izquierda). A continuación, se pueden estudiar instantáneas de las configuraciones de espín a diferentes temperaturas para dilucidar lo que sucede por encima y por debajo de la temperatura crítica del modelo XY. A altas temperaturas, los espines no tendrán una orientación preferida y habrá una variación impredecible de los ángulos entre espines vecinos, ya que no habrá una configuración preferida energéticamente favorable. En este caso, el mapa de colores se verá muy pixelado. Mientras tanto, a bajas temperaturas, una posible configuración del estado fundamental tiene todos los espines apuntando en la misma orientación (mismo ángulo); estos corresponderían a regiones (dominios) del mapa de color donde todos los espines tienen aproximadamente el mismo color.
Para identificar los vórtices (o antivórtices) presentes como resultado de la transición de Kosterlitz-Thouless, se puede determinar el cambio de ángulo con signo recorriendo un círculo de puntos de la red en sentido antihorario. Si el cambio total de ángulo es cero, esto corresponde a que no hay ningún vórtice presente; mientras que un cambio total de ángulo corresponde a un vórtice (o antivórtice). Estos vórtices son objetos topológicamente no triviales que se presentan en pares vórtice-antivórtice, que pueden separarse o aniquilarse en pares. En el mapa de colores, estos defectos se pueden identificar en regiones donde hay un gran gradiente de color donde todos los colores del espectro se encuentran alrededor de un punto. Cualitativamente, estos defectos pueden parecer fuentes de flujo que apuntan hacia adentro o hacia afuera, o remolinos de espines que colectivamente apuntan en el sentido de las agujas del reloj o en sentido contrario, o características de aspecto hiperbólico con algunos espines apuntando hacia y otros apuntando en dirección opuesta al defecto. A medida que se estudia la configuración en escalas de tiempo largas y a bajas temperaturas, se observa que muchos de estos pares de vórtices y antivórtices se acercan y terminan por aniquilarse. Solo a altas temperaturas estos vórtices y antivórtices se liberan y se desvinculan entre sí.
En el modelo XY continuo, la magnetización espontánea de alta temperatura desaparece: Además, la expansión del grupo muestra que las correlaciones de espín se agrupan exponencialmente rápido: por ejemplo , a bajas temperaturas, es decir, β ≫ 1 , la magnetización espontánea permanece cero (ver el teorema de Mermin-Wagner ), pero la descomposición de las correlaciones es solo una ley de potencia: Fröhlich y Spencer [14] encontraron el límite inferior
Mientras que McBryan y Spencer encontraron el límite superior, para cualquier
Independientemente del rango de interacción, a una temperatura suficientemente baja la magnetización es positiva.
Como se mencionó anteriormente, en una dimensión, el modelo XY no tiene una transición de fase, mientras que en dos dimensiones tiene la transición Berezinski-Kosterlitz-Thouless entre las fases con funciones de correlación que decaen exponencialmente y en ley de potencia.
En tres dimensiones y superiores, el modelo XY presenta una transición de fase ferromagnética-paramagnética. A bajas temperaturas, la magnetización espontánea es distinta de cero: ésta es la fase ferromagnética. A medida que aumenta la temperatura, la magnetización espontánea disminuye gradualmente y desaparece en una temperatura crítica. Permanece cero a todas las temperaturas superiores: ésta es la fase paramagnética.
En cuatro dimensiones y superiores, la transición de fase tiene exponentes críticos de la teoría del campo medio (con correcciones logarítmicas en cuatro dimensiones).
El caso tridimensional es interesante porque los exponentes críticos en la transición de fase no son triviales. Muchos sistemas físicos tridimensionales pertenecen a la misma clase de universalidad que el modelo tridimensional XY y comparten los mismos exponentes críticos, en particular los imanes de plano fácil y el helio-4 líquido . Los valores de estos exponentes críticos se miden mediante experimentos, simulaciones de Monte Carlo y también se pueden calcular mediante métodos teóricos de la teoría cuántica de campos, como el grupo de renormalización y el bootstrap conforme . Los métodos del grupo de renormalización son aplicables porque se cree que el punto crítico del modelo XY está descrito por un punto fijo del grupo de renormalización. Los métodos de bootstrap conforme son aplicables porque también se cree que es una teoría de campo conforme tridimensional unitaria .
Los exponentes críticos más importantes del modelo tridimensional XY son . Todos ellos pueden expresarse mediante sólo dos números: las dimensiones de escala y del campo de parámetros de orden complejo y del operador singlete principal (igual que en la descripción de Ginzburg–Landau ). Otro campo importante es (igual que ), cuya dimensión determina el exponente de corrección a la escala . Según un cálculo bootstrap conforme, [15] estas tres dimensiones están dadas por:
Esto da los siguientes valores de los exponentes críticos:
Los métodos de Monte Carlo proporcionan determinaciones compatibles: [16] .