An extensive theory of nonlinearly intercoupled pseudomodes for noise model reduction in circuit QED

Resumo Técnico: Uma Teoria Extensa de Pseudomodos Não Linearmente Interacoplados para Redução de Modelos de Ruído em cQED de Circuitos

Declaração do Problema
Plataformas de eletrodinâmica quântica de circuitos supercondutores (cQED) enfrentam um desafio persistente de modelagem: a não linearidade intrínseca do potencial de Josephson acopla-se a um ambiente eletromagnético dissipativo de maneiras que resistem tanto ao tratamento perturbativo quanto à redução Markoviana ingênua. Abordagens padrão frequentemente escalam mal com o tamanho do sistema ou dependem de suposições estruturais — especificamente, de que o ambiente é sem memória nas escalas de tempo relevantes e de que o acoplamento sistema-ambiente é suficientemente fraco para que a aproximação de Born-Markov seja aplicável. No entanto, recursos de hardware modernos (por exemplo, filtros de Purcell, modos de buffer e ressonadores auxiliares fortemente acoplados) introduzem características espectrais estruturadas com escalas de tempo de memória comparáveis às durações de portas. Consequentemente, modelos convencionais, que aplicam correções perturbativas sucessivas, tornam-se cada vez mais pouco confiáveis fora de seus regimes específicos de calibração. Embora a comunidade de sistemas quânticos abertos tenha desenvolvido a construção de pseudomodos de Garraway para substituir banhos contínuos por conjuntos finitos de modos auxiliares amortecidos, essa literatura historicamente assumiu subsistemas retidos lineares, criando uma lacuna na modelagem de processadores de cQED não lineares.

Metodologia
Este trabalho generaliza a construção de pseudomodos de Garraway para acomodar modos auxiliares intercouplados não linearmente. Os autores desenvolvem uma teoria geral na imagem de Heisenberg, dividindo o Hamiltoniano total em um setor retido ($H_{keep}$) e um setor eliminado ($H_{elim}$). Crucialmente, $H_{keep}$ é permitido conter interações não lineares arbitrárias (por exemplo, termos de Kerr), enquanto o setor eliminado representa o ambiente ou modos auxiliares.

A metodologia central procede da seguinte forma:

1. Formulação da Equação de Dyson: Os autores derivam uma equação de Dyson para a função de Green do modo retido. Eles demonstram que o núcleo de memória do setor eliminado pode ser representado por uma autoenergia racional, $\Sigma(\omega)$, desde que a densidade espectral admita uma decomposição meromorfa (um conjunto finito de polos).
2. Generalização Não Linear: O artigo estabelece que a eliminação de pseudomodos não está fundamentalmente ligada à linearidade do Hamiltoniano retido, mas à representabilidade. Se a influência de um setor eliminado no subsistema retido for capturada por uma autoenergia racional, ela pode ser substituída por um conjunto finito de modos auxiliares amortecidos, independentemente da estrutura não linear interna de qualquer um dos setores.
3. Eliminação em Forma Fechada: O framework é aplicado a sistemas específicos de múltiplos modos com auto-Kerr completo, cross-Kerr e interações bilineares ou de mistura de três ondas. Os autores derivam expressões explícitas para frequências de transição condicionadas à ocupação, autoenergias e polos vestidos.
4. Equivalência de Deslocamento Coerente: A teoria é estendida para mostrar a equivalência entre um Hamiltoniano pai de quatro modos deslocado com interações quárticas e um Hamiltoniano efetivo de mistura de três ondas obtido deslocando linearmente o quarto modo (o limite de "bomba rígida").

Principais Contribuições e Resultados

• Teoria Generalizada: Os autores fornecem um framework não perturbativo e sistematicamente redutível para a dinâmica de cQED de sistemas abertos. Eles provam que a construção de pseudomodos sobrevive à introdução de não linearidades no subsistema retido, desde que a função de resposta do setor eliminado seja racional.
• Soluções Explícitas para Múltiplos Modos: O artigo apresenta resultados de eliminação em forma fechada para:
  • Sistemas de dois modos: Apresentando auto-Kerr, cross-Kerr e troca bilinear. A redução produz uma autoenergia com um único polo condicionado à ocupação, e o Hamiltoniano do setor fixo é mostrado como tridiagonal com uma autoenergia de fração contínua.
  • Sistemas de três modos: Apresentando acoplamentos de mistura de três ondas ($abc^\dagger$). Os autores derivam os polos vestidos e mostram como modos espectadores contribuem via deslocamentos de cross-Kerr.
  • Sistemas de quatro modos: Apresentando troca bilinear e eliminação seletiva.
• Equivalência de Bomba Rígida: Uma equivalência matemática precisa é estabelecida entre uma teoria pai de quatro modos com interações quárticas e uma teoria efetiva de três modos sob uma bomba coerente rígida. Os autores demonstram que a taxa efetiva de mistura de três ondas ($g_3$) surge do produto do acoplamento de quatro modos ($g_4$) e da amplitude coerente do modo deslocado ($\beta$), ou seja, $g_3 = g_4 \beta^*$. Isso confirma que o espectro paramétrico multifóton ativado observado sob uma bomba rígida é o espectro reduzido do sistema pai.
• Eficiência Computacional: O framework resultante reduz substancialmente a sobrecarga computacional da modelagem de cQED de sistemas abertos, convertendo equações de Heisenberg não locais no tempo em um conjunto local de equações acopladas em um espaço de Hilbert reduzido, mantendo-se fiel à física subjacente.

Significância e Alegações
O artigo alega que este framework oferece uma rota não perturbativa e computacionalmente tratável para a modelagem de sistemas abertos nos regimes estruturados, fortemente acionados e não lineares que caracterizam cada vez mais o hardware de cQED.

Os autores enfatizam três pontos específicos regarding a significância e as limitações de seu trabalho:

1. Calibração vs. Estrutura: A redução é exata quando a função de resposta do setor eliminado admite uma estrutura de polos racionais que corresponde à resposta experimentalmente acessível do hardware. Isso coloca um ônus de calibração no experimentalista (para medir a resposta espectral com resolução suficiente) em vez de uma restrição estrutural no método.
2. Aplicabilidade: O framework é particularmente valioso para regimes envolvendo ambientes estruturados (por exemplo, filtros de Purcell), escalas de tempo de memória comparáveis às durações de portas e renormalizações induzidas por acionamento que não são perturbativamente pequenas. É especificamente notado como relevante para arquiteturas envolvendo acopladores não lineares fortemente acionados que medeiam interações paramétricas efetivas, como qubits cat dissipativos de dois fótons e mistura de três ondas baseada em SNAIL.
3. Limitações: A construção assume uma decomposição espectral racional; densidades não racionais requerem uma aproximação controlada. Além disso, a redução reproduz exatamente a dinâmica reduzida do subsistema retido, mas não reconstrói o estado conjunto sistema-ambiente, o que significa que observáveis em modos eliminados requerem purificação ou extensões de entrada-saída. Os exemplos em forma fechada fornecidos cobrem contagens pequenas de modos, com validação numérica sistemática contra Equações Hierárquicas de Movimento (HEOM) deixada para trabalhos futuros.

Em conclusão, o trabalho reposiciona a ferramenta de pseudomodo para cQED não linear, afirmando que a chave para a eliminação é a representabilidade (autoenergia racional) e não a linearidade, fornecendo assim uma alternativa fiel e não perturbativa aos fluxos de trabalho Markovianos padrão.