Design rules for fault-tolerant multi-gate teleportation

Resumo Técnico: Regras de Design para Teletransporte Multi-Porta Tolerante a Falhas

Definição do Problema
A Computação Quântica Distribuída (DQC) depende do teletransporte de portas remotas entre módulos para escalar o poder computacional. O teletransporte de portas sequencial padrão consome um bit emaranhado (ebit) por porta remota. O teletransporte multi-porta (MGT) oferece uma otimização de recursos ao empacotar $n$ portas remotas em um único "pacote" impulsionado por um único ebit, utilizando uma árvore de fan-out CNOT local para distribuir o controle. Embora isso economize $n-1$ ebits, introduz um risco crítico de tolerância a falhas: uma única falha no link não local propaga-se através da árvore de fan-out, injetando um erro Pauli correlacionado de peso-$n$ nos qubits alvos. Isso contrasta com o teletransporte sequencial, onde falhas de link produzem erros independentes de peso-1. O problema central abordado é determinar o tamanho máximo do pacote $n$ que preserva a tolerância a falhas sob este modelo de erro correlacionado, especificamente para códigos de superfície rotacionados, e identificar se decodificadores padrão podem explorar a estrutura de correlação conhecida.

Metodologia
O artigo emprega uma combinação de derivação analítica e simulação numérica:

1. Modelagem de Erro: Os autores modelam um pacote MGT de mesmo controle onde um CNOT não local é seguido por CNOTs de fan-out locais. Eles demonstram que uma falha no qubit de controle (ou no link não local) propaga-se para criar uma string Pauli contígua de peso-$n$ nos alvos. Sob ruído de depolarização, a taxa efetiva para este erro perigoso é $2p_{net}/3$.
2. Regras de Design Analíticas: Os autores derivam tamanhos máximos de pacotes baseados nos mecanismos de falha do decodificador de Correspondência Perfeita de Peso Mínimo (MWPM). Eles analisam a condição onde um erro de peso-$n$ e seu complemento ao longo de um operador lógico formam um par de síndrome degenerado.
3. Simulação Numérica: Usando PyMatching, os autores simulam modelos de erro de detector (DEMs) para códigos de superfície rotacionados de distâncias $d \in \{5, 7, 9\}$. Eles comparam duas configurações de decodificador:
   • Decodificador Ingênuo: Construído a partir de um DEM de base que trata o pacote como $n$ erros independentes.
   • Decodificador Consciente de Correlação: Construído a partir do DEM específico do circuito do pacote, que codifica o erro correlacionado como uma única aresta com peso $-\ln(p_{net})$.
4. Métricas de Desempenho: O estudo avalia as Taxas de Erro Lógico (LER) através de várias razões de ruído rede-para-porta ($\gamma = p_{net}/p_{gate}$), comparando um pacote MGT contra um baseline sequencial por link.

Principais Contribuições

1. Caracterização de Erro Correlacionado: O artigo estabelece que pacotes MGT produzem inerentemente erros Pauli contíguos de peso-$n$ a partir de falhas únicas de rede, um modo de falha distinto dos modelos de ruído independente por link usados na literatura anterior de computação distribuída.
2. Regras de Design para Tamanho de Pacote: Os autores derivam dois limites distintos para o tamanho máximo de pacote seguro $n_{max}$ para um código de distância $d$:
   • Limite Ingênuo: $n_{max}^{naive} = \lfloor d/2 \rfloor$. Isso se aplica se o decodificador ignorar a correlação.
   • Limite Consciente de Correlação: $n_{max}^{corr} = \lceil d/2 \rceil$. Este limite é alcançável se o decodificador tratar o erro correlacionado como uma única aresta de baixo peso.
   • A extensão de $\lfloor d/2 \rfloor$ para $\lceil d/2 \rceil$ ocorre porque o decodificador consciente de correlação reconhece o erro do pacote único como mais barato do que os $n$ erros independentes necessários para formar o caminho complementar no grafo de correspondência.
3. Integração de Decodificador: O artigo demonstra que nenhum arquiteto de decodificador customizado é necessário para atingir o limite melhorado. O decodificador MWPM padrão, quando construído a partir do DEM de nível de circuito do pacote, codifica naturalmente a estrutura de correlação e corrige automaticamente o erro de peso-$n$ até o limite de $\lceil d/2 \rceil$.
4. Compromissos de Desempenho: O estudo quantifica o compromisso entre economia de emaranhamento e taxas de erro. Ele identifica que o MGT supera o teletransporte sequencial quando a rede é o gargalo ($\gamma \gg 1$), mas pode incorrer em uma pequena penalidade em baixos $\gamma$ devido ao overhead de portas de fan-out locais adicionais.

Resultos

• Capacidade de Correção de Erros: Simulações confirmam que um decodificador consciente de correlação corrige com sucesso pacotes de tamanho $n = \lceil d/2 \rceil$. Por exemplo, para $d=9$, pacotes de tamanho $n=4$ são corrigíveis, enquanto um decodificador ingênuo falha neste tamanho.
• Taxas de Erro Lógico (LER):
  • Em $\gamma$ moderado a alto (ex: $\gamma \ge 10$), a LER do pacote consciente de correlação iguala ou supera o baseline sequencial. A vantagem cresce com tanto $\gamma$ quanto $d$.
  • Em baixo $\gamma$ ($\approx 1$), a LER do pacote é ligeiramente maior (razão $\le 1.13$) porque as $n-1$ portas locais extras introduzem ruído de porta sem economia significativa de rede.
  • A LER para o pacote consciente de correlação torna-se independente de $\gamma$ (permanecendo no piso de ruído de porta) porque o decodificador absorve a falha única do pacote, enquanto o baseline sequencial acumula $n$ falhas de rede independentes.
• Esquemas Híbridos: Para pacotes que excedem $n_{max}^{corr}$, o artigo propõe uma árvore de fan-out $k$-ária (usando $k$ ebits) para reduzir o peso do erro de pior caso para $\approx n/k$, restaurando a tolerância a falhas.

Significância e Alegações
O artigo afirma fornecer as primeiras regras de design que simultaneamente consideram a economia de recursos de comunicação e o ruído correlacionado na computação quântica distribuída. Sua principal significância reside em permitir que compiladores de circuitos distribuídos "conscientes do ruído" favoreçam a pacotização por fan-out sem sacrificar a tolerância a falhas.

Os autores afirmam que:

• As economias de emaranhamento do MGT são viáveis para computação tolerante a falhas, desde que o tamanho do pacote respeite o limite de $\lceil d/2 \rceil$ e o decodificador utilize o DEM de nível de circuito.
• O modo de falha correlacionado é uma consequência estrutural do gargalo de 1-ebit, tornando as conclusões independentes de interface (aplicáveis a protocolos EJPP, baseados em medição ou de estado CAT).
• Em regimes onde o ruído de rede domina o ruído de porta local ($\gamma \gtrsim 10$), o que é consistente com estimativas experimentais atuais para interconexões fotônicas, o MGT oferece uma vantagem decisiva sobre o teletransporte sequencial ao reduzir o acúmulo de erros de rede independentes.

O artigo permanece modesto quanto ao seu escopo, observando que as alegações quantitativas são específicas para códigos de superfície rotacionados e modelos simplificados de ruído de depolarização, enquanto as conclusões qualitativas relativas aos limites estruturais espera-se que se estendam a outros códigos CSS e decodificadores de peso mínimo. Trabalhos futuros são adiados para códigos qLDPC, ruído enviesado e integração total de ruído de nível de circuito.