Operational detection of Wigner negativity in arbitrary quantum states from few copies

Resumo Técnico: Detecção Operacional de Negatividade de Wigner em Estados Quânticos Arbitrários a partir de Poucas Cópias

Problema
Sistemas quânticos de variáveis contínuas (CV), particularmente plataformas ópticas, dependem de distribuições de quase-probabilidade no espaço de fase para a descrição de estados. A função de Wigner é central para este arcabouço, servindo como uma representação completa de estados quânticos. No entanto, diferentemente de distribuições de probabilidade clássicas, a função de Wigner pode atingir valores negativos. Esta "negatividade de Wigner" é um recurso não clássico fundamental, vinculado à quebra da simulação clássica eficiente (via teorema de Gottesman-Knill) e essencial para computação quântica, correção de erros e destilação de estados.

Métodos existentes para detectar e quantificar a negatividade de Wigner dependem primordialmente da tomografia completa do estado quântico para reconstruir a função de Wigner. Esses procedimentos são experimentalmente exigentes, pois o número de cópias de estado necessárias escala rapidamente com o tamanho do sistema, tornando-os impraticáveis para estados arbitrários ou de grande escala. Há uma necessidade crítica de métodos que possam detectar e quantificar a negatividade de Wigner usando apenas um número modesto de cópias de estado sem exigir a reconstrução completa do espaço de fase.

Metodologia
Os autores desenvolvem um arcabouço unificado baseado nos momentos da função de Wigner. O $m$-ésimo momento de Wigner é definido como a integral da $m$-ésima potência da função de Wigner sobre o espaço de fase:
$$w_m := \int_{\mathbb{R}^{2N}} W^m d^N x d^N p$$
A ideia central é que, se uma função de Wigner for em toda parte não negativa (uma medida positiva), seus momentos devem satisfazer restrições matemáticas específicas. Violações dessas restrições servem como testemunhas para a negatividade de Wigner.

O artigo deriva três hierarquias complementares de critérios de detecção baseadas nessas restrições:

1. Hierarquia de Norma $L_p$ (LP): Derivada de desigualdades fundamentais de norma $L_p$ para medidas positivas, produzindo condições da forma $(w_n)^{n-2} - (w_{n-1})^{n-1} \geq 0$.
2. Hierarquia de Log-convexidade (LC): Baseada na log-convexidade da sequência de momentos para medidas positivas, produzindo condições da forma $w_{n-1}w_{n+1} - w_n^2 \geq 0$.
3. Hierarquia de Positividade de Matriz de Hankel: Uma abordagem mais forte que utiliza a positividade de matrizes de Hankel construídas a partir da sequência de momentos. Para uma função de Wigner positiva, a matriz $H_n(w)$ com elementos $[H_n(w)]_{ij} = w_{i+j+1}$ deve ser semidefinida positiva para todo $n$. Esta hierarquia é mostrada como sendo monotônica, onde matrizes de ordem superior fornecem critérios de detecção estritamente mais fortes do que os de ordem inferior.

Para abordar a viabilidade operacional de medir esses momentos, os autores estabelecem uma representação multi-cópia exata. Eles provam que qualquer $n$-ésimo momento de Wigner pode ser expresso como o valor esperado de um observável universal atuando em $n$ cópias idênticas do estado:
$$w_n = \text{Tr}\left[\rho^{\otimes n} A_n\right]$$
onde $A_n$ é um operador hermitiano envolvendo uma transformação interferométrica coletiva seguida por uma medição de paridade conjunta nos graus de liberdade relativos. Isso permite que os momentos sejam estimados diretamente de medições aleatórias (sombras clássicas) sem a reconstrução total do estado.

Principais Contribuições e Resultados

• Hierarquias de Detecção: O artigo apresenta três famílias de critérios para detectar negatividade de Wigner. Simulações numéricas em estados de Fock mistos e estados gato ruidosos demonstram que a hierarquia de matriz de Hankel fornece uma melhoria sistemática e monotônica no poder de detecção, capturando a região não clássica completa de forma mais eficaz do que os critérios de norma $L_p$ ou de log-convexidade, que não necessariamente melhoram com ordens superiores.
• Quantificação: Além da detecção binária, o arcabouço fornece limites inferiores certificáveis para a medida de negatividade de Wigner logarítmica, $L(W) = \log \int |W| d\mu$. Os autores definem uma família de quantidades baseadas em momentos $L_r(W)$ que servem como limites inferiores. Eles identificam $L_4(W)$, que depende apenas dos segundos e quartos momentos, como o quantificador otim-timamente acessível experimentalmente, fornecendo o limite inferior mais justo.
• Estimativa Operacional: A derivação da representação multi-cópia exata (Teorema 5) vincula momentos abstratos do espaço de fase a observáveis físicos. Especificamente, $w_n$ é o valor esperado de um observável de paridade atuando em $n$ cópias após uma transformação ortogonal que separa as coordenadas coletivas e relativas.
• Eficiência via Sombras Clássicas: Os autores demonstram através de simulações numéricas que tanto a testemunha de detecção ($\Gamma_3$) quanto o quantificador ($L_4$) podem ser recuperados eficientemente usando protocolos de sombras clássicas (classical shadows) com um número modesto de cópias de estado (ex: 500 sombras), reduzindo significativamente o overhead de recursos em comparação com a tomografia completa.
• Extensão para Emaranhamento: O arcabouço é estendido para detectar emaranhamento quântico. Ao aplicar as hierarquias de momentos a funções de Wigner reduzidas ou coletivas (ex: traçando fora modos relativos), os critérios servem como testemunhas para emaranhamento NPT bipartido e emaranhamento multipartite genuíno (GME).

Significância e Alegações
O artigo afirma estabelecer os momentos de Wigner como uma ferramenta versátil para a detecção e quantificação escalável de recursos não clássicos em sistemas CV. A significância reside em:

1. Escalabilidade: A capacidade de detectar e quantificar a negatividade de Wigner a partir de um pequeno número de cópias de estado sem conhecimento prévio do estado ou tomografia completa do espaço de fase.
2. Interpretação Operacional: Fornecer uma interpretação física direta dos momentos de Wigner como valores esperados de paridade multi-cópia mensuráveis, preenchendo a lacuna entre propriedades abstratas do espaço de fase e observáveis experimentais.
3. Arcabouço Unificado: Oferecer uma hierarquia sistemática de critérios onde experimentalistas podem trocar o custo de medição (número de cópias/momentos) pelo poder de detecção, sendo que a hierarquia de Hankel oferece a detecção mais robusta.
4. Identificação de Recursos: Demonstrar que o mesmo arcabouço baseado em momentos pode ser elevado para detectar emaranhamento, estabelecendo assim a unificação da detecção de não-classicidade e correlações quânticas.

Os autores concluem que, embora as hierarquias de $L_p$ e de log-convexidade ofereçam testemunhas simples, a hierarquia de Hankel fornece um teste progressivamente mais forte, particularmente para estados mistos. O arcabouço possibilita uma rota prática para certificar recursos não clássicos em sistemas quânticos de variáveis contínuas usando medições aleatórias.