LiDMaS: Architecture-Level Modeling of Fault-Tolerant Magic-State Injection in GKP Photonic Qubits

Título: LiDMaS: Modelagem em Nível de Arquitetura de Injeção de Estados Mágicos Tolerantes a Falhas em Qubits Fotônicos GKP

1. O Problema

A computação quântica fotônica é uma plataforma promissora devido à sua baixa decoerência e compatibilidade com comunicações de longa distância. No entanto, alcançar a computação quântica universal e tolerante a falhas enfrenta desafios fundamentais:

• Implementação de Portas Não-Clifford: A universalidade exige portas como a porta T, que geralmente dependem da preparação de estados mágicos.
• Restrições Físicas: Os sistemas fotônicos reais sofrem com perda de fótons (erasure) e compressão finita (finite squeezing) dos estados de Gottesman-Kitaev-Preskill (GKP).
• Lacuna na Análise Existente: Estudos anteriores focaram em limiares assintóticos de correção de erros ou em operações Clifford, mas carecem de modelos que integrem explicitamente protocolos de injeção de estados mágicos, dinâmicas de "tentativa até o sucesso" (Repeat-Until-Success - RUS) e a interação entre perda de fótons (que pode ser detectada/heraldada) e a fidelidade do estado lógico. Não há regras de projeto quantitativas claras ligando parâmetros experimentais (como compressão e perda) a métricas operacionais (fidelidade, sobrecarga).

2. Metodologia: O Framework LiDMaS

Os autores desenvolveram o LiDMaS (Lightweight Density-Matrix Simulator), um framework de simulação em nível de arquitetura que evita simulações contínuas de função de onda (que são computacionalmente caras) e foca em canais de ruído lógicos efetivos.

• Modelo de Ruído Lógico:
  • Os qubits lógicos são representados por matrizes de densidade $2 \times 2$.
  • Compressão Finita: Mapeada para um canal de desfazamento (dephasing) Pauli-Z efetivo, onde a probabilidade de erro $p_Z$ decai exponencialmente com o aumento da compressão (dB).
  • Ruído Depolarizante: Modela imperfeições residuais em portas Clifford e ciclos de estabilizador.
  • Perda de Fótons: Tratada como um processo de apagamento heraldado (heralded erasure). Se um fóton é perdido, a tentativa atual é abortada e marcada como falha, sem corromper o estado lógico com erros de Pauli não detectados.
• Protocolo de Injeção (RUS):
  • Utiliza um protocolo de injeção de estado mágico T baseado no estado $|A\rangle = T|+\rangle$.
  • O circuito envolve um qubit de dados, um ancila preparado no estado mágico, uma porta CNOT, medição na base X e feedforward Clifford.
  • Se o resultado da medição for indesejado, o processo é repetido (RUS) até o sucesso ou até atingir um limite máximo de rodadas ($R_{max}$).
• Proteção Externa (Outer Code):
  • Após a injeção bem-sucedida, o estado é protegido por um código de superfície (surface code) de distância $d$.
  • Em vez de simular ciclos de estabilizador, utiliza-se uma lei de escala para a taxa de erro lógico baseada na taxa de erro físico efetiva.
• Métricas Avaliadas:
  • Probabilidade de sucesso ($P_{succ}$).
  • Sobrecarga média de injeção (número médio de tentativas por sucesso).
  • Fidelidade do estado mágico lógico final ($F_{log}$).

3. Contribuições Principais

1. Modelo Unificado: Primeiro modelo em nível de arquitetura que integra explicitamente compressão finita, ruído depolarizante e perda de fótons heraldada no contexto de preparação de estados mágicos para qubits GKP fotônicos, sem depender de bibliotecas de software quântico de alto nível (como PennyLane).
2. Análise de Sensibilidade: Demonstra que, uma vez que a perda é tratada como um apagamento heraldado, a fidelidade do estado lógico é robusta a variações moderadas de perda. Em contraste, a compressão finita é identificada como a fonte dominante de erro contínuo que limita a fidelidade.
3. Diagramas de Fronteira de Fase: Introduz mapas quantitativos que definem a compressão mínima necessária para atingir simultaneamente alta probabilidade de sucesso ($\ge 0.95$) e alta fidelidade lógica ($\ge 0.79$), em função da perda e da distância do código.

4. Resultados Chave

As simulações foram realizadas variando a compressão (8 a 16 dB), a probabilidade de perda base (0.005 a 0.03) e a distância do código de superfície ($d = 1, 3, 5, 7$).

• Probabilidade de Sucesso e Sobrecarga:
  • A probabilidade de sucesso do protocolo RUS é alta (entre 0.90 e 0.99) em todo o regime estudado.
  • A sobrecarga média é baixa, variando entre 1.15 e 1.21 rodadas por tentativa bem-sucedida, indicando que as tentativas falhas são eficientemente detectadas e descartadas.
  • A distância do código de superfície tem pouco impacto na probabilidade de sucesso do RUS, pois a dinâmica é governada pela injeção e pela perda heraldada.
• Fidelidade Lógica:
  • A fidelidade lógica ($F_{log}$) varia de aproximadamente 0.765 a 0.796.
  • Existe uma dependência monotônica forte com a compressão: aumentar a compressão melhora significativamente a fidelidade.
  • Existe uma sensibilidade fraca à perda de fótons após a proteção do código externo. A perda afeta principalmente a taxa de falhas heraldadas (sobrecarga), mas não degrada a qualidade dos estados que passam com sucesso.
• Análise de Sensibilidade:
  • O gradiente da fidelidade em relação à perda é próximo de zero na maior parte do espaço de parâmetros.
  • O gradiente em relação à compressão é não nulo e maior em baixos níveis de compressão, confirmando que a compressão é o fator limitante crítico.
• Fronteiras de Fase:
  • Para atingir os objetivos de desempenho ($P_{succ} \ge 0.95$ e $F_{log} \ge 0.79$), aumentar a distância do código de superfície permite reduzir a exigência de compressão do hardware.
  • Para $d=1$, não foram encontrados pontos viáveis no intervalo simulado que satisfizessem ambos os limiares, destacando a necessidade de proteção de código externo.

5. Significado e Conclusão

Este trabalho preenche uma lacuna crítica entre análises focadas em decodificadores e requisitos de síntese de portas em nível de sistema.

• Diretrizes de Projeto: O estudo fornece regras de projeto quantitativas para arquiteturas fotônicas escaláveis, mostrando que é possível obter estados mágicos lógicos de alta fidelidade com compressão moderada e níveis realistas de perda, desde que se utilize protocolos RUS combinados com proteção de código externo.
• Papel da Perda vs. Compressão: O resultado mais impactante é a distinção clara de papéis: a perda de fótons é um problema de eficiência (afeta a sobrecarga e a taxa de sucesso), mas não de qualidade do estado final (devido à natureza heraldada). A compressão finita é o verdadeiro gargalo para a qualidade da porta lógica.
• Viabilidade: Os resultados sugerem que a computação quântica fotônica tolerante a falhas é viável sem exigir compressão infinita, desde que se otimize a relação entre a qualidade do hardware (compressão) e a correção de erros (distância do código).

Em suma, o LiDMaS oferece uma ferramenta leve e transparente para explorar o espaço de design de arquiteturas fotônicas, validando que a melhoria na compressão é a prioridade absoluta para melhorar a qualidade das portas lógicas, enquanto a perda pode ser gerenciada eficientemente através de arquiteturas de detecção e repetição.