Hierarchy of hidden nonlocality: A genuine activation of Incompletability

Resumo Técnico: Hierarquia da Incompletabilidade Oculta: Uma Ativação Genuína da Incompletabilidade

Problema
O artigo aborda as limitações operacionais de Operações Locais e Comunicação Clássica (LOCC) no contexto da discriminação de estados quânticos. Embora seja bem estabelecido que certos conjuntos de estados ortogonais não podem ser perfeitamente distinguidos por LOCC (um fenômeno conhecido como "não localidade sem emaranhamento"), o artigo investiga o comportamento dinâmico de conjuntos que são inicialmente distinguíveis localmente. Especificamente, os autores exploram se um conjunto de estados ortogonais que é perfeitamente distinguível por LOCC e livre de redundância local pode ser transformado, via LOCC, em um conjunto que não é apenas localmente indistinguível, mas também "estritamente incompletabel". A incompletabilidade estrita refere-se a um conjunto de estados de produto ortogonais que não pode ser estendido para uma base de produto ortonormal completa do espaço de Hilbert subjacente, mesmo em um espaço ampliado. A questão central é se a "ativação da incompletabilidade" constitui um fenômeno distinto e mais forte do que a anteriormente estudada "ativação da não localidade".

Metodologia
Os autores utilizam um rigoroso arcabouço teórico baseado na teoria da informação quântica, utilizando os seguintes conceitos e ferramentas:

• LOCC e OPLM: O estudo foca em Medições Locais Preservadoras de Ortogonalidade (OPLM), um subconjunto de LOCC onde medições locais preservam a ortogonalidade pareada do conjunto de estados.
• Definições de Ativação: O artigo define formalmente conjuntos "ativáveis de não localidade" (transformáveis em conjuntos localmente indistinguíveis) e conjuntos "ativáveis de incompletabilidade" (transformáveis em conjuntos estritamente incompletabéis).
• Protocolos Construtivos: Os autores fornecem protocolos LOCC determinísticos explícitos para sistemas bipartidos específicos (por exemplo, $\mathbb{C}^2 \otimes \mathbb{C}^4$ e $\mathbb{C}^6 \otimes \mathbb{C}^6$) para demonstrar a transformação de conjuntos completáveis e distinguíveis em conjuntos incompletabéis.
• Teoria de Recursos da Coerência: Para analisar a relação entre esses fenômenos, os autores restringem as operações a Operações Locais Incoerentes e Comunicação Clássica (LICC). Eles utilizam conceitos como entropia de von Neumann, entropia relativa de coerência e as propriedades de estados incoerentes para provar restrições estruturais sobre a ativação da incompletabilidade.
• Contraexemplos: Para estabelecer a hierarquia, eles constroem contraexemplos específicos de conjuntos que exibem ativação de não localidade, mas falham em exibir ativação de incompletabilidade.

Contribuições Principais e Resultados

1. Existência de Ativação de Incompletabilidade:
   O artigo demonstra a existência de conjuntos ortogonais de estados de produto que são inicialmente perfeitamente distinguíveis por LOCC e livres de redundância local. Por meio de protocolos LOCC específicos, esses conjuntos são transformados em conjuntos estritamente incompletabéis. Essa transformação é denominada "ativação da incompletabilidade".

2. Estabelecimento de uma Hierarquia:
   Os autores provam uma hierarquia estrita entre os dois fenômenos de ativação:

• Teorema 1: Qualquer conjunto que exibe ativação de incompletabilidade necessariamente exibe ativação de não localidade.
• O Reverso Falha: O artigo fornece um contraexemplo explícito (um conjunto de nove estados de produto em $\mathbb{C}^6 \otimes \mathbb{C}^6$) que pode ser transformado em um conjunto localmente indistinguível (ativação de não localidade), mas não pode ser transformado em um conjunto estritamente incompletabel.
• Conclusão: A ativação da incompletabilidade é um fenômeno estritamente mais forte do que a ativação da não localidade.

3. Papel de LICC e Coerência:
   Dentro do arcabouço de LICC, o artigo estabelece uma conexão fundamental entre incompletabilidade, coerência e emaranhamento.

• Teorema 2: Se um conjunto de estados de produto mutuamente ortogonais é perfeitamente distinguível por LOCC e sua incompletabilidade pode ser ativada via LICC, então existe uma completação deste conjunto para uma base ortonormal completa do espaço de Hilbert. No entanto, esta base completada resultante não é perfeitamente distinguível por LOCC.
• Mecanismo: A prova baseia-se no fato de que conjuntos estritamente incompletabéis devem possuir coerência quântica não nula em relação a toda e qualquer base localmente distinguível. Como as operações LICC não podem aumentar a coerência média de um conjunto de estados, a ativação da incompletabilidade implica que o conjunto inicial deveria ter sido completável para uma base que não é mais localmente distinguível.

Significância e Alegações
O artigo afirma descobrir uma interação fundamental entre distinguibilidade local, incompletabilidade, coerência e não localidade. Ao introduzir a noção de "ativação de incompletabilidade", os autores fornecem uma nova perspectiva operacional sobre a estrutura da informação quântica localmente acessível.

A significância reside em:

• Refinar a Compreensão da Não Localidade: Demonstra que a não localidade não é meramente uma propriedade estática de um conjunto, mas pode ser uma característica emergente ativada através de medições locais.
• Hierarquia de Recursos: Estabelece uma hierarquia não trivial onde a incapacidade de completar uma base (incompletabilidade) é uma condição mais rigorosa do que a incapacidade de distinguir estados (não localidade).
• Elo Coerência-Não Localidade: Destaca que, sob operações restritas (LICC), a ativação da incompletabilidade está intrinsecamente ligada à geração de coerência quântica, sugerindo que o emaranhamento (e a não localidade associada) pode ser visto como uma forma de coerência restrita que persiste sob descrições locais.

Os autores concluem que estes resultados lançam luz sobre a estrutura da informação quântica localmente acessível e sugerem direções futuras, tais como a caracterização da ativação de incompletabilidade em sistemas multipartites e a identificação de exemplos de dimensões mínimas para estas estruturas de ativação.