Numerische analytische Fortsetzung für die Greensche Funktion

Kürzlich hörte ich zufällig von der Möglichkeit, die analytische Fortsetzung numerisch durchzuführen . Das klingt attraktiv für die Allgegenwärtigen ich ω N ω + ich 0 + Verfahren, über das wir von Matsubara Greens Funktionen zu retardierten übergehen.

Meine Frage bezieht sich also auf Informationen zu solchen numerischen analytischen Fortsetzungsalgorithmen. Wie wird es gemacht? Oder zumindest wo finde ich eine detaillierte Beschreibung davon? Vielen Dank im Voraus!

Genauer gesagt kann ich in meinem Problem eine Matsubara-Korrelationsfunktion bei einer Reihe von Bose-Matsubara-Frequenzen auswerten. Ich möchte einen Weg finden, um die analytische Fortsetzung zu erhalten, dh die Korrelationsfunktion in Bezug auf die tatsächliche Energie/Frequenz. Gibt es dafür ein allgemein akzeptiertes einfaches Rezept?

Können Sie einen Link oder eine Referenz dafür hinzufügen, es klingt interessant?
Können Sie genauer sagen, was Sie eigentlich behandeln möchten? Ansonsten erhalten Sie dieselbe Liste von Methoden, die Sie in der Veröffentlichung finden, die ich Ihnen gegeben habe: 'Pade approximations, singular value decomposition, stochastic regularization and sample schemes.' Ich schätze, dass niemand auf alle eingehen wird/kann.
@FitzgeraldCreen Vielen Dank für deine Antwort! Ist diese Version spezifisch genug?
Wenn Sie einen numerischen Ausdruck ohne statistische Fehler haben, wie bei einem Störungsschema, bei dem Sie nur eine Integral- oder Impulssumme numerisch machen müssen, sollten Sie zuerst Pade ausprobieren (das allgemein akzeptierte, einfache und fehlbare Rezept :). Es gibt bereits Implementierungen davon zB in der TRIQS-Bibliothek. Die Installation von TRIQS ist mühsam, aber sobald Sie dies getan haben, können Sie problemlos die Pade-Implementierung verwenden. Schauen Sie sich die Dokumentation an: ipht.cea.fr/triqs/reference/python/green/block/…

Antworten (1)

Es gibt eine Vielzahl von Optionen für diese Aufgabe, aber lassen Sie mich zunächst betonen, dass dies ein äußerst kompliziertes und schwieriges Thema ist, das immer noch Gegenstand aktueller Forschung ist, da die analytische Fortsetzung ein schlecht gestelltes Problem ist !

1) Die „analytische“ analytische Fortsetzung kann durchgeführt werden, wenn die Funktion F ( ich ω ) unter Betrachtung ist eine rationale Funktion von ich ω . So

F ( ich ω ) = 1 ich ω
kann bis zur komplexen Ebene fortgesetzt werden ich ω z C während
F ( ich ω ) = e ich ω β ich ω
ist keine rationale Funktion von ich ω und das Ersetzen hier ist ein Fehler. Stattdessen muss man zuerst die Exponentialfunktion auswerten und finden e ich ω β = ± 1 je nach Statistik.

2) Aus dieser Ersetzungsregel folgt direkt die Entwicklung einer Funktion in einer endlichen Laurent-Reihe

F ( z ) = N = M 1 M 2 A N z N , M 1 , M 2 Z
wobei die Koeffizienten aus den bekannten Zahlenwerten berechnet werden können M 2 M 1 Matsubara-Energien.

3) Eine der ältesten Methoden, um eine numerische analytische Fortsetzung zu machen, ist die Pade-Näherung. Die betreffende Funktion wird in einem fortgesetzten Bruch entwickelt

F ( z ) = B 0 + A 1 z 1 A 2 z 1 A 3 z 1 . . . .
Die Koeffizienten können aus einer Pade-Tabelle berechnet werden, siehe http://en.wikipedia.org/wiki/Pad%C3%A9_table

Methode 1) ist exakt und außer für fast triviale Berechnungen von geringem praktischem Wert. 2) und 3) leiden unter Cutoff-Effekten aufgrund der begrenzten Menge verfügbarer Matsubara-Punkte, an denen der Funktionswert auch einen numerischen Fehler aufweisen könnte, wie dies bei Daten aus Quantum-Monte-Carlo-Berechnungen der Fall ist. Tatsächlich ist die analytische Fortsetzung jedoch sehr volatil gegenüber Cutoff- und Rauscheffekten . Hier müssen physikalische Überlegungen berücksichtigt werden .

Um den Cutoff zu bewältigen, kann man den Schwanz annähern (groß ich ω bzw z Erweiterung) der Funktion mit einer analytischen Form, die sich oft aus dem Vielteilchenproblem oder allgemeinen physikalischen Notwendigkeiten exakt berechnen lässt, zB hat die 1-Teilchen-Greensche Funktion eines fermionischen Systems immer die Form 1 z + A 1 z 2 + . . . . Der Schwanz kann verwendet werden, um eine beliebige Anzahl von Expansionskoeffizienten zu berechnen, aber denken Sie daran, dass das interessante Niedrigenergiespektrum Ihres Systems stark von kleinen Matsubara-Energien und weniger vom Schwanz beeinflusst wird, also von der Berechnung einer großen Anzahl von Koeffizienten aus dem Schwanz man gewinnt wenig bis gar nichts. Die Behandlung des statistischen Rauschens ist noch heikler als der Cutoff und der Grund, warum viele Leute versuchen, das Rechnen auf der Matsubara-Achse ganz zu vermeiden .

4) Eine bekannte Methode für verrauschte Daten ist die Maximum-Entropie-Methode, über die Sie hier mehr lesen können http://arxiv.org/pdf/1001.4351v1.pdf , wo Sie auch Verweise auf alternative Techniken finden.

A Condensed-Matter Reference of Analytic Continuation with Pade: H. Vidberg and J. Serene, J. Low Temp. Phys. 29, 179192 (1977).
Vielen Dank für deine nette Antwort! Ist die Eingabe dieser Methoden, sagen wir Pade oder maximale Entropie, die berechneten Daten von F ( τ ) oder F ( ich ω N ) ? τ ist die imaginäre Zeit.
Alles, was ich hier geschrieben habe, bezieht sich auf Frequenzen. Bei Pade muss man sich meiner Meinung nach an das Frequenzbild halten, bei MaxEnt bin ich mir nicht sicher.
Tut mir leid, einen alten Beitrag zu kommentieren, aber warum ist das Ersetzen in der Exponentialfunktion ein Fehler? Hat ein Exponential nicht eine überall konvergierende Taylor-Reihe, und daher ist das Verhältnis eine rationale Funktion?
Das würde bedeuten, dass eine Exponentialfunktion auch als Polynom betrachtet werden könnte, was sie nicht ist, weil die Taylorreihe unendlich viele Terme hat. Die Ersetzungsregel funktioniert nur für endliche Polynome, aber ich bin ehrlich gesagt nicht Mathematiker genug, um zu sagen, warum. Das Beispiel mit der Exponentialfunktion zeigt, dass es im Allgemeinen falsch ist, die Ersetzung für eine nicht rationale Funktion durchzuführen.
Hallo @FitzgeraldCreen, ich habe tatsächlich mehrere Referenzen des Maximum-Entropie-Formalismus durchgearbeitet, und eine Sache, die jeder zu beschönigen scheint, ist, warum das Fortsetzungsproblem mit der imaginären Green-/Response-Funktion und nicht mit der Matsubara-Frequenz gelöst wird. In Ihrer Antwort scheinen Sie dazu mehr Stellung zu nehmen als jeder andere (sogar mehr als wegweisende Artikel, die ich zu lesen versucht habe, z. B. Jarrell, Scalapino, Gull usw.), aber ich habe mich gefragt, ob Sie etwas näher darauf eingehen können zu diesem Punkt oder bieten Sie vielleicht einige Referenzen an, wo dies klar erklärt wird
Nur um es klarzustellen, in all diesen Artikeln wird das analytische Fortsetzungsproblem oft als ein Inversionsproblem von G=KA dargestellt – dh wir wollen für irgendein A=(K^-1)G lösen. Nun hat K~e^(-ωτ) auf der imaginären Zeitachse eine gewisse exponentielle Unterdrückung bei großen Frequenzen, weshalb das obige Inversionsproblem schlecht definiert ist. Meine Frage ist, warum können wir nicht einfach auf der imaginären Frequenzachse arbeiten, wo der Kern (K^-1)~(iωn-ω) viel besser erzogen zu sein scheint?
Ich freue mich, dass Sie meine erste Antwort nützlich fanden, aber ich habe die Fortsetzung aus imaginären Zeiten nicht kommentiert, noch weiß ich viel darüber. Meine beste Vermutung ist, dass man die Fortsetzung auch aus den Frequenzen machen kann, aber zumindest formal benötigt man unendlich viele und es wird ein Cutoff-Problem geben. Da wir die imaginären Zeitdaten oft direkt aus einem CTQMC-Löser erhalten, vermeidet man das Cutoff-Problem, indem man die Fortsetzung von imaginären Zeiten macht. Ich wäre überrascht, wenn der Wechsel zur Frequenzbasis bei dem schlecht erzogenen Kernel helfen würde.
@Wai-Ga D Ho: Für weitere Informationen kann ich nur auf die Literatur zu AC verweisen, die von Monat zu Monat zunimmt. Sie kennen sicherlich das Sandvik-Papier zu MaxEnt. Es gibt in letzter Zeit große Fortschritte bei der Reduzierung von MC-Fehlern und der Verbesserung von AC, die von den Autoren Otsuki, Shinaoka und anderen als „Zwischendarstellung“ bekannt sind.