Angenommen, ich habe ein Quantensystem ("System") mit Hamiltonian und Anfangsdichtematrix . Ich erlaube mit einem anderen System zu interagieren ("Sonde"), die Hamiltonian hat und Ausgangszustand , über einen Wechselwirkungs-Hamiltonoperator . Dann messe ich in der Basis des Operators .
Angenommen, mein klassisches Auslesegerät ist unvollkommen: Wenn ist im Zustand was ein Eigenzustand von ist mit Eigenwert , dann spuckt mein Auslesegerät Zahlen aus nach einer statistischen Verteilung, die davon abhängt . Beispielsweise könnten wir einen Fall haben, in dem der Auslesewert gaußförmig verteilt ist , dh
Angesichts der Hamiltonianer , , , die Anfangszustände und , die Funktion , und einem realisierten Messwert , welche Konzepte/Ansätze verwendet man, um den Zustand des kombinierten Systems herauszufinden nach der Messung? Wie ändert sich das Ergebnis, wenn der Messwert wird ignoriert?
Eine erlaubte Vereinfachung wäre es, den Zustand des kombinierten Systems zu nehmen nach dem Interaktionsschritt als bekannte Größe. Mit anderen Worten, wir sind nicht so sehr daran interessiert, die Entwicklung von zu berechnen unter der Interaktion . Ich denke jedoch, ob oder nicht pendelt mit wird wichtig.
Anmerkungen
Ressourcen
Unter der Annahme, dass das System und die Sonde anfänglich nicht korreliert sind, ist dies die anfängliche Dichtematrix
Nach der Interaktion für eine Weile , das System und die Sonde sind verschränkt
Dann das Beobachtbare gemessen wird, die geschrieben werden kann
Bei einer projektiven Messung von erhält man den Eigenwert mit Wahrscheinlichkeit . Der Zustand Ihres Systems ist dann
Wenn Sie gemessen haben , aber Ihr Messgerät überträgt die Informationen nicht korrekt (was Norbert Schuch in seinem Kommentar als „klassische Verwürfelung“ bezeichnete), dann ist Ihr Zustand
Wenn Sie Ihr Messprotokoll ganz ignorieren, ist der Zustand Ihrer Anlage
Schließlich könnten Sie den Fall betrachten, in dem die Messung schwach ist. Dies ist der Fall, in dem wir wirklich mehr über die Messung wissen sollten. Unter der Annahme, dass alles kontinuierlich ist, können Sie eine Familie von Kraus-Operatoren aufschreiben
Bearbeiten: Vielen Dank an Noiralef für den Hinweis auf Tippfehler und den Satz von Bayes.
Daniel Sank
David
Norbert Schuch
Daniel Sank
Norbert Schuch