All non-locally Realized Continuous Variable Bipartite Gaussian States are Entangled

Resumo Técnico: Todos os Estados Gaussianos Bipartidos de Variáveis Contínuas não Localmente Realizáveis são Emaranhados

Enunciado do Problema
Embora o emaranhamento e a não-localidade quântica sejam fenômenos distintos, sua relação dentro de estados gaussianos bipartidos de variáveis contínuas (CV) permanece uma área que requer esclarecimento rigoroso. Embora o emaranhamento seja amplamente reconhecido como um recurso para tecnologias quânticas, e a não-localidade seja frequentemente vista como evidência de emaranhamento, as condições precisas sob as quais um implica o outro não estão totalmente estabelecidas analiticamente, particularmente no quadro de Heisenberg. Trabalhos anteriores mostraram que o emaranhamento nem sempre garante a violação das desigualdades de Bell (não-localidade) e, inversamente, certos estados não-produto podem violar desigualdades de Bell sem serem emaranhados em contextos específicos. Uma expressão analítica direta quantificando a não-localidade para estados gaussianos, especificamente ligando-a aos critérios de emaranhamento, foi identificada como uma "área cinzenta" na literatura. Este artigo aborda a necessidade de formular uma expressão analítica para a violação da desigualdade de Bell em estados gaussianos e de estabelecer definitivamente a dependência lógica entre não-localidade e emaranhamento para esta classe específica de estados.

Metodologia
A investigação utiliza a representação de fase-espaço de Wigner para formular a função de Bell para estados gaussianos bipartidos de CV. A metodologia procede através dos seguintes passos:

1. Padronização de Matrizes de Correlação: Os autores começam representando o estado gaussiano bipartido através de uma matriz de correlação simétrica real $4 \times 4$ ($V'$). Eles aplicam um operador de Bogoliubov unitário linear local (LLUBO), consistindo em compressão (squeezing) e rotação locais, para transformar esta matriz em uma forma padrão ($V$). Esta forma padrão é caracterizada por parâmetros $n, m$ (representando variâncias locais) e $c_1, c_2$ (representando correlações cruzadas), sujeitos às restrições do princípio da incerteza.
2. Formulação da Função de Bell: A não-localidade é quantificada pelo valor máximo da função de Bell ($|B_{max}|$), expressa em termos de funções de quase-probabilidade de Wigner. A função de Bell é definida como uma combinação linear de funções de Wigner avaliadas em vetores de fase-espaço específicos.
3. Maximização Analítica: Os autores derivam uma expressão analítica para a função de Bell maximizada ($B_{max}$) otimizando o expoente da função de Wigner. Isso envolve variar ângulos de fase ($\theta_I, \theta_S$) e amplitudes ($\alpha_I, \alpha_S$) para encontrar o máximo global. A derivação produz uma expressão de forma fechada para $B_{max}$ dependente do determinante da matriz de correlação e dos parâmetros de correlação cruzada.
4. Análise Comparativa: A condição derivada para não-localidade ($B_{max} \geq 2$) é comparada contra os critérios suficientes de Simon para emaranhamento. Os autores analisam as desigualdades matemáticas que regem ambas as condições para determinar se a satisfação de uma implica a outra.

Principais Contribuições e Resultados

• Expressão Analítica para Não-Localidade: O artigo fornece uma expressão analítica de forma fechada para a função de Bell maximizada ($B_{max}$) para estados gaussianos bipartidos de CV gerais (Eq. 9). Esta expressão é derivada diretamente dos elementos da matriz de correlação de forma padrão, oferecendo um método direto para testar a não-localidade sem recorrer à maximização puramente numérica.
• Verificação dos Limites TMSV: A fórmula derivada recupera com sucesso resultados conhecidos para o estado de Vácuo de Dois Modos Comprimido (TMSV). Especificamente, confirma que conforme o fator de compressão $r \to \infty$, o estado aproxima-se de um limite de máxima não-localidade ($B_{max} \approx 2.19$).
• Relacionamento Lógico entre Emaranhamento e Não-Localidade:
  • Não-Localidade $\implies$ Emaranhamento: Os autores provam que, para estados gaussianos bipartidos, a condição de não-localidade (violação da desigualdade de Bell) é uma condição suficiente para o emaranhamento. Se um estado é realizável não-localmente, ele é necessariamente emaranhado.
  • Emaranhamento $\nRightarrow$ Não-Localidade: Inversamente, o artigo demonstra que o emaranhamento não é suficiente para garantir a não-localidade. Existem estados gaussianos emaranhados que não violam as desigualdades de Bell (ou seja, são localmente realizáveis).
  • Necessidade: A análise confirma que o emaranhamento é uma condição necessária para a não-localidade neste contexto; um estado não-emaranhado (separável) não pode exibir não-localidade.

Significância e Alegações
O artigo afirma resolver a ambiguidade em relação à relação entre emaranhamento e não-localidade especificamente para estados gaussianos. Ao fornecer uma formulação analítica, o trabalho estabelece uma condição de contorno clara: embora todos os estados gaussianos bipartidos realizados não-localmente sejam emaranhados, o inverso não é verdadeiro. Os autores enfatizam que sua análise constrói uma conexão definitiva entre esses dois fenômenos, provando que a não-localidade serve como uma testemunha robusta para o emaranhamento em sistemas gaussianos, enquanto o emaranhamento sozinho não garante a presença de comportamento não-local. O trabalho não propõe novos arranjos experimentais ou aplicações futuras, mas foca na clarificação teórica dessas correlações quânticas fundamentais usando o formalismo de fase-espaço de Wigner.