Sufficient Wigner Negativity Implies Genuine Multipartite Entanglement

Resumo Técnico: A Negatividade de Wigner Suficiente Implica em Emaranhamento Multipartite Genuíno

Definição do Problema
Embora a negatividade de Wigner e o emaranhamento multipartite genuíno (GME) sejam reconhecidos como recursos não clássicos distintos e essenciais para a vantagem quântica, sua relação fundamental tem sido amplamente inexplorada além do regime bipartido. Os critérios existentes para detecção de GME em sistemas de variáveis contínuas (CV) frequentemente dependem de medições de quadraturas ou tomografia completa do estado, que são experimentalmente exigentes e frequentemente indisponíveis em plataformas de leitura nativa de espaço de fase, como eletrodinâmica quântica de circuitos e cavidade (cQED), eletrodinâmica quântica acústica de circuitos (cQAD) e sistemas de íons/átomos aprisionados. Há uma necessidade crítica de critérios de GME que utilizem leituras nativas de espaço de fase (funções de Wigner e características) sem exigir transformações globais ou tomografia completa.

Metodologia
Os autores estabelecem um arcabouço teórico que vincula a negatividade de Wigner ao GME em sistemas CV multimodo através de dois teoremas principais. A abordagem envolve:

1. Definição de Não Classicalidade via Espaço de Fase: Utilizando a função de Wigner $W_\rho(\vec{\alpha})$ e a função característica $\chi_\rho(\vec{\xi})$ como observáveis primários.
2. Projeções Geométricas: Analisando fatias bidimensionais específicas do espaço de fase $2M$-dimensional definidas por coeficientes $\vec{y}, \vec{z}$ que satisfazem $\vec{y} \circ \vec{y}^* - \vec{z} \circ \vec{z}^* = \vec{1}$.
3. Redução do Centro de Massa: Construindo um estado reduzido para o modo "centro de massa" ($a_+$) ao traçar os modos relativos, e analisando sua função de Wigner após a convolução com um núcleo de suavização derivado de estados auxiliares.
4. Construção de Testemunhas (Witnesses): Derivando desigualdades onde violações (volumes de negatividade suficientemente grandes ou persistência da negatividade após a suavização) servem como testemunhas para o GME.

Contribuições Principais e Resultados

• Teorema 1 (Volume de Negatividade Suficiente): Os autores provam que um volume de negatividade suficientemente grande da função de Wigner ao longo de uma fatia bidimensional adequadamente escolhida implica em GME. Especificamente, se o volume de negatividade $N_{2D}(\rho)$ exceder um limite $N^{GME}_{2D}(\rho)$ (que depende do número de modos $M$ e da integral da função de Wigner), o estado é emaranhado multipartite genuíno.

  • Implicação Prática: Isso leva ao Corolário 2, um critério de GME que requer apenas a medição da função de Wigner sobre uma região finita do espaço de fase. Para um estado W tripartido, integrar sobre uma região com raio $r \gtrsim 0.7$ é suficiente para certificar o GME.

• Teorema 2 (Negatividade do Centro de Massa Suavizado): Os autores demonstram que, se a função de Wigner do modo centro de massa permanecer negativa após ser suavizada por um núcleo de convolução específico (derivado de $M-2$ estados auxiliares), o sistema possui GME.

  • Limite Quantitativo: A magnitude da função de Wigner suavizada negativa fornece um limite inferior para a distância de traço em relação ao conjunto de estados não-GME.
  • Conexão com a Profundidade de Não Classicalidade: Este teorema está vinculado à profundidade de não classicalidade $\tau_c$ de Lee. O Corolário 1 afirma que, se a profundidade de não classicalidade do modo centro de massa satisfizer $\tau_c(\text{tr}_-\rho) > 1 - M^{-1}$, o estado é GME.
  • Condição de Geração: O inverso fornece uma condição suficiente para gerar GME: interferir um estado com o vácuo via um interferômetro maximamente misto resulta em GME se a profundidade de não classicalidade do estado de entrada exceder o limite.

• Critérios de Função Característica: Complementando a abordagem baseada em Wigner, o Corolário 3 estabelece um critério de GME baseado em um número finito de medições da função característica. Ao construir uma matriz a partir de medições pontuais da função característica ao longo de uma fatia 2D e verificar a presença de autovalores negativos em seu produto elemento a elemento com uma matriz de núcleo, pode-se certificar o GME. Para o estado W tripartido, isso requer medir apenas 10 pontos distintos.

Significância e Alegações
O artigo afirma fornecer conexões fundamentais entre duas formas distintas de não classicalidade: negatividade de quaseprobabilidade e correlação-emaranhamento. A principal significância reside na implementabilidade experimental dos critérios propostos. Diferente dos critérios de GME em CV existentes, que frequentemente exigem medições de quadraturas ou tomografia completa, estes métodos dependem de:

• Medições da função de Wigner em regiões finitas.
• Medições de pontos finitos da função característica.

Estas são leituras nativas em plataformas de cQED, cQAD e íons/átomos aprisionados. Os autores enfatizam que seus critérios são "facilmente implementáveis" nesses sistemas, oferecendo uma alternativa prática à tomografia de estado. Além disso, o trabalho estende a relação conhecida entre a negatividade de Wigner e o emaranhamento do caso bipartido para o regime multipartite, fornecendo condições necessárias e suficientes para a detecção de GME em sistemas multimodo. Os autores observam que, embora os critérios sejam robustos para $M$ finito, sua eficácia pode diminuir com o aumento do número de modos na presença de ruído.