Quantum Nonlinear Properties from a Single Measurement Setting

Resumo Técnico: Propriedades Não Lineares Quânticas a partir de uma Única Configuração de Medição

Enunciação do Problema
Propriedades não lineares de estados quânticos, como momentos de estado $\text{tr}(\rho^t)$, valores esperados de ordem superior $\text{tr}(O\rho^t)$, propriedades de componentes principais e momentos de transposta parcial (PT), são fundamentais para processamento de informação quântica, mitigação de erros e física de muitos corpos. No entanto, avaliar experimentalmente essas quantidades é desafiador. Abordagens convencionais, como testes de troca generalizados, exigem operações coletivas em múltiplas cópias de um estado, o que é experimentalmente exigente. Alternativas recentes de cópia única, incluindo Medições Randomizadas (RM) e Estimativa de Sombra Clássica (CSE), evitam operações de múltiplas cópias, mas tipicamente incorrem em um sobrecarga substancial no número de configurações de medição (unitárias aleatórias). Especificamente, alcançar um erro de estimativa alvo $\epsilon$ frequentemente requer um número de configurações escalando como $\sim 1/\epsilon^2$ ou até exponencialmente com o tamanho do sistema para certas tarefas. Essa troca frequente entre bases de medição é intensiva em recursos e incompatível com as restrições operacionais de muitas plataformas de hardware quântico de curto prazo, que preferem variações mínimas de configuração. Embora a estimativa de configuração única tenha sido alcançada para quantidades de segunda ordem (por exemplo, pureza $\text{tr}(\rho^2)$) sob condições específicas, estender isso para funções não lineares de ordem superior ($t \ge 3$) com uma única configuração permaneceu um desafio aberto.

Metodologia: Estimativa Não Linear Baseada em Colisão (CBNE)
Os autores introduzem um framework universal denominado Estimativa Não Linear Baseada em Colisão (CBNE) para abordar essas limitações. O protocolo opera da seguinte forma:

1. Etapa Experimental: Uma unitária aleatória fixa $U$ é extraída de um ensemble unitário $\mathcal{E}$ (tipicamente um $2(t+1)$-design) e aplicada a cópias preparadas sequencialmente do estado desconhecido $\rho$. O estado resultante é medido na base computacional. Este processo é repetido $N_M$ vezes para a mesma unitária $U$. Crucialmente, o protocolo requer apenas uma única configuração de medição ($N_U=1$) desde que a dimensão do sistema $d$ seja suficientemente grande ou que um pequeno número de qubits auxiliares esteja disponível.
2. Processamento de Dados: Em vez de estimar probabilidades de resultado individuais, o protocolo utiliza estatísticas de colisão. Ele conta o número de colisões $k$-árias (ocorrências onde $k$ resultados de medição independentes são idênticos) entre os $N_M$ resultados.
3. Estimação:
   • Para momentos de estado $p_t = \text{tr}(\rho^t)$, as contagens de colisão são usadas para construir estimadores $\hat{M}^U_k$ cujos valores esperados relacionam-se a polinômios simétricos dos momentos. Ao fazer a média sobre esses estimadores e resolver um sistema de equações polinomiais, pode-se recuperar sequencialmente $p_2, \dots, p_t$.
   • Para observáveis gerais, o framework estima $\text{tr}(O\rho^t)$ definindo um estimador de colisão generalizado $\hat{\Gamma}^U_k(O_0)$ que incorpora a "quase-probabilidade" do observável $O$.
   • O framework estende-se à Estimativa de Componente Principal (PCE) ao estimar a razão $\text{tr}(O\rho^t)/\text{tr}(\rho^t)$, que converge para o valor esperado do autoestado principal à medida que $t$ aumenta.
   • Uma variante, Estimativa de Momento PT (PTME), aplica unitárias aleatórias apenas a um subsistema $A$ e utiliza medições de Bell em pares entre $A$ e $B$ para estimar momentos PT $p^{\text{PT}}_t = \text{tr}((\rho^{\top_B})^t)$, permitindo a detecção de emaranhamento.

Principais Contribuições

• Eficiência de Configuração Única: A contribuição primária é a demonstração de que a estimativa não linear para ordens $t \ge 3$ pode ser alcançada com uma única configuração de medição ($N_U=1$) se a dimensão do sistema satisfizer $d \gtrsim B/\epsilon^2$ (onde $B$ depende do observável) ou adicionando $O(\log \epsilon^{-1})$ qubits auxiliares. Isso contrasta com o requisito convencional de muitas configurações para estimativa de alta ordem.
• Independência do Observável: A etapa experimental da CBNE é independente do observável alvo $O$. Isso permite a estimativa simultânea de múltiplas funções não lineares (por exemplo, diferentes momentos ou diferentes observáveis) a partir do mesmo conjunto de dados, uma característica herdada mas generalizada além da Estimativa de Sombra Clássica.
• Complexidade de Amostra Ótima: Para ordens gerais $t \ge 3$, a CBNE alcança a complexidade de amostra melhor conhecida entre protocolos de cópia única, escalando como $O(\max\{d^{1-1/t}B^{1/t}/\epsilon^{2/t}, B/\epsilon^2\})$. Em regimes de alta precisão, isso iguala a eficiência da estimativa linear.
• Baixa Sobrecarga de Pós-processamento: O pós-processamento clássico envolve contagem simples de colisões e resolução de sistemas polinomiais, evitando as pesadas operações matriciais exigidas pelos estimadores de produto de snapshot padrão da CSE.

Resultados

• Garantias Teóricas: Os autores fornecem teoremas rigorosos (Teoremas 1–3) estabelecendo que a CBNE e a PTME fornecem estimativas com erro aditivo $\epsilon$ com alta probabilidade, dados limites específicos no número de unitárias ($N_U$) e medições por unitária ($N_M$).
• Validação Numérica: Simulações em estados fundamentais do Modelo de Ising com Campo Transverso (TFIM) confirmam a escala teórica.
  • O erro estatístico escala como $N_M^{-t/2}$ no regime de baixa medição e exibe supressão exponencial com o tamanho do sistema $n$ (ou dimensão efetiva via auxiliares) no regime de alta medição, validando a capacidade de configuração única para sistemas grandes.
  • O protocolo estima com sucesso propriedades de componente principal e estados virtualmente resfriados (Resfriamento Quântico Virtual) com uma única configuração.
  • A PTME é demonstrada como capaz de detectar emaranhamento usando momentos PT de ordem superior (via testemunhas $D_k$) mais efetivamente do que critérios de ordem inferior, aproveitando a estimativa simultânea de múltiplos momentos a partir de uma única configuração.
• Designs Aproximados: O framework permanece eficaz ao usar designs unitários aproximados (por exemplo, circuitos de tijolos rasos) em vez de designs exatos, reduzindo significativamente a profundidade de circuito experimental requerida.

Significância
O artigo afirma que a CBNE fornece uma rota prática e escalável para medir propriedades não lineares de estados em dispositivos quânticos de curto prazo. Ao demonstrar que a troca entre múltiplas bases de medição não é fundamentalmente necessária para acessar uma ampla classe de propriedades não lineares, o trabalho desafia a dependência convencional em configurações de medição diversas. A capacidade de estimar momentos de alta ordem, critérios de emaranhamento e componentes principais com uma única configuração e recursos auxiliares mínimos oferece uma redução significativa na sobrecarga experimental, tornando essas tarefas avançadas de caracterização quântica viáveis para o hardware atual. Os autores sugerem que isso abre novas direções para aprendizado quântico e estudos fundamentais, particularmente em cenários onde a troca de medição é um gargalo.