Teorema de equivalencia óptica

El teorema de equivalencia óptica en óptica cuántica afirma una equivalencia entre el valor esperado de un operador en el espacio de Hilbert y el valor esperado de su función asociada en la formulación del espacio de fases con respecto a una distribución de cuasiprobabilidad . El teorema fue informado por primera vez por George Sudarshan en 1963 para operadores de orden normal ^[1] y generalizado más tarde esa década a cualquier orden. ^{[2] [3] [4] [5]}

Sea Ω un ordenamiento de los operadores de creación y aniquilación no conmutativos , y sea un operador que se puede expresar como una serie de potencias en los operadores de creación y aniquilación que satisface el ordenamiento Ω. Entonces el teorema de equivalencia óptica se expresa sucintamente como ${\displaystyle g_{\Omega }({\hat {a}},{\hat {a}}^{\dagger })}$

${\displaystyle \langle g_{\Omega }({\hat {a}},{\hat {a}}^{\dagger })\rangle =\langle g_{\Omega }(\alpha ,\alpha ^{*})\rangle .}$

Aquí, α se entiende como el valor propio del operador de aniquilación en un estado coherente y se reemplaza formalmente en la expansión de la serie de potencias de g . El lado izquierdo de la ecuación anterior es un valor esperado en el espacio de Hilbert, mientras que el lado derecho es un valor esperado con respecto a la distribución de cuasiprobabilidad.

Podemos escribir cada uno de estos términos explícitamente para mayor claridad. Sea el operador de densidad y el recíproco de ordenación de Ω. La distribución de cuasiprobabilidad asociada con Ω está dada, entonces, al menos formalmente, por ${\displaystyle {\hat {\rho }}}$ ${\displaystyle {\bar {\Omega }}}$

${\displaystyle {\hat {\rho }}={\frac {1}{\pi }}\int f_{\bar {\Omega }}(\alpha ,\alpha ^{*})|\alpha \rangle \langle \alpha |\,d^{2}\alpha .}$

La ecuación enmarcada anteriormente se convierte en

${\displaystyle \operatorname {tr} ({\hat {\rho }}\cdot g_{\Omega }({\hat {a}},{\hat {a}}^{\dagger }))=\int f_{\bar {\Omega }}(\alpha ,\alpha ^{*})g_{\Omega }(\alpha ,\alpha ^{*})\,d^{2}\alpha .}$

Por ejemplo, supongamos que Ω es de orden normal . Esto significa que g se puede escribir en una serie de potencias de la siguiente forma:

${\displaystyle g_{N}({\hat {a}}^{\dagger },{\hat {a}})=\sum _{n,m}c_{nm}{\hat {a}}^{\dagger n}{\hat {a}}^{m}.}$

La distribución de cuasiprobabilidad asociada con el orden normal es la representación P de Glauber–Sudarshan . En estos términos, llegamos a

${\displaystyle \operatorname {tr} ({\hat {\rho }}\cdot g_{N}({\hat {a}},{\hat {a}}^{\dagger }))=\int P(\alpha )g(\alpha ,\alpha ^{*})\,d^{2}\alpha .}$

Este teorema implica la equivalencia formal entre los valores esperados de los operadores normalmente ordenados en óptica cuántica y los números complejos correspondientes en óptica clásica.

Referencias

1. ECG Sudarshan "Equivalencia de descripciones semiclásicas y mecánicas cuánticas de haces de luz estadísticos", Phys. Rev. Lett. ,10 (1963) págs. 277–279. doi :10.1103/PhysRevLett.10.277
2. KE Cahill y RJ Glauber "Expansiones ordenadas en operadores de amplitud de bosones", Phys. Rev. , 177 (1969), págs. 1857-1881. doi :10.1103/PhysRev.177.1857
3. KE Cahill y RJ Glauber "Operadores de densidad y distribuciones de cuasiprobabilidad", Phys. Rev. , 177 (1969), págs. 1882-1902. doi :10.1103/PhysRev.177.1882
4. GS Agarwal y E. Wolf "Cálculo para funciones de operadores no conmutativos y métodos generales de espacio de fases en mecánica cuántica. I. Teoremas de mapeo y ordenamiento de funciones de operadores no conmutativos", Phys. Rev. D , 2 (1970) pp. 2161–2186. doi :10.1103/PhysRevD.2.2161
5. GS Agarwal y E. Wolf "Cálculo para funciones de operadores no conmutativos y métodos generales de espacio de fases en mecánica cuántica. II. Mecánica cuántica en el espacio de fases", Phys. Rev. D , 2 (1970) pp. 2187–2205. doi :10.1103/PhysRevD.2.2187