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

Resumo Técnico: Limites para Códigos Quânticos Localmente Recuperáveis (qLRCs) Disjuntos Puros (r, δ)

Enunciado do Problema
O artigo aborda os limites fundamentais dos Códigos Quânticos Localmente Recuperáveis (qLRCs), focando especificamente na classe dos qLRCs disjuntos puros (r, δ). Embora pesquisas anteriores tenham estabelecido limites para qLRCs, particularmente aqueles construídos via o framework CSS ou dentro do formalismo de estabilizadores, há uma carência de limites gerais para códigos não-estabilizadores que não dependam de conexões com códigos clássicos subjacentes. Os autores visam derivar limites superiores para a dimensão do código $K$ para qLrcs disjuntos puros usando uma abordagem baseada em enumeradores de peso, sem assumir uma estrutura de estabilizador. O cenário específico envolve códigos onde os conjuntos de recuperação são partições disjuntas de qudits físicos, permitindo a correção de até $\delta-1$ apagamentos dentro de qualquer bloco de recuperação local de tamanho $N = r + \delta - 1$.

Metodologia
Os autores desenvolvem um framework baseado em enumeradores de peso quânticos por bloco e condições locais de Knill–Laflamme (KL).

1. Estrutura Local e Condições KL:
   O artigo estabelece primeiro que, para qLRCs disjuntos, a restrição de localidade induz uma estrutura por blocos no espaço do código. Os autores derivam as condições KL locais (Teorema 1), demonstrando que a corretibilidade de apagamentos dentro de um bloco de recuperação $J_\ell$ depende exclusivamente do suporte do código local $Q_\ell$. Especificamente, um erro é corrigível em um bloco se, e somente se, os projetores locais satisfazem condições escalares específicas sobre os operadores de erro.

2. Enumeradores de Peso por Bloco:
   Para capturar a distribuição de pesos de erro através dos conjuntos de recuperação disjuntos, os autores introduzem dois novos tipos de enumeradores:

   • Enumeradores Shor–Laflamme (SL) por bloco ($A^{SL}_i, B^{SL}_i$): Estes rastreiam a distribuição de peso dos erros através dos $s$ blocos de recuperação.
   • Enumeradores unitários por bloco ($A^U_i, B^U_i$): Estes são definidos via traços parciais sobre subconjuntos de qudits e relacionam-se com os enumeradores SL através de identidades combinatórias (Corolário 1).

   Os autores provam que esses enumeradores satisfazem identidades de MacWilliams e desigualdades análogas ao caso quântico padrão (Teoremas 2 e 3). Crucialmente, eles estabelecem que, para padrões de apagamentos que são corrigíveis (definidos pelo conjunto $T_{d,\delta}$), os enumeradores por bloco satisfazem uma condição de igualdade específica ($K B^U_i = A^U_i$).

3. Suposição de Pureza:
   A análise foca em códigos puros, definidos pela condição de que os enumeradores SL por bloco desaparecem para todos os padrões de erro corrigíveis não nulos ($A^{SL}_i = 0$ para $i \in T_{d,\delta} \setminus \{0\}$). Esta suposição simplifica a relação entre os enumeradores, permitindo a derivação de limites mais estreitos.

4. Derivação de Limites:
   Usando as propriedades desses enumeradores e o método de Programação Linear (LP) (adaptado da teoria de codificação clássica e trabalhos quânticos anteriores), os autores constroem polinômios auxiliares baseados em polinômios de Krawtchouk multivariados para derivar limites superiores sobre a dimensão do código.

Principais Contribuições e Resultados

• Condições KL Locais para qLRCs Disjuntos: O artigo formula condições necessárias e suficientes para a correção de erros locais em qLRCs disjuntos, desacoplando a capacidade de recuperação local da estrutura global do código.
• Enumeradores por Bloco: A introdução de enumeradores de peso SL e unitários por bloco fornece uma nova ferramenta para analisar qLRCs que respeita a estrutura de partição disjunta, preenchendo a lacuna entre limites quânticos globais e restrições de recuperação local.
• Limite do tipo Singleton (Teorema 4): Para qLRCs disjuntos puros (r, δ), os autores derivam um limite do tipo Singleton:
  $$K \leq q^{n - 2(d-1) - 2\lfloor \frac{n-(d-1)}{N} \rfloor (\delta-1)}$$
  Este limite mostra-se estritamente mais forte que o limite conhecido para qLRCs disjuntos gerais (Equação 7) sob a suposição de pureza. No caso especial onde $\delta=2$, ele recupera o limite de estabilizador conhecido sem exigir uma estrutura de estabilizador.
• Limite de Programação Linear (Teoremas 5 & 6): Os autores derivam um limite superior na dimensão do código baseado em LP. Ao construir polinômios específicos com coeficientes de Krawtchouk não negativos, eles obtêm um limite (Equação 9) que é estritamente mais estreito que as versões relaxadas do limite tipo Singleton e outros limites conhecidos na literatura.
• Framework Não-Estabilizador: Uma contribuição significativa é que estes resultados são derivados sem assumir que o código seja um código de estabilizador, oferecendo uma perspectiva teórica mais geral para qLRCs.

Significância e Alegações
O artigo afirma fornecer uma abordagem não-estabilizadora baseada em enumeradores de peso para o estudo de qLRCs disjuntos puros (r, δ). A significância reside em:

1. Fortalecimento de Limites Conhecidos: O limite do tipo Singleton derivado melhora os limites existentes para qLRCs disjuntos quando a condição de pureza é atendida.
2. Generalidade: A metodologia aplica-se a códigos quânticos gerais, não apenas àqueles com uma estrutura de estabilizador ou aqueles construídos via códigos CSS.
3. Avanço Metodológico: O uso de enumeradores por bloco permite uma contagem precisa de como os pesos de erro são distribuídos entre os conjuntos de recuperação, possibilitando a derivação de restrições mais estreitas via método LP.

Os autores observam que seu limite de LP coincide com o limite de estabilizador puro em certos regimes e é, pelo menos, tão estreito quanto o limite disjunto puro. Eles concluem que estes resultados lançam as bases para extensões futuras a códigos impuros e códigos com conjuntos de recuperação sobrepostos, espelhando desenvolvimentos no cenário clássico.