Translation-invariant quantum low-density parity-check codes from compactified fracton models

Resumo Técnico: Códigos Quânticos LDPC Invariantes por Translação a partir de Modelos de Fracton Compactificados

Enunciado do Problema
Códigos de correção de erros quânticos (QEC) com simetria de translação e verificações locais levaram a uma diversidade de códigos de fracton em três ou mais dimensões. No entanto, esses códigos atualmente carecem de um quadro unificador completo. Embora estudos recentes tenham destacado o desempenho impressionante de códigos invariantes por translação com verificações de longo alcance (como os códigos Bicicleta Bivariada ou BB) em duas dimensões, a relação entre esses códigos de longo alcance e os modelos locais de fracton de dimensões superiores permanece obscura. O desafio é fornecer uma imagem unificadora que conecte modelos locais de fracton, códigos qLDPC de longo alcance e, especificamente, a família de Álgebra de Grupo de Dois Blocos Abelianos (A2BGA), que inclui códigos BB, códigos cúbicos e códigos de líquido de spin fractal.

Metodologia
Os autores empregam o formalismo polinomial de Haah para analisar códigos estabilizadores invariantes por translação. A metodologia central envolve:

1. Construção do Produto de Hipergrafo (HGP): Começando com códigos clássicos de fractal simples e invariantes por translação, os autores constroem um código quântico "progenitor" de dimensão superior usando a construção HGP. Este código progenitor é um modelo local de fracton definido em uma hipercúbica de dimensão superior.
2. Compactificação via Condições de Contorno Torcidas: Os autores introduzem uma técnica de redução de dimensão chamada "compactificação". Ao impor condições de contorno torcidas (equações da forma $\prod x_i^{v_i} = 1$) no código progenitor, eles derivam códigos "descendentes" de dimensão inferior.
3. Unificação Algébrica: Eles demonstram que famílias de códigos A2BGA (incluindo códigos BB) com pesos de verificação fixos podem ser vistas como compactificações específicas de um único código progenitor HGP de dimensão superior. Isso é alcançado mapeando os monômios dos polinômios geradores do código descendente para variáveis independentes no código progenitor e resolvendo para as condições de contorno torcidas necessárias.
4. Análise de Indecomponibilidade: Os autores estabelecem um critério algébrico (Teorema 1) baseado no grupo monomial gerado pelos polinômios do código para determinar se um código é indecomponível. Esta condição é necessária para que o método de unificação se mantenha, garantindo que o código não se desacople em sub-reticulados independentes.

Principais Contribuições e Resultados

• Quadro Unificador: O artigo estabelece que todos os códigos A2BGA com o mesmo peso de verificação fixo em qubits esquerdo e direito são compactificações de um único modelo de fracton HGP de dimensão superior. Isso unifica modelos locais de fracton (como o código cúbico) e códigos qLDPC de longo alcance (como os códigos BB) sob uma única origem estrutural.
• Árvores Genealógicas de Fracton: Os autores classificam esses códigos em três "árvores genealógicas de fracton" sobre o corpo $\mathbb{F}_2$, distinguidas pela paridade dos comprimentos dos polinômios geradores do código progenitor HGP.
  • Família 1: Progenitor gerado por dois polinômios de comprimento par (inclui o código de Haah, Checkerboard, HHB-A).
  • Família 2: Progenitor gerado por dois polinômios de comprimento ímpar (inclui códigos BB, código de cor hexagonal).
  • Família 3: Progenitor gerado por um polinômio de comprimento par e um de comprimento ímpar (inclui o modelo de prisma de Serpinski).
• Limites de Distância: Construindo sobre trabalhos anteriores para códigos de bicicleta generalizados, os autores estendem os limites de distância para a classe mais ampla de códigos A2BGA.
  • Limite Superior: Eles provam que um código A2BGA com peso fixo $w$ e $v \le w-2$ variáveis únicas pode ser mapeado para um código local em $D \le w-2$ dimensões. Consequentemente, a distância do código $d$ escala como $d \le O(n^{1 - 1/D})$.
  • Limite Inferior: Ao compactificar ainda mais para duas dimensões, eles mostram que, se um código não tiver operadores do tipo corda em todas as direções, exceto duas, ele é equivalente a um produto tensorial de códigos toric, implicando um limite inferior de distância de $d \ge O(n^{1/D})$.
• Conjecturas sobre Propriedades dos Códigos:
  • Restrições de Portas Lógicas: Os autores conjecturam que, se o código progenitor HGP tiver portas transversais restritas ao grupo Clifford (um resultado conhecido para códigos HGP), então todos os códigos descendentes A2BGA herdarão essa restrição. Isso implicaria que nenhum código A2BGA admite portas transversais não-Clifford.
  • Barreiras de Energia: Eles conjecturam que a escala da barreira de energia de qualquer família de códigos A2BGA é limitada superiormente pela de seu progenitor HGP. Por exemplo, como o modelo Newman-Moore possui uma barreira de energia logarítmica, todos os códigos em sua árvore genealógica (incluindo códigos BB de peso seis) teriam barreiras de energia crescendo no máximo logaritmicamente.

Significado
O artigo fornece uma "imagem unificadora" para uma grande família de códigos invariantes por translação, preenchendo a lacuna entre modelos locais de fracton e códigos qLDPC de longo alcance. Ao mostrar que códigos diversos, como códigos BB, códigos cúbicos e líquidos de spin fractais, são meramente diferentes compactificações de uma única estrutura progenitora, o trabalho simplifica a classificação desses modelos. Essa percepção estrutural permite que os pesquisadores transfiram propriedades conhecidas (como limites de distância e possíveis restrições de portas) de códigos progenitores locais de dimensão superior bem compreendidos para códigos descendentes complexos de dimensão inferior. As conjecturas propostas sobre portas transversais e barreiras de energia oferecem uma nova via para entender a tolerância a falhas e as capacidades de memória desses códigos, sugerindo que suas limitações fundamentais são ditadas por suas origens de dimensão superior.