Almost no experiments have classical Kirkwood-Dirac representations

Resumen Técnico: "Casi ningún experimento posee representaciones de Kirkwood-Dirac clásicas"

Planteamiento del Problema
Un desafío central en la información cuántica es delinear la frontera entre los fenómenos clásicos y cuánticos. En el marco de las cuasiprobabilidades, un estado se considera "clásico" si admite una representación como una distribución de probabilidad positiva. Si bien la función de Wigner ha sido fundamental en este sentido, la distribución de Kirkwood-Dirac (KD) ha surgido como una herramienta versátil para la información cuántica de variables discretas, ofreciendo aplicaciones en metrología, valores débiles, termodinámica y contextualidad.

La distribución KD $Q(\rho)$ se define en relación con dos bases arbitrarias, $\{|a_i\rangle\}$ y $\{|b_j\rangle\}$, asociadas con los observables $A$ y $B$. Un estado $\rho$ es KD-positivo (clásico) si todos los elementos de $Q(\rho)$ son reales y no negativos. Un problema abierto crítico es la caracterización completa del conjunto de estados KD-positivos, denotado como $E_{KD+}$. A diferencia de la función de Wigner, donde se sabe que el conjunto de estados positivos está limitado a los estados gaussianos (para estados puros), la estructura de $E_{KD+}$ para las distribuciones KD es compleja. No es necesariamente un politopo, y sus puntos extremos pueden incluir estados mixtos que no son combinaciones convexas de estados puros KD-positivos (los llamados "estados exóticos"). Esta complejidad dificulta la identificación de la no-clasicidad o la simulación eficiente de circuitos cuánticos utilizando distribuciones KD.

Metodología
Los autores emplean un enfoque geométrico probabilístico para caracterizar los conjuntos de estados KD-positivos, observables KD-reales y unitarias que preservan la positividad de KD.

1. Selección Aleatoria de Bases: En lugar de analizar casos específicos, potencialmente patológicos, los autores consideran dos conjuntos de proyectores de base, $A = \{|a_i\rangle\langle a_i|\}$ y $B = \{|b_j\rangle\langle b_j|\}$, elegidos aleatoriamente según la medida de Haar en el grupo unitario $U(d)$.
2. Formulación Algebraica Lineal: El problema se mapea al estudio de la matriz de transición $U$ (donde $U_{ij} = \langle a_i | b_j \rangle$). Los autores definen un mapa lineal $C_U$ que actúa sobre el espacio de matrices reales. Demuestran que el espacio de los observables KD-reales, $V_{KDr}$, es isomorfo al núcleo de este mapa, $\text{Ker}(C_U)$.
3. Análisis Dimensional: Los autores establecen que la envolvente convexa de los proyectores de la base, $\text{conv}(A \cup B)$, está siempre contenida dentro de $E_{KD+}$. El núcleo de la prueba consiste en demostrar que para casi todas las matrices unitarias $U$ (específicamente aquellas sin entradas cero), la dimensión del espacio de los observables KD-reales es mínima ($2d-1$). Esto implica que no existen "extras" estados o observables KD-positivos más allá de la envolvente convexa y el span real de los proyectores de la base.
4. Teoría de la Medida: Mediante la construcción de una matriz unitaria específica $U_\star$ para la cual la dimensión del núcleo es mínima y utilizando el hecho de que el determinante del mapa lineal relevante es un polinomio no nulo en los elementos de la matriz de $U$, los autores invocan la Proposición 3 (un resultado respecto al conjunto de medida cero de las funciones analíticas reales) para probar que esta estructura mínima se mantiene con probabilidad 1.

Contribuciones Clave y Resultados
El artículo presenta el Teorema 1, el cual afirma que para casi todas las elecciones de dos bases de dimensión $d$ (con $d > 2$), los objetos clásicos en el marco de KD son mínimos y están caracterizados explícitamente:

• Estados KD-Positivos ($E_{KD+}$): El conjunto de estados KD-positivos es exactamente la envolvente convexa de las dos bases:
  $$E_{KD+} = \text{conv}(A \cup B)$$
  Este conjunto es un politopo de dimensión $2(d-1)$ con exactamente $2d$ vértices conocidos (los proyectores de las dos bases). No existen estados extremos mixtos "exóticos" para casi todas las distribuciones KD.
• Observables KD-Reales ($V_{KDr}$): Un observable es KD-real si y solo si pertenece al espacio vectorial real generado por las dos bases:
  $$V_{KDr} = \text{span}_{\mathbb{R}}(A \cup B)$$
• Mediciones KD-Positivas ($M_{KD+}$): Cualquier elemento de medición con una representación KD positiva debe ser una combinación lineal de los proyectores de la base con coeficientes no negativos.
• Unitarias que Preservan la Positividad de KD: Las únicas transformaciones unitarias que mapean estados KD-positivos a estados KD-positivos son fases globales triviales:
  $$T = e^{i\alpha}I, \quad \alpha \in \mathbb{R}$$

Significancia e Implicaciones
Los autores argumentan que estos resultados simplifican fundamentalmente la comprensión de la clasicidad en el marco de KD para "casi todos" los montajes experimentales:

1. Robustez de la No-Clasicidad: Dado que el conjunto de estados clásicos es un politopo simple con facetas conocidas, la construcción de testigos para la no-clasicidad se vuelve sencilla. Se puede establecer fácilmente una cota inferior para la distancia de un estado dado desde el conjunto clásico utilizando la geometría conocida de $E_{KD+}$.
2. Contextualidad: Los resultados aclaran las condiciones para la contextualidad generalizada. Dado que el conjunto de estados de entrada que producen un comportamiento clásico (no contextual) es mínimo y está bien definido para casi todos los observables, la detección de la contextualidad es robusta frente a la elección específica de las bases.
3. Ausencia de Estados Exóticos: El artículo demuestra que los estados KD-positivos "exóticos" (estados mixtos que no pueden descomponerse en estados puros KD-positivos) son fenómenos raros, que existen solo en distribuciones KD diseñadas específicamente (por ejemplo, sistemas de espín-1 o sistemas de múltiples qubits específicos).
4. Simulación Clásica: Los resultados implican limitaciones severas en la eficiencia de las simulaciones clásicas de circuitos cuánticos utilizando distribuciones KD. Dado que las únicas unitarias KD-positivas involucran la inicialización en $\text{conv}(A \cup B)$ seguida inmediatamente por la medición en $M_{KD+}$, casi todos los circuitos cuánticos no triviales exhibirán no-positividad de KD, lo que los hace difíciles de simular clásicamente mediante métodos de muestreo de Monte Carlo que dependen de cuasiprobabilidades positivas.

En conclusión, el artículo establece que la complejidad asociada frecuentemente con las distribaciones KD es la excepción más que la regla. Para la gran mayoría de las configuraciones experimentales, la frontera clásico-cuántica es nítida, simple y está totalmente caracterizada por la geometría convexa de las bases de medición.