A five-qubit 1-resistant graph state and stabilizer marginal certificates

Resumo Técnico: Estados de Grafo de Cinco Qubits 1-Resistentes e Certificados de Marginais de Estabilizador

Definição do Problema
O artigo aborda a caracterização da resistência ao emaranhamento por perda de partículas em sistemas quânticos multipartites. Especificamente, investiga a existência de estados puros $m$-resistentes. Um estado puro de $N$ partículas é definido como $m$-resistente se permanecer emaranhado após a perda de quaisquer $m$ partículas, mas tornar-se totalmente separável após a perda de quaisquer $m+1$ partículas. Embora existam construções gerais para estados $m$-resistentes para certos parâmetros, a existência de um estado puro de cinco qubits 1-resistente permaneceu um caso não resolvido no cenário de qubits. Buscas anteriores dentro de estados simétricos falharam em encontrar tal estado, levando a conjecturas de que ele poderia não existir. Além disso, o artigo busca classificar a existência de tais estados dentro do quadro mais amplo de estados estabilizadores (que são equivalentes a estados de grafo até operações de Clifford locais) para pequenos tamanhos de sistema ($N=5, 6, 7$) e determinar se os exemplos bem-sucedidos de grafos de ciclo se estendem a sistemas maiores.

Metodologia
Os autores desenvolvem uma estrutura baseada em certificados para verificar a $m$-resistência especificamente para estados de grafo, evitando buscas numéricas de ponto flutuante em favor de uma verificação algébrica exata. A metodologia baseia-se no formalismo do estabilizador:

1. Marginais de Estabilizador: Para um estado de grafo $|G\rangle$ e um subsistema $A$, o estado reduzido $\rho_A$ é determinado pelo subgrupo estabilizador local $S_A$, consistindo de elementos do estabilizador cujo suporte está contido inteiramente em $A$.
2. Certificado de Separabilidade: Os autores utilizam uma condição suficiente (Lema 1) para a separabilidade total. Se, para cada qubit no subsistema, os fatores de Pauli não identitários no subgrupo estabilizador local forem de um único tipo fixo (ou se a dimensão do subgrupo for $\le 1$), o estado reduzido é totalmente separável.
3. Certificado de Emaranhamento: Para certificar o emaranhamento, os autores empregam o critério da Transposição Parcial Positiva (PPT). Eles derivam uma fórmula exata para os autovalores do estado transposto parcialmente reduzido $\rho_A^{\Gamma_R}$ usando a transformada de Walsh de funções de sinal associadas aos geradores do estabilizador. Se qualquer autovalor for negativo (NPT), o estado é emaranhado.
4. Protocolo de Enumeração: Os autores realizam uma enumeração exaustiva de todos os grafos simples não isomórficos para $N=5, 6, 7$ vértices. Para cada grafo e $m$ admissível, eles aplicam os certificados a todas as marginais relevantes. Os estados de grafo são classificados até a equivalência de Clifford local, o que corresponde à isomorfia de grafos e órbitas de complementação local.

Principais Contribuições e Resultados

• Resolução do Caso de Cinco Qubits 1-Resistente: O artigo prova que o estado de grafo de ciclo cinco $|C_5\rangle$ é um estado puro de cinco qubits 1-resistente.

  • Todas as marginais de três qubits são totalmente separáveis (verificado via a dimensão do estabilizador local sendo 1).
  • Todas as marginais de quatro qubits são emaranhadas (verificado via um testemunho NPT exato).
  • Os autores estabelecem que $|C_5\rangle$ é a solução única até a equivalência de Clifford local entre estados de grafo de cinco qubits. A órbita de complementação local de $C_5$ contém três representantes de grafo: $C_5$, um grafo com uma corda adicionada a $C_5$, e $K_5 \setminus P_4$.

• Classificação de Pequenos Estados de Grafo:

  • $N=5$: Não existem estados de grafo 2-resistentes ou 3-resistentes.
  • $N=6$: Não existem estados de grafo 1-resistentes, 3-resistentes ou 4-resistentes. No entanto, existem estados de grafo 2-resistentes. Os autores identificam 23 grafos 2-resistentes não isomórficos, que caem em três órbitas distintas de complementação local. Uma dessas órbitas corresponde ao conhecido estado Absolutamente Maximamente Emaranhado (AME) de seis qubits (representado por um grafo específico $G_{AME}$), enquanto outras duas órbitas ($G_I$ e $C_6$) representam novas construções 2-resistentes.
  • $N=7$: Não existem estados de grafo $m$-resistentes para qualquer $m$ não nulo admissível ($m=1, \dots, 5$). Para cada caso, a enumeração produz uma obstrução explícita (ou uma marginal emaranhada necessária é separável, ou uma marginal separável necessária é NPT).

• Não-Resistência de Ciclos Maiores: O artigo prova que os resultados positivos para $C_5$ e $C_6$ não se estendem a ciclos maiores. Para qualquer $N \ge 7$, o estado de grafo de ciclo $|C_N\rangle$ não é $m$-resistente para qualquer $0 \le m \le N-2$. A prova demonstra que para qualquer um desses $N$, pode-se sempre encontrar uma marginal que viola as condições necessárias para a $m$-resistência (ou uma marginal pequena é emaranhada quando deveria ser separável, ou uma marginal grande é separável quando deveria ser emaranhada).

Significância e Escopo
O artigo resolve o problema aberto específico sobre a existência de um estado puro de cinco qubits 1-resistente ao fornecer uma construção concreta de estado estabilizador ($|C_5\rangle$). Ele estabelece um método rigoroso, baseado em certificados, para verificar a resistência à perda de partículas em estados de grafo, o que se estende diretamente a uma classificação de estados estabilizadores até a equivalência de Clifford local.

Os autores enquadram explicitamente seus resultados de não-existência (por exemplo, para $N=7$ ou ciclos $N \ge 7$) como resultados de "não-existência" (no-go) dentro dos contextos específicos de grafos e estados estabilizadores. Eles não afirmam que estados puros $m$-resistentes não existem para esses parâmetros no espaço de Hilbert geral; de fato, observam que estados de sete qubits 4- e 5-resistentes não-estabilizadores são conhecidos por existir. O trabalho destaca que os estados de grafo não capturam todas as possíveis estruturas de emaranhamento por perda de partículas de estados puros gerais, ao mesmo tempo em que fornece um mapa completo do que é alcançável dentro do formalismo de estabilizadores para pequenos sistemas.