L'intrication est-elle transitive?

20

L'intrication est-elle transitive , au sens mathématique?


Plus concrètement, ma question est la suivante:

Considérons 3 qubits q1,q2 et q3 . Suppose que

  • q1 etq2 sont enchevêtrés, et que
  • q2 etq3 sont enchevêtrés

, Puis sont q1 et q3 enchevêtré ? Si oui, pourquoi? Sinon, existe-t-il un contre-exemple concret?


Sur ma notion d'enchevêtrement:

  • les qubits q1 et q2 sont enchevêtrés, si après le traçage de q3 , les qbits q1 et q2 sont enchevêtrés (le traçage de q3 correspond à la mesure de q3 et à l'élimination du résultat).
  • les qubits et q 3 sont enchevêtrés, si après avoir tracé q 1 , les qbits q 2 et q 3 sont enchevêtrés.q2q3q1q2q3
  • les qubits et q 3 sont enchevêtrés, si après avoir tracé q 2 , les qbits q 1 et q 3 sont enchevêtrés.q1q3q2q1q3

N'hésitez pas à utiliser toute autre notion raisonnable d'enchevêtrement (pas nécessairement celle ci-dessus), tant que vous énoncez clairement cette notion.

Peter
la source
1
Pouvez-vous confirmer la dernière déclaration? Après votre question, je m'attendais à une déclaration similaire mais avec les étiquettes dans un ordre différent (une déclaration sur l'intrication de q1 et q3 après la mesure de q2).
agaitaarino
1
@agaitaarino j'ai mis à jour la partie sur "l'intrication", ça devrait être plus clair maintenant ...
Peter
J'ai considéré les carrés latins comme une matrice de probabilités dans laquelle les éléments d'un tableau unidimensionnel sont «enchevêtrés», en ce sens que les probabilités pour tout élément exprimé donné sont interdépendantes. Lorsque vous ajoutez des cotes, ces tableaux unidimensionnels se croisent orthogonalement avec d'autres tableaux unidimensionnels, étendant "l'intrication". (Je suppose que c'est à peu près aussi loin dans les mauvaises herbes que l'on peut obtenir au sujet des notions atypiques d'enchevêtrement, mais je ne suis pas la première personne à soulever l'idée de "similitudes d'esprit" entre QT et carrés latins / Sudoku.) Merci vous pour cette question!
DukeZhou
Maintenant que vous avez clarifié que vous rejetez le résultat de la mesure, ce n'est pas l'intrication localisable dont je pensais que vous parliez, c'est la notion la plus standard. Il vaut mieux parler de "traçage" du qubit supplémentaire au lieu de mesurer et en rejetant le résultat.
DaftWullie
@DaftWullie Merci! J'ai mis à jour la question en conséquence
Peter

Réponses:

11

TL; DR: Cela dépend de la façon dont vous choisissez de mesurer l'intrication sur une paire de qubits. Si vous retracez les qubits supplémentaires, alors "Non". Si vous mesurez les qubits (avec la liberté de choisir la base de mesure optimale), alors "Oui".


Soit être un état pur quantique de 3 qubits, étiquetés A, B et C. Nous dirons que A et B sont intriqués si ρ A B = Tr C ( | Ψ Ψ | ) n'est pas positif sous l'action de la carte de transposition partielle. Il s'agit d'une condition nécessaire et suffisante pour détecter un enchevêtrement dans un système à deux qubits. Le formalisme de trace partielle équivaut à mesurer le qubit C de manière arbitraire et à ignorer le résultat.|ΨρAB=TrC(|ΨΨ|)

Il existe une classe de contre-exemples qui montrent que l'intrication n'est pas transitive , de la forme condition| & phiv| 0,| 1. Si vous tracez le qubitBou le qubitC, vous obtiendrez la même matrice de densité les deux fois: ρAC=ρAB=1

|Ψ=12(|000+|1ϕϕ),
|ϕ|0,|1BC Vous pouvez prendre la transposition partielle de ceci (le prendre sur le premier système est le plus propre): ρPT=1
ρAC=ρAB=12(|0000|+|1ϕ1ϕ|+|001ϕ|ϕ|0+|1ϕ00|0|ϕ)
Maintenantprenez le déterminant (qui est égal au produit des valeurs propres). Vous obtenez det(ρPT)=-1
ρPT=12(|0000|+|1ϕ1ϕ|+|100ϕ|ϕ|0+|0ϕ10|0|ϕ)
qui est négatif, il doit y avoir une valeur propre négative. Ainsi,(AB)et(AC)sont des paires enchevêtrées. Pendant ce temps ρBC=1
det(ρPT)=116|0|ϕ|2(1|0|ϕ|2)2,
(AB)(AC) Puisqu'il s'agit d'une matrice de densité valide, elle n'est pas négative. Cependant, la transposition partielle est juste égale à elle-même. Il n'y a donc pas de valeurs propres négatives et(BC)n'est pas enchevêtré.
ρBC=12(|0000|+|ϕϕϕϕ|).
(BC)

Enchevêtrement localisable

On pourrait plutôt parler de l' intrication localisable . Avant de clarifier davantage, c'est à cela que je pensais que le PO faisait référence. Dans ce cas, au lieu de tracer un qubit, on peut le mesurer sur la base de votre choix et calculer les résultats séparément pour chaque résultat de mesure. (Il y a plus tard un processus de moyenne, mais cela ne sera pas pertinent pour nous ici.) Dans ce cas, ma réponse concerne spécifiquement les états purs, pas les états mixtes.

La clé ici est qu'il existe différentes classes d'états intriqués. Pour 3 qubits, il existe 6 types différents de pur état:

  • un état entièrement séparable
  • 3 types où il y a un état enchevêtré entre deux parties, et un état séparable sur le troisième
  • un état W
  • un état GHZ

(q1,q2)(q2,q3)

|W=13(|001+|010+|100)|GHZ=12(|000+|111)
(i.e. if I swap qubits A and B, I still have the same state). So, these representatives must have the required transitivity properties: If A and B are entangled, then B and C are entangled, as are A and C. In particular, Both of these representatives can be measured in the X basis in order to localize the entanglement. Thus, any pure state that you're given must be such that you can include the measurement to convert it into the standard representative into the measurement for localizing the entanglement, and you're done!
DaftWullie
la source
Thanks, this clears up quite a lot already. Could you point me to the "standard" measure of entanglement? I might want to use that explicitly in my question.
Peter
@Peter: see if the edited version helps even more.
DaftWullie
Thank you for this answer! Can I ask a naive question on symmetry means in this context "Both representatives are symmetric under exchange of the particles." (I'm very interested in different concepts of symmetry in general.)
DukeZhou
@DaftWullie: given that your answer appears to be "no, entanglement is not transitive, even on three qubit systems", perhaps you should condense your answer to make this a bit more obvious?
Niel de Beaudrap
1
@DukeZhou In this case, all it means is that if I swap particles, I still have the same state: SWAPA,B|Ψ=|Ψ. So, if I pick out one qubit to be a special qubit (e.g. C), and make some conclusion based on that, it doesn't matter which qubit I picked, because they are all equivalent.
DaftWullie
6

This isn't an answer, but instead just some background facts that are important to know about in order to avoid "not even wrong" territory on these types of questions.

"Entanglement" is not all-or-nothing. Just saying "q1 is entangled with q2 and q2 is entangled with q3" is not enough information to determine the answer to questions like "if I measure q3, will q1 still be entangled with q2?". Entanglement gets complicated when dealing with larger systems. You really need to know the specific state, and the measurement, and whether you are permitted to condition on the result of the measurement.

It may be the case that q1,q2,q3 are entangled as a group but if you trace out any one of the qubits then the density matrix of the remaining two describes a mere classically correlated state. (E.g. this happens with GHZ states.)

You should be aware of the monogamy of entanglement. Past a certain threshold, increasing the strength of the entanglement between q1 and q2 must decrease the strength of entanglement between q1 and q3 (and equivalently q2 and q3).

Craig Gidney
la source
2
yay for pointing out the monogamy of entanglement!
agaitaarino
@agaitaarino which leads to "squashed entanglement" and Von Neumann entropy!
DukeZhou
5

I read the following in Freudenthal triple classication of three-qubit entanglement:

"Dür et al. (Three qubits can be entangled in two inequivalent ways) used simple arguments concerning the conservation of ranks of reduced density matriceshere are only six three-qubit equivalence classes:

  • Null (The trivial zero entanglement orbit corresponding to vanishing states)
  • Separable (Another zero entanglement orbit for completely factorisable product states)
  • Biseparable (Three classes of bipartite entanglement: A-BC, B-AC, C-AB)
  • W (Three-way entangled states that do not maximally violate Bell-type inequalities) and
  • GHZ (maximally violate Bell-type inequalities)"

which as I understand it the answer to your question is yes: if A and B are entangled and B and C are entangled you necessarily are in one of the three-way entangled states so A and C are also entangled.

agaitaarino
la source