Beyond Orbital Rotations: Correlation-Rank Limits and Clifford-Accessible Measurement, from Algebra and Global Optimization

Resumo Técnico: Além das Rotações Orbitais: Limites de Posto de Correlação e Medição Acessível por Clifford

Enunciado do Problema
Em algoritmos de química quântica, a estimativa de observáveis moleculares (energias, dipolos, acoplamentos) requer a preparação e medição repetidas de estados. O custo é determinado pela forma como os termos de Pauli são agrupados em configurações mensuráveis conjuntamente e pelos recursos não-Clifford (especificamente, portas $T$) necessários para rotacionar essas configurações para uma base de medição. O paradigma dominante utiliza rotações orbitais que preservam o número de partículas (unitárias gaussianas fermiônicas), que são motivadas quimicamente, mas impõem um ansatz restrito aos fragmentos de observáveis. A questão central abordada é se restringir o design de medição a rotações orbitais captura todas as estratégias eficientes de tolerância a falhas, ou se existe uma camada de medição distinta e mais eficiente, acessível por Clifford, que as rotações orbitais não conseguem alcançar.

Metodologia
O artigo emprega uma abordagem dual combinando provas algébricas rigorosas com otimização global:

1. Análise Algébrica: Os autores utilizam a representação simplética de operadores de Pauli e as propriedades do grupo de Clifford para estabelecer limites estruturais. Eles definem "posto-X" (o posto da matriz de suporte-X na representação de vetor simplético) e "posto de correlação" (o posto da matriz de correlação de dois corpos em um setor fixo de número de partículas).
2. Otimização Global: O artigo utiliza o otimizador global RANGE (um algoritmo robusto de natureza adaptativa inspirada na natureza) em dois modos:
   • Modo Contínuo: Busca sobre ângulos de rotação físicos para corroborar numericamente as curvas de trade-off algébrico derivadas da decomposição de valores singulares (SVD).
   • Modo Discreto: Aborda o problema combinatório de localizar subconjuntos de Hamiltonianos moleculares de alto posto-X onde não existe uma solução de forma fechada.
3. Estrutura de Custo Certificado: Para traduzir as descobertas estruturais em custos de amostragem, os autores aplicam uma estrutura de certificado companheira. Esta avalia o "funcional certificado" (um programa de otimização de cone de segunda ordem) para determinar a alocação ideal de disparos (shots) e o custo total de não-Clifford para diferentes dicionários de medição (Produto/QWC vs. Totalmente Comutante/FC).

Principais Contribuições

1. Diagonalização Simultânea de Clifford (Teorema 1): O artigo prova que toda família mutuamente comutante de operadores de Pauli é simultaneamente diagonalizável por um circuito de Clifford. Consequentemente, o circuito de mudança de base para qualquer família comutante requer exatamente zero portas $T$.
2. Teto de Paridade de Posto-X (Teorema 2): Para Hamiltonianos de Jordan–Wichart que conservam o spin, os autores provam um teto de paridade estrito no posto-X de qualquer subconjunto de Pauli: $r_X \le 2(N-1)$, onde $N$ é o número de orbitais espaciais. Isto é um diagnóstico da estrutura de Pauli disponível, não uma prova de inacessibilidade Gaussiana.
3. Separação Estrita de Posto de Correlação (Teoremas 3 & 4): No setor fixo de $(1,1)$-partícula (dois orbitais espaciais por spin), os autores provam que um único contexto de rotação orbital que preserva o número de partículas contribui com, no máximo, um bloco de correlação de dois corpos de posto um.
   • Resultado: Um observável Bell-diagonal (ou do tipo Heisenberg) possui um posto de correlação de 3. Ele requer pelo menos três contextos de rotação orbital para ser medido, mas apenas um contexto de Clifford.
   • Significância: Esta é a primeira obstrução de complexidade de contexto exata que separa a medição por rotação orbital que preserva o número de partículas da medição comutante acessível por Clifford em um setor fermiônico fixo.
4. Trade-off de Aproximação Exata (Teorema 5): O artigo deriva a curva exata de erro de aproximação para representar um observável com $K$ contextos de rotação orbital. O erro residual corresponde exatamente à cauda dos valores singulares da matriz de correlação (teorema de Eckart–Young), um resultado corroborado independentemente pela busca contínua por RANGE.
5. Inserções de Pauli Controladas: Os autores demonstram que as inserções de Pauli controladas usadas em testes de Hadamard para elementos de matriz fora da diagonal são, elas próprias, operações de Clifford, adicionando nenhum custo de porta $T específico de medição.

Resultos

• Evidência Estrutural: A busca global identificou famílias comutantes de alto posto-X em moléculas pequenas (até 18 qubits) e Hamiltonianos de elementos $f$ de escala de produção (até 36 qubits).
  • Para $CH_4$ (STO-3G), a busca encontrou um subconjunto comutante que satura o teto teórico ($r_X = 16 = 2(9-1)$).
  • Para operadores de produção ($CeO$, $NdO$, $UO_2^+$, $UO_2^{2+}$), as melhores famílias encontradas quase saturaram o teto, com $NdO$ alcançando a saturação exata ($r_X = 30$).
  • Uma "lei de decomposição de setor" empírica foi observada: as melhores famílias encontradas saturam ambas as projeções de setor de spin ($r_X^\alpha = r_X^\beta = N-1$), sendo que os déficits surgem apenas de dependências entre setores.
• Redução de Custo: A aplicação da estrutura de custo certificado a quatro Hamiltonianos de elementos $f$ de produção (29–35 qubits) e a um caso de calibração ($CH_4$) revelou que admitir configurações totalmente comutantes (acessíveis por Clifford) no dicionário de medição reduz o custo líder de disparos certificado em 31% a 70% em comparação com as configurações padrão de produto (QWC).
• Desempenho Algorítmico: O estudo destacou que heurísticas padrão de cobertura de cliques gananciosas (greedy clique-cover) frequentemente apresentam desempenho inferior. Algoritmos avançados de coloração de grafos (DSATUR, TabuCol) reduziram significavelmente o número de circuitos de medição (por exemplo, reduzindo o número de grupos para $NH_3$ em mais da metade), confirmando que o gargalo é algorítmico e não conceitual.

Significância e Alegações
O artigo alega uma "separação estrita" entre as capacidades dos contextos de rotação orbital e dos contextos de Clifford. Embora as rotações orbitais sejam quimicamente naturais, elas são comprovadamente insuficientes para certos observáveis correlacionados (como a troca de Heisenberg) que um único contexto de Clifford pode medir.

Os autores enfatizam uma conclusão matizada:

• A medição não é "gratuita": Embora os circuitos de mudança de base para famílias comutantes sejam de Clifford (zero portas $T$), os custos de amostragem, roteamento, ruído e preparação de estado permanecem.
• Vantagem Híbrida: As classes de contexto de rotação orbital e de Clifford são incomparáveis ao nível de contexto individual (nenhuma contém a outra). No entanto, a união delas é garantida para melhorar ou igualar o desempenho de qualquer uma das classes isoladamente.
• Economia Certificada: A redução de 31–70% no orçamento de disparos é uma afirmação certificada sobre o alargamento do dicionário de Produto (QWC) para Produto + Totalmente Comutante (QWC+FC). Não se pretende comparar o preço de um dicionário Gaussiano de escala de produção completa contra um de Clifford, mas sim demonstrar o valor de incluir estruturas acessíveis por Clifford onde elas estão disponíveis.

Este trabalho estabelece que as obstruções algébricas (posto de correlação) e a otimização global (localização de conjuntos comutantes de alto posto) são ferramentas complementares para identificar estruturas de medição que transcendem as limitações das tradicionais rotações orbitais.