Investigadores han demostrado que el fenómeno del "robo de entrelazamiento" (entanglement embezzlement) exacto puede ser auto-verificado, es decir, que su mera existencia implica la presencia de un estado cuántico único y específico. Este hallazgo se basa en un marco teórico que conecta el robo de entrelazamiento con la estructura de las álgebras de Cuntz, un tipo de álgebra de operadores utilizada en física matemática para describir sistemas con un número infinito de grados de libertad. La auto-verificación es una propiedad deseable en la metrología cuántica y la computación cuántica, ya que permite confirmar la fidelidad de un proceso sin necesidad de caracterizar completamente los dispositivos subyacentes.

El robo de entrelazamiento es un proceso cuántico en el que una parte puede "robar" una cantidad arbitrariamente pequeña de entrelazamiento de un estado catalizador, dejando el estado original casi inalterado. En este trabajo, los autores consideran el caso exacto, donde el estado catalizador permanece completamente inalterado. El protocolo se describe mediante operadores unitarios (o contracciones) que actúan sobre un estado catalizador $\psi$ en un espacio de Hilbert $\mathcal{H}$. La formulación matemática implica el uso de álgebras de von Neumann y operadores unitarios que actúan sobre productos tensoriales de espacios de Hilbert, resultando en una suma de estados entrelazados con coeficientes $\alpha_i > 0$.

El resultado clave es que cualquier protocolo de robo de entrelazamiento exacto debe surgir de un estado único en el producto tensorial de dos álgebras de Cuntz, $\mathcal{O}_d \otimes \mathcal{O}_d$. Esto significa que el proceso de robo de entrelazamiento actúa como una "auto-prueba" para una colección de isometrías de Cuntz para cada parte y un estado cuasi-libre único en el álgebra de Cuntz $\mathcal{O}_d$. Además, la teoría modular se utiliza para demostrar que el álgebra de von Neumann generada por la copia de $\mathcal{O}_d$ es un factor de Tipo $\text{III}_\lambda$ separable y aproximadamente de dimensión finita, donde $\lambda$ es un parámetro que puede determinarse a partir de los coeficientes de Schmidt del estado entrelazado. Este avance proporciona una comprensión más profunda de las propiedades fundamentales del entrelazamiento cuántico y sus conexiones con estructuras algebraicas avanzadas, abriendo vías para el diseño de protocolos cuánticos robustos.