Optimal Control of thermally noisy quantum gates in a multilevel system

Resumo Técnico: Controle Ótimo de Portas Quânticas Termicamente Ruidosas em um Sistema de Níveis Múltiplos

Enunciado do Problema
Sistemas quânticos são inerentemente suscetíveis ao ruído ambiental e a imperfeições nos campos de controle externos, o que degrada a fidelidade das portas quânticas e dificulta a implementação prática de tecnologias quânticas. Embora existam estratégias de isolamento passivo, são necessárias técnicas ativas de mitigação de ruído para adaptar-se a condições operacionais específicas. Um desafio central para o hardware quântico de curto prazo é desenvolver frameworks de controle que permaneçam válidos sob acionamento forte e condições térmicas realistas. Especificamente, este estudo aborda a mitigação de ruído térmico markoviano, caracterizado por interações rápidas e sem memória entre o sistema e seu ambiente, o que é particularmente relevante para dispositivos quânticos modernos operando em temperaturas criogênicas. Diferentemente de trabalhos anteriores focados na desfase decorrente de campos de controle imperfeitos, este estudo visa o relaxamento térmico, onde o ambiente troca energia com o sistema.

Metodologia
Os autores empregam a Teoria de Controle Ótimo (OCT) dentro de um framework markoviano termodinamicamente consistente para projetar portas quânticas de alta fidelidade. O cerne de sua abordagem é a integração da OCT com um gerador dissipativo dependente do controle, derivado do framework da Equação Mestra Não-Adiabática (NAME).

1. Formalismo Termodinamicamente Consistente: O estudo utiliza uma equação mestra onde o campo de controle externo $\epsilon(t)$ modifica não apenas a evolução unitária, mas também a parte dissipativa da dinâmica. Isso é alcançado construindo operadores de salto de Lindblad dependentes do tempo com base em invariantes da evolução livre. Os operadores de salto são operadores próprios da evolução livre na representação de Heisenberg, garantindo que a dinâmica dissipativa respeite o balanço detalhado e a conservação de energia entre o dispositivo e o ambiente.
2. Dissipação Dependente do Controle: As frequências de transição instantâneas (de Bohr) $\omega_{ij}(t)$ são remodeladas pelos campos de acionamento. Consequentemente, as taxas de excitação e relaxamento térmico, que dependem da densidade espectral do banho e da ocupação de Bose-Einstein nessas frequências, tornam-se explicitamente dependentes do controle.
3. Implementação da OCT: A tarefa de controle é formulada como a maximização de um funcional de fidelidade $F$ que mede a proximidade do mapa dinâmico gerado $\Lambda(\tau)$ em relação a um mapa alvo $O$. A otimização utiliza um algoritmo do tipo Krotov com propagação direta do estado e propagação reversa do adjunto (multiplicador de Lagrange). A regra de atualização para o campo de controle leva em conta tanto a dependência unitária quanto a quadrática do dissipador em relação ao campo.
4. Arquiteturas de Sistema: O estudo investiga três classes de sistemas:
   • Um único qubit com um, dois ou três níveis de ancila (controle indireto via transições semelhantes a Raman).
   • Uma porta de emaranhamento de dois qubits de controle direto (controlled-iX) sem ancilas.
   • Arquiteturas híbridas combinando controle indireto e direto.
5. Propagação Numérica: A propagação de alta precisão da dinâmica completa de sistema aberto é realizada usando um propagador semi-global adaptado para o espaço de Liouville, empregando expansões polinomiais (Chebyshev/Newton) e soluções iterativas para lidar com geradores dependentes do tempo.

Principais Contribuições

• Integração de NAME e OCT: O artigo combina sistematicamente um dissipador acionado termodinamicamente consistente com uma OCT orientada a portas. Isso permite o projeto de campos de controle que levam em conta o fato de que os campos de acionamento alteram a estrutura energética instantânea do sistema e, consequentemente, seu acoplamento ao banho térmico.
• Análise do Subespaço Lógico: Os autores introduzem uma abordagem diagnóstica que resolve a dinâmica em setores lógico e de ancila. Eles quantificam como a dinâmica otimizada redistribui a ação dissipativa, distinguindo entre melhorias de controle direto e reduções de dissipação no setor lógico assistidas por ancila.
• Comparação Quantitativa de Arquiteturas: O estudo fornece uma análise comparativa do controle indireto (via ancilas) versus controle direto na presença de ruído térmico, identificando regimes onde o controle assistido por ancila reduz o ônus efetivo do ruído térmico no subespaço lógico.

Resultados

• Mitigação Assistida por Ancila: Para portas de qubit único acionadas indiretamente através de ancilas, aumentar o número de níveis de ancila pode reduzir o ônus efetivo do ruído térmico no subespaço lógico em regimes de parâmetros relevantes. A dinâmica otimizada aumenta temporariamente a ocupação da ancila para remodelar o elipsoide de Bloch lógico, reduzindo sua contração (dissipação) mesmo que a dissipação global permaneça. No entanto, essa abordagem enfrenta desafios: o espaço de Hilbert ampliado cria uma paisagem de controle mais acidentada, e as janelas de convergência são mais estreitas em comparação com o controle direto.
• Superioridade do Controle Direto: O controle direto da transição lógica permanece a rota mais eficaz para a melhoria da fidelidade. Introduzir mesmo um canal de dipolo fraco entre estados de qubit melhora significativamente a robustez, permitindo que a OCT mitigue o ruído térmico em ordens de grandeza. Isso é atribuído à capacidade do controle direto de evitar frequências onde o acoplamento ao banho é mais forte, uma restrição que o controle indireto não pode satisfazer facilmente.
• Regimes de Operação: O estudo identifica três regimes qualitativos com base na taxa de acoplamento sistema-banho $\gamma$:
  1. Limitado por erro coerente: Acoplamento fraco onde o ruído tem impacto mínimo.
  2. Intermediário moldado pelo ruído: Onde o agendamento do controle importa, e estratégias assistidas por ancila mostram benefícios.
  3. Sobreamortecido/Zeno-like: Acoplamento forte onde o relaxamento térmico domina, e os ganhos de mitigação diminuem independentemente da estratégia de controle.
• Desempenho da Porta de Dois Qubits: Para a porta controlled-iX, a OCT pode suprimir erros em até duas ordens de grandeza em uma janela ótima distinta de temperatura e taxas de relaxamento. No entanto, para grandes $\gamma$ e $T$, o ruído domina. A análise da pureza do subespaço ($P_{sub}$) revela que o controle ótimo esculpe um subespaço de trabalho resiliente à decoerência onde o mapa torna-se mais semelhante a uma unitária, mesmo enquanto o sistema global perde energia para o banho.
• Fontes de Ruído Combinadas: Quando ruído de fase (ruído do controlador) é adicionado ao ruído térmico, o controle ótimo luta para mitigar ambos simultaneamente, pois os protocolos de correção para os dois tipos de ruído podem ser contraditórios.

Significado e Alegações
O artigo alega que sua principal novidade não reside na introdução de uma nova equação mestra ou algoritmo OCT isoladamente, mas na combinação sistemática de um dissipador acionado termodinamicamente consistente com uma OCT orientada a portas, acoplada a uma análise quantitativa do subespaço lógico.

Os autores enfatizam que seu trabalho contribui para o desenvolvimento de controle quântico termodinamicamente consistente, onde princípios como produção de entropia e custo energético são integrados ao framework de controle. Eles demonstram que, embora o controle assistido por ancila possa oferecer benefícios específicos na redistribuição da dissipação, o controle direto é geralmente superior para mitigar o ruído térmico nos regimes de parâmetros estudados. O estudo esclarece os limites da mitigação em altas taxas de relaxamento e temperaturas, mostrando que, embora sejam possíveis melhorias substanciais de fidelidade, um componente dissipativo irreduzível finito permanece devido à compensação fundamental entre controle coerente e relaxamento térmico. Os resultados fornecem uma referência para futuros projetos de controle sob dissipação realista e destacam a importância de palpites iniciais e da topologia da paisagem na busca por soluções de alta fidelidade.