Teorias de recurso e "magia" quântica

A Revista Mídia e Design (eISSN 2965-6826) é publicada pela Fatec Carapicuíba Revisão por pares • Acesso aberto • revistamd.fateccarapicuiba.edu.br • [email protected]r eISSN 2965-6826 Fatec Carapicuíba • revistamd.fateccarapicuiba.edu.br submetido: Jun/2025 • aceito: Set/2025 • publicado: Dez/2025 Teorias de recurso e "magia" quântica Resource theories and quantum “magic” Cláudio Boghi [email protected] Universidade Paulista RESUMO A computação quântica requer recursos físicos para atingir vantagens sobre a computação clássica. Entre esses recursos, o entrelaçamento quântico é frequentemente destacado, mas sabe-se hoje que ele, isoladamente, não garante vantagem computacional - circuitos formados apenas por portas de Clifford podem gerar grandes estados emaranhados e ainda assim serem simulados eficientemente em computadores clássicos. Outro ingrediente fundamental é a chamada "magia quântica", termo que se refere a recursos não-estabilizadores ou operações não-Clifford necessários para se alcançar a universalidade quântica e superar a eficiência clássica. Este trabalho aborda a teoria de recursos de magia quântica, revisando as principais medidas de “magia” (como a mana e a robustez da magia) e sua relação com operações nãoClifford, discutindo a síntese de circuitos Clifford+T e os desafios de conversão de recursos (incluindo o papel de catalisadores quânticos), e explorando as pontes entre a magia quântica, a obtenção de vantagem quântica e a complexidade de estados quânticos. A fundamentação teórica e resultados recentes são apresentados e discutidos, evidenciando como a magia quântica emerge como um componente-chave para a computação quântica universal e faulttolerant. PALAVRAS-CHAVE: Recurso quântico; magia quântica; estados estabilizadores; computação quântica. ABSTRACT Quantum computing requires physical resources to achieve an advantage over classical computation. Among these resources, quantum entanglement is often emphasized; however, it is now known that entanglement alone does not guarantee computational advantage—circuits composed solely of Clifford gates can produce highly entangled states yet remain efficiently simulable on classical computers. Another essential ingredient is the so-called “quantum magic,” a term referring to non-stabilizer resources or non-Clifford operations needed to attain universal quantum computation and surpass classical efficiency (nature.com). This work addresses the resource theory of quantum magic, reviewing the main measures of “magic” (such as mana and robustness of magic) and their relation to non-Clifford operations; discussing Clifford+T circuit synthesis and the challenges of resource conversion (including the role of quantum catalysts); and exploring links between quantum magic, the attainment of quantum advantage, and the complexity of quantum states. The theoretical foundations and recent results are presented and discussed, showing how quantum magic emerges as a key component for universal, fault-tolerant quantum computation. KEY-WORDS: Quantum resource theory; quantum magic; stabilizer states; quantum computing. Teorias de recurso e "magia" quântica Revista Mídia e Design - v. 03 - p. 32-46 - 2025 33 INTRODUÇÃO Nas últimas décadas, o campo da informação quântica consolidou a compreensão de que certos recursos puramente quânticos são responsáveis pelo potencial de computação quântica superar a clássica. A teoria de recursos quânticos oferece um arcabouço formal para quantificar e entender tais recursos. Um exemplo bem conhecido é o entrelaçamento (emaranhamento) quântico, frequentemente considerado essencial para vantagens quânticas. No entanto, pesquisas têm demonstrado que o entrelaçamento, por si só, não é suficiente: existe um conjunto de operações e estados (chamados de estabilizadores) que podem exibir alto grau de entrelaçamento e, ainda assim, serem classicamente simuláveis devido ao teorema de Gottesman-Knill. Em outras palavras, circuitos restritos às chamadas operações de Clifford atuando sobre estados estabilizadores não conseguem ultrapassar a capacidade de computação clássica, pois admitem simulação eficiente em um computador tradicional. Para alcançar computação quântica universal e de fato obter vantagem quântica (também referida como supremacia quântica), é necessário introduzir recursos além dos estabilizadores - isto é, operações não-Clifford ou estados quânticos que não podem ser preparados apenas com portas de Clifford. Esses recursos além do domínio estabilizador são comumente chamados de “magia” quântica. O termo "magia" refere-se precisamente à não-estabilizabilidade de um estado ou operação, ou seja, o quão distante ele está do conjunto de estados/operações que podem ser realizados somente com Cliffords. Estados mágicos (não-estabilizadores puros) fornecem a “injeção” necessária de não-linearidade para realizar operações universais. Por exemplo, um qubit preparado em um estado mágico específico como autovetor da porta T (uma rotação de π/4, também chamada de porta π/8) permite estender um circuito de Cliffords para computação universal. De modo geral, a presença de magia nos estados de entrada de um computador quântico é um pré-requisito para ganhos computacionais exponenciais: enquanto um circuito sem magia permanece ineficaz contra algoritmos clássicos, a introdução de estados ou operações mágicas adiciona o recurso necessário para acelerar certos cálculos além do alcance clássico. Este artigo revisa os conceitos centrais da teoria de recursos aplicada à magia quântica. Inicialmente, definimos o cenário teórico: o que são estados estabilizadores (considerados estados livres na teoria de recursos) e o que caracteriza um estado ou operação “mágica” como recurso dispendioso. Em seguida, apresentamos as medidas de magia que quantificam o teor de não-Cliffordidade de um estado, com destaque para a mana e a robustez da magia, discutindo a Teorias de recurso e "magia" quântica Revista Mídia e Design - v. 03 - p. 32-46 - 2025 34 relação dessas medidas com a necessidade de portas não-Clifford em circuitos. No segmento seguinte, abordamos a síntese de circuitos usando portas Clifford + T, explorando como os recursos de magia entram no projeto de circuitos fault-tolerant e a conversão de estados mágicos via protocolos de destilação - incluindo desenvolvimentos recentes que empregam catalisadores quânticos para viabilizar conversões antes impossíveis. Por fim, examinamos as pontes entre a magia quântica e a vantagem computacional, discutindo como a quantidade de magia em um estado se relaciona com a dificuldade de simulação clássica (complexidade de estado) e evidenciando seu papel distintivo em sistemas de muitos corpos em comparação ao entrelaçamento. 1. FUNDAMENTAÇÃO TEÓRICA: MEDIDAS DE “MAGIA” E RELAÇÃO COM NÃO-CLIFFORD No contexto da teoria de recursos, define-se um conjunto de estados livres que podem ser preparados sem custo - no caso de magia quântica, os estados livres são precisamente os estados estabilizadores. Para qubits, os estados estabilizadores puros correspondem aos autovetores dos operadores de Pauli (X, Y, Z) e seus negativos; existem seis desses estados puros (por exemplo, |0⟩, |1⟩, |+⟩ = (|0⟩ + |1⟩)/√2, |−⟩ = (|0⟩ − |1⟩)/√2, |i+⟩ = (|0⟩ + i|1⟩)/√2, |i−⟩ = (|0⟩ − i|1⟩)/√2) que formam os vértices de um poliedro octaédrico no interior da esfera de Bloch. Qualquer estado quântico (misto ou puro) que esteja dentro do envoltório convexo desse octaedro é um estado estabilizador (essencialmente uma mistura clássica daqueles seis vértices) e, portanto, pode, em princípio, ser obtido sem recurso mágico adicional. Já estados mágicos são aqueles que se situam fora do octaedro estabilizador na esfera de Bloch - um exemplo famoso é o estado |T⟩ = cos(π/8)|0⟩ + sin(π/8)|1⟩, que é um autovetor da porta T e não pode ser aproximado como mistura de estabilizadores. A existência de um estado desse tipo como recurso auxilia na realização de operações não-Clifford (como a própria porta T) em um circuito, algo necessário para universalidade. Para quantificar o grau de magia de um estado (isto é, o quão não estabilizador ele é), várias medidas de recurso foram propostas. Uma das primeiras e mais utilizadas é a mana, derivada da negatividade da função de Wigner (uma representação de fase espacial) para sistemas de dimensão ímpar. Intuitivamente, a mana mensura a quantidade de negatividade na distribuição de quasiprobabilidades associada ao estado - negatividade essa que não ocorre em estados estabilizadores. Matematicamente, a mana M(ρ) de um estado ρ é uma função logarítmica da soma das magnitudes das regiões negativas da função de Wigner. Teorias de recurso e "magia" quântica Revista Mídia e Design - v. 03 - p. 32-46 - 2025 35 O ponto-chave sobre a mana é que ela se comporta como um monótono de recurso: (i) M(ρ) = 0 para todos os estados estabilizadores (estados livres) e (ii) não aumenta sob operações livres (no caso, operações de Clifford). Além disso, a mana possui propriedades convenientes, como aditividade (M(ρ ⊗ σ) = M(ρ) + M(σ)) e calculabilidade eficiente para muitos casos práticos. Essas características fazem da mana um indicador útil da “magicalidade” de estados em computação quântica. Outra métrica importante é a robustez da magia, definida de forma análoga à robustez de coerência ou de emaranhamento em outras teorias de recurso. A robustez da magia R(ρ) mede o mínimo de mistura necessária com estados estabilizadores para “simular” o estado ρ. Mais precisamente, R(ρ) = min { Σᵢ |wᵢ| : ρ = Σᵢ wᵢ σᵢ }, onde σᵢ são estados estabilizadores e os wᵢ são coeficientes reais que somam 1. Se ρ é um estado estabilizador, ele próprio pode ser escrito com R(ρ) = 1 (ou robustez zero, dependendo da convenção). Já estados não estabilizadores requerem coeficientes com magnitudes totais maiores que 1. A robustez da magia, assim definida, possui uma interpretação operacional: ela reflete a dificuldade de simular classicamente o estado ou a operação correspondente, além de fornecer limites inferiores para a síntese de portas não-Clifford necessárias para preparar aquele estado. Em outras palavras, quanto maior a robustez, maior o “custo” de magia - seja em termos de esforço de simulação clássica, seja em termos de recursos necessários para implementar o estado/operação via circuitos quânticos. Além da mana e da robustez, a literatura propõe outras medidas e monótonos de magia, como a relativa entropia de magia (baseada na distância de Kullback-Leibler até o conjunto de estados estabilizadores), as métricas thauma (derivadas de divergências generalizadas) e as entropias de estabilizador (análogas a entropias de Rényi calculadas sobre a distribuição de componentes de Pauli do estado). Todas buscam formalizar o mesmo conceito subjacente: a quantificação da não-Cliffordidade. Importante notar que tais medidas são monótonos sob operações livres (Clifford), isto é, nenhuma operação composta apenas de Clifford pode aumentar a “magia” de um sistema. Isso reflete a restrição fundamental: sem injetar recursos externos (estados mágicos ou operações não-Clifford), a quantidade de magia só pode diminuir ou permanecer constante em um processamento quântico. Esse princípio estabelece uma ordem parcial entre estados em termos de sua utilidade computacional: por exemplo, se um estado ρ pode ser obtido de outro estado σ apenas com Clifford, então ρ não tem mais magia do que σ - formalmente, ρ é “mais fraco ou equivalente” como recurso. Essas considerações motivam estudos de conversão de estados mágicos. Teorias de recurso e "magia" quântica Revista Mídia e Design - v. 03 - p. 32-46 - 2025 36 1.1 SÍNTESE CLIFFORD+T, CATALISADORES E CONVERSÕES DE RECURSO Em arquiteturas de computação quântica tolerantes a falhas, costuma-se distinguir operações de Clifford (implementáveis de forma barata e estável com códigos de correção de erros) e operações não-Clifford, tipicamente mais custosas em recursos. Uma abordagem padrão para obter universalidade é adicionar à família Clifford uma única porta não-Clifford, frequentemente escolhida como a porta T (rotação de 45° em torno do eixo Z). O conjunto Clifford+T é universal, isto é, permite aproximar qualquer operação unitária arbitrariamente bem. Contudo, na prática, portas T não podem ser executadas de modo transversal nos códigos de correção de erros mais comuns e precisam ser realizadas por meio de protocolos auxiliares. Estados mágicos como |T⟩ entram justamente aqui: prepara-se offline múltiplas cópias ruidosas de |T⟩ e destila-se para alta fidelidade; em seguida, injeta-se |T⟩ puro no circuito principal e efetua-se uma porta T por meio de interações de Clifford entre o qubit de dados e a ancila mágica. Nesse paradigma, cada porta T consumida no circuito corresponde essencialmente ao consumo de um estado |T⟩ de alta fidelidade. Minimizar a contagem de portas T - o chamado T-count - equivale a minimizar o consumo de recursos mágicos, com impacto direto na viabilidade de hardware (menos estados mágicos a destilar) e na dificuldade de simulação clássica do circuito. A síntese de circuitos Clifford+T é, assim, uma área ativa de pesquisa que busca compilar operações desejadas com o mínimo de portas T. A teoria de recursos de magia fornece ferramentas quantitativas para esse fim. Por exemplo, a robustez da magia de uma operação unitária - definida a partir do estado de Choi associado (ou de uma representação estabilizadora equivalente) - fornece um limite inferior para o número de estados mágicos necessários para implementá-la. Concretamente, se uma porta U não-Clifford tem robustez R(U) alta, nenhum circuito usando menos do que uma quantidade proporcional a R(U) de portas T (ou de estados mágicos injetados) conseguirá realizá-la. Estudos específicos confirmam esse princípio: portas de três qubits como CCZ (Toffoli diagonal) ou CS (controle-S) possuem valores conhecidos de robustez e, consequentemente, requerem ao menos certo número de portas T (ou equivalentes) para serem sintetizadas. Em geral, monótonos de magia (mana, robustez etc.) servem como métricas de custo: quanto maior a medida para um dado estado ou operação, maior o “custo não-Clifford”, refletido em circuitos mais complexos ou maiores overheads de destilação. Teorias de recurso e "magia" quântica Revista Mídia e Design - v. 03 - p. 32-46 - 2025 37 Outro aspecto central da teoria de recursos de magia é entender quais transformações são possíveis ou impossíveis sob operações livres (Clifford). Assim como na teoria de emaranhamento há estados que não podem ser convertidos uns nos outros sem insumos adicionais, na magia quântica existem restrições análogas. No regime determinístico (ou de muitas cópias i.i.d.), a destilação de magia estabelece que converter várias cópias de estados fracos em menos cópias de estados mágicos fortes é possível quando, por exemplo, a mana média de entrada excede a de saída por cópia. Já no regime de cópia única, muitas conversões úteis tornam-se impossíveis pela monotonicidade: um único estado mágico ρ frequentemente não pode ser transformado em outro estado mágico σ apenas com Cliffords, a menos que ρ possua pelo menos tanta “magia” quanto σ segundo todas as medidas monotônicas relevantes. Pesquisas recentes formalizam essas condições via programação semidefinida, identificando quando existe um canal livre (stabilizer-preserving) capaz de converter ρ em σ. Esses resultados mostram que a ordem parcial imposta pelas medidas monotônicas é rígida, mas não trivial: para certos pares de estados mágicos, nenhuma conversão é possível sem ajuda externa, caracterizando recursos inconvertíveis (análogos a estados bound-entangled no emaranhamento). Diante dessas limitações, surge o conceito de catalisador quântico no contexto de magia. Um catalisador é um estado auxiliar que, sem ser consumido ou degradado permanentemente, viabiliza transformações que seriam impossíveis estritamente sob operações livres. Em termos simples, aplica-se uma operação livre (Clifford) ao sistema de interesse mais um sistema auxiliar (o catalisador) e, ao final, o auxiliar retorna ao estado inicial. Se, graças à presença temporária do catalisador, o estado do sistema principal pôde ser transformado de ρ para σ (ambos mágicos) - mesmo quando ρ sozinho não podia ser convertido em σ por Cliffords -, houve conversão catalítica de recurso. Esse fenômeno é conhecido na teoria de emaranhamento e passou a ser explorado recentemente na magia quântica. Resultados novos indicam que catalisadores podem, por exemplo, contornar limites antes considerados fundamentais na destilação de recursos. Fang e Liu (2024) mostraram que certos protocolos de destilação de estados mágicos, que normalmente exigiriam grandes lotes para atingir overhead constante, podem ser convertidos em protocolos de uma única rodada com auxílio catalítico, mantendo essencialmente o mesmo overhead total. Em outras palavras, catalisadores permitem realizar destilações e conversões “one-shot” mais eficientes do que seria possível sem eles, contornando teoremas de impossibilidade (no-go) aplicáveis ao cenário sem catalisado. O catalisador, nesse contexto, é um estado mágico adicional que participa do processo e, ao final, retorna à forma original, podendo ser reutilizado. Teorias de recurso e "magia" quântica Revista Mídia e Design - v. 03 - p. 32-46 - 2025 38 É importante destacar que, embora promissor, o uso de catalisadores em magia quântica enfrenta desafios práticos: encontrar um estado catalisador adequado e implementar a operação conjunta necessária pode ser difícil. Ainda assim, esses avanços conceituais ampliam o escopo do que se entende como manipulável em estados mágicos. Sabe-se, por exemplo, que a destilação de magia - procedimento em que várias cópias de estados ruidosos nãoestabilizadores são purificadas em um número menor de cópias quase puras - é crucial para viabilizar portas não-Clifford tolerantes a falhas. Protocolos catalíticos agora propõem maneiras de reduzir o tamanho dos lotes ou o overhead desses procedimentos, mantendo altas fidelidades de saída e, potencialmente, tornando a computação quântica tolerante a falhas mais acessível. De modo geral, a síntese Clifford+T e as conversões de recurso (destilação, diluição etc.) são o terreno onde medidas de magia encontram aplicação operacional: ditam as “taxas de câmbio” entre formas de recurso (diferentes tipos de estados mágicos ou estados mágicos vs. circuitos com portas T) e esclarecem custos fundamentais envolvidos. 1.2 VANTAGEM QUÂNTICA E COMPLEXIDADE DE ESTADO Uma das motivações centrais para estudar a magia quântica é compreender o que torna um computador quântico mais poderoso que um clássico. Como mencionado, o entrelaçamento isoladamente não basta para garantir aceleração quântica - há sistemas altamente emaranhados que são eficientemente simuláveis. O ingrediente que faltava nessa equação é justamente a nãoestabilizabilidade. De fato, um critério prático de simulabilidade clássica é a ausência de magia: se em algum ponto um circuito quântico pode ser descrito completamente por estados estabilizadores e operações Clifford, o resultado final não oferece vantagem computacional, pois existem algoritmos clássicos (baseados no formalismo de estabilizadores de GottesmanKnill) capazes de simulá-lo com custo polinomial. Por outro lado, a presença de operações nãoClifford ou estados mágicos faz o sistema escapar do regime polinomial, muitas vezes produzindo distribuições de probabilidades cuja simulação exata é P-difícil ou cujos sampling requer custo exponencial a menos de colapsos conjecturais em complexidade. Assim, a métrica de magia pode ser vista como um indicativo de complexidade computacional do estado: estados com alta magia geram saídas de circuito difíceis de prever ou reproduzir classicamente. Um resultado concreto nessa linha é que o custo de simulação clássica de um circuito quântico tende a crescer com a quantidade de magia presente. Técnicas de simulação aproximada via decomposição quasi-probabilística mostram que o número de amostras Teorias de recurso e "magia" quântica Revista Mídia e Design - v. 03 - p. 32-46 - 2025 39 necessário (ou o custo computacional) aumenta polinomialmente (às vezes exponencialmente) conforme cresce a robustez ou mana dos estados envolvidos. Em particular, num algoritmo de amostragem clássica, a variância introduzida por tratar portas T como ruído quasi-probabilístico leva a um número de execuções que escala quadraticamente com a robustez da magia – isto é, duplicar a robustez aproximadamente quadruplica o custo de simular estatísticas de saída do circuito. Este fato conecta quantitativamente a magia ao conceito de vantagem quântica: um circuito será difícil de simular em clássicos (e portanto potencialmente exibirá vantagem) se, e somente se, contiver suficiente recurso de magia em algum ponto de seu processamento. Vale destacar que todas as demonstrações de "supremacia quântica" até o momento (como a amostragem de circuitos aleatórios) dependem criticamente de elementos não-Clifford para frustrar os simuladores clássicos. Mesmo que esses experimentos muitas vezes envolvam profundidades limitadas ou ruído, a inclusão de magia (por exemplo, portas aleatórias de três qubits não-Clifford ou equivalente) é o fator chave que rompe qualquer simplificação algorítmica clássica baseada em estabilizadores. Do ponto de vista de complexidade de estado, podemos pensar na magia como medindo o "grau de não-classicalidade estrutural" de um estado quântico. Estados estabilizadores possuem descrições esparsas e eficientes (pelo formalismo de estabilisadores), enquanto estados mágicos geralmente requerem descrições exponencialmente complexas (por exemplo, em termos de número de componentes de Pauli necessários para expansões). Algumas propostas formais tentam capturar isso através de entropias de estabilizador: analogamente à entropia de Shannon medir complexidade de distribuição, a entropia de estabilizador mede a dispersão da distribuição de um estado em uma base de Pauli (ou Wigner). Essas entropias atuam como monótonos de magia e efetivamente quantificam o quão “espalhado” nos eixos estabilizadores um estado está. Estados altamente mágicos apresentam altas entropias de estabilizador, indicando que não há representação concisa em termos de alguns poucos componentes estabilizadores - um sinal de alta complexidade. Estudos em sistemas de muitos corpos reforçam essa distinção: por exemplo, há evidências de que estados fundamentais de certos sistemas quânticos críticos exigem magia para serem preparados, apesar de possuírem também emaranhamento extenso. Em fases gapped, a magia tende a ser mais “local” e limitada, enquanto em pontos críticos ou em dinâmicas caóticas, a magia espalha-se pelo sistema de forma não-local, análoga porém diferente do espalhamento de entropia de emaranhamento. Essa diferença sugere que a magia captura aspectos da complexidade quântica que o emaranhamento por si não distingue - por exemplo, dois estados podem ter entropia de emaranhamento volume- Teorias de recurso e "magia" quântica Revista Mídia e Design - v. 03 - p. 32-46 - 2025 40 law semelhante, mas se um for um estado estabilizador gigante e o outro um estado mágico altamente não-estabilizador, apenas o segundo é computacionalmente complicado de produzir ou simular. Do ponto de vista da vantagem quântica prática, a noção de magia fornece um critério para arquitetar algoritmos e também para certificar experimentalmente um regime de computação além do clássico. Por exemplo, algoritmos variacionais ou de dinâmica quântica podem monitorar a evolução da mana ou robustez em registradores quânticos ao longo do tempo; se esses valores permanecem baixos, o algoritmo pode possivelmente ser simulado classicamente, mas se atingirem certo limiar, isso indica que o circuito entrou numa região de alta complexidade (inacessível a simuladores eficientes). Em experimentos recentes, medidas de magia foram realizadas em processadores quânticos de pequeno porte, demonstrando a viabilidade de detectar quanta de magia diretamente. Tais resultados abrem caminho para rotular configurações de estados em laboratório como contendo (ou não) potencial de vantagem quântica, servindo também como feedback para otimização de circuitos quânticos. Resumindo, a magia quântica posiciona-se hoje como um conceito unificador entre a física quântica fundamental e a ciência da computação quântica: ela é simultaneamente uma quantificação de quão "não clássica" é a distribuição de amplitudes de um estado, e uma métrica prática para avaliar o quão difícil é reproduzir esse estado (ou operação) por meios clássicos. Seu estudo tem revelado estruturas profundas – como limitações de conversão de estados, a necessidade de catalisadores para vencer certos obstáculos e a distinção entre complexidade de estado e simples entropia de emaranhamento – todas contribuindo para entendermos melhor de onde vem o poder da computação quântica e como aproveitá-lo de maneira otimizada. 2. PROCEDIMENTOS METODOLÓGICOS Este trabalho caracteriza-se como uma pesquisa teórica e bibliográfica, na qual realizamos uma revisão de literatura focada em artigos científicos e resultados recentes (publicados entre aproximadamente 2005 e 2025) relacionados à teoria de recursos aplicada à computação quântica. Foi realizada uma coleta de fontes primárias relevantes, incluindo artigos clássicos que introduziram conceitos de estados mágicos e destilação, bem como estudos contemporâneos que expandem as medidas de magia e exploram novas técnicas (como catalisadores quânticos). A metodologia inclui análise comparativa de propostas teóricas e resultados matemáticos, buscando extrair dos textos informações convergentes sobre definições