Gültigkeit der Mean-Field-Approximation

In der Mean-Field-Approximation ersetzen wir den Wechselwirkungsterm des Hamiltonoperators durch einen Term, der quadratisch in Erzeugungs- und Vernichtungsoperatoren ist. Zum Beispiel im Fall der BCS-Theorie, wo

k k ' v k k ' c k c k c k ' c k ' k Δ k c k c k + Δ k c k c k ,

mit Δ k = k ' v k k ' c k ' c k ' C . Dann steht in Büchern, wie diesem von Bruss & Flensberg, immer ein Satz wie "the fluactuations around Δ k sind sehr klein", so dass die Mean-Field-Approximation eine gute Approximation ist. Aber wir wissen zum Beispiel im Fall des 1D-Ising-Modells, dass die Mean-Field-Approximation sehr schlecht ist.

Meine Frage: Gibt es eine Ungleichung oder irgendwelche mathematischen Bedingungen, die etwas über die Gültigkeit des Mean-Field-Ansatzes aussagen? Gibt es ferner eine mathematisch rigorose Ableitung der Mean-Field-Approximation und deren Gültigkeit?

Für das Sherrington-Kirkpatrick-Spin-Glas-Modell siehe annals.math.princeton.edu/wp-content/uploads/…

Antworten (4)

Die mittlere Feldtheorie ist nur gut, wenn die Fluktuationen klein sind, was bedeutet, dass die freie Energie einer Fluktuation viel kleiner sein muss als die gesamte freie Energie.

Die freie Energie der typischen Fluktuation ist von Ordnung k T und seine Größe wird durch die Korrelationslänge bestimmt ξ , und ist in Ordnung ξ d , mit d = Abmessungen:

F f l u c t k T ξ d ∼∣ t v d

Benutzt ξ ∼∣ t v wo t = ( T T c ) / T c und T c ist die kritische Temperatur. Um die gesamte freie Energie zu erhalten, müssen wir die doppelte spezifische Wärme integrieren, c ∼∣ t a . Das aufzwingen F f l u c t / F geht zu 0 zum t 0 wir erhalten

d v > 2 a

Zum Beispiel im Ising-Modell, das wir haben a = 0 und v = 1 / 2 , so dass die Bedingung ist d > 4 . Aus diesem Grund ist die Annäherung an das mittlere Feld für das Ising-Modell in weniger als vier Dimensionen schlecht.

Danke, das ist eine nette Antwort. Ich interessiere mich jedoch mehr für den Fall der BCS-Theorie und der Hartree-Fock-Theorie. Hier sollte es anders funktionieren oder?
Dies sind ganz allgemeine statistisch-mechanische Argumente und sollten unabhängig vom Modell gelten. Was ich gesagt habe, ist manchmal als das Ginzburg-Kriterium bekannt.
Sie haben Recht, aber was ist die Bedingung für die Hartree-Fock-Näherung? Hier haben wir keine kritischen Exponenten, nur ein fermionisches System.
Die BCS-Theorie (eine Hartree-Fock-Näherung) ist eine mikroskopische Theorie der Supraleitung, die ein kritisches Phänomen ist. Sie haben also eine kritische Temperatur und kritische Exponenten. Tatsächlich werden Sie die gleichen kritischen Vertreter der (makroskopischen) Landau-Ginzburg-Theorie haben, da es sich bei beiden um mittlere Feldtheorien handelt. Siehe zum Beispiel Seite. 766 hier: lassp.cornell.edu/clh/Book-sample/7.3.pdf
Ich denke, Sie erklären das Kriterium für die Gültigkeit des MFA in der Nähe T c , aber die Frage ist ungefähr T = 0 .

Sie können das "would-be" bosonische mittlere Feld genau einführen, indem Sie die Hubbard-Stratonich-Methode (auch bekannt als partielle Bosonisierung) verwenden, siehe Wikipedia und Interacting fermions on a lattice and Hubbard-Stratonovich transformation and mean-field approximation .

Die Annäherung an das mittlere Feld entspricht der Durchführung des Integrals über das bosonische Feld unter Verwendung der Annäherung an die stationäre Phase. Die Fermionenwirkung ist bilinear und kann exakt durchgeführt werden. Korrekturen an der Näherung der stationären Phase entsprechen Schwankungen um das mittlere Feld herum. Diese sind klein, wenn die Vier-Fermion-Kopplung in der BCS-Theorie klein ist. Wenn die Kopplung stark ist, kann es möglich sein, die Näherung des mittleren Felds durch eine große N- (N-Komponenten-Vektorfeld) oder große d- (Anzahl der Dimensionen) Näherung zu rechtfertigen.

Schematisch ist die effektive Aktion der bosonisierten Theorie

S = T r { Protokoll [ G 0 1 G ( ϕ ) ] } ϕ 2 g
wo g ist die Kupplung, ϕ ist das bosonische Feld, und
G ( ϕ ) = ( p 0 ϵ p ϕ ϕ p 0 + ϵ p )
ist der Verbreiter. definiere ich auch G 0 = G ( 0 ) . Jetzt
δ S δ ϕ | ϕ 0 = 0
ist die MFA-Lückengleichung
ϕ 0 = g d 3 p ( 2 π ) 3 ϕ 0 ϵ p 2 + ϕ 0 2 .
Korrekturen können durch Erweitern gefunden werden S um ϕ = ϕ 0 + δ ϕ . Dies wird höhere Schleifen enthalten G ( ϕ 0 ) . Der Expansionsparameter ist g. In physikalischen Einheiten 1 / g ist der Logarithmus der Fermi-Energie über der Lücke, g [ Protokoll ( E F / ϕ 0 ) ] 1 .

Nahe T c Korrekturen zum mittleren Feld (= Landau-Ginsburg) werden durch das Ginsburg-Kriterium gesteuert, wie in der Antwort von Valrio92 erläutert. Bei BCS mit schwacher Kopplung ist das Ginsburg-Fenster klein und das mittlere Feld ist genau, außer sehr nahe daran T c .

Mit "Korrekturen an der Näherung der stationären Phase" meinen Sie Terme hoher Ordnung in der Taylor-Entwicklung des Funktionals?
Einige Details hinzugefügt.

Ich habe kürzlich die Referenz von @akhmeteli bemerkt, die mir sehr hilft, MFA zu verstehen. Ich werde hier etwas rechnen (in Bezug auf das ursprüngliche Problem):

H = ϵ k c k c k + k k ' v k k ' c k c k c k ' c k '
MFA, wie von Bogoliubov vorgeschlagen, kann vollständig innerhalb des Variationsprinzips verstanden werden, daher kann man die verwirrenden "Ordnungsparameter" und "Fluktuation" mit dem folgenden Verfahren loswerden:

  • Schritt 1: Wählen Sie beispielsweise einen nicht-interagierenden Hamiltonoperator mit so vielen einstellbaren Parametern, wie Sie möchten

    H 0 = H 0 ( E , Δ ) = E k c k σ c k σ + k , σ σ ' ( Δ k , σ σ ' c k σ c k σ ' + HC )
    Beachten Sie, dass die Form hier die räumliche Translationssymmetrie impliziert. Sie können natürlich eine allgemeinere Form verwenden, die Ihnen möglicherweise mehr Beobachtungen gibt (z. B. den Dichtewellenzustand, der die Translationssymmetrie bricht).

  • Schritt 2: Die Bogoliubov-Ungleichung hilft, den optimalen Parametersatz zu finden, indem er definiert:

    F ( H ) = 1 β Protokoll ( Tr ( e β H ) )

    Ö ^ 0 = Tr ( Ö ^ e β H 0 ) Tr ( e β H 0 )
    die Ungleichung (Variationsprinzip):
    F ( H ) F ( H 0 ) + H H 0 0 , H 0
    optimal H 0 ist somit gegeben durch:
    Mindest alle Parameter F ( H 0 ) + H H 0 0

mit etwas zusätzlicher Mathematik, insbesondere der Feynman-Hellmann-Gleichung:

F ( H 0 ) E k = σ c k σ c k σ 0 F ( H 0 ) Δ k , σ σ ' = c k σ c k , σ ' 0
und der Satz von Wick für die Erwartung, die auf einem nicht wechselwirkenden Grundzustand berechnet wird:
c 1 c 2 c 3 c 4 0 = 0 . . 0 0 0 + 0 0
Es soll einfach sein, Ihr gewünschtes Ergebnis wiederherzustellen.

Die Mean-Field-Theorie ist (in der thermodynamischen Grenze) im Fall einer langreichweitigen Wechselwirkung exakt (was beim Ising-Modell des nächsten Nachbarn nicht der Fall ist). Daher ist die Mean-Field-Theorie genau für BCS, wo Sie eine effektive Wechselwirkung über große Entfernungen haben. Was strenge Ergebnisse betrifft, bewies Bogoliubov rigoros, dass im Grundzustand (Nulltemperatur) die Energien pro Teilchen für BCS und die Mean-Field-Theorie im thermodynamischen Limit übereinstimmen. Später hat Bogoliubov Jr. dasselbe für beliebige Temperaturen (und freie Energien pro Teilchen) rigoros bewiesen. Siehe die Bibliographie, z. B. unter http://arxiv.org/abs/1507.00563 (die Diskussion ist ungefähr auf Seite 43).

Nicht sicher was du meinst. 1) BCS ist Nullbereich. 2) MFA ist sicherlich nicht exakt für Kräfte mit großer Reichweite wie Eichbosonen, Spinfluktuationen usw. 3) Sie meinen vielleicht eine wirklich unendliche Reichweite (Nullreichweite im Impulsraum), aber dies wird in der Natur nicht realisiert.
@Thomas: "Die BCS-Wechselwirkung findet ausschließlich bei Nullimpuls statt und beinhaltet als solche eine Wechselwirkung zwischen Paaren mit unendlicher Reichweite. Dieser Aspekt des Modells mit großer Reichweite ermöglicht die exakte Lösung des BCS-Hamilton-Operators unter Verwendung der Mean-Field-Theorie."( Bücher. google.com/… ). Und es ist ein Modell, nicht die Natur :-)
s-Wellen-BCS streut (k,-k) in (k',-k') , sodass die Impulsübertragung q=kk' von der Ordnung k_F ist, was eine Wechselwirkung mit kurzer Reichweite ist.
Ich denke, Sie beziehen sich auf die Tatsache, dass das Momentum des Paares null ist, aber das macht die MFA nicht exakt
@Thomas: Innerhalb des Modells und in der thermodynamischen Grenze tut es das.
Welches Modell? BCS sicher nicht. Es sei denn, Sie meinen MFA-BCS, was die Aussage tautologisch macht
@Thomas: Bogoliubov Jr. hat das für einen ziemlich allgemeinen Kernel von BCS bewiesen. Die unter arxiv.org/abs/1507.00563 angegebenen Referenzen stehen mir nicht ohne Weiteres zur Verfügung, ich habe nur ein Buch in russischer Sprache mit dem Beweis. Ich bin mir bei einem beliebigen Kernel nicht ganz sicher, aber warum sind Sie sicher, dass das Ergebnis für einen beliebigen Kernel nicht korrekt ist?
Siehe auch HAAG, R.: Die mathematische Struktur des BCS-Modells. Nuovo cimento 25/2 287–299 (1962).