Theory of direct measurement of the quantum pseudo-distribution via its characteristic function

Resumen Técnico: Teoría de la Medición Directa de la Pseudo-Distribución Cuántica mediante su Función Característica

Planteamiento del Problema
En la mecánica cuántica, la no conmutación de los observables impide una asignación conjunta inequívoca de sus propiedades, lo que imposibilita una distribución de probabilidad conjunta estándar. Si bien existen diversas pseudo-distribuciones (por ejemplo, Wigner, Husmi, Glauber-Sudarshan) para representar estados cuánticos, el campo enfrenta una falta de unicidad: no está claro cuál es la pseudo-distribución "correcta" para un experimento dado, y muchos de los métodos existentes para medir estas distribuciones dependen de escaneos de mediciones débiles sobre todos los eigenproyectores, lo cual consume muchos recursos. Además, la conexión de estas distribuciones con fenómenos no clásicos (como la contextualidad) se ve complicada por el número infinito de representaciones posibles. Los autores abordan la necesidad de un método agnóstico a la teoría para reconstruir una pseudo-distribución única directamente a partir de datos experimentales sin supuestos previos sobre su forma.

Metodología
El artículo propone un marco basado en tres eventos temporales consecutivos: la preparación de un estado inicial $|\psi\rangle$, una medición no invasiva (débil) de los momentos de un observable $\hat{A}$, y una medición proyectiva final en una base $\{|b_j\rangle\}$.

1. Enfoque de Variables Discretas: Para un espacio de Hilbert de dimensión $d$, los autores analizan los valores de esperanza condicionales de las potencias de un observable, $\langle \hat{A}^n \rangle_{\psi}^{b_j}$, para $n = 0, \dots, d-1$. Formulan una ecuación matricial $\vec{A} = V \cdot \vec{Q}$, donde $\vec{A}$ contiene los momentos condicionados medidos, $\vec{Q}$ representa la pseudo-distribución condicional desconocida, y $V$ es una matriz de Vandermonde construida a partir de los autovalores de $\hat{A}$. Al invertir $V$, la pseudo-distribución se determina de manera única.
2. Enfoque de la Función Característica: Los autores extienden esto a variables continuas y distribuciones conjuntas utilizando la función característica. Definen una función característica débil $Z(\chi) = \langle e^{i\chi \hat{O}} \rangle_{\psi}^{\phi}$, la cual puede medirse directamente mediante una configuración experimental única con un parámetro ajustable, en lugar de medir un número infinito de momentos. La pseudo-distribución se recupera mediante una transformada de Fourier inversa de esta función característica.
3. Mediciones Conjuntas y Reversas: El método se generaliza a dos observables no conmutantes ($\hat{A}$ y $\hat{B}$) mediante la construcción de una función característica conjunta $Z(\lambda, \chi) = \langle e^{i\lambda \hat{A}} e^{i\chi \hat{B}} \rangle$. Los autores proponen dos configuraciones experimentales: una que mide la posición seguido del momento, y otra que revierte el orden (momento seguido de la posición).

Resultados Clave

• Unicidad de la Distribución de Kirkwood-Dirac: El artículo demuestra que, si se requiere que los valores de esperanza condicionales cuánticos satisfagan la misma estructura estadística que las expectativas condicionales clásicas (es decir, $\langle \hat{A}^n \rangle = \sum a_i^n Q_{i|j}$), la pseudo-distribución resultante se identifica unívocamente como la distribución de Kirkwood-Dirac (KD).
• Protocolo de Medición Directa: Los autores proporcionan un método constructivo para medir directamente la distribución KD. En el caso discreto, esto implica la inversión de una matriz de Vandermonde derivada de las mediciones de momentos. En el caso continuo, implica medir la función característica (el valor de esperanza de un operador exponencial) y realizar una transformada de Fourier inversa.
• Verificación de la Conmutación Canónica: Al comparar las pseudo-distribuciones conjuntas obtenidas de las secuencias de medición $x \to p$ y $p \to x$, los autores muestran que la diferencia en sus funciones de correlación arroja la relación de conmutación canónica $[\hat{x}, \hat{p}] = i\hbar$. Esto proporciona una sonda experimental directa de la relación de conmutación para cualquier estado cuántico.
• Conexión con los Valores Débiles: Se muestra que la pseudo-distribución condicional es equivalente al valor débil del proyector sobre los autoestados del observable medido.

Significancia y Reivindicaciones
El artículo afirma establecer una teoría para un enfoque de función característica de las pseudo-distribuciones que ofrece una reconstrucción "agnóstica a la teoría" de la representación del estado cuántico.

• Unificación Teórica: Resuelve la ambigüedad de qué pseudo-distribución utilizar al demostrar que la distribución KD es la solución única que preserva la forma estadística clásica de las expectativas condicionales en el régimen cuántico.
• Eficiencia Experimental: El método propuesto se presenta como más eficiente que las técnicas previas que requerían escanear mediciones débiles sobre todos los eigenproyectores. La naturaleza de "todo a la vez" de la medición de la función característica codifica propiedades globales del estado.
• Verificación Fundamental: El trabajo proporciona una prescripción operativa directa para verificar la relación de conmutación canónica, vinculando la naturaleza compleja de la distribución KD directamente con la no conmutatividad fundamental de la mecánica cuántica.
• Potencial para la Tomografía: Los autores sugieren que este enfoque puede ofrecer un método más eficiente en recursos para la tomografía de estados de variables continuas en comparación con las transformadas de Radon inversas o las técnicas de máxima verosimilitud, particularmente para estados no gaussianos.

El artículo concluye señalando que se ha realizado un trabajo independiente sobre temas relacionados, y posiciona la distribución KD como la pseudo-distribución natural para experimentos donde las expectativas condicionales coinciden con los predictores clásicos.