Useful entanglement can be extracted from noisy graph states

Resumo Técnico: Entrelaçamento Útil a partir de Estados de Grafo Ruidosos

Definição do Problema
A computação quântica baseada em medição (MBQC) e as redes quânticas dependem fortemente de estados de grafo, onde o entrelaçamento é estruturado de acordo com a conectividade de um grafo. Uma operação fundamental nesses sistemas é a extração de estados entrelaçados menores, como pares de Bell ou estados GHZ, a partir de recursos de grafos maiores via medições locais. Enquanto estados de grafo ideais permitem a extração determinística, as implementações experimentais estão sujeitas a ruído. Modelos de ruído comuns incluem portas CZ imperfeitas (levando à perda de arestas ou erros de fase) e falhas de portas de fusão em sistemas fotônicos. A extração de estados entrelaçados de alta fidelidade a partir desses conjuntos ruidosos é desafiadora; o problema geral de extrair estados de grafo específicos a partir de outros maiores é conhecido como NP-completo. Além disso, protocolos de extração padrão, como medir um caminho de qubits na base X para criar um par de Bell, são altamente suscetíveis ao ruído, onde uma única aresta ausente ou erro de fase pode destruir o entrelaçamento resultante.

Metodologia
Os autores utilizam a formalidade do estabilizador de estados de grafo para projetar protocolos de extração robustos. A metodologia central envolve:

1. Análise de Estabilizador: O artigo utiliza a propriedade de que estados de grafo são autoestados únicos +1 de um grupo de estabilizadores gerado por operadores $g_i = X_i \prod_{j \in N(i)} Z_j$. Os valores de expectativa de strings de Pauli são não nulos apenas se pertencerem ao grupo estabilizador.
2. Correlações Induzidas por Medição: Os autores aplicam o Lema 1, que demonstra que medições locais sequenciais de Pauli induzem correlações nos qubits não medidos restantes. O estado pós-medição é estabilizado por operadores derivados do grupo estabilizador original, condicionados aos resultados das medições.
3. Modelagem de Ruído: Três modelos de ruído fisicamente motivados são analisados:
   • Ruído de Aresta Não Correlacionado: Modelado como a remoção probabilística de arestas (estados de grafo randomizados), decorrente de ruído de fase em interações do tipo Ising.
   • Ruído de Aresta Correlacionado: Decorrente de flutuações globais no tempo de interação, afetando todas as arestas simultaneamente.
   • Ruído de Flip Z Local: Modelado como a aplicação probabilística de unitários Z locais, relevante para portas de fusão em óptica linear.
4. Famílias de Grafos e Pós-seleção: O estudo compara três famílias de estruturas de grafos parametrizadas pela distância entre os qubits terminais:
   • Grafo de Caminho (Path Graph): O benchmark padrão.
   • Grafo de Par Torcido (Twisted Pair Graph): Camadas de 1 e 2 qubits com conectividade específica.
   • Grafo Louco (Crazy Graph): Camadas de 2 qubits com conectividade total entre camadas adjacentes.
     O protocolo envolve medir os qubits internos na base X e realizar a pós-seleção de resultados de medição que sejam consistentes com a estrutura do estabilizador do estado de grafo ideal. Resultados que violam restrições de paridade (por exemplo, produto de resultados $\neq 1$) são descartados, servindo como um mecanismo probabilístico de detecção de erro.
5. Quantificação: A qualidade do estado extraído é quantificada pela fidelidade $F$ em relação ao estado alvo ideal. A sensibilidade ao ruído é medida pela suscetibilidade de fidelidade $\alpha$, definida como a taxa inicial de decaimento da fidelidade no limite de baixo ruído ($\alpha = -d\langle F\rangle/dp |_{p=0}$).

Contribuições Principais e Resultados

• Famílias de Grafos Robustas: O artigo demonstra que topologias de grafos específicas, nomeadamente os grafos "par torcido" e "louco", oferecem uma resistência ao ruído superior em comparação com simples grafos de caminho.
  • Grafos Loucos: Estas estruturas exibem uma suscetibilidade de fidelidade $\alpha$ constante que é independente do comprimento do grafo. Isso é atribuído à existência de "estabilizadores de correção", onde a perda de uma única aresta interna não altera a estrutura do estabilizador pós-medição dos qubits terminais, desde que os resultados sejam pós-selecionados corretamente.
  • Grafos de Par Torcido: Apresentam suscetibilidade zero ao ruído de fase perfeitamente correlacionado sob condições de pós-seleção específicas (selecionando apenas resultados negativos).
• Detecção de Erro via Estabilizadores: O trabalho formaliza como a pós-seleção baseada na consistência do estabilizador atua como um filtro de ruído. Por exemplo, em um grafo quadrado, medir os qubits 1 e 3 na base X produz resultados $(+1, +1)$ ou $(-1, -1)$ para um estado ideal. Observar sinais mistos indica a presença de ruído (por exemplo, uma aresta ausente), permitindo o descarte do estado.
• Escalonamento e Extração de GHZ: Os resultados estendem-se além da extração de pares de Bell para a geração de estados GHZ de 3 qubits a partir de estruturas de grafo em forma de estrela. A topologia do grafo "louco" mantém suas propriedades de resistência ao ruído nesta tarefa de extração mais complexa, mostrando melhorias significativas de fidelidade no regime de ruído intermediário em comparação com grafos de caminho.
• Cancelamento de Ruído: Para ruído de fase correlacionado, os autores mostram que estratégias de pós-seleção específicas (por exemplo, selecionar apenas resultados $-1$ em medições X) podem cancelar completamente os efeitos de ruído não triviais de ordem inferior em grafos torcidos e loucos.

Significância e Alegações
O artigo afirma fornecer um framework matemático para redução de ruído na computação quântica baseada em medição que não requer códigos complexos de correção de erros quânticos. Em vez disso, utiliza medições locais de qubit único e pós-seleção, que são experimentalmente viáveis.

• Utilidade Prática: As estruturas de "grafo louco" propostas podem servir como links robustos para transferência de informação (teletransporte) e preparação de estados em redes quânticas, minimizando o overhead de qubits físicos necessários para manter a qualidade do entrelaçamento.
• Universalidade: Os autores sugerem que o comportamento de resistência ao ruído observado nessas famílias específicas pode ser universal para certas estruturas de conectividade, embora uma prova formal para todos os casos esteja além do escopo deste estudo.
• Limitações: A abordagem atual é restrita a medições de Pauli, o que limita o conjunto de operações às classicamente simuláveis. Os autores observam que estender estes métodos para medições não-Pauli poderia abrir novos caminhos para a computação quântica, mas introduziria complexidades conceituais e práticas adicionais.

Em resumo, o trabalho estabelece que, ao projetar topologias de grafos específicas e utilizar a pós-seleção baseada em estabilizadores, é possível extrair estados entrelaçados de alta qualidade a partir de recursos ruidosos, mitigando efetivamente o impacto de modelos de ruído experimental realistas com overhead mínimo.