Cold atoms

120

Click here to load reader

description

Cold atoms. Lecture 7. 21 st February, 2007. Preliminary plan/reality in the fall term. Lecture 1 … Lecture 2 … Lecture 3 … Lecture 4 … Lecture 5 … Lecture 6 … Lecture 7 …. Something about everything (see next slide) The textbook version of BEC in extended systems - PowerPoint PPT Presentation

Transcript of Cold atoms

Page 1: Cold atoms

Cold atoms

Lecture 7.21st February, 2007

Page 2: Cold atoms

2

Preliminary plan/reality in the fall term

Lecture 1 …

Lecture 2 …

Lecture 3 …

Lecture 4 …

Lecture 5 …

Lecture 6 …

Lecture 7 …

Something about everything (see next slide) The textbook version of BEC in extended systems

thermodynamics, grand canonical ensemble, extended gas: ODLRO, nature of the BE phase transition

atomic clouds in the traps – independent bosons, what is BEC?, "thermodynamic limit", properties of OPDM

atomic clouds in the traps – interactions, GP equation at zero temperature, variational prop., chem. potential

Infinite systems: Bogolyubov theory

BEC and symmetry breaking, coherent states

Time dependent GP theory. Finite systems: BEC theory preserving the particle number

Sep 22

Oct 4

Oct 18

Nov 1

Nov 15

Nov 29

Page 3: Cold atoms

Recapitulation

Offering many new details and alternative angles of view

Page 4: Cold atoms

BEC in atomic clouds

Page 5: Cold atoms

5

Nobelists I. Laser cooling and trapping of atomsThe Nobel Prize in Physics 1997

"for development of methods to cool and trap atoms with laser light"

b. 1948b. 1933(in Constantine, Algeria)

b. 1948

National Institute of Standards and Technology Gaithersburg, MD, USA

Collège de France; École Normale Supérieure Paris, France

Stanford University Stanford, CA, USA

USA France USA

1/3 of the prize 1/3 of the prize 1/3 of the prize

William D. Phillips Claude Cohen-Tannoudji

Steven Chu

 

Page 6: Cold atoms

6

Doppler cooling in the Chu lab

Page 7: Cold atoms

7

Doppler cooling in the Chu lab

atomic cloud

Page 8: Cold atoms

8

Nobelists II. BEC in atomic cloudsThe Nobel Prize in Physics 2001

"for the achievement of Bose-Einstein condensation in dilute gases of alkali atoms, and for early fundamental studies of the properties of the condensates"

b. 1951b. 1957b. 1961

University of Colorado, JILA Boulder, CO, USA

Massachusetts Institute of Technology (MIT) Cambridge, MA, USA

University of Colorado, JILA Boulder, CO, USA

USA Federal Republic of Germany USA

1/3 of the prize 1/3 of the prize 1/3 of the prize

Carl E. Wieman Wolfgang Ketterle Eric A. Cornell

 

Page 9: Cold atoms

9

Trap potential

Typical profile

coordinate/ microns

?

evaporation cooling

This is just one direction

Presently, the traps are mostly 3D

The trap is clearly from the real world, the atomic cloud is visible almost by a naked eye

Page 10: Cold atoms

10

Ground state orbital and the trap potential

level number

200 nK

400 nK

0/ xx a

2

20

0 0 0 0

2 22

0 0 0 2 20 00

( , , )

1 1 1 1( ) e , ,

2 2 2

x y z

u

a

m

x y z x y z

u a Em ma Mu aa

22 2

0

1 1( )

2 2

uV u m u

a

0

6

87

1 m

=10 nK

~ 10 at.

Rba

N

• characteristic energy

• characteristic length

Page 11: Cold atoms

11

BEC observed by TOF in the velocity distribution

Page 12: Cold atoms

12

Ketterle explains BEC to the King of Sweden

Page 13: Cold atoms

13

Simple estimate of TC (following the Ketterle slide)

1

3

B c

V h

N mk T

Critical temperature2

2 3

cB

h NT

mk V

mean interatomic

distance

thermal de Broglie wavelength

The quantum breakdown sets on when

the wave clouds of the atoms start overlapping

22 3

4 2,612cB

h NT

mk V

ESTIMATE

TRUE EXPRESSION

Page 14: Cold atoms

14

Interference of atoms

Two coherent condensates are interpenetrating and interfering. Vertical stripe width …. 15 m

Horizontal extension of the cloud …. 1,5mm

Page 15: Cold atoms

Today, we will be mostly concerned with the extended (" infinite" ) BE gas/liquid

Microscopic theory well developed over nearly 60 past years

Page 16: Cold atoms

Interacting atoms

Page 17: Cold atoms

17

Importance of the interaction – synopsis

Without interaction, the condensate would occupy the ground state of the oscillator

(dashed - - - - -)

In fact, there is a significant broadening of the condensate of 80 000 sodium atoms in the experiment by Hau et al. (1998),

perfectly reproduced by the solution of the GP equation

Page 18: Cold atoms

18

Many-body Hamiltonian

21 1ˆ ( ) ( )2 2a a a b

a a b

H p V Um

r r r

2

( ) ( )

4, ... the scattering leng ths

s

U r g

ag a

m

r

True interaction potential at low energies (micro-kelvin range)

replaced by an effective potential, Fermi pseudopotential

Experimental data

Page 19: Cold atoms

Mean-field treatment of interacting atoms

Page 20: Cold atoms

20

This is an educated way, similar to (almost identical with) the HARTREE APPROXIMATION we know for many electron systems.

Most of the interactions is indeed absorbed into the mean field and what remains are explicit quantum correlation corrections

Many-body Hamiltonian and the Hartree approximation

21 1ˆ ( ) ( )2 2a a a b

a a b

H p V Um

r r r

We start from the mean field approximation.

2GP

2

1ˆ ( ) ( )2

( ) d ( ) ( ) ( )

( )

a a H aa

H a b a b b a

H p V Vm

V U n g n

n n

r r

r r r r r r

r r

21( ) ( )

2 Hp V V Em

r r r r

self-consistentsystem

Page 21: Cold atoms

21

Gross-Pitaevskii equation at zero temperatureConsider a condensate. Then all occupied orbitals are the same and we have a single self-consistent equation for a single orbital

Putting

we obtain a closed equation for the order parameter:

This is the celebrated Gross-Pitaevskii equation.

220 0 0 0

1( )

2p V gN E

m

r r r r

0( ) ( )N r r

221( )

2p V g

m

r r r r

The lowest level coincides with the chemical potential

For a static condensate, the order parameter has ZERO PHASE. Then

0

23 3

( )

[ ] d (

( )

) d

(

(

)

)

N

n N n

n

N

N

r

r

r

r

r

r r

Page 22: Cold atoms

22

Gross-Pitaevskii equation – homogeneous gas

The GP equation simplifies

For periodic boundary conditions in a box with

0

0

2

2

23 2

... GP equ

1( )

( ) ( )

1d

ation

2( )

V

NN n

V

g

g gn

nN m

r

r r

r r r

r

rEN

( )V n r 21 1

2 2g n g n

2

2

2g

m

r r r

x y zV L L L

Page 23: Cold atoms

Field theoretic reformulation (second quantization)

Purpose: go beyond the GP approximation, treat also the excitations

Page 24: Cold atoms

24

Field operator for spin-less bosons

Definition by commutation relations

basis of single-particle states ( complete set of quantum numbers)

decomposition of the field operator

commutation relations

† † †( ), ( ) ( ), ( ), ( ) 0, ( ), ( ) 0 r r' r r' r r' r r'

... single particle state,

r r r r

3 *

† * †

, " "

da a

a

r r r r

r r

† † †, , , 0, , 0a a a a a a

Page 25: Cold atoms

25

Action of the field operators in the Fock space

basis of single-particle states

FOCK SPACE F space of many particle states

basis states … symmetrized products of single-particle states for bosons

specified by the set of occupation numbers 0, 1, 2, 3, …

1 2 3

†1 2 3 1 2 3

1 2 3

1 2 3 1 2 3

, , , , , -particle state

, , , , , 1 , , , , 1,

, , , , , , ,

, , ,

, , 1

,

,

,

pn

p p p p

p p

p

p p

p

n n n n n

a n n n n n n n n n

a n n n

n

n n n n n n

n

Σ

... single particle state,

r r r r

Page 26: Cold atoms

26

Action of the field operators in the Fock space

†1 2 3

1, , , , , vac

!p p

p p

pnn n n n a

n

1 2 3 1 2 3

1 2 3 1 2 3

, , , , , , , , , ,

, , , , , , , , , 1, 0

p p p

p p p

n n n n a n n n n

n n n n n n n n n

Average values of the field operators in the Fock states

Off-diagonal elements only!!! The diagonal elements vanish:

Creating a Fock state from the vacuum:

Page 27: Cold atoms

27

Field operator for spin-less bosons – cont'd Important special case – an extended homogeneous system Translational invariance suggests to use the

Plane wave representation (BK normalization)

The other form is made possible by the inversion symmetry (parity)

important, because the combination

corresponds to the momentum transfer by

Commutation rules do not involve a - function, because the BK momentum is discrete, albeit quasi-continuous:

1/ 2 i 1/ 2 3 i

† 1/ 2 i † 1/ 2 i †

e , e

e e

dV a a V

V a V a

kr krk k

kr krk -k

r r r

r

† † †, , , 0, , 0a a a a a a k k' kk' k k' k k'

k

†u a v a k -k+

Page 28: Cold atoms

28

Operators

Additive observable

General definition of the one particle density matrix – OPDM

Particle number

Momentum

3 3 † ( ) ( )d djX X r r' r r r' r'X X

3 3 † 3 3 †

3 3

( ) ( ) ( ) ( )

Tr

d d d d

d d

X X

X X

r r' r r r' r' r r' r r' r r'

r r' r r' r' r r' r

X

3 †OP,

1 ( ) ( )

dj

a a

r r rN N

N

3 †

( ) i ( )

dj

a a

p r r r

k

P P

P

Page 29: Cold atoms

29

Hamiltonian

2

2

3 †

3 3 † †

2

12

additive

bin

1( )

2

1( )

single-parti

2

d ( ) ( ) ( )

d d ( ) ( ) (

cle

two-pa

) ( ) ( )

rt aryicle

a aa

a ba b

m

p Vm

U

U

V

r

r r

r r r r

r r' r r' r r' r' r

H

Page 30: Cold atoms

30

Hamiltonian

2

2

3 †

3 3 † †

2

12

additive

bin

1( )

2

1( )

single-parti

2

d ( ) ( ) ( )

d d ( ) ( ) (

cle

two-pa

) ( ) ( )

rt aryicle

a aa

a ba b

m

p Vm

U

U

V

r

r r

r r r r

r r' r r' r r' r' r

H

acts in the -particle sub-space NN H F

acts in the whole Fock space F

Page 31: Cold atoms

31

Hamiltonian

Particle number conservation

Equilibrium density operators and the ground state (ergodic property)

2

2

3 †

3 3 † †

2

12

additive

bin

1( )

2

1( )

single-parti

2

d ( ) ( ) ( )

d d ( ) ( ) (

cle

two-pa

) ( ) ( )

rt aryicle

a aa

a ba b

m

p Vm

U

U

V

r

r r

r r r r

r r' r r' r r' r' r

H

, 0H N

( ), , 0 H NP P P

acts in the -particle sub-space NN H F

acts in the whole Fock space F

but

Page 32: Cold atoms

On symmetries and conservation laws

Page 33: Cold atoms

33

Hamiltonian is conserving the particle numberParticle number conservation

Equilibrium density operators and the ground state (ergodic property)

Typical selection rule

is a consequence: (similarly )

Deeper insight: gauge invariance of the 1st kind

, 0H N

( ), , 0 H NP P P

( ) Tr ( ) 0 r r P†0, 0,

† † †

0 Tr [ , ] Tr [ , ] Tr

[ ( ), d ' ( ') ( ')] d ' ( ')[ ( ), ( ')] [ ( )

Tr [ , ] Tr

, ( ')

[ , ]

] ( ') ( )( )x x x x x x x x x x x

A B C C A B

x

N NP P P

Proof:

QED

Page 34: Cold atoms

34

Particle number conservation

Equilibrium density operators and the ground state (ergodic property)

Gauge invariance of the 1st kind

The equilibrium states have then the same invariance property:

Selection rule rederived:

i i, 0 e e unita ry transform N NH N H H

Gauge invariance of the 1st kind

, 0H N

( ), , 0 H NP P P

i i, 0 e e N NN P P P

i i i i i

i

Tr Tr e e Tr e e e Tr

(1 e )Tr 0 Tr ( ) ( ) 0

r r

N N N NP P P P

P P

Page 35: Cold atoms

35

Hamiltonian of a homogeneous gas

2

2

3 † 3 3 † †2

12

1 1( ), const.

2 2

d ( ) ( ) d d ( ) ( ) ( ) ( ) ( )

a a ba a b

m

p V U Vm

UV

r r

r r r r r' r r' r r' r' r

H

Translationally invariant system … how to formalize (and to learn more about the gauge invariance)

Constructing the unitary operator

†3( ) ( ) ... translation vector R a a aT HT H,

( )aT

1 2 3 1 2 3

1 1 1i / i /

i i

i /

/

( ) ( , , , , ) ( , , , , )

e ( , ) e ( , ) e ( , )

( ... compare ) e ( ) e

p N p N

N N N

p a p a a

a

a r r r r r r a r a r a r a r a

r r r r r r

a N

T

T O

P

P

[ , ]=0N HInfinitesimal translation† 2

, ,

i / i /( ) ( ) e e i/ i/ ( )

... momentum conservation [ , ] 0 [ , ] 0x y z

O a

a aa a a a

a

H T HT H H H H

H H P

P P P P

P

To study the symmetry properties of the HamiltonianProceed in three steps … in the direction reverse to that for the gauge invariance

Page 36: Cold atoms

36

Hamiltonian of the homogeneous gas

2

2

3 † 3 3 † †2

12

1 1( ), const.

2 2

d ( ) ( ) d d ( ) ( ) ( ) ( ) ( )

a a ba a b

m

p V U Vm

UV

r r

r r r r r' r r' r r' r' r

H

Translationally invariant system … how to formalize (and to learn more about the gauge invariance)

Constructing the unitary operator

†3( ) ( ) ... translation vector R a a aT HT H,

( )aT

1 2 3 1 2 3

1 1 1i / i /

i i

i /

/

( ) ( , , , , ) ( , , , , )

e ( , ) e ( , ) e ( , )

( ... compare ) e ( ) e

p N p N

N N N

p a p a a

a

a r r r r r r a r a r a r a r a

r r r r r r

a N

T

T O

P

P

[ , ]=0N HInfinitesimal translation† 2

, ,

i / i /( ) ( ) e e i/ i/ ( )

... momentum conservation [ , ] 0 [ , ] 0x y z

O a

a aa a a a

a

H T HT H H H H

H H P

P P P P

P

Page 37: Cold atoms

37

Hamiltonian of the homogeneous gas

2

2

3 † 3 3 † †2

12

1 1( ), const.

2 2

d ( ) ( ) d d ( ) ( ) ( ) ( ) ( )

a a ba a b

m

p V U Vm

UV

r r

r r r r r' r r' r r' r' r

H

Translationally invariant system … how to formalize (and to learn more about the gauge invariance)

Constructing the unitary operator ( )aT

1 2 3 1 2 3

1 1 1i / i /

i i

i /

/

( ) ( , , , , ) ( , , , , )

e ( , ) e ( , ) e ( , )

( ... compare ) e ( ) e

p N p N

N N N

p a p a a

a

a r r r r r r a r a r a r a r a

r r r r r r

a N

T

T O

P

P

[ , ]=0N HInfinitesimal translation† 2

, ,

i / i /( ) ( ) e e i/ i/ ( )

... momentum conservation [ , ] 0 [ , ] 0x y z

O a

a aa a a a

a

H T HT H H H H

H H P

P P P P

P

Translation in the one-particle orbital space

i1 i

!

1( )

!( ) ( ) ( ) ( ) ( ) e ( )

nn

nnT

pa /paaa r r a r r r

†3( ) ( ) ... translation vector R a a aT HT H,

Page 38: Cold atoms

38

Hamiltonian of the homogeneous gas

2

2

3 † 3 3 † †2

12

1 1( ), const.

2 2

d ( ) ( ) d d ( ) ( ) ( ) ( ) ( )

a a ba a b

m

p V U Vm

UV

r r

r r r r r' r r' r r' r' r

H

Translationally invariant system … how to formalize (and to learn more about the gauge invariance)

Constructing the unitary operator ( )aT

1 2 3 1 2 3

1 1 1i / i /

i i

i /

/

( ) ( , , , , ) ( , , , , )

e ( , ) e ( , ) e ( , )

( ... compare ) e ( ) e

p N p N

N N N

p a p a a

a

a r r r r r r a r a r a r a r a

r r r r r r

a N

T

T O

P

P

[ , ]=0N HInfinitesimal translation† 2

, ,

i / i /( ) ( ) e e i/ i/ ( )

... momentum conservation [ , ] 0 [ , ] 0x y z

O a

a aa a a a

a

H T HT H H H H

H H P

P P P P

P

†3( ) ( ) ... translation vector R a a aT HT H,

Page 39: Cold atoms

39

Hamiltonian of the homogeneous gas

2

2

3 † 3 3 † †2

12

1 1( ), const.

2 2

d ( ) ( ) d d ( ) ( ) ( ) ( ) ( )

a a ba a b

m

p V U Vm

UV

r r

r r r r r' r r' r r' r' r

H

Translationally invariant system … how to formalize (and to learn more about the gauge invariance)

Constructing the unitary operator ( )aT

1 2 3 1 2 3

1 1 1i / i /

i i

i /

/

( ) ( , , , , ) ( , , , , )

e ( , ) e ( , ) e ( , )

( ... compare ) e ( ) e

p N p N

N N N

p a p a a

a

a r r r r r r a r a r a r a r a

r r r r r r

a N

T

T O

P

P

[ , ]=0N HInfinitesimal translation† 2

, ,

i / i /( ) ( ) e e i/ i/ ( )

... momentum conservation [ , ] 0 [ , ] 0x y z

O a

a aa a a a

a

H T HT H H H H

H H P

P P P P

P

†3( ) ( ) ... translation vector R a a aT HT H,

Page 40: Cold atoms

40

Hamiltonian of the homogeneous gas

2

2

3 † 3 3 † †2

12

1 1( ), const.

2 2

d ( ) ( ) d d ( ) ( ) ( ) ( ) ( )

a a ba a b

m

p V U Vm

UV

r r

r r r r r' r r' r r' r' r

H

Translationally invariant system … how to formalize (and to learn more about the gauge invariance)

Constructing the unitary operator ( )aT

1 2 3 1 2 3

1 1 1i / i /

i i

i /

/

( ) ( , , , , ) ( , , , , )

e ( , ) e ( , ) e ( , )

( ... compare ) e ( ) e

p N p N

N N N

p a p a a

a

a r r r r r r a r a r a r a r a

r r r r r r

a N

T

T O

P

P

[ , ]=0H NInfinitesimal translation† 2

, ,

i / i /( ) ( ) e e i/ i/ ( )

... momentum conservation [ , ] 0 [ , ] 0x y z

O a

a aa a a a

a

H T HT H H H H

H H P

P P P P

P

†3( ) ( ) ... translation vector R a a aT HT H,

Page 41: Cold atoms

41

Summary: two symmetries compared

Gauge invariance of the 1st kind Translational invariance

universal for atomic systemsspecific for homogeneous

systems

global phase shift of the wave function

global shift in the configuration space

particle number conservation total momentum conservation

for equilibrium states for equilibrium states

selection rules

unless there are as many as .

selection rules

unless the total momentum transfer is zero

†3

i /

( ) ( )

( ) e

R

a

a a a

a

T HT H,

T P

i

( ) ( ) 0,2

( ) e

N

O HO H,

O

, ,[ , ] 0 x y z H P[ , ]=0H N

i i, 0 e e N NN P P P i i

, 0 e e

a a

P P PP P

P

† 0 †

† 0a a a k k' k''

' '' 0 k k k

Page 42: Cold atoms

42

Hamiltonian of the homogeneous gas

2 † 1 † †

3 i

2 12 2

ed

m a a V U a a a a

U U

k k q k q k' q k' kkk'q

krk

k

r r

Hk q

k

k' q

k'

0 k + q + k' q k k' =Momentum conservation

In the momentum representation

† †a a a a

Particle number conservation

Page 43: Cold atoms

43

Hamiltonian of the homogeneous gas

2 † 1 † †

3 i

2 12 2

ed

m a a V U a a a a

U U

k k q k q k' q k' kkk'q

krk

k

r r

Hk q

k

k' q

k'

In the momentum representationFor the Fermi pseudopotential

0 ( )gU U U q

† †a a a a

Particle number conservation

0 k + q + k' q k k' =Momentum conservation

Page 44: Cold atoms

Bogolyubov method

Originally, intended and conceived for extended (rather infinite) homogeneous

system.Reflects the 'Paradoxien der

Unendlichen'

Page 45: Cold atoms

45

Basic ideaBogolyubov method is devised for boson quantum fluids with weak interactions – at T=0 now

The condensate dominates, but some particles are kicked out by the interaction (not thermally)

Strange idea introduced by Bogolyubov

† †BE 0 0 BE BE

0

0 0

no interaction weak interaction

1 1

g g

N N a a N N a a N

k kk

† † † †0 0 0 0 0 0 0 0 0

†0

0

†0 0 0 0

1 1

like -numbers

... mixture of -numbers

and -numbers

,

N a a a a a a a a

N N a a

c

c q

a N a N

k kk

Page 46: Cold atoms

46

Basic ideaBogolyubov method is devised for boson quantum fluids with weak interactions – at T=0 now

The condensate dominates, but some particles are kicked out by the interaction (not thermally)

Strange idea introduced by Bogolyubov

† †BE 0 0 BE BE

0

0 0

no interaction weak interaction

1 1

g g

N N a a N N a a N

k kk

† † † †0 0 0 0 0 0 0 0 0

†0

0

†0 0 0 0

1 1

like -numbers

... mixture of -numbers

and -numbers

,

N a a a a a a a a

N N a a

c

c q

a N a N

k kk

Page 47: Cold atoms

47

Approximate HamiltonianKeep at most two particles out of the condensate, use

20 0

2

2 † 1 † †

2 † † † †

0

2 † † † †

0

2

2

2

12 2

2 2 2

2 2 2

,

4

2

m

UNUNm V V

UNUNm V V

a a V U a a a a

a a a a a a a a

a a a a a a a a

k k q k q k' q k' kkk'q

k k k k k k k kk

k k k k k k k kk

k

k

k

H

k k

k k

k

k k

k

condensate particle

†0 0 0 0,a N a N

Page 48: Cold atoms

48

Approximate HamiltonianKeep at most two particles out of the condensate, use

20 0

2

2 † 1 † †

2 † † † †

0

2 † † † †

0

2

2

2

12 2

2 2 2

2 2 2

,

4

2

m

UNUNm V V

UNUNm V V

a a V U a a a a

a a a a a a a a

a a a a a a a a

k k q k q k' q k' kkk'q

k k k k k k k kk

k k k k k k k kk

k

k

k

H

k k

k k

k

k k

k

condensate particle

†0 0 0 0,a N a N

q

Page 49: Cold atoms

49

Approximate HamiltonianKeep at most two particles out of the condensate, use

20 0

2

2 † 1 † †

2 † † † †

0

2 † † † †

0

2

2

2

12 2

2 2 2

2 2 2

,

4

2

m

UNUNm V V

UNUNm V V

a a V U a a a a

a a a a a a a a

a a a a a a a a

k k q k q k' q k' kkk'q

k k k k k k k kk

k k k k k k k kk

k

k

k

H

k k

k k

k

k k

k

condensate particle

†0 0 0 0,a N a N

Page 50: Cold atoms

50

Approximate HamiltonianKeep at most two particles out of the condensate, use

20 0

2

2 † 1 † †

2 † † † †

0

2 † † † †

0

2

2

2

12 2

2 2 2

2 2 2

,

4

2

m

UNUNm V V

UNUNm V V

a a V U a a a a

a a a a a a a a

a a a a a a a a

k k q k q k' q k' kkk'q

k k k k k k k kk

k k k k k k k kk

k

k

k

H

†0 0 0 0,a N a N

k k

k k

k

k k

k

condensate particle

0th ordercondensate

2nd orderpair excitations

3rd & 4th orderneglected

1st orderis zeroviolates k-conservation

Page 51: Cold atoms

51

Approximate HamiltonianKeep at most two particles out of the condensate, use

20 0

2

2 † 1 † †

2 † † † †

0

2 † † † †

0

2

2

2

12 2

2 2 2

2 2 2

,

4

2

m

UNUNm V V

UNUNm V V

a a V U a a a a

a a a a a a a a

a a a a a a a a

k k q k q k' q k' kkk'q

k k k k k k k kk

k k k k k k k kk

k

k

k

H

†0 0 0 0,a N a N

k k

k k

k

k k

k

condensate particle

Page 52: Cold atoms

52

Approximate HamiltonianKeep at most two particles out of the condensate, use

2

20 0

2 † †

2 † 1 † †

2 † † †

0

0

2

2

2

2 2

1

2

2 2

2 2 2

,

2

4

m

U

UNUNm V

NUNm V

V

V

a a V U a a a

a a a a a

a

a a a a

a a

a

a

a a a

k k q k q k' q

k k k k k

k' kkk'q

k k k k k k k

k k

k

kk

k

k

k

k

H

k k

k k

k

k k

k

condensate particle

†0 0 0 0,a N a N

The idea: replace the unknown condensate occupation by the known particle number neglecting again higher than pair excitations

†0

0

N N a a

k kk

use

Page 53: Cold atoms

53

Approximate HamiltonianKeep at most two particles out of the condensate, use

20 0

2

2 † 1 † †

2 † † † †

0

2 † † † †

0

2

2

2

12 2

2 2 2

2 2 2

,

4

2

m

UNUNm V V

UNUNm V V

a a V U a a a a

a a a a a a a a

a a a a a a a a

k k q k q k' q k' kkk'q

k k k k k k k kk

k k k k k k k kk

k

k

k

H

k k

k k

k

k k

k

condensate particle

†0 0 0 0,a N a N

The idea: replace the unknown condensate occupation by the known particle number neglecting again higher than pair excitations

†0

0

N N a a

k kk

use

Page 54: Cold atoms

54

Approximate HamiltonianKeep at most two particles out of the condensate, use

20 0

2

2 † 1 † †

2 † † † †

0

2 † † † †

0

2

2

2

12 2

2 2 2

2 2 2

,

4

2

m

UNUNm V V

UNUNm V V

a a V U a a a a

a a a a a a a a

a a a a a a a a

k k q k q k' q k' kkk'q

k k k k k k k kk

k k k k k k k kk

k

k

k

H

k k

k k

k

k k

k

condensate particle

†0 0 0 0,a N a N

†0

0

N N a a

k kk

use

Page 55: Cold atoms

55

Bogolyubov transformation

2

2 † † † †212 2 2 2

anomaloumean field s

gNgnm Vgn a a a a a a a a k k k k k k k k

k

k

H

Last rearrangement

Conservation properties: momentum … YES, particle number … NO

NEW FIELD OPERATORS notice momentum conservation!!

requirementsrequirements

① New operators should satisfy the boson commutation rules

In terms of the new operators, the anomalous terms in the Hamiltonian have to vanish

† †

† † † †

b u a v a a u b v b

b v a u a a v b u b

k k k k k k k k k k

k k k k k k k k k k

† † †

2 2

, , , 0,

, 0

1

b b b b b b

u v

iff k

k k' kk' k k' k k'

k

Page 56: Cold atoms

56

Bogolyubov transformation

2

2 † † † †212 2 2 2

anomaloumean field s

gNgnm Vgn a a a a a a a a k k k k k k k k

k

k

H

Last rearrangement

Conservation properties: momentum … YES, particle number … NO

NEW FIELD OPERATORS notice momentum conservation!!

requirementsrequirements

① New operators should satisfy the boson commutation rules

In terms of the new operators, the anomalous terms in the Hamiltonian have to vanish

† †

† † † †

b u a v a a u b v b

b v a u a a v b u b

k k k k k k k k k k

k k k k k k k k k k

† † †

2 2

, , , 0,

, 0

1

b b b b b b

u v

iff k

k k' kk' k k' k k'

k

Page 57: Cold atoms

57

Bogolyubov transformation – result

2

† †

2 22 2 22 2 2

12

2 2 2

2higher order c

independent quasiparticles ground state energy

( )

( ) 2

onstant

m m m

gN

Vb b b b

gn gn gn

k k k kk

k k k k

H

E

Without quoting the transformation matrix

Page 58: Cold atoms

58

cross-over

defines scale for k

Bogolyubov transformation – result Without quoting the transformation matrix

( )k

k ( ) c k

gnc

m

k sound region

quasi-particles are collective excitations

high energy region

quasi-particles are nearly just particles

k

24mgnk

asymptoticallymerge

2†

2 22 2 22 2 2

12 2

2 2 2

higher order consta

ind. quasi-particles ground state en

( )

( ) 2

ergy

ntgN

V

m m m

b b

gn gn gn

k kk

k k k k

H

E

GP

22

2

m gn

k

22

2m k

Page 59: Cold atoms

59

More about the sound part of the dispersion law

( ) c k

gnc

m

kEntirely dependent on the interactions, both the magnitude of the velocity

and the linear frequency range determined by g

Can be shown to really be a sound:

Even a weakly interacting gas exhibits superfluidity; the ideal gas does not.

The phonons are actually Goldstone modes corresponding to a broken symmetry

The dispersion law has no roton region, contrary to the reality in 4He

The dispersion law bends upwards quasi-particles are unstable, can decay

2

,"2

" VVV gNc

Vm n

EE

Page 60: Cold atoms

60

Particles and quasi-particles

At zero temperature, there are no quasi-particles, just the condensate.

Things are different with the true particles. Not all particles are in the condensate, but they are not thermally agitated in an incoherent way, they are a part of the fully coherent ground state

The total fraction of particles outside of the condensate is

† † † 2 0a a v b u b u b v b v k k k k k k k k k k k

3/ 2 1/ 20

3

8

3s

s

N Na n

Na n

square root of the

gas parameteris

the expansion variable

Page 61: Cold atoms

61

What is the Bogolyubov approximation aboutThe results for various quantities are

3/ 2 1/ 20

3/ 2 1/ 2

3/ 2 1/ 2

3/ 2 1/ 2

8

3

128

15

32

3

1

12

1

[ ] [ ] 1

s

s

s

s

N N a n

gnN a n

gn a n

a n

E

BG GP

square root of the gas parameter

is the expansion variable

3sa n

generalpattern

The Bogolyubov theory is the lowest order correction to the mean field (Gross-Pitaevskii) approximation

It provides thus the criterion for the validity of the mean field results

It is the simplest genuine field theory for quantum liquids with a condensate

Page 62: Cold atoms

Trying to understand the Bogolyubov method

Page 63: Cold atoms

63

Notes to the contents of the Bogolyubov theory

The first consistent microsopic theory of the ground state and elementary excitations (quasi-particles) for a quantum liquid (1947)

The quantum condensate turns into the classical order parameter in the thermodynamic limit , , / const.n N V N V

The Bogolyubov transformation became one of the standard technical means for treatment of "anomalous terms" in many body Hamiltonians (…de Gennes)

Central point of the theory is the assumption†

0 0 0 0,a N a N

Its introduction and justification intuitive, surprisingly lacks mathematical rigor. Two related problems:

0 00 1 0

gauge symmetry, s. rulelowering operator

, ,, 0

?N G N a G N Na G N a

H

Additional assumptions: something of a crutch/bar to study of finite systems homogeneous system infinite systemInfinity as a problem: philosophical, mathematical, physical

Page 64: Cold atoms

64

ODLRO in the Bogolyubov theory

† 1 i † i

1 i i † 1 i i †

, ' , '

( ) ( ) e e

e e e e

V a a

V a a V a a

kr k'r'k k'

k'r' kr k'r' krk k' k k kk'

k k k k

r' r r r' by definition

transl. invariance

Basic expressions for the OPDM for a homogeneous system

Page 65: Cold atoms

65

ODLRO in the Bogolyubov theory

† 1 i † i

1 i i † 1 i i †

, ' , '

( ) ( ) e e

e e e e

V a a

V a a V a a

kr k'r'k k'

k'r' kr k'r' krk k' k k kk'

k k k k

r' r r r' by definition

transl. invariance

Basic expressions for the OPDM for a homogeneous system

Off-diagonal long range order

One particle density matrix

Page 66: Cold atoms

66

ODLRO in the Bogolyubov theory

† 1 i † i

1 i i † 1 i i †

, ' , '

( ) ( ) e e

e e e e

V a a

V a a V a a

k'r' krk' k

kr k'r' kr k'r'k' k k k kk'

k k k k

r r' r' r by definition

transl. invariance

General expression for the one particle density matrix with condensate

0

0

0

1 i ( ')

i ( ')1 1 i ( ')0

coherent acrossthe sample of a smooth function

has a finite range

1 i ( ')

dyad

0

i

0 0

c

( , ')

( ) ( )

e

e e

e

0,

FT

V n Nn

V n V n

V n

k r rk

k

k r r k r rk

k k

k r rk

k k

k

r r'

r r

00 ii

an arbitrary

(

phas

e) e

e

N

V

k rr

Basic expressions for the OPDM for a homogeneous system

Page 67: Cold atoms

67

ODLRO in the Bogolyubov theory

General expression for the one particle density matrix with condensate

0

0

0

1 i ( ')

i ( ')1 1 i ( ')0

coherent acrossthe sample of a smooth function

has a finite range

1 i ( ')

dyad

0

i

0 0

c

( , ')

( ) ( )

e

e e

e

0,

FT

V n Nn

V n V n

V n

k r rk

k

k r r k r rk

k k

k r rk

k k

k

r r'

r r

0 i

an arbitrary pha

( e

s

)

e

N

V

r

we

know

that

from L1

† 1 i † i

1 i i † 1 i i †

, ' , '

( ) ( ) e e

e e e e

V a a

V a a V a a

k'r' krk' k

kr k'r' kr k'r'k' k k k kk'

k k k k

r r' r' r by definition

transl. invariance

Basic expressions for the OPDM for a homogeneous system

Page 68: Cold atoms

68

ODLRO in the Bogolyubov theory

General expression for the one particle density matrix with condensate

0

0

0

1 i ( ')

i ( ')1 1 i ( ')0

coherent acrossthe sample of a smooth function

has a finite range

1 i ( ')

dyad

0

i

0 0

c

( , ')

( ) ( )

e

e e

e

0,

FT

V n Nn

V n V n

V n

k r rk

k

k r r k r rk

k k

k r rk

k k

k

r r'

r r

0 i

an arbitrary pha

( e

s

)

e

N

V

r

we

know

that

from L1

Interpretation in the Bogolyubov theory – at zero temperature

Rich microscopic content hinging on the Bogolyubov assumption

0

1/ 2 1/ 2 † 1 i ( ') 20 0( , ') e V a V a V v

k r rk

k k

r r

† 1 i † i

1 i i † 1 i i †

, ' , '

( ) ( ) e e

e e e e

V a a

V a a V a a

k'r' krk' k

kr k'r' kr k'r'k' k k k kk'

k k k k

r r' r' r by definition

transl. invariance

Basic expressions for the OPDM for a homogeneous system

Page 69: Cold atoms

69

Three methods of reformulating the Bogolyubov theoryIn the original BEC theory … no need for non-zero averages of linear field operators

Why so important? … microscopic view of the condensate phase quasi-particles and superfluidity basis for a perturbation treatment of Bose fluids

We shall explore three approaches having a common basic idea:

relax the particle number conservation work in the thermodynamic limit

Page 70: Cold atoms

70

Three methods of reformulating the Bogolyubov theoryIn the original BEC theory … no need for non-zero averages of linear field operators

Why so important? … microscopic view of the condensate phase quasi-particles and superfluidity basis for a perturbation treatment of Bose fluids

We shall explore three approaches having a common basic idea:

relax the particle number conservation work in the thermodynamic limit

I explicit construction of the classical part of the field operators

Pitaevski in LL IX (1978)

II the condensate represented by a coherent state

Cummings & Johnston (1966)Langer, Fisher & Ambegaokar (1967 – 1969)

III spontaneous symmetry breakdown, particle number conservation violated

Bogolyubov (1960)Hohenberg&Martin (1965)P W Anderson (1983 – book)

Page 71: Cold atoms

I.explicit construction of the classical part

of the field operators

Page 72: Cold atoms

72

Quotation from Landau-Lifshitz IX

Page 73: Cold atoms

73

Quotation from Landau-Lifshitz IX… that part of the operators, which changes the condensate particle number by 1,

we have, then, by definition

the symbols denoting two "identical" states, differing only by the number of the particles in the system, and is a complex number. These statements are strictly valid in the limit The definition of the quantity has thus to be written in the form

the limiting transition is to be performed at a given fixed value of the liquid density

Page 74: Cold atoms

74

Quotation from Landau-Lifshitz IX… that part of the operators, which changes the condensate particle number by 1,

we have, then, by definition

the symbols denoting two "identical" states, differing only by the number of the particles in the system, and is a complex number. These statements are strictly valid in the limit The definition of the quantity has thus to be written in the form

the limiting transition is to be performed at a given fixed value of the liquid density If the operators are represented in the form

then their remaining ("supercondensate") parts transform the state to states which are orthogonal to it, that is, the matrix elements are

In the limit , the difference between the states and vanishes entirely and in this sense the quantity be- comes the mean value of the operator over this state.

Page 75: Cold atoms

75

Quotation from Landau-Lifshitz IX… that part of the operators, which changes the condensate particle number by 1,

we have, then, by definition

the symbols denoting two "identical" states, differing only by the number of the particles in the system, and is a complex number. These statements are strictly valid in the limit The definition of the quantity has thus to be written in the form

the limiting transition is to be performed at a given fixed value of the liquid density If the operators are represented in the form

then their remaining ("supercondensate") parts transform the state to states which are orthogonal to it, that is, the matrix elements are

In the limit , the difference between the states and vanishes entirely and in this sense the quantity be- comes the mean value of the operator over this state.

Page 76: Cold atoms

II.the condensate represented by

a coherent state

Page 77: Cold atoms

77

Reformulation of the Bogolyubov requirements

Bogolyubov himself and his faithful followers never speak of the many particle wave function. Looks like he wanted

This is in contradiction with the selection rule,

The above eigenvalue equation is known and defines the ground state to be a coherent state with the parameter

0 0

0

i, e , so thata N

a

0 0a

The ground state

Page 78: Cold atoms

78

Reformulation of the Bogolyubov requirements

Bogolyubov himself and his faithful followers never speak of the many particle wave function. Looks like he wanted

This is in contradiction with the selection rule,

The above eigenvalue equation is known and defines the ground state to be a coherent state with the parameter

0 0

0

i, e , so thata N

a

0 0a

The ground state

HISTORICAL REMARK

The coherent states (not their name) discovered by Schrödinger as the minimum uncertainty wave packets, obtained by shifting the ground state of a harmonic oscillator.

These states were introduced into the quantum theory of the coherence of light by Roy Glauber (NP 2005). Hence the name.

The uses of the coherent states in the many body theory and quantum field theory have been manifold.

Page 79: Cold atoms

79

OUR BASIC DEFINITION

About the coherent states

If a particle is removed from a coherent state, it remains unchanged (cf. the Pitaevskii requirement above). It has a rather uncertain particle number, but a reasonably well defined phase

0 0 0i, e , a N a

2 †0

0 0

2†0 0 0 0

4 2† † 2 20 0 0 0 0 0 0

/ 2

i

e e vac

General coherent sta

e

te Condensat

e

a

a N

a a n N

a a a a n N N

0 0 0 0 n n N N

Page 80: Cold atoms

80

New vacuum and the shifted field operators

Does all that make sense? Try to work in the full Fock space F rather in its fixed N sub-space HN This implies using the "grand Hamiltonian"

Let us define the shifted field operator

What next? Example: BE system without interactions – ideal Bose gas

Here, is a true eigenstate, coincides with the previous result for the particle number conserving state .

Two different, but macroscopically equivalent possibilities.

H N

† † *0 0 0 0

†0 0 0 new vacuu

,

, 1, 0 .. m.

b a b a

b b b

2 †

†0 0

2

2

0 for 0

m a a

a a

k kkH N

0 , 0 ,0 , ,0 ,B N

Page 81: Cold atoms

81

L1: Thermodynamics: which environment to choose?THE ENVIRONMENT IN THE THEORY SHOULD CORRESPOND

TO THE EXPERIMENTAL CONDITIONS

… a truism difficult to satisfy

For large systems, this is not so sensitive for two reasons• System serves as a thermal bath or particle reservoir all by itself• Relative fluctuations (distinguishing mark) are negligible

Adiabatic system Real system Isothermal system

SB heat exchange – the slowest medium fast the fastest process

Atoms in a trap: ideal model … isolated. In fact: unceasing energy exchange (laser cooling). A small number of atoms may be kept (one to, say, 40). With 107, they form a bath already. Besides, they are cooled by evaporation and they form an open (albeit non-equilibrium) system.

Sometime, N =const. crucial (persistent currents in non-SC mesoscopic rings)

S B S B • temperature lag

• interface layer

Page 82: Cold atoms

82

L1: Thermodynamics: which environment to choose?THE ENVIRONMENT IN THE THEORY SHOULD CORRESPOND

TO THE EXPERIMENTAL CONDITIONS

… a truism difficult to satisfy

For large systems, this is not so sensitive for two reasons• System serves as a thermal bath or particle reservoir all by itself• Relative fluctuations (distinguishing mark) are negligible

Adiabatic system Real system Isothermal system

SB heat exchange – the slowest medium fast the fastest process

Atoms in a trap: ideal model … isolated. In fact: unceasing energy exchange (laser cooling). A small number of atoms may be kept (one to, say, 40). With 107, they form a bath already. Besides, they are cooled by evaporation and they form an open (albeit non-equilibrium) system.

Sometime, N =const. crucial (persistent currents in non-SC mesoscopic rings)

S B S B • temperature lag

• interface layer

Page 83: Cold atoms

83

THE ENVIRONMENT IN THE THEORY SHOULD CORRESPOND TO THE EXPERIMENTAL CONDITIONS

… a truism difficult to satisfy

For large systems, this is not so sensitive for two reasons• System serves as a thermal bath or particle reservoir all by itself• Relative fluctuations (distinguishing mark) are negligible

Adiabatic system Real system Isothermal system

SB heat exchange – the slowest medium fast the fastest process

Atoms in a trap: ideal model … isolated. In fact: unceasing energy exchange (laser cooling). A small number of atoms may be kept (one to, say, 40). With 107, they form a bath already. Besides, they are cooled by evaporation and they form an open (albeit non-equilibrium) system.

Sometime, N =const. crucial (persistent currents in non-SC mesoscopic rings)

S B S B • temperature lag

• interface layer

L1: Thermodynamics: which environment to choose?

Page 84: Cold atoms

84

L1: Homogeneous one component phase:boundary conditions (environment) and state variables

not in useS P

isolated, conservativ eS V N

isothermal T V N

isobaricS P Nopen S V

grand T V isothermal-isobaricNT P

not in use T P

additive variables, have dens / "extensive"ities / S V N s S V n N V

dual variables, intensities "intensive "T P

Page 85: Cold atoms

85

L1: Homogeneous one component phase:boundary conditions (environment) and state variables

not in useS P

isolated, conservative S V N

isothermal T V N

isobaricS P Nopen S V

grand T V isothermal-isobaricT P N

not in use T P

additive variables, have dens / "extensive"ities / S V N s S V n N V

dual variables, intensities "intensive "T P

sharp boundary isolated/open

At zero temperature the two coincide

T=0 S=0 (Third Principle)

isolated, conservativ eS V N

Page 86: Cold atoms

86

New vacuum and the shifted field operators

Does all that make sense? Try to work in the full Fock space F rather in its fixed N sub-space HN This implies using the "grand Hamiltonian"

Let us define the shifted field operator

What next? Example: BE system without interactions – ideal Bose gas

Here, is a true eigenstate, coincides with the previous result for the particle number conserving state .

Two different, but macroscopically equivalent possibilities.

H N

† † *0 0 0 0

†0 0 0 new vacuu

,

, 1, 0 .. m.

b a b a

b b b

2 †

†0 0

2

2

0 for 0

m a a

a a

k kkH N

0 , 0 ,0 , ,0 ,B N

Page 87: Cold atoms

87

New vacuum and the shifted field operators

Does all that make sense? Yes: work in the full Fock space F rather than in its fixed N sub-space HN This implies using the "grand Hamiltonian"

Let us define the shifted field operator

What next? Example: BE system without interactions – ideal Bose gas

Here, is a true eigenstate, coincides with the previous result for the particle number conserving state .

Two different, but macroscopically equivalent possibilities.

H N

† † *0 0 0 0

†0 0 0 new vacuu

,

, 1, 0 .. m.

b a b a

b b b

2 †

†0 0

2

2

0 for 0

m a a

a a

k kkH N

0 , 0 ,0 , ,0 ,B N

Page 88: Cold atoms

88

New vacuum and the shifted field operators

Does all that make sense? Yes: work in the full Fock space F rather than in its fixed N sub-space HN This implies using the "grand Hamiltonian"

Let us define the shifted field operator

What next? … is this coherent state able to represent the condensate?

Test example: ideal Bose gas – limit of a BE system without interactions

Here, is a true eigenstate, coincides with the previous result for the particle number conserving state .

Two different, but macroscopically equivalent possibilities.

H N

† † *0 0 0 0

†0 0 0 new vacuu

,

, 1, 0 .. m.

b a b a

b b b

2 †

†0 0

2

2

0 for 0

m a a

a a

k kkH N

0 , 0 ,0 , ,0 ,B N

Page 89: Cold atoms

89

General case: the approximate vacuum

23 † 3 3 † †2

12d ( ) ( ) ( ) d d ( ) ( ) ( ) ( ) ( )m UV r r r r r r' r r' r r' r' rH

'g r r● Non-zero interaction, repulsive forces make the lowest energies N dependent

● Inhomogeneous, possibly finite, system with a confinement potential

● There is no privileged symmetry related basis of one-particle orbitals

Page 90: Cold atoms

90

General case: the approximate vacuum

23 † 3 3 † †2

12d ( ) ( ) ( ) d d ( ) ( ) ( ) ( ) ( )m UV r r r r r r' r r' r r' r' rH

Trial function … a coherent state

We should minimize the average grand energy

This is precisely the energy functional of the Hartree type we met already

and the Euler-Lagrange equation is the good old Gross-Pitaevski equation

with the normalization condition

r r

2

2( )

2V g

m

r r r r

'g r r

23 *

3 3 * *

2

12

d ( ) ( ) ( )

d d ( ) ( ) ( ) ( ) ( )

m

U

V

r r r r

r r' r r r r' r' r'

H N

23[ ] d ( )n N r rN

a marked generalization!!

Page 91: Cold atoms

91

23 † 3 3 † †2

12d ( ) ( ) ( ) d d ( ) ( ) ( ) ( ) ( )m UV r r r r r r' r r' r r' r' rH

Trial function … a coherent state

We should minimize the average grand energy

This is precisely the energy functional of the Hartree type we met already

and the Euler-Lagrange equation is the good old Gross-Pitaevski equation

with the normalization condition

r r

2

2( )

2V g

m

r r r r

'g r r

23 *

3 3 * *

2

12

d ( ) ( ) ( )

d d ( ) ( ) ( ) ( ) ( )

m

U

V

r r r r

r r' r r r r' r' r'

H N

23[ ] d ( )n N r rN

a marked generalization!!

PROPERTIES OF THE COHERENT GROUND STATE

● Ground state in the mean field approximation

● All particles at zero temperature are in the condensate

● 2n r r

General case: the approximate vacuum

Page 92: Cold atoms

92

Define the shifted field operators and the condensate as the new vacuum

Expansion parameter … concentration of the supra-condensate particles

deviation from the MF condensate = -operators

If we keep only the terms not more than quadratic in the new operators, the resulting approximate Hamiltonian becomes

General case: perturbative expansion

† † *

† etc.

,

, , 0

r r r r r r

r r' r r' r

Page 93: Cold atoms

93

Define the shifted field operators and the condensate as the new vacuum

Expansion parameter … concentration of the supra-condensate particles

deviation from the MF condensate = -operators

If we keep only the terms not more than quadratic in the new operators, the resulting approximate Hamiltonian becomes

Here (see in a moment )

General case: perturbative expansion

2

BEn r r

† † *

† etc.

,

, , 0

r r r r r r

r r' r r' r

2

2

2

3 *BE

3BE

3 †

3 † † †BE

2

2

2

12

2

d ( ) ( ) ( ) ( )

d ( ) ( ) ( ) ( )

d ( ) ( ) ( )

d ( ) ( ) ( ) 4 ( ) ( ) ( ) (

.c.

)

h

}

m

m

m

g

gn

gn

n

V

V

V

r r r r r

r r r r r

r r r r

r r r r r r r r

H N

Page 94: Cold atoms

94

General case: perturbative expansion

2

2

2

3 *BE

3BE

3 †

3 † † †BE

2

2

2

12

2

d ( ) ( ) ( ) ( )

d ( ) ( ) ( ) ( )

d ( ) ( ) ( )

d ( ) ( ) ( ) 4 ( ) ( ) ( ) (

.c.

)

h

}

m

m

m

g

gn

gn

n

V

V

V

r r r r r

r r r r r

r r r r

r r r r r r r r

H N

Page 95: Cold atoms

95

General case: perturbative expansion

2

2

3 *BE

3BE

2

2

12d ( ) ( ) ( ) ( )

d ( ) ( ) ( ) ( )

m

m

gn

gn

V

V

r r r r r

r r r r r

H N

23 †

3 † † †BE

2

2

d ( ) ( ) ( )

d ( ) ( ) ( ) 4 ( ) ( ) ( )

h.c.

( )}m

g n

V

r r r r

r r r r r r r r

1. The linear part must vanish to have minimum at . This is identical with the Gross-Pitaevskii equation and justifies the identification

0

2

BEn r r

Page 96: Cold atoms

96

General case: perturbative expansion

2

3 2BE

3BE

†2

12d ( )

d ( ) ( ) ( ) ( )m

gn

gnV

r r

r r r r r

H N

23 †

3 † † †BE

2

2

d ( ) ( ) ( )

d ( ) ( ) ( ) 4 ( ) ( ) ( )

h.c.

( )}m

g n

V

r r r r

r r r r r r r r

1. The linear part must vanish to have minimum at . This is identical with the Gross-Pitaevskii equation and justifies the identification

2. The zero-th order part simplifies – substitute from the GPE

0

2

BEn r r

Page 97: Cold atoms

97

1. The linear part must vanish to have minimum at . This is identical with the Gross-Pitaevskii equation and justifies the identification

2. The zero-th order part simplifies – substitute from the GPE

3. There remains to eliminate the anomalous terms from the quadratic part: Bogolyubov transformation

General case: perturbative expansion

2

BEn r r

0

2

3 2BE

3BE

†2

12d ( )

d ( ) ( ) ( ) ( )m

gn

gnV

r r

r r r r r

H N

23 †

3 † † †BE

2

2

d ( ) ( ) ( )

d ( ) ( ) ( ) 4 ( ) ( ) ( )

h.c.

( )}m

g n

V

r r r r

r r r r r r r r

Page 98: Cold atoms

98

General case: the Bogolyubov transformation

A simple method: use EOM for the field operators

2

2

BE BE

BE BE

† †

2

2

i ( , ) ( , ),

( ) 2 ( ) ( , ) ( ) ( , )

i ( , ) ( , ),

( ) 2 ( ) ( , ) ( ) ( , )

t

t

m

m

t t

gn t gn t

t t

gn t gn t

V

V

r r

r r r r r

r r

r r r r r

H N

H N

These are linear eqs. To find their mode structure, make a linear ansatz

Reminescent of the old u and v for infinite system.

Substitute into the EOM and separate individual frequencies.

Bogolyubov – de Gennes eqs. are obtained.

† *

† *†

i i

i i

( , ) ( )e ( )e

( , ) ( )e ( )e

k k

k k

k k k k

k k k k

E t E t

E t E t

t b u b v

t b v b u

r r r

r r r

Page 99: Cold atoms

99

General case: the Bogolyubov transformation

2

2

*BE BE

*BE BE

2

2

2

2

k k k k

k k k k

m

m

E u gn u gn v

E v gn v gn u

V

V

Bogolyubov – de Gennes eqs.

Strange coupled “Schrödinger” equations.

Strange orthogonality relations:

The definition of the QP field operators can be inverted

3 * *

3

It is our choice to normalize to unityd ( )

d ( ) 0

k k k

k k

u u v v

u v v u

r r

r r

† * 3 * *

† * † 3

† †

( ) ( ) ( ) d ( )

( ) ( ) ( ) d ( )

k k k k k k k

k k k k k k k

b u b v b u v

b v b u b v u

r r r r r

r r r r r

Page 100: Cold atoms

100

General case: the Bogolyubov transformation

These field operators satisfy the correct commutation rules

Finally,

a neat QP form of the grand Hamiltonian.

† † †, , , 0, , 0k k k kb b b b b b

23 2 † 3BE

12d ( ) d ( )k k k kgn E b b v r r r rH N

Page 101: Cold atoms

101

Detail: the mean-field for a homogeneous systemBefore: minimize the energy functional with fixed particle number N, find the chemical potential afterwards

Now: minimize the grand energy functional with fixed chemical potential, find the average particle number in the process

Page 102: Cold atoms

102

Detail: the mean-field for a homogeneous systemBefore: minimize the energy functional with fixed particle number N, find the chemical potential afterwards

Now: minimize the grand energy functional with fixed chemical potential, find the average particle number in the process

2

0

3 *

3 3 * *

2

12

( ) const. /

d ( ) ( ) ( )

d d ( ) ( ) ' ( ) ( )

order pa

Homogeneous syste

m

ram

:

ete

r

m

N n

g

V

r

r r r r

r r' r r r r r' r

V

H N

2 412

energy per unit volume

g

V

3 * 2

average particle density

d

( )

( )

n

r r rN V

Page 103: Cold atoms

103

Detail: the mean-field for a homogeneous systemThe GP equation reduces from differential to an algebraic one:

2

43minmax min min

1 12 2

0,

2 4 0, 0, ,2

x xx

x g x gg g

2

minn

g

Page 104: Cold atoms

104

Detail: the mean-field for a homogeneous systemThe GP equation reduces from differential to an algebraic one:

2

43minmax min min

1 12 2

0,

2 4 0, 0, ,2

x xx

x g x gg g

ref ref ref

ref ref

4

ref

Plot in relative units

; / g

g

choose

locus of the minima

2

minn

g

Page 105: Cold atoms

III. broken symmetry and quasi-averages

Page 106: Cold atoms

106

Zero temperature limit of the grand canonical ensemble

0

1

1

1

e

e

0 e 0 0 0

N

N

E N

E N

Z

Z N N

Z N N N N

H NP

Picks up the correct ground state energy,

all ground states are taken with equal statistical weight

SYSTEMS

NORMAL

"ANOMALOUS"

NON-DEGENERATE GROUND STATE

DEGENERATE GROUND STATE

Page 107: Cold atoms

107

Degenerate ground state

SYSTEMS

NORMAL

"ANOMALOUS"

NON-DEGENERATE GROUND STATE

DEGENERATE GROUND STATE

Characterized by a classical order parameter … macroscopic quantity Typical cause: a symmetry degeneracyEverything depends on the system characteristic parametersGinsburg – Landau phenomenological model

2 4a b E

stable equilibr

non-degen

i

0

um

erate

a

metastable equi

d

0

egenerate

librium

a

Page 108: Cold atoms

108

Degenerate ground state

SYSTEMS

NORMAL

"ANOMALOUS"

NON-DEGENERATE GROUND STATE

DEGENERATE GROUND STATE

Characterized by a classical order parameter … macroscopic quantity Typical cause: a symmetry degeneracyEverything depends on the system characteristic parametersGinsburg – Landau phenomenological model

2 4a b E

stable equilibr

non-degen

i

0

um

erate

a

metastable equi

d

0

egenerate

librium

a

spontaneous symmetry breaking

Page 109: Cold atoms

109

F

F

F

B

BF3

U

hrovina F

Rovnovážná struktura molekul AB3

U

hrovina H

U adiabatická potenciální energie

N

N

NH3

NNN

NNNNN

HH

H

Page 110: Cold atoms

110

F

F

F

B

BF3

U

hF plane

Equilibrium structure of the AB3 molekules

U

hH plane

U adiabatic potential energy

N

N

NH3

NNN

NNNNN

HH

H

stable equilibriumnon-degenerate

ground state

metastable equilibriumdegenerate

ground state

Page 111: Cold atoms

111

F

F

F

B

BF3

U

hF plane

Equilibrium structure of the AB3 molekules

U

hH plane

U adiabatic potential energy

N

N

NH3

NNN

NNNNN

HH

H

stable equilibriumnon-degenerate

ground state

metastable equilibriumdegenerate

ground state

Page 112: Cold atoms

112

F

F

F

B

BF3

U

hrovina F

Equilibrium structure of the AB3 molekules

U

h

U adiabatická potenciální energie

N

N

NH3

NNN

NNNNN

HH

H

Ammonia molecule pyramidal molecule.

two minima of potential energy

separated by a barrier.

Different from a typical extended system:

Small system: quantum barrier & tunneling

Discrete symmetry

broken: discrete set of equivalent

equilibria states

H plane

Page 113: Cold atoms

113

Broken continouous symmetries in extended systemsThree popular cases

SystemIsotropic

ferromagnetAtomic crystal

latticeBosonic gas/liquid

HamiltonianHeisenberg spin

HamiltonianDistinguishable atoms with int.

Bosons with short range interactions

Symmetry3D rotational in

spin spaceTranslational

Global gauge invariance

Order parameterhomogeneous magnetization

periodic particle density

macroscopic wave function

Symmetry breaking field

external magnetic field

"empty lattice" potential

particle source/drain

Goldstone modes magnons acoustic phonons sound waves

For a nearly exhaustive list see the PWA book of 1983

Page 114: Cold atoms

114

Bose condensate - degeneracy of the ground state

0

2

0

0

1

2i

2 4

i

1

any f

2

e

rom 0,2

mean field energy

order parameter

mf ground

state

e

e e vacN a

N

g

E

The coherent ground state

degeneracy

genuinely different for different

"Mexican hat"

E

Selection rule

0

0 0

ie 0

d 0

a

a a

average over all degenerate states

Page 115: Cold atoms

115

Symmetry breaking – removal of the degeneracy The coherent ground state

degeneracy

genuinely different for different

"Mexican hat"

E

Symmetry broken by a small perturbation picking up one

†0 0

i ie ea a

H N

H N -

particle number NOT conserved

0

2

0

0

1

2i

2 4

i

1

any f

2

e

rom 0,2

mean field energy

order parameter

mf ground

state

e

e e vacN a

N

g

E

Page 116: Cold atoms

116

Symmetry breaking – removal of the degeneracyThe coherent ground state

degeneracy

genuinely different for different

"Mexican hat"

E

Symmetry broken by a small perturbation picking up one

particle number NOT conserved

For

one particular phase selected

†0 0

i ie ea a

H N

H N -

0

2

0

0

1

2i

2 4

i

1

any f

2

e

rom 0,2

mean field energy

order parameter

mf ground

state

e

e e vacN a

N

g

E

0

Page 117: Cold atoms

117

How the symmetry breaking works – ideal BE gas

†0 0

† † 2 †0 0 0 0

0

† †0 0 0 0

2

i i

i i

i i

2

e e

e e

e e

m

a a

a a a a a a

a a a a

k kk

k

H N -

-

-

Without interactions, the ground level is uncoupled from the excited levels:

The control parameter is the chemical potential , but it will be adjusted to yield a fixed average particle number in the condensate.

Transformation:

† † † †0 0 0 0 0 0 0 0

† † * † * *0 0 0 0 0 0

† *0 0

i ii ie ee ea a a a a a a a

a a a a a a

b b

Page 118: Cold atoms

118

How the symmetry breaking works – ideal BE gas

Now we determine the many-body ground state

The control parameter is the chemical potential , but it will be adjusted to yield a fixed average particle number in the condensate.

Infinitesimal symmetry breaking field

† * 10 0 0 0

i, , e , 0b b b a E

The lowest energy corresponds to

0 0

* †0 0 0 0

0*

0

i

i.e. ... coherent sta0,

, e

/

teb a

a a N N

N N

E

0

0

0i

0

0

with fixed:

0

e ,

0

ixe f d

N

N

E

Page 119: Cold atoms

119

How the symmetry breaking works – ideal BE gas

Now we determine the many-body ground state

The control parameter is the chemical potential , but it will be adjusted to yield a fixed average particle number in the condensate.

Infinitesimal symmetry breaking field

† * 10 0 0 0

i, , e , 0b b b a E

The lowest energy corresponds to

0 0

* †0 0 0 0

0*

0

i

0, i.e. ... coherent state

, e

/

b a

a a N N

N N

E

0

0

0i

0

0

with fixed:

0

e ,

0

ixe f d

N

N

E

• The coherent state is the exact ground state for the ideal BE gas• The order parameter picks up the phase from the perturbing field• The order of limits: first , only then the thermodynamic limit .

0 0N

Page 120: Cold atoms

The end