Entrellaçament multipartit

En el cas de sistemes composts per $m>2$ subsistemes, la classificació dels estats entrellaçats quàntics és més rica que en el cas bipartit. De fet, en l'entrellat multipartit, a part dels estats totalment separables i dels estats totalment entrellaçats, també existeix la noció d'estats parcialment separables.

Separabilitat total i parcial

Les definicions d'estats multipartits totalment separables i totalment entrellaçats generalitzen naturalment les d'estats separables i entrellaçats en el cas bipartit, de la manera següent.

Separabilitat m-partida completa (m-separabilitat) d'm sistemes

L'Estat ${\varrho }_{A_1\dots A_m}$ de $m$ subsistemes $A_1,\dots ,A_m$ amb l'espai de Hilbert ${\mathscr{H}}_{A_1\dots A_m}={\mathscr{H}}_{A_1}\otimes \dots \otimes {\mathscr{H}}_{A_m}$ és totalment separable si i només si es pot escriure en la forma

${\varrho }_{A_1\dots A_m}=\sum _{i=1}^k{p}_i{\varrho }_{A_1}^i\otimes \dots \otimes {\varrho }_{A_m}^i.$

En conseqüència, l'estat ${\varrho }_{A_1\dots A_m}$ està totalment enredat si no es pot escriure en la forma anterior.

Com en el cas del bipartit, el conjunt de $m$ -els estats separables són convexs i tancats respecte a la norma de traça, i la separabilitat es conserva sota $m$ -operacions separables $\sum _i{\mathrm{\Omega }}_i^1\otimes \dots \otimes {\mathrm{\Omega }}_i^n$ que són una generalització directa dels bipartits:

${\varrho }_{A_1\dots A_m}\to \frac{\sum _i{\mathrm{\Omega }}_i^1\otimes \dots \otimes {\mathrm{\Omega }}_i^n{\varrho }_{A_1\dots A_m}({\mathrm{\Omega }}_i^1\otimes \dots \otimes {\mathrm{\Omega }}_i^n{)}^{†}}{\mathrm{Tr}[\sum _i{\mathrm{\Omega }}_i^1\otimes \dots \otimes {\mathrm{\Omega }}_i^n{\varrho }_{A_1\dots A_m}({\mathrm{\Omega }}_i^1\otimes \dots \otimes {\mathrm{\Omega }}_i^n{)}^{†}]}.$

Com s'ha esmentat anteriorment, però, en l'entorn multipartit també tenim diferents nocions de separabilitat parcial.

Separabilitat respecte a particions

L'Estat ${\varrho }_{A_1\dots A_m}$ de $m$ subsistemes $A_1,\dots ,A_m$ és separable respecte a una partició determinada $\{I_1,\dots ,I_k\}$, on $I_i$ són subconjunts disjunts dels índexs $I=\{1,\dots ,m\},\underset{j=1}{\overset{k}{\cup }}{I}_j=I$, si i només si es pot escriure

${\varrho }_{A_1\dots A_m}=\sum _{i=1}^N{p}_i{\varrho }_1^i\otimes \dots \otimes {\varrho }_k^i.$

Semiseparabilitat

L'Estat ${\varrho }_{A_1\dots A_m}$ és semiseparable si i només si és separable sota tots $1$ - $(m-1)$ particions, $\{I_1=\{k\},I_2=\{1,\dots ,k-1,k+1,\dots ,m\}\},1\le k\le m$.

Caracterització i criteris de separabilitat

Estats purs

Una definició equivalent a la separabilitat m-partita completa es dona de la següent manera: L'estat pur $|{\mathrm{\Psi }}_{A_1\dots A_m}⟩$ de $m$ subsistemes $A_1,\dots ,A_m$ està plenament $m$ -partit separable si i només si es pot escriure

$|{\mathrm{\Psi }}_{A_1\dots A_m}⟩=|{\psi }_{A_1}⟩\otimes \dots \otimes |{\psi }_{A_m}⟩.$

Per comprovar-ho, n'hi ha prou amb calcular matrius de densitat reduïda de subsistemes elementals i veure si són purs. Tanmateix, això no es pot fer tan fàcilment en el cas multipartit, ja que només rarament els estats purs multipartits admeten la descomposició generalitzada de Schmidt.

$|{\mathrm{\Psi }}_{A_1\dots A_m}⟩=\sum _{i=1}^{\min \{d_{A_1},\dots ,d_{A_m}\}}{a}_i|e_{A_1}^i⟩\otimes \dots \otimes |e_{A_m}^i⟩$

Un estat multipartit admet la descomposició generalitzada de Schmidt si, traçant qualsevol subsistema, la resta es troba en un estat totalment separable. Així, en general, l'entrellat d'un estat pur es descriu pels espectres de les matrius de densitat reduïda de totes les particions bipartides: l'estat és genuïnament $m$ -partit enredat si i només si totes les particions bipartides produeixen matrius mixtes de densitat reduïda.

Estats mixtes

En el cas multipartit no hi ha una condició simple necessària i suficient per a la separabilitat com la donada pel criteri PPT per a la $2\otimes 2$ i $2\otimes 3$ casos. Tanmateix, molts criteris de separabilitat utilitzats en la configuració bipartida es poden generalitzar al cas multipartit.