Interaction-resolved decomposition of multi-qubit unitaries via computational-basis phases

Resumo Técnico: Decomposição de Unitários Multi-Qubit Resolvida por Interação via Fases na Base Computacional

Definição do Problema
Na de controle quântico de múltiplos qubits, operações unitárias alvo são tradicionalmente especificadas por descrições de unitários completos e avaliadas usando medidas de comparação globais (ex: fidelidade de processo). Os autores argumentam que essas abordagens convencionais falham em resolver explicitamente a estrutura de interação de muitos corpos de uma operação realizada ou seu desvio de um alvo. Em sistemas de múltiplos qubits, onde as operações compreendem combinações de termos de interação através de vários subconjuntos de qubits, essa limitação dificulta a avaliação direta e o direcionamento de termos de muitos corpos específicos. Isso é particularmente relevante para correção de erros quânticos baseada em estabilizadores e configurações relacionadas, onde operadores de paridade de múltiplos qubits desempenham um papel central, mas são tipicamente realizados através de decomposições em portas de ordem inferior em vez de síntese direta.

Metodologia
O artigo introduz uma decomposição resolvida por interação de unitários de $n$-qubits que fornece acesso explícito à sua estrutura de interação de muitos corpos. A metodologia central baseia-se no trabalho dentro de um referencial de diagonalização onde o unitário é totalmente caracterizado pelas fases adquiridas pelos estados da base computacional.

1. Referenciais de Diagonalização: Para uma ampla classe de operações operacionalmente relevantes (incluindo portas geradas por strings de Pauli únicas ou conjuntos comutativos de strings de Pauli, como operações de estabilizador, portas de fase controlada e interações de Ising), existe uma transformação local $U_P$ que diagonaliza simultaneamente os componentes do gerador. Neste referencial, o unitário $U_{\text{diag}}$ atua nos estados da base como $U_{\text{diag}} |\vec{x}\rangle = e^{-i\phi(\vec{x})} |\vec{x}\rangle$.
2. Invariantes de Fase Seletivos de Suporte: Os autores derivam um método para recuperar a força de termos de interação de $k$-corpos específicos ($\theta_S$) a partir das fases da base computacional $\phi(\vec{x})$. Ao construir somas ponderadas por paridade dessas fases, eles definem quantidades denominadas invariantes de fase seletivos de suporte, denotados por $\phi(S)$:
   $$\phi(S) = 2^{-n} \sum_{\vec{x} \in \{0,1\}^n} (-1)^{\sum_{i \in S} x_i} \phi(\vec{x})$$
   Estes invariantes resolvem de forma exata e única a força de interação suportada em um subconjunto específico $S$ de qubits, enquanto cancelam contribuições de subconjuntos complementares. Matematicamente, isso corresponde à transformada de Walsh-Hadamard das fases da base computacional.
3. Classes de Equivalência: O framework induz classes de equivalência generalizadas onde dois unitários são considerados equivalentes se compartilharem coordenadas de interação específicas (invariantes de fase) para um conjunto escolhido de suportes, permanecendo livres para diferir em outros. Isso recupera a "equivalência local" como um caso especial (onde todas as coordenadas de interação não locais são fixadas).
4. Formulação de Controle Ótimo: Os autores formulam objetivos de controle quântico ótimo diretamente em termos desses invariantes. Em vez de minimizar o desvio de um unitário alvo completo, a função de custo $J$ minimiza o desvio de invariantes de fase selecionados $\phi(S)$ de valores alvo $\phi^*_S$:
   $$J = \sum_{S \in S_{\text{target}}} w_S \left[ 1 - \cos\left(2(\phi(S) - \phi^*_S)\right) \right]$$
   Isso permite a "otimização seletiva de interação", onde termos de muitos corpos específicos são sintetizados enquanto graus de liberdade locais ou irrelevantes são deixados sem restrições.

Resultados Principais
A metodologia foi demonstrada através de simulações numéricas em um modelo realista de registro de spin de estado sólido baseado em um centro de vacância de nitrogênio (NV) em diamante acoplado a dois spins nucleares $^{13}\text{C}$ próximos. Os campos de controle foram otimizados para sintetizar portas de emaranhamento de três qubits específicos dentro de um único pulso de micro-ondas moldado.

• Caso Diagonal (ZZZ): Os autores sintetizaram um emaranhador de três qubits diagonal $e^{i\frac{\pi}{4} Z \otimes Z \otimes Z}$. Ao otimizar os invariantes de fase para visar a interação tripartida enquanto suprimiam termos de pares, alcançaram uma fidelidade final de $F_{ZZZ} = 0,9978$ com uma duração de pulso de 1,5 $\mu$s.
• Caso Não-Diagonal (XZZ): O framework foi estendido para um alvo não-diagonal $e^{i\frac{\pi}{4} X \otimes Z \otimes Z}$. Isso foi alcançado realizando a otimização em um referencial de diagonalização sanduichado por Hadamard, onde o alvo torna-se diagonal. Após a otimização, as transformações de diagonalização foram removidas. O pulso resultante alcançou uma fidelidade de $F_{XZZ} = 0,9985$ com uma duração de 1,25 $\mu$s.

Em ambos os casos, a evolução temporal dos invariantes de fase confirmou que o pulso de controle construiu com sucesso a interação de três corpos desejada enquanto suprimia contribuições de dois corpos. Fases locais residuais foram corrigidas via correções Z virtuais (ou portas de qubit único adicionais no caso não-diagonal).

Significância e Alegações
O artigo alega que esta decomposição resolvida por interação fornece um sistema de coordenadas que organiza as operações unitárias de acordo com sua estrutura de interação multipartite. Isso permite:

• Acesso Direto: Acesso explícito ao conteúdo de interação local, de pares, tripartido e de interação de $k$-partes geral subjacente às operações de emaranhamento sem a necessidade de tomografia de processo completa.
• Síntese Seletiva: A capacidade de formular objetivos de controle que sintetizam combinações prescritas de interações de muitos corpos enquanto suprimem termos indesejados, permitindo efetivamente a síntese direta de interações tripartidas isoladas.
• Eficiência: A demonstração de que interações de múltiplos qubits de peso superior não triviais podem ser sintetizadas por um único pulso moldado, sugerindo um caminho para profundidade de circuito reduzida e potencialmente menor acúmulo de erros de controle em comparação com a decomposição dessas operações em sequências de portas de dois qubits.

Os autores concluem que esta abordagem é particularmente relevante para correção de erros quânticos baseada em estabilizadores e que os mapas de fase subjacentes podem ser reconstruídos experimentalmente via interferometria Ramsey condicional, permitindo caracterização e otimização resolvida por interação em malha fechada.