Mathematischer Formalismus, um zu zeigen, dass ein Atom einen kleinen Schatten in das Photonenfeld wirft, das es beleuchtet

Diese Frage betrifft die Beziehung zwischen Photonenabsorption und der räumlichen Mode des Lichts. Bei der Frage habe ich eine gewisse physikalische Intuition, die ich zu verstehen glaube und die durch Experimente entstanden ist, die überall eingestreut sind. Der mathematische Formalismus, mit dem ich mich der vorliegenden Fragestellung zuwenden muss, scheint jedoch nicht in der Lage zu sein, die physikalische Situation zu beschreiben, mit der ich mich befasse, und der Formalismus wirft für mich auch Kausalitätsfragen auf. Aus diesem Grund verbringe ich den größten Teil des Textes in diesem Beitrag damit, den mathematischen Formalismus so darzulegen, wie ich ihn verstehe, in der Hoffnung, ein weiteres Verständnis dieses Formalismus zu erhalten oder auf einen anspruchsvolleren Formalismus hingewiesen zu werden, der meine Bedenken ansprechen kann.

Hintergrund

In der Quantenoptik kann das elektrische Feld quantisiert werden als

E ^ ( X , T ) = ich 2 ϵ 0 v k , S ω k ( F k , S ( X ) A ^ k , S ( T ) F k , S ( X ) A ^ k , S ( T ) )

Fettgedruckte Symbole repräsentieren Vektorgrößen. Das ist eine Gleichung für das quantenelektrische Feld in Raum und Zeit. Wir summieren über alle Wellenvektoren k die nach der Helmholtz-Gleichung verwandte zeitliche Frequenzen haben ω k = C | k | . S ist ein Polarisationsindex und nimmt die Werte 1 oder 2 an.

F k , S ( X ) ist eine dimensionslose vektorwertige räumliche Modusfunktion, die durch die Randbedingungen* bestimmt wird. Zum Beispiel häufig, wenn wir die Quantisierung in Volumenboxen betrachten v die Modusfunktionen sind gegeben durch

F k , S ( X ) = ϵ k , S e ich k X

Hier ϵ S ist der Polarisationsvektor. Beachten Sie, dass dies nur eine mögliche Wahl für den vollständigen Satz von Moden ist, die sich aus der Lösung der Helmholtz-Gleichung ergeben. Der F k , S ( X ) könnten beispielsweise auch Hermite-Gauß- oder Laguerre-Gauß-Modi sein, die für dieses Problem hilfreich sein können.

Das Modenvolumen oder Quantisierungsvolumen hängt mit den räumlichen Moden zusammen durch**

D X F k , S ( X ) F k ' , S ' ( X ) = δ k k ' δ S S ' v

Der A ^ k , S ( T ) Und A ^ k , S ( T ) sind die bosonischen, photonischen Vernichtungs- und Erzeugungsoperatoren. Diese Operatoren beziehen sich auf die Anzahl der Photonen, die eine einzelne Mode besetzen. Wir sehen, dass quantenstatistische Eigenschaften von E ^ hängen von den quantenstatistischen Eigenschaften der ab A k , S

Wenn wir die Hüte von diesem Ausdruck entfernen, können wir sehen, dass die A k , S ( T ) sind zeitabhängige Koeffizienten der räumlichen Modenzerlegung des elektrischen Feldes. Wenn wir die Hüte wieder einsetzen, sehen wir, dass diese Moduskoeffizienten, A ^ k , S ( T ) sind jetzt eher Quanten-Zufallsvariablen als feste Amplituden.

Glänzender Laser auf einem Bildschirm

Zunächst ein Gedankenexperiment. Angenommen, wir haben eine Lichtquelle, die beispielsweise einen Gaußschen Strahl*** ausgibt, der auf eine Punktgröße fokussiert wird w 0 an einem bestimmten Ort. Angenommen, wir sind in der Lage, die Leistung dieser Quelle willkürlich abzustimmen. Nehmen wir zum Zwecke der Argumentation an, dass es kohärente Lichtzustände ausgibt. In einem Modus (hohe Leistung) kann die Ausgabe so abgestimmt werden, dass der kohärente Zustandsfluss aus vielen vielen Photonen pro Sekunde besteht (wie bei einem gewöhnlichen Laser, an den wir denken) oder in einem anderen Modus (niedrige Leistung) kann er so eingestellt werden dass die Ausgabe weniger als ein Photon pro Sekunde beträgt.

In einem Experiment stellen wir einen Bildschirm an die Stelle des Fokus und strahlen den Laserstrahl mit hoher Leistung auf den Bildschirm. Wir werden natürlich einen Punkt auf dem Bildschirm mit einer Gaußschen Form sehen.

In einem anderen Experiment haben wir den Bildschirm an der gleichen Stelle des Fokus platziert, aber wir schalten jetzt den Laser auf niedrige Leistung herunter. Wenn wir nun auf den Bildschirm schauen, sehen wir keinen hell erleuchteten Fleck. Was wir sehen werden, ist, dass wir im Laufe der Zeit kleine Flecken sehen werden, die nacheinander auf dem Bildschirm erscheinen (der zeitliche Abstand zwischen dem Erscheinen der Flecken ist statistisch, hängt jedoch vom Photonenfluss ab). Wenn wir alle Punkte verfolgen, die wir sehen, wird die Verteilung der Punkte im Laufe der Zeit genau so aussehen wie der Gaußsche Punkt, den wir für hohe Leistung hatten.

Diese Art von Geschichte ist denen bekannt, die Youngs Doppelspaltexperiment kennen.

Stellen Sie sich nun vor, wir stellen eine kleine Scheibe vor den Bildschirm, sagen wir ein paar optische Wellenlängen vor den Bildschirm. Im Hochleistungsfall sehen wir nur einen Schatten der Scheibe. Im Low-Power-Fall sehen wir den Schatten der Scheibe, wenn wir uns die Verteilung der hellen Flecken ansehen.

Schatten eines einzelnen Atoms

Stellen Sie sich nun vor, dass wir anstelle einer Scheibe vor dem Bildschirm ein einzelnes Atom platzieren, dessen Übergang mit der Frequenz des Laserstrahls resonant ist. Das Atom kann ein wenig Licht absorbieren und somit einen Schatten werfen. Die Frage geht ungefähr so:

1) Wie sieht der Schatten aus? Eigentlich kenne ich die Antwort auf diese Frage dank Absorption Imaging of Single Atom . Die Antwort ist, dass ein kleiner Schatten der Größe λ 1   μ M erscheint auf dem Bildschirm. Beachten Sie, dass w 0 λ .

2) Meine Frage ist, wie beschreibe ich den im Hintergrundabschnitt dargelegten Formalismus?

Wir können die (Dipol)*****-Kopplung zwischen einem Atomlicht der Form betrachten H = E D und wir werden so etwas sehen

H ^ A F = k , S G k , S σ ^ A ^ k , S + G k , S σ ^ A ^ k , S

Hier σ ^ = | G E | ist der atomare Absenkungsoperator, der das Atom vom angeregten in den Grundzustand bringt. Der Kopplungsoperator für jeden Modus ist gegeben durch

G k , S = ω 2 ϵ 0 v D k , S G E

Hier

D k , S G E = G | e X ϵ k , S | E

e ist die Elektronenladung. Beachten Sie, dass, wenn wir zum Beispiel an betrachten S P Beim atomaren Übergang gibt es tatsächlich mehrere angeregte Zustände, was die Kopplung des Atoms an die verschiedenen optischen Moden isotrop macht. Das heißt, die Gesamtkopplung ist für Licht aus allen Richtungen gleich.

Mein Gedanke wäre, dass die Antwort darauf, wie der Schatten gebildet wird, darin besteht, dass das Atom vorzugsweise Moden mit bestimmten Wellenvektoren absorbiert, andere jedoch nicht. Als Ergebnis ist die Modenzerlegung für Licht „nach“ dem Atom anders als die Zerlegung „vor“ dem Atom. Dadurch sieht das optische Feld anders aus, dh es kann einen Schatten enthalten. Die Tatsache, dass die Kopplung isotrop ist, scheint diese Hoffnung jedoch zunichte zu machen.

Die Frage selbst

A) Wenn die Kopplung von Licht an alle räumlichen Moden gleich ist, würde die Wirkung des Atoms auf das Feld dann nicht darin bestehen, die übertragene Amplitude des GESAMTEN optischen Musters um den gleichen Betrag zu unterdrücken? Also das ganze Muster verdunkeln, anstatt einen Schatten zu erzeugen?

B) Natürlich, wenn die Aussage in A richtig ist (ich glaube nicht, dass das stimmt, insbesondere angesichts der oben zitierten Referenz), dann scheint es einige ernsthafte Probleme mit der Lokalität zu geben. Wie kann die Anwesenheit des Atoms in der Mitte des Gaußschen Strahls die durchgelassene Intensität nahe dem Rand des Strahls beeinflussen, wenn sie durch viele, viele Wellenlängen getrennt sind?

C) Diese Art wirft für mich eine allgemeine Frage über die Lokalität von Atom-Licht-Wechselwirkungen auf. So gesehen A ^ k , S ist die Quantenamplitude einer gesamten erweiterten, nichtlokalen räumlichen Mode mit räumlichem Muster F k , S ( X ) . Wenn ein Photon vom Atom in dieses Feld emittiert oder absorbiert wird, dann scheint es, als würde das Atom in dieser mathematischen Beschreibung etwas höchst Nicht-Lokales tun. Das heißt, das Atom nimmt ein sehr sehr kleines Subwellenlängenvolumen des Feldes ein, aber in dieser mathematischen Beschreibung kann es die Amplitude des Feldes Millionen von Wellenlängen entfernt augenblicklich beeinflussen, indem es ein Photon absorbiert oder emittiert. Gibt es einen anspruchsvolleren mathematischen Formalismus zur Behandlung dieser physikalischen Situation, der diese Probleme klären würde?

Fußnoten

*Randbedingungen werden als endlich angenommen, wie ein großer, aber endlicher Kasten. Ich weiß nicht genau, wie ich meine Frage im Fall des unendlichen Raums behandeln soll, und ich denke, dass dies in der Antwort auf meine Frage impliziert sein könnte.

**Beachten Sie, dass andere Normalisierungen für die Moduslautstärke möglich sind, aber dies ist die, die ich nehme. Beachten Sie, dass in diesem Setup alle Modi die gleiche Moduslautstärke haben.

*** Für das Folgende werde ich, obwohl das Licht ein Gaußscher Modus ist, berücksichtigen F k , S ( X ) ebene Wellen sein. Das bedeutet, dass das aus dem Laser kommende optische Feld tatsächlich aus vielen ebenen Wellenmoden mit unterschiedlichen Wellenvektoren zusammengesetzt ist. Das heißt, das Feld befindet sich in einer (Quanten-)Überlagerung, in der es viele verschiedene Modi einnimmt.

**** Wie wenig eigentlich? Ich denke im Prinzip so wenig wie alles, was das Licht auf dem Bildschirm absorbiert oder streut, also vielleicht atomare Bedeutung, wegen der Beugungsgrenze würden die Punkte bei der Abbildung so erscheinen, als hätten sie etwa die Größe einer optischen Wellenlänge. λ .

***** Ich frage mich, ob ein Teil der Antwort auf meine Frage mit Multipol-Kopplungstermen höherer Ordnung zu tun hat? Ich glaube nicht. Wir können annehmen, dass es keine nahegelegenen Übergänge mit den entsprechenden Auswahlregeln gibt, so dass diese Kopplungen höherer Ordnung keine Rolle spielen.

Habe gerade noch ein bisschen darüber nachgedacht. Gehen Sie zurück zu dem Fall, in dem nur eine feste Scheibe einen Schatten wirft. In diesem Fall (unter Verwendung der klassischen Fourier-Optik) ist das Feld nach der Scheibe die Multiplikation des Feldes vor der Scheibe mal einer 2D-Maske mit der Form der Scheibe. Im Fourier-Raum erscheint diese Multiplikation als Faltung. Wenn die Scheibe von einer ebenen Welle beleuchtet wurde, dann ursprünglich in k -space das Feld eine Delta-Funktion war. Nach der Scheibe ist es jedoch eine Faltung mit der Fourier-Transformation der Maske. Mit anderen Worten, das Feld wird nun über einen endlichen Bereich von Wellenvektoren Unterstützung haben
Das bedeutet, dass die Maske kein lineares optisches Element ist. Das heißt, es dämpft nicht nur die kommenden Wellenvektoren. Es streut Licht zwischen Wellenvektoren (mathematisch über die Faltung). In meiner Frage habe ich versucht, das Atom als lineares optisches Element zu behandeln, das einfach bestimmte Wellenvektoren dämpft. Es scheint jedoch, dass wir die Rückstreuung (Vorwärtsstreuung?) des Lichts durch das Atom in verschiedene optische Raummoden berücksichtigen müssen. Ich denke, wenn man es so betrachtet, könnte die Antwort schließlich herausfallen. Ich weiß nicht, ob der oben angegebene Formalismus diesen Effekt erfassen kann
Oben habe ich die Dipolkopplung von Licht betrachtet, E D . In einem anderen Formalismus hat der Kopplungs-Hamilton-Operator die Form A P . Wir betrachten die Fourier-Transformation der Ortsraumdarstellung des Atoms. Ich denke, dieser Formalismus könnte die Dinge ein wenig klarer machen. Man kann in diesem Formalismus sehen, dass es eine Wechselwirkung zwischen den Impulsmoden des Lichts und den Impulsmoden des Elektrons gibt und dass sie sich aneinander streuen können, wodurch jeweils neue Impulsmoden bevölkert werden . Man stellt sich dazu eine Art QED-Feynman-Diagramm vor.
Ja, ich glaube, das Wort, nach dem ich suche, ist Rayleigh-Streuung. Ich bin immer noch neugierig zu hören, ob jemand Einsicht in das hatte, was ich gefragt habe. Ich bin auch neugierig, wie diese Streuung in dem oben beschriebenen Formalismus ausgedrückt werden könnte.

Antworten (1)

Nachdem ich die Frage sorgfältig gelesen habe, glaube ich, dass die Probleme des OP nichts mit der Quantennatur der Wechselwirkung zu tun haben, sondern einfach mit dem Verständnis der Funktionsweise von Modi. Um dies zu sehen, schreiben wir einfach den Interaktionsterm in einer anderen Form, die tatsächlich auch in der Frage erwähnt wird. Setzen Sie die relevanten funktionalen Abhängigkeiten ein

H ^ A F = E ^ ( R A , T ) D ^ ,

Wo R A ist die Position des Atoms. Diese Interaktion ist der Ausgangspunkt für die Ableitung des modalen Bildes, das durch das OP gegeben ist. Es kommt von der minimalen Kopplungsvorschrift und beinhaltet zum Beispiel die Dipolnäherung und die geeignete Befestigung des Messgeräts.

Betrachten wir dieses Problem also auf einer konzeptionellen Ebene. Was wir haben, ist ein elektrischer Feldoperator (eine operatorwertige Funktion von Raum und Zeit), der an das Atom gekoppelt ist.

  • Der Feldoperator wird durch die Operatorversion der Maxwell-Gleichungen bestimmt.
  • Die atomaren Operatoren unterliegen dem Standard-Hamilton-Operator für jede Ebenenstruktur, die Sie im Atom haben.
  • Der Hamilton-Operator macht diese beiden Operatorentwicklungsgleichungen gekoppelt.

Ihre Aufgabe besteht nicht darin, mit einer bestimmten Anfangsbedingung für den elektrischen Feldoperator (oder die Dichtematrix) zu beginnen und diese Evolutionsgleichungen zu lösen. Damit können wir zumindest C beantworten)

Antwort zu C): Hier gibt es nichts Nicht-Lokales, die Kopplung zum elektrischen Feld erfolgt nur am Ort des Atoms (dies setzt natürlich die Dipol-Näherung voraus).

Das Lösen dieser Operatorgleichungen ist natürlich schwierig. Aber soweit ich verstehe, geht es bei der Frage um konzeptionelle Fragen, nicht darum, wie dieses Problem in einem bestimmten Kontext gelöst werden kann.

Dies macht deutlich, dass das einzige Problem die Modenzerlegung ist. Arbeiten wir rückwärts und schauen uns zuerst Frage B an):

B) Wie kann die Anwesenheit des Atoms in der Mitte des Gaußschen Strahls die durchgelassene Intensität nahe dem Rand des Strahls beeinflussen, wenn sie durch viele, viele Wellenlängen getrennt sind?

Die Antwort ist einfach: Licht koppelt an das Atom, was eine lokale Änderung des Quantenfeldes bewirkt, das sich dann gemäß den Ausbreitungsgleichungen ausbreitet. Auch hier nichts Schwieriges.

Hier sehen wir schon, warum sich das im Modalbild ändert. Die Modi selbst sind in gewissem Sinne eine nicht-lokale Basis . Das heißt, Sie arbeiten nicht im Positionsraum. Will man beschreiben, wie sich ein lokalisiertes Feld verhält, muss man also auf Überlagerungen schauen und kann die Moden nicht einzeln betrachten.

Das bereitet uns auf A vor):

A) Wenn die Kopplung von Licht an alle räumlichen Moden gleich ist, würde die Wirkung des Atoms auf das Feld dann nicht darin bestehen, die übertragene Amplitude des GESAMTEN optischen Musters um den gleichen Betrag zu unterdrücken? Also das ganze Muster verdunkeln, anstatt einen Schatten zu erzeugen?

Nun, die Kopplungskonstante kann dieselbe sein, aber die Population jeder der Moden ist es nicht. Wenn Sie sich mit linearer Streuung befassen, können Sie sich einfach vorstellen, das Atom durch eine kleine brechende Kugel zu ersetzen, was der linearen Streuung völlig entspricht. Was dann passieren würde, ist genau die klassische Intuition, die das OP durch die Beispiele in der Frage beschrieben hat, nur dass das Atom brechend ist und kein vollständig absorbierendes Material.

Ja, Sie haben Recht, dass sich meine Frage mehr auf Modi als auf die Quantennatur bezieht. Es gibt jedoch eine Art zusätzliches Bit, mit dem Sie vielleicht sprechen können. Schauen wir uns Ihre Antwort auf A) an, wo Sie vorschlagen, das Atom durch eine kugelförmige Glasperle zu ersetzen, und vorschlagen, dass die Kopplung zu allen Modi gleich ist. Angenommen, die EINZIGE Wechselwirkung zwischen Licht und Materie, an die Sie glaubten / von der Sie wussten, war die Absorption (dies ist die Wechselwirkung, die ich im OP mathematisch skizziert habe). Stimmen Sie dann zu, dass die Vorhersage lautet, dass die Glasperle das gesamte Muster, das sie beleuchtet, verdunkeln würde?
Das heißt, es gibt keine andere Streuung als Absorption, sodass die Perle beispielsweise Licht nicht biegen und in eine neue Richtung umlenken kann. Die Situation nur mit Absorption ist das, was ich in Betracht gezogen habe, weil ich denke, dass Absorption die gemachte Mikroskop-Quantenwechselwirkung zwischen Licht und Atomen ist, über die ich in jeder Tiefe gelernt habe. Es führte mich jedoch zu den oben erwähnten nicht lokalen Problemen. Aus dem Perlenbeispiel geht hervor, dass wir "Brechungseffekte" berücksichtigen müssen, wie z. B. das Biegen von Licht von einem Modus in einen anderen.
Eine Ergänzung zu meiner Frage könnte lauten: „Welchen Formalismus jenseits der Absorption müssen wir in einer Quantenformalismusumgebung berücksichtigen, um den Schatten des Atoms zu beschreiben? Was ist der Quantenansatz für die Streuung von Licht zwischen Modi im Gegensatz zu nur Dämpfung einer einzelnen Mode durch Materie?" Ich frage nach dem Quanten-Framework, weil ich das klassische Framework verstehe. Im klassischen Rahmen stellen Sie sich die Glasperle einfach als eine Phasen- / Absorptionsmaske vor und multiplizieren Ihr einfallendes Feld mit dieser Maske, um die Ausgabe zu erhalten. Im Fourier-(Modus-)Raum zeigt sich dies als Faltung.
Sie haben Ihre eigene Frage beantwortet: "Aus dem Perlenbeispiel geht hervor, dass wir "brechende" Effekte wie das Beugen von Licht von einem Modus in einen anderen berücksichtigen müssen." Genau das passiert im Quantenfall. Die Interaktion, die Sie in der Frage aufgeschrieben haben, enthält genau das. Fast jede Interaktion wird dies tun, schließlich ist die Interaktion lokal und die Modi sind es nicht. Die Interaktion wird also automatisch zwischen den Modi streuen ... was den Schatten verursacht.
"Im klassischen Rahmen stellen Sie sich die Glasperle einfach als eine Phasen- / Absorptionsmaske vor und multiplizieren Ihr einfallendes Feld mit dieser Maske, um die Ausgabe zu erhalten. Im Fourier-Raum (Modus) zeigt sich dies als Faltung." Meiner Meinung nach ist dies eine ziemlich begrenzte Art, darüber nachzudenken, da es nur für bestimmte Modussätze gilt (Flugzeugwellen hier, denke ich). Allgemeiner, was im klassischen Formalismus passiert: Sie haben ein Wellenpaket. Du zerlegst es in deine Modi. Ihre Interaktion verursacht eine Streuung zwischen Ihren Modi. Sie legen sie übereinander, um zu sehen, wie das neue Wellenpaket aussieht.
Dieser Vorgang ist im Quantenfall konzeptionell genau gleich. Nur Sie haben Operatoren/Wigner-Funktionen/Dichtematrizen/was auch immer Sie anstelle von klassischen Wellenpaketen bevorzugen. Beachten Sie auch, dass die Quantenausbreitung im linearen Streulimit genau die klassische ist.