# Optical phase space

In quantum optics, an optical phase space is a phase space in which all quantum states of an optical system are described. Each point in the optical phase space corresponds to a unique state of an optical system. For any such system, a plot of the quadratures against each other, possibly as functions of time, is called a phase diagram. If the quadratures are functions of time then the optical phase diagram can show the evolution of a quantum optical system with time.
An optical phase diagram can give insight into the properties and behaviors of the system that might otherwise not be obvious. This can allude to qualities of the system that can be of interest to an individual studying an optical system that would be very hard to deduce otherwise. Another use for an optical phase diagram is that it shows the evolution of the state of an optical system. This can be used to determine the state of the optical system at any point in time.

## Background information

When discussing the quantum theory of light, it is very common to use an electromagnetic oscillator as a model. An electromagnetic oscillator describes an oscillation of the electric field. Since the magnetic field is proportional to the rate of change of the electric field, this too oscillates. Such oscillations describe light. Systems composed of such oscillators can be described by an optical phase space.
Let u(x,t) be a vector function describing a single mode of an electromagnetic oscillator. For simplicity, it is assumed that this electromagnetic oscillator is in vacuum. An example is the plane wave given by
    $\mathbf {u} (\mathbf {x} ,t)=\mathbf {u_{0}} e^{i(\mathbf {k} \cdot \mathbf {x} -\omega t)}$
where u$_0$ is the polarization vector, k is the wave vector, $\omega$ the frequency, and A$\cdot$B denotes the dot product between the vectors A and B. This is the equation for a plane wave and is a simple example of such an electromagnetic oscillator. The oscillators being examined could either be free waves in space or some normal mode contained in some cavity.
A single mode of the electromagnetic oscillator is isolated from the rest of the system and examined. Such an oscillator, when quantized, is described by the mathematics of a quantum harmonic oscillator. Quantum oscillators are described using creation and annihilation operators ${\hat {a}}^{\dagger }$ and ${\hat {a}}$. Physical quantities, such as the electric field strength, then become quantum operators.
In order to distinguish a physical quantity from the quantum mechanical operator used to describe it, a "hat" is used over the operator symbols. Thus, for example, where $E_{i}$ might represent (one component of) the electric field, the symbol ${\widehat {E}}_{i}$ denotes the quantum-mechanical operator that describes $E_{i}$. This convention is used throughout this article, but is not in common use in more advanced texts, which avoid the hat, as it simply clutters the text.
In the quantum oscillator mode, most operators representing physical quantities are typically expressed in terms of the creation and annihilation operators. In this example, the electric field strength is given by:
    ${\widehat {E}}_{i}=u_{i}^{*}(\mathbf {x} ,t){\widehat {a}}^{\dagger }+u_{i}(\mathbf {x} ,t){\widehat {a}}$
(where x$_i$ is a single component of x, position). The Hamiltonian for an electromagnetic oscillator is found by quantizing the electromagnetic field for this oscillator and the formula is given by:
    ${\widehat {H}}=\hbar \omega ({\widehat {a}}^{\dagger }{\widehat {a}}+1/2)$
where $\omega$ is the frequency of the (spatio-temporal) mode. The annihilation operator is the bosonic annihilation operator and so it obeys the canonical commutation relation given by:
    $[{\widehat {a}},{\widehat {a}}^{\dagger }]=1$
The eigenstates of the annihilation operator are called coherent states:
    ${\widehat {a}}|\alpha \rangle =\alpha |\alpha \rangle$
It is important to note that the annihilation operator is not Hermitian; therefore its eigenvalues $\alpha$ can be complex. This has important consequences.
Finally, the photon number is given by the operator ${\widehat {N}}={\widehat {a}}^{\dagger }{\widehat {a}},$ which gives the number of photons in the given (spatial-temporal) mode u.

## Quadratures

Operators given by
    ${\widehat {q}}={\tfrac {1}{2}}({\widehat {a}}^{\dagger }+{\widehat {a}})$
and
    ${\widehat {p}}={\tfrac {i}{2}}({\widehat {a}}^{\dagger }-{\widehat {a}})$
are called the quadratures and they represent the real and imaginary parts of the complex amplitude represented by ${\widehat {a}}$. The commutation relation between the two quadratures can easily be calculated:
    ${\begin{aligned}\left[{\widehat {q}},{\widehat {p}}\right]&={\tfrac {i}{4}}[{\widehat {a}}^{\dagger }+{\widehat {a}},{\widehat {a}}^{\dagger }-{\widehat {a}}]\\&={\tfrac {i}{4}}([{\widehat {a}}^{\dagger },{\widehat {a}}^{\dagger }]-[{\widehat {a}}^{\dagger },{\widehat {a}}]+[{\widehat {a}},{\widehat {a}}^{\dagger }]-[{\widehat {a}},{\widehat {a}}])\\&={\tfrac {i}{4}}(-(-1)+1)\\&={\tfrac {i}{2}}\end{aligned}}$
This looks very similar to the commutation relation of the position and momentum operator. Thus, it can be useful to think of and treat the quadratures as the position and momentum of the oscillator although in fact they are the "in-phase and out-of-phase components of the electric field amplitude of the spatial-temporal mode", or u, and have nothing really to do with the position or momentum of the electromagnetic oscillator (as it is hard to define what is meant by position and momentum for an electromagnetic oscillator).

### Properties of quadratures

The eigenstates of the quadrature operators ${\widehat {q}}$ and ${\widehat {p}}$ are called the quadrature states. They satisfy the relations:
   * ${\widehat {q}}|q\rangle =q|q\rangle$ and ${\widehat {p}}|p\rangle =p|p\rangle$
   * $\langle q|q'\rangle =\delta (q-q')$ and $\langle p|p'\rangle =\delta (p-p')$
   * $\int _{-\infty }^{\infty }|q\rangle \langle q|\,dq=1$ and $\int _{-\infty }^{\infty }|p\rangle \langle p|\,dp=1$
as these form complete basis sets.

### Important result

The following is an important relation that can be derived from the above which justifies our interpretation that the quadratures are the real and imaginary parts of a complex $\alpha$ (i.e. the in-phase and out-of-phase components of the electromagnetic oscillator)
    $\langle \alpha |{\widehat {q}}|\alpha \rangle ={\frac {1}{2}}(\langle \alpha |{\widehat {a}}^{\dagger }|\alpha \rangle +\langle \alpha |{\widehat {a}}|\alpha \rangle )={\frac {1}{2}}(\alpha ^{*}\langle \alpha |\alpha \rangle +\alpha \langle \alpha |\alpha \rangle )$
The following is a relationship that can be used to help evaluate the above and is given by:
    $\langle \alpha '|\alpha \rangle =e^{(-1/2)(|\alpha '|^{2}+|\alpha |^{2})+\alpha '^{*}\alpha }$
This gives us that:
    $\langle \alpha |{\widehat {q}}|\alpha \rangle ={\frac {1}{2}}(\alpha ^{*}+\alpha )=q_{\alpha }$
    $\langle \alpha |{\widehat {p}}|\alpha \rangle ={\frac {i}{2}}(\alpha ^{*}-\alpha )=p_{\alpha }$ by a similar method as above.
    $\alpha ={\frac {1}{2}}(\langle \alpha |{\widehat {q}}|\alpha \rangle +i\langle \alpha |{\widehat {p}}|\alpha \rangle )={\frac {1}{2}}(q_{\alpha }+ip_{\alpha })$
Thus, $\alpha$ is just a composition of the quadratures.
Another very important property of the coherent states becomes very apparent in this formalism. A coherent state is not a point in the optical phase space but rather a distribution on it. This can be seen via
    $q_{\alpha }=\langle \alpha |{\widehat {q}}|\alpha \rangle$
and
    $p_{\alpha }=\langle \alpha |{\widehat {p}}|\alpha \rangle$.
These are only the expectation values of ${\widehat {q}}$ and ${\widehat {p}}$ for the state $|\alpha \rangle$.
It can be shown that the quadratures obey Heisenberg's Uncertainty Principle given by:
    $\Delta q\Delta p\geq 1/2$ (where $\Delta q$ and $\Delta p$ are the variances of the distributions of q and p, respectively)
This inequality does not necessarily have to be saturated and a common example of such states are squeezed coherent states. The coherent states are Gaussian probability distributions over the phase space localized around $\alpha$.

## Operators on phase space

It is possible to define operators to move the coherent states around the phase space. These can produce new coherent states and allow us to move around phase space.

### Phase-shifting operator

The phase-shifting operator rotates the coherent state by an angle $\theta$ in the optical phase space. This operator is given by:
    ${\widehat {U}}(\theta )=e^{-\imath \,\theta {\widehat {N}}}$
where ${\widehat {N}}={\widehat {a}}^{\dagger }{\widehat {a}}$ is the number operator of the considered radiation mode.
The important relationship
    ${\widehat {U}}(\theta )^{\dagger }{\widehat {a}}{\widehat {U}}(\theta )={\widehat {a}}e^{-i\theta }$
is derived as follows:
    $d/d\theta ({\widehat {U}}^{\dagger }{\widehat {a}}{\widehat {U}})=i{\widehat {N}}{\widehat {U}}^{\dagger }{\widehat {a}}{\widehat {U}}-i{\widehat {U}}^{\dagger }{\widehat {a}}{\widehat {U}}{\widehat {N}}={\widehat {U}}^{\dagger }i[{\widehat {N}},{\widehat {a}}]{\widehat {U}}$
    $={\widehat {U}}^{\dagger }i({\widehat {a}}^{\dagger }{\widehat {a}}{\widehat {a}}-{\widehat {a}}{\widehat {a}}^{\dagger }{\widehat {a}}){\widehat {U}}={\widehat {U}}^{\dagger }i[{\widehat {a}}^{\dagger },{\widehat {a}}]{\widehat {a}}{\widehat {U}}=-i{\widehat {U}}^{\dagger }{\widehat {a}}{\widehat {U}}$
and solving this differential equation yields the desired result.
Thus, using the above it becomes clear that
    ${\widehat {U}}(\theta )|\alpha \rangle =|\alpha e^{-i\theta }\rangle$,
or a rotation by an angle theta on the coherent state in phase space. The following illustrates this more clearly:
    ${\widehat {a}}({\widehat {U}}|\alpha \rangle )={\widehat {U}}{\widehat {a}}e^{-i\theta }|\alpha \rangle$
(which is obtained using the fact that the phase-shifting operator is unitary
    ${\widehat {a}}({\widehat {U}}|\alpha \rangle )={\widehat {U}}\alpha e^{-i\theta }|\alpha \rangle =\alpha e^{-i\theta }({\widehat {U}}|\alpha \rangle )$
Thus,
    $(\alpha e^{-i\theta },{\widehat {U}}|\alpha \rangle )$
is the eigenpair of
    ${\widehat {a}}{\widehat {U}}|\alpha \rangle$.
From this it is possible to see that
    $(\alpha e^{-i\theta }=2^{-1/2}[q_{\alpha }\cos(\theta )+p_{\alpha }\sin(\theta )]+i2^{-1/2}[-q_{\alpha }\sin(\theta )+p_{\alpha }\cos(\theta )],{\widehat {U}}|\alpha \rangle =|\alpha e^{-i\theta }\rangle )$
which is another way of expressing the eigenpair which more clearly illustrates the effects of the phase-shifting operator on coherent states.

### Displacement operator

The displacement operator is a unitary operator that takes a coherent state and turns it into another coherent state. The displacement operator is given by
    ${\widehat {D}}(\alpha )=e^{\alpha {\widehat {a}}^{\dagger }-\alpha ^{*}{\widehat {a}}}$
and its name comes from an important relation
    ${\widehat {a}}(\alpha )\equiv {\widehat {D}}^{\dagger }(\alpha ){\widehat {a}}{\widehat {D}}(\alpha )={\widehat {a}}+\alpha$.
Indeed, let's temporarily introduce ${\widehat {a}}(s)={\widehat {a}}(s\alpha )$ with real $s$ and consider how ${\widehat {a}}(s)$ varies when $s$ changes from 0 to 1. Differentiating ${\widehat {a}}(s)$ with respect to $s$, we find
${\frac {\partial }{\partial s}}{\widehat {a}}(s)=D^{\dagger }(s\alpha )[\alpha ^{*}{\widehat {a}}-\alpha {\widehat {a}}^{\dagger },{\widehat {a}}]D(s\alpha )=\alpha ,$
so that ${\widehat {a}}(s)={\widehat {a}}(0)+s\alpha .$
Since coherent states are eigenstates of both the annihilation operator and the operator of multiplication by a number, it is easy to see that, indeed, the displacement operator moves the coherent states, or, more precisely,
${\widehat {D}}(\alpha )|\beta \rangle =|\alpha +\beta \rangle .$
Indeed, the relation derived above can be rewritten as ${\widehat {a}}{\widehat {D}}(\alpha )={\widehat {D}}(\alpha )({\widehat {a}}+\alpha )$, then
${\widehat {a}}{\widehat {D}}(\alpha )|\beta \rangle ={\widehat {D}}(\alpha )({\widehat {a}}+\alpha )|\beta \rangle =(\alpha +\beta ){\widehat {D}}(\alpha )|\beta \rangle .$
Thus, ${\widehat {D}}(\alpha )|\beta \rangle$ is an eigenstate of the annihilation operator with the eigenvalue $\alpha +\beta$, hence ${\widehat {D}}(\alpha )|\beta \rangle =|\alpha +\beta \rangle$.
In particular,
    ${\widehat {D}}(-\alpha )|\alpha \rangle =|0\rangle$
which leads to
    $|\alpha \rangle ={\widehat {D}}(\alpha )|0\rangle$.
This is important as it shows that all coherent states can be obtained as displacements of the ground state, which in optics is also the vacuum state.