Warum wird die (von Neumann) Entropie für ein Ensemble im thermischen Gleichgewicht maximiert?

Betrachten Sie ein Quantensystem im thermischen Gleichgewicht mit einem Wärmebad. Bei der Bestimmung des Dichteoperators des Systems besteht das übliche Verfahren darin, die von Neumann-Entropie zu maximieren, abhängig von der Einschränkung, dass der Gesamtmittelwert des Hamilton-Operators einen festen Wert hat.

Was rechtfertigt diese Annahme?

Sakurai schreibt in seinem QM-Text

Diese Annahme zu rechtfertigen würde uns in eine heikle Diskussion darüber verwickeln, wie das Gleichgewicht als Ergebnis von Wechselwirkungen mit der Umwelt hergestellt wird.

Ich würde mich freuen, wenn jemand etwas Licht ins Dunkel bringen könnte. Auch Referenzen sind willkommen.

Ich habe den Vorschlag gehört, dass ein thermisches Gleichgewichtsensemble einfach durch diesen Dichteoperator definiert wird, der das obige Problem der eingeschränkten Optimierung löst. Wenn dies der Fall ist, warum werden dann reale physikalische Systeme, die über lange Zeiträume in schwachem Kontakt mit Wärmebädern stehen, durch solche mathematischen Ensembles gut beschrieben, und wie würde man den Lagrange-Multiplikator identifizieren? β das entsteht bei umgekehrter Temperatur des Wärmebades?

Antworten (2)

Sie müssen dieses Papier von Jaynes lesen. Ich kann es nicht so gut erklären wie er, aber ich werde versuchen, die wichtigsten Punkte unten zusammenzufassen.

Als erstes muss man erkennen, dass die Entropie beobachterabhängig ist: Sie hängt davon ab, auf welche Informationen man über das System Zugriff hat. Eine endliche Temperatur bedeutet, dass Sie keinen Zugriff auf alle Informationen über den Zustand des Systems haben; insbesondere kann man die (unendlichen) Freiheitsgrade des Bades nicht überblicken. Nehmen wir jedoch an, dass ein Dämon alle Freiheitsgrade des Systems und des Bades im Auge behalten könnte: Er/sie sieht null Entropie. Für den Dämon sieht es ein bisschen so aus, als hätte das gesamte System eine Temperatur von Null (obwohl es eigentlich besser ist zu sagen, dass die Temperatur für den Dämon schlecht definiert ist).

Da Sie unwissend sind (sorry, aber zumindest nenne ich Sie keinen Dämon), müssen Sie ein konsistentes Rezept finden, um den verschiedenen Mikrozuständen Wahrscheinlichkeiten zuzuordnen. Das Rezept muss „ehrlich“ darüber sein, was Sie tun oder nicht wissen. Die Entropie ist in gewisser Weise ein einzigartiges Maß für Unwissenheit, wie Shannon bewiesen hat. Daher sollten Sie „Ihre Unwissenheit maximieren“, unter der Bedingung, dass Sie bestimmte makroskopische Observable kennen , z. B. durchschnittliche Energie oder durchschnittliche Teilchenzahl, wenn das System offen ist usw.

Die Maximierung der Entropie des Systems ist der logischste Weg, um den Mikrozuständen des Systems Wahrscheinlichkeiten zuzuweisen, da nur Zugriff auf eine begrenzte Teilmenge von Observablen gegeben ist. Das gleiche „MaxEnt“-Prinzip ist ziemlich allgemein und gilt für alle statistischen Analysen, nicht nur für die Physik. Der Lagrange-Multiplikator β wird mit inverser Temperatur identifiziert, indem das Ergebnis dieses abstrakten Verfahrens mit den experimentellen Fakten der phänomenologischen Thermodynamik verglichen wird.

Wenn Sie an der tatsächlichen Dynamik des Gleichgewichts interessiert sind, gibt es in letzter Zeit viel Literatur darüber, insbesondere in mesoskopischen Systemen. Besonderes Augenmerk wird auf die Integrierbarkeit des Systems gelegt: nicht integrierbare (chaotische) Systeme thermalisieren, während integrierbare Systeme nicht richtig thermalisieren. Intuitiv liegt dies daran, dass integrierbare Systeme einen maximalen Satz lokal erhaltener Größen haben, so dass selbst bei Kontakt mit einem Wärmebad die Erinnerung an die Anfangsbedingungen nie ganz verloren geht.

Siehe zum Beispiel: Dynamik der Thermalisierung in kleinen Hubbard-Modellsystemen und Thermalisierung und Ergodizität in offenen Quantensystemen mit vielen Körpern . Wenn Sie auf arxiv nach „Thermalisierung“ (sic) suchen, werden Sie viele weitere finden.

Danke Mark. Ja, ich habe aus irgendeinem Grund den informationstheoretischen Standpunkt vergessen, als ich diese Frage gestellt habe. Ich glaube, ich hatte gehofft, dass das MaxEnt-Prinzip nicht nur aus der Perspektive der statistischen Inferenz irgendwie gerechtfertigt werden könnte, sondern dass es in Gleichgewichtsensembles als Folge des Äquilibrierungsprozesses (oder etwas Ähnlichem) entstehen würde. Halten Sie eine solche Erwartung für unangemessen? Ich bin mir nicht sicher, was ich an diesem Punkt denken soll. Auch vielen Dank für die Hinweise am Ende.
Ich denke, das ist eine sehr gute Frage, und sie ist im Moment Gegenstand vieler Forschungen, obwohl sie mit einem Vorbehalt einhergeht. Im Zusammenhang mit der klassischen Physik ist es wichtig, sich daran zu erinnern, dass sich das System immer wirklich in einem reinen Zustand befindet. Die Entstehung des Gibbs-Ensembles ist also nicht wirklich vom subjektiven Wissen des Beobachters über das System zu trennen. Ich stelle es mir so vor, dass Unwissenheit/Information/Entropie jedes Mal dynamisch erzeugt wird, wenn das System mit Freiheitsgraden interagiert, die der Beobachter nicht verfolgen kann.
(Forts.) Wenn die Verteilung von Energie/Teilchen usw. über Skalen länger als die minimal erreichbare experimentelle Auflösung gleichmäßig ist, dann erhöhen weitere Wechselwirkungen die Entropie des Beobachters nicht, dh die Wahrscheinlichkeitsverteilung erreicht den stationären Zustand.
(Forts.) In der Quantenmechanik kann man jedoch nicht sagen, dass sich das System immer wirklich in einem reinen Zustand befindet, und die Unsicherheit des Beobachters ist nicht subjektiv, sie wird von den Gesetzen der Physik verlangt. Sie können die Äquilibrierung kleiner Quantensysteme in einem Wärmebad untersuchen und feststellen, dass sich das System in Richtung eines thermischen Zustands entwickelt, im Wesentlichen aufgrund der Verschränkung mit dem Bad. Ebenso wurde gezeigt, dass fast alle bipartiten Zustände für Systeme mit einer natürlichen System-Umwelt-Teilung lokal thermisch sind, siehe hier .
Wow, vielen Dank Markus. Ich hätte mir keine besseren Antworten wünschen können; Ich werde mir auf jeden Fall alle von Ihnen vorgeschlagenen Referenzen ansehen.
Freut mich :-)
Das ist ein großartiges Stück technischer Dokumentation, Mark. Ich denke, sogar Jaynes selbst hätte gerne eine Beschreibung seiner Arbeit an Sie delegiert. Und ich denke, dass Abschnitt 2 des von Ihnen zitierten Artikels von Jaynes eines der klarsten und besten technischen Texte ist, die ich je gesehen habe.
@WetSavannaAnimalakaRodVance Danke :) Freut mich, dass jemand diese alten Beiträge noch gelegentlich liest. Ich stimme zu, der Artikel von Jaynes ist eines der besten wissenschaftlichen Prosastücke, die ich je gelesen habe, und es war auch eher eine persönliche Offenbarung, als ich ihm zum ersten Mal begegnete.
@MarkMitchison Warum ist ein klassisches System immer wirklich in einem reinen Zustand? Bedeutet das, dass die Mikrozustände, die zur Entropie beitragen, vom subjektiven Wissen des Beobachters abhängen?

Hier ist ein alternativer Ansatz zur Beantwortung dieser Frage ( der Temperatur- und Lagrange-Multiplikatoren ignoriert ), der uns durch den 1. Hauptsatz der Thermodynamik und Quanteninformation gegeben wird.

Kurz gesagt maximiert ein schwach wechselwirkendes Ensemble im thermischen Gleichgewicht die von Neumann-Entropie, weil es dadurch die freie Energie des Systems minimiert.

Warum können wir das sagen? Ein schwach wechselwirkendes Ensemble im thermischen Gleichgewicht entspricht einem Gibbs-Zustand, der nichts anderes als eine Quantenversion eines kanonischen Ensembles ist. Wir können dies ausschreiben als

ρ ^ β = e β H ^ Z
wo Z ist die kanonische Zustandssumme. Kanonische Ensembles haben auch eine verwandte Größe, die als Gibbs-freie Energie bekannt ist
F = U t S
wo U ist die innere Energie und t ist die Temperatur. Wir können eine Quantenversion davon schreiben als
F = H ^ t S .
Für einen Gibbs-Zustand fällt dies mit der Gibbs-freien Energie zusammen, aber was ist, wenn wir diese Größe für einen beliebigen Quantenzustand definieren, der ein offenes Quantensystem modelliert? S die von Neumann-Entropie sein
S = tr { ρ ^ ln ρ ^ } .
Im Allgemeinen haben wir
F ( ρ ^ ) = tr { ρ ^ H ^ } + β 1 tr { ρ ^ ln ρ ^ } = β 1 tr { ρ ^ ( ln ρ ^ + β H ^ ) }
durch Linearität der Spur. Die freie Energie eines Gibbs-Zustands ist die freie Gibbs-Energie
F ( ρ β ^ ) = β ln Z = β 1 ln ( tr { e β H ^ } ) .
Betrachtet man die relative Entropie dieses willkürlichen Zustands ρ ^ und der Gibbs-Staat ρ ^ β wir haben
D ( ρ ^ | | ρ ^ β ) = tr { ρ ^ ln ρ ^ } tr { ρ ^ ln ρ ^ β }
was in Bezug auf die Freie Energie als ausgedrückt werden kann
D ( ρ ^ | | ρ ^ β ) = β ( F ( ρ ^ ) F ( ρ ^ β ) ) .
Aber die relative Entropie ist bekanntermaßen nichtnegativ
D ( | | ) 0.
Als Ergebnis ist die freie Gibbs-Energie die niedrigstmögliche freie Energie oder die freie Energie des Gibbs-Zustands ist minimal.

Der erste Hauptsatz der Thermodynamik kann in diesem Zusammenhang als angegeben werden

d E = t d S + d F
Wenn also Gibbs-Zustände die freie Energie minimieren, maximieren sie die von Neumann-Entropie , die zufällig die Gibbs-Entropie ist.

Darüber hinaus kann man die Annäherung an das thermische Gleichgewicht auch mit der Quanteninformation rechtfertigen, indem man dieses Argument erweitert. Jeder Quantenkanal, der den Gibbs-Zustand bewahrt, kann die freie Energie nicht erhöhen. Vielmehr nimmt die freie Energie von Zuständen außerhalb des Gleichgewichts monoton auf die freie Gibbs-Energie ab, was ein Gleichgewicht ergibt, wodurch die von Neumann-Entropie über lange Zeiträume maximiert wird.

Dieses Argument wird von Preskill in seinen Notizen zur Quanten-Shannon-Theorie angeführt .