Fast magic state preparation by gauging higher-form transversal gates in parallel

Resumo Técnico: Preparação Rápida de Estados Mágicos por Meio de Medição de Portas Transversais de Forma Superior em Paralelo

Enunciado do Problema
A computação quântica tolerante a falhas (FTQC) universal requer a preparação de "estados mágicos" para suplementar operações de Clifford, permitindo portas não-Clifford via teleportação de porta ou computação baseada em Pauli (PBC). Avanços recentes em códigos de paridade de baixa densidade quânticos (qLDPC) reduziram o overhead para operações lógicas, mas a preparação de estados mágicos permanece um gargalo. Métodos existentes dependem tipicamente de portas não-Clifford transversais (ex: CCZ ou T) ou destilação de estados mágicos, que podem ser intensivos em recursos ou limitados em paralelismo. Além disso, medições de calibração (gauging) padrão para preparar estados lógicos frequentemente exigem overdheads de tempo proporcionais à distância do código ($O(d)$), limitando a velocidade da preparação de estados. O artigo aborda a necessidade de um protocolo de preparação de estados mágicos lógicos que seja rápido, paralelo e tolerante a falhas, com overhead de tempo constante e overhead de qubits linear, visando especificamente códigos qLDPC.

Metodologia
Os autores introduzem um procedimento baseado em medições de calibração de forma superior aplicadas a códigos qLDPC que suportam portas transversais de forma superior.

1. Portas Transversais de Forma Superior: O artigo generaliza o conceito de portas transversais e simetrias de forma superior (tipicamente associadas a códigos topológicos) para códigos qLDPC. Uma porta transversal de $h$-forma é definida como uma representação do grupo de $h$-coclíclicos ($\ker \delta_{h+1}$) em um complexo de cadeias, onde a porta atua como um produto de unitárias locais (on-site). O foco está em portas Clifford de 1-forma (ex: 1-form CZ ou XS), que podem ser medidas para produzir estados mágicos.
2. Protocolo de Medição de Calibração (Gauging): O procedimento central (Algoritmo 1) envolve três etapas:
   • Inicialização de Ancila: Um qubit de ancila é inicializado no estado $|0\rangle$ para cada hiperaresta no complexo de cadeias ($C_{h+1}$).
   • Medição de Lei de Gauss Generalizada: Para cada vértice no complexo de cadeias ($C_h$), um operador de lei de Gauss generalizada $A_v$ é medido. Este operador acopla a ação de simetria local $U_v$ com operadores Pauli-X nas adjacentes hiperarestas de ancila.
   • Leitura e Subproduto: Os qubits das hiperarestas de ancila são medidos na base $Z$. Com base nesses resultados, um operador de subproduto unitário (correspondente a uma simetria parcial) é aplicado aos qubits de dados.
3. Paralelismo: Ao contrário da calibração padrão, que mede operadores lógicos individuais sequencialmente ou requer $O(d)$ rodadas, este procedimento mede todos os representantes do grupo de cohomologia $H_h(C_\bullet)$ simultaneamente em um número constante de passos de tempo.

Principais Contribuições

• Definição de Portas Transversais de Forma Superior: O artigo define formalmente portas transversais de $h$-forma para códigos qLDPC, estendendo o conceito de simetria de forma superior de configurações topológicas. Estabelece as condições sob as quais essas portas são "limpáveis" (cleanable) e livres de anomalias.
• Medição de Calibração Rápida: Os autores apresentam um protocolo de medição que alcança a medição tolerante a falhas de portas Clifford lógicas de forma superior em tempo constante ($O(1)$) com overhead linear de qubits. Isso contrasta com as medições de calibração padrão, que tipicamente requerem $O(d)$ rodadas para garantir a tolerância a falhas contra erros de medição.
• Preparação de Estado Mágico: Ao medir portas Clifford de 1-forma (como 1-form CZ ou XS) em códigos qLDPC adequados, o procedimento prepara estados mágicos lógicos em paralelo. Para códigos CSS, a existência de uma porta não-Clifford transversal de 0-forma (como CCZ ou T) é mostrada como uma condição suficiente (embora não necessária) para a existência de uma porta Clifford transversal de 1-forma.
• Análise de Tolerância a Falhas: O artigo prova que o procedimento é tolerante a falhas. A distância do código do protocolo é limitada por $\phi_h(C_\bullet)d/2$ (onde $\phi_h$ é a constante de Cheeger de $h$-ordem e $d$ é a distância original do código), e a distância de falha de medição é limitada pela distância do $h$-ésimo grupo de homologia. A tolerância a falhas baseia-se em "detectores" formados por simetrias locais ($\text{Im } \delta_h$) em vez de rodadas repetidas de extração de síndrome.

Resultados e Exemplos
O artigo valida a abordagem através de dois exemplos primários:

1. Código de Cores 3D: Os autores demonstram que o Código de Cores 3D, que suporta uma porta T de 0-forma transversal, naturalmente suporta uma porta Clifford transversal de 1-forma. Aplicar a medição de calibração a este código produz estados mágicos. Neste caso específico, o código deformado é equivalente a um estado produto (até uma unitária local), e a distância de falha de medição corresponde à distância Z do código original.
2. Teoria de Gauge de Grupo Superior Torcida (HGGT): Os autores constroem um código qLDPC baseado em uma teoria de gauge de grupo superior torcida $Z_2 \times Z_2 \times Z_2^{(1)}$. Este código suporta uma porta CZ transversal de 1-forma sem exigir uma porta CCZ de 0-forma transversal. O procedimento mede com sucesso operadores Clifford lógicos neste código, produzindo estados mágicos de hipergrafo. A ação lógica da porta depende da homologia da variedade (ex: um toro 3D), criando estados emaranhados entre qubits lógicos.

Significância e Alegações
O artigo afirma que este trabalho fornece um caminho para a preparação rápida e paralela de estados mágicos lógicos com overhead de tempo constante e overhead de espaço linear, o que é crucial para a computação quântica tolerante a falhas escalável.

• Eficiência: O procedimento preserva a propriedade de taxa constante dos códigos qLDPC subjacentes, resultando em um overhead de tempo-espaço multiplicativo constante comparado à preparação de estado não codificada.
• Novo Paradigma de Design: O trabalho desloca o foco do design de códigos do requisito restritivo de portas não-Clifford transversais. Em vez disso, motiva a busca por códigos qLDPC que suportem portas Clifford de forma superior (especificamente de 1-forma), que são suficientes para a preparação de estados mágicos via este método de calibração.
• Potencial de Passo Único (Single-Shot): Quando combinado com a preparação de estado Pauli lógica de passo único e tolerante a falhas, o procedimento oferece um protocolo de preparação de estado mágico lógico de "passo único".
• Vantagem de Decodificação: Os autores observam que o problema de decodificação para este procedimento possui uma "estrutura de passo único", potencialmente simplificando o decodificador em comparação com as medições de calibração padrão que requerem manter um espaço de código não-abeliano por $O(d)$ passos de tempo.

O artigo conclui identificando a descoberta de códigos qLDPC eficientes com preparação de estado Pauli de passo único e portas Clifford de 1-forma como um desafio primário para pesquisas futuras para realizar plenamente o potencial deste método.