Shallow Unitary Circuits for Kramers-Wannier Dualities

Resumo Técnico: Circuitos Unitários Rasos para Dualidades de Kramers-Wannier

Enunciado do Problema
A dualidade de Kramers-Wannier (KW) é uma transformação fundamental na física de muitos corpos quânticos que mapeia estados de emaranhamento de curto alcance (SRE), como estados paramagnéticos fundamentais, para estados de emaranhamento de longo alcance (LRE), como estados de Greenberger-Horne-Zeilinger (GHZ) ou estados com ordem topológica. A realização física desta dualidade como um circuito quântico é desejável para preparar estados LRE e simular excitações exóticas. No entanto, a complexidade do circuito para esta transformação é restringida pelos recursos quânticos disponíveis:

• Unitários Locais: Sob o limite de Lieb-Robinson, circuitos unitários espacialmente locais requerem uma profundidade que escala linearmente com o tamanho do sistema ($O(N)$) para gerar estados LRE a partir de estados SRE.
• Abordagens Baseadas em Medição: Trabalhos recentes mostraram que medições no meio do circuito e alimentação (feed-forward) clássica podem alcançar profundidade $O(1)$, mas isso requer operações não unitárias e controle clássico em tempo real.
• A Questão Aberta: Plataformas quânticas modernas (ex: arranjos de átomos de Rydberg, íons aprisionados) suportam interações espacialmente não locais. Permanece uma questão aberta se circuitos unitários puramente não locais podem implementar a dualidade KW de forma eficiente. Resultados de impossibilidade existentes indicam que a profundidade $O(1)$ é impossível mesmo com conectividade todos-para-todos (pois estados GHZ e de código de toric não podem ser preparados em circuitos unitários de profundidade $O(1)$). A profundidade de compilação unitária ótima para a dualidade KW era anteriormente desconhecida.

Metodologia
Os autores constroem explicitamente circuitos unitários rasos e espacialmente não locais que realizam mapas de dualidade KW exatos. A metodologia baseia-se em uma construção recursiva indutiva:

1. Construção 1D ($Z_2$):

   • Os autores definem um circuito de dualidade KW "rotacionado", $\tilde{U}_{1d}$, relacionado à dualidade padrão $U_{1d}$ por uma camada de portas Hadamard.
   • Eles empregam uma estratégia de divisão e conquista. Para uma cadeia de $2M$ sítios, o circuito é construído aplicando portas CNOT para acoplar sítios ímpares e pares, aplicando recursivamente o circuito de dualidade ao sub-reticulado par, e então aplicando portas CNOT para desacoplá-los.
   • O caso base é um único sítio (porta Hadamard).
   • Para tamanhos de sistema gerais $N$ (não potências de 2), o reticulado é dividido em um sub-reticulado potência de 2 e um remanescente, com padrões de CNOT específicos conectando-os para preservar o mapa de dualidade.
   • A profundidade resultante do circuito é $O(\log_2 N)$.

2. Construção 2D ($Z_2$):

   • A dualidade 2D mapeia qubits em vértices para qubits em arestas de um reticulado quadrado.
   • A construção utiliza uma abordagem indutiva semelhante, dobrando o tamanho do reticulado em uma dimensão (ex: de $N_1 \times M$ para $N_1 \times 2M$).
   • A etapa envolve três isometrias/unitários:
     • $V_1$: Portas CNOT acoplando linhas.
     • $U$: Um mapa atuando nas linhas pares (efetivamente uma dualidade 1D nessas linhas).
     • $V_2$ e $V_3$: Portas CNOT e qubits ancila (inicializados em $|0\rangle$) para lidar com as arestas verticais e impor a condição de "fluxo livre" ($\prod Z_e = 1$) necessária para o estado fundamental do código de toric.
   • O caso base é um reticulado $N_1 \times 1$, que reduz à dualidade rotacionada 1D com adição de qubits ancila para as arestas verticais.
   • A profundidade total escala como $O(\log_2 N)$, onde $N$ é o número total de vértices.

3. Generalização para $Z_n$:

   • A construção é estendida para dualidades KW $Z_n$ arbitrárias ($n > 2$).
   • Isso envolve substituir as portas Pauli padrão por operadores $Z_n$ generalizados:
     • As portas CNOT são substituídas por portas controladas-$X^\dagger$ (ou $CX^{-1}$).
     • As portas Hadamard são substituídas pela Transformada de Fourier Quântica ($F$) e sua inversa.
   • A estrutura recursiva permanece idêntica ao caso $Z_2$.

Principais Resultados

• Profundidade Logarítmica: Os autores demonstram que mapas de dualidade KW exatos tanto em 1D quanto em 2D podem ser implementados por circuitos puramente unitários com profundidade $O(\log_2 N)$ usando portas de no máximo dois qubits com conectividade espacial não local.
• Mapas de Dualidade Exatos: Diferente de algoritmos projetados para preparar estados alvo específicos (ex: estados GHZ ou de código de toric ideais), estes circuitos implementam o mapa completo de dualidade.
• Restrição de Setor: Os circuitos realizam a dualidade exatamente quando atuam no setor simétrico (neutro de carga) (estados com autovalor $+1$ sob o operador de simetria global $\prod X_j$). Dentro deste setor, os circuitos mapeiam estados SRE arbitrários não fixos em seus duais LRE correspondentes, preservando comprimentos de correlação finitos e transformando excitações locais em ânions.
• Transformação de Operadores: Os circuitos satisfazem explicitamente as regras de mapeamento de operadores (ex: $(Z_j Z_{j+1}, X_j) \to (X_{j+1}, Z_j Z_{j+1})$ em 1D) até o vestiment (dressing) da simetria global, que desaparece no setor neutro de carga.

Significância e Alegações
O artigo afirma estabelecer um caminho coerente e eficiente para explorar transições de fase e dualidades topológicas em plataformas quânticas modernas equipadas com conectividade não local.

• Preenchendo a Lacuna: O trabalho preenche a lacuna entre o limite de profundidade linear de circuitos locais e o limite de profundidade constante de circuitos baseados em medição, fornecendo o limite de velocidade ótimo para transformações puramente unitárias.
• Relevância de Hardware: Os resultados são motivados pelo fato de que executar portas unitárias não locais em plataformas como arranjos de átomos de Rydberg é frequentemente menos intensivo em recursos do que realizar medições rápidas e não destrutivas no meio do circuito.
• Generalidade: O protocolo não é restrito a estados analíticos específicos, mas aplica-se a quaisquer estados dentro do setor simétrico, tornando-o uma ferramenta versátil para simular matéria topológica e transformações de dualidade.
• Perspectiva Futura: Os autores sugerem que os resultados se generalizam para dimensões superiores e observam que estender estes circuitos não locais para simetrias discretas não abelianas arbitrárias permanece um desafio futuro, já que mesmo circuitos adaptativos carecem de protocolos de profundidade sublinear para tais casos.