Universal initial state preparation for first quantized quantum simulations

Título: Preparação Universal de Estados Iniciais para Simulações Quânticas de Primeira Quantização

Definição do Problema
A preparação de estados iniciais adaptados à simetria é um gargalo principal nas simulações quânticas de primeira quantização. Enquanto os formalismos de segunda quantização codificam naturalmente as simetrias de troca (bósons ou férmions) nos operadores de criação e aniquilação, permitindo a preparação eficiente de estados de número de ocupação, as abordagens de primeira quantização enfrentam obstáculos significativos. Na perspectiva de primeira quantização, as simetrias de troca de partículas devem ser explicitamente impostas na função de onda de muitos corpos, complicando a preparação do estado. As rotinas de primeira quantização existentes são frequentemente vinculadas a bases específicas (por exemplo, ondas planas ou grades de espaço real) e exigem redesenhos tediosos de circuitos para acomodar a antissimetrização ou simetrização. Além disso, essas abordagens geralmente não suportam "estatísticas exóticas", como as parastatísticas de Green (parabósons e paraférmions), que são relevantes em teoria quântica de campos e física da matéria condensada. Consequentemente, a preparação de estados iniciais de primeira quantização tem ficado atrás de sua contraparte de segunda quantização, impedindo simulações em estrutura eletrônica e física de partículas fundamentais.

Metodologia
Os autores apresentam um protocolo universal que mapeia eficientemente qualquer superposição de tamanho polinomial de configurações de número de ocupação para a representação de primeira quantização em um computador quântico digital. O núcleo do método baseia-se na homomorfia da álgebra de Lie de Jordan–Schwinger (JS).

1. Correspondência da Álgebra de Lie: O mapa JS estabelece uma correspondência entre operadores de segunda quantização conservadores de número e seus equivalentes de primeira quantização. Isso identifica os geradores da álgebra $gl(d, \mathbb{C})$ em ambos os formalismos, criando uma bijeção equivariante entre estados de ocupação de Fock e estados de peso $su(d)$ dentro da decomposição de Schur–Weyl do espaço de Hilbert de primeira quantização.
2. Decomposição de Schur–Weyl: O espaço de Hilbert de primeira quantização $(\mathbb{C}^d)^{\otimes N}$ decompõe-se em representações irredutíveis (irreps) do grupo unitário $U(d)$ e do grupo simétrico $S_N$. As estatísticas das partículas (férmions, bósons ou parapartículas) correspondem a restrições específicas nos diagramas de Young (partições $\lambda$) permitidas nesta decomposição.
3. Mapeamento e Preparação:
   • Dada uma superposição alvo de $L$ configurações de número de ocupação, o algoritmo mapeia cada configuração para uma superposição correspondente de estados de base de Schur $|\lambda, \mu, \sigma\rangle$. Aqui, $\lambda$ codifica as estatísticas, $\mu$ é o padrão de Gelfand–Tsetlin (GT) (estado de peso), e $\sigma$ indexa a multiplicidade do grupo simétrico.
   • O algoritmo prepara deterministicamente uma superposição de rótulos de Schur codificados usando uma rotina de "escrita-apagamento" (Det-Prep). Isso envolve carregar amplitudes via Memória Quântica de Leitura Somente (QROAM), escrever as bitstrings de rótulos computadas classicamente e apagar deterministicamente o registro de índice para retornar os ancilas ao estado $|0\rangle$. Este passo é bem-sucedido com probabilidade unitária.
   • Finalmente, uma transformada de Schur quântica inversa ($U^{-1}_{\text{Schur}}$) é aplicada para converter os rótulos de Schur codificados no estado de primeira quantização alvo na base computacional.

Principais Contribuições

• Universalidade: O protocolo aplica-se a férmions, bósons e parapartículas de Green de ordem arbitrária em qualquer base de partícula única, removendo a necessidade de redesenhos de circuitos específicos de base.
• Preparação Determinística: Ao contrário dos métodos probabilísticos, a preparação do estado é bem-sucedida com probabilidade um, utilizando uma rotina de escrita-apagamento livre de lixo (garbage-free).
• Variantes Algorítmicas: Os autores implementam duas variantes da transformada de Schur quântica inversa, oferecendo um compromisso entre tempo e espaço:
  • Variante de Bacon–Chuang–Harrow (BCH): Utiliza uma cascata de transformadas de Clebsch–Gordan. Possui uma complexidade de tempo de $\text{poly}(L, N, d, \log \epsilon^{-1})$ e uma pegada de qubits que escala moderadamente com $N$, mas depende de $d$.
  • Variante Corrigida de Krovi–Burchardt (KB): Utiliza uma transformada de Schur de alta dimensão com uma isometria de pré-processamento e QFT de grupo simétrico. Alcança uma complexidade de tempo de $\text{poly}(L, N, \log d, \log \epsilon^{-1})$, sendo altamente eficiente para dimensões de partícula única grandes ($d \gg N$), embora exija uma pegada de qubits maior, escalando como $O(N^2 \log N)$.

Resultados e Estimativas de Recursos
O artigo fornece estimativas detalhadas de recursos para ambas as variantes:

• Complexidade de Portas: A variante KB reduz a contagem de portas não-Clifford (equivalentes a Toffoli) em duas a quatro ordens de magnitude em comparação com a variante BCH, devido à sua independência de $d$ (escalando como $\tilde{O}(N^4)$ vs. $\tilde{O}(Nd^4)$).
• Pegada de Qubits: A variante BCH requer menos qubits (próximo a $10^3$ para parâmetros típicos), enquanto a variante KB requer mais (excedendo $10^4$ para $N=45$) devido ao armazenamento de padrões GT comprimidos.
• Praticidade: Os custos totais equivalentes a Toffoli para ambas as variantes estão dentro de uma ordem de magnitude de, e frequentemente abaixo de, os orçamentos relatados para a preparação de estado fundamental completa baseada em Estimativa de Fase Quântica (QPE) em primeira quantização. Isso estabelece a praticidade do método dentro de pipelines de simulação líderes.
• Escalabilidade: A etapa de preparação escala linearmente com o número de configurações $L$, o que é ótimo, já que o circuito deve acessar todos os coeficientes clássicos.

Significância
Os autores afirmam que este trabalho fecha a lacuna entre as técnicas de preparação de estado inicial de primeira e segunda quantização. Ao fornecer um protocolo universal e tolerante a falhas que lida com estatísticas e bases arbitrárias sem redesenho de circuito, o método remove um gargalo de longa data. Isso permite a aplicação prática de simulações de primeira quantização, que oferecem economias substanciais de qubits e de portas quando o número de partículas $N$ é muito menor que o número de funções de base $d$. O framework também abre caminhos para avanços futuros, tais como transformadas de quantização coerente universais, diagonalização de blocos de Hamiltonianos e algoritmos que exploram o teorema de Wigner–Eckart para reduzir orçamentos de medição.