A graph-based approach to entanglement entropy of quantum error correcting codes

Declaração do Problema
O emaranhamento é um recurso fundamental em códigos de correção de erros quânticos (QECCs), permitindo a codificação não local de informações lógicas para proteção contra erros locais. No entanto, calcular a entropia de emaranhamento para códigos quânticos complexos, particularmente além de modelos topológicos simples como o código toroidal, permanece desafiador. Métodos existentes, como abordagens de teoria de grupos, foram aplicados a códigos estabilizadores, mas há necessidade de um quadro mais intuitivo que esclareça as origens tanto do emaranhamento local (lei de área) quanto do emaranhamento de longo alcance. Além disso, são necessários esquemas computacionais eficientes para avaliar a entropia de emaranhamento em códigos modernos não geometricamente locais, como códigos de verificação de paridade de baixa densidade quântica (qLDPC).

Metodologia
Os autores desenvolvem um método baseado em grafos para calcular explicitamente a matriz de densidade reduzida e a entropia de von Neumann para códigos quânticos de Calderbank-Shor-Steane (CSS). A abordagem traduz a estrutura algébrica dos códigos estabilizadores em conceitos da teoria dos grafos:

1. Representação em Grafo: O método utiliza a matriz de verificação de paridade ($H_Z$) de um código CSS. Os geradores estabilizadores são tratados como ciclos em um grafo, onde os qubits correspondem às arestas.
2. Árvores Geradoras e Ciclos Conjuntos: Para uma bipartição do sistema em subsistemas $A$ e $B$, os autores constroem árvores geradoras ($T_A$ e $T_B$) para cada subsistema removendo arestas para eliminar ciclos internos. A união dessas árvores geradoras ($T_A \cup T_B$) forma um grafo contendo "ciclos conjuntos".
3. Cálculo da Entropia: A entropia de von Neumann $S_A$ é mostrada como sendo igual ao número de ciclos conjuntos independentes formados pela união das árvores geradoras. Isso é matematicamente equivalente ao número ciclomático do espaço de ciclos conjuntos.
4. Formulação por Rank de Matriz: Os autores derivam uma expressão analítica para a entropia de emaranhamento baseada nos ranks de submatrizes da matriz de verificação de paridade. Especificamente, $S_A = \text{rank}(W_A) = \text{rank}(W_B)$, onde $W_A$ e $W_B$ são submatrizes que descrevem os estabilizadores compartilhados entre os subsistemas. Isso leva à fórmula eficiente $S_A = r_A + r_B - r_H$, onde $r_A$, $r_B$ e $r_H$ são os ranks das submatrizes de verificação de paridade para o subsistema $A$, o subsistema $B$ e o sistema total, respectivamente.
5. Generalização: Para códigos onde o peso da coluna da matriz de verificação de paridade excede dois (impedindo uma representação gráfica simples direta), os autores introduzem uma técnica de "duplicação de qubits". Isso modifica a matriz de paridade para representar um grafo planar simples sem alterar a entropia de emaranhamento, permitindo que a fórmula baseada na teoria dos grafos seja aplicada a códigos CSS gerais.

Resultados Principais
O método foi aplicado a três famílias distintas de códigos: o código toroidal bidimensional, códigos de bicicleta bivariada (BB) e códigos quasi-cíclicos (QC).

• Códigos Toroidais: O método reproduz com sucesso resultados conhecidos, demonstrando que a entropia de emaranhamento segue uma lei de área ($S_A \propto \sqrt{n_A}$) para subsistemas conectados. A entropia é mostrada como dependendo da conectividade global entre subsistemas e do número de ciclos de fronteira.
• Códigos qLDPC (BB e QC): O estudo revela que os códigos BB e QC exibem comportamentos de escalonamento significativamente diferentes em comparação com os códigos toroidais. Sua entropia de emaranhamento escala como $n_A^\gamma$ com $\gamma \approx 0,81$ (BB) e $\gamma \approx 0,95$ (QC), indicando uma taxa de crescimento mais rápida e a presença de emaranhamento mais deslocalizado e de longo alcance.
• Discrepância de Entropia: Ao analisar a "discrepância de entropia" ($I_A = n_A - \bar{S}_A$) para subsistemas selecionados aleatoriamente, os autores observam uma transição acentuada na taxa de variação ($dI_A/dn_A$) para códigos qLDPC à medida que o tamanho do subsistema aumenta. Essa transição torna-se mais aguda com tamanhos de código maiores. Em contraste, os códigos toroidais mostram uma transição suave independente do tamanho do código. Essa diferença é atribuída aos altos pesos dos estabilizadores e às interações não locais nos códigos qLDPC, que aumentam a conectividade entre subsistemas de uma maneira que difere fundamentalmente das interações estritamente locais dos códigos toroidais.

Significado e Alegações
O artigo alega fornecer uma nova perspectiva para entender a estrutura de emaranhamento em sistemas quânticos de muitos corpos, oferecendo uma interpretação direta baseada na teoria dos grafos da entropia de emaranhamento. As principais contribuições são:

• Interpretabilidade: O método esclarece as origens do emaranhamento local e de longo alcance ao vincular a entropia diretamente à topologia dos ciclos conjuntos formados pelas árvores geradoras dos subsistemas.
• Eficiência: A derivação da entropia como função do rank da matriz ($S_A = r_A + r_B - r_H$) fornece um esquema computacional eficiente aplicável a todos os códigos CSS, incluindo códigos qLDPC complexos onde métodos anteriores podem ser menos tratáveis.
• Universalidade: A abordagem é independente da geometria e topologia específicas do sistema quântico, tornando-a generalizável para sistemas com spins mais altos, estruturas irregulares e classes mais amplas de códigos estabilizadores.

Os autores concluem que essas propriedades distintas de emaranhamento em códigos qLDPC poderiam estar conectadas à sua capacidade de proteção de informações e desempenho de decodificação, merecendo investigação adicional, mas não propõem implementações ou aplicações experimentais específicas além dessa caracterização teórica.