Coherent States: Difference between revisions
No edit summary |
|||
(3 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
{{Quantum Mechanics A}} | {{Quantum Mechanics A}} | ||
The general states of a [[Harmonic | The general states of a [[Harmonic Oscillator Spectrum and Eigenstates|harmonic oscillator]] can be expressed as a superpostion of the energy eigenstates <math>|n\rangle.\!</math> A class of states that is of particular importance are the eigenstates of the (non-Hermitian) lowering operator <math>\hat{a},\!</math> | ||
<math>a|\alpha\rangle=\alpha|\alpha\rangle,\!</math> | |||
where <math>\alpha\!</math> can be any complex number. | where <math>\alpha\!</math> can be any complex number. | ||
These states are known as coherent states. The term, "coherent", reflects their important role in optics and quantum electronics. | |||
Note that it is not possible to construct an eigenstate of the raising operator <math>\hat{a}^{\dagger}</math> because | |||
<math>a^{\dagger}|n\rangle=\sqrt{n+1}|n+1\rangle;</math> this fact means that application of <math>\hat{a}^{\dagger}</math> to any superposition of harmonic oscillator eigenstates eliminates the lowest-energy state that was present in the superposition. | |||
The following are some properties of coherent states. | The following are some properties of coherent states. | ||
== Construction of Coherent States == | |||
<math> | |||
The coherent state with eigenvalue <math>\alpha\!</math> is given by | |||
:<math>|\alpha\rangle=\sum_{n=0}^{\infty}\frac{\alpha^n}{\sqrt{n!}}|n\rangle=e^{\alpha\hat{a}^\dagger}|0\rangle.</math> | |||
: | We may see that this is a coherent state with the given eigenvalue as follows: | ||
:<math>a|\alpha\rangle=\sum_{n=0}^{ | :<math>\hat{a}|\alpha\rangle=\sum_{n=0}^{\infty}\frac{\alpha^n}{\sqrt{n!}}\hat{a}|n\rangle=\sum_{n=1}^{\infty} | ||
\frac{\alpha^n}{\sqrt{n!}}\sqrt{n}|n-1\rangle=\sum_{n=1}^{ | \frac{\alpha^n}{\sqrt{n!}}\sqrt{n}|n-1\rangle=\sum_{n=1}^{\infty}\frac{\alpha^n}{\sqrt{(n-1)!}}|n-1\rangle= | ||
\alpha\left(\sum_{n=0}^{ | \alpha\left(\sum_{n=0}^{\infty}\frac{\alpha^n}{\sqrt{n!}}|n\rangle\right)=\alpha|\alpha\rangle</math> | ||
This state, however, is not normalized, so we will now normalize it. Let us introduce a normalization constant, <math>N,\!</math> into the coherent state: | |||
<math>|\alpha\rangle=Ne^{\alpha a^{\dagger}} |0\rangle </math> | <math>|\alpha\rangle=Ne^{\alpha a^{\dagger}} |0\rangle </math> | ||
We now determine what value of <math>N\!</math> yields a normalized state: | |||
<math>1=\langle\alpha|\alpha\rangle=\langle 0|Ne^{\alpha^*a} Ne^{\alpha a^{\dagger}} |0\rangle = N^2\langle 0|e^{\alpha^*a} e^{\alpha a^{\dagger}} |0\rangle </math> | |||
We now use the fact that, for any two operators <math>\hat{A}</math> and <math>\hat{B}</math> that both commute with their commutator, the following formula, known as the Campbell-Baker-Hausdorff formula, holds: | |||
<math>e^A e^B = e^{A+B} e^{\ | <math>e^\hat{A} e^\hat{B} = e^{\hat{A}+\hat{B}} e^{[\hat{A},\hat{B}]/2}\!</math> | ||
Similarly, | |||
<math>e^\hat{B} e^\hat{A} = e^{\hat{B}+\hat{A}} e^{[\hat{B},\hat{A}]/2} = e^{\hat{A}+\hat{B}} e^{-[\hat{A},\hat{B}]/2}.</math> | |||
Combining the above two formulas, we obtain | |||
<math>e^\hat{A} e^\hat{B} = e^\hat{B} e^\hat{A} e^{[\hat{A},\hat{B}]}.\!</math> | |||
This result applies for <math>\hat{A}=\alpha^\ast \hat{a}\!</math> and <math>\hat{B}=\alpha \hat{a}^{\dagger}\!</math> because the commutator for these two operators is <math>[\hat{A},\hat{B}]=|\alpha|^2,\!</math>, which is a constant. We thus obtain | |||
<math>[A,B]=|\alpha|^2 | |||
:<math> | :<math>\begin{align} | ||
\langle\alpha|\alpha\rangle &= N^2\langle 0|e^{\alpha^\ast\hat{a}}e^{\alpha\hat{a}^{\dagger}}|0\rangle=N^2\langle 0|e^{\alpha\hat{a}^{\dagger}}e^{\alpha^\ast\hat{a}}e^{[\alpha^\ast\hat{a},\alpha\hat{a}^{\dagger}]} |0\rangle \\ | |||
&=N^2e^{|\alpha|^2}\langle 0|e^{\alpha\hat{a}^{\dagger}}e^{\alpha^\ast\hat{a}}|0\rangle=N^2e^{|\alpha|^2}\langle 0|e^{\alpha\hat{a}^{\dagger}} |0\rangle \\ | |||
&=N^2e^{|\alpha|^2}\langle 0|0\rangle=N^2e^{|\alpha|^2} | |||
N^2\langle 0|e^{\alpha a^{\dagger}} e^{\alpha^ | |||
&= N^2e^{|\alpha|^2}\langle 0|e^{\alpha a^{\dagger}} e^{\alpha^ | |||
&= N^2e^{|\alpha|^2}\langle 0|0\rangle | |||
\end{align} | \end{align} | ||
</math> | </math> | ||
We have thus determined the normalization constant, | |||
<math>\rightarrow N=e^{-\frac{1}{2}|\alpha|^2}.</math> | |||
The normalized coherent state <math>|\alpha\rangle</math> is therefore | |||
<math>|\alpha\rangle=e^{-|\alpha |^2/2}e^{\alpha\hat{a}^{\dagger}}|0\rangle.</math> | |||
== Inner Product of Two Coherent States == | |||
We have shown that, for any complex number <math>\alpha,\!</math> there is an eigenstate <math>|\alpha\rangle\!</math> | |||
of lowering operator <math>a | of the lowering operator <math>\hat{a}.</math> Therefore, we have a complete set of coherent states. However, this is ''not'' an orthogonal set. Indeed, the inner product of two coherent states <math>|\alpha\rangle\!</math> and <math>|\beta\rangle\!</math> can be calculated as follows: | ||
Indeed, the inner product of two coherent states <math>|\alpha\rangle\!</math> and <math>|\beta\rangle\!</math> can be calculated as follows: | |||
<math> | |||
\begin{align} | \begin{align} | ||
\langle \beta|\alpha \rangle &= e^{-\frac{1}{2}|\alpha|^2}e^{-\frac{1}{2}|\beta|^2}\langle 0|e^{\beta^ | \langle \beta|\alpha \rangle &= e^{-\frac{1}{2}|\alpha|^2}e^{-\frac{1}{2}|\beta|^2}\langle 0|e^{\beta^\ast\hat{a}} e^{\alpha\hat{a}^\dagger} |0\rangle \\ | ||
&= e^{-\frac{1}{2}|\alpha|^2}e^{-\frac{1}{2}|\beta|^2}\langle 0|e^{\alpha a^ | &= e^{-\frac{1}{2}|\alpha|^2}e^{-\frac{1}{2}|\beta|^2}\langle 0|e^{\alpha\hat{a}^\dagger} e^{\beta^\ast\hat{a}} e^{[\beta^\ast\hat{a},\alpha\hat{a}^\dagger]}|0\rangle \\ | ||
&= e^{-\frac{1}{2}|\alpha|^2}e^{-\frac{1}{2}|\beta|^2}e^{\alpha \beta^*}\langle 0|e^{\alpha a^ | &= e^{-\frac{1}{2}|\alpha|^2}e^{-\frac{1}{2}|\beta|^2}e^{\alpha \beta^*}\langle 0|e^{\alpha\hat{a}^\dagger} e^{\beta^\ast\hat{a}}|0\rangle \\ | ||
&= e^{-\frac{1}{2}|\alpha|^2}e^{-\frac{1}{2}|\beta|^2}e^{\alpha \beta^*} | &= e^{-\frac{1}{2}|\alpha|^2}e^{-\frac{1}{2}|\beta|^2}e^{\alpha \beta^*} | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
<math> | <math>|\langle\beta|\alpha\rangle |^2 = e^{-|\alpha-\beta|^2}.</math> | ||
Hence, the set of coherent states is not orthogonal and the distance <math>|\alpha-\beta|\!</math> in | Hence, the set of coherent states is not orthogonal and the distance <math>|\alpha-\beta|\!</math> in the complex plane measures the degree to which the two eigenstates are "approximately orthogonal". |
Latest revision as of 13:43, 12 August 2013
The general states of a harmonic oscillator can be expressed as a superpostion of the energy eigenstates A class of states that is of particular importance are the eigenstates of the (non-Hermitian) lowering operator
where can be any complex number.
These states are known as coherent states. The term, "coherent", reflects their important role in optics and quantum electronics.
Note that it is not possible to construct an eigenstate of the raising operator because this fact means that application of to any superposition of harmonic oscillator eigenstates eliminates the lowest-energy state that was present in the superposition.
The following are some properties of coherent states.
Construction of Coherent States
The coherent state with eigenvalue is given by
We may see that this is a coherent state with the given eigenvalue as follows:
This state, however, is not normalized, so we will now normalize it. Let us introduce a normalization constant, into the coherent state:
We now determine what value of yields a normalized state:
We now use the fact that, for any two operators and that both commute with their commutator, the following formula, known as the Campbell-Baker-Hausdorff formula, holds:
Similarly,
Combining the above two formulas, we obtain
This result applies for and because the commutator for these two operators is , which is a constant. We thus obtain
We have thus determined the normalization constant,
The normalized coherent state is therefore
Inner Product of Two Coherent States
We have shown that, for any complex number there is an eigenstate of the lowering operator Therefore, we have a complete set of coherent states. However, this is not an orthogonal set. Indeed, the inner product of two coherent states and can be calculated as follows:
Hence, the set of coherent states is not orthogonal and the distance in the complex plane measures the degree to which the two eigenstates are "approximately orthogonal".