Dissipative preparation and stabilization of d-mode multinomial cat states

Resumo Técnico: Preparação Dissipativa e Estabilização de Estados de Gato Multinomiais de modo $d$

Enunciado do Problema
A dissipação projetada emergiu como uma ferramenta poderosa para preparar e estabilizar autonomamente estados quânticos, direcionando sistemas para estados estacionários alvo enquanto suprime o ruído. Embora progressos significativos tenham sido feitos para sistemas bosônicos de modo único e estados gato não compactos (por exemplo, estados gato de Schrödinger associados a $h(1)$ e estados de par associados a $su(1,1)$), estender essas técnicas para sistemas multimodo permanece desafiador. Especificamente, estados gato compactos, como os estados gato binomiais de dois modos associados à álgebra $su(2)$, apresentam uma dificuldade única. Diferente dos estados não compactos, que são autovetores de operadores de escada adequados e podem ser estabilizados por um único operador de salto, os estados gato compactos possuem suporte finito na base de estados de número. Consequentemente, os operadores de escada atuando sobre eles deslocam toda a superposição em vez de preservá-la, tornando-os incompatíveis com as condições padrão de estabilização de autovetor por operador único. Além disso, a realização desses estados tipicamente requer estados iniciais não triviais (por exemplo, estados de Fock ou NOON específicos), que são difíceis de preparar experimentalmente.

Metodologia
Os autores propõem um arcabouço dissipativo geral para preparar e estabilizar autonomamente estados gato generalizados compactos em plataformas bosônicas, partindo do estado de vácuo trivial. O núcleo da metodologia envolve o projeto de um conjunto de operadores de salto projetados dentro de um arcabouço de equação mestra de Lindblad para satisfazer condições de aniquilação específicas para o estado alvo.

Para o caso específico de estados gato binomiais de dois modos (associados a $su(2)$), os autores constroem dois operadores de salto distintos:

1. Estabilização do Número de Excitação ($\hat{L}^{(2)}_{1,+}$): Este operador, proporcional a $\hat{a}^\dagger(\hat{a}^\dagger\hat{a} + \hat{b}^\dagger\hat{b} - N)$, atua como um mecanismo de feedback para confinar o sistema a um subespaço com um número total de excitação $N$ fixo. Ele bombeia o sistema em direção ao manifold alvo se o número de excitação estiver abaixo de $N$.
2. Estabilização da Estrutura Relativa ($\hat{L}^{(2)}_{2}$): Este operador, proporcional a $\hat{a}^2 \pm \hat{b}^2$, fixa a coerência relativa entre os dois modos. Diferente de combinações lineares de operadores de aniquilação (que distinguiriam entre os componentes da superposição e direcionariam o sistema para um único estado coerente), a combinação quadrática elimina a dependência de fase, permitindo a estabilização da própria superposição (o estado gato).

Os autores demonstram que esta construção pode ser generalizada para estados gato multinomiais de $d$-modos arbitrários associados a álgebras $su(d \ge 2)$. Esta generalização requer um operador para fixar o número total de excitação e $d-1$ operadores para travar a coerência relativa entre modos adjacentes, utilizando combinações lineares ou quadráticas de operadores de aniquilação, dependendo da estrutura algébrica específica.

Implementação Física
O artigo propõe uma realização experimental utilizando circuitos supercondutores. O esquema emprega dois ressonadores do sistema (codificando o estado gato) acoplados via um elemento não linear de SQUID com fio assimétrico (ATS) a dois ressonadores auxiliares com perda. Ao excitar o ATS com frequências de múltiplos tons específicas, os autores mostram que as interações não lineares desejadas (envolvendo mistura de três e quatro ondas) podem ser seletivamente ativadas. Essas interações efetivamente acoplam os modos do sistema aos modos auxiliares com perda, que atuam como reservatórios projetados, induzindo assim a dinâmica dissipativa descrita pelos operadores de salto de Lindblad. O design leva em conta a supressão de processos paramétricos indesejados (como termos Kerr) através da seleção cuidadosa de frequência e da aproximação de onda rotativa.

Resultos Principais

• Preparação de Alta Fidelidade: Simulações numéricas demonstram que a dissipação projetada conduz o sistema do estado de vácuo para o estado gato binomial de dois modos alvo com alta fidelidade.
• Estabilização Robusta: O esquema estabiliza robustamente os estados gato contra a decoerência ambiental. O tempo de vida dos estados estabilizados é estendido em várias ordens de magnitude em comparação com os tempos de decaimento natural.
• Escalabilidade: O arcabouço mostra-se escalável para estados gato multinomiais de $d$-modos arbitrários sem exigir processos não lineares de ordem superior além daqueles usados para o caso de dois modos, preservando a viabilidade experimental.
• Propriedades de Correção de Erros: Os estados estabilizados exibem proteção aprimorada contra canais de erro específicos. A dissipação projetada suprime efetivamente erros de inversão de bit (associados a mudanças de população) e estende os tempos de vida de inversão de fase (tempos de coerência) em duas a três ordens de magnitude, embora não possa corrigir totalmente a perda de um único fóton em um modo específico que induz erros de inversão de fase.
• Escalonamento com $N$: Os autores analisam a dependência com o tamanho do gato $N$. Embora o aumento de $N$ amplifique o ruído intrínseco, ele amplifica os canais de dissipação projetada ainda mais rápido (escalando como $N^{3/2}$ para o estabilizador primário), levando a uma estabilização melhorada no regime de $N$ grande. No entanto, a fidelidade estacionária satura abaixo de unidade para $N$ muito grande devido ao comportamento de escala do operador de síndrome próximo ao manifold alvo.

Significado e Aplicações
O artigo afirma que este trabalho fornece uma rota viável para estabilizar estados compactos não clássicos, que são distintos e complementares aos estados gato não compactos anteriormente estudados. Os autores destacam duas aplicações primárias:

1. Metrologia Quântica: Os estados gato binomiais de dois modos estabilizados possuem um índice $q$ de 2, permitindo sensibilidade limitada por Heisenberg em protocolos de Ramsey. A dissipação projetada prolonga o tempo de coerência ($T_2$), permitindo tempos de interrogação mais longos e mantendo a sensibilidade próxima ao limite de Heisenberg mesmo na presença de ruído.
2. Computação Quântica: Os dois componentes dos estados gato binomiais definem uma base de qubit lógico. A estabilização dissipativa oferece uma forma de correção de erro autônoma, estendendo significativamente os tempos de vida de inversão de bit e de inversão de fase do qubit codificado. Os autores observam que este codificação permite a correção exata de erros de desfasagem de ordem superior, um recurso não possível com superposições infinitas.

Em conclusão, os autores estabelecem um arcabouço de engenharia dissipativa escalável que transforma a preparação de estados gato compactos complexos de um desafio que requer estados iniciais não triviais em um processo autônomo partindo do vácuo, oferecendo um recurso promissor para futuras tecnologias quânticas.