Resource complexity of Symmetry Protected Topological phases

Resumo Técnico: Complexidade de Recursos de Fases Topológicas Protegidas por Simetria

Enunciado do Problema
Um desafio central na ciência da informação quântica é identificar os recursos quânticos específicos que possibilitam a supremacia quântica, distinguindo estados quânticos que oferecem vantagens computacionais sobre simulações clássicas. Embora o emaranhamento tenha sido historicamente visto como a principal ponte entre a física de muitos corpos e a informação quântica, entende-se agora que o emaranhamento sozinho é insuficiente; estados altamente emaranhados podem ser classicamente simuláveis, enquanto algumas vantagens quânticas surgem com emaranhamento mínimo. Consequentemente, a "magia quântica" (ou não-estabilizabilidade) emergiu como um recurso crítico, quantificando a distância de um estado quântico em relação à variedade de estabilizadores (estados preparáveis via circuitos de Clifford).

Fases topológicas da matéria, particularmente as Fases Topológicas Protegidas por Simetria (SPTPs), são frequentemente hipotetizadas como portadoras de alta complexidade quântica devido à sua codificação não local e proteção contra perturbações locais. No entanto, essa conexão não é universal (por exemplo, o estado fundamental do código de Toric é um estado de estabilizador com zero magia). Em sistemas unidimensionais, as SPTPs são mais frágeis do que as fases topológicas inerentes, mas servem como recursos para a computação quântica baseada em medição (MBQC). A questão central abordada neste trabalho é se a ordem topológica inerente às SPTPs unidimensionais se manifesta como um aumento intrínseco na magia quântica em comparação com suas contrapartes topologicamente triviais.

Metodologia
Os autores avaliam a magia quântica usando a Entropia de Rényi de Estabilizador de ordem 2 ($M_2$), definida para um estado puro $|\psi\rangle$ de $L$ qubits como:
$$M_2(|\psi\rangle) = \log_2 \left( \frac{1}{2^L} \sum_P |\langle \psi| P |\psi\rangle|^4 \right)$$
onde a soma percorre todas as strings de Pauli $P$. O estudo foca em modelos unidimensionais que possuem uma dualidade exata mapeando uma fase topológica a uma fase trivial. Isso permite uma comparação rigorosa de magia em pontos duais.

A análise emprega três modelos específicos:

1. Cadeia XX Dimerizada (modelo SSH): Exibe uma SPTP para dimerização $\delta \in (0, 1]$ e uma fase trivial para $\delta \in [-1, 0)$.
2. Cadeia Cluster–Ising: Exibe uma SPTP (fase cluster) quando a interação de cluster de três corpos domina ($\lambda < 1$) e uma fase antiferromagnética trivial quando o acoplamento Ising domina ($\lambda > 1$).
3. Cadeia de Ising com Campo Transverso: Um modelo não topológico com uma autodualidade entre fases ferromagnética e paramagnética, usado como caso de controle.

Simulações numéricas utilizam o DMRG (Density Matrix Renormalization Group) para obter estados fundamentais via MPS (Matrix Product States). O $M_2$ é avaliado usando duas abordagens complementares, com dimensões de ligação truncadas em $\chi \approx 200-450$ para a expansão da base de Pauli. O estudo compara sistematicamente resultados sob Condições de Contorno Periódicas (PBCs), que preservam a dualidade, e Condições de Contorno Abertas (OBCs), que quebram a dualidade e introduzem estados de borda.

Principais Resultados
A investigação produz vários achados contraintuitivos em relação à relação entre ordem topológica e magia quântica:

• Magia Idêntica em Pontos Duais (PBCs): Sob condições de contorno periódicas, onde a simetria de dualidade é exata, os valores de $M_2$ para os estados fundamentais das fases topológica e trivial nos pontos duais são idênticos. Para a cadeia XX dimerizada, $M_2(\delta) = M_2(-\delta)$; para o modelo Cluster–Ising, $M_2(\lambda) = M_2(1/\lambda)$. Isso indica que a natureza topológica da fase não aumenta inerentemente os recursos não-Clifford necessários para preparar o estado.
• Assimetria Subextensiva sob OBCs: Sob condições de contorno abertas, surge uma diferença na magia, $\Delta M_2$, entre pontos duais. No entanto, essa assimetria não é um invariante topológico. Em vez disso, é uma correção subextensiva que depende de parâmetros microscópicos do Hamiltoniano e do tamanho do sistema. À medida que o tamanho do sistema $L$ aumenta, $\Delta M_2$ converge para uma função finita e não constante do parâmetro de controle (por exemplo, $\delta$ ou $\lambda$).
• Origem Não-Topológica: A assimetria observada sob OBCs é atribuída à quebra da simetria de dualidade por efeitos de borda, e não à presença de ordem topológica. Isso é confirmado pela cadeia de Ising com Campo Transverso, que carece totalmente de ordem topológica, mas exibe a mesma fenomenologia: um $\Delta M_2$ finito e dependente de parâmetros sob OBCs que desaparece sob PBCs.
• Contraste com Frustração Topológica: Os resultados contrastam com sistemas de frustração topológica, onde excitações deslocalizadas induzem um crescimento logarítmico da magia com o tamanho do sistema. Nas SPTPs estudadas aqui, a magia total é amplamente insensível ao setor topológico.

Significância e Alegações
Os autores concluem que a ordem topológica em 1D SPTPs não é necessariamente um recurso computacional genuíno em termos de magia quântica (não-estabilizabilidade). Os estados fundamentais das SPTPs podem ser preparados usando a mesma quantidade de recursos não-Clifford que seus duais topologicamente triviais.

O artigo sugere que a vantagem computacional percebida das SPTPs em frameworks de MBQC pode não advir de um aumento intrínseco na magia total. Em vez disso, os autores propõem que avaliar a complexidade computacional nesses sistemas pode exigir quantidades alternativas, como a Magia de Longo Alcance (LRM), que captura componentes de não-estabilizabilidade que não podem ser eliminados por circuitos locais rasos. Os achados desafiam a suposição de que a ordem topológica equivale automaticamente a uma maior complexidade computacional dentro do framework de recursos de Clifford, destacando que a "magza" desses estados é amplamente determinada pelas condições de contorno e violações de dualidade, em vez da fase topológica em si.

O estudo enfatiza que, embora as SPTPs sejam recursos valiosos para tarefas computacionais específicas (como MBQC), sua classificação dentro de um framework de recurso de Clifford permanece não trivial, e a complexidade observada pode ser uma manifestação de efeitos de borda ou protocolos de medição específicos, em vez de uma propriedade intrínseca da ordem topológica.