Local state antimarking : Nonlocality without entanglement

Resumo Técnico: Antimarca de Estado Local: Não Localidade sem Emaranhamento

Enunciado do Problema
A não localidade quântica sem emaranhamento descreve o fenômeno onde conjuntos de estados produto não podem ser perfeitamente distinguidos por Operações Locais e Comunicação Clássica (LOCC), apesar de serem globalmente distinguíveis. Embora extensivamente estudada no contexto da discriminação de estados (LSD), pesquisas recentes exploraram se a "não localidade" persiste sob tarefas menos exigentes, como a exclusão de estados (identificar um estado que não foi preparado) ou a marcação de estados (identificar a permutação de uma sequência).

Este trabalho aborda uma lacuna na hierarquia da não localidade investigando duas tarefas específicas:

1. Antidistinguibilidade Local de Estados (LSAD): A capacidade de identificar pelo menos um estado de um ensemble que não foi preparado, usando apenas LOCC.
2. Antimarca Local de Estados (LSAM): Uma tarefa unificada onde as partes recebem uma sequência não repetitiva de estados e devem identificar pelo menos uma permutação (sequência) que não foi a fornecida, usando apenas LOCC.

O problema central é determinar a relação entre esses paradigmas baseados em exclusão e os paradigmas de discriminação estabelecidos (LSD, LSD Conclusiva, Marcação Local Conclusiva de Estados), e identificar se novas formas de não localidade emergem ao passar da exclusão de estado único para a exclusão de sequência.

Metodologia
Os autores empregam um quadro teórico rigoroso baseado na teoria da informação quântica, focando especificamente em:

• Definições de Antidistinguibilidade: Distinguir entre antidistinguibilidade "forte" (onde cada resultado exclui um estado específico e cada estado é excludível) e versões "fracas". O artigo adota a definição forte.
• Protocolos LOCC: Analisar as capacidades de partes espacialmente separadas para realizar medições projetivas e comunicar-se classicamente para descartar estados ou sequências específicos.
• Provas Teóricas: Utilizar teoremas sobre a decomposição de conjuntos de estados e as propriedades de estados puros mutuamente ortogonais para derivar condições para a antidistinguibilidade local.
• Contraexemplos: Construir ensembles específicos de estados produto (tanto ortogonais quanto não ortogonais) para testar os limites desses paradigmas.

Principais Contribuições e Resultados

1. Antidistinguibilidade Local de Estados Ortogonais:
   O artigo prova um resultado fundamental: Qualquer ensemble de estados puros multipartites mutuamente ortogonais é localmente antidistinguível.

   • Método: Baseando-se no resultado seminal de Walgate et al. sobre a distinguibilidade local de dois estados ortogonais, os autores constroem um protocolo onde as partes podem eliminar pelo menos um estado de qualquer par. Ao utilizar aleatoriedade compartilhada para selecionar pares, demonstram que todo o conjunto pode ser antidistinguido.
   • Implicação: Isso implica que os famosos estados produto "não locais" introduzidos por Bennett et al. (que são localmente indistinguíveis) são na verdade localmente antidistinguíveis. A não localidade desses estados desaparece sob o paradigma LSAD.

2. Inequivalência dos Paradigmas (LSAD vs. CLSD):
   Os autores demonstram que LSAD e Discriminação Local Conclusiva de Estados (CLSD) são incomparáveis.

   • Existem ensembles de estados produto que são não locais sob CLSD, mas locais sob LSAD.
   • Inversamente, existem ensembles (por exemplo, os estados de Duan) que são não locais sob LSAD, mas locais sob CLSD.
   • Isso estabelece que o LSAD fornece uma métrica distinta e refinada para quantificar a "força" da não localidade, revelando nuances que o CLSD ignora.

3. Introdução da Antimarca Local de Estados (LSAM):
   O artigo introduz o LSAM, definido como a tarefa de excluir pelo menos uma sequência de um conjunto de sequências não repetitivas possíveis.

   • Hierarquia: Os autores estabelecem as cadeias de implicação: $LSD \implies LSM \implies LSAM$ e $LSD \implies LSAD \implies LSAM$. Consequentemente, se um conjunto falha no LSAM, ele falha em todas as outras tarefas, indicando uma forma mais forte de não localidade.
   • Ativação da Não Localidade: Uma descoberta significativa é a "ativação" da não localidade. Os autores apresentam ensembles de estados produto que não são globalmente antidistinguíveis (e, portanto, a questão da antidistinguibilidade local é irrelevante para os estados individuais). No entanto, quando esses estados são organizados em sequências (permutações), o conjunto resultante de sequências torna-se globalmente antidistinguível, mas não localmente antidistinguível.
   • Isso revela uma forma de não localidade que está oculta nos estados parentais, mas que é desbloqueada apenas ao considerar sequências, um fenômeno não observado em tarefas de discriminação padrão.

4. Contraexemplos Específicos:

   • Estados de Manna et al.: Estados previamente mostrados como não locais sob LSAD são demonstrados como localmente antimarcáveis (admitindo LSAM), mostrando que o LSAM é uma tarefa mais permissiva.
   • Estados de Duan: Embora não locais sob LSAD, esses estados admitem LSAM, destacando ainda mais a hierarquia.
   • Exemplo Tripartite ($S_{NL2}$): Um conjunto de estados produto tripartite é mostrado como globalmente antidistinguível e localmente conclusivamente distinguível (admitindo CLSD/CLSM), contudo falha no LSAM. Isso prova que o LSAM pode detectar não localidade que é suprimida tanto nos paradigmas CLSD quanto CLSM.
   • Exemplo Bipartite ($S_U$): Um conjunto de estados é apresentado que nem mesmo é globalmente antidistinguível, contudo as sequências formadas a partir deles são globalmente antimarcáveis, mas não localmente antimarcáveis.

Significado e Afirmações
O artigo afirma que o quadro LSAM oferece uma ferramenta poderosa para caracterizar a não localidade quântica sem emaranhamento. Ao unificar exclusão e marcação, revela uma hierarquia mais estrita de não localidade.

• Caracterização Refinada: O trabalho argumenta que análises de quadro único podem ser enganosas; dois ensembles podem parecer idênticos (ambos locais ou ambos não locais) em um paradigma (por exemplo, CLSD), mas divergir significativamente em outro (por exemplo, LSAD ou LSAM).
• Não Localidade Mais Forte: A incapacidade de realizar LSAM é apresentada como um sinal de uma forma "mais forte" de não localidade do que a incapacidade de realizar LSAD, LSM ou LSD.
• Sem Hierarquia Estrita: O artigo conclui que não existe uma hierarquia estrita entre LSAD/LSAM e CLSD/CLSM. Existem conjuntos que permitem uma tarefa enquanto proíbem estritamente a outra, e vice-versa.

Os autores observam modestamente que, embora tenham encontrado exemplos de não localidade no LSAM que estão ocultos em outros paradigmas, a questão de se estados mutuamente ortogonais podem alguma vez ser antidistinguíveis de forma não local permanece aberta (sugerindo que tais estados seriam necessariamente mistos). Eles também identificam a necessidade de um exemplo bipartite de um conjunto que seja globalmente antidistinguível, mas não localmente antimarcável, já que seu exemplo atual é tripartite.