Detection of nonabsolute separability in quantum states and channels through moments

Título: Detecção de não-separabilidade absoluta em estados e canais quânticos através de momentos

Autores: Bivas Mallick, Saheli Mukherjee, Nirman Ganguly e A. S. Majumdar.

1. Problema e Contexto

No domínio da informação e computação quântica, o emaranhamento é um recurso fundamental para tarefas como criptografia segura, teletransporte e aceleração computacional. No entanto, nem todos os estados separáveis são inúteis. Existe uma classe específica de estados separáveis chamados estados absolutamente separáveis (AS).

• Definição: Um estado é absolutamente separável se ele permanecer separável sob a ação de qualquer operação unitária global. Isso significa que, mesmo aplicando o melhor gate unitário possível, não é possível gerar emaranhamento a partir desses estados.
• O Desafio: Do ponto de vista da teoria de recursos, os estados que não são absolutamente separáveis (não-AS) são valiosos, pois podem ser convertidos em estados emaranhados através de unitárias globais adequadas.
• Limitações dos Métodos Atuais:
  • Os critérios existentes para detectar estados não-AS baseiam-se no espectro de autovalores do estado (e.g., critérios de separabilidade de qubit-qudit).
  • Para obter esses autovalores, é necessária a tomografia de estado completa, que exige um número exponencial de configurações de medição e cópias do estado, tornando-a experimentalmente inviável para sistemas de dimensão elevada.
  • Métodos baseados em "testemunhas" (witnesses) frequentemente exigem conhecimento prévio da estrutura do estado (como sua classe de emaranhamento ou forma paramétrica).

O objetivo deste trabalho é desenvolver um método eficiente para detectar estados não-AS e canais não-absolutamente separadores sem a necessidade de tomografia completa ou suposições estruturais prévias.

2. Metodologia: Abordagem Baseada em Momentos

Os autores propõem um framework que utiliza momentos de mapas positivos para caracterizar a separabilidade absoluta.

• Conceito Central: Em vez de reconstruir o estado completo, o método avalia funcionais simples (momentos) que podem ser estimados experimentalmente usando técnicas modernas como tomografia de sombra (shadow tomography) ou medições aleatorizadas.

• Definição dos Momentos:
  Para um estado bipartido $\rho_{AB}$ e um mapa positivo $\Lambda$ (que não é completamente positivo, como a transposição $T$ ou o mapa de redução $R$), define-se o $n$-ésimo momento $s_n$ após a aplicação de uma unitária global $U$:
  $$s_n := \text{Tr}[S_{\Lambda}^n]$$
  onde $S_{\Lambda}$ é o operador normalizado resultante da aplicação do mapa em uma das partes do estado transformado.

• Critérios de Detecção:
  Os autores derivam condições necessárias para um estado ser absolutamente separável. Se um estado viola essas condições, ele é necessariamente não-AS.

  1. Critério de Segunda e Terceira Ordem (Teorema 1): Para estados absolutamente separáveis, deve valer $s_2^2 \leq s_3$. A violação ($s_2^2 > s_3$) indica não-separabilidade absoluta.
  2. Critério de Matrizes de Hankel (Teorema 2): Utilizando momentos de ordem superior, constrói-se matrizes de Hankel $H_m(s)$. Para estados AS, o determinante dessas matrizes deve ser não-negativo ($\det[H_m] \geq 0$). A violação fornece um critério mais forte e capaz de detectar estados que o critério de baixa ordem não consegue.

• Extensão para Outros Problemas:

  • Estados Não-ABSOLUTAMENTE PPT: O mesmo framework é adaptado para detectar estados que possuem a propriedade de Transposta Parcial Positiva (PPT) sob qualquer unitária, mas que podem se tornar NPT (não-PPT) sob unitárias específicas.
  • Canais Quânticos: O método é aplicado para detectar canais não-absolutamente separadores. Um canal é absolutamente separador se, para qualquer estado de entrada, a saída for sempre absolutamente separável. O critério verifica se o canal destrói a capacidade de gerar emaranhamento.

3. Principais Contribuições e Resultados

1. Eficiência Experimental:

   • O método elimina a necessidade de tomografia de estado completa.
   • Requer apenas um número polinomial de cópias do estado, em contraste com o exponencial necessário para a tomografia.
   • É compatível com dispositivos NISQ (Noisy Intermediate-Scale Quantum) e sistemas de muitos corpos.

2. Validação através de Exemplos:

   • Os autores demonstram a eficácia do método em vários cenários, incluindo estados de dois qubits ($2 \otimes 2$), sistemas $2 \otimes 4$ e estados isotrópicos em $3 \otimes 3$.
   • Exemplo Chave: Mostram que o critério de baixa ordem (Teorema 1) falha em detectar certos estados não-AS, enquanto o critério baseado em matrizes de Hankel de ordem superior (Teorema 2) detecta com sucesso esses estados, provando a superioridade da abordagem de momentos de alta ordem.
   • A detecção de canais depolarizantes globais (qubits e qutrits) é realizada, identificando os regimes de parâmetros onde o canal deixa de ser absolutamente separador.

3. Vantagem Operacional em Discriminação de Canais (Teorema 7):

   • O trabalho estabelece uma conexão fundamental entre a não-separabilidade absoluta e a vantagem operacional.
   • Prova: Eles provam que todo estado bipartido não-absolutamente separável oferece uma vantagem estrita na tarefa de discriminação de canais quânticos em comparação com qualquer estado absolutamente separável.
   • Especificamente, para cada estado não-AS, existe um par de canais que pode ser discriminado com uma probabilidade de sucesso estritamente maior do que qualquer estado AS permitiria. Isso valida a utilidade prática desses estados como recursos.

4. Significância e Conclusão

• Superação de Limitações Computacionais: A detecção de propriedades "absolutas" é um problema intrinsecamente difícil (NP-difícil) porque exige verificar a órbita unitária global do estado. Embora os critérios de momentos não reduzam a complexidade computacional teórica de explorar toda a órbita, eles fornecem condições suficientes práticas e acessíveis experimentalmente para identificar estados que não são absolutamente separáveis.
• Aplicabilidade Geral: O método é independente da dimensão do sistema e não requer conhecimento prévio do estado, tornando-o uma ferramenta robusta para a caracterização de recursos quânticos em laboratórios reais.
• Impacto Futuro: O trabalho abre caminho para a identificação de outros tipos de "não-absolutude" em estados quânticos e sugere que a implementação experimental via tomografia de sombra é viável.

Em resumo, este artigo fornece uma ferramenta teórica e experimentalmente viável para identificar e utilizar estados quânticos que, embora inicialmente separáveis, contêm o potencial de gerar emaranhamento, superando as limitações de custo e complexidade dos métodos tradicionais de tomografia.