Formalismo estabilizador asistido por entrelazamiento

---

En la teoría de la comunicación cuántica , el formalismo estabilizador asistido por entrelazamiento es un método para proteger la información cuántica con la ayuda del entrelazamiento compartido entre un emisor y un receptor antes de que transmitan datos cuánticos a través de un canal de comunicación cuántica. Extiende el formalismo estándar del estabilizador al incluir el entrelazamiento compartido (Brun et al. 2006). La ventaja de los códigos estabilizadores asistidos por entrelazamiento es que el remitente puede explotar las propiedades de corrección de errores de un conjunto arbitrario de operadores de Pauli . Los operadores de Pauli del remitente no necesariamente tienen que formar un subgrupo abeliano delGrupo Pauli sobre qubits . El remitente puede hacer un uso inteligente de sus ebits compartidos para que el estabilizador global sea abeliano y, por lo tanto, forme un código válido de corrección de errores cuánticos .${\ estilo de visualización \ Pi ^ {n}}$${\ estilo de visualización n}$

Revisamos la construcción de un código asistido por entrelazamiento (Brun et al. 2006). Suponga que hay un subgrupo no abeliano de tamaño . La aplicación del teorema fundamental de la geometría simpléctica (Lema 1 en la primera referencia externa) establece que existe un conjunto mínimo de generadores independientes para con las siguientes relaciones de conmutación : ${\displaystyle {\mathcal {S}}\subconjunto \Pi ^{n}}$${\displaystyle nk=2c+s}$${\displaystyle \left\{{\bar {Z}}_{1},\ldots,{\bar {Z}}_{s+c},{\bar {X}}_{s+1}, \ldots ,{\bar {X}}_{s+c}\right\}}$${\displaystyle {\mathcal {S}}}$

---