So schreiben Sie eine generische Dichtematrix für ein Multi-Qubit-System

Ich las den papiergeräteunabhängigen Ausblick auf die Quantenmechanik . Der Autor definiert eine generische Zwei-Qubit-Dichtematrix als

(1) ρ = 1 4 ( ICH ICH + R ρ σ ICH + ICH S ρ σ + ich , J = X , j , z T ρ ich J σ ich σ J ) .

Wie wird es erhalten und welche Einschränkungen gibt es? T ρ ich J ? Da es eine gewisse Symmetrie hat, kann auch eine allgemeine 3-Qubit-Dichtematrix geschrieben werden als

ρ = 1 8 ( ICH ICH ICH + R ρ σ ICH ICH + ICH S ρ σ ICH + ICH ICH T ρ . σ + ich , J = X , j , z T ρ ich J σ ich σ J ICH + ich , J = X , j , z U ρ ich J σ ich ICH σ J + ich , J = X , j , z W ρ ich J ICH σ ich σ J + ich , J , k = X , j , z X ρ ich J σ ich σ J σ k ) ?
Hier R ρ , S ρ , A N D T ρ sind dreidimensionale Vektoren mit reellen Komponenten, die jeweils eine Größe haben 1 .

BEARBEITEN:

Ich verstehe, dass der Tensor von Pauli-Matrizen als Grundlage dient, kann aber die Bedingung nicht aktivieren T ich J . Ich konnte rückwärts arbeiten, um das zu sehen T ρ T T ρ muss so sein, dass sein maximaler Eigenwert ist 1 so dass die CHSH-Ungleichung nur maximal bis zu verletzt wird 2 2 . Wenn diese Bedingung also nicht eingehalten wird ( 1 ) sollte keine gültige Dichtematrix sein. Das eingegebene Formular ( 1 ) ist bereits hermitesch und hat Spur 1. Also für T ρ T T ρ mit maximalem Eigenwert 1 ( 1 ) ist vielleicht kein positiver Operator, aber ich kann das nicht beweisen.

Was ist deine Frage? Die Bedingungen auf T für 2 Qubits oder die Form der Dichtematrix für allgemeine Qubits (und wenn letzteres, was genau ist Ihre Frage)?
@NorbertSchuch Ja, ich suche nach Bedingungen für Matrix T . Die einzige Bedingung, die ich darüber kenne, ist der maximale Eigenwert von T T T sollte 1 sein und ich kann nicht einmal diese Bedingung beweisen. Also im Grunde meine Frage, ob welche Auflagen auferlegt werden T wenn (1) eine gültige Dichtematrix ist.
Apropos Eigenwerte von T gibt wohl kein Kriterium: T muss nicht einmal diagonalisierbar sein; und umgekehrt kann man leicht ein oberes Dreieck schreiben T mit Nulldiagonale (also Eigenwerte 0 ), was nichts Positives beschreibt ρ .

Antworten (1)

http://arxiv.org/abs/quant-ph/9607007 diskutiert notwendige Bedingungen auf T (genauer gesagt auf seinen singulären Werten) für ρ positiv sein. Sie scheinen jedoch keine ausreichenden Bedingungen abzuleiten.

Die Grundidee ist, dass man eine Rotation ausführen kann U A Und U B auf den beiden Qubits, die sich entsprechend transformieren R Ö A R , S Ö B S , Und T Ö A T Ö B T . Durch Auswählen Ö A Und Ö B die die Singulärwertzerlegung von ergeben T , das findet man irgendwie ρ in Ihrer Form (1) kann durch eine mit einer Diagonale ersetzt werden T , mit den Singularwerten des Originals T auf der Diagonale.

Jetzt kann man verschiedene "Versuchszustände" verwenden | ψ und prüfen ob ψ | ρ | ψ 0 (was für die Positivität von notwendig ist ρ ). Durch die Verwendung der Bell-Zustände (für die die R Und S Teil verschwinden), erhält man nicht-triviale Nebenbedingungen T .