Entanglement-assisted quantum locally recoverable codes: bounds and constructions with availability

Resumen Técnico: Códigos cuánticos localmente recuperables asistidos por entrelazamiento: cotas y construcciones con disponibilidad

Planteamiento del problema
Los códigos localmente recuperables (LRC, por sus siglas en inglés) son esenciales para los sistemas de almacenamiento distribuido, ya que permiten la recuperación de símbolos borrados utilizando un subconjunto pequeño de otros símbolos (localidad). En el entorno clásico, la "disponibilidad" se refiere a la existencia de múltiples conjuntos de recuperación disjuntos para cualquier símbolo dado, lo que mejora la fiabilidad. Mientras que los códigos cuánticos localmente recuperables (QLRC) se han desarrollado para abordar necesidades similares de almacenamiento de datos cuánticos, existe una limitación significativa en el marco estándar de Calderbank–Shor–Steane (CSS): los conjuntos de recuperación disjuntos para la misma coordenada son generalmente imposibles a menos que los códigos clásicos subyacentes satisfagan una estricta condición de doble contención ($C^\perp \subseteq C'$). Un trabajo previo [18] demostró que, en el entorno CSS, la disponibilidad en el sentido de conjuntos de recuperación disjuntos no puede lograrse. Este artículo aborda esta brecha introduciendo códigos cuánticos localmente recuperables asistidos por entrelazamiento (EAQLRC) con disponibilidad, aprovechando el entrelazamiento precompartido para relajar la restricción de doble contención y permitir múltiples conjuntos de recuperación disjuntos.

Metodología
Los autores extienden el marco de los códigos de corrección de errores cuánticos asistidos por entrelazamiento (EAQECC) al entorno de recuperación local. La metodología central consiste en:

1. Definición de EAQLRC con disponibilidad: El artículo define un EAQLRC $(r, \delta)$ con disponibilidad $t$ como un código donde cualquier conjunto de hasta $\delta-1$ qudits borrados puede recuperarse de cualquiera de los $t$ conjuntos de recuperación locales. Crucialmente, estos $t$ conjuntos se intersectan exactamente en las coordenadas borradas (o un subconjunto de estas), lo que permite que sean disjuntos fuera del conjunto borrado. Esto se logra construyendo el código cuántico $Q = \text{EACSS}(C_1, C_2)$ a partir de dos códigos lineales clásicos $C_1$ y $C_2$ que no necesariamente satisfacen $C_1^\perp \subseteq C_2$.
2. Cotas teóricas: Los autores derivan una cota de tipo Singleton para la dimensión $k$ de estos códigos. La cota incorpora la longitud de bloque $n$, la distancia mínima $d$, los parámetros de localidad $(r, \delta)$, la disponibilidad $t$ y el parámetro de entrelazamiento $c$ (el número de pares máximamente entrelazados compartidos). Se demuestra que la cota generaliza las cotas Singleton existentes para QLRC y EAQECC estándar.
3. Construcciones:
   • Construcciones aleatorias: Utilizando matrices de paridad de Vandermonde, los autores proporcionan una construcción aleatoria de EAQLRC basada en códigos lineales clásicos.
   • Construcciones explícitas: El artículo construye EAQLRC explícitos aplicando el marco asistido por entrelazamiento a varias familias de códigos de geometría algebraica (AG) clásica y sus versiones plegadas (folded). Estos incluyen:
     • Códigos de Tamo–Barg y sus variantes plegadas.
     • Códigos de producto de fibra (derivados de morfismos entre curvas algebraicas).
     • Códigos hermitianos de un punto.
     • Códigos de Suzuki.
   • Cálculo de parámetros: Para cada construcción, los autores calculan la dimensión cuántica y la distancia resultante. Un componente crítico de estos cálculos es determinar la dimensión del hull (o hull relativo) de los códigos clásicos subyacentes, lo que dicta la cantidad de entrelazamiento compartido requerido $c$.

Contribuciones clave y resultados

• Definición y factibilidad: El artículo define formalmente los EAQLRC con disponibilidad $t$. Demuestra que el entrelazamiento compartido permite $t > 1$ (múltiples conjuntos de recuperación disjuntos) para el mismo conjunto de borrados, una propiedad previamente inalcanzable en el marco CSS sin doble contención.
• Cota de tipo Singleton: Se establece una nueva cota superior para la dimensión $k$:
  $$k \le n - 2(d-1) - s_1 - s_2 + c$$
  donde $s_1$ y $s_2$ son funciones de $n, d, r, \delta,$ y $t$. Esta cota cuantifica la compensación entre la tasa del código, la localidad, la disponibilidad y el consumo de entrelazamiento.
• Familias de códigos explícitos: Los autores proporcionan parámetros explícitos para EAQLRC construidos a partir de códigos de Tamo–Barg, producto de fibra, hermitianos y Suzuki. Por ejemplo, demuestran cómo construir un EAQLRC $(2, 2)$ con disponibilidad 2 a partir de códigos de Tamo–Barg, y EAQLRC $(r, 2)$ con disponibilidad 2 a partir de curvas de producto de fibra y de Suzuki.
• Flexibilidad: El trabajo destaca que el enfoque asistido por entrelazamiento permite el uso de cualquier par de LRC clásicos (incluso aquellos que no poseen doble contención) para construir un código cuántico, expandiendo significativamente el conjunto de códigos clásicos disponibles para aplicaciones cuánticas.

Significado
El artículo afirma que su principal significancia radica en superar la rigidez estructural de los códigos cuánticos basados en CSS. Al utilizar entrelazamiento precompartido, los autores demuestran que es posible lograr disponibilidad (múltiples conjuntos de recuperación disjuntos) en la recuperación local cuántica, una característica anteriormente considerada imposible en el sentido de conjuntos de recuperación disjuntos para códigos cuánticos. Esta flexibilidad es particularmente valiosa para los LRC con restricciones estrictas de localidad y disponibilidad, donde imponer la doble contención limitaría severamente los parámetros alcanzables.

El trabajo establece una base teórica (mediante la cota de tipo Singleton) y proporciona métodos de construcción concretos (mediante códigos AG) para estos nuevos códigos. Los autores señalan que, aunque las construcciones son explícitas, determinar si son óptimas con respecto a la cota Singleton derivada requiere el cálculo adicional de las dimensiones de los hulls y los pesos mínimos, lo cual sigue siendo una dirección abierta. Además, el artículo sugiere que estos códigos son relevantes para futuras arquitecturas de memoria cuántica donde los modelos de borrado sean aplicables, como en sistemas de átomos neutros y superconductores donde los fallos detectables pueden mapearse a borrados.