Unabhängige Systeme und Lagrangians

Definition 1:

Der Begriff der unabhängigen Systeme hat eine genaue Bedeutung in Wahrscheinlichkeiten. Es besagt, dass die (gemeinsame) Wahrscheinlichkeit oder das Finden des Systems ( S 1 S 2 ) in der Konfiguration ( C 1 C 2 ) ist gleich der Wahrscheinlichkeit, das System zu finden ( S 1 ) in der Konfiguration ( C 1 ) multipliziert mit der Wahrscheinlichkeit, das System zu finden ( S 2 ) in der Konfiguration ( C 2 ).

Definition 2:

Wenn wir jedoch Feldsysteme betrachten, ist das praktische Werkzeug die Lagrange-Funktion. Ich sollte also sagen, dass 2 Systeme unabhängig sind, wenn:

L A G R A N G ich A N ( S 1 S 2 ) = L A G R A N G ich A N ( S 1 ) + L A G R A N G ich A N ( S 2 )

Die Frage:

Nun, was ist die Beziehung zwischen diesen beiden Definitionen? Sie könnten nur kompatibel sein, oder sie könnten in der Felddomäne äquivalent sein. Gibt es eine Möglichkeit, letzteres von ersterem zu "demonstrieren"?

Diese Frage und ihre Antwort von David Bar Moshe könnten Sie interessieren . (Es beantwortet Ihre Frage nicht genau, scheint aber verwandt zu sein.)
Ja, es ist natürlich sehr interessant, aber meine Frage ist eine andere Frage. Ich bin damit einverstanden X , P Parametrisierung für Wahrscheinlichkeiten, also geht es um die Betrachtung zweier unabhängiger Systeme (in diesem Fall a X 1 , P 1 , X 2 , P 2 Parametrisierung für das Wahrscheinlichkeitsgesetz) und einen Weg finden, den globalen Lagrange-Operator als Summe einzelner Lagrange-Operatoren auszudrücken. Ich kann keinen offensichtlichen Zusammenhang zwischen Wahrscheinlichkeiten und Lagrange erkennen.
Die Frage, auf die ich verlinkt habe, unterscheidet sich zwar erheblich von Ihrer, aber ich halte sie dennoch für relevant, da es bei beiden Fragen um die Beziehung zwischen Wahrscheinlichkeiten und Lagrange geht. In der klassischen Welt tritt diese Beziehung aufgrund der statistischen Mechanik auf, die Gegenstand der von mir verlinkten Frage ist. In der Quantenwelt ist es aufgrund des Pfadintegralformalismus einfacher, wie Levitopher betont.
Können Sie bitte explizit sagen, interessieren Sie sich für statistische Mechanik oder nur für Quantenmechanik?
Das Problem ist die Beziehung zwischen einem probabilistischen Standpunkt und einem Lagrange-Standpunkt. Daher ist jede Theorie, die Lagrange verwendet, für mich in Ordnung.

Antworten (2)

Wie wäre es mit Pfadintegralen? Die Wahrscheinlichkeit, dass sich ein System zwischen Zuständen entwickelt | ϕ 1 Und | ϕ 2 Ist

ϕ 2 | ϕ 1 = ϕ 1 ϕ 2 D ϕ exp ( ich S ( ϕ ) )

wo das Maß D ϕ geeignet definiert ist und die Aktion S ( ϕ ) ist das Integral des Lagrange (über was auch immer die physikalischen Koordinaten sind).

Betrachten Sie zwei Systeme, die durch Zustände beschrieben werden | ϕ Und | ψ , die unabhängig sind. Dann ist die Aktion

S ( ϕ , ψ ) = S ( ϕ ) + S ( ψ )

Und die Wahrscheinlichkeit, zwischen zwei Konfigurationen zu wechseln, ist

ϕ 2 , ψ 2 | ϕ 1 , ψ 1 = ( ϕ 1 , ψ 1 ) ( ϕ 2 , ψ 2 ) D ϕ D ψ exp ( ich ( S ( ϕ ) + S ( ψ ) ) ) = ϕ 1 ϕ 2 D ϕ exp ( ich S ( ϕ ) ) ψ 1 ψ 2 D ψ exp ( ich S ( ψ ) ) = ϕ 2 | ϕ 1 ψ 2 | ψ 2

Die Wahrscheinlichkeit ist also ein Produkt, wenn die Systeme unabhängig sind. Ich habe hier bestimmte Zustände ausgewählt, aber nimm | ϕ ich ein System beschreiben S ich in der Konfiguration C ich 1 und ich denke, das bekommt, was Sie wollen.

+1 für Sie, weil Ihre Idee sehr interessant ist. Aber es gibt ein Problem. Was Sie zeigen, ist, dass wenn S(ϕ,ψ)=S(ϕ)+S(ψ), dann ⟨ϕ2,ψ2|ϕ1,ψ1⟩ = ⟨ϕ2|ϕ1⟩⟨ψ2|ψ2⟩. Aber die letzten Größen sind Übergangswahrscheinlichkeiten, also nicht gerade Wahrscheinlichkeiten, in irgendeiner Konfiguration zu sein. Aber vielleicht können wir eine Beziehung zwischen diesen beiden Arten von Wahrscheinlichkeiten beweisen
Und interessanterweise ist es ein Quantenargument, was für mich in Ordnung ist, weil die Natur quantenhaft ist, und vielleicht ist Ihr Argument tiefer, als es aussieht
Es gibt nur ein kleines Problem des Zirkelschlusses, wenn Sie sagen, dass wenn |ϕ⟩ und |ψ⟩ unabhängig sind, dann S(ϕ,ψ)=S(ϕ)+S(ψ). Nein, genau das wollen wir demonstrieren... Aber die folgende Logik ist richtig.
...'wo das Maß D ϕ ist passend definiert' bisher die beliebteste Art vorzugeben, sich um die Definition zu kümmern =)
Nun, ich denke, wir können davon ausgehen, dass der Anfangszustand eine Art einzigartiger generischer Zustand oder generische Konfiguration ist und dass die anderen Konfigurationen aus Übergängen von dieser generischen Konfiguration berechnet werden. Es ist also vielleicht fast die Antwort.
In Bezug auf Ihren Zirkelschlusskommentar ... wenn S = S 1 + S 2 dann ist die Wahrscheinlichkeit ein Produkt. Die andere Richtung funktioniert ebenfalls, obwohl eine gewisse Uneindeutigkeit der Aktion möglich sein könnte. Die Tatsache, dass nicht interagierende Systeme C A N dargestellt werden als S 1 + S 2 ist nicht Teil der Frage. Es ist wahr (verwenden Sie Euler-Lagrange), aber ein separates Problem.
Nach einigem Nachdenken denke ich, dass Sie meine Frage beantwortet haben. Sie sagen zu Recht, dass nicht wechselwirkende Systeme als S1 + S2 dargestellt werden können, aber Sie zeigen, dass nicht wechselwirkende Systeme im Sinne der Wahrscheinlichkeit (Produkt der Wahrscheinlichkeiten) unabhängigen Systemen entsprechen, was - a priori - unterschiedlich ist . Also für mich ist es ok.

Nun, Sie spezifizieren nicht die Art von Wahrscheinlichkeiten, von denen Sie sprechen. Daher beziehe ich mich auf die Tags und gehe davon aus, dass es sich um quantenmechanische (nicht statistische) Wahrscheinlichkeiten handelt. (Siehe die Bearbeitung am Ende)

Dann muss ich anmerken, dass Ihre probabilistische Definition von Unabhängigkeit nicht viel Sinn macht.

Bearbeiten

Nun, gemäß den Kommentaren sollte ich sagen, dass es mir darum geht, dass diese Definitionen in ihrer Bedeutung unterschiedlich sind. Das erste ist die statistische Unabhängigkeit (und sollte für den Fall von QM verfeinert werden) und das zweite ist das Fehlen von Wechselwirkungen. Das Folgende ist als Hinweis auf die Quantenverschränkung als Tatsache zu verstehen, dass nicht wechselwirkende Systeme korreliert werden können.

Ende der Bearbeitung

Zunächst einmal glauben wir normalerweise, dass wir die Hilbert-Räume haben H 1 Und H 2 von zwei Systemen, dann ist der Hilbertraum für das zusammengesetzte System H = H 1 H 2 . Dies ist unabhängig von der Interaktion zwischen den Systemen.

Als nächstes sprechen wir über die Wahrscheinlichkeit, das System im Zustand zu finden | A während es im Zustand ist | B (alle normalisiert) meinen wir normalerweise | A | B | 2 . Betrachten Sie nun den folgenden Zustand in H :

| A = 1 2 | 1 | a + 1 2 | 2 | β
Es gibt 0 Wahrscheinlichkeit, ein solches System im Staat zu finden | 1 | β während es gibt 0,5 Wahrscheinlichkeit, das erste System im Zustand zu finden | 1 Und 0,5 Wahrscheinlichkeit, das zweite System im Staat zu finden | β . Und ein solcher Zustand existiert unabhängig von den Wechselwirkungen zwischen den Systemen. Siehe Quantenverschränkung .

Außerdem können wir den Staat berücksichtigen

| A = | 1 | a
für die Ihre Regel mehr oder weniger funktioniert.

Schließlich sehen wir, dass es Zustände von nicht interagierenden Systemen gibt, in denen Ihre probabilistische Gleichheit nicht gilt, sowie Zustände von interagierenden Systemen, in denen Ihre Gleichheit gilt. Es besteht also kein Zusammenhang zwischen dieser Gleichheit und der Unabhängigkeit der Systeme.

Richtig ist jedoch, dass die Übergangsamplituden (also Matrixelemente von exp ( ich H T / ) ) sind für unabhängige Systeme tatsächlich multiplikativ. Das ist, weil

exp ( ich H T ) = exp ( ich T ( H 1 1 + 1 H 2 ) ) = exp ( ich T H 1 1 ) exp ( ich T 1 H 2 ) = exp ( ich H 1 T ) exp ( ich H 2 T )
wirkt unabhängig auf die Komponenten des Tensorprodukts (siehe auch Levitophers Antwort für die Pfadintegralperspektive).

Was ist mit dem Gegenteil? Wir können nicht sagen, dass irgendein Matrixelement für das gesamte System das Produkt der Matrixelemente für die einzelnen Systeme ist, weil wir a priori die letzteren nicht haben. Wir müssen etwas anderes sagen, aber ich bin mir jetzt nicht sicher, wie ich es bequemer formulieren soll.

Bearbeiten Die Tags haben sich ein wenig geändert, aber wir können immer noch Dichtematrizen mit ähnlichen Eigenschaften erstellen (und so tun, als ob sie einigen Nichtgleichgewichtssituationen entsprechen). Ich denke, dass die Reinzustandsdichtematrix in Ordnung ist.

Für Gleichgewichtsdichtematrizen, nämlich ρ = exp ( β H ) es ist wahr, dass Wahrscheinlichkeiten für unabhängige Systeme durch das gleiche Argument wie für den Evolutionsoperator multipliziert werden. Dasselbe kann über euklidische Pfadintegrale erfolgen.

Was das Gegenteil betrifft, weiß ich die Antwort im Moment nicht.

Ich verstehe Ihren Punkt nicht. Meine probabilistische Definition von Unabhängigkeit ist richtig. Wenn Sie Ihren verschränkten Zustand zeigen, können Sie ihn nicht als trennbaren Zustand betrachten, und daher ist es kein System, das das Tensorprodukt der 2 Subsysteme 1 und 2 sein wird. Für den verschränkten Zustand gibt es keine Vorstellung von einem unabhängigen Sub -Systeme ist die Dichtematrix kein Tensorprodukt und so weiter. Und danach führen Sie einen Zirkelschluss mit den Hamiltonianern. Es ist keine Demonstration, weil Sie zugeben, dass für unabhängige Systeme H = H1⊗1+1⊗H2 ist. Aber genau das wollen wir demonstrieren!
@Trimok: Zuerst zu den Hamiltonianern. Entschuldigung, ich dachte, Sie interessieren sich für die Konsequenz in beide Richtungen. Zweitens zu Ihrem ersten Punkt. Systeme sind niemals „tensorielle Produkte“, aber Zustände können es sein. Tatsächlich ist mein Zustand unzerlegbar, aber es gibt die Vorstellung von unabhängigen Subsystemen. Ich kann zwei Photonen verschränken, das erste zum Mars schicken und das zweite in meinem Labor messen. Ich kann das viele Male tun und die Wahrscheinlichkeitsverteilung für irgendein Merkmal des zweiten Protons abschätzen, und ich kann meinen Freund auf dem Mars bitten, dasselbe mit dem ersten zu tun.
@Trimok, in mathematischer Sprache, Wahrscheinlichkeit, das erste System in einem Zustand zu finden | A ist die quadrierte Norm der Projektion des Zustands des Gesamtsystems auf den Unterraum | A H 2 .
Nein, wenn Ihr Zustand verschränkt ist (und in Ihrem Beispiel ein maximal verschränkter Zustand ist), gibt es keine Vorstellung von unabhängigen Subsystemen. Dies sind korrelierte Teilsysteme. Und die räumliche Trennung hat damit nichts zu tun.
@ Trimok. Ok, wir verwenden also unterschiedliche Definitionen von Unabhängigkeit. Dann ist meine Behauptung "Definition 2 impliziert nicht Definition 1, Negation von Definition 1 impliziert keine Negation von Definition 2".
@Trimok, tatsächlich sollten Sie angeben, welche Zustände des zusammengesetzten Systems Sie im Falle von reinem QM zulassen, wenn Sie nicht speziell nach statistisch-mechanischen Dingen suchen.
@Trimok, ich habe die Antwort bearbeitet, hoffe, mein Pont ist jetzt klarer.