Classically Spoofing System Linear Cross Entropy Score Benchmarking

Resumo Técnico: Avaliação de Benchmarking de Pontuação de Entropia Cruzada Linear de Sistema para Circuito de Profundidade Sublinear

Declaração do Problema
Alegações recentes de "supremacia quântica" têm se baseado amplamente na métrica de Benchmarking de Entropia Cruzada Linear (Linear XEB) para verificar que dispositivos quânticos realizam tarefas (como Amostragem de Circuito Aleatório) que são intratáveis para computadores clássicos. A dificuldade teórica de simular classicamente o Linear XEB repousa na conjectura do Limiar de Entropia Cruzada Quântica (XQUATH). No entanto, trabalhos recentes refutaram o XQUATH para circuitos de profundidade sublinear, minando a robustez do Linear XEB como um benchmark de supremacia.

Em resposta, uma variante de benchmark chamada Pontuação de Entropia Cruzada Linear de Sistema (sXES) foi proposta para experimentos de simulação de Hamiltoniano Quântico usando circuitos de Transformada de Valor Singular Quântica Mínima (mQSVT). Diferente do RCS (Amostragem de Circuito Aleatório) padrão, os circuitos mQSVT possuem uma estrutura distinta envolvendo múltiplas cópias da mesma unitária $U$ e de sua conjugada $U^\dagger$. Essa diferença estrutural levou ao sXQUATH (Assunção de Limiar de Entropia Cruzada Quântica de Sistema), que postula que nenhum algoritmo clássico de tempo polinomial pode aproximar as probabilidades de saída de circuitos mQSVT com um erro quadrático médio significativamente menor do que uma aproximação uniforme trivial. A relação formal entre sXQUATH e XQUATH era anteriormente incerta, deixando aberta a questão de se as técnicas de spoofing existentes poderiam ser adaptadas para refutar o sXQUATH.

Metodologia
Os autores empregam um algoritmo de caminho de Pauli para construir uma aproximação clássica eficiente para a distribuição de probabilidade de saída de circuitos mQSVT. O núcleo de sua abordagem envolve a expansão da matriz de densidade do circuito em termos de matrizes de Pauli normalizadas em cada camada.

Etapas técnicas principais incluem:

1. Expansão de Caminho de Pauli: A probabilidade de saída $p(U, x)$ é expressa como uma soma sobre coeficientes de Fourier correspondentes a caminhos de Pauli $s$. Para um circuito mQSVT com $d$ blocos, um caminho de Pauli é uma sequência de sub-caminhos atravessando $U$ e $U^\dagger$.
2. Superação de Problemas de Ortogonalidade: No RCS padrão, a "propriedade de ortogonalidade" garante que a esperança do produto dos coeficientes de Fourier para caminhos distintos seja zero. Essa propriedade falha em circuitos mQSVT porque a mesma unitária aleatória $U$ aparece múltiplas vezes (especificamente $2d$ vezes em um circuito de $d$ blocos). Consequentemente, a análise requer momentos de ordem superior (especificamente o 4º momento) de unitárias de Haar, em vez de apenas o 2º momento usado em resultados anteriores de spoofing de RCS.
3. Cálculo de Weingarten: Para avaliar as esperanças de produtos de amplitudes de transição envolvendo múltiplas cópias da mesma unitária, os autores utilizam o cálculo de Weingarten. Isso permite expressar os momentos de unitárias de Haar em termos de funções de Weingarten e operadores de permutação.
4. Construção de Caminho Específico: Os autores definem um caminho de Pauli específico e eficientemente computável $r$ que começa com Paulis não-identidade ($Z \otimes Z$) no primeiro qubit e seu parceiro acoplado na primeira camada, seguido por Paulis identidade em camadas subsequentes. Eles constroem uma aproximação clássica $q(U, x) = 2^{-n} + F(U, r, x)$, onde $F(U, r, x)$ é o coeficiente de Fourier para o caminho $r$.

Contribuições Principais e Resultados
O artigo apresenta dois teoremas primários demonstrando a falha do sXQUATH e a capacidade de spoofing do sXES:

1. Refutação do sXQUATH (Teorema 1): Os autores provam que, para circuitos mQSVT de bloco único ($d=1$) com profundidade sublinear ($d_U = o(n)$), o algoritmo clássico construído $q(U, x)$ alcança um erro quadrático médio (MSE) significativamente menor que a aproximação trivial ($2^{-n}$). Especificamente, eles mostram que a quantidade $sXQ$ (a diferença no MSE entre a aproximação trivial e a proposta) escala como $\Omega(2^{-3n})$. Isso refuta diretamente a conjectura sXQUATH para este regime, provando que um algoritmo clássico de tempo polinomial pode aproximar as probabilidades de saída melhor do que a assunção permite.

2. Spoofing do Benchmark sXES (Teorema 2): Os autores demonstram que o mesmo algoritmo pode realizar o spoofing do benchmark sXES para circuitos mQSVT ruidosos. Eles mostram que, para circuitos corrompidos por ruído depolarizante acima de um certo limiar, o algoritmo clássico produz uma pontuação sXES comparável à de um circuito quântico ruidoso. O sXES sofrido (spoofed) é limitado por $2^{-n}(\sum_{x \neq 0^n} \mathbb{E}_U[p(U, x)] + c d_U)$, indicando que o benchmark não consegue distinguir entre o experimento quântico ruidoso e a simulação clássica nesses regimes.

Significância
O artigo afirma que esses resultados estendem os achados seminais de Aharonov et al. (2023) a respeito do spoofing de Linear XEB em RCS. Ao mostrar que o sXES também é suscetível a spoofing clássico eficiente via algoritmos de caminho de Pauli, os autores argumentam que:

• A fundação de complexidade teórica do sXES (sXQUATH) é frágil, particularmente para circuitos de profundidade sublinear.
• As diferenças estruturais entre circuitos mQSVT e o RCS padrão não fornecem proteção suficiente contra técnicas atuais de simulação clássica de estado da arte.
• Futuras alegações de supremacia quântica, sejam baseadas em RCS ou simulação de Hamiltoniano, requerem novas tarefas de benchmarking com garantias de complexidade teórica mais fortes que possam excluir o spoofing por algoritmos de caminho de Pauli e métodos similares.

O trabalho não propõe novos protocolos experimentais ou aplicações futuras, mas serve como um resultado teórico de cautela, destacando a necessidade de métodos de verificação mais robustos na busca pela demonstração de vantagem quântica.