Singer-Difference-Set Qudit Stabilizer Codes from Non-Degenerate Quadrics in PG(d,q)PG(d,q): Construction, Structural Theorems, and Monte-Carlo Performance

Resumo Técnico: Códigos Estabilizadores de Qudits de Conjunto de Diferença de Singer a partir de Quadráticas Não Degeneradas em PG(d, q)

Enunciado do Problema
O artigo aborda a construção de códigos de correção de erros quânticos estruturados e não-CSS (Calderbank-Shor-Steane) para qudits (sistemas quânticos com $q$ níveis, onde $q$ é uma potência de um primo). Embora existam códigos estabilizadores derivados de geometrias finitas e conjuntos de diferença, há uma carência de construções que ofereçam simultaneamente:

1. Parâmetros explícitos e em forma fechada para a dimensão lógica ($k$).
2. Teoremas estruturais prováveis sobre distância e correlação cruzada.
3. Uma ponte algébrica direta para assinaturas de espalhamento de baixa densidade (LDS) clássicas usadas em sistemas de acesso múltiplo não ortogonal (NOMA).
4. Alto desempenho no regime de qudits ($q \ge 3$), evitando os tetos de distância frequentemente encontrados em regimes binários ($q=2$) ou de paridade específica.

Os autores investigam especificamente as limitações de aplicar técnicas clássicas de "decomposição de Waterloo" (que particionam conjuntos de diferença) a códigos estabilizadores quânticos, observando que obstruções de rede inteira (integer-lattice) desaparecem quando reduzidas módulo a característica do corpo $p$, tornando estratégias de levantamento (lifting) assistidas por emaranhamento (EA) ineficazes.

Metodologia
Os autores propõem uma nova família de códigos, denotada $Q(q, d)$, construída sobre a geometria projetiva $PG(d, q)$. A metodologia baseia-se nos seguintes componentes algébricos:

1. Conjuntos de Diferença de Singer: A construção utiliza a matriz de incidência ponto-hiperplano de Singer-circulante de $PG(d, q)$. Os pontos e hiperplanos são indexados pelo grupo cíclico $G = \mathbb{F}_{q^{d+1}}^* / \mathbb{F}_q^*$.
2. Quadráticas Não Degeneradas: Um indicador de traço de quadrado de quadrica formal $\tau_Q$ é definido. Para $q$ ímpar, $Q = \{z \in \mathbb{F}_{q^{d+1}}^* : \text{Tr}(z^2) = 0\}$. Isso gera uma matriz circulante $M_Q$.
3. Matriz de Verificação de Paridade (PCM): A construção central define a PCM como $H = (A \mid M_Q A)$. Isso acopla a matriz de incidência com a circulante derivada da quadrica.
4. Lema de Cancelamento: Os autores provam que o déficit simplético $S = H_x H_z^T - H_z H_x^T$ desaparece módulo $p$ porque a ordem do conjunto de diferença $(k-\lambda) = q^{d-1}$ é divisível por $p$. Isso garante que $H$ seja simplética-isotrópica, definindo um código estabilizador válido sem exigir emaranhamento pré-compartilhado (ou seja, $c=0$).
5. Análise Estrutural: O artigo emprega ferramentas da teoria de corpos finitos, incluindo a decomposição do anel de grupo pelo Teorema Chinês dos Restos (CRT), fórmulas de rank de Hamada-Smith e a teoria do índice de Witt para formas quadráticas para analisar as propriedades do código.

Principais Contribuições

1. Nova Família de Códigos $Q(q, d)$: Uma família de códigos estabilizadores $F_q$-ários não-CSS parametrizada pela potência de primo $q$ e dimensão $d \ge 2$.
2. Cinco Teoremas Estruturais:
   • Constância Modular de Correlação Cruzada: Para $q$ ímpar e $d \ge 3$, a correlação cruzada cíclica $\nu[k] = |E \cap (k-Q)|$ é congruente a $1 \pmod q$.
   • Padrão de Dois Valores: Sob as mesmas condições, $\nu[k]$ assume exatamente dois valores com uma diferença nítida de $q^{(d-1)/2}$.
   • Teorema de Contagem Zero do CRT: O número de fatores irredutíveis de $X^n-1$ sobre $\mathbb{F}_p$ para os quais o indicador de traço zero desaparece é exatamente $(|F|-1)/2$.
   • Ponte de Clifford Explícita: Para $d=2$, os autores constroem uma porta de Clifford explícita $U_M = H^{\otimes n} CZ(M) H^{\otimes n}$ que mapeia o código CSS trivial apenas-Z para $Q(q, 2)$. Isso identifica o código quântico como Clifford-equivalente a um codificação de estado de grafo da incidência de Singer clássica.
   • Igualdade de Rigidez de Pares-Distância: A distância mínima é exatamente $d_{min} = R_P + 1$, onde $R_P$ é o índice de rigidez de coluna pareada da matriz centralizadora.
3. Dimensão Lógica em Forma Fechada: Usando a especialização de rank de Hamada-Smith, os autores derivam $k(p, d) = \theta_d(p) - \binom{p+d-1}{d} - 1$ para primo $p$. A família principal $Q(p, 2)$ atinge uma taxa assintótica de $1/2$.
4. Limites e Tetos de Distância:
   • Obstrução de 2-Torção: O artigo prova que para $q$ ímpar e $d$ ímpar ($d \ge 3$), o código sofre um teto de distância $d_{min} \le 2$ devido a um operador lógico de peso-2.
   • Conjectura Flagship: Para $d=2$ e primos ímpares $p$, conjectura-se que $d_{min}(Q(p, 2)) = p+1$. Isso é provado exatamente para $p=5$ ($d_{min}=6$) e rigorosamente limitado inferiormente para $p=7$ ($d_{min} \ge 8$).
5. Resultados Negativos sobre o Levantamento de Waterloo: O artigo demonstra que tentativas de levantar a decomposição de Waterloo clássica (que falha para $d$ ímpar em redes inteiras) para códigos quânticos assistidos por emaranhamento falham porque a obstrução de inteiro desaparece módulo $p$. O "defeito de Waterloo" é invisível ao formalismo padrão de estabilizador de Pauli sobre $\mathbb{F}_p$.

Resultados

• Instâncias Concretas:
  • $Q(3, 2) = [[13, 6, 3]]_3$: Correção de erro único.
  • $Q(5, 2) = [[31, 15, 6]]_5$: Correção de erro duplo ($d_{min}=6$).
  • $Q(7, 2) = [[57, 28, d]]_7$ com $d \ge 8$.
  • $Q(3, 4) = [[121, 105, 3]]_3$: Correção de erro único.
• Desempenho: Simulações de Monte Carlo sobre $1,5 \times 10^6$ tentativas usando um decodificador de distância limitada mostram que $Q(5, 2)$ atinge uma melhoria de $\sim 70\times$ na taxa de falha por qudit lógico sobre o código Steane $[[7, 1, 3]]_2$ em uma taxa de depolarização de $10^{-3}$.
• Propriedade "Apagar-Não-Errar" (Erase-Don't-Mistake): Para $Q(5, 2)$, nenhum erro lógico silencioso foi observado; todas as falhas do decodificador foram declaradas incorrigíveis. Isso é atribuído à distância do código e ao comportamento do decodificador de distância limitada.
• Comparação: Os códigos propostos superam construções anteriores de conjuntos de diferença de Singer (ex: Gandhi [5]) e códigos QLDPC de geometria projetiva (ex: Tang-Bai-Feng [6]) ao combinar estrutura não-CSS, suporte de qudit e teoremas estruturais explícitos.

Significância e Alegações
O artigo afirma ser o primeiro a combinar um conjunto de diferença de Singer com uma matriz de Gram quadrática não degenerada em uma construção de estabilizador quântico. Sua significância reside em:

1. Unificação: Unindo os primitivos algébricos de códigos de espalhamento LDS-NOMA clássicos (especificamente a construção de 2021) com códigos estabilizadores quânticos via uma equivalência de Clifford rigorosa.
2. Interpretabilidade: Fornecendo um conjunto de cinco teoremas estruturais provados que explicam por que a construção funciona, indo além da seleção empírica de parâmetros.
3. Desempenho: Demonstrando que códigos de qudit estruturados podem atingir altas capacidades de correção de erros (correção de erro duplo) com comprimentos de bloco moderados e taxas próximas de $1/2$, superando significativamente códigos de qubits binários padrão no regime de qudit.
4. Clareza Metodológica: Identificando explicitamente as limitações de levantar defeitos combinatórios de redes inteiras (decomposição de Waterloo) para o domínio quântico via assistência de emaranhamento, esclarecendo assim os limites das estruturas atuais de EAQECC.

Os autores mantêm a modéstia em relação ao caso geral de $p$ da conjectura de distância ($d_{min} = p+1$), observando que permanece em aberto para $p > 7$, e reconhecem que a avaliação numérica atual utiliza um decodificador de distância limitada padrão, deixando a decodificação cíclica estilo Berlekamp-Massey como uma direção futura natural.