Entanglement-assisted continuous-variable concatenated codes for encoding qubits or oscillators

Resumo Técnico: Códigos concatenados de variáveis contínuas assistidos por emaranhamento para codificação de qubits ou osciladores

Definição do Problema
A correção de erros quânticos (QEC) é essencial para a computação quântica tolerante a falhas. Enquanto os códigos estabilizadores são eficazes para sistemas de variáveis discretas (DV), os sistemas de variáveis contínuas (CV) (modos bosônicos) requerem códigos específicos, como o código Gottesman-Kitaev-Preskill (GKP), para corrigir pequenos erros de deslocamento no espaço de fase. Abordagens híbridas, como a concatenação de códigos estabilizadores DV com códigos GKP CV, foram exploradas para melhorar o desempenho da correção de erros. No entanto, essas concatenações convencionais não utilizam o emaranhamento pré-compartilhado. Sabe-se que os códigos estabilizadores assistidos por emaranhamento (EA) aumentam as taxas de transmissão e as capacidades de correção de erros ao relaxar o requisito de grupos estabilizadores autoduais, desde que o remetente e o receptor compartilhem bits emaranhados (ebits). O problema central abordado neste trabalho é como integrar a assistência EA em códigos concatenados de estabilizadores CV para aumentar ainda mais a supressão de erros e as probabilidades de falha lógica, especificamente para a codificação de tanto qubits quanto osciladores.

Metodologia
Os autores propõem duas arquiteturas de concatenação distintas combinando códigos de estabilizador EA e códigos GKP, denotadas pela notação $A \triangleright B$, onde $A$ é o código externo e $B$ é o código interno.

1. $C_{EA-stabilizer} \triangleright C_{GKP}$ (Qubit-para-Oscilador):

   • Estrutura: Um código estabilizador EA (DV) é concatenado com um código GKP (CV) interno.
   • Processo: Um qubit lógico é primeiro codificado em um estado de qubit físico usando um código estabilizador EA (utilizando ebits pré-compartilhados). Subsequentemente, cada qubit físico e as metades dos ebits são codificados em estados GKP computacionais (osciladores).
   • Exemplo: Os autores analisam um código de repetição EA $[[3, 1, 3; 2]]$ concatenado com um código GKP. A camada externa codifica um qubit lógico em três qubits físicos usando dois ebits pré-compartilhados. A camada interna codifica esses três qubits e as duas metades dos ebits em cinco osciladores harmônicos.
   • Decodificação: Erros CV são corrigidos em modos individuais primeiro, seguido pela correção de erros discretos usando os síndromes do estabilizador EA.

2. $C_{GKP} \triangleright C_{EA-stabilizer}$ (Oscilador-para-Osciladores):

   • Estrutura: Um código GKP externo é concatenado com um código estabilizador EA interno.
   • Processo: Um estado codificado GKP de um único modo é primeiro produzido. Este estado é então codificado em múltiplos modos de oscilador usando um codificador Gaussiano derivado de um código estabilizador EA, utilizando modos emaranhados (emodes) ou estados GKP Bell pré-compartilhados.
   • Exemplo: Os autores propõem um código $C_{GKP} \triangleright C_{[[3, 1, 3; 2]]}$. Um único estado GKP lógico é codificado em três modos de oscilador usando dois pares GKP Bell pré-compartilhados (emodes). A codificação utiliza um codificador unitário Gaussiano ($U^G_{enc}$) composto por portas SUM.
   • Decodificação: O sistema emprega medições de síndrome nos estabilizadores do modo de dados e dos emodes ancilares. Como as síndromes do modo de dados não podem ser medidas diretamente sem perturbar o estado, os autores utilizam a estimativa de máxima verossimilhança (MLE) para inferir os valores de erro mais prováveis com base nas síndromes medidas dos modos ancilares e na suposição de ruído Gaussiano independente e identicamente distribuído (iid).

Principais Contribuições e Resultados

• Proposta de Códigos Concatenados EA: O artigo introduz e formaliza duas novas famílias de códigos concatenados: $C_{EA-stabilizer} \triangleright C_{GKP}$ e $C_{GKP} \triangleright C_{EA-stabilizer}$.
• Supressão de Ruído em $C_{GKP} \triangleright C_{EA-stabilizer}$:
  • Para o caso específico de $C_{GKP} \triangleright C_{[[3, 1, 3; 2]]}$, os autores demonstram que o uso de dois modos maximamente emaranhados (emodes) permite a supressão das variâncias em ambos os erros de quadratura de posição ($q$) e momento ($p$) do modo de dados por um fator de $1/3$.
  • Os erros lógicos residuais seguem uma distribuição Gaussiana com variância $\sigma^2/3$, comparado à variância original $\sigma^2$.
  • Isso é alcançado sem apertamento (squeezing) adicional de quadratura, baseando-se, em vez disso, no emaranhamento assistido.
• Generalização para Códigos de Repetição EA de $n$-qubits:
  • Os autores generalizam o esquema $C_{GKP} \triangleright C_{[[3, 1, 3; 2]]}$ para uma família de códigos: $C_{GKP} \triangleright C_{[[n, 1, n; n-1]]}$, onde $n$ é um número ímpar $\ge 3$.
  • Teorema 1: Esta família utiliza $n-1$ emodes para suprimir a variância dos erros de quadratura de posição e momento de um modo de dados por um fator de $1/n$.
  • Este resultado é comparado aos códigos de repetição GKP não enviesados da literatura anterior (Ref. [28]), observando que o esquema EA proposto atinge fatores de supressão semelhantes ($1/(n+1)$ para $n+1$ modos), mas com uma estrutura de recursos diferente (usando $n-1$ emodes para $n$ modos totais no contexto de repetição).
• Comparação de Desempenho:
  • A probabilidade de falha lógica para $C_{[[3, 1, 3; 2]]} \triangleright C_{GKP}$ é calculada e mostra superar o código $C_{[[5, 1, 3]]} \triangleright C_{GKP}$ (um código padrão de qubit-para-oscilador sem assistência EA). Essa melhoria é atribuída ao fato de o código EA externo possuir metades sem ruído dos ebits em posse do receptor.
  • Inversamente, o código $C_{GKP} \triangleright C_{[[3, 1, 3; 2]]}$ (oscilador-para-oscilador) apresenta uma probabilidade de falha lógica maior do que seu correspondente $C_{[[3, 1, 3; 2]]} \triangleright C_{GKP}$. Os autores atribuem isso à necessidade de estimar estados não medidos no primeiro, enquanto o segundo permite uma gama completa de medições de estabilizador EA.

Significância e Alegações
O artigo afirma estender os estudos comparativos recentes de códigos $C_{stabilizer} \triangleright C_{GKP}$ e $C_{GKP} \triangleright C_{stabilizer}$ para seus equivalentes assistidos por emaranhamento. A principal significância reside em demonstrar que a assistência por emaranhamento pode ser integrada efetivamente em códigos concatenados CV para:

1. Aumentar as taxas de correção de erros e reduzir as probabilidades de falha lógica em esquemas de qubit-para-oscilador.
2. Fornecer um mecanismo para suprimir as variâncias em ambas as quadraturas de um modo de dados de oscilador por um fator de $1/n$, utilizando $n-1$ modos emaranhados, oferecendo uma alternativa eficiente em termos de recursos a esquemas que exigem apertamento adicional ou mais modos ancilares.

Os autores mantêm um escopo modesto, observando que sua análise assume estados GKP ideais e erros de deslocamento Gaussianos. Eles reconhecem que, embora seus resultados sejam promissores, a implementação prática exigiria abordar efeitos de energia finita, canais de ruído não Gaussianos (como perda pura) e limiares de tolerância a falhas sob restrições de hardware realistas. Eles sugerem que esses frameworks poderiam ser aplicados a repetidores quânticos e sensoriamento distribuído, mas não propõem configurações experimentais específicas além de referenciar plataformas existentes (íons aprisionados, circuitos supercondutores, fotônica) capazes de gerar os estados necessários.