Difference between revisions of "Ultracold Bosons"

From amowiki
Jump to navigation Jump to search
imported>Woochang
imported>Woochang
 
(2 intermediate revisions by the same user not shown)
Line 22: Line 22:
 
Let's consider a superfluid confined in a cylindrical vessel of radius <math> R </math> and assume the order parameter is described as <math> \psi (r) = \sqrt{n(r)} e^{i s \phi} </math>, where <math> \phi </math> is the angular cylindrical coordinate and <math> s </math> is an integer (so the phase of the order parameter is single-valued). We will show that this is a solution to the Gross-Pitaevskii equation that corresponds to a rotating superfluid with a vortex line through the axis of the cylinder (= z-axis).  
 
Let's consider a superfluid confined in a cylindrical vessel of radius <math> R </math> and assume the order parameter is described as <math> \psi (r) = \sqrt{n(r)} e^{i s \phi} </math>, where <math> \phi </math> is the angular cylindrical coordinate and <math> s </math> is an integer (so the phase of the order parameter is single-valued). We will show that this is a solution to the Gross-Pitaevskii equation that corresponds to a rotating superfluid with a vortex line through the axis of the cylinder (= z-axis).  
  
First of all, the angular part of the order parameter is an eigenfunction of the rotation operator around the z-axis, with eigenvalue <math> s \hbar </math>, so the superfluid carries an angular momentum of <math> L_z = s\hbar </math>. The tangential velocity is <math> \vec{v}_s = \frac{\hbar}{m} \frac{1}{r}\frac{\partial}{\partial \phi} (s\phi)\hat{\phi} = \frac{\hbar}{m} \frac{s}{r}\hat{\phi} </math>. The curl of this velocity field is equal to <math> \frac{1}{r} \frac{\partial}{\partial r} (r v_s) \hat{z} =  2\pi s \frac{\hbar}{m} \delta^{(2)} (r) \hat{z} </math> where <math> \delta^{(2)} </math> is a two-dimensional delta function in the x,y plane.  
+
First of all, the angular part of the order parameter is an eigenfunction of the rotation operator around the z-axis, with eigenvalue <math> s \hbar </math>, so the superfluid carries an angular momentum of <math> L_z = s\hbar </math>. The tangential velocity is <math> \vec{v}_s = \frac{\hbar}{m} \frac{1}{r}\frac{\partial}{\partial \phi} (s\phi)\hat{\phi} = \frac{\hbar}{m} \frac{s}{r}\hat{\phi} </math>. The curl of this velocity field is equal to <math> \frac{1}{r} \frac{\partial}{\partial r} (r v_s) \hat{z} =  2\pi s \frac{\hbar}{m} \delta^{(2)} (r) \hat{z} </math> where <math> \delta^{(2)} </math> is a two-dimensional delta function in the x,y plane (this can be also reasoned by applying Green's theorem to <math> \oint \vec{v}_s \cdot \vec{dl} = 2\pi s \frac{\hbar}{m} </math>). We see that irrotationality is satisfied except on the vortex line. Now we show from the GPE that the density approaches zero as we approach the vortex line.
 +
 
 +
If we substitute <math> \psi = \sqrt{n(r)} e^{i s \phi} </math> to the time-independent GPE, by using the expression for the Laplacian in cylindrical coordinates we obtain the following equation for <math> |\psi| </math>:
 +
:<math>
 +
-\frac{\hbar^2}{2m} \frac{1}{r} \frac{d}{dr} \Big(r \frac{d}{dr} |\psi| \Big) + \frac{\hbar^2 s^2}{2 m r^2} |\psi| + U_0|\psi|^3 - \mu |\psi| = 0
 +
</math>
 +
Far away from the vortex line (distance much longer than the healing length) we expect the density <math> n(r) </math> to approach a uniform value <math> n_0  = \mu/U_0</math>. So let's express the modulus of the order parameter in terms of a dimensionless function <math> f(r/\xi) </math> , where <math> \xi </math> is the healing length <math> \hbar/ \sqrt{2 m U_0 n_0} </math>
 +
:<math>
 +
\sqrt{n(r)} = \sqrt{n_0} f(r/\xi)\, (f(\infty) = 1)
 +
</math>
 +
It is easy to verify that <math> f(r/\xi) = f(\eta) </math> obeys the equation
 +
:<math>
 +
\frac{1}{\eta}\frac{d}{d\eta} \Big(\eta \frac{df}{d\eta} \Big) + \Big(1- \frac{s^2}{\eta^2} \Big) f - f^3 = 0
 +
</math>
 +
Near the vortex core region (<math> \eta \to 0 </math>), the solution asymptotically approaches <math> f \sim \eta ^{|s|} </math>. One can go further can calculate the energy required to create a vortex line and then the critical angular velocity for spontaneous creation of vortex lines. See Chapter 5 of Stringari and Pitaevskii.
 +
 
 
::[[Image:Superfluid_to_Mott_insulator_transition-bec3-vortex-creation|thumb|400px|none|]]
 
::[[Image:Superfluid_to_Mott_insulator_transition-bec3-vortex-creation|thumb|400px|none|]]
 
::[[Image:Superfluid_to_Mott_insulator_transition-bec3-vortex-movie|thumb|400px|none|]]
 
::[[Image:Superfluid_to_Mott_insulator_transition-bec3-vortex-movie|thumb|400px|none|]]

Latest revision as of 23:36, 13 May 2017

Ideal Bose Gas

A Bose–Einstein condensate (BEC) is a defined as the occurrence of the macroscopic occupation of one-particle states. When a dilute gas of bosons cooled to temperatures very close to 0K (usually ~100nK in experiments), a large fraction of bosons occupies the lowest quantum state, at which point macroscopic quantum phenomena become apparent.

In this section, we summarize some basic and useful thermodynamic results and properties for Bose-Einstein condensations. F

Phase Space Density

The fundamental difference between a BEC and a classical gas is the occupancy of a single-particle state. In a classical gas, the mean occupation number for a single quantum state satisfies the Boltzmann distribution which is much less than unity. This feature is qualitatively captured by the defined as (3D, homogeneous gas)

where is the thermal de Broglie wavelength.

Some typical parameters for

  • Classical thermal gas
    • Atom density
    • Interatomic distance
    • Thermal de Broglie wavelength Failed to parse (syntax error): {\displaystyle \lambda_T \sim 10^{-2} \text{nm}(T = 300K) }
  • BEC in dilute gas
    • Atom density
    • Interatomic distance
    • Thermal de Broglie wavelength Failed to parse (syntax error): {\displaystyle \lambda_T \sim 10^{3} \text{nm}(T = 100nK) }

The Bose-Einstein Distribution

For non-interacting bosons in thermodynamic equilibrium, the mean occupation number of the single-particle state is

is defined as fugacity. At high temperature, the chemical potential lies below . As temperature is lower, the chemical potential rises until it reaches and the mean occupation numbers increase.

Thermodynamics in Semi-classical Limits

We focused on the semi-classical case where . Here is the scale for enery level spacing in the trapping potential (for example, for 3D harmonic trapping. This is usually valid in a real experiment where and . In this case, the system can be treated as a continuous excited energy spectrum plus a separated ground state. It seems to be contradictory to the nature of BEC when most of the population is found in the single ground state, but this description is a good enough approximation in many situations. The fully quantum description is necessary for some cases as we will see in the Pedagogical Example in end.

Transition Temperature

When , the occupation number on the ground state can be arbitrarily large, indicating the emergence of a condensate. The corresponding temperature is the transition temperature . can be calculated with the criteria that the maximum number of particles can be held in the excited states is equal to the total particle number . In the semi-classical limit where the sum over all states is replaced by an integral and simple assumption that we have

where we define

Here is the density of states. is the number of atoms in the ground state. Notice that the chemical potential is set to 0 (or in fact without any justifications. In fact, by setting what we are calculating here is the maximum possible number of atoms that can be accommodated by the "excited" states. If the total number of atoms is larger tan that, the rest must go to the ground state. A more rigorous calculation without this assumption can be found in the section Finite number effects.

The form of the transition temperature and therefore the condensate atom number depends strongly on the form of which is affected by the dimension, trapping potential and the dispersion of the system. Under the most general assumption that , we reach

where . Straightforwardly we have a simple scaling function

Some common cases are summarized below

cases:3D box2D box3D Harmonic2D Harmonic

We see that the semi-classical picture is already good enough to capture some basic condensate physics. As a quick exaple, for the parameters in a typical AMO experiment (3D, harmonic trapping)

  • harmonic trapping frequencies

We have

Thermodynamic Properties

The thermodynamic properties can be readily calculated from the Bose distributions and sum over all the states.

For example, the total energy

We therefore can obtain a scaling law for all the importnat thermodynamic quantities as listed below assuming that and

Thermodynamic Property:EEntropy S

It is also useful to express the relationship with dimensionless parameter considering we therefore obtain

Beyond Semi-classical Limits

A more quantum way to deal with the system is by treating the energy levels as discrete and replace the integral with summation and also consider the constraint

Notice that this time the ground state is not separated from the summation. Given the energy spectrum which is often determined by the trapping potential, and temperature , the constraint allows the calculation of at least numerically. We then immediately get the ground state occupation .

Superfluidity and Coherence

Superfluidity

Strictly speaking, Bose-Einstein condensation is not necessary for superfluidity, but also not sufficient. For example, The ideal Bose gas can undergo Bose-Einstein condensation, but it does not show superfluid behavior since its critical velocity is zero. Superfluidity requires interactions. The opposite case (superfluidity without BEC) occurs in lower dimensions. In 1D at T = 0 and in 2D at finite temperature, superfluidity occurs [277], but the condensate is destroyed by phase fluctuations. In 3D, condensation and superfluidity occur together. In a macroscopic bulk system, superfluidity shows itself with several features: absence of viscosity, reduced the momentum of inertia, collective excitations(second sound for example), quantized vortices etc. These effects will be discussed in section "vortices in BEC".

Off-Diagonal Long-Range Order

Another feature of a BEC is the global phase coherence. It is related to the occurrence of the off-diagonal long-range order. We shall see that macroscopic occupation of a single particle state produces such order.

Mathematically, we characterise th between atoms at position and with

The term is sometimes also called real space first-order correlation function. We notice that is nothing but the atomic density at potision .

In a homogeneous system, depends only on the relative coordinate . The correlation function then reveals the distribution in the momenutm space.

  • In a thermal gas, we have as .
  • In a BEC, we have macrosopically populated state ( for example in a box we populate ), we then have as .
File:Interference bec.jpg
Interference of two BECs. Andrew, Townsend "et. al." Science 275, 637

Direct experimental evidence of the phase coherence was found by observing the interference pattern between two BECs created by splitting a single piece (see Andrew, Townsend "et. al." Science 275, 637).

The periodicity of the fringes is related to the initial splitting and the flight time and is on the order of .

Some Remarks

Back to: Quantum gases

Weakly Interacting Homogeneous Bose Gas

Typical introductory statistical mechanics courses examine BECs by assuming that they consist of many non-interacting atoms. That simple model does an excellent job of predicting the condensation temperature and fraction of atoms in the condensate, however it quantitatively and even qualitatively misses some of the properties of real BECs. The issue is that real atoms interact with each other and these interactions can alter many properties of a BEC. Fortunately, a simple mean-field treatment of the interactions can create an excellent model that captures much of the behavior seen in real BECs as will be shown in the following sections.

Weakly Interacting Bose Gas near

We can start to account for atom-atom interactions by adding a collisional term to the hamiltonian. We can consider a collision as a process that annihilates a particle with momentum and a particle with momentum , then creates two particles with momenta and . By momentum conservation we may write and . We let be the matrix element for this process, and so we can write collisional hamiltonian as the sum of all possible collisions (with a factor of 2 to avoid double-counting input states)

This hamiltonian is far too complicated to solve in the general case, so we must make some approximations. First, for typical BEC parameters, the spacing between atoms is much larger than the collisional scattering length of the atoms. Therefore the complicated atomic interaction potential can be well approximated by replacing it with a delta function potential. In particular, if the atomic separation is , then we may write the potential as where and is the -wave scattering length. Now is the Fourier transform of , and since the Fourier transform of a delta function is a constant function, we have that . So we may write

Unfortunately this Hamiltonian is still too complicated to solve. The reason is that it is extremely difficult to diagonalize hamiltonians that are a product of four operators. Therefore we need some way to simplify things down to two operators. We do this with the Bogoliubov approximation, which says that when there are a large number of atoms in the condenstate, we may approximate . And since and , we may then approximate those operators with c-numbers . Furthermore, since is large, we see that the terms in the hamiltonian that will dominate are the ones in which there are two or more occurrences of and/or . We may therefore approximate the hamiltonian as

The full hamiltonian is simply this plus the kinetic energy term

At this point we have made enough approximations to arrive at a solvable hamiltonian, since it only involves quadratic products of operators.

To show that it is possible to diagonalize this hamiltonian, we will outline the method. We start by replacing with using the relation

to give

Each term in the sum has the form

where we've define , , and . Now the first term in looks nice, it's just the hamiltonian for harmonic oscillators. The second term however is inconvenient, so we'd like to get rid of it. This can be done by performing the Bogoliubov transformations, which rewrites the hamiltonian in terms of different operators and , which are superpositions of and . In particular we write

Failed to parse (syntax error): {\displaystyle a=u\alpha -v\beta^\dagger \\ b=u\beta -v\alpha^\dagger }

where we have the freedom to choose and . The first requirement we impose is to make sure so that and obey the bosonic commutation relations. This forces , but still leaves one degree of freedom. When plugging and into , we see we'll get something of the form

Therefore, we use our other degree of freedom to choose and such that the second prefactor is zero, thereby getting rid of the troublesome terms. We are just left with

for which we know the solutions are just the harmonic oscillator eigenstates.

Sound propagation in Bose-Einstein condensates

From the previous section, we see that we may write the hamiltonian under the Bogoliubov approximation as

where we've changed notation a bit so that now represents what we had called , the annihilation operator for a quasiparticle (not an atom). We've also used

and represents the speed of sound in the BEC. This dispersion relation shows us that the low lying excitaitons are phonons. At , that of sound, while at , , a free particle. Free particles start with a quadratic dispersion relation, while phonons and other Bose systems start with a linear dispersion relation.

The dispersion relation can be experimentally measured using Bragg spectroscopy. In this procedure, two lasers are shined towards the BEC, giving the condensate a chance to absorb a photon from one beam and perform stimulated emission into the other. This process is only allowed if the the momentum and energy change of the photon as it changes beams can be absorbed by the BEC by creating a quasiparticle excitation. By varying the detuning and angle between the beams, one can map out which combinations of energy and momenta create quasiparticles, thereby revealing the dispersion relation.

The Bogolubov solution has a great deal of physics in it. It gives the elementary excitation, and the ground state energy. In the simple model that we have a mean field, the ground state energy is

The extra correction term on the right is a small term, recently observed by the Innsbruck group, due to collective effects. The Bogolubov solution also gives the ground state wavefunction,

where is the quantum depletion term, which makes the wavefunction satisfy

and

The quantum depletion term, which arises from the fact that the gas is weakly interacting, has now been experimentally observed. Recall that in the Bogolubov approximation, the original interaction

is approximated by

The quantum depletion this leads to is very small. The effect can be more readily experimentally observed by increasing the mass of the particle, and this can be done by placing the particles in a lattice. Plotting the quantum depletion which can be obtained as a function of lattice depth, in such an experiment, one gets:

Beyond a quantum depletion fraction of , the Bogolubov approximation breaks down, as the condensate goes through a superfluid to Mott-insulator transition.

Back to: Quantum gases

Inhomogeneous Bose gas

The physics of a BEC happens not just in momentum space, but also in position space, and it is useful to analyze it accordingly. With a trapping potential applied, the Hamiltonian is written in terms of bosonic field operators (obeying )

Note: this is a general field-quantized expression for a Hamiltonian with two-body interaction. If you are not familiar with second quantization, consult the first chapter of "Quantum Theory of Many-Particle Systems" by Fetter and Walecka, which reviews the mapping between first quantization and second quantization in detail.

We are interested in the time-evolution of the operator (i.e. we work in the Heisenberg picture). The equation of motion is given by the Heisenberg equation

Using the field operator commutation relation, we can write the right-hand side of the equation as

This must be approximated, in the spirit of Bogoliubov's momentum space approximation, to obtain a useful solution. We thus replace

where the complex number is an expectation (mean field), and the operator captures the quantum (+ thermal) fluctuations. We do not consider terms proportional to . We further assume that the interaction potential is a delta function, (which is valid for s-wave scattering at short range). With these assumptions, we obtain a nonlinear Schrodinger equation:

This is known as the Gross-Pitaevskii equation.

The term adds an energy proportional to the density due to the interactions. That density-dependence implies that increasing the density comes with an energy cost and decreasing density lowers the energy. Since the density is multiplied by the wave function, there is a non-linear energy dependence on the density. Therefore, lowering the density in one region and raising it in another costs energy and so this term makes the condensate try to have a uniform density distribution (the total number of particles is fixed so the integrated density cannot change).

The density-dependent term has an interesting interplay with the other two terms. Consider its effect on a condensate in a box potential for instance. If it were not for the interactions, the BEC density distribution would simply be set by the ground state of the box potential. However, the central region of that distribution is very dense, so the density-dependent term will try to flatten out the distribution and push atoms out towards the wings. It can flatten out the distribution near the center very well, but the trap potential makes it impossible to push atoms out too far, so the atom distribution stays roughly flat over a finite region. At the edge of the flat region of the density distribution are the wings which must go to zero at the edges of the box. The density energy cost makes the cloud want to make this crossover region as small as possible. However, making it very small would take a lot of curvature in the wave function, causing the kinetic energy term to increase. Therefore the distribution at the edges reaches a compromise between interaction energy and kinetic energy curvature. The length scale of the crossover region set by this compromise (assuming repulsive interactions) is known as the healing length ,

arising from

where is the s-wave scattering length.

We remarked that the Gross-Pitaevskii equation looks like a nonlinear Schrodinger equation. Then what should its time-independent version look like? In other words, what is the that appears in ? For ordinary time-independent Schrodinger equation applied to wavefunctions, that would be the energy of an eigenstate. But the notion of an eigenfunction for a nonlinear equation is not clear. The answer is the chemical potential , and it can be reasoned as follows (from "Bose-Einstein Condensation and Superfluidity" by Pitaevskii and Stringari). Our assumption requires that the bra-state and the ket-state cannot have the same number of particles - the condensate acts like a reservoir. When the number of particles is large and the interaction is not too strong, adding one particle only makes correction to the state on the order of , where is the average number of particles. So in this limit, it is valid to interpret so that the bra-state has one number of particle less than the ket state. Now if we take an average over stationary states, whose time dependence is governed by , the time dependence of the mean value is given by . The quantity is known as the superfluid order parameter in statistical physics. The non-zero, complex value of the superfluid parameter distinguishes the superfluid phase from the normal phase. The term order parameter is used to describe a phase with broken symmetry, which we will explain later in the context of BEC.

In summary, the time-independent version of the GPE reads


It is worth emphasizing that the superfluid order parameter is not equivalent to an ordinary Schrodinger wavefunction (from Pitaevskii and Stringari). First of all, we already saw that the order parameter evolves in time with chemical potential, not energy. Also, because the GPE is non-linear, two solutions and with different chemical potentials are not necessarily orthogonal (). But quantum mechanics is linear and hence different eigenstates are orthogonal. How should these two facts be reconciled? In the weak-interacting limit, so that we can ignore correlations between particles (which the mean-field approximation implies), we can write the many-body wavefunction corresponding to the field in a factorized form (Hartree-Fock approximation):

The inner product of two different many-body wavefunctions corresponding to and is , which goes to zero unless when . This also emphasizes that the GPE and the mean-field picture is only valid in the limit of large .

If the interactions are really strong, the kinetic energy term can be neglected, because the interactions will keep the density constant in its spatial distribution. This is a particularly good approximation in the flat center of the distribution where there is little wave function curvature. Such an approximation is the Thomas-Fermi approximation, giving an equation for the wavefunction,

giving the solution

The wavefunction is essentially just the potential filled up to the chemical potential level, inverted. For a quadaratic potential, , the chemical potential is

where is a common term worth identifying, and is a characteristic length scale of the oscillator, its zero point motion. Defining , we may find . This explains the profile of the condensate data obtained in experiments:

Note that the size of the ground stat BEC is much larger than the zero-point motion of the harmonic oscillator. This is due to the pressure of the repulsive interactions. The Gross-Pitaevskii interaction gives not only the ground state wavefunction, but also the dynamics of the system. For example, it predicts soliton formation: stable wavefunctions with a size scale determined by a balance of the kinetic energy and the internal interactions. This requires, however, an attractive potential. Such soliton formation can nevertheless be seen in BEC's, with tight traps (see recent Paris experiments).

Length and energy scales in BEC

  • Size of atom: nm
  • Separation between atoms nm
  • Matter wavelength m
  • Size of confinement m

Note that

For a gas, . For a BEC, in addition. The corresponding energy scales are also useful to identify. Let . Then:

The interaction energy scale , corresponding to the healing length.

Back to: Quantum gases

Vortices in a BEC

The Gross-Pitaevskii equations also predict the formation of topological defects in the condensate, such as vortices. These form with a characteristic vortex diameter of , the healing length. Because the Thomas-Fermi approximation breaks down at this length scale, the classical hydrodynamic equations introduced at the end of "Superfluid Hydrodynamics" do not work and we must include the full effects of quantum pressure.

In developing the hydrodynamic equations for the superfluid, it was shown that superfluid flow is irrotational (). This already tells us that rotating superfluids behave differently from rotating normal fluids. For normal fluids with rotational velocity , the velocity field is given by , and its curl is not zero. So how can a superfluid rotate (i.e. have a non-zero tangential velocity)? It can rotate as long as the curl of the velocity field becomes nonzero where the density goes to zero.

Let's consider a superfluid confined in a cylindrical vessel of radius and assume the order parameter is described as , where is the angular cylindrical coordinate and is an integer (so the phase of the order parameter is single-valued). We will show that this is a solution to the Gross-Pitaevskii equation that corresponds to a rotating superfluid with a vortex line through the axis of the cylinder (= z-axis).

First of all, the angular part of the order parameter is an eigenfunction of the rotation operator around the z-axis, with eigenvalue , so the superfluid carries an angular momentum of . The tangential velocity is . The curl of this velocity field is equal to where is a two-dimensional delta function in the x,y plane (this can be also reasoned by applying Green's theorem to ). We see that irrotationality is satisfied except on the vortex line. Now we show from the GPE that the density approaches zero as we approach the vortex line.

If we substitute to the time-independent GPE, by using the expression for the Laplacian in cylindrical coordinates we obtain the following equation for :

Far away from the vortex line (distance much longer than the healing length) we expect the density to approach a uniform value . So let's express the modulus of the order parameter in terms of a dimensionless function , where is the healing length

It is easy to verify that obeys the equation

Near the vortex core region (), the solution asymptotically approaches . One can go further can calculate the energy required to create a vortex line and then the critical angular velocity for spontaneous creation of vortex lines. See Chapter 5 of Stringari and Pitaevskii.

Question: do you get the best vortices by stirring gently, or vigorously?

Superfluid Hydrodynamics

The notion of superfluid and Bose-Einstein condensation are intimately related. Superfluids can flow through narrow tubes without dissipating heat due to their zero viscosity. A well-known example of superfluid is low-temperature helium-4 (and helium-3, which is a fermionic superfluid). What characterizes a superfluid is that it can only dissipate heat via creation of elementary excitations, and if the flow velocity is slower than the characteristic speed of sound in the superfluid, those elementary excitations cannot be spontaneously created, thus ensuring a frictionless flow (Landau's criterion). Indeed, dilute BEC gases also have a linear dispersion with non-zero speed of sound at low momentum (Bogoliubov dispersion) and feature superfluidity. But it is important to note some differences between a superfluid and a BEC. An ideal BEC will have a quadratic dispersion (zero speed of sound), and there is no energy gap to protect the ground state from excitations, so an ideal BEC cannot be a superfluid. Also, even for the interacting BEC, the condensate density of BEC is not equivalent to superfluid density, for at zero temperature, by definition the superfluid fraction is 100% and normal fraction is 0%, but the condensate fraction is less than 100%, due to quantum depletion.

Now let's try to obtain an equation that describe the superfluid flow of BEC, which will require two variables: density and velocity. We again emphasize that the density in this case is not equivalent to superfluid density because of quantum depletion. In this article, we try a bit formal approach to arrive at the continuity equation.

The original Hamiltonian is invariant under the U(1) transformation . Indeed, the equation of motion obeys this symmetry, even though the superfluid itself has broken the symmetry by selecting a particular phase. This is characteristic of spontaneously broken symmetry. Noether's theorem (from classical mechanics / field theory) tells us that every continuous symmetry is associated with a conserved current , and we will see that that the conserved charge is actually the average number of atoms, . To make use of Noether's theorem, we need an action term that produces the GPE. We can obtain the GPE via the action principle if we suppose the action is given by the functional

If the field transforms infinitesimally under symmetry with parameter as , then the Noether current is given by . The result is

Failed to parse (syntax error): {\displaystyle j^0 = n = |\psi|^2\\ j^{x,y,z} = \vec{j} = - \frac{i\hbar}{2m} (\psi^{*} \nabla \psi - \psi \nabla \psi^{*} )\\ \partial_{\mu} j^{\mu} =0 \Rightarrow \partial_t n + \nabla \cdot \vec{j} = 0 }

By using the fact that the equation of motion for the superfluid obeys U(1) symmetry, we have derived the continuity equation, which implies that the average number of atoms is conserved. Now consider writing the complex order parameter in terms of its amplitude and phase: . You will find that the current density can be expressed as proportional to gradient of the phase term:

Failed to parse (syntax error): {\displaystyle \vec{j} = n \frac{\hbar}{m} \nabla S = n \vec{v}_s\\ \vec{v}_s = \frac{\hbar}{m} \nabla S }

Since the curl of a gradient term is zero, the expression for the velocity field shows that the condensate flow is irrotational. If you plug in the phasor expression for the order parameter into the GPE, you obtain a complex equation whose real and imaginary part need to set to zero separately. The imaginary part gives back the continuity equation, and the real part gives

The last term is known as the quantum pressure term and emphasizes the importance of quantum effects in inhomogeneous condensates. Take the gradient of the above equation to obtain the equation of motion for the velocity field. Now we have a set of coupled equations for two hydrodynamic variables (density and velocity field):

Note these resemble the Euler equations from fluid dynamics. If the quantum pressure term were zero, the dependence disappears (except implicitly in ) and the equations describe the potential flow of a non-viscous gas with pressure .


In the Thomas-Fermi approximation (ignoring the quantum pressure term), we can linearize the coupled hydrodynamic equations by expanding the variables around their stationary values

If we assume , then we obtain the following equations:

We see that these produce a wave equation for the density fluctuation:

For homogeneous , the speed of sound is . A droplet of condensate can have shape resonances, waves, and many other physical behaviors, captured by the solutions to the hydrodynamic equations. For an early discussion of collective excitations in trapped BEC, see PRL 77, 2360 (1996). For the description of the time-of-flight expansion of BEC out of a time-dependent harmonic trap, see PRL 77, 5315 (1996).


Back to: Quantum gases

Superfluid to Mott-Insulator transition

A condenstate in a shallow standing wave potential is a BEC, well described by a Bogoliubov approximate solution. As the potential gets deeper, though, eventually the system transitions into a state of localized atoms, with no long-range coherence, known as a Mott insulator. These physics are important in a wide range of condensed matter systems, and can be explored deeply with BECs.

The discussion of superfluid to Mott insulator (SF-MI) transition involves some basic knowledge of periodic potentials from solid state physics. We will review the concept briefly. To observe SF-MI transition, ultracold bosons are placed in an optical lattice, which is formed by a standing wave of light. A variety of optical lattice geometry can be generated by how the laser beams interfere with each other. In this article we only consider the simple (and most common) case of separable, sinusoidal potential, generated by a pair of retroreflected beams in each axis:

The Hamiltonian is periodic in space (ignoring interactions for now) with period , so we can use Bloch's theorem, which says that the wavefunctions of the eigenstates of a periodic Hamiltonian can be written as

What this means is that if we translate the wavefunction by distance , then the wavefunction can only change up to a complex phase. From a more formal point of view, because the continuous translation symmetry is lost and only discrete translation symmetry remains, momentum is only conserved modulo . For this reason the quantity is called quasimomentum. If the lattice potential were zero, the quasimomentum and the momentum are related by . The integer is called the band index, because if you draw the free particle dispersion and "folding" the parabola inside the region , you get a discrete number of energy bands. The region in reciprocal space is called the first Brillouin zone, or simply the Brillouin zone. When the lattice potential is zero (), there are points where some of the energy bands become degenerate (e.g. the first and second bands touch at the boundaries of the Brillouin zone). When the lattice potential is nonzero, the degeneracy is broken and an energy gap opens between each band.

The discussion above becomes clearer if we apply Bloch's theorem to express the Hamiltonian in reciprocal space. We can write using Bloch's theorem and similarly . The net effect is that the Schrodinger equation becomes an algebraic equation in reciprocal space, with appearing as off-diagonal matrix element that couples the amplitude to (intuitively, the modulation due to lattice potential transfers momentum to the wavefunction). If we write the eigenvalue equation for 1-dimensional case, it looks like

The solutions to this equation, i.e. the eigenstates of the periodic Hamiltonian, are called the Bloch states. Similar to plane wave solutions for free particle Hamiltonian, the Bloch states are delocalized over the lattice sites. But for our application, where interaction term appears as a on-site term, it would be more convenient to work with a basis set with states localized at each lattice site. The wavefunction for such states, are called Wannier functions, which is constructed as a complex linear combination of Bloch states (analogous to Fourier transform).

where is any lattice vector. Wannier functions are not unique in general (because of the freedom to choose "gauge" ), but one can define a localization function and find out that there exists a unique set of maximally localized Wannier functions (MLWF) - see the review paper by Marzari and Vanderbilt (RMP 84, 1419).

We are now ready to introduce the Bose-Hubbard Hamiltonian, which sets the framework of the SF-MI transition. Assume that all the atoms are in the lowest band, and the lattice is deep so that we work in the tight-binding limit - the atoms can tunnel only between nearest-neighboring sites.

This Hamiltonian can be derived from the Hamiltonian written in terms of field operator (see the notes on "Inhomogeneous Bose gases") and expanding the field operator in the Wannier function basis (). The three parameters that appear in the Bose-Hubbard Hamiltonian are tunneling constant , on-site interaction energy , and chemical potential which fixes the number of atoms in the system. In terms of Wannier functions,

If the ratio of interaction energy to tunneling energy is low, the atoms stay as a superfluid (and occupy the point in the BZ). However, when the ratio becomes high, it becomes energetically costly to tunnel between sites due to the repulsive on-site interaction, such that the atoms cannot tunnel anymore and fail to maintain long-range coherence. This is the Mott insulating state, in which the tunneling is frozen and each lattice site has a fixed number of atoms. The Mott insulating state is characterized by the filling factor : a Mott insulator has two atoms occupying every lattice site, no more, no less. In the superfluid state, the site occupation number fluctuates, but each site has a well-defined phase relationship with respect to other sites ().

Experimentally, the phase transition can be observed in the time-of-flight pattern of atoms released from the optical lattice. The time-of-flight pattern reveals the momentum distribution of the atoms, and below a critical lattice depth, we see well-defined peaks (at zero quasimomentum and elsewhere, translated by the reciprocal lattice vectors). One can think of this as a multi-slit diffraction pattern of a coherent matter wave. Above the critical lattice depth, the long-range coherence is lost and the sharp quasimomentum peaks are no longer visible.

Back to: Quantum gases

References