Chapter 2: Transformations and Pictures

2.1 Continuous Unitary Transformations

Unitary transformations are central in describing the evolution of quantum systems. They are also a key concept for describing symmetries in physical systems, an important step to understanding the emergence of various dynamical variables. These transformations can be intuitively understood as rotations within the Hilbert space. The defining characteristic of a unitary transformation, represented by U^, is that it preserves inner products. This means that for any two states |ψ and |ϕ in the Hilbert space, the inner product before and after the application of the unitary transformation remains unchanged:

ψ|U^U^|ϕ=ψ|1^|ϕ

This implies that U^U^=1^.

Consider unitary transformations that can be parametrized continuously. The parameter may be time, but can also be something else, for example the rotation angle, a displacement, or the amount of charge present on an island of a superconductor. Taking s for the parameter, such a continuously parameterized unitary transformation is given by U^(s) for each s, such that U^(s) is unitary. Moreover, we require that the transformation is the multiplicative over the parameter,

U^(s1+s2)=U^(s1)U^(s2),

and that U^(0)=1^. These properties make the family of transformations into a group.

Let’s consider the case of an infinitesmial transformation. For a small change in the parameter s by δs, the transformation can be expressed as:

U^(s+δs)=U^(s)U^(δs)

For very small δs, the transformation U^(δs) can be approximated as:

U^(δs)=1^+ddsU^(0)δs+O(δs2)

Applying the condition U^(δs)U^(δs)=1^, we find that:

ddsU^(0)+ddsU^(0)=0

This leads to the conclusion that the derivative ddsU^(0) is anti-Hermitian, or in other words equivalent to iK^, where K^ is a Hermitian operator. The operator K^ is called the generator of the group of transformations U^(s). Since K^ is Hermitian, it corresponds to a physical observable. Notice that we obtain a differential equation

ddsU^(s)=U^(s)iK^, (2.1)

resulting in the expression

U^(s)=exp(iK^s).

2.1.1 Momentum as the Generator of Displacement

We now apply some of the definitions above to the the single particle in one dimension, to see how momentum as a dynamical variable arises from considering transformations in position space.

Definition 2.1.1 (Translation operator).

Consider the particle in one dimension. The eigenstates of the position operator X^ were defined to be |x for real numbers x. A translation in space has the following effect:

U^(a)|x=|x+a

We denote the generator of this transformation as P^/, so

U^(a)=exp(iP^a)

We considered above the action of the transformation exp(iP^a) on states |x. But how does it act on operators? Consider the position operator X^,

X^=x|xx|dx

so

U^(a)X^U^(a)=xU^(a)|xx|U^(a)dx=x|x+ax+a|dx=(xa)|xx|dx,

from which we obtain:

U^(a)X^U^(a)=exp(iP^a)X^exp(iP^a)=X^a1^
Exercise 2.1.2 (Commutation relation between momentum and position).

Show that the above relation implies [X^,P^]=i.

2.1.2 The Hamiltonian as the Generator of Time Evolution

Here we follow a similar logic as above, and consider how the state of a system evolves in time, changing from |ψ(t0) to |ψ(t1)=|ψ(t0+t). We modify the notation slightly so

|ψ(t)=U^(t,t0)|ψ(t0).

Then from equation 2.1, we find that

ddtU^(t,t0)=iH^U^(t,t0), (2.2)

where H^ is Hermitian. We find that equation 2.2 leads to

U^(t,t0)=exp(i(tt0)H^/)).

Note that the above equations hold only for when the Hamiltonian is not changing in time. We will often be faced with system where the Hamiltonian itself is time dependent, i.e., H^(t). Then as we will study later, the differential equation for U^ would still hold, but the solution would need to be modified.

2.2 Time evolution and pictures

2.2.1 Equations of Motion

The quantum states of a system are transformed by time evolution – this is referred to as dynamics. In cases where this evolution is deterministic and closed, i.e., we know the dynamics completely and the components of the system are not interacting with external degrees of freedom11 1 Later we will consider 1) time evolution that is classically stochastic, for example due to fluctuations in parameters, and 2) open quantum systems where we study the time evolution of a smaller subsystem interacting with or within a larger quantum system., then this evolution is described by the unitary operator U^(t,t0), such that

|ψ(t)=U^(t,t0)|ψ(t0)

We can take unitary time evolution to be a fundamental postulate of quantum mechanics. We call generator of the this unitary operator the Hamiltonian. We obtain Schrödinger’s equation by taking the time derivative of the |ψ(t) with respect to time. To see this, we remind ourselves that saying U^(t,t0) is generated by a (time-dependent) Hamiltonian is simply another way of stating:

ddtU^(t,t0)=iH^(t)U^(t,t0).

Note the slight generalization over the discussion in the last section22 2 For dynamics that have time-dependent Hamiltonians, the postulate U^(s1+s2)=U^(s1)U^(s2) is replaced by U^(t1,t0)=U^(t1,tm)U^(tm,t0). where we have taken H^(t) to be itself time-dependent – so the Hamiltonian at a certain time t generates the time evolution at that instance at time t. This generalization means that our original exp() solution no longer holds and we will study the more general solutions to the above differential equation in chapter LABEL:ch:perturbation. For now we see that the above equation implies Schrödinger’s equation:

iddt|ψ(t)=H^(t)|ψ(t)

Time evolution of a density matrix is given by

ρ^(t)=U^(t,t0)ρ^(t0)U^(t,t0),

which leads to Schrödinger’s equation for density matrices:

ddtρ^(t)=i[H^(t),ρ^(t)] (2.3)

When connecting the density matrix to experiment, we saw in chapter LABEL:ch:quantum_states that the only connection to experiment comes from expressions of the form

O(t)=Tr[ρ^(t)O^]

where O^ is an observable, and ρ^ is the state. This means that a completely equivalent theory can be obtained by assuming that ρ^ is constant in time, and the operator O^(t) has the time dependence needed to produce the same O(t). We can easily obtain this equivalent representation by using the cyclic property of trace:

O(t)=Tr[ρ(t)O^]=Tr[U^(t,t0)ρ^(t0)U^(t,t0)O^]=Tr[ρ^(t0)U^(t,t0)O^U^(t,t0)].

In this way, we find an equivalent representation of the theory where the time evolution is completely in the observables, so O^H(t)=U^(t,t0)O^U^(t,t0).

Taking the time derivative of O^H(t), we obtain Heisenberg’s equation33 3 Notice that here we have assumed that the operator in the Schrödinger picture has no time-dependence. If it were to have time dependence, an additional term U^(t,t0)(dO^/dt)U^(t,t0) which is sometimes written as O^H/t would need to be added on the right side.:

ddtO^H(t)=i[H^(t),O^H(t)] (2.4)

This representation is called the Heisenberg picture, in contrast to the Schrödinger picture, which we considered by default. These pictures form only two of a family of many different possible pictures or frames, all of which are related to one other by unitary transformations as we will see below.

2.2.2 Generalizing pictures

We can further generalize the discussion in the previous section to go beyond the Schrödinger and Heisenberg pictures. We saw above that the expected value of a time-independent observable at time t is given by

O(t)=Tr[U^(t,t0)ρ^(t0)U^(t,t0)O^].

Let us now write the time evolution operator as

U^(t,t0)=U^T(t,t0)U^I(t,t0). (2.5)

This allows us to write

O(t)=Tr[U^I(t,t0)ρ^(t0)U^I(t,t0)U^T(t,t0)O^U^T(t,t0)].

This expression shows that we can write our equations in a picture where operators evolve according a unitary operator U^T (generated by H^T(t)), and our states evolve by an operator U^I (generated by H^I(t)).

In other words, we can choose a picture by choosing whatever H^T(t) we find convenient, and then calculating H^I(t) so that eqn. 2.5 is satisfied. The Schrödinger and Heisenberg pictures are now just special cases, obtained for H^T=1^ and H^T=H^ respectively. Other pictures can be found by choosing other H^T(t).

Theorem 2.2.1.

Given the decomposition of the unitary time evolution operator U^(t,t0)=U^T(t,t0)U^I(t,t0), and choosing the generator for the transformation of the operator to be H^T(t), we find that generator of the time-evolution for the state H^I(t) is related the original and the transformation Hamiltonian as

H^(t)=H^T(t)+U^T(t,t0)H^I(t)U^T(t,t0). (2.6)
Exercise 2.2.2.

Prove the above expression.

Example 2.2.3 (Interaction picture).

we often split our Hamiltonian into two parts:

H^(t)=H^0(t)+V^(t)

The first part may describe and unperturbed part of the system where the dynamics are well understood, or have already been solved. The second part denotes interactions that have been now imposed on the system.

The idea behind the Interaction Picture is to move the well-understood part of the dynamics onto the operators, such that anytime evolution of the state is only generated by the interaction part.

As such we choose:

H^T(t)=H^0(t).

We find then that

H^I(t)=U^T(t,t0)V^(t)U^T(t,t0).

2.2.3 Why Move to a Different Frame?

We saw in the previous section that the unitary time evolution operator may be applied to either the states or the observables to obtain the Schrödinger and Heisenberg pictures respectively. These pictures or frames are equivalent in the sense that they predict the same physics. Moreoever, these and other equivalent representations can be used for simplifying the interpretation and solutions of the equations of motion in quantum mechanics. The question arises: why choose one picture over another? A particularly beneficial feature of moving to a different frame is that it may make it significantly easier to unmask dynamics that are of primary interest.

A quintessential example of this advantage emerges when we try to solve equations for a driven atom or a two-level system. Take, for instance, a system with a ground state |g and an excited state |e. These states might have energy levels with a separation of 2 eV or roughly 500 THz (ωeg1015 1/s). By applying an electromagnetic field (i.e.light) at close to this transition frequency, we induce terms such as Ω|ge|+h.c. in the Hamiltonian. The strength of this interaction, called the Rabi frequency Ω might be significantly smaller than the transition frequency. For example, a typical value may be on the order of 1 MHz (Ω107 1/s) – more than 8 orders of magnitude smaller.

This disparity causes complications when we attempt to solve the equations numerically in a naive way by just plugging the equations into numerical integrator:

  1. 1.

    The necessary time-step, δt, required to solve the equation would need to be considerably smaller than 1/ωo, for example around δt1017 seconds. Then, roughly 10 billion steps would be needed to accurately capture the dynamics induced by the term proportional to Ω.

  2. 2.

    In the resulting equations of motion, we would be combining terms proportional to the various terms in the Hamiltonian, i.e.those proportional to ωo and Ω. On a digital computer, adding and subtracting small and large numbers often leads to difficulties. If the computer’s precision in representing these values is inadequate, the cumulative effects of this imprecision over multiple steps will lead to unreliable results.

Moving into a rotating frame on the other hand, would allow us to obtain accurate results with only 10100 steps of numerical integration – an 8 to 9 order of magnitude improvement over the naive approach. It is clear that even if we are only interested in solving quantum mechanical equations numerically, finding the correct picture is an essential step that must be taken with care.

In the following sections, we will study techniques centered around moving between different frames and representations and obtain some practice. We will see that moving to a new frame often offers an elegant solution to the challenges outlined above. In addition to helping us find reliable computational solutions to the equations in question, moving to a new frame can also improve our understanding of the dynamics, remove time-dependencies that complicate analytic analysis, and allow us to make approximations in a controlled fashion.

2.2.4 A Derivation of the Interaction Picture for Time-independent H^0 in terms of States and Coefficients

In the section 2.2.2, a very general description of pictures beyond Schrödinger and Heisenberg was provided. For clarity, we consider below the derivation of the Interaction Picture (given as example 2.2.3) that is somewhat more explicitly performed at the level of states and coefficients.

Let us begin by considering a system governed by a time-independent Hamiltonian, H^0. This Hamiltonian, responsible for the system’s dynamics, can be diagonalized to yield its eigenstates and eigenenergies {|ϕk,ωk}. As these eigenstates form a complete basis, any quantum state at a given time t can be expressed as:

|ψ(t)S=kdk(t)|ϕk,

where dk(t) are time-dependent coefficients and the subscript S indicates that this state is described in the Schrödinger picture.

We can derive the time evolution of dk(t) by utilizing the Schrödinger equation:

ddt|ψ(t)S=iH^0|ψ(t)S.

Taking the inner product of both sides with ϕk|, we find the set of differential equations:

ddtdk(t)=iωkdk(t)dk(t)=ckeiωkt.

This time evolution of the coefficients is captured by an operator U^0(t) such that |ψ(t)S=U^0(t)|ψ(0)S, where

U^0(t)k|ϕkϕk|eiωkt=exp(iH^0t/).

However, in many cases, our Hamiltonian H^ is a combination of a primary part, H^0, and an additional, possibly time-dependent, interaction part V^(t). Here, H^0 is diagonal in its own eigenbasis, making it easier to work with, while V^(t) may not be.

One common situation is when the dynamics of our quantum system are influenced by some external interaction, represented by V^(t). In such cases, we’re interested in understanding the additional dynamics induced by this interaction term.

To handle this, it’s convenient to describe our system in the eigenbasis of H^0, transforming the Schrödinger picture to what is known as the Dirac or interaction picture. We relate the state vectors in the interaction and Schrödinger pictures, |ψ(t)I and |ψ(t)S, to each other by the rotation U^0(t) in Hilbert space:

|ψ(t)S=kck(t)eiωkt|ϕk=U^0(t)|ψ(t)I|ψ(t)I=kck(t)|ϕk.

When our Hamiltonian is only H^=H^0, we saw above that the amplitude for |ϕk in the Schrödinger picture evolve as dk(t)=ckeiωkt. The ck(t) in the equations above are constants and all of the time evolution of |ψ(t)I has been absorbed into its definition, so that it too remains constant in time.

For a Hamiltonian that includes an interaction term H^=H^0+V^(t), ck(t) are time-dependent coefficients and their time-dependence is due solely to the interaction term V^(t).

Theorem 2.2.4 (Relation between Schrödinger Picture and Interaction Picture).

The transformation between the Schrödinger picture and the interaction picture is mediated by the operator U^0(t)=exp(iH0t/). This relationship can be summarized as follows:

H^=H^0+V^ H^I(t)=U^0(t)V^U^0(t),
|ψ(t)S=kdk(t)|ϕk |ψ(t)I=kck(t)|ϕk,
O^S O^I=U^0(t)O^SU^0(t),

where O^S and O^I denote any quantum operator in the Schrödinger and interaction pictures, respectively, and we have defined

|ψ(t)S=U^0(t)|ψ(t)I,dk(t)=ck(t)eiωkt.

The interaction picture is particularly helpful when the interaction part of the Hamiltonian V^(t) is not diagonal in the eigenbasis of H^0. In such situations, this picture simplifies the dynamics by isolating the effect of the interaction term.

Example 2.2.5 (Two-level System in the Interaction Picture (coefficients)).

Consider a two-level quantum system with energies ω0 and 0 respectively. The system’s time-independent Hamiltonian, H^0, is given by:

H^0=(ω0000).

Let’s suppose that this system is driven by a time-dependent field with strength Ω(t). The interaction Hamiltonian, V^(t), can then be expressed as:

V^(t)=2(0Ω(t)Ω(t)0).

The state of the system in the Schrödinger picture, |ψ(t)S, can be written as:

|ψ(t)S=d0(t)|ϕ0+d1(t)|ϕ1,

where d0(t) and d1(t) are time-dependent coefficients.

The time evolution of these coefficients in the Schrödinger picture is governed by the Schrödinger equation:

iddtd0(t) =ω0d0(t)+Ω(t)2d1(t),
iddtd1(t) =Ω(t)2d0(t).

In the absence of the interaction term V^(t), the differential equations governing the evolution of d0(t) and d1(t) simplify to:

iddtd0(t) =ω0d0(t),
iddtd1(t) =0.

These equations can be solved easily:

d0(t) =d0(0)eiω0t
d1(t) =d1(0).

Now, let’s transform this system into the interaction picture. The state in this picture, |ψ(t)I, can be written as:

|ψ(t)I=c0(t)|ϕ0+c1(t)|ϕ1,

where c0(t) and c1(t) are time-dependent coefficients that represent the probability amplitudes of the system being in the lower and upper energy level respectively. They are related to the Schrödinger picture coefficients by

d0(t) =c0(0)eiω0t
d1(t) =c1(0).

The time evolution of these coefficients in the interaction picture is governed by the Schrödinger equation:

idc0(t)dt =Ω(t)2eiω0tc1(t),
idc1(t)dt =Ω(t)2eiω0tc0(t).
Example 2.2.6 (Two-level System in the Interaction Picture (vectors and operators)).

Consider a two-level system governed by a time-independent Hamiltonian, H^0=ω02(σ^z+1^), and an interaction Hamiltonian V^(t)=Ω(t)2σ^x, where Ω(t) is a time-dependent driving field.

The Schrödinger picture wavefunction is |ψ(t)S=d0(t)|ϕ0+d1(t)|ϕ1=U^0(t)|ψ(0)S, with U^0(t)=exp(iH^0t/). In the absence of interaction, its coefficients evolve as d0(t)=d0(0)eiω0t and d1(t)=d1(0).

We then transfer to the interaction picture, where the wavefunction is |ψ(t)S=U^0(t)|ψ(0)I. The interaction Hamiltonian in this picture becomes V^I(t)=U^0(t)V^(t)U^0(t).

In the Schrödinger picture, the additional Hamiltonian representing the drive is written in terms of vectors as V^(t)=Ω(t)2(|ϕ0ϕ1|+|ϕ1ϕ0|). Now, transitioning into the interaction picture, we have to compute the interaction Hamiltonian as V^I(t)=U^0(t)V^(t)U^0(t). This gives us

V^I(t)=Ω(t)2(eiω0t|ϕ0ϕ1|+eiω0t|ϕ1ϕ0|).

This is the interaction picture Hamiltonian which gives us the same differential equations derived in example 2.2.5.

2.2.5 Pictures related by unitary transformations

The Schrödinger and Interaction pictures as defined above are related to one another by the unitary transformation U^0(t). Other unitary transformation can also be used and often valuable for the computational and conceptual simplifications that they provide. It is therefore helpful to to derive the equations of motion and definition of states and operators for general unitary transformations.

Theorem 2.2.7 (Relation between Schrödinger Picture and a Frame Defined by a General Unitary Transformation).

The transformation between the Schrödinger picture and a frame defined by a general unitary transformation is provided by the operator U^T(t). This connection is captured in the following equations:

H^(t) H^I(t)=U^T(t)H^(t)U^T(t)iU^T(t)tU^T(t),
|ψ(t)S |ψ(t)T=U^T(t)|ψ(t)S,
O^S O^T=U^T(t)O^SU^T(t),

where O^S and O^T represent any quantum operator in the Schrödinger and transformed pictures, respectively.

Proof 2.2.8.

The proof follows directly from discussion in 2.2.2, but we will provide an alternate proof here that starts with the Schrödinger equation.

We start with the Schrödinger equation for state evolving under the influence of a possibly time-dependent Hamiltonian:

it|ψ(t)S = H^(t)|ψ(t)S.

We denote our general unitary transformation, U^T(t) (T stands for transformation). This transformation defines a new frame of reference where hopefully the physics, which is equivalent to that described in any other frame, is a bit easier to analyze. Acting on a state in the new basis, the transformation maps every vector in the new frame to its corresponding Schrödinger picture state:

|ψ(t)S U^T(t)|ψ(t)T.

Using this definition, we can see what the original equation implies:

it|ψ(t)S = H^(t)|ψ(t)S
it(U^T(t)|ψ(t)T) = H^(t)(U^T(t)|ψ(t)T)
i([tU^T(t)]|ψ(t)T+U^T(t)t|ψ(t)T) = H^(t)(U^T(t)|ψ(t)T)

leading to

it|ψ(t)T=(U^T(t)H^(t)U^T(t)iU^T(t)[tU^T(t)])H^I(t)|ψ(t)T.

Note that by setting H^(t)=H^0+V^ and choosing the transformation U^T(t)=U^0(t)exp(iH^0t), we arrive at the interaction picture as discussed in section 2.2.4. This is due to the fact that iU^T(t)tU^T(t)=H^0, while U^T(t)H^(t)U^T(t)=H^0+U^T(t)V^U^T(t).

We arrive at the Heisenberg picture by setting U^T(t) to be the unitary evolution operator from the Schödinger picture, generated by the full Hamlitonian H^.

We summarize the resulting relationship between the three pictures in table 2.1.

Schrödinger
Picture
Interaction
Picture
Heisenberg
Picture
Hamiltonian H^=H^0+V^(t)
H^I(t)=V^I(t)
V^I(t)=U^0(t)V^(t)U^0(t)
H^H=0
States ρ^(t)=U^(t)ρ^(0)U^(t) ρ^I(t)=U^I(t)ρ^I(0)U^I(t) ρ^(t)=ρ^(0)
Observables O^(t) O^I(t)=U^0(t)O^(t)U^0(t)
O^H(t)=U^(t)O^(t)U^(t)
O^H(t)=U^I(t)O^I(t)U^I(t)
Propagators itU^(t)=H^(t)U^(t)
itU^I(t)=H^I(t)U^I(t)
U^(t)=U^0(t)U^I(t)
U^H(t)=1^
U^T(t) 1^ U^0(t)exp(iH^0t) U^(t)
Table 2.1: Relations between Schödinger, Interaction, and Heisenberg pictures.

2.2.6 Examples

In the following example, we examine the system that we considered in the introductory paragraph of this chapter. A two level system is driven by an external field oscillating at the frequency close to its transition.

Example 2.2.9 (Periodic Driving of a Two-Level System).

Consider a two-level system with states |0 and |1. For this system, the Hamiltonian consists of two parts: a time-independent part, H^0, and a time-dependent driving term, V^(t).

  1. 1.

    The Two-Level System:

    H^0 =ω1|11|

    Where:

    • ω1 is the energy difference between the two states.

  2. 2.

    The Driving Term: The system is subjected to an external drive given by:

    V^(t) =Ω[|10|+|01|]cos(ωdt)

    Where:

    • Ω is the Rabi frequency which determines the strength of the drive.

    • ωd is the driving frequency.

  3. 3.

    The Total Time-Dependent Hamiltonian:

    H^(t) =H^0+V^(t)
  4. 4.

    Interaction Picture Hamiltonian: By moving to the interaction picture, the Hamiltonian becomes:

    H^I(t) =U^0(t)V^(t)U^0(t)

    With:

    U^0(t) =exp[iH^0t/]=|00|+eiω1t|11|

    Though this is a perfectly valid frame to work in, we will find it even more convenient to move into a slightly different frame, one that oscillates at the drive frequency.

  5. 5.

    Moving to the Frame of the Drive: We define a transformation

    U^T(t) =exp[iωdt|11|]=|00|+eiωdt|11|

    that rotates with the drive. The new Hamiltonian H^I=U^T(t)H^U^T(t)ωd|11| results in:

    H^I =δ|11|+Ω[eiωdt|10|+|01|eiωdt]cos(ωdt)

    Where δ=ωdω1 is the detuning between the drive and the system.

  6. 6.

    Making the Rotating Wave Approximation (RWA): In the RWA, rapidly oscillating terms are ignored. Observe the terms in H^T that oscillate rapidly.

    H^I =δ|11|+Ω2[|10|+|01|]+Ω2[e2iωdt|10|+e2iωdt|01|]
    =H^TI+H^TD

    where the time-independent (H^TI) and time-dependent (H^TD) parts of the transformed Hamiltonian are defined as:

    H^TI δ|11|+Ω2[|10|+|01|]
    H^TD Ω2[e2iωdt|10|+e2iωdt|01|]

    We make the rotating wave approximation by noting that when Ωωd, H^TD only minutely affects the system’s evolution since the rapidly oscillating part averages out. This gives us

    H^I H^TIδ|11|+Ω2[|10|+|01|]

We see that by moving into the frame of the drive, we can eliminate rapidly oscillating terms and obtain a time-independent Hamiltonian – a significant simplification of our equations of motion.

The two following examples require some familiarity with the Harmonic Oscillator. You may wish to come back to these two after Chapter LABEL:chap:Qumodes.

Example 2.2.10 (Linear Driving of a Harmonic Oscillator).

Consider a spring-block system that is subject to an external driving force F(t). In quantum mechanics, our harmonic oscillator will have a Hamiltonian, H^0, and an external driving term, V^.

  1. 1.

    The Free Harmonic Oscillator:

    H^0 =p^22m+12mωo2x^2

    Where:

    • p^ is the momentum operator.

    • m is the mass of the particle.

    • ωo is the natural frequency of the oscillator.

    • x^ is the position operator.

  2. 2.

    The Driving Term: The system is driven by an external force which is periodic in time:

    V^(t) =F(t)x^=2Fωcos(ωdt)x^

    Where we chose F(t)=2Fωcos(ωdt) with

    • Fω is the amplitude of the external force.

    • ωd is the driving frequency.

    • The factor of 2 is for normalization convenience.

  3. 3.

    The Total Time-Dependent Hamiltonian:

    H^(t) =H^0+V^(t)
  4. 4.

    Expression in terms of Creation and Annihilation Operators:

    As shown in Chapter LABEL:chap:Qumodes, it is often convenient to express the position and momentum operators in terms of creation and annihilation operators a^ and a^ defined as:

    x^ =xzpf(a^+a^)
    p^ =ipzpf(a^a^)

    Where:

    • xzpf is the standard deviation of the oscillator’s position when in its ground state; xzpf=/2mωo.

    • pzpf is the standard deviation of the oscillator’s momentum when in its ground state; pzpf=mωo/2.

    Then for the quantum harmonic oscillator, we find44 4 Actually H^0=ωo(a^a^+1/2), but we drop the constant offset of ωo/2 in the energy for simplicity.

    H^0 =ωoa^a^
    V^(t) =2Fωcos(ωdt)xzpf(a^+a^)

    Using the identity cos(ωdt)=12(eiωdt+eiωdt), we express the driving term as:

    V^(t) =Fωxzpf(a^+a^)(eiωdt+eiωdt)
  5. 5.

    Going into the frame of the drive field: Our goal is to attempt to remove the time-dependence in the equations above – this would greatly simplify their analysis. It is generally not possible to find a time-independent description for a system that contains a time-dependent force. But in the case of the harmonically driven oscillator, we can succeed to within an approximation described below. First we move into a rotating frame by choosing the correct transformation:

    U^T(t) =exp(iωda^a^t).

    Notice, that this is slightly different than U^0 which we use to go the interaction picture. Applying this transformation to our Hamiltonian, we find55 5 We use the operator identity exp(iϕa^a^)a^exp(iϕa^a^)=eiϕa^ which is discussed in Chapter LABEL:chap:Qumodes.:

    H^I(t)=U^T(t)H^(t)U^T(t)iU^T(t)tU^T(t)

    which gives us

    H^I(t) =H^0ωda^a^+Fωxzpf(a^eiωdt+a^eiωdt)(eiωdt+eiωdt)

    .

    Expanding the driving term in H^T(t), we have:

    Fωxzpf (a^eiωdt+a^eiωdt)(eiωdt+eiωdt)
    =Fωxzpf(a^+a^)+Fωxzpf(a^e2iωdt+a^e2iωdt)

    Now, splitting H^I(t) into time-independent and time-dependent parts, we find:

    H^TI =H^0ωda^a^+Fωxzpf(a^+a^)
    H^TD(t) =Fωxzpf(a^e2iωdt+a^e2iωdt)
  6. 6.

    Making the rotating wave approximation (RWA): The crux of the RWA lies in observing that certain terms in the Hamiltonian will oscillate rapidly, and under some conditions will effectively average to zero over time and hence can be neglected.

    Looking at H^TD(t), we notice the terms are oscillating at twice the driving frequency. On the other hand, the rest of the Hamiltonian in this picture is generating time evolution at frequencies on the order of |ωdω0| and |Fωxzpf|. If 2ωd is much faster than |ωdω0| and |Fωxzpf|, then its effect will be averaged out and we can ignore it. This is called the RWA.

    Within the RWA, the Hamiltonian is approximated as:

    H^I (ωoωd)a^a^+Fωxzpf(a^+a^)
Example 2.2.11 (Parametric Driving of a Harmonic Oscillator).

Consider a parametric oscillator where the oscillation frequency is modulated, for example, by changing the spring constant periodically in time.

  1. 1.

    The Parametrically Driven Hamiltonian:

    H^(t) =p^22m+12mωo2(1+ϵ(t))x^2
    ϵ(t) =ϵ0cos(2ωdt)

    Here:

    • ϵ(t) represents the time-dependent modulation of the spring constant.

    • ϵ0 is the amplitude of the modulation.

    • 2ωd is the frequency of the parametric drive.

  2. 2.

    Hamiltonian in terms of Creation and Annihilation Operators: Using the definitions above for the Hamiltonian and the drive term, and the relation between the position and momentum operators, and the creation and annihilation operators, we find:

    H^(t) =pzp22m(a^a^)2+12mωo2(1+ϵ(t))xzp2(a^+a^)2
    =ωoa^a^+14ωoϵ(t)(a^+a^)2
    =ωoa^a^+14ωoϵ0cos(2ωdt)(a^+a^)2
    =ωoa^a^+18ωoϵ0(e2iωdt+e2iωdt)(a^+a^)2

    Now we define β18ωoϵ0, and find:

    H^(t) =ωoa^a^+β(e2iωdta^2+e2iωdta^2)+(other terms)

    Here:

    • β18ωoϵ0 is a parameter related to the amplitude of the parametric drive.

  3. 3.

    Transforming to a Rotating Frame of Reference:

    We use a transformation U^T(t)=exp(iωda^a^t), which puts us in the frame of reference of the drive:

    H^I(t) =U^T(t)H^(t)U^T(t)iU^T(t)dU^T(t)dt
    =(ωoωd)a^a^+β(a^2+a^2)+U^T(t)(other terms)U^T(t)
  4. 4.

    Simplification to a Time-Independent Hamiltonian within RWA:

    Note that in the interaction picture, if we drop the “other terms”, the Hamiltonian becomes time-dependent. Dropping these other terms may be justified within the rotating wave approximation resulting in:

    H^I (ωoωd)a^a^+β(a^2+a^2)