Signatures of quantum noise in the operation of Deutsch's algorithm

Resumo Técnico: Assinaturas de Ruído Quântico na Operação do Algoritmo de Deutsch

Enunciado do Problema
O desenvolvimento de computadores quânticos escaláveis é impedido pela decoerência, particularmente pelo desfasamento puro (PD), que é o mecanismo predominante para qubits de estado sólido (carga, spin e supercondutores). Técnicas de modelagem padrão, como operadores de Kraus, canais quânticos e equações mestras de Lindblad, geralmente dependem de matrizes de densidade reduzidas. Esses métodos assumem que as correlações entre o sistema de qubits e o ambiente decaem rapidamente ou são negligenciáveis, falhando assim em capturar o acúmulo de emaranhamento sistema-ambiente e a reação de retroação dos qubits sobre o ambiente. Consequentemente, esses modelos de ruído clássicos podem não prever com precisão o comportamento de algoritmos quânticos quando as fontes de ruído possuem memória quântica ou quando o algoritmo é executado repetidamente. Os autores investigam se a "quantidade" do ambiente de ruído se manifesta nos resultados operacionais de um algoritmo quântico, procurando especificamente por assinaturas que distingam o ruído quântico dos modelos de ruído clássicos.

Metodologia
O estudo utiliza o algoritmo de Deutsch, uma versão simplificada de dois qubits do algoritmo de Deutsch-Jozsa, como campo de testes. O algoritmo determina se uma função $f(x)$ é constante ou balanceada. Os autores comparam duas abordagens de modelagem distintas para o desfasamento puro:

1. Modelo de Ambiente Quântico: Esta abordagem rastreia a matriz de densidade completa dos qubits e seus respectivos ambientes. Utiliza uma solução formal para o operador de evolução sistema-ambiente onde a interação é diagonal na base de ponteiro. Este método contabiliza explicitamente o acúmulo de correlações e a evolução condicional do ambiente baseada no estado do qubit.
2. Modelo de Decoerência Clássica: Esta abordagem modela o mesmo processo de desfasamento usando operadores de Kraus (canais de amortecimento de fase). Este método descreve a matriz de densidade reduzida dos qubits, assumindo que as correlações sistema-ambiente não impactam significativamente operações subsequentes (ou seja, o ambiente não possui memória).

Os autores analisam o algoritmo sob duas condições:

• Execução Única: O algoritmo é executado uma vez.
• Execução Dupla: O algoritmo é executado duas vezes consecutivamente. A segunda execução começa com uma operação condicional no primeiro qubit baseada no resultado da medição da primeira execução. Esta configuração é projetada para testar se a história da interação sistema-ambiente (efeitos de memória) altera as probabilidades de resultado.

O estudo é validado através de duas plataformas:

• Processador Quântico IBM: Experimentos foram conduzidos no processador ibm_marrakesh (Heron r2) usando qubits transmon supercondutores. Os níveis de decoerência foram variados alterando a distância física (número de qubits intermediários) entre os qubits operacionais.
• Qubits de Spin em Centros NV: Simulações teóricas foram realizadas para centros de Vacância de Nitrogênio (NV) em diamante interagindo com um ambiente esparsa de spins nucleares ($^{13}$C). Este sistema foi escolhido para explorar a decoerência não exponencial e efeitos de poucos corpos, onde o ambiente é pequeno e as correlações são significativas.

Principais Contribuições e Resultados

• Discrepância entre Execução Única e Dupla: Os autores encontram que, para uma execução única do algoritmo, tanto os modelos quântico quanto clássico produzem resultados idênticos. A natureza do ruído (quântico vs. clássico) não pode ser distinguida observando a simples decoerência em uma única execução. No entanto, executar o algoritmo duas vezes revela diferenças marcantes entre os dois modelos.
• Funções Balanceadas: Para funções balanceadas (onde a porta de dois qubits é emaranhante), o efeito primário do ruído quântico em uma execução dupla é um desaceleração da decoerência em comparação com a previsão clássica. As probabilidades de resultados de medição decaem mais lentamente, mas o comportamento qualitativo permanece similar.
• Funções Constantes: Para funções constantes (onde as operações são locais), o modelo de ruído quântico produz uma mudança qualitativa no comportamento.
  • No modelo clássico, o desfasamento completo ($c=0$) leva a todas as probabilidades condicionais convergirem para $1/2$ (resultados aleatórios).
  • No modelo quântico, o desfasamento completo leva a uma divisão distinta: a probabilidade de obter o mesmo resultado na segunda medição que na primeira aumenta para $3/4$, enquanto a probabilidade de um resultado diferente cai para $1/4$. Isso é atribuído a efeitos semelhantes a interferência entre os dois processos de decoerência mediados pelo ambiente.
• Verificação Experimental (IBM Quantum): Os resultados obtidos no processador quântico da IBM espelham as previsões teóricas. Os dados mostram a mudança qualitativa característica para funções constantes, sugerindo que o ruído no processador supercondutor é predominantemente desfasamento puro e, crucialmente, possui características quânticas (o ambiente retém informações sobre o estado do qubit por mais tempo que o tempo de operação da porta). A aproximação $d^2 \approx c^2$ (decaimento exponencial) manteve-se bem para este sistema.
• Simulações de Centros NV: Resultados teóricos para centros NV interagindo com um ambiente nuclear esparsa mostraram que, quando a decoerência é não exponencial (ou seja, $d^2 \neq c^2$), as curvas diferem significativamente dos modelos exponenciais simplificados. Essas diferenças são mais pronunciadas para funções constantes e dependem fortemente da polarização inicial do ambiente nuclear.

Significado
O artigo demonstra que a "quantidade" do ruído ambiental não é meramente uma nuance teórica, mas tem consequências observáveis na operação de algoritmos quânticos, desde que o algoritmo seja executado múltiplas vezes. Os autores afirmam que, para funções constantes, a mudança qualitativa nas probabilidades de medição permite testemunhar as assinaturas do ruído quântico sem a necessidade de dados comparativos de uma base clássica. Isso implica que o ambiente retém uma "memória" do estado do qubit, e os qubits influenciam o ambiente de uma maneira que afeta etapas algorítmicas subsequentes.

As descobertas sugerem que estratégias padrão de mitigação de ruído baseadas em modelos de canais clássicos podem ser insuficientes para algoritmos envolvendo operações repetidas ou feedback. Além disso, a capacidade de distinguir assinaturas de ruído quântico usando algoritmos simples como o de Deutsch poderia servir como uma ferramenta de diagnóstico para caracterizar as propriedades de ruído de processadores quânticos, particularmente no que diz respeito às escalas de tempo de retenção de informações sistema-ambiente. O estudo destaca que, enquanto funções balanceadas mostram um desaceleração quantitativa da decoerência, funções constantes oferecem uma assinatura qualitativa mais distinta da natureza quântica do ruído.