Bosonic quantum error-correcting codes with finite stellar rank

Resumo Técnico: Códigos de Correção de Erros Quânticos Bosônicos com Posto Estelar Finito

Problema
A correção de erros quânticos (QEC) bosônica oferece uma rota promissora para codificar qubits lógicos no espaço de Hilbert de dimensão infinita de um modo bosônico, utilizando estados de variáveis contínuas como códigos cat e códigos de Gottesman–Kitaev–Preskill (GKP) para suprimir ruídos dominantes, como perda de fótons e desfasamento (dephasing). No entanto, essas codificações são intrinsecamente não-gaussianas, exigindo recursos além das operações gaussianas padrão (ex: deslocamento e compressão/squeezing). Em configurações experimentais práticas, particularmente em sistemas fotônicos, recursos não-gaussianos são limitados e custosos de preparar. O problema central abordado é como os recursos não-gaussianos finitos restringem a precisão da preparação de codewords bosônicos e, consequentemente, seu desempenho de correção de erro lógico. Especificamente, permanece incerto qual é o custo mínimo de recurso necessário para ultrapassar o ponto de "break-even" (superar um qubit não codificado) e se os codewords ideais permanecem ótimos quando as restrições de preparação são impostas.

Metodologia
Os autores introduzem o posto estelar ($r^\star$) como uma medida de recurso, definida como o número mínimo de adições de fótons necessários para gerar um estado não-gaussiano de um único modo, dado um conjunto de operações gaussianas arbitrárias. Eles utilizam a fidelidade estelar ($f^\star_k$) para quantificar a qualidade da aproximação de um estado alvo com um posto estelar limitado $k$.

O estudo procede em duas fases principais:

1. Aproximação de Famílias de Códigos Fixas: Os autores analisam códigos cat e códigos GKP padrão. Eles otimizam numericamente a fidelidade estelar desses estados alvo sob restrições de posto estelar finito, otimizando sobre unitárias gaussianas (deslocamento e compressão). Eles então avaliam os codewords aproximados resultantes sob canais de ruído de perda de fótons e desfasamento usando recuperação ótima (calculada via programação semidefinida) para determinar a fidelidade do canal lógico.
2. Otimização Direta de Codificações: Indo além de estados alvo fixos, os autores otimizam diretamente as codificações bosônicas dentro de classes variacionais restringidas por um posto estelar $k$ fixo. Para garantir a tratabilidade computacional, eles utilizam a fidelidade de recuperação de Petz como uma função objetivo substituta durante a busca, enquanto o desempenho final é avaliado usando recuperação ótima. A otimização envolve o ajuste conjunto de parâmetros gaussianos e dos coeficientes de um estado "núcleo" na base de Fock.

Contribuições Principais e Resultados

• Compromissos em Famílias de Códigos Fixas:

  • Para códigos cat, o estudo revela que amplitudes coerentes mais altas ($\alpha$) exigem postos estelares mais elevados para atingir alta fidelidade estelar devido ao aumento da separação no espaço de fase dos componentes. A convergência para a fidelidade unitária é não-monotônica na prática devido aos landscapes de otimização, onde regiões de "platô" aparecem onde as aproximações de posto finito capturam apenas estruturas rotacionais parciais.
  • Para códigos GKP, estados menos amortecidos (menor parâmetro de regularização $\Delta$), que estão mais próximos do limite ideal de energia infinita, requerem postos estelares significativamente mais altos para serem aproximados com precisão.
  • Análise de Break-even: Aproximações de posto finito podem ultrapassar o limiar de break-even antes que a preparação exata seja alcançável. Para códigos cat, o posto estelar necessário para o break-even aumenta com a amplitude $\alpha$. Para códigos GKP sob perda de fótons, o break-even é alcançado em postos estelares baixos ($k=3$ a $4$), mesmo para estados com fidelidades estelares distantes da unidade. No entanto, sob desfasamento, as aproximações de GKP de posto finito falham em ultrapassar o break-even dentro do intervalo de posto estudado.
  • Subotimalidade de Códigos Ideais: Uma descoberta crítica é que codewords ótimos no limite de recurso infinito (ex: estados GKP menos amortecidos com $\Delta$ menor) podem tornar-se subótimos sob restrições de posto estelar finito. O erro de preparação de um alvo altamente não-gaussiano pode superar suas propriedades intrínsecas de correção de erro, tornando um estado ideal "pior", porém mais fácil de preparar, superior na prática.

• Codificações Otimizadas:

  • A otimização direta de codificações em um posto estelar fixo revela estruturas de código adaptadas ao ruído.
  • Sob perda de fótons, as codificações otimizadas evoluem de estruturas localizadas de baixo posto para funções de Wigner em grade (semelhantes a estados GKP) conforme $k$ aumenta.
  • Sob desfasamento, as codificações otimizadas desenvolvem estruturas aproximadas de simetria de rotação (semelhantes a códigos cat), favorecendo uma maior separação no espaço de fase.
  • Limiares de Recurso: Para ruído de desfasamento, um posto estelar de $k=2$ é suficiente para ultrapassar o break-even para todas as intensidades de ruído consideradas. Sob perda de fótons, o posto estelar necessário aumenta com a taxa de perda.
  • Comparação de Desempenho: Em um posto estelar fixo ($k=4$) e taxa de perda ($\kappa t = 10^{-2}$), a codificação otimizada alcançou uma infidelidade de canal menor ($1.99 \times 10^{-4}$) comparado tanto à aproximação de posto finito de um código cat padrão ($3.41 \times 10^{-4}$) quanto a um código binomial ($2.9 \times 10^{-3}$).

Significância
Este artigo estabelece o posto estelar como uma medida de recurso operacionalmente significativa para QEC bosônica, unindo a teoria de recursos não-gaussianos com restrições práticas de preparação de estado. Ele demonstra que o "melhor" código não é necessariamente aquele com as melhores propriedades ideais de correção de erro, mas sim aquele que equilibra a qualidade intrínseca do código com o custo de preparação. Os resultados fornecem limiares de recursos concretos para alcançar vantagens de correção de erro e destacam que a otimização adaptada ao ruído pode produzir um desempenho superior dentro de um orçamento fixo de recurso não-gaussiano em comparação com a aproximação de códigos ideais pré-definidos. Este framework é particularmente relevante para plataformas experimentais onde operações não-gaussianas são limitadas, como sistemas fotônicos.