Bounding Kirkwood-Dirac negativity of Gaussian processes

Resumo Técnico: Limitação da Negatividade de Kirkwood-Dirac em Processos Gaussianos

Enunciado do Problema
A distribuição de quasiprobabilidade de Kirkwood-Dirac (KD) fornece uma representação operacional de estados quânticos, onde sua negatividade serve como uma medida rigorosa de nãoclassicidade, vinculada a fenômenos como contextualidade, coerência e emaranhamento. Embora a distribuição KD tenha sido extensivamente estudada em sistemas de variáveis discretas e contextos específicos de variáveis contínuas (CV), uma caracterização completa de seus valores extremais (limites) para processos gaussianos gerais permanece desconhecida. Especificamente, não está claro quais estados maximizam ou minimizam a negatividade KD dentro do regime gaussiano e se recursos não-gaussianos são estritamente necessários para atingir esses extremos.

Metodologia
Os autores investigam a quasiprobabilidade KD de um estado quântico arbitrário passando por uma sequência de $N$ medições dentro de um processo gaussiano de $M$ modos. A dinâmica é governada por Hamiltonianos quadráticos (unitários gaussianos), e as medições são modeladas como medidas de operadores positivos (POVMs) com características gaussianas.

A metodologia procede através dos seguintes passos:

1. Formalismo: A distribuição KD $Q(r)$ é definida via um operador de quadro $\hat{F}(r)$ construído a partir de medições sequenciais e evoluções unitárias. A negatividade total $\mathcal{N}$ é quantificada como a integral do valor absoluto de $Q(r)$ sobre o espaço de fase.
2. Representação Gaussiana: Usando a representação de Weyl, os autores mapeiam operadores para funções de espaço de fase. Para processos gaussianos, as funções características são gaussianas, permitindo que a distribuição KD seja expressa em termos de matrizes de covariância ($\sigma$) e transformações simpléticas ($G$).
3. Derivação Analítica:
   • Limite Superior: Os autores derivam um limite superior global para a negatividade para quaisquer $M$ e $N$ usando a desigualdade de Cauchy-Schwarz aplicada ao integrando da definição de negatividade.
   • Otimização: Para o caso específico de um único modo ($M=1$) e duas medições ($N=2$), o problema é reduzido à otimização sobre a matriz de covariência do estado de entrada. Os autores exploram a correspondência entre matrizes de covariância de modo único e eventos em um espaço-tempo de Minkowski $(2+1)$-dimensional. Esse mapeamento geométrico permite que o problema de otimização seja tratado como a cinemática de uma partícula em um referencial de centro de massa.
   • Monotonicidade: Os autores provam que a negatividade KD é um monótono de Loewner não crescente em relação à matriz de covariência do estado gaussiano de entrada. Este resultado restringe a busca por extremos globais ao conjunto de estados gaussianos puros (onde o determinante da matriz de covariência é unitário).
4. Verificação Não-Gaussiana: Para testar a suficiência de estados gaussianos, os autores calculam a negatividade KD para estados específicos: estados de Fock comprimidos (squeezed Fock states) e superposições de estados coerentes (estados gato par e ímpar).

Principais Contribuições e Resultados

• Limite Superior Geral (Teorema 1): O artigo estabelece um limite superior em forma fechada para a negatividade KD de qualquer estado passando por um processo gaussiano de $M$ modos e $N$ medições. O limite depende exclusivamente das matrizes de covariência dos pares de medição e das unitárias simpléticas que impulsionam a evolução:
  $$\mathcal{N} \leq \frac{(2\pi)^{MN}}{4} \sqrt{\prod_{i=1}^{N-1} \det[\sigma(G_i) + \sigma(G_{i+1})]}$$
  onde $\sigma(G_j)$ representa a matriz de covariância transformada da $j$-ésima medição.

• Valores Extremais para Processos de Dois Medimentos e Um Único Modo (Teorema 2):

  • Máximo: O máximo global da negatividade KD é saturado por estados gaussianos no limite de compressão infinita (correspondendo a estados próprios de quadratura).
  • Mínimo: Para estados gaussianos puros de entrada, existe um mínimo global não trivial. Sua magnitude é governada pelo determinante da soma das covariâncias de medição.
  • Suficiência de Estados Gaussianos: A análise demonstra que o máximo possível de negatividade é alcançável utilizando apenas estados gaussianos.

• Análise de Estados Não-Gaussianos: Os autores calculam a negatividade para estados de Fock comprimidos e estados gato. Os resultados mostram que, embora esses estados não-gaussianos exibam negatividade significativa, eles não excedem o limite superior derivado para processos gaussianos. Especificamente, conforme o número de Fock $n$ ou a amplitude do estado gato $\alpha$ aumentam, a negatividade aproxima-se da média dos valores extremais em vez do máximo, sugerindo que a nãoclassicidade máxima neste contexto está localizada no regime de parâmetros intermediários acessível por estados gaussianos.

Significância e Alegações
O artigo afirma preencher uma lacuna crítica na caracterização de distribuições KD para processos gaussianos. A principal significância reside na descoberta de que estados gaussianos são suficientes para atingir os valores extremos de negatividade KD.

Contrariamente à intuição de que recursos altamente não-gaussianos (como estados de Fock ou estados gato) poderiam ser necessários para maximizar medidas de nãoclassicidade, os autores demonstram que o limite superior teórico é saturado por estados gaussianos adequadamente ajustados (especificamente, estados próprios de quadratura no limite de compressão infinita). Isso implica que, para aplicações que dependem da máxima negatividade KD — como termodinâmica quântica (extração de trabalho), metrologia (limites de variância de estimativa de parâmetros) e certificação de recursos quânticos — a preparação de estados não-gaussianos complexos pode não ser necessária. Os resultados sugerem que recursos gaussianos sozinhos podem fornecer a vantagem quântica associada à máxima negatividade KD em cenários de medição sequencial.