Efficient implementation of arbitrary Hermitian-preserving and trace-preserving maps

Resumo Técnico: Implementação Eficiente de Mapas Arbitrários Preservadores de Hermiticidade e de Traço

Definição do Problema
O controle quântico permitiu com sucesso a implementação de mapas completamente positivos e preservadores de traço (CPTP) arbitrários, que descrevem processos fisicamente realizáveis. No entanto, uma fronteira crítica permanece na implementação de mapas preservadores de hermiticidade e de traço (HPTP). Diferente dos mapas CPTP, os mapas HPTP não garantem positividade, o que significa que podem representar processos não físicos, tais como transposições parciais (usadas para detecção de emaranhamento), canais de ruído inverso (centrais para mitigação de erro quântico, ou QEM) e mapas intermediários não-CP em dinâmicas não-markovianas. Os métodos existentes para realizar mapas HPTP enfrentam limitações significativas:

1. Abordagens de decomposição: Decompor um mapa HPTP em dois mapas CPTP seguidos de pós-processamento requer programação semidefinida para otimização e tem sido experimentalmente limitado a sistemas de qubit único.
2. Abordagens Hamiltonianas: Construir Hamiltonianos bipartidos para aproximar mapas HPTP requer um sistema ancila com a mesma dimensão do sistema alvo, levando a altos custos de recursos.

Metodologia
Os autores propõem um método totalmente construtivo e eficiente em recursos para implementar mapas HPTP arbitrários usando um único mapa CPTP executável seguido de um simples pós-processamento clássico. O núcleo do método envolve três etapas:

1. Normalização: Dado um mapa HPTP alvo $\mathcal{N}$ com operadores de Kraus $\{K_i\}$ e sinais $\alpha(i) \in \{1, -1\}$ (derivados dos autovalores da matriz de Choi), os autores normalizam a soma $\sum K_i^\dagger K_i$ por um fator $\gamma$ (o maior autovalor desta soma). Isso resulta em operadores reescalonados $\tilde{K}_i = K_i / \sqrt{\gamma}$.
2. Completude: Para garantir que o mapa resultante seja um mapa CPTP válido, um operador de Kraus adicional é introduzido: $\tilde{K}_{r+1} = (I - \sum_{i=1}^r \tilde{K}_i^\dagger \tilde{K}_i)^{1/2}$. Isso garante a condição de completude $\sum_{i=1}^{r+1} \tilde{K}_i^\dagger \tilde{K}_i = I$. O mapa CPTP resultante, $\mathcal{E}_\mathcal{N}$, possui um rank de Kraus de no máximo $r+1$, onde $r$ é o rank intrínseco do mapa HPTP alvo.
3. Pós-processamento: O circuito físico implementa $\mathcal{E}_\mathcal{N}$. Para recuperar o valor esperado de um observável $O$ sob o mapa HPTP original $\mathcal{N}$, os resultados das medições são processados classicamente. Especificamente, os resultados correspondentes aos primeiros $r$ ramos de Kraus são ponderados por $\alpha(i)\gamma$, enquanto os resultados correspondentes ao $(r+1)$-ésimo ramo são ponderados por zero.

Implementação de Circuito
O método utiliza um circuito quântico estruturado em árvore binária, desenvolvido anteriormente para mapas CPTP, para implementar o mapa CPTP construído $\mathcal{E}_\mathcal{N}$.

• Recursos: O protocolo requer apenas um único qubit ancila de dois níveis (reutilizado via medição, reset e feedback) e um registro clássico para armazenar os resultados das medições.
• Profundidade: A profundidade do circuito escala como $\lceil \log_2(r+1) \rceil$, oferecendo escalonamento logarítmico com o rank de Kraus.
• Mapas Sucessivos: Para sequências de mapas HPTP, os autores propõem concatenar os circuitos quânticos correspondentes e realizar um único passo de pós-processamento ao final, evitando a necessidade de preparar novos estados quânticos entre os passos.

Resultados Principais
O artigo valida o método através de simulações numéricas e análise teórica:

• Mitigação de Erro Quântico (QEM): O método foi aplicado para inverter canais de ruído (amortecimento de amplitude, depolarização e desfasamento) para sistemas de um e dois qubits. Resultados numéricos mostram reduções substanciais no overhead de amostragem (variância) em comparação com métodos de decomposição anteriores.
• Sistemas Bosônicos: Simulações em canais de perda de fótons bosônicos demonstram que o método proposto escala linearmente com a dimensão do sistema $d$ (rank de Kraus $\approx d+1$). Em contraste, métodos de decomposição anteriores resultam em mapas CPTP de quase rank total ($d^2$), tornando-os impraticáveis para sistemas de alta dimensão.
• Análise de Variância: Os autores derivam uma expressão analítica para a variância de disparo único do estimador. Eles mostram que o overhead de amostragem é transparente e analyticamente garantido, contrastando com métodos que dependem de otimização numérica onde o overhead é determinado pelos coeficientes dos mapas decompostos.
• Variância Média de Haar: Previsões teóricas para estados de entrada e observáveis distribuídos conforme Haar confirmam a eficiência do método, particularmente para canais unitários.

Significância e Alegações
Os autores afirmam que este trabalho fornece uma rota prática para aplicações mais amplas de informação quântica habilitadas pelo processamento HPTP. As principais vantagens destacadas incluem:

• Eficiência de Recursos: O método requer significativamente menos recursos quânticos (especificamente, uma única ancila de dois níveis) comparado a abordagens baseadas em Hamiltoniano e evita os requisitos de ancila de alta dimensão de métodos anteriores.
• Natureza Construtiva: O protocolo é totalmente constutivo e determinístico, eliminando a necessidade de otimização por programação semidefinida numérica.
• Escalabilidade: A profundidade de circuito logarítmica e o escalonamento linear do rank de Kraus com a dimensão do sistema tornam a abordagem adequada para hardware de curto prazo (near-term) e configurações de alta dimensão.
• Versatilidade: Ao permitir a realização eficiente de mapas não físicos, o framework suporta aplicações em detecção de emaranhamento, mitigação de erro quântico, simulação quântica e aprendizado de máquina quântico.

O artigo conclui que estes resultados validam a eficiência e a versatilidade do framework proposto, oferecendo uma solução escalável para implementar mapas HPTP arbitrários sem os gargalos de recursos das técnicas anteriores.