(2,m)-threshold quantum data hiding

Resumen Técnico: Ocultación de Datos Cuánticos con Umbral (2, m)

Planteamiento del Problema
El artículo aborda el desafío de la ocultación de datos cuánticos, un protocolo donde la información se codifica en estados cuánticos compartidos entre múltiples partes de tal manera que los datos permanecen ocultos a menos que un número suficiente de partes colaboren. Mientras que la ocultación de datos clásica se basa en restringir la comunicación, la ocultación de datos cuánticos ofrece un ocultamiento más fuerte incluso cuando la comunicación clásica (LOCC) está permitida, requiriendo operaciones cuánticas globales para la recuperación.

Investigaciones previas establecieron dos extremos:

1. Esquemas de dos partes: Ocultar un bit entre dos partes donde el LOCC falla pero la medición conjunta tiene éxito.
2. Esquemas de umbral (m, m): Ocultar datos entre $m$ partes donde todas las $m$ partes deben colaborar para la recuperación.

Existía un vacío en la literatura respecto a los requisitos de colaboración intermedios. Específicamente, no se había propuesto ningún esquema de umbral $(k, m)$ para $2 \le k < m$. Los autores pretenden construir un esquema de umbral $(2, m)$ donde cualquier par de partes pueda recuperar perfectamente un bit oculto, pero todas las partes, realizando únicamente Operaciones Locales y Comunicación Clásica (LOCC), obtengan una información insignificante.

Metodología
Los autores abordan el problema a través de la lente de la discriminación de estados cuánticos multipartitos, analizando específicamente la brecha entre la discriminación global y la discriminación LOCC.

1. Marco Teórico:

   • El artículo define la discriminación de un conjunto $\mathcal{E} = \{\eta_i, \rho_i\}$ utilizando Medidas de Operadores Positivos (POVMs).
   • Introduce el concepto de mediciones PPT (Transpuesta Parcial Positiva). Dado que toda medición LOCC es una medición PPT, la probabilidad de éxito óptima de la discriminación PPT ($p_{\text{PPT}}$) sirve como un límite superior para la discriminación LOCC ($p_L$).
   • Los autores derivan una caracterización dual para $p_{\text{PPT}}$ (Teorema 1) y una formulación de minimización de la norma de traza para conjuntos de dos estados (Teorema 2).
   • El Teorema 3 es una contribución teórica crítica, estableciendo que la probabilidad de discriminación PPT óptima de un conjunto de estados multipartitos construido a partir de productos tensoriales de estados de dos partes está acotada por la suma de las probabilidades de discriminación PPT de los conjuntos de dos partes subyacentes.
   • Teorema 3 es una contribución teórica crítica, estableciendo que la probabilidad de discriminación PPT óptima de un conjunto de estados multipartitos construido a partir de productos tensoriales de estados de dos partes está acotada por la suma de las probabilidades de discriminación PPT de los conjuntos de dos partes subyacentes.

2. Construcción del Esquema:

   • Arquitectura del Sistema: Para $m$ partes ($A_1, \dots, A_m$), el sistema se construye de tal manera que cada par de partes $(A_k, A_{k'})$ comparte un subsistema específico de dos partes. Cada parte $A_k$ posee $m-1$ subsistemas, uno para cada otra parte.
   • Bloque de Construcción: El esquema utiliza un conjunto específico de estados ortogonales PPT $\mathcal{T} = \{ \frac{1}{2}, \tau_0; \frac{1}{2}, \tau_1 \}$. Crucialmente, este conjunto se elige de tal manera que su probabilidad de discriminación PPT óptima es arbitrariamente cercana al azar ($1/2 + \epsilon$), a pesar de que los estados son ortogonales.
   • Proceso de Codificación:
     • El ocultador prepara un estado global $\tau_{\vec{b}}$ mediante el producto tensorial de instancias independientes de $\tau_{b_{k,k'}}$ para cada par $(k, k')$, donde $b_{k,k'} \in \{0, 1\}$ son bits aleatorios.
     • Para ocultar un bit objetivo $x$, el ocultador transmite una cadena de bits clásicos $\vec{c}$ derivada de los bits aleatorios $b_{k,k'}$ y el bit objetivo $x$ (usando la suma módulo-2).
     • Específicamente, para un par fijo $(\alpha, \alpha')$, el bit $c_{\alpha, \alpha'} = b_{\alpha, \alpha'} \oplus x$, mientras que otros bits en $\vec{c}$ enmascaran los otros bits aleatorios.

Resultados Clave

1. Recuperación Perfecta por Pares: Debido a que los estados $\tau_0$ y $\tau_1$ son ortogonales, cualquier par de partes $(A_k, A_{k'})$ puede realizar una medición conjunta sobre su subsistema compartido para distinguir perfectamente el estado y recuperar el bit $x$.
2. Seguridad LOCC: El artículo demuestra que la probabilidad máxima promedio de adivinar correctamente el bit oculto $x$ utilizando cualquier medición LOCC está acotada por:
   $$\frac{1}{2} \le p_L(\mathcal{E}) \le \frac{1}{2} + \binom{m}{2} \left( p_{\text{PPT}}(\mathcal{T}) - \frac{1}{2} \right)$$
   Dado que $p_{\text{PPT}}(\mathcal{T})$ puede hacerse arbitrariamente cercano a $1/2$ (al elegir un $\epsilon$ suficientemente pequeño), la ganancia de información para cualquier estrategia LOCC (incluso por todas las $m$ partes) puede hacerse arbitrariamente pequeña.
3. Estados Separables: El esquema propuesto puede implementarse utilizando únicamente estados separables de sistemas cuánticos de baja dimensión (específicamente, estados de dos qutrits en el ejemplo proporcionado, aunque se señala que es posible con dos qudits para $d \ge 2$).

Significancia y Reivindicaciones
El artículo afirma ser el primero en proponer un esquema de ocultación de datos cuánticos de umbral $(2, m)$, llenando el vacío entre los esquemas de dos partes y los de colaboración total. Su significancia radica en tres áreas principales:

• Umbrales Intermedios: Demuestra que la ocultación de datos cuánticos es alcanzable con requisitos de colaboración intermedios ($k=2$), en lugar de requerir la colaboración máxima de todas las partes.
• Eficiencia de Recursos: Al utilizar estados separables en lugar de estados entrelazados, el esquema mejora la viabilidad práctica. Los autores afirman explícitamente que el entrelazamiento no es un recurso necesario para realizar la ocultación de datos cuánticos multipartitos.
• Límites Teóricos: El trabajo proporciona nuevos límites superiores para la discriminación LOCC óptima de estados multipartitos, derivados de la relación entre la discriminación PPT global y la discriminación de dos partes.

Los autores se mantienen modestos respecto a extensiones futuras, señalando que, si bien su esquema oculta un solo bit, extender esto a múltiples bits o umbrales más altos ($k > 2$) sigue siendo una cuestión abierta para investigación futura.