Magic Secret Sharing: Threshold Control of Quantum Computational Power via GHZ Entanglement

Resumo Técnico: Compartilhamento Secreto de Magia (MSS)

Declaração do Problema
A teoria de recursos de magia identifica estados não estabilizadores como o recurso escasso necessário para alimentar a computação quântica universal e tolerante a falhas por meio de portas não-Clifford. Embora o Compartilhamento Secreto Quântico (QSS) padrão se concentre em impedir que partes não autorizadas aprendam a identidade de um estado quântico secreto, a interseção entre a teoria de recursos de magia e a criptografia permanece amplamente inexplorada. O problema específico abordado é a distribuição de capacidade computacional (conteúdo de magia) em vez de informação clássica ou quântica. O objetivo é construir um protocolo onde uma parte não autorizada detenha um estado com conteúdo de magia zero, tornando-a incapaz de realizar computações não-Clifford, independentemente das operações que aplique ou do ruído presente em seu dispositivo.

Metodologia
Os autores introduzem o Compartilhamento Secreto de Magia (MSS), uma primitiva criptográfica que utiliza um estado pré-compartilhado de Greenberger-Horne-Zeilinger (GHZ) e uma única porta de fase local $P(\phi) = \text{diag}(1, e^{i\phi})$.

1. Estrutura do Protocolo: O protocolo alcança uma estrutura de limite $(n-1, n)$. No caso base $(2, 3)$, Alice, Bob e Charlie compartilham um estado GHZ. Alice injeta o recurso de magia aplicando $P(\phi)$ e medindo seu qubit na base $X$, transmitindo o resultado. Bob subsequentemente mede na base $X$ e transmite seu resultado. Charlie aplica uma correção condicional Pauli-$Z$ baseada no resultado de Bob para reconstruir o estado $P(\phi)|+\rangle$.
2. Mecanismo de Segurança: A segurança baseia-se nas propriedades da distância de Wigner, $C(\rho)$, um monotono de magia. O protocolo garante que qualquer parte individual (por exemplo, Bob) detenha o estado maximamente misturado $I/2$ em todos os passos intermediários. Como $C(I/2) = 0$ e o estado maximamente misturado é um ponto fixo sob qualquer operação unitária ($U(I/2)U^\dagger = I/2$), uma parte não autorizada não possui nenhuma vantagem computacional não-Clifford, mesmo que aplique operações arbitrárias ou se o ruído atuar em seu dispositivo.
3. Seleção de Portas: Os autores provam que, entre as portas paramétricas diagonais, as portas de fase são a classe única que satisfaz a "condição de soma de colunas" necessária para a segurança (garantindo que o estado reduzido de uma parte individual seja $I/2$) enquanto simultaneamente permitem a injeção fiel de magia.
4. Independência de Dispositivo: O protocolo é elevado para um cenário independente de dispositivo de um lado (1SDI). Ao utilizar uma desigualdade de direção, a coalizão autorizada pode certificar a entrega de conteúdo de magia ao destinatário sem confiar nos dispositivos da coalizão. O funcional de certificação é construído diretamente a partir do testemunho dual de programação linear para o monotono de magia $C$, permitindo que o valor exato do conteúdo de magia seja medido sem revelar a fase secreta $\phi$.

Principais Contribuições

• Definição de MSS: Uma nova primitiva criptográfica onde o segredo é o poder computacional (conteúdo de magia) em vez da identidade do estado.
• Protocolo de Limite: Um esquema de limite $(n-1, n)$ concreto usando emaranhamento GHZ e portas de fase.
• Caracterização Teórica:
  • Prova de que as portas de fase são as únicas portas diagonais que satisfazem tanto a segurança quanto a fidelidade.
  • Demonstração de que o MSS situa-se precisamente no nível de direção quântica da hierarquia de emaranhamento (requerendo emaranhamento e direção, mas não necessariamente não-localidade de Bell).
  • Derivação de uma fórmula exata para o conteúdo de magia de estados de portas de fase: $C(\phi) = (|\sin \phi| + |\cos \phi| - 1)/2$.
• Certificação 1SDI: Um método para certificar o valor exato do conteúdo de magia por meio de correlações de direção, distinguindo-o de testemunhas de desigualdade de Bell binárias.

Resultados Experimentais
A instância $(2, 3)$ do protocolo foi implementada no IBM Marrakesh (um processador IBM Heron de 156 qubits).

• Segurança: Em todas as execuções experimentais, o conteúdo de magia reconstruído para a parte não autorizada (Bob) foi $C(\rho_{Bob}) = 0.000$, permanecendo abaixo da tolerância de reconstrução de programação linear ($< 10^{-6}$). Isso confirma a segurança robusta ao ruído do ponto fixo $I/2$.
• Fidelidade: A parte autorizada (Charlie) reconstruiu com sucesso o estado de magia com alta fidelidade. As fidelidades de estado variaram de 0,959 a 0,986 em quatro valores de teste de $\phi$.
• Precisão: O conteúdo de magia medido correspondeu às previsões teóricas com alta precisão. Para $\phi = \pi/8$, o valor experimental foi $0.154 \pm 0.013$ comparado ao teórico $0.153$.
• Limites: As fidelidades alcançadas excedem significativamente o limite de destilação de estados de magia 15-para-1 (0,856), indicando a viabilidade do protocolo para aplicações práticas.

Significado e Alegações
O artigo afirma que o MSS oferece uma garantia de segurança fundamentalmente diferente em comparação com o QSS padrão: impede que partes não autorizadas alcancem universalidade computacional não-Clifford, em vez de apenas prevenir o vazamento de informações. Isso é particularmente relevante para a Computação Quântica Cega Multi-Servidor (BQC), onde o modelo de ameaça envolve impedir que qualquer servidor único realize unilateralmente portas não-Clifford.

Os autores posicionam o MSS como um avanço estrutural na criptografia quântica, operando no nível de direção da hierarquia de emaranhamento. Eles enfatizam que o protocolo requer recursos computacionais mínimos do destinatário (apenas um único qubit de memória e correções Pauli), tornando-o compatível com modelos de clientes quase clássicos em BQC distribuída. A demonstração experimental em hardware quântico de escala intermediária ruidosa (NISQ) atual valida as previsões teóricas de segurança robusta ao ruído e entrega de magia de alta fidelidade.