Construction of a Family of Quantum Codes Using Sub-exceding Functions via the Hypergraph Product and the Generalized Shor Construction

Este artigo apresenta uma nova família de códigos quânticos LDPC escaláveis, construídos a partir de funções sub-excedentes combinadas com o produto de hipergrafos e a construção generalizada de Shor, que exibem uma estrutura combinatória rica e parámetros de distância mínima promissores para otimização de códigos quânticos estruturados.

O essencial

Imagine que você está tentando enviar uma mensagem secreta por um canal de rádio muito barulhento. Se o sinal for fraco ou houver interferência, a mensagem chega distorcida. Para evitar isso, os engenheiros de telecomunicações usam códigos de correção de erros: eles adicionam informações extras (redundância) à mensagem original para que, mesmo que parte dela seja corrompida, o receptor possa descobrir o que estava errado e consertar.

Agora, imagine que esse "barulho" não é apenas estática, mas algo que pode apagar ou inverter bits de informação em um computador quântico. Isso é o que os códigos quânticos fazem: protegem a informação frágil dos computadores quânticos contra erros.

Este artigo descreve uma nova maneira de construir esses "escudos" de proteção, usando uma ideia matemática divertida chamada funções sub-excedentes.

Aqui está uma explicação simplificada, passo a passo:

1. A Base: O "Algoritmo de Permutação" (Funções Sub-excedentes)

Os autores começaram com um conceito matemático antigo e elegante: as funções sub-excedentes.

• A Analogia: Imagine que você tem uma fila de pessoas numeradas de 1 a $k$. A regra é que a pessoa número $i$ só pode escolher um número menor que ela mesma (ou zero) para se associar.
• Por exemplo, a pessoa #3 pode escolher 0, 1 ou 2, mas nunca 3 ou 4.
• Embora pareça um jogo simples, essa regra cria um padrão muito organizado e previsível. Os autores usaram esse padrão para criar dois tipos de códigos clássicos (chamados $L_k$ e $L^+_k$) que são muito eficientes para detectar erros. Eles são como "listas de verificação" muito bem organizadas.

2. O Desafio: Do Clássico para o Quântico

Códigos clássicos protegem bits (0 ou 1). Códigos quânticos precisam proteger qubits, que podem ser 0, 1 ou uma mistura dos dois ao mesmo tempo. É muito mais difícil proteger qubits porque eles são sensíveis e o ato de medir para checar erros pode estragar a informação.

Para resolver isso, os autores usaram duas técnicas de "montagem" famosas na engenharia quântica:

1. O Produto de Hipergrafos: Imagine pegar dois blocos de LEGO (seus códigos clássicos) e entrelaçá-los de uma forma específica para criar uma estrutura 3D muito forte.
2. A Construção Generalizada de Shor: Uma técnica que pega um código e o "estica" e "repete" para criar camadas de proteção.

3. A Grande Inovação: A Família de Códigos $Q_{L_k}$

Ao combinar os códigos clássicos baseados nas "funções sub-excedentes" com essas técnicas de montagem, os autores criaram uma nova família de códigos quânticos.

• O Tamanho: Se você escolher um número $k$ (digamos, 4), o código cria um sistema gigante.

  • Para cada $k$, o código protege $k^2$ bits de informação lógica (a mensagem real).
  • Mas ele usa $6k^2$ qubits físicos (os blocos de construção reais).
  • A Taxa: Isso significa que, não importa o quão grande o computador fique, você sempre usará 6 qubits físicos para guardar 1 qubit lógico. É uma proporção constante e previsível (1 para 6).

• A Resistência (Distância Mínima): A "distância" de um código é quantos erros ele consegue aguentar antes de falhar.

  • Para códigos pequenos ($k=3$), ele aguenta 3 erros.
  • Para códigos maiores ($k \ge 4$), ele aguenta 4 erros.
  • Por que isso importa? Um código que aguenta 4 erros pode detectar qualquer erro pequeno e corrigir pelo menos 1 erro arbitrário com segurança. É como ter um guarda-costas que consegue lidar com 4 ataques simultâneos.

4. Por que isso é especial? (A Estrutura "LDPC")

O grande trunfo deste trabalho é a estrutura.

• Muitos códigos quânticos são como labirintos complexos onde é difícil saber onde olhar para corrigir um erro.
• Este novo código é como um edifício com andares idênticos e repetitivos.
• A Analogia: Imagine um prédio onde cada apartamento tem exatamente a mesma planta. Se você sabe como consertar um vazamento no apartamento 1, você sabe como consertar no apartamento 100.
• Isso é chamado de código LDPC (Low-Density Parity-Check). Significa que cada qubit está conectado a apenas alguns poucos "vizinhos" para verificação. Isso torna o processo de correção de erros muito rápido e eficiente, exigindo menos energia e menos tempo de computação.

5. Como Funciona na Prática?

O artigo descreve exatamente como "codificar" (escrever) e "decodificar" (ler) a informação:

• Codificação: Você pega sua mensagem, coloca em um registro de qubits e usa portas lógicas (como CNOTs e Hadamards) para espalhar a informação pelos qubits extras, seguindo o padrão repetitivo do código.
• Decodificação: Como a estrutura é tão regular, você pode checar os erros em "blocos" pequenos e paralelos. É como ter vários inspetores de qualidade trabalhando ao mesmo tempo em diferentes partes da fábrica, em vez de um único inspetor andando por todo o prédio.

Resumo Final

Os autores pegaram uma ideia matemática bonita e antiga (funções sub-excedentes), transformaram-na em códigos clássicos eficientes e, em seguida, usaram técnicas de engenharia quântica para criar uma família de códigos quânticos escaláveis.

O que isso significa para o futuro?
Isso nos dá uma receita clara para construir computadores quânticos maiores e mais estáveis. Em vez de inventar um novo código complexo para cada tamanho de computador, agora temos uma estrutura modular que cresce de forma previsível, mantendo a eficiência e a capacidade de corrigir erros. É um passo importante para tornar a computação quântica uma realidade prática e confiável.

Resumo técnico

Resumo Técnico: Construção de uma Família de Códigos Quânticos Usando Funções Sub-excedentes via Produto de Hipergrafos e Construção Generalizada de Shor

Autores: Luc Rabefihavanana, Harinaivo Andriatahiny, Ferdinand Randriamiarampanahy
Data: 10 de março de 2026

1. Problema e Contexto

A correção de erros quânticos é fundamental para a viabilidade da computação quântica em larga escala. Embora códigos quânticos de baixa densidade de verificação de paridade (QLDPC) sejam promissores devido à sua eficiência de decodificação e estrutura local, a construção de famílias de códigos que combinem taxa constante, distância mínima escalável e estrutura LDPC permanece um desafio.

O trabalho parte de códigos clássicos lineares ($L_k$ e $L^+_k$) construídos a partir de funções sub-excedentes (objetos combinatórios relacionados a permutações e árvores rotuladas). O objetivo é estender essas construções clássicas, que já demonstraram boas propriedades de distância e complexidade, para o domínio quântico, criando uma nova família de códigos estabilizadores escaláveis.

2. Metodologia

Os autores utilizam uma abordagem híbrida que combina dois métodos clássicos de construção de códigos quânticos CSS (Calderbank-Shor-Steane) aplicados aos códigos clássicos $L_k$ e $L^+_k$:

1. Definição dos Códigos Clássicos Base:

   • $L_k$: Código linear binário sistemático com parâmetros $[2k, k, d]$. A distância mínima é $d=3$ para $k=3$ e $d=4$ para $k \ge 4$. Sua matriz geradora é $G_{L_k} = [I_k | G_k]$, onde $G_k$ é uma matriz com zeros na diagonal e uns fora dela.
   • $L^+_k$: Código linear binário sistemático com parâmetros $[3k, k, d]$. A distância mínima é $d=5$ para $k=4$ e $d=6$ para $k \ge 5$. Sua matriz geradora é $G_{L^+_k} = [I_k | G_k | I_k]$.

2. Construção Quântica (Produto Híbrido):
   Os autores aplicam simultaneamente o Produto de Hipergrafos e a Construção Generalizada de Shor para gerar os geradores do grupo estabilizador do código quântico.

   • Seja $C_1 = L_k$ e $C_2 = L^+_k$.
   • As matrizes de verificação de paridade ($H_X$ e $H_Z$) do código quântico são construídas através de produtos tensoriais (Kronecker) das matrizes geradoras e de verificação dos códigos clássicos:
     • $H_X = H_{L_k} \otimes I_{3k}$
     • $H_Z = G_{L_k} \otimes H_{L^+_k}$
   • A condição de comutação necessária para códigos CSS ($H_X H_Z^T = 0$) é satisfeita devido às propriedades ortogonais das matrizes dos códigos clássicos subjacentes.

3. Contribuições Principais

• Nova Família de Códigos: Proposição de uma família de códigos quânticos estabilizadores denotada por $Q_{L_k}$, derivada exclusivamente de funções sub-excedentes.
• Estrutura Combinatória Rica: Demonstra-se que a estrutura algébrica das funções sub-excedentes se traduz em uma estrutura de grafos de Tanner altamente regular e estruturada para os códigos quânticos.
• Método de Construção Unificado: Integração bem-sucedida do Produto de Hipergrafos e da Construção Generalizada de Shor para gerar códigos com parâmetros específicos e constantes.
• Protocolos de Codificação e Decodificação: Desenvolvimento de circuitos de codificação explícitos e um procedimento de decodificação simplificado baseado na estrutura local dos estabilizadores.

4. Resultados e Parâmetros

Para qualquer inteiro $k \ge 3$, a família de códigos quânticos resultante possui os seguintes parâmetros $[[n, k_{log}, d]]$:

• Número de Qubits Físicos ($n$): $6k^2$
• Número de Qubits Lógicos ($k_{log}$): $k^2$
• Distância Mínima ($d$):
  • $d = 3$ para $k = 3$.
  • $d = 4$ para $k \ge 4$.

Análise de Desempenho:

• Taxa do Código: A taxa $R = k_{log}/n = k^2 / 6k^2 = 1/6$. A taxa é constante e não tende a zero quando $k \to \infty$, o que é uma propriedade desejável para códigos escaláveis.
• Estrutura LDPC: Os códigos mantêm a propriedade de baixa densidade (cada qubit participa de um número limitado de estabilizadores), facilitando a decodificação.
• Robustez: A distância mínima de 4 para $k \ge 4$ garante a capacidade de detectar qualquer erro de peso baixo e corrigir pelo menos um erro quântico arbitrário.

Exemplos Numéricos:

• Para $k=4$: Código $[[96, 16, 4]]$.
• Para $k=5$: Código $[[120, 25, 4]]$.

5. Procedimentos de Codificação e Decodificação

• Codificação: O processo utiliza $k^2$ qubits de entrada e $5k^2$qubits auxiliares (ancillas) inicializados em$|0\rangle$. O circuito é construído com portas Hadamard e CNOTs seguindo a estrutura esparsa de$H_X$. A estrutura permite que cada "raiz" de qubit interaja com um bloco específico de qubits-alvo.
• Decodificação: A regularidade da estrutura permite uma decodificação CSS em duas etapas sequenciais:
  1. Correção de erros de fase (erros Z) usando estabilizadores do tipo X.
  2. Correção de erros de bit (erros X) usando estabilizadores do tipo Z.
     A arquitetura repetitiva permite correção em blocos locais, reduzindo o número de medições e operações quânticas necessárias.

6. Significância e Conclusão

Este trabalho estabelece um novo paradigma para o design de códigos quânticos estruturados. A principal contribuição é a demonstração de que objetos combinatórios clássicos (funções sub-excedentes) podem ser explorados para criar códigos quânticos com taxa constante e estrutura LDPC, superando a dificuldade comum de obter taxas não nulas em códigos quânticos com distância limitada.

A família de códigos proposta oferece um compromisso favorável entre o número de qubits físicos e lógicos, além de uma estrutura que facilita a implementação em arquiteturas quânticas reais devido à sua localidade e regularidade. Os autores sugerem que futuras pesquisas podem focar no aumento da distância mínima mantendo a estrutura LDPC e no desenvolvimento de algoritmos de decodificação específicos que aproveitem a regularidade combinatória única destes códigos.