Sub-Riemannian geometry of measurement based quantum computation

Resumo Técnico: Geometria Sub-Riemanniana de Computação Quântica Baseada em Medição

Enunciado do Problema
A computação quântica baseada em medição (MBQC) opera em um paradigma discreto onde a computação é impulsionada por medições projetivas locais, contrastando com a evolução unitária contínua do modelo de circuito. Embora o poder computacional dos estados de recurso em fases protegidas por simetria esteja bem estabelecido, a questão da eficiência — especificamente, como minimizar os recursos operacionais (número de qubits/sítios de medição) para implementar uma unitária lógica alvo — carecia de um arcabouço contínuo rigoroso.

Em fases computacionais da matéria quântica, as operações lógicas são implementadas medindo em uma base rotacionada por um ângulo $\alpha$ longe do eixo que respeita a simetria. Longe dos estados de recurso ideais, essas operações não são perfeitamente unitárias, mas atuam como canais ruidosos. Para alcançar uma rotação unitária de alta fidelidade de um ângulo finito $\alpha$, a estratégia padrão é dividir a rotação em $N$ rotações menores de ângulo $\alpha/N$. Isso reduz a escala do erro de $O(\alpha^2)$ para $O(\alpha^2/N)$ ao custo de consumir $N$ partículas. O problema central abordado é determinar a sequência ótima dessas pequenas rotações para minimizar o consumo de recursos ($N$) para uma determinada unitária alvo, particularmente quando o conjunto de geradores executáveis é restrito pela simetria do sistema.

Metodologia
Os autores preenchem a lacuna entre a MBQC discreta e a geometria diferencial ao modelar a otimização de operações lógicas como um problema de geodésica sub-riemanniana.

1. Modelo de Ruído e Escala de Erro: O artigo utiliza um modelo de ruído para fases computacionais onde o efeito de uma medição local $M_i$ com ângulo $\beta_i$ sobre um estado de recurso com parâmetro de ordem $\sigma$ é um canal quântico $C_i(\beta_i)$. O desvio da unitária ideal $U_i(\alpha_i)$ é quadrático no ângulo de rotação. Especificamente, para ângulos pequenos, o erro local $\epsilon_i$ escala como $\epsilon_i \approx (\frac{1}{\sigma^2} - 1)\alpha_i^2$.
2. Geometria Sub-Riemanniana: O conjunto de geradores executáveis $\mathcal{G}$ (determinado pela simetria da fase) define uma distribuição horizontal no grupo unitário $SU(2^n)$. Uma "curva horizontal" é um caminho gerado apenas por esses geradores permitidos. Os autores definem a distância de Carnot-Carathéodory ($d_{CC}$) como o comprimento de arco sub-riemanniano mínimo necessário para conectar a identidade a uma unitária alvo $U$.
3. Aproximação via Lie-Trotter-Suzuki: Para implementar uma geodésica contínua $C(t)$ usando medições de MBQC discretas, os autores empregam a fórmula de produto Lie-Trotter-Suzuki. Isso discretiza o caminho de controle contínuo em uma sequência de $N$ pequenas rotações. Eles demonstram que o erro de aproximação introduzido por essa discretização é de ordem $O(N^{-2})$, sendo subdominante ao erro de implementação de ordem $O(N^{-1})$.

Contribuições Principais e Resultados
A principal contribuição do artigo é o Teorema 1, que generaliza relações de escala de erro anteriores (limitadas a rotações únicas) para circuitos unitários arbitrários.

• Teorema 1 (Erro Implementado): Para um estado de recurso com um parâmetro de ordem invariante por translação $\sigma$ e geradores executáveis $\mathcal{G}$, o erro $\epsilon$ na implementação de uma unitária alvo $U \in \mathcal{G}$ usando $N$ sítios de medição é limitado por:
  $$\epsilon \leq \frac{1}{N} \left( \frac{1}{\sigma^2} - 1 \right) d_{CC}^2(e, U) + O(N^{-2})$$
  Aqui, $d_{CC}(e, U)$ é a distância sub-riemanniana entre a identidade e a unitária alvo $U$.

• Estratégia de Otimização: O teorema implica que minimizar o consumo de recursos (maximizar $N$ para um erro fixo, ou minimizar o erro para um $N$ fixo) é equivalente a encontrar a geodésica sub-riemanniana (o caminho de comprimento de arco mínimo) entre a identidade e a unitária alvo dentro do manifold de operações executáveis.

• Comparação com Métodos Padrão: Os autores demonstram que métodos de decomposição padrão, como as decomposições de ângulos de Euler, frequentemente resultam em caminhos mais longos (maior comprimento de arco) do que as geodésicas sub-riemannianas. Consequentemente, estratégias baseadas em geodésicas oferecem maior eficiência, particularmente para unitárias próximas à identidade.

• Verificação Numérica: Os limites teóricos são validados através de simulações numéricas para $SU(2)$ (usando geradores de Pauli). Os resultados confirmam que a escala de erro prevista pela distância sub-riemanniana é apertada e que a abordagem geodésica supera as sequências de ângulos de Euler.

Significância e Alegações
O artigo alega estabelecer um arcabouço geométrico rigoroso para otimizar a MBQC em fases computacionais da matéria.

• Unificação de Discreto e Contínuo: Demonstra que a noção geométrica diferencial de eficiência computacional, anteriormente aplicada ao controle hamiltoniano, aplica-se diretamente à MBQC. Na MBQC, os "geradores" são rigidamente fixados pela simetria, tornando a estrutura sub-riemanniana (onde apenas direções específicas são permitidas) uma descrição natural e necessária, em vez de uma aproximação.
• Otimização Principiada: O trabalho fornece uma rota fundamentada para otimizar o processamento quântico. Em vez de tratar a MBQC como uma sequência de portas discretas, ele enquadra o problema como a busca pelo caminho mais curto em uma geometria restrita. Isso permite a identificação de conjuntos de portas nativas que são mais eficientes do que as simulações padrão de modelo de circuito.
• Escopo: A metodologia é aplicável a sistemas 1D e 2D com simetrias de subsistema, cobrindo uma ampla classe de fases computacionais (incluindo as 2600 fases identificadas em literatura prévia).
• Limitações e Questões Abertas: Os autores observam modestamente que, embora o limite superior tenha sido estabelecido, um limite inferior correspondente para o erro da norma de diamante não foi rigorosamente provado (embora evidências numéricas sugiram que o limite é apertado). Além disso, o arcabouço atual assume medições não correlacionadas; estender isso para regimes correlacionados permanece um desafio aberto. O artigo não propõe implementações experimentais específicas, mas fornece as ferramentas teóricas para analisar e otimizar estados de recurso existentes ou futuros dentro dessas fases.

Em resumo, o artigo argumenta que a maneira mais eficiente de realizar MBQC em estados de recurso simétricos é tratar a unitária alvo como um ponto em um manifold sub-riemanniano e executar a computação ao longo da geodésica que conecta a identidade a esse ponto, minimizando assim o número de recursos físicos necessários para atingir uma determinada precisão lógica.