Non-Gaussianity in cat codes: global incompatibility and local geometric alignment with the magic resource

Resumo Técnico: Não-Gaussianidade em Códigos de Gato – Incompatibilidade Global e Alinhamento Geométrico Local com o Recurso Mágico

Enunciado do Problema
A Não-Gaussianidade (NG) é um recurso fundamental para alcançar uma vantagem quântica genuína em sistemas de variáveis contínuas (CV), análogo ao "recurso mágico" (não-estabilizabilidade) em sistemas de variáveis discretas (DV). Trabalhos recentes estabeleceram uma correspondência quantitativa exata entre a NG e os recursos mágicos dentro do arcabouço de codificação de Gottesman–Kitaev–Preskill (GKP), onde a negatividade logarítmica de Wigner (WLN) do estado físico alinha-se perfeitamente com a medida de magia do estado lógico. No entanto, permanece incerto se essa correspondência persiste além da estrutura de rede específica dos códigos GKP. Este artigo investiga se uma relação semelhante existe para códigos de gato (cat codes), uma proeminente plataforma de codificação bosônica que utiliza superposições de estados coerentes. Especificamente, os autores questionam se as estruturas geométricas globais da WLN e da medida de magia são compatíveis em códigos de gato, ou se sua relação é limitada a alinhamentos geométricos locais.

Metodologia
Os autores empregam uma análise geométrica e de teoria de recursos de estados de gato de $d$ picos no regime de separação de grande escala.

1. Análise Assintótica da WLN: Eles definem um estado de gato de $d$ picos generalizado como uma superposição de $d$ estados coerentes. Ao considerar o limite não degenerado de grande separação ($|\alpha_i - \alpha_j| \to \infty$), eles derivam uma expressão de forma fechada para a WLN assintótica. Este limite permite a decomposição da função de Wigner em picos gaussianos não sobrepostos e termos de interferência, simplificando o cálculo da integral de valor absoluto necessária para a WLN.
2. Caracterização da Medida de Magia: Eles analisam o recurso mágico utilizando uma medida $M$ definida como a norma $\ell_1$ de uma distribuição de quaseprobabilidade associada a uma base de operador de fase. Eles demonstram que o espaço de estados para esta medida é particionado em "setores de sinal" baseados nos sinais dos componentes de quaseprobabilidade. Dentro de cada setor, a medida de magia exibe uma invariância de rotação de fase local determinada pela base própria de um operador de assinatura.
3. Comparação Geométrica: Os autores comparam as estruturas de conjuntos de nível (contornos de constante valor do recurso) da WLN assintótica e da medida de magia. Eles primeiro testam a compatibilidade global em códigos de gato par/ímpar padrão e, em seguida, constroem uma transformação de base específica de "Código de Gato Assintótico" (ACC) para testar o alinhamento local.
4. Benchmarking Físico: Para avaliar a realizabilidade física desses alinhamentos geométricos, eles comparam numericamente o erro geométrico (desvio de conjuntos de nível circulares ideais) de códigos de gato físicos de energia finita contra códigos GKP aproximados de energia finita.

Principais Contribuições e Resultados

• Geometria da WLN Assintótica: Os autores derivam que, no limite de grande separação, a WLN de um estado de gato de $d$ picos depende apenas das amplitudes dos componentes coerentes ($|c_i|$) e é invariante sob rotações de fase relativa. Consequentemente, os conjuntos de nível da WLN assintótica formam estruturas rígidas caracterizadas por restrições de amplitude fixas e simetrias de rotação de fase $U(1)^{d-1}$.
• Incompatibilidade Global: O artigo estabelece que as estruturas globais de conjuntos de nível da WLN e da medida de magia são fundamentalmente incompatíveis em codificações de gato padrão.
  • A geometria da WLN assintótica é globalmente organizada pela base de estados coerentes e é invariante sob todas as fases relativas.
  • A geometria da medida de magia é localmente organizada por setores de sinal, onde os conjuntos de nível estão centrados em torno de eixos próprios dependentes do setor.
  • No caso do qubit, os conjuntos de nível da WLN são círculos ao redor do eixo $x$ lógico, enquanto os conjuntos de nível da medida de magia são círculos ao redor de eixos definidos pelo setor de sinal (por exemplo, $r_x = -r_y = r_z$). Isso prova que não existe uma correspondência global de preservação de valor entre os dois recursos em códigos de gato padrão, ao contrário dos códigos GKP.
• Alinhamento Local SU(d): Apesar da incompatibilidade global, os autores identificam uma relação local construtiva. Tanto a WLN assintótica quanto a medida de magia compartilham uma invariância de rotação de fase local $U(1)^{d-1}$ dentro de regiões específicas do espaço de estados.
  • Ao definir um Código de Gato Assintótico (ACC) distinguido, onde a base lógica é alinhada com a base própria do operador de assinatura da medida de magia em um setor de sinal escolhido, os autores alcançam um alinhamento geométrico local.
  • Neste ACC construído, os conjuntos de nível da WLN alinham-se localmente com os conjuntos de nível da medida de magia. Especificamente, o minimizador da WLN mapeia para o maximizador da medida de magia, e as estruturas de contorno circular coincidem dentro do setor de alvo.
• Robustez Física: Benchmarks numéricos comparando códigos de gato de energia finita e códigos GKP aproximados revelam que a construção de gato física atinge uma tolerância geométrica comparável (baixo desvio de conjuntos de nível circulares ideais) em amplitudes de coerência moderadas ($|\alpha|$). Em contraste, a família GKP aproximada requer parâmetros de separação de escala significativamente maiores para atingir fidelidade geométrica semelhante.

Significância
O artigo conclui que a correspondência exata entre magia e NG observada em códigos GKP não é uma característica universal de todos os códigos bosônicos, mas é dependente da codificação. Embora os códigos de gato não herdem a equivalência global de preservação de valor encontrada em codificações GKP, eles possuem uma rica estrutura geométrica local que permite um alinhamento construtivo entre o recurso mágico e a não-gaussianidade. Esta descoberta sugere que as correspondências de recursos em computação quântica podem ser compreendidas através de uma abordagem baseada em geometria que transcende as restrições de rede específicas de GKP. O trabalho fornece uma rota distinta e fisicamente acessível (via códigos de gato) para investigar as conexões geométricas locais entre os recursos de magia e não-gaussianidade, oferecendo uma nova perspectiva sobre teorias de recursos em informação quântica de variáveis contínuas.