Resumen Técnico: Verificación de Posición Cuántica Arbitrariamente Tolerante a Pérdidas en una Única Ejecución

1. Planteamiento del Problema

La Verificación de Posición Cuántica (QPV, por sus siglas en inglés) tiene como objetivo certificar la ubicación espacial de un probador no confiable utilizando restricciones de señalización relativista e información cuántica. Mientras que el teorema de no clonación impide los ataques de copia clásica, la seguridad incondicional es imposible contra adversarios que comparten entrelazamiento arbitrariamente grande. En consecuencia, la investigación se centra en el modelo de entrelazamiento limitado (BE), donde los adversarios comparten un número limitado de cúbits entrelazados.

Un obstáculo práctico crítico para la QPV es la pérdida de fotones. En las fibras ópticas, la pérdida de transmisión aumenta exponencialmente con la distancia. Los protocolos de QPV estándar (por ejemplo, $QPV_{BB84}$, $QPV^f_{BB84}$ y el paralelo $QPV^{f:n\to m}_{BB84}$) asumen una transmisión ideal. Esta suposición crea una vulnerabilidad fundamental: un adversario puede interceptar los cúbits, medirlos en bases aleatorias y solo reportar los resultados cuando la suposición de la base sea correcta, declarando "pérdida" en caso contrario. Esta estrategia rompe la seguridad siempre que la tasa de transmisión caiga por debajo del 50%.

Trabajos previos abordaron la pérdida y el entrelazamiento por separado o simultáneamente, pero solo en entornos secuenciales. Específicamente, [ABB+23] introdujo una modificación basada en compromisos ($c-QPV^f_{BB84}$) que tolera pérdidas arbitrarias al requerir que el probador se comprometa con los cúbits recibidos antes de conocer la base de medición. Sin embargo, esta técnica dependía de la estructura secuencial del protocolo, donde las rondas repetidas permiten a los verificadores detectar compromisos inconsistentes. Estas técnicas no se extienden a protocolos de una sola ejecución (paralelos), los cuales son preferibles para la implementación práctica y su uso como subrutinas en esquemas criptográficos más amplios. Los protocolos de ejecución única existentes carecen de tolerancia a la pérdida o requieren comunicación cuántica a la velocidad de la luz, lo que limita su aplicabilidad.

2. Metodología

Los autores proponen una modificación basada en compromisos para el protocolo paralelo de una sola ejecución $QPV^{f:n\to m}_{BB84}$, denominada $c-QPV^{f:n\to m}_{BB84}$.

Estructura del Protocolo

El protocolo involucra a dos verificadores ($V_0, V_1$) y un probador ($P$):

1. Preparación: Los verificadores generan entradas clásicas $x, y \in \{0,1\}^n$ y estados cuánticos (cúbits BB84) basados en una función $z = f(x,y)$.
2. Distribución: Se envían los estados cuánticos a $P$, seguidos de las cadenas clásicas $x$ e $y$ cronometradas para llegar simultáneamente a la posición reclamada.
3. Compromiso (Nuevo Paso): Al recibir los sistemas cuánticos pero antes de conocer $x$ e $y$, el probador transmite una cadena de compromiso $c \in \{0,1\}^m$, indicando qué cúbits fueron recibidos con éxito ($c_i=1$) y cuáles se perdieron ($c_i=0$).
4. Condición de Verificación: El protocolo procede solo si el número de cúbits comprometidos $|c| \geq k$, donde $k$ es un umbral predefinido.
5. Medición: Una vez que $x$ e $y$ llegan, $P$ computa $z = f(x,y)$ y mide solo los cúbits en el conjunto comprometido $C = \{i \mid c_i=1\}$ en las bases especificadas por $z_C$.
6. Verificación: Los verificadores aceptan si los resultados reportados coinciden con los valores esperados dentro de un margen de error $\gamma$ para el subconjunto $C$.

Técnicas de Análisis de Seguridad

La prueba de seguridad aborda el desafío de que, a diferencia de la repetición secuencial, una sola ejecución proporciona solo una cadena de compromiso, lo que impide la detección de inconsistencias entre rondas. Los autores emplean las siguientes técnicas:

• Restricciones de No-Señalización: El análisis aprovecha el hecho de que los adversarios (Alice y Bob) están separados espacialmente. Su distribución de compromiso conjunta debe satisfacer las condiciones de no-señalización; específicamente, el compromiso de Alice no puede depender de la entrada de Bob $y$, y viceversa.
  la probabilidad de aceptación condicionada $Pr[\text{aceptar } w_C \mid c]$ para un $c$ fijo relacionándola con la seguridad del protocolo original $QPV^{f:n\to m}_{BB84}$ restringido al subconjunto $C$.
• Decaimiento Exponencial: Al combinar las restricciones de no-señalización con el decaimiento exponencial de la solidez del protocolo original (gobernado por el parámetro $\lambda_\gamma$), derivan un límite global que decae exponencialmente con el umbral $k$.
• Análisis Secuencial Refinado: Los autores también revisan el protocolo secuencial de [ABB+23]. Reemplazan el tiempo de parada estocástico (esperar un número polinomial de rondas exitosas) con un número fijo de rondas $m$ y un umbral fijo $k$. Esto permite un límite directo sobre la probabilidad de aceptación sin depender de enunciados de "o bien/o bien" respecto a compromisos inconsistentes.

3. Contribuciones Clave

1. Primera QPV de un Solo Disparo Tolerante a Pérdidas: El artículo presenta $c-QPV^{f:n\to m}_{BB84}$, el primer protocolo que logra simultáneamente:
   • Solidez negligible en una sola ejecución.
   • Seguridad contra adversarios que comparten una cantidad lineal de entrelazamiento (en el tamaño de las entradas clásicas).
   • Sin requerimiento de comunicación cuántica a la velocidad de la luz.
   • Tolerancia a pérdidas de transmisión arbitrariamente grandes.
2. Generalización del Paradigma de Compromiso: El trabajo eleva con éxito la modificación de compromiso de entornos secuenciales a paralelos utilizando correlaciones de no-señalización, superando la dependencia de la estructura secuencial que anteriormente impedía esta extensión.
3. Mejora de los Parámetros Secuenciales: El artículo refina el análisis de los protocolos de compromiso secuenciales, reemplazando los tiempos de parada estocásticos con parámetros fijos. Esto produce límites cuantitativos mejorados donde la probabilidad de aceptación del adversario decae exponencialmente en el umbral $k$, con un término de corrección que escala como $O(k^{-1/3})$ (mejorado de $O(r^{-1/4})$ en trabajos previos).
4. Robustez: El protocolo resultante mantiene la robustez ante niveles de ruido de hasta un 3.7% por cúbit, igualando la tolerancia al ruido del protocolo original subyacente.

4. Resultados

El principal resultado teórico (Teorema 1.1 y Teorema 4.1) establece que, para una función $f$ adecuada, la probabilidad de que un adversario sea aceptado en el modelo BE($O(n)$) está acotada por:
$$Pr[\text{aceptar } c-QPV^{f:n\to m}_{BB84}] \lesssim 2(\lambda_\gamma)^{k/2}$$
donde $\lambda_\gamma = 2^{h(\gamma)}(\frac{1}{2} + \frac{1}{2}\sqrt{2})$ y $h(\cdot)$ es la función de entropía binaria.

• Tolerancia a la Pérdida: La seguridad depende de $k$ (el número de cúbits recibidos con éxito), no del número total de cúbits transmitidos $m$. Por lo tanto, el protocolo sigue siendo seguro incluso si la tasa de transmisión es arbitrariamente baja, siempre que se reciban suficientes cúbits para alcanzar el umbral $k$.
• Tolerancia al Ruido: El protocolo sigue siendo seguro para tasas de error $\gamma < 0.037$ (3.7%), ya que esto asegura que $\lambda_\gamma < 1$.
• Repetición Paralela: Para protocolos construidos mediante la repetición paralela de una única función booleana $g$ (es decir, $f = g^{\otimes m}$), la seguridad de la versión basada en compromiso se reduce a la seguridad de la versión sin compromiso con $k$ repeticiones: $Pr[\text{aceptar } c-QPV^{g^{\otimes m}}_{BB84}] \leq 2\sqrt{Pr[\text{aceptar } QPV^{g^{\otimes k}}_{BB84}]}$.

5. Significancia y Reivindicaciones

Los autores afirman que este trabajo cierra una brecha crítica entre la seguridad teórica y la implementación práctica de la QPV.

• Viabilidad sobre Distancias Arbitrarias: Al hacer el protocolo arbitrariamente tolerante a la pérdida, el trabajo hace que la QPV sea factible a largas distancias donde la pérdida de fotones es significativa, un prerrequisito para el despliegue en el mundo real.
• Utilidad Práctica: La naturaleza de ejecución única del protocolo se destaca como particularmente atractiva para implementaciones cercanas al futuro y para su uso como subrutina en construcciones criptográficas más grandes (por ejemplo, Distribución de Claves Cuánticas, autenticación de mensajes), donde la repetición secuencial suele ser poco práctica.
• Avance Teórico: El trabajo demuestra que la seguridad basada en compromisos se puede lograr en entornos paralelos sin sacrificar las garantías de seguridad del protocolo subyacente contra adversarios de entrelazamiento limitado.
• Relevancia Experimental: El artículo proporciona parámetros cuantitativos mejorados para implementaciones experimentales, específicamente al fijar el número de rondas y el umbral de aceptación, lo que elimina la incertidumbre de la duración de la ejecución inherente a los enfoques secuenciales previos.

El artículo concluye que $c-QPV^{f:n\to m}_{BB84}$ representa la primera QPV de un solo disparo totalmente tolerante a la pérdida y segura contra atacantes entrelazados, eliminando efectivamente la barrera de la tasa de transmisión que anteriormente limitaba la QPV a distancias cortas o condiciones idealizadas.