Mein Text führt Multiquibt-Quantenzustände am Beispiel eines Zustands ein, der in zwei (nicht verschränkte) Teilzustände „zerlegt“ werden kann. Dann wird vorgeschlagen, dass es offensichtlich sein sollte 1 , dass der gemeinsame Zustand von zwei (nicht verschränkten) Unterzuständen das Tensorprodukt der Unterzustände sein sollte: also zum Beispiel der eines ersten Qubits
und ein zweites Qubit
jeder nicht verschränkte gemeinsame Zwei-Qubit-Zustand von und wird sein
Es scheint mir, dass es ein implizites Verständnis oder eine Interpretation der Koeffizienten gibt und die verwendet wird, um zu dieser Schlussfolgerung zu gelangen. Es ist klar genug, warum dies in einem klassischen Fall zutreffen sollte, in dem die Koeffizienten (wenn normalisiert, relative) Häufigkeit darstellen, so dass das Ergebnis aus einfacher Kombinatorik folgt. Aber was erklärt die Behauptung, dass dies für ein Quantensystem gilt, in dem (zumindest in meinem Text bis zu diesem Punkt) Koeffizienten diese Entsprechung nur durch Analogie haben (und eine verwirrende Analogie dazu, da sie komplex sein können und Negativ)?
Sollte es offensichtlich sein, dass unabhängige Quantenzustände durch Bilden des Tensorprodukts zusammengesetzt werden, oder ist eine zusätzliche Beobachtung oder Definition (z. B. der Art der Koeffizienten von Quantenzuständen) erforderlich?
1: Siehe (unten auf S. 18) „also muss der Zustand der beiden Qubits das Produkt sein “ (Hervorhebung hinzugefügt).
Tolle Frage! Ich glaube nicht, dass hier irgendetwas Offensichtliches im Spiel ist.
In der Quantenmechanik gehen wir davon aus, dass dieser Zustand jedes Systems ein normalisiertes Element eines Hilbert-Raums ist . Ich werde die Diskussion der konzeptionellen und mathematischen Einfachheit halber auf Systeme beschränken, die durch endlichdimensionale Hilbert-Räume gekennzeichnet sind.
Jede beobachtbare Größe des Systems wird durch einen selbstadjungierten Operator dargestellt dessen Eigenwerte sind die Werte, die man nach einer Messung dieser Observablen erhalten kann. Wenn sich ein System im Zustand befindet , dann, wenn man eine Messung an dem System durchführt, kollabiert der Zustand des Systems auf einen der Eigenvektoren mit Wahrscheinlichkeit .
Das Spektraltheorem garantiert, dass die Eigenvektoren jeder Observablen eine orthonormale Basis für den Hilbert-Raum bilden, also für jeden Zustand kann geschrieben werden als
Nehmen wir nun an, wir haben zwei Quantensysteme auf Hilbert-Räumen und mit Beobachtbaren und beziehungsweise. Wenn wir dann eine Messung an dem kombinierten System beider Observablen vornehmen, dann wird System 1 zu einigen zusammenbrechen und System 2 wird in einen bestimmten Zustand zusammenbrechen . Es erscheint daher vernünftig zu erwarten, dass der Zustand des kombinierten Systems nach der Messung irgendein solches Paar sein könnte. Darüber hinaus sagt uns das Quantensuperpositionsprinzip, dass jede komplexe lineare Kombination solcher Paarzustände auch ein physikalisch erlaubter Zustand des Systems sein sollte. Diese Überlegungen führen uns natürlich dazu, das Tensorprodukt zu verwenden zusammengesetztes System zu beschreiben, weil es die Formalisierung der Idee ist, dass der kombinierte Hilbert-Raum aus allen linearen Kombinationen von Zustandspaaren in den konstituierenden Subsystemen bestehen sollte.
Ist das die Art von Motivation für die Verwendung von Tensor-Produkten, nach der Sie gesucht haben?
Ich möchte hier einige weitere theoretische Inhalte zu der hervorragenden Antwort von @joshphysics hinzufügen, da dieses Thema meiner Meinung nach nicht so behandelt wird, wie es verdient hätte, und es mehrere theoretische Ergebnisse zu diesem Thema gibt, die bekannt sein sollten.
Betrachten wir ein Quantensystem im Hilbertraum beschrieben und nehmen Sie an, dass es aus zwei unabhängigen Teilen besteht und . Wir wollen diskutieren, wann dieses System in einem geeigneten Tensorprodukt dargestellt werden kann , für einige Hilbert-Räume verknüpft mit , .
Im Rest meiner Antwort verwende ich den Begriff des Tensorprodukts nicht als a priori-Beschreibung unabhängiger Teilsysteme, weil ich diskutieren möchte, wann diese Beschreibung machbar ist.
Zunächst einmal die Systeme , , sind in Bezug auf ihre Observablen abgebildet. Mit einer sehr großen Allgemeinheit können wir annehmen, dass diese Observablen beschränkt sind (die unbeschränkten können als Grenzwert in der starken Operatortopologie aus den beschränkten erhalten werden) und die Mengen der Observablen (einschließlich komplexer Linearkombinationen von Operatoren) abgeschlossen sind bezüglich das Produkt und die Summe und die starke Operatortopologie (dies ist notwendig, um die Standard-Spektralmaschinerie zu implementieren).
Auf diese Weise erhalten wir eine bekannte Struktur namens von Neumann-Algebra der Observablen . Hier gibt es also drei von Neumann-Algebren: verbunden sein mit und jeweils zugeordnet , zum .
Die selbstadjungierten Operatoren repräsentieren alle (begrenzten) Observablen des Systems . Ebenso die selbstadjungierten Operatoren repräsentieren alle (begrenzten) Observablen des Systems , .
Eine typische Situation ist , wo bezeichnet die vollständige Algebra beschränkter Operatoren (wenn ist endlich dimensionale Begrenztheit ist automatisch). Bei Vorhandensein von Superselektionsregeln oder wenn es eine Eichgruppe gibt, sind jedoch nicht alle selbstadjungierten Operatoren über Observablen darstellen, so die Annahme ist grundsätzlich unhaltbar.
Lassen Sie uns diskutieren, wie der Begriff der unabhängigen Subsysteme in diesem Bild dargestellt wird. Es gibt drei Anforderungen
und sind kompatibel: wenn und ,
wir können Zustände unabhängig voneinander zuweisen und gemäß der unten genannten Anforderung -Unabhängigkeit
[ -Unabhängigkeit] . Wenn und sind statistische Operatoren, die auf die Observablen von wirken und beziehungsweise ( ), dann gibt es einen statistischen Operator für das Gesamtsystem (Wirkung auf ) so dass
Es gibt viele Implementierungen des Begriffs der Unabhängigkeit beim Festlegen von Zuständen auf Subsystemen, und dies ist der Hilbert-Raumbeschreibung der Quantentheorie eigen.
Unter den Hypothesen (1)-(3) (auch sie schwächend) ergibt sich, dass die Algebra erzeugt wird durch und (die endliche Summe endlicher Produkte also Elemente in der Vereinigung der Algebren) ist isomorph zu im rein algebraischen Sinne (ohne topologische Implikationen). Dies ist jedoch noch ziemlich weit von dem Standardbild entfernt, in dem auch der Hilbertraum faktorisiert ist und die Algebren und werden als Algebren von Operatoren in den Faktoren interpretiert und .
Das Gegenteil ist jedoch wahr, wie ich veranschaulichen werde.
Nehme an, dass so dass . Als nächstes reparieren wir
Über zeigt den Identitätsoperator an . Im Speziellen nimmt die Gestalt an für einige und eine analoge Tatsache gilt für .
In diesem Fall sind (1), (2) trivial erfüllt und (3) gilt in noch stärkerem Sinne. Wenn fungiert als statistischer Operator über es kann immer geschrieben werden als , für einige statistische Operatoren im Raum , das Analoge gilt für . Ein Staat befriedigend (3) ist immer . Dieser Zustand hat eine weitere Eigenschaft (die sich unmittelbar aus den Grundeigenschaften des Tensorprodukts ergibt)
Wir haben bisher gesehen, dass die auf dem Begriff des Tensorprodukts basierende Standarddarstellung unabhängiger Teilsysteme mit den für unabhängige Teilsysteme allgemeingültigen allgemeinen Anforderungen (1),(2),(3) übereinstimmt.
Die natürliche Frage ist umgekehrt, ob die Struktur unabhängiger Teilsysteme (Anforderungen (1)-(3)) immer durch den Begriff des Tensorprodukts realisierbar ist.
Die Antwort ist negativ , da es physikalisch fundamentale Systeme gibt, bei denen der Begriff des Tensorprodukts ungeeignet ist, um unabhängige Subsysteme zu beschreiben. Der vielleicht wichtigste Fall ist der von Observablen eines Quantenfeldes, das in zwei kausal getrennten Regionen der Minkowski-Raumzeit lokalisiert ist. Die zugehörigen von Neumann-Algebren erfüllen (1), (2) und (3), aber im Allgemeinen ist es falsch, dass die von beiden Regionen (dem Gesamtsystem) erzeugte Algebra der Observablen als Tensorprodukt von von Neumann-Algebren über a darstellbar ist entsprechendes Tensorprodukt von Hilberträumen. (Das Tensorprodukt kann verwendet werden, wenn eine bestimmte technische Bedingung namens Split-Eigenschaft erfüllt ist.)
Gibt es hinreichende Bedingungen, die sicherstellen, dass (1), (2), (3) durch die Standardverwendung von Tensorprodukten über einem Tensorprodukt von Hilbert-Räumen implementiert werden können?
Es gibt ein wichtiges Ergebnis von von Neumann, das tatsächlich in fast allen Situationen der Standard-Quantenmechanik (nicht QFT und Thermodynamik erweiterter Systeme) gültig ist.
Nehme an, dass
(b) verdient eine Erklärung. ist ein Faktor, wenn er keine nicht-trivialen Operatoren enthält, die mit allen Operatoren von vertauschen (mit anderen Worten, es gibt keine Superselektionsregeln). Der Anforderungstyp I ist technisch und bedeutet dies ist algebraisch (nicht unbedingt einheitlich) isomorph zu einigen für etwas Hilbertraum . Diese Bedingung ist immer wahr, wenn ist endlichdimensional und in der QFT falsch, wo Faktoren vom Typ III vorkommen (und dies ist der Grund für das oben erwähnte Versagen der Tensorproduktdarstellung in der QFT).
Unter den Hypothesen (a), (b) und (c) gelten dann (1), (2), (3) und es gibt ein paar Hilbert-Räume , , ein unitärer Operator so dass und .
Dies ist die häufigste Situation, in der der Begriff des Tensorprodukts der grundlegende Baustein zur Beschreibung unabhängiger Teilsysteme ist.
Nein, es ist überhaupt nicht offensichtlich. Die (im Wesentlichen identischen) Antworten hier und hier liefern eine schöne Begründung. Die Schlüsselidee ist, dass, wenn wir nur Messungen an einem einzelnen Subsystem durchführen, sich die Wahrscheinlichkeiten, die sich aus der Born-Regel ergeben, nicht ändern, wenn wir den Zustandsvektor des Subsystems mit einer komplexen Zahl multiplizieren. Das Tensorprodukt ist die einzige Möglichkeit, Subsysteme zu neuen Zustandsvektoren zu kombinieren, die diese Eigenschaft bewahren, wenn wir das gemeinsame System betrachten.
Ich denke, es ist ziemlich offensichtlich. Korrigiert mich, wenn meine Argumentation irgendwo falsch ist.
Im klassischen Fall, wenn man zB die x-Positionen zweier Teilchen beschreiben will, hat man einen zweidimensionalen Phasenraum, um die möglichen Zustände darzustellen – und zwei ist die Summe aus eins und eins. Aber ein Quantenzustandsraum ist sehr unterschiedlich – jeder Punkt im "Achse" ist ein eigener Basisvektor, und ebenso für -- die Zustandsvektoren, von denen wir sprechen, sind Vektoren im Hilbert-Raum und können als darauf abgebildete Verteilungen dargestellt werden Ebene, die sie als Überlagerungen dieser Basisvektoren darstellt.
Es macht also durchaus Sinn, dass die Dimension des Produktraums das Produkt der Dimensionen und nicht die Summe ist. Die Gesamtpunktzahl in der Ebene – die die Dimension dieses neuen Hilbert-Raums ist – ist das Produkt der Anzahl der Punkte auf der Achse und die Achse.
Es ist klar, dass die Wahrscheinlichkeiten multiplikativ sind. Gegebene Zustände und in Basen und , ist es klar, dass die Magnituden der Komponenten des Staates
Die Idee ist jedoch ganz einfach – nehmen wir an, wir haben einen Staat wie
Da wir zwei unabhängige Systeme darstellen, können wir einfach das erste System beobachten und es zusammenklappen : dann wird der kombinierte Zustand basierend auf der linken Seite reduziert . Aber basierend auf der rechten Seite ist dies , und somit und ähnlich für .
Tatsächlich stammt die Geschichte des Tensorprodukts, das in der Welt der Quanteninformation typischerweise als Axiom erzählt wird, aus der relativistischen Elektronentheorie von Dirac.
In der relativistischen Quantenmechanik wird eine Wellenfunktion durch 4 Wellenfunktionen ersetzt, und eine geeignete Kontraktion führt zu einer zweielementigen Anordnung (1,0) oder (0,1), die wir den Spin nennen.
Im Fall von 2 Elektronen führt die gleiche Theorie zu einer 16-Komponenten-Wellenfunktion, und nach einigem Trimmen können wir zu einem 4-Komponenten-Objekt (genannt Pauli-Spinor für 2 Elektronen) gelangen. Dieses Objekt und die verschiedenen Operationen mit dem Hamilton-Operator lassen sich (algebraisch) am besten durch Verwendung des Tensorprodukts der Zustände (1,0) und (0,1) beschreiben.
Offensichtlich entsprechen diese Tensorprodukte Spins, und da die Idee des Qubits von der des Spins herrührt, wird die Idee der Tensorzusammensetzung jetzt axiomatisch in QIP übernommen.
Vibert
Rokoko