Borrowed Identities: Malleable Distillation Factories and a Unified Numerical Search

Resumo Técnico: Identidades Emprestadas e Busca Numérica Unificada para Destilação de Estados Mágicos

Declaração do Problema
A destilação de estados mágicos (MSD) é um dos principais custos de overhead na computação quântica tolerante a falhas (FTQC), necessária para implementar portas não-Clifford via teleportação de porta. Os métodos existentes para o design de fábricas de destilação baseiam-se na "imagem de Heisenberg", exigindo que uma porta transversal atue corretamente em todo o espaço de código. Essa restrição, frequentemente formalizada como tri-ortogonalidade ou quase-transversalidade, limita a generalidade e a eficiência da busca, transformando o problema de design em equações matriciais não lineares. Além disso, os frameworks atuais tipicamente tratam as fábricas para diferentes estados mágicos (ex: $|T\rangle$, $|CS\rangle$, $|CCZ\rangle$) como problemas distintos, impedindo uma busca unificada através da hierarquia de Clifford.

Metodologia: O Framework de Identidade Emprestada
Os autores introduzem uma condição estritamente mais fraca chamada "identidade emprestada", formulada na imagem de Schrödinger. Em vez de exigir que um circuito atue como a identidade em todo o espaço de código, o framework exige apenas que um circuito $C$ atue como a identidade (a menos de uma fase global) em um estado de entrada específico:
$$C |+\rangle^{\otimes n} = e^{i\phi} |+\rangle^{\otimes n}$$
A "identidade" é efetivamente emprestada do estado de entrada. Uma fábrica de destilação é construída ao tomar tal circuito de identidade emprestada em $n$ qubits e remover todas as portas que atuam exclusivamente em um subconjunto de $k$ qubits de saída. Os $n-k$ qubits restantes são medidos na base $X$ para detecção de erro, enquanto os $k$ qubits de saída são deixados em um estado mágico destilado $|\theta\rangle$.

O framework utiliza portas de fase de paridade $Z^{\otimes w}(\theta)$, onde $\theta = \pi/2^l$, correspondendo ao $l$-ésimo nível da hierarquia de Clifford. Os autores derivam condições algébricas para que esses circuitos funcionem como fábricas, parametrizados por $\theta$, que se mantêm uniformemente em todos os níveis $l$ sem modificação.

A busca é conduzida em três configurações:

1. Circuitos Simétricos: Invariantes sob o grupo simétrico total $S_n$. Isso gera equações mestras de forma fechada (Teorema 3) que recuperam famílias conhecidas como os códigos de Reed–Muller quânticos.
2. Circuitos Simétricos de Dois Grupos: Os qubits são particionados em $k$ qubits de saída e $n-k$ qubits de verificação, com simetria dentro de cada grupo ($S_k \times S_{n-k}$). Isso permite uma busca por força bruta onde a validade das atribuições de sinal pode ser verificada em tempo polinomial $O(k(n-k))$ via uma condição linear sobre $\mathbb{Z}_{2^{l+1}}$ (Teorema 5).
3. Circuitos Maleáveis: Uma construção sequencial onde um único circuito pai de identidade emprestada codifica múltiplas fábricas. Ao remover as portas sequencialmente, o tipo de estado mágico de saída (ex: $|T\rangle$, $|CS\rangle$, $|CCZ\rangle$) pode ser escolhido no momento da compilação, em vez de ser fixado pelo design do hardware.

Principais Contribuições e Resultados

• Espaço de Busca Unificado: O framework unifica a busca por fábricas que destilam diferentes estados mágicos (T não emaranhado, CS emaranhado e CCZ) dentro de uma única busca numérica. Ele recupera fábricas conhecidas de abordagens díspares, incluindo as famílias Bravyi–Haah, H-code, triortogonal generalizada e synthillation.
• Recuperação de Fábricas Conhecidas e Novas: Uma busca por força bruta sobre circuitos assimétricos de dois grupos (em um laptop padrão) recuperou todas as fábricas de distância-2 conhecidas dentro do intervalo varrido ($l \in \{2,3,4\}$, $k \le 7$, $n \le 11$) em aproximadamente 9 segundos. Isso inclui:
  • A família de Reed–Muller quântico $[[2^{l+1}-1, 1, 3]]$ (distância 3).
  • A família de códigos quânticos de hipercubo $[[2^l, l, 2]]$.
  • As fábricas de T-para-CS $[[12, 2, 2]]$ e T-para-CCZ $[[24, 6, 2]]$, que correspondem a construções derivadas de códigos de geometria algébrica (AG).
  • Famílias anteriormente desconectadas, como os circuitos de synthillation de Campbell–Howard, que quebram a simetria de dois grupos.
• Maleabilidade: Os autores demonstram que um único circuito pai pode codificar múltiplos tipos distintos de fábricas. Por exemplo, um circuito pai de quatro qubits pode gerar $[[8, 3, 2]]$ ($|CCZ\rangle$), $[[12, 2, 2]]$ ($|CS\rangle$) e $[[14, 1, 2]]$ ($|T\rangle$) simplesmente removendo diferentes conjuntos de portas. Isso permite que o tipo de saída seja adiado para o tempo de compilação.
• Extensão Além de CSS: O framework estende-se naturalmente para construções não-CSS, incluindo fábricas catalíticas (ex: $[[11, 1, 2]]$ e $[[10, 2, 2]]$) que utilizam portas de Clifford além dos componentes de identidade emprestada.

Significância
O artigo afirma que a condição de identidade emprestada fornece uma alternativa "estritamente mais fraca" e mais geral às restrições de transversalidade de portas, permitindo uma busca unificada, eficiente e exaustiva para fábricas de destilação. Ao mudar da imagem de Heisenberg (rastreando a transversalidade de operadores) para a imagem de Schrödinger (rastreando a evolução de estados), os autores alcançam uma estrutura algébrica linear e uniforme em nível. Essa unificação revela que muitas construções de fábricas anteriormente distintas são pontos finais de um único circuito pai, oferecendo um novo grau de liberdade para a compilação tolerante a falhas: a capacidade de selecionar o recurso de estado mágico específico no tempo de compilação, em vez de codificá-lo rigidamente no design do circuito. O trabalho estabelece uma base algébrica única para a destilação em todos os níveis de Clifford e tipos de saída, preenchendo a lacuna entre construções baseadas em códigos e buscas baseadas em circuitos.