Almost no experiments have classical Kirkwood-Dirac representations

Resumo Técnico: "Quase nenhum experimento possui representações de Kirkwood-Dirac clássicas"

Definição do Problema
Um desafio central na informação quântica é delinear a fronteira entre fenômenos clássicos e quânticos. No arcabouço das quase-probabilidades, um estado é considerado "clássico" se admitir uma representação como uma distribuição de probabilidade positiva. Embora a função de Wigner tenha sido fundamental nesse sentido, a distribuição de Kirkwood-Dirac (KD) emergiu como uma ferramenta versátil para a informação quântica de variáveis discretas, oferecendo aplicações em metrologia, valores fracos, termodinâmica e contextualidade.

A distribuição KD $Q(\rho)$ é definida em relação a duas bases arbitrárias, $\{|a_i\rangle\}$ e $\{|b_j\rangle\}$, associadas aos observáveis $A$ e $B$. Um estado $\rho$ é KD-positivo (clássico) se todos os termos de $Q(\rho)$ forem reais e não negativos. Um problema aberto crítico é a caracterização completa do conjunto de estados KD-positivos, denotado por $E_{KD+}$. Diferente da função de Wigner, onde o conjunto de estados positivos é conhecido por ser limitado a estados gaussianos (para estados puros), a estrutura de $E_{KD+}$ para distribuições KD é complexa. Não é necessariamente um polítopo, e seus pontos extremais podem incluir estados mistos que não são combinações convexas de estados puros KD-positivos (chamados de "estados exóticos"). Essa complexidade torna difícil identificar a não-clássicidade ou simular circuitos quânticos eficientemente usando distribuições KD.

Metodologia
Os autores empregam uma abordagem geométrica probabilística para caracterizar os conjuntos de estados KD-positivos, observáveis KD-reais e unitárias que preservam a positividade de KD.

1. Seleção de Base Aleatória: Em vez de analisar casos específicos, potencialmente patológicos, os autores consideram dois conjuntos de projetores de base, $A = \{|a_i\rangle\langle a_i|\}$ e $B = \{|b_j\rangle\langle b_j|\}$, escolhidos aleatoriamente de acordo com a medida de Haar no grupo unitário $U(d)$.
2. Formulação Algébrica Linear: O problema é mapeado para o estudo da matriz de transição $U$ (onde $U_{ij} = \langle a_i | b_j \rangle$). Os autores definem um mapa linear $C_U$ atuando no espaço de matrizes reais. Eles demonstram que o espaço de observáveis KD-reais, $V_{KDr}$, é isomorfo ao núcleo deste mapa, $\text{Ker}(C_U)$.
3. Análise Dimensional: Os autores estabelecem que o invólucro convexo dos projetores de base, $\text{conv}(A \cup B)$, está sempre contido em $E_{KD+}$. O cerne da prova envolve mostrar que, para quase todas as matrizes unitárias $U$ (especificamente aquelas sem entradas zero), a dimensão do espaço de observáveis KD-reais é mínima ($2d-1$). Isso implica que nenhum "extra" estado ou observável KD-positivo existe além do invólucro convexo e do ínterim real dos projetores de base.
4. Teoria da Medida: Ao construir uma matriz unitária específica $U_\star$ para a qual a dimensão do núcleo é mínima e utilizando o fato de que o determinante do mapa linear relevante é um polinômio de termos não nulos em relação aos elementos da matriz de $U$, os autores invocam a Proposição 3 (um resultado sobre a medida de Haar nula de conjuntos de funções analíticas reais) para provar que essa estrutura mínima ocorre com probabilidade 1.

Contribuições Principais e Resultados
O artigo apresenta o Teorema 1, que afirma que, para quase todas as escolhas de duas bases de dimensão $d$ (com $d > 2$), os conjuntos de objetos clássicos no arcabouço KD são mínimos e explicitamente caracterizados:

• Estados KD-Positivos ($E_{KD+}$): O conjunto de estados KD-positivos é exatamente o invólucro convexo das duas bases:
  $$E_{KD+} = \text{conv}(A \cup B)$$
  Este conjunto é um polítopo de dimensão $2(d-1)$ com exatamente $2d$ vértices conhecidos (os projetores das duas bases). Não existem estados mistos extremais "exóticos" para quase todas as distribuições KD.
• Observáveis KD-Reais ($V_{KDr}$): Um observável é KD-real se, e somente se, pertencer ao espaço vetorial real gerado pelas duas bases:
  $$V_{KDr} = \text{span}_{\mathbb{R}}(A \cup B)$$
• Medições KD-Positivas ($M_{KD+}$): Qualquer elemento de medição com uma representação KD positiva deve ser uma combinação linear dos projetores de base com coeficientes não negativos.
• Unitárias que Preservam a Positividade de KD: As únicas transformações unitárias que mapeiam estados KD-positivos para estados KD-positivos são fases globais triviais:
  $$T = e^{i\alpha}I, \quad \alpha \in \mathbb{R}$$

Significância e Implicações
Os autores argumentam que estes resultados simplificam fundamentalmente a compreensão da clássicidade no arcabouço KD para "quase todos" os arranjos experimentais:

1. Robustez da Não-Clássicidade: Como o conjunto de estados clássicos é um polítopo simples com faces conhecidas, construir testemunhas de não-clássicidade torna-se direto. Pode-se facilmente estabelecer um limite inferior para a distância de um dado estado em relação ao conjunto clássico usando a geometria conhecida de $E_{KD+}$.
2. Contextualidade: Os resultados esclarecem as condições para a contextualidade generalizada. Uma vez que o conjunto de estados de entrada que produzem comportamento clássico (não contextual) é mínimo e bem definido para quase todos os observáveis, a detecção de contextualidade é robusta contra a escolha específica das bases.
3. Ausência de Estados Exóticos: O artigo demonstra que estados KD-positivos "exóticos" (estados mistos que não podem ser decompostos em estados puros KD-positivos) são fenômenos raros, existindo apenas em distribuições KD customizadas (por exemplo, sistemas específicos de spin-1 ou multi-qubit).
4. Simulação Clássica: Os resultados implicam limitações severas na eficiência das simulações clássicas de circuitos quânticos usando distribuições KD. Uma vez que os únicos circuitos KD-positivos envolvem a inicialização em $\text{conv}(A \cup B)$ seguida imediatamente pela medição em $M_{KD+}$, quase todos os circuitos quânticos não triviais exibirão não-positividade de KD, tornando-os difíceis de simular classicamente via métodos de amostragem de Monte Carlo que dependem de quase-probabilidades positivas.

Em conclusão, o artigo estabelece que a complexidade frequentemente associada às distribuições KD é a exceção e não a regra. Para a vasta maioria das configurações experimentais, a fronteira clássico-quântica é nítida, simples e totalmente caracterizada pela geometria convexa das bases de medição.