Was ist die genaue Verbindung zwischen dem bosonischen Fock-Raum und dem harmonischen Quantenoszillator?

Nehmen wir an, ich habe einen Hilbert-Raum K = L 2 ( X ) ausgestattet mit einem Hamiltonoperator H so dass die Schrödinger-Gleichung bzgl H an K beschreibt ein Boson, an dem ich interessiert bin, und ich möchte ein paar dieser Bosonen erzeugen und vernichten. Also konstruiere ich den bosonischen Fockraum

S ( K ) = ich 0 S ich ( K )

wo S ich bezeichnet die ich t h symmetrische Macht. (Ist das "zweite Quantisierung"?) Nehmen Sie das ruhig an H hat ein diskretes Spektrum.

Was ist der neue Hamiltonian? S ( K ) (unter der Annahme, dass die Bosonen nicht interagieren)? Wie machen Observables auf K übersetzen ins S ( K ) ?

Ich bin mir nicht ganz sicher, ob dies eine sinnvolle Frage ist, also können Sie mir gerne sagen, dass dies nicht der Fall ist und dass ich einen Mechanismus postulieren muss, durch den die Schöpfung und / oder Vernichtung tatsächlich stattfindet. In diesem Fall würde ich gerne aufgeklärt werden, wie das geht.

Nun, verschiedene Quellen (Wikipedia, die Feynman-Vorlesungen) informieren mich darüber S ( K ) ist irgendwie eng verwandt mit dem Hilbert-Zustandsraum eines harmonischen Quantenoszillators. Das heißt, die Erzeugungs- und Vernichtungsoperatoren, die man in diesem Kontext definiert, sind irgendwie die gleichen wie die Erzeugungs- und Vernichtungsoperatoren, die man definieren kann S ( K ) , und vielleicht sehen die Hamiltonianer sogar irgendwie gleich aus.

Warum ist das? Was ist denn hier los?

Angenommen, ich kenne ein winziges bisschen gewöhnliche Quantenmechanik, aber keine Quantenfeldtheorie.

Hallo Qiaochu, willkommen bei Physics.SE! Gute Frage und ich hoffe, wir können noch viele weitere erwarten :-)
Was ist S ich ( K ) @Qiaochu?
@space_cadet: die i^{th} symmetrische Potenz, dh der Hilbert-Zustandsraum von i identischen Bosonen.
Ah okay. In der Physikliteratur H bezeichnet fast immer den Hamilton-Operator und S die Aktion.
Sym ich ( K ) und Sym C ich ( K ) sind beides häufig verwendete Alternativen. Ich finde sie vorzuziehen S ich ( K ) , da sie etwas weniger eindeutig sind.
H an S j m 2 ( K ) ist wirklich H 1 + 1 H und ebenso für a und a . So ist zum Beispiel die Energie die Summe der (entkoppelten) Energien. Sie haben vielleicht erwartet H H , zum Beispiel, aber H erzeugt eine infinitesimale Übersetzung in der Zeit. Die Potenzierung ergibt das erwartete Ergebnis auf dem Propagator U = e x p ( t H ) wie U U .
@Eric: Ja, ich weiß, dass es so ist H 1 + 1 H an K K . Demnächst Sym 2 ( K ) es ist nur die Einschränkung davon?
Ja, H 1 + 1 H ist schon symmetrisch sieht also vor oder nach der projektion genau gleich aus S j m 2 ( K ) .

Antworten (3)

Referenz: Fetter und Walecka, Quantum Theory of Many Particle Systems , Kap. 1

Der Hamiltonoperator für eine SHO ist:

H = ich = 0 ω ( a ich + a ich + 1 2 )

wo { a ich + , a ich } sind die Erzeugungs- und Vernichtungsoperatoren für die ich th Eigenzustand (Impulsmodus). Der Fock-Raum F besteht aus Zuständen der Form:

| n a 0 , n a 1 , . . . , n a N

die durch wiederholtes Einwirken auf das Vakuum erhalten werden | 0 von den Leiterbetreibern:

Ψ = | n ich 0 , n ich 1 , . . . , n ich N = ( a 0 + ) ich 0 ( a 1 + ) ich 1 ( a N + ) ich N | 0

Die Deutung von Ψ ist wie der Zustand, der enthält ich k Quanten der k th Eigenzustand erzeugt durch Anwendung von ( a k + ) ich k auf dem Vakuum.

Der obige Zustand wird nicht normalisiert, bis er mit dem Faktor der Form multipliziert wird k = 0 N 1 k + 1 . Wenn Ihre Erregungen bosonisch sind, sind Sie fertig, weil der Kommutator der Leiteroperatoren [ a ich + , a j ] = δ ich j verschwindet für ich j . Wenn die Statistik Ihrer Teilchen jedoch nicht-bosonisch (fermionisch oder anyonisch) ist, dann ist die Reihenfolge wichtig , in der Sie mit den Leiteroperatoren auf das Vakuum einwirken.

Natürlich, um einen Fockraum zu konstruieren F Sie müssen keinen Hamiltonoperator angeben. Es werden nur die Leiteroperatoren mit ihren Kommutierungs-/Antikommutierungsbeziehungen benötigt. Bei üblichen Flachraumproblemen entsprechen die Leiteroperatoren unseren üblichen Fouriermoden a k + exp ich k x . Für gekrümmte Raumzeiten kann dieses Verfahren verallgemeinert werden, indem unsere Leiteroperatoren so definiert werden, dass sie geeigneten positiven (negativen) Frequenzlösungen eines Laplace-Operators in diesem Raum entsprechen. Für Einzelheiten siehe Wald, QFT in Curved Spacetimes . Gegeben sei nun ein Hamiltonoperator der Form:

H = k = 1 N T ( x k ) + 1 2 k l = 1 N v ( x k , x l )

mit einem kinetischen Term T für ein Teilchen bei x k und ein paarweiser potentieller Term v ( x k , x l ) , kann man den Quanten-Hamiltonoperator in Form von Matrixelementen dieser Operatoren aufschreiben:

H = ich j a ich + ich | T | j a ich + 1 2 a ich + a j + ich j | v | k l a l a k

wo | ich ist der Zustand mit einem einzelnen angeregten Quant entsprechend der Wirkung von a ich + auf dem Vakuum. (Details, Schritte siehe Fetter & Walecka, Kap. 1).

Ich hoffe, dies hilft, einige Ihrer Zweifel auszuräumen. Da Sie aus der Mathematik kommen, gibt es zwangsläufig semantische Unterschiede zwischen meiner und Ihrer Sprache. Wenn Sie also irgendwelche Fragen haben, zögern Sie bitte nicht, sie zu stellen.

Können Sie die Notation in dieser letzten Formel erklären? Was sind die b_i?
@qiaochu das war ein Tippfehler. Es ist jetzt behoben.
Noch vor 10 Jahren unterrichtete Welecka noch als William & Mary. Es lohnt sich, seinen Kurs zu besuchen. Jeder Kurs. Oder sogar zu einem Vortrag gehen. Wirklich.

Lassen Sie uns zuerst den harmonischen Oszillator besprechen. Es ist tatsächlich ein sehr spezielles System (das einzige seiner Art in der gesamten QM), das selbst in gewissem Sinne bereits zweitquantisiert ist (dieser Punkt wird später erläutert).

Zuerst ein allgemeines Gespräch über HO (überspringen Sie diesen Absatz, wenn Sie sie bereits in- und auswendig kennen). Es ist möglich, seinen Hamiltonian auszudrücken als H = ω ( N + 1 / 2 ) wo N = a a und a ist eine Linearkombination aus Impuls- und Ortsoperator). Unter Verwendung der Kommutierungsbeziehungen [ a , a ] = 1 man erhält Grundlage { | n | n N } mit N | n = n . So erhalten wir eine bequeme Interpretation, dass diese Basis tatsächlich die Anzahl der Teilchen im System ist, von denen jedes Energie trägt ω und dass das Vakuum | 0 hat Energie ω 2 .

Nun, die obige Konstruktion war eigentlich die gleiche wie bei Ihnen X = { 0 } . Die Konstruktion von Fock (auch zweite Quantisierung genannt) kann als Einführung von Teilchen verstanden werden, S ich korrespondierend zu ich Teilchen (also ist HO eine zweite Quantisierung eines Teilchens mit einem Freiheitsgrad). In jedem Fall erhalten wir positionsabhängige Operatoren a ( x ) , a ( x ) , N ( x ) und H ( x ) die für jeden sind x X isomorph zu den zuvor besprochenen HO-Operatoren und erhalten auch eine Base | n ( x ) (obwohl ich eigentlich nicht sicher bin, ob dies eine Basis im eigentlichen Sinne des Wortes ist; diese Angelegenheiten werden in der Feldtheorie von Physikern nicht viel diskutiert). Der totale Hamiltonian H ist dann ein Integral H = H ( x ) d x . Der generische Zustand in diesem System sieht aus wie ein Bündel von überall verstreuten Teilchen, und dies ist tatsächlich die Teilchenbeschreibung eines freien bosonischen Feldes.

Mir ist klar, dass ich Ihren ursprünglichen Hamiltonian verlassen habe H aus der Diskussion. Ich werde das später zur Antwort hinzufügen. Beachten Sie das vorerst x Das ist in keiner Weise besonders, wir hätten auch andere "Basis" verwenden können K wie Schwung und insbesondere Energiebasis der H . In diesem Fall sind die entsprechenden Staaten z S ( K ) werden | n 0 n 1 mit n ich sagt uns, wie viele Teilchen sich im Energiezustand befinden E ich .
@Marek: danke! Ich würde mich definitiv über einige Hinweise freuen, was genau mit dem ursprünglichen Hamiltonian zu tun ist. Einige Folgefragen: Sind die Erzeugungs- und Vernichtungsoperatoren beobachtbar? Wird Zahl im allgemeinen Fall eine Erhaltungsgröße sein?
@Marek: und noch eine Frage. Wenn eine Observable A auf K gegeben ist, was ist die entsprechende Observable auf S(K)? Mir fallen ein paar verschiedene Möglichkeiten ein und ich bin mir nicht sicher, welche Physiker tatsächlich verwenden.
@Qiaochu: Ich werde sehen, was ich tun kann. Zu den Fragen: 1. nein, sie können keine Observablen sein, weil sie nicht hermitesch sind; 2. Zahl wird nur solange beibehalten, wie Sie keine Wechselwirkungen einführen; aber eine solche Theorie ist nicht interessant, weil der Hilbert-Raum nur eine Summe nicht wechselwirkender Teile ist, von denen jeder durch QM beschrieben wird. Um eine Wechselwirkung einzuführen, müssen Sie Hamiltonian hinzufügen H ich das nichttriviale Matrixelemente zwischen Zuständen mit unterschiedlichen Teilchenzahlen hat (mit anderen Worten, es behält die ursprüngliche Fock-Zerlegung des gesamten Hilbert-Raums nicht bei).
@Qiaochu (Forts.) eine solche Wechselwirkung würde zB einen Zerfall eines Teilchens in zwei andere Teilchen beschreiben; 3. Nun, es gibt im Wesentlichen nur einen Weg, um Observables zu fördern K zu S ( K ) - Fassen Sie sie zusammen. Du weißt wie EIN schaut jeden an S ich ( K ) (z. B. die Energie der beiden Teilchen ist nur die Summe der Energien der einzelnen Teilchen) und wenn Sie erzwingen, dass der Operator die Zerlegung respektiert, kennen Sie seine Wirkung als Ganzes S ( K ) . Natürlich sind diese Operatoren nicht besonders interessant. Diejenigen, die anders mischen S ich ( K ) (als die H ich oben) sind.
@Marek: richtig, aber wie du sagst, gibt es nicht auch Zahlenoperatoren N (Lambda) für jeden Eigenwert Lambda von A, der beschreibt, wie viele Teilchen sich in dem Zustand befinden, der Lambda entspricht? Diese scheinen mehr Informationen zu enthalten. Wenn Sie Zeit haben, wäre ich auch daran interessiert, einige typische Entscheidungen des Wechselwirkungs-Hamilton-Operators zu sehen.
@Qiaochu: Stimmt, aber ich dachte, Sie fragen, wie man Observables von fördern kann K zu S ( K ) . N ( λ ) sind völlig neue Operatoren, als die Struktur von benötigen S ( K ) zu definieren. Was Wechselwirkungen betrifft: Nun, das ist ein Thema für einen einsemestrigen Kurs in Quantenfeldtheorie, daher empfehle ich Ihnen, dies als separate Frage zu stellen. Aber kurz gesagt: im Allgemeinen alle H ich ist möglich. Aber physische müssen Energie, Schwung und tatsächlich die Poincaré-Symmetrie vervollständigen. So verwendet man Darstellungen der Poincaré-Gruppe, um mögliche Wahlmöglichkeiten einzuschränken H ich .
@Qiaochu: (Fortsetzung) Am Ende stellt sich heraus, dass es wirklich ineffektiv ist, auf diese Weise zu arbeiten, und man gezwungen ist, zur Sprache der Felder überzugehen. Man kann mit üblichen Mitteln (kanonische Quantisierung, Pfad-Integral, etc.) klassische Körper quantisieren (wiederum Poincaré- und vielleicht andere Eichsymmetrien erzwingen) und am Ende den Hilbert-Raum in Teilchen (im Fock-Sinne) und zerlegen H ich fällt aus. Auf jeden Fall bleibt noch viel Raum für mögliche Wechselwirkungen und um einen Vorgeschmack zu bekommen, siehe zB QED Lagrange .

Nehmen Sie an, wie Sie es tun K ist der Zustandsraum eines einzelnen Bosons. Dann ist es der Zustandsraum eines kombinierten Systems aus zwei Bosonen nicht K K wie es wäre, wenn die beiden Bosonen unterscheidbar wären, ist es der symmetrische Unterraum, den Sie bezeichnen S 2 . Ihre Summe über alles ich , die Sie bezeichnen S , ist dann ein Hilbert-Raum (Zustandsraum) eines neuen Systems, dessen Zustände die Zustände eines Ein-Boson-Systems, eines Zwei-Boson-Systems, eines Drei-Boson-Systems usw. enthalten, außer einer nicht unendlichen Anzahl von Bosonen. (Das ist nicht im Raum enthalten S ). Und Ihren Raum S enthält Überlagerungen, zum Beispiel if v 1 ist ein Element von S (ein Zustand eines Bosons) und wenn v 3 S 3 (ein Zustand eines Drei-Bosonen-Systems) dann 0,707 v 1 .707 v 3 ist ein Staat, der fünfzig Prozent hat. Wahrscheinlichkeit, ein Boson zu sein, wenn die Anzahl der Teilchen gemessen wird, und fünfzig Prozent. Wahrscheinlichkeit, drei Bosonen zu finden. Das ist die physikalische Bedeutung von Fock-Raum. Es ist der Zustandsraum, auf dem die Operatoren eines Quantenfeldes wirken.

Wie bereits von Eric Zaslow bemerkt, wenn H ist der Hamiltonoperator von ho K , dann per definitionem H ich + ich H ist der Hamiltonoperator eingeschaltet S 2 , usw. auf jedem S ich . Dann summiert man sie alle, um einen Hamilton-Operator für die direkte Summe zu erhalten S .

Sofern dieser Hamiltonoperator nicht gestört wird, ist die Anzahl der Teilchen offensichtlich konstant, da er jeden Unterraum erhält S ich von S . Es wird also keine Erzeugung oder Vernichtung von Teilchenpaaren geben. Wenn dieses Feld mit einem fremden Teilchen in Wechselwirkung tritt, wird der Hamiltonoperator natürlich gestört.

Es ist wie folgt mit der zweiten Quantisierung verbunden: Wenn Sie ein klassisches ho haben und es quantisieren, erhalten Sie K . Wenn Sie jetzt 2. quantisieren K , du erhältst S die als Quantenfeld betrachtet werden kann. Sir James Jeans zeigte vor der Quantenrevolution, dass das klassische elektromagnetische Feld aus der klassischen Mechanik ho als Grenze von immer mehr klassischen ho erhalten werden konnte, die nicht miteinander wechselwirken, und dieses Verfahren der zweiten Quantisierung ein Quantenanalog ist. Es ist nicht dasselbe Verfahren, als ob Sie mit einem klassischen Feld beginnen und es dann quantisieren. Aber es ist bemerkenswert, dass man so oder so die gleiche Antwort bekommen kann, wie JEans im klassischen Fall bemerkt hat. Das heißt, Sie begannen mit einem Quanten-Ein-Teilchen-System und gingen in den Fock-Raum über und erhielten die diesem System entsprechende Quantenfeldtheorie. Aber wir hätten mit einem klassischen Feld beginnen und es quantisieren und so das Quantenfeld erhalten können.