Categorizing the full interaction Hamiltonian§
As seen in the last article
H ^ int = H ^ slow + H ^ fast \hat{H}_\text{int}=\hat{H}_\text{slow} + \hat{H}_\text{fast} H ^ int = H ^ slow + H ^ fast
Where
{ H ^ slow = ℏ g ∗ b ^ † σ ^ − e − i Δ t + ℏ g b ^ σ ^ + e i Δ t H ^ fast = ℏ g ∗ b ^ † σ ^ + e i Σ t + ℏ g b ^ σ ^ − e − i Σ t \begin{cases}
\hat{H}_\text{slow}&=\hbar g^*\hat{b}^\dagger\hat{\sigma}^-e^{-i\Delta t}+\hbar g\hat{b}\hat{\sigma}^+e^{i\Delta t}\\
\hat{H}_\text{fast}&=\hbar g^*\hat{b}^\dagger\hat{\sigma}^+e^{i\Sigma t} + \hbar g\hat{b}\hat{\sigma}^-e^{-i\Sigma t}
\end{cases} { H ^ slow H ^ fast = ℏ g ∗ b ^ † σ ^ − e − i Δ t + ℏ g b ^ σ ^ + e i Δ t = ℏ g ∗ b ^ † σ ^ + e i Σ t + ℏ g b ^ σ ^ − e − i Σ t
Where
Δ = ω k − ω e g Σ = ω k + ω e g \Delta=\omega_k-\omega_{eg} \qquad \Sigma = \omega_k+\omega_{eg} Δ = ω k − ω e g Σ = ω k + ω e g
H ^ int ′ ( t ) = U ^ ( t ) H ^ int U ^ † ( t ) − i ℏ U ^ ( t ) d d t U ^ † ( t ) \hat{H}_\text{int}'(t)=\hat{U}(t)\hat{H}_\text{int}\hat{U}^\dagger(t)-i\hbar\hat{U}(t)\frac{\mathrm{d}}{\mathrm{d}t}\hat{U}^\dagger(t) H ^ int ′ ( t ) = U ^ ( t ) H ^ int U ^ † ( t ) − i ℏ U ^ ( t ) d t d U ^ † ( t )
And we propose the transformation U U U should
U ^ ( t ) = e i S ^ \hat{U}(t)=e^{i\hat{S}} U ^ ( t ) = e i S ^
Where because of unitary S ^ = S ^ † \hat{S}=\hat{S}^\dagger S ^ = S ^ † .
The goal§
We what no counter rotating term after the rotation, so we should demand some calculation which we will see later.
The first term§
Since we propose the form of U U U , we can use the BCH formula,
Thus, after expanding, the first term becomes
H ^ int ′ ( t ) = H ^ int + i [ S ^ , H ^ int ] + i 2 1 2 [ S ^ , [ S ^ , H ^ int ] ] + … \hat{H}'_\text{int}(t)=\hat{H}_\text{int}+i[\hat{S},\hat{H}_\text{int}]+i^2\frac{1}{2}[\hat{S},[\hat{S},\hat{H}_\text{int}]]+\dots H ^ int ′ ( t ) = H ^ int + i [ S ^ , H ^ int ] + i 2 2 1 [ S ^ , [ S ^ , H ^ int ]] + …
The second term§
Expanding the gauge term with the derivative-of-exponential identity
e i S ^ d d t e − i S ^ = − i S ^ ˙ + 1 2 [ S ^ , S ^ ˙ ] − … e^{i\hat{S}}\frac{\mathrm{d}}{\mathrm{d}t}e^{-i\hat{S}}=-i\dot{\hat{S}}+\frac{1}{2}[\hat{S},\dot{\hat{S}}]-\dots e i S ^ d t d e − i S ^ = − i S ^ ˙ + 2 1 [ S ^ , S ^ ˙ ] − …
gives
− i ℏ U ^ d d t U ^ † = − ℏ S ^ ˙ − i ℏ 2 [ S ^ , S ^ ˙ ] + … -i\hbar\hat{U}\frac{\mathrm{d}}{\mathrm{d}t}\hat{U}^\dagger=-\hbar\dot{\hat{S}}-\frac{i\hbar}{2}[\hat{S},\dot{\hat{S}}]+\dots − i ℏ U ^ d t d U ^ † = − ℏ S ^ ˙ − 2 i ℏ [ S ^ , S ^ ˙ ] + …
The first piece is order g g g ; the second is order g 2 g^2 g 2 and supplies the Bloch–Siegert term below.
The cancelation§
The leading piece − ℏ S ^ ˙ -\hbar\dot{\hat{S}} − ℏ S ^ ˙ cancels H ^ fast \hat{H}_\text{fast} H ^ fast :
ℏ S ^ ˙ = H ^ fast = ℏ g ∗ b ^ † σ ^ + e i Σ t + ℏ g b ^ σ ^ − e − i Σ t S ^ ˙ = g ∗ b ^ † σ ^ + e i Σ t + g b ^ σ ^ − e − i Σ t \begin{align*}
\hbar\dot{\hat{S}}&=\hat{H}_\text{fast}\\
&=\hbar g^*\hat{b}^\dagger\hat{\sigma}^+e^{i\Sigma t}+\hbar g\hat{b}\hat{\sigma}^-e^{-i\Sigma t}\\
\dot{\hat{S}}&=g^*\hat{b}^\dagger\hat{\sigma}^+e^{i\Sigma t}+g\hat{b}\hat{\sigma}^-e^{-i\Sigma t}
\end{align*} ℏ S ^ ˙ S ^ ˙ = H ^ fast = ℏ g ∗ b ^ † σ ^ + e i Σ t + ℏ g b ^ σ ^ − e − i Σ t = g ∗ b ^ † σ ^ + e i Σ t + g b ^ σ ^ − e − i Σ t
We take the oscillatory antiderivative:
S ^ = i Σ ( g b ^ σ ^ − e − i Σ t − g ∗ b ^ † σ ^ + e i Σ t ) \hat{S}=\frac{i}{\Sigma}\left(g\hat{b}\hat{\sigma}^-e^{-i\Sigma t} -g^*\hat{b}^\dagger\hat{\sigma}^+e^{i\Sigma t}\right) S ^ = Σ i ( g b ^ σ ^ − e − i Σ t − g ∗ b ^ † σ ^ + e i Σ t )
Collecting the order-g 2 g^2 g 2 terms§
The first term contributes i [ S ^ , H ^ fast ] i[\hat{S},\hat{H}_\text{fast}] i [ S ^ , H ^ fast ] and the gauge term contributes − i 2 [ S ^ , H ^ fast ] -\frac{i}{2}[\hat{S},\hat{H}_\text{fast}] − 2 i [ S ^ , H ^ fast ] (using ℏ S ^ ˙ = H ^ fast \hbar\dot{\hat{S}}=\hat{H}_\text{fast} ℏ S ^ ˙ = H ^ fast ). Together they give
i [ S ^ , H ^ fast ] − i 2 [ S ^ , H ^ fast ] = i 2 [ S ^ , H ^ fast ] i[\hat{S},\hat{H}_\text{fast}]-\frac{i}{2}[\hat{S},\hat{H}_\text{fast}]=\frac{i}{2}[\hat{S},\hat{H}_\text{fast}] i [ S ^ , H ^ fast ] − 2 i [ S ^ , H ^ fast ] = 2 i [ S ^ , H ^ fast ]
which is the combination used below.
Evaluate the final expression§
With the given S ^ \hat{S} S ^ , we compute the two essential commutators.
i 2 [ S ^ , H ^ fast ] = ℏ ∣ g ∣ 2 Σ [ b ^ σ ^ − , b ^ † σ ^ + ] \frac{i}{2}[\hat{S},\hat{H}_\text{fast}] = \frac{\hbar|g|^2}{\Sigma}[\hat{b}\hat{\sigma}^-,\hat{b}^\dagger\hat{\sigma}^+] 2 i [ S ^ , H ^ fast ] = Σ ℏ∣ g ∣ 2 [ b ^ σ ^ − , b ^ † σ ^ + ]
The commutator i [ S ^ , H ^ slow ] i[\hat{S},\hat{H}_\text{slow}] i [ S ^ , H ^ slow ] contains only rapidly oscillating terms and is dropped.
Higher order terms are O ( g 3 / Σ 2 ) \mathcal{O}(g^3/\Sigma^2) O ( g 3 / Σ 2 ) and negligible when g ≪ Σ g\ll\Sigma g ≪ Σ .
Everything§
H ^ int ′ ( t ) = H ^ slow ⏟ co-rotating + ℏ ∣ g ∣ 2 Σ ( n ^ σ ^ e − ( n ^ + 1 ) σ ^ g ) \hat{H}'_\text{int}(t)=\underbrace{\hat{H}_\text{slow}}_{\text{co-rotating}}
+ \frac{\hbar|g|^2}{\Sigma}\bigl(\hat{n}\hat{\sigma}_e-(\hat{n}+1)\hat{\sigma}_g\bigr) H ^ int ′ ( t ) = co-rotating H ^ slow + Σ ℏ∣ g ∣ 2 ( n ^ σ ^ e − ( n ^ + 1 ) σ ^ g )
Adding back the free Hamiltonian H ^ 0 = ℏ ω e g σ ^ e + ℏ ω k b ^ † b ^ \hat{H}_0=\hbar\omega_{eg}\hat{\sigma}_e+\hbar\omega_k\hat{b}^\dagger\hat{b} H ^ 0 = ℏ ω e g σ ^ e + ℏ ω k b ^ † b ^ gives the effective Schrödinger‑picture Hamiltonian ( with the consntant energy shifted away as only energy differents is physical )
H ^ eff = ℏ ω e g σ ^ e + ℏ ω k b ^ † b ^ + ( ℏ g b ^ σ ^ + + ℏ g ∗ b ^ † σ ^ − ) + ℏ ∣ g ∣ 2 ω k + ω e g [ n ^ σ ^ e − ( n ^ + 1 ) σ ^ g ] \hat{H}_\text{eff} = \hbar\omega_{eg}\hat{\sigma}_e + \hbar\omega_k\hat{b}^\dagger\hat{b}
+ \bigl(\hbar g\hat{b}\hat{\sigma}^+ + \hbar g^*\hat{b}^\dagger\hat{\sigma}^-\bigr)
+ \frac{\hbar|g|^2}{\omega_k+\omega_{eg}}\left[\hat{n}\hat{\sigma}_e-(\hat{n}+1)\hat{\sigma}_g\right] H ^ eff = ℏ ω e g σ ^ e + ℏ ω k b ^ † b ^ + ( ℏ g b ^ σ ^ + + ℏ g ∗ b ^ † σ ^ − ) + ω k + ω e g ℏ∣ g ∣ 2 [ n ^ σ ^ e − ( n ^ + 1 ) σ ^ g ]
Just for simplification, let's use the pauli z basis and shift away constnat energy
H ^ eff = ℏ ω e g 2 σ ^ z + ℏ ω k b ^ † b ^ + ( ℏ g b ^ σ ^ + + ℏ g ∗ b ^ † σ ^ − ) + ℏ ∣ g ∣ 2 ω k + ω e g [ n ^ + 1 2 ] σ ^ z \hat{H}_\text{eff} = \frac{\hbar\omega_{eg}}{2}\hat{\sigma}_z + \hbar\omega_k\hat{b}^\dagger\hat{b}
+ \bigl(\hbar g\hat{b}\hat{\sigma}^+ + \hbar g^*\hat{b}^\dagger\hat{\sigma}^-\bigr)
+ \frac{\hbar|g|^2}{\omega_k+\omega_{eg}}\left[\hat{n} + \frac{1}{2}\right]\hat{\sigma}_z H ^ eff = 2 ℏ ω e g σ ^ z + ℏ ω k b ^ † b ^ + ( ℏ g b ^ σ ^ + + ℏ g ∗ b ^ † σ ^ − ) + ω k + ω e g ℏ∣ g ∣ 2 [ n ^ + 2 1 ] σ ^ z
Then to better see the physics, let's define
ω ′ = ∣ g ∣ 2 ω k + ω e g \omega' = \frac{|g|^2}{\omega_k+\omega_{eg}} ω ′ = ω k + ω e g ∣ g ∣ 2
And group them
H ^ eff = ℏ ( ω e g 2 + ω ′ [ n ^ + 1 2 ] ) σ ^ z + ℏ ω k b ^ † b ^ + ( ℏ g b ^ σ ^ + + ℏ g ∗ b ^ † σ ^ − ) \hat{H}_\text{eff} = \hbar\left(\frac{\omega_{eg}}{2}+\omega'\left[\hat{n} + \frac{1}{2}\right]\right)\hat{\sigma}_z + \hbar\omega_k\hat{b}^\dagger\hat{b}
+ \bigl(\hbar g\hat{b}\hat{\sigma}^+ + \hbar g^*\hat{b}^\dagger\hat{\sigma}^-\bigr) H ^ eff = ℏ ( 2 ω e g + ω ′ [ n ^ + 2 1 ] ) σ ^ z + ℏ ω k b ^ † b ^ + ( ℏ g b ^ σ ^ + + ℏ g ∗ b ^ † σ ^ − )
Interesting physics§
If we omit ω ′ \omega' ω ′ , which is valid when ∣ g ∣ 2 |g|^2 ∣ g ∣ 2 is small. We get the Jaynes–Cummings model. But if we do not omit it, we notice that a vacuum shift has happened: even without any photon, the transition frequency has shifted upward by ω ′ \omega' ω ′ ; this is the vacuum Bloch–Siegert shift. When photons are present the shift grows with intensity — the AC Stark effect. All together, this is the Bloch–Siegert shift.