Bounds for Pure Disjoint $(r,\delta)$-Quantum Locally Recoverable Codes

Resumen Técnico: Límites para Códigos de Recuperación Local Cuántica (qLRC) puramente disjuntos $(r, \delta)$

Planteamiento del Problema
El artículo aborda los límites fundamentales de los Códigos de Recuperación Local Cuántica (qLRC), centrándose específicamente en la clase de los qLRC puramente disjuntos $(r, \delta)$. Mientras que investigaciones previas han establecido límites para los qLRC, particularmente aquellos construidos mediante el marco CSS o dentro del formalismo de estabilizadores, existe una carencia de límites generales para códigos no-estabilizadores que no dependan de conexiones con códigos clásicos subyacentes. Los autores pretenden derivar límites superiores para la dimensión del código $K$ para qLRC puramente disjuntos utilizando un enfoque basado en enumeradores de peso, sin asumir una estructura de estabilizador. El escenario específico involucra códigos donde los conjuntos de recuperación son particiones disjuntas de los cúdits físicos, lo que permite la corrección de hasta $\delta-1$ borraduras (erasures) dentro de cualquier bloque de recuperación local de tamaño $N = r + \delta - 1$.

Metodología
Los autores desarrollan un marco basado en enumeradores de peso cuántico por bloques y condiciones locales de Knill–Laflamme (KL).

1. Estructura Local y Condiciones KL:
   El artículo establece primero que, para los qLRC disjuntos, la restricción de localidad induce una estructura por bloques en el espacio del código. Los autores derivan las condiciones KL locales (Teorema 1), demostrando que la corregibilidad de las borraduras dentro de un bloque de recuperación $J_\ell$ depende únicamente del soporte del código local $Q_\ell$. Específicamente, un error es corregible en un bloque si y solo si los proyectores locales satisfacen condiciones escalares específicas sobre los operadores de error.

2. Enumeradores de Peso por Bloques:
   Para capturar la distribución de los pesos de error a través de los conjuntos de recuperación disjuntos, los autores introducen dos nuevos tipos de enumeradores:

   • Enumeradores Shor–Laflamme (SL) por bloques ($A^{SL}_i, B^{SL}_i$): Estos rastrean la distribución de peso de los errores a través de los $s$ bloques de recuperación.
   • Enumeradores unitarios por bloques ($A^U_i, B^U_i$): Estos se definen mediante trazas parciales sobre subconjuntos de cúdits y se relacionan con los enumeradores SL a través de identidades combinatorias (Corolario 1).

   Los autores prueban que estos enumeradores satisfacen identidades de MacWilliams e desigualdades análogas al caso cuántico estándar (Teorema 2 y Teorema 3). Crucialmente, establecen que para patrones de borraduras que son corregibles (definidos por el conjunto $T_{d,\delta}$), los enumeradores por bloques satisfacen una condición de igualdad específica ($K B^U_i = A^U_i$).

3. Supuesto de Pureza:
   El análisis se centra en códigos puros, definidos por la condición de que los enumeradores SL por bloques se anulan para todos los patrones de error corregibles no nulos ($A^{SL}_i = 0$ para $i \in T_{d,\delta} \setminus \{0\}$). Este supuesto simplifica la relación entre los enumeradores, permitiendo la derivación de límites más ajustados.

4. Derivación de Límites:
   Utilizando las propiedades de estos enumeradores y el método de Programación Lineal (LP) (adaptado de la teoría de codificación clásica y trabajos cuánticos previos), los autores construyen polinomios auxiliares basados en polinomios de Krawtchouk multivariantes para derivar límites superiores sobre la dimensión del código.

Contribuciones Clave y Resultados

• Condiciones KL Locales para qLRC Disjuntos: El artículo formula condiciones necesarias y suficientes para la corrección de errores locales en qLRC disjuntos, desacoplando la capacidad de recuperación local de la estructura global del código.
• Enumeradores por Bloques: La introducción de los enumeradores de peso SL y unitarios por bloques proporciona una nueva herramienta para analizar qLRC que respeta la estructura de partición disjunta, cerrando la brecha entre los límites cuánticos globales y las restricciones de recuperación local.
• Límite tipo Singleton (Teorema 4): Para qLRC puramente disjuntos $(r, \delta)$, los autores derivan un límite tipo Singleton:
  $$K \leq q^{n - 2(d-1) - 2\lfloor \frac{n-(d-1)}{N} \rfloor (\delta-1)}$$
  Se muestra que este límite es estrictamente más fuerte que el límite conocido para qLRC disjuntos generales (Ecuación 7) bajo el supuesto de pureza. En el caso especial donde $\delta=2$, recupera el límite conocido de los estabilizadores sin requerir una estructura de estabilizador.
• Límite de Programación Lineal (Teoremo 5 y 6): Los autores derivan un límite superior basado en LP. Al construir polinomios específicos con coeficientes de Krawtchouk no negativos, obtienen un límite (Ecuación 9) que es estrictamente más ajustado que las versiones relajadas del límite tipo Singleton y otros límites conocidos en la literatura.
• Marco No-Estabilizador: Una contribución significativa es que estos resultados se derivan sin asumir que el código sea un código de estabilizador, ofreciendo una perspectiva teórica más general sobre los qLRC.

Significancia y Reivindicaciones
El artículo afirma proporcionar un enfoque basado en el peso y no-estabilizador para el estudio de los qLRC puramente disjuntos $(r, \delta)$. La significancia radica en:

1. Fortalecimiento de los Límites Conocidos: El límite tipo Singleton derivado mejora los límites existentes para qLRC disjuntos cuando se cumple la condición de pureza.
2. Generalidad: La metodología se aplica a códigos cuánticos generales, no solo a aquellos con una estructura de estabilizador o aquellos construidos mediante códigos CSS.
3. Avance Metodológico: El uso de enumeradores por bloques permite una contabilidad precisa de cómo se distribuyen los pesos de error a través de los conjuntos de recuperación, permitiendo la derivación de restricciones más ajustadas mediante el método LP.

Los autores señalan que su límite LP coincide con el límite de los estabilizadores puros en ciertos regímenes y es, al menos, tan ajustado como el límite disjunto puro. Concluyen que estos resultados sientan las bases para futuras extensiones a códigos impuros y códigos con conjuntos de recuperación superpuestos, reflejando los desarrollos en el entorno clásico.