Validez de la aproximación de campo medio

En la aproximación de campo medio reemplazamos el término de interacción del hamiltoniano por un término cuadrático en los operadores de creación y aniquilación. Por ejemplo, en el caso de la teoría BCS, donde

k k V k k C k C k C k C k k Δ k C k C k + Δ k C k C k ,

con Δ k = k V k k C k C k C . Luego, en libros, como este de Bruss & Flensberg, siempre hay una oración como "las fluctuaciones alrededor Δ k son muy pequeños", de modo que la aproximación de campo medio es una buena aproximación. Pero sabemos, por ejemplo, que en el caso del modelo 1D Ising, la aproximación de campo medio es muy mala.

Mi pregunta: ¿Existe una desigualdad o alguna condición matemática que diga algo sobre la validez del enfoque de campo medio? Además, ¿existe una derivación matemática rigurosa de la aproximación de campo medio y la validez de la misma?

Para el modelo de vidrio giratorio Sherrington-Kirkpatrick, consulte annals.math.princeton.edu/wp-content/uploads/…

Respuestas (4)

La teoría del campo medio solo es buena cuando las fluctuaciones son pequeñas, lo que significa que la energía libre de una fluctuación debe ser mucho menor que la energía libre total.

La energía libre de la fluctuación típica es del orden k T y su tamaño está determinado por la longitud de correlación ξ , y es de orden ξ d , con d = dimensión:

F F yo tu C t k T ξ d ∼∣ t v d

haber usado ξ ∼∣ t v dónde t = ( T T C ) / T C y T C es la temperatura crítica. Para obtener la energía libre total debemos integrar el doble del calor específico, C ∼∣ t α . imponer que F F yo tu C t / F va a 0 por t 0 obtenemos

d v > 2 α

Por ejemplo, en el modelo de Ising tenemos α = 0 y v = 1 / 2 , por lo que la condición es d > 4 . Esta es la razón por la cual la aproximación del campo medio es mala para el modelo de Ising en menos de cuatro dimensiones.

Gracias, esta es una buena respuesta. Sin embargo, estoy más interesado en el caso de la teoría BCS y la teoría de Hartree-Fock. Aquí debería funcionar de una manera diferente o?
Estos son argumentos estadístico-mecánicos bastante generales y deberían ser válidos independientemente del modelo. Lo que afirmé a veces se conoce como el Criterio de Ginzburg.
Tiene razón, pero ¿cuál es la condición para la aproximación de Hartree-Fock? Aquí no tenemos exponentes críticos, solo un sistema fermiónico.
La teoría BCS (que es una aproximación de Hartree-Fock) es una teoría microscópica de la superconductividad, que es un fenómeno crítico. Entonces tendrá una temperatura crítica y exponentes críticos. De hecho, tendrá los mismos exponentes críticos de la teoría (macroscópica) de Landau-Ginzburg, ya que ambas son teorías de campo medio. Véase por ejemplo pág. 766 aquí: lassp.cornell.edu/clh/Book-sample/7.3.pdf
Creo que explicas el criterio de validez del MFA cerca T C , pero la pregunta es sobre T = 0 .

Puede introducir el campo medio bosónico ``aspirante'' exactamente, utilizando el método Hubbard-Stratonich (también conocido como bosonización parcial), consulte wikipedia y Fermiones interactivos en una red y Transformación Hubbard-Stratonovich y aproximación de campo medio .

La aproximación de campo medio corresponde a realizar la integral sobre el campo bosónico utilizando la aproximación de fase estacionaria. La acción del fermión es bilineal y se puede realizar exactamente. Las correcciones a la aproximación de fase estacionaria corresponden a fluctuaciones alrededor del campo medio. Estos son pequeños si el acoplamiento de cuatro fermiones en la teoría BCS es pequeño. Si el acoplamiento es fuerte, puede ser posible justificar la aproximación del campo medio por una aproximación grande N (campo vectorial de componentes N) o d grande (número de dimensiones).

Esquemáticamente, la acción efectiva de la teoría bosonizada es

S = T r { Iniciar sesión [ GRAMO 0 1 GRAMO ( ϕ ) ] } ϕ 2 gramo
dónde gramo es el acoplamiento, ϕ es el campo bosónico, y
GRAMO ( ϕ ) = ( pags 0 ϵ pags ϕ ϕ pags 0 + ϵ pags )
es el propagador. yo también defino GRAMO 0 = GRAMO ( 0 ) . Ahora
d S d ϕ | ϕ 0 = 0
es la ecuación de brecha MFA
ϕ 0 = gramo d 3 pags ( 2 π ) 3 ϕ 0 ϵ pags 2 + ϕ 0 2 .
Las correcciones se pueden encontrar expandiendo S alrededor ϕ = ϕ 0 + d ϕ . Esto dará bucles más altos que contienen GRAMO ( ϕ 0 ) . El parámetro de expansión es g. En unidades físicas 1 / gramo es el logaritmo de la energía de Fermi sobre la brecha, gramo [ Iniciar sesión ( mi F / ϕ 0 ) ] 1 .

Cerca T C las correcciones al campo medio (=Landau-Ginsburg) están controladas por el criterio de Ginsburg, como se explica en la respuesta de Valrio92. En BCS de acoplamiento débil, la ventana de Ginsburg es pequeña y el campo medio es preciso, excepto muy cerca de T C .

Con "Correcciones a la aproximación de la fase estacionaria", ¿se refiere a términos de alto orden en la expansión de Taylor del funcional?
Se agregaron algunos detalles.

Recientemente noté la referencia dada por @akhmeteli, que me ayuda mucho a entender MFA. Haré algunos cálculos aquí (con respecto al problema original):

H = ϵ k C k C k + k k V k k C k C k C k C k
MFA, como sugiere Bogoliubov, se puede entender completamente dentro del principio variacional, por lo tanto, uno puede deshacerse del confuso "parámetro de orden" y "fluctuación", con el siguiente procedimiento:

  • paso 1: elija un hamiltoniano que no interactúe con tantos parámetros ajustables como desee, digamos

    H 0 = H 0 ( mi , Δ ) = mi k C k σ C k σ + k , σ σ ( Δ k , σ σ C k σ C k σ + HC )
    tenga en cuenta que la forma aquí implica la simetría de traducción espacial. Por supuesto, puede usar una forma más general, que puede brindarle más observaciones (digamos, el estado de onda de densidad que rompe la simetría traslacional)

  • paso 2: la desigualdad de Bogoliubov ayuda a encontrar el conjunto de parámetros óptimos, definiendo:

    F ( H ) = 1 β Iniciar sesión ( Tr ( mi β H ) )

    O ^ 0 = Tr ( O ^ mi β H 0 ) Tr ( mi β H 0 )
    la desigualdad (principio variacional):
    F ( H ) F ( H 0 ) + H H 0 0 , H 0
    óptimo H 0 por tanto viene dada por:
    min todos los parámetros F ( H 0 ) + H H 0 0

con algunas matemáticas adicionales, especialmente la ecuación de Feynman-Hellmann:

F ( H 0 ) mi k = σ C k σ C k σ 0 F ( H 0 ) Δ k , σ σ = C k σ C k , σ 0
y el teorema de Wick para la expectativa calculada en un estado fundamental que no interactúa:
C 1 C 2 C 3 C 4 0 = 0 . . 0 0 0 + 0 0
Será fácil restaurar el resultado deseado.

La teoría del campo medio es exacta (en el límite termodinámico) en el caso de interacción de largo alcance (que no es el caso del modelo de Ising del vecino más cercano). Por lo tanto, la teoría del campo medio es exacta para BCS, donde tiene una interacción efectiva de largo alcance. En cuanto a resultados rigurosos, Bogoliubov probó rigurosamente que en el estado fundamental (temperatura cero) las energías por partícula coinciden para BCS y la teoría del campo medio en el límite termodinámico. Más tarde, Bogoliubov Jr. probó rigurosamente lo mismo para temperaturas arbitrarias (y energías libres por partícula). Ver la bibliografía, por ejemplo, en http://arxiv.org/abs/1507.00563 (la discusión es alrededor de la página 43).

No estoy seguro de lo que quieres decir. 1) BCS es rango cero. 2) MFA ciertamente no es exacto para fuerzas de largo alcance como bosones de calibre, fluctuación de espín, etc. 3) Puede querer decir un rango verdaderamente infinito (rango cero en el espacio de momento), pero esto no se realiza en la naturaleza,
@Thomas: "La interacción BCS tiene lugar exclusivamente con momento cero y, como tal, implica una interacción de rango infinito entre pares. Este aspecto de largo alcance del modelo permite la solución exacta del hamiltoniano BCS utilizando la teoría del campo medio". ( libros. google.com/… ). Y es un modelo, no la naturaleza :-)
BCS de onda s dispersa (k,-k) en (k',-k'), por lo que la transferencia de momento q=kk' es del orden k_F, que es una interacción de corto alcance.
Supongo que te refieres al hecho de que el impulso del par es cero, pero eso no hace que el MFA sea exacto.
@Thomas: dentro del modelo y en el límite termodinámico, sí.
¿Que modelo? Ciertamente no BCS. A menos que se refiera a MFA-BCS, lo que hace que la declaración sea tautológica
@Thomas: Bogoliubov Jr. demostró eso para un kernel bastante general de BCS. Las referencias proporcionadas en arxiv.org/abs/1507.00563 no están disponibles para mí, solo tengo un libro en ruso con la prueba. No estoy muy seguro acerca de un núcleo arbitrario, pero ¿por qué está seguro de que el resultado no es correcto para un núcleo arbitrario?
Véase también HAAG, R.: La estructura matemática del modelo BCS. Nuovo cimento 25/2 287-299 (1962).