Professional Documents
Culture Documents
1001 2072 PDF
1001 2072 PDF
a Department of Physics, University of Tokyo, Hongo 7-3-1, Bunkyo-ku, Tokyo 113-0033, Japan
b ERATO Macroscopic Quantum Control Project, JST, Tokyo 113-8656, Japan
Abstract
An overview of the physics of spinor and dipolar Bose-Einstein condensates (BECs) is pre-
sented. Mean-field ground states, Bogoliubov spectra, and many-body ground and excited states
of spinor BECs are discussed. Properties of spin-polarized dipolar BECs and those of spinor-
dipolar BECs are reviewed. Some of the unique features of the vortices in spinor BECs, such as
fractional vortices and non-Abelian vortices, are delineated. The symmetry of the order parame-
ter is classified using group theory, and various topological excitations are investigated based on
homotopy theory. Some of the more recent developments such as the Kibble-Zurek mechanism
of defect formation and the Berezinskii-Kosterlitz-Thouless transition in a spinor BEC are also
discussed.
Key words:
spinor BEC, dipolar BEC, vortices, topological excitations, low-dimensional systems
Contents
1 Introduction 5
2 General Theory 7
2.1 Single-particle Hamiltonian . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2 Interaction Hamiltonian . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2.1 Symmetry considerations and irreducible operators . . . . . . . . . . . . 7
2.2.2 Operator relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.2.3 Interaction Hamiltonian of spin-1 BEC . . . . . . . . . . . . . . . . . . 10
2.2.4 Interaction Hamiltonian of spin-2 BEC . . . . . . . . . . . . . . . . . . 10
2.2.5 Interaction Hamiltonian of spin-3 BEC . . . . . . . . . . . . . . . . . . 11
5 Bogoliubov Theory 43
5.1 Spin-1 BECs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
5.1.1 Ferromagnetic phase . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
5.1.2 Antiferromagnetic phase . . . . . . . . . . . . . . . . . . . . . . . . . . 48
5.1.3 Domain formation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
5.2 Spin-2 BECs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
5.2.1 Ferromagnetic phase . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
5.2.2 Antiferromagnetic phase . . . . . . . . . . . . . . . . . . . . . . . . . . 52
5.2.3 Cyclic phase . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
5.3 Dipolar BEC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2
7 Topological Excitations 74
7.1 Symmetry classification of broken symmetry states . . . . . . . . . . . . . . . . 74
7.1.1 Order parameter manifold . . . . . . . . . . . . . . . . . . . . . . . . . 74
7.1.2 Symmetry of order parameter and stationary states . . . . . . . . . . . . 76
7.1.3 Procedure to find ground states . . . . . . . . . . . . . . . . . . . . . . . 78
7.1.4 Symmetry and order parameter structure of spin-2 spinor BECs . . . . . 80
7.2 Homotopy theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
7.2.1 Classification of topological excitations . . . . . . . . . . . . . . . . . . 83
7.2.2 Relative homotopy groups . . . . . . . . . . . . . . . . . . . . . . . . . 86
7.3 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
7.3.1 Line defects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
7.3.2 Point defects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
7.3.3 Action of one type of defect on another . . . . . . . . . . . . . . . . . . 91
7.3.4 Skyrmions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
8 Many-Body Theory 94
8.1 Many-body states of spin-1 BECs . . . . . . . . . . . . . . . . . . . . . . . . . 95
8.1.1 Eigenspectrum and eigenstates . . . . . . . . . . . . . . . . . . . . . . . 95
8.1.2 Fragmentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
8.2 Many-body states of spin-2 BECs . . . . . . . . . . . . . . . . . . . . . . . . . 99
8.2.1 Eigenspectrum and eigenstates . . . . . . . . . . . . . . . . . . . . . . . 100
8.2.2 Magnetic response . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
8.2.3 Symmetry considerations on possible phases . . . . . . . . . . . . . . . 104
3
symbol definition
ÂF M (r, r′ ) annihilation operator for atomic pairs in |F , Mi
A pair amplitude of the spin-singlet pair, hÂ00 i0
aF s-wave scattering length of the total spin-F channel
d̂ unit vector indicating the spin quantization axis
F,M total spin of two colliding atoms
f, m atomic spin and its projection
f(r) = (f x , fy , fz ) vector of f × f spin matrices
P
F̂(r) = mn ψ̂†m fmn ψ̂n spin operator
P
F(r) = mn ψ∗m fmn ψn spin expectation value
P
f (r) = mn ζm∗ fmn ζn spin expectation value per atom
i, j, k indices for x, y, and z in the coordinate space
M atomic mass
Mz total magnetization of the condensate
m, n indices for the magnetic sublevel
P
n(r) = m ψ∗m ψm number density
p linear Zeeman energy
q quadratic Zeeman energy
ŝ = F/|F| unit vector spin along the spin expectation value
t̂, û unit vector satisfying ŝ = t̂ × û
ψ̂m (r) field operator
ψm (r) √ order parameter
ζm ≡ ψm / n normalized spinor order parameter
µ, ν, λ indices for x, y, and z in the spin space
abbreviation definition
AF antiferromagnetic
BA broken axisymmetry
BEC Bose-Einstein condensate
BN biaxial nematic
C cyclic
CSV chiral spin vortex
DDI dipole-dipole interaction
DW density wave
F ferromagnetic
FL flower
GP Gross-Pitaevskii
MI Mott insulator
P polar
PCV polar-core vortex
SF superfluid
SS supersolid
UN uniaxial nematic
Most Bose-Einstein condensates (BECs) of dilute atomic gases realized thus far have internal
degrees of freedom arising from spins. When a BEC is trapped in a magnetic potential, the spin
of each atom is oriented along the direction of the local magnetic field. The spin degrees of
freedom are therefore frozen and the BEC is described by a scalar order parameter.
On the other hand, when the BEC is confined in an optical trap, the direction of the spin can
change dynamically due to the interparticle interaction. Consequently, the order parameter of a
spin- f BEC has 2 f + 1 components that can vary over space and time, producing a very rich
variety of spin textures. A BEC with spin degrees of freedom is referred to as a spinor BEC. This
article provides an overview of the physics of spinor and dipolar BECs.
Bose-Einstein condensation is a genuinely quantum-mechanical phase transition in that it
occurs without the help of interaction. However, in the case of spinor BECs, several phases
are possible below the transition temperature T c , and which phase is realized does depend on
the nature of the interaction. With the spin and gauge degrees of freedom, the full symmetry
of the system above T c is SO(3) × U(1). Below the transition temperature, the symmetry is
spontaneously broken in several different ways; the number of possible broken symmetry states
is four for the spin-1 case, at least five for the spin-2 case, and the situation has yet to be fully
understood for the spin-3 case. This wealth of possible phases makes a spinor BEC a fascinating
area of research for quantum gases.
The spin is accompanied by a magnetic moment that gives rise to magnetism. Depending
on the phases of individual systems, spinor BECs exhibit a rich variety of magnetic phenomena.
Moreover, because the systems are superfluid, we can expect an interplay between superfluidity
and magnetism. For example, a ferromagnetic BEC has spin-gauge symmetry; if you rotate the
spin locally, the system tries to undo it by generating a supercurrent. The basic properties of the
mean-field spinor condensates are reviewed in Sec. 3.
The magnetic moment of the atom leads to the magnetic dipole-dipole interaction. Although
the strength of this interaction is the smallest among all the energy scales involved in the system,
it plays a pivotal role in producing the spin texture—the spatial variation of the spin direction.
The magnetic dipole-dipole interaction plays key roles in determining the static and dynamic
properties of spin-polarized dipolar BECs. It also serves as a key parameter in determining the
quantum phases in an ultralow magnetic field (below 10 µG). The physics of dipolar BECs is
discussed in Sec. 4.
The Bose-Einstein condensed system responds to an external perturbation in a very unique
manner. Even if the perturbation is weak, the response may be nonperturbative; for example,
the phonon velocity depends on the scattering length in a nonanalytic manner. The low-lying
excitations of spinor and dipolar BECs are described by the Bogoliubov theory, as discussed in
Sec. 5.
One of the hallmarks of superfluidity manifests itself in its response to an external rotation.
In a scalar BEC, the system hosts vortices that are characterized by the quantum of circulation,
κ = h/M, where h is the Planck constant and M, the mass of the atom. The origin of this
quantization is the single-valuedness of the order parameter. As mentioned above, however, in
the spinor BEC, the gauge degree of freedom is coupled with the spin degrees of freedom. This
spin-gauge coupling gives rise to some of the unique features of the spinor BEC. For example,
the fundamental unit of circulation can be a rational fraction of κ, and when two vortices collide,
they may not reconnect unlike the case of the scalar BEC. Vortices of spinor BECs are discussed
in Sec. 6.
5
The direction of the spin can vary rather flexibly over space and time. Nonetheless, the global
configuration of the spin texture must satisfy certain topological constraints. This is because the
order parameter in each phase belongs to a particular order parameter manifold whose symmetry
leads to a conserved quantity called a topological charge. Such a topological constraint deter-
mines the nature of topological excitations such as line defects, point defects, skyrmions, and
knots. The order parameter can be classified using group theory, and possible topological excita-
tions are determined based on homotopy theory. Elements of group theory and homotopy theory
with applications to spinor BECs are reviewed in Sec. 7.
Efforts are underway to magnetically shield the system so that the ambient magnetic field
is reduced to below 10 µG. In such an ultralow magnetic field, the spin degeneracy, which is
usually lifted by Zeeman effects, sets in significantly, and we have to confront the question of
how the degeneracy can be lifted by minute spin-exchange interactions. It is in this region where
the many-body spin correlations dramatically alter the ground states of spinor BECs and their
response to an external magnetic field. The present understanding of this problem is described in
Sec. 8.
Spinor BECs offer topics that are of broad interest beyond ultracold atomic gases. Prime
examples are the dynamics of a quenched BEC and the Berezinskii-Kosteritz-Thouless transition
in two dimensions. These subjects are discussed in Sec. 9.
It seems almost certain that we will face more interesting questions than have been answered
so far. In fact, several new possibilities are emerging both experimentally and theoretically: mag-
netic crystalization and non-Abelian vortices, to cite only a few examples. Moreover, under an
ambient magnetic field below 10 µG, not only do manybody spin correlations become significant
but the magnetic dipole-dipole interaction also plays an equally important role. We therefore
have good reasons to expect that new symmetry breakings will occur in this regime. In view
of these ongoing developments, it now seems appropriate to consolidate the knowledge that has
been accumulated over the past few years. In this paper, we provide an overview of the basics
and recent developments on the physics of spinor and dipolar BECs. Some of the remaining and
emerging problems are listed in Sec. 10.
One of the major topics that is not treated in this review is fictitious spin systems such as
a binary mixture of hyperfine spin states. Such systems do not possess rotational symmetry in
space nor is the fictitious spin associated with the magnetic moment. However, they have some
intrinsic interest such as interlaced vortex lattices and vortex molecules caused by the Josephson
coupling. A comprehensive review of this subject is given in Ref. [1].
This paper is organized as follows. Section 2 describes the fundamental Hamiltonian of
the spinor BEC. Section 3 develops the mean-field theory of spinor condensates and discusses
the ground-state properties of the spin-1, 2, and 3 BECs. Section 4 provides an overview of
the dipole BEC and the spinor-dipolar BEC. Section 5 develops the Bogoliubov theory of the
spinor and spinor-dipolar BEC. Section 6 discusses various types of vortices that can be created
in spinor BECs. In particular, fractional vortices and non-Abelian vortices are discussed. Sec-
tion 7 examines the topological aspects of spinor BECs. The symmetry of the order parameter
is classified based on group theory, and possible topological excitations are investigated using
homotopy theory. Section 8 reviews the many-body aspects of spinor BECs. Section 9 discusses
the Kibble-Zurek mechanism and the Berezinskii-Kosterlitz-Thouless transition in spinor BECs.
Section 10 summarizes the main results of this paper and discusses possible future developments.
6
2. General Theory
2.1. Single-particle Hamiltonian
The fundamental Hamiltonian of a spinor BEC can be constructed quite generally based on
the symmetry argument. We consider a system of identical bosons with mass M and spin f that
are described by the field operators ψ̂m (r), where m = f, f − 1, · · · , − f denotes the magnetic
quantum number. The field operators are assumed to satisfy the canonical commutation relations
[ψ̂m (r), ψ̂†n (r′ )] = δmn δ(r − r′ ),
[ψ̂m (r), ψ̂n (r′ )] = [ψ̂†m (r), ψ̂†n (r′ )] = 0, (1)
where δmn is the Kronecker delta.
The noninteracting part of the Hamiltonian comprises the kinetic term, one-body potential
U(r), and linear and quadratic Zeeman terms:
Z f
X " 2 2 #
~∇
Ĥ0 = dr ψ̂†m − 2
+ U(r) − p(fz)mm + q(fz )mn ψ̂n , (2)
m,n=− f
2M
where fz is the z-component of the spin matrix whose matrix elements are given by (fz )mn = mδmn ,
and hence, (fz2 )mn = m2 δmn ; and p = −gµB B is the product of the Landé hyperfine g-factor g,
Bohr magneton µB = e~/2me (me is the electron mass, and e > 0 is the elementary charge), and
external magnetic field B that is assumed to be applied in the z-direction. The coefficient q of the
quadratic Zeeman term is calculated using the second-order perturbation theory to be
(gµB B)2
q= , (3)
Ehf
where Ehf = Em − Ei is the hyperfine splitting and it is given by the difference between the
initial (Ei ) and intermediate (Em ) energies. For example, for the case of 87 Rb, g = −1/2 and
Ehf ≃ 6.8 GHz for the f = 1 hyperfine manifold and g = 1/2 and Ehf ≃ −6.8 GHz for the f = 2
hyperfine manifold. The value of q can be tuned in the negative direction by using a linearly
polarized microwave field due to the AC Stark shift [2, 3].
Because the boson field operators ψ̂m1 (r) and ψ̂m2 (r′ ) commute, ÂF M (r) vanishes identically for
odd F . In fact, when F = 1 and f = 1, the Clebsch-Gordan coefficient is given by
(−1)1−m1
h1, M|1, m1; 1, m2 i = √ δm1 +m2 ,M
2
× δM,1 (δm1 ,1 + δm1 ,0 ) + δM,0 m1 − δM,−1 (δm1 ,0 + δm1 ,−1 ) . (6)
Substituting this into Eq. (5), we find that Â1M (r) = 0. Similarly, we can show that ÂF M (r) = 0
if F is odd. Incidentally, for the case of fermions, we obtain ÂF M (r) = 0 for even F because the
fermion field operators anticommute.
Because the interaction is scalar, it must take the following form:
Z Z X
F
1
V̂ (F ) = dr dr′ v(F ) (r, r′ ) †F M (r, r′ )ÂF M (r, r′ ), (7)
2 M=−F
where v(F ) (r, r′ ) describes the dependence of the interaction on the positions of the particles.
When the system is dilute and the range of interaction is negligible as compared to the inter-
particle spacing, the interaction kernel v(F ) may be approximated by the delta function with an
effective coupling constant gF :
v(F ) (r, r′ ) = gF δ(r − r′ ), (8)
where gF is related to the s-wave scattering length of the total spin-F channel, aF , as
4π~2
gF = aF . (9)
M
2.2.2. Operator relations
It follows from the completeness relation
X
|F , MihF , M| = 1̂ (10)
F ,M
that
X X
F
†F M (r, r′ )ÂF M (r, r′ ) =: n̂(r)n̂(r′ ) :, (11)
F =0,2,··· ,2 f M=−F
where
f
X
n̂(r) ≡ ψ̂†m (r)ψ̂m (r) (12)
m=− f
8
is the total density operator and :: denotes normal ordering that places annihilation operators to
the right of creation operators.
Another useful relation can be derived from the composition law of the angular momentum:
1h i 1
F1 · F2 = (F1 + F2 )2 − F21 − F22 = F2tot − f ( f + 1), (13)
2 2
where Ftot = F1 + F2 is the total spin angular momentum vector. Operating this on the com-
pleteness relation (10), we have
X "1 #
F1 · F2 = F (F + 1) − f ( f + 1) |F , MihF , M|. (14)
F ,M
2
X
2
F1 · F2 = |2, Mih2, M| − 2|0, 0ih0, 0| = 1̂ − 3|0, 0ih0, 0|, (15)
M=−2
where we have used the completeness relation (10) to derive the second equality. It follows from
this that the following operator identity holds:
The last term can be eliminated by using the completeness relation (10), giving the following
operator identity:
1 X2
10 4
: F̂(r) · F̂(r′ ) : + †2M (r, r′ )Â2M (r, r′ ) + †00 (r, r′ )Â00 (r, r′ ) = : n̂(r)n̂(r′ ) : . (19)
7 M=−2
7 7
9
2.2.3. Interaction Hamiltonian of spin-1 BEC
We derive the interaction Hamiltonians for the f = 1 case. For f = 1, the total spin F of two
colliding bosons must be 0 or 2, and the corresponding interaction Hamiltonian (7) gives
Z
g0
V̂ (0) = dr†00 (r)Â00 (r) (21)
2
Z X 2
g2
V̂ (2)
= dr †2M (r)Â2M (r)
2 M=−2
Z h i
g2
= dr : n̂2 (r) : −†00 (r)Â00 (r) , (22)
2
where ÂF M (r) ≡ ÂF M (r, r), and Eq. (11) and Â1M (r) = 0 are used to derive the last equality.
Combining Eqs. (21) and (22), we obtain
Z g
2 g0 − g2 †
V̂ = dr : n̂2 (r) : + Â00 (r)Â00 (r) . (23)
2 2
Equation (23) is the interaction Hamiltonian of the spin-1 BEC. We use the operator identity (16)
to rewrite Eq. (23) as
Z h i
1
V̂ = dr c0 : n̂2 (r) : +c1 : F̂2 (r) : , (24)
2
where
g0 + 2g2 g2 − g0
c0 = , c1 = . (25)
3 3
In Eq. (23), Â00 is the spin-singlet pair operator. The explicit form of this operator can be
found using the Clebsch-Gordan coefficient for F = M = 0:
(−1) f −m1
h0, 0| f, m1 ; f, m2 i = δm1 +m2 ,0 p . (26)
2f + 1
X f
1
Â00 (r, r′ ) = p (−1) f −m ψ̂m (r)ψ̂−m (r′ ). (27)
2 f + 1 m=− f
10
where Eq. (11) and Â1M = Â3M = 0 are used to obtain the last equality. Summing Eqs. (21),
(22), and (28), we obtain
We can eliminate the last term by using the operator identity (19), obtaining
Z h i
1
V̂ = dr c0 : n̂2 (r) : +c1 : F̂2 (r) : +c2 †00 (r)Â00 (r) , (30)
2
where
4g2 + 3g4 g4 − g2 7g0 − 10g2 + 3g4
c0 = , c1 = , c2 = . (31)
7 7 7
We use the same notations c0 and c1 for both spin-1 and spin-2 cases because there is no fear of
confusion.
where
9g4 + 2g6 g6 − g4 11g0 − 21g4 + 10g6 11g2 − 18g4 + 7g6
c0 = , c1 = , c2 = , c3 = . (33)
11 11 11 11
where ϕmi (r) describes the basis function for the magnetic quantum number m and spatial mode
i, and âmi ’s are the corresponding annihilation operators that satisfy the canonical commutation
relations
Then, the field operators (34) satisfy the field commutation relations (1).
In the mean-field approximation, it is assumed that all Bose-condensed bosons occupy a
single spatial mode, say i = 0, and a single spin state specified by a linear superposition of
magnetic sublevels. Then, the state vector is given by
f N
1 X †
|ζi = √ ζm âm0 |vaci, (38)
N! m=− f
where |vaci denotes the particle vacuum and ζm ’s are assumed to satisfy the following normal-
ization condition:
f
X
|ζm |2 = 1. (39)
m=− f
As shown in Eq. (40), the expectation value of the field operator vanishes as it should in a number-
conserving theory. Nevertheless, all experimentally observable physical quantities, which are
expressed in terms of the correlation function of the field operators such as (41) and (42), can
have nonzero values. These values agree with those obtained by the U(1) symmetry-breaking
approach within the factor of 1/N.
X
1
Fµ (r) ≡ hF̂µ (r)i0 = ψ∗m (r)(fµ )mn ψn (r) (µ = x, y, z). (46)
m,n=−1
From the energy functional in Eq. (44), we find that c0 must be nonnegative; otherwise, the
system collapses. This condition also guarantees that the Bogoliubov excitation energy corre-
sponding to density fluctuations is real, as shown in Sec. 5.
It is easy to identify the ground-state magnetism of a uniform system when the Zeeman terms
are negligible (p = q = 0). From the energy functional (44), one can see that the ground state
is ferromagnetic (|F| = n) when c1 < 0 and antiferromagnetic or polar (|F| √ = 0) when c1 > 0.
Here, the order parameter√of the antiferromagnetic phase [6] is given by n/2(1, 0, 1)T and that
of the polar state [7] is n(0, 1, 0)T . The former state is obtained by rotating the latter about
the y-axis by π/2, and therefore, these two states are degenerate in the absence of the magnetic
field. Moreover, all states obtained by rotating these states are degenerate. In the presence of an
external magnetic field, however, the ground state becomes more complicated due to the linear
and quadratic Zeeman effects, as shown below.
The time evolution of the mean field is governed by
∂ψm (r) δE
i~ = ∗ . (51)
∂t δψm (r)
Substituting Eq. (44) into the right-hand side gives
" 2 2 #
∂ψm ~∇ 2
i~ = − + U(r) − pm + qm ψm
∂t 2M
X1
+ c0 nψm + c1 F · fmn ψn (m = 1, 0, −1), (52)
n=−1
13
which are the multicomponent Gross-Pitaevskii equations (GPEs) that describe the mean-field
properties of spin-1 Bose-Einstein condensates [6, 7]. In a stationary state, we substitute
i
ψm (r, t) = ψm (r) e− ~ µt (53)
where F± ≡ F x ± iFy . By solving the set of equations (55)–(57), we can investigate the properties
of the ground and excited states of the spin-1 BEC.
Note that because the system is suspended in a vacuum chamber, the projected spin angular
momentum in the direction of the external magnetic field is conserved for a long time (≥ 1 s) [8].
Because the atomic interaction given by Eq. (7) conserves the total spin of two colliding atoms,
the spin dynamics obeying the GPEs conserves the total magnetization.
R Therefore, when we
search for the ground state for a given magnetization Mz = drFz (r), we need to replace E in
Eq. (51) with E − λMz , where λ is a Lagrange multiplier. Then, p in Eqs. (55)–(57) is replaced
with p̃ = p + λ, which is determined as a function of Mz .
Here, we solve Eqs. (55)–(57) and investigate the ground-state phase diagram [9, 10] in a
parameter space of (q, p). We assume a uniform system for a given number density n. The
ground state of a uniform system is obtained if we set the kinetic energy and U(r) to be zero. We
also note that c0 n can be absorbed in µ by defining µ̃ ≡ µ − c0 n. Furthermore, we may assume
Fy = 0 without loss of generality, provided that the system is symmetric about the z-axis. Then,
by performing a gauge transformation to make ψ0 real, all ψ1,0,−1 become real. (After obtaining
the real solution, we can recover the general complex order parameter by performing a global
gauge transformation eiχ0 and spin rotation e− fz χz about the z-axis.) Then, Eqs. (55)–(57) reduce
to
where we have recovered the phases of the order parameter with χ±1 = χ0 ∓ χz . States I and II
are fully polarized (Fz = ±n), and therefore, ferromagnetic, whereas state III has a longitudinal
magnetization that depends on p because Fz = p/c1 . State III is often referred to as an antifer-
romagnetic state. In case (ii), we may solve Eqs. (58) and (60), together with the normalization
P
condition 1m=−1 |ψm |2 = n, to obtain the following two stationary states: one, referred to as a
polar state, is given by
√ T 1
IV : 0, eiχ0 n, 0 , ǫIV = c0 n, (65)
2
and it has no magnetization in any direction; the other is given by
s
i(χ0 ∓χz ) q ± p −p2 + q2 + 2c1 nq
V : ψ±1 = e , (66)
2q 2c1 q
s
iχ0 (q2 − p2 )(−p2 − q2 + 2c1 nq)
ψ0 = e , (67)
4c1 q3
(−p2 + q2 + 2qc1 n)2 1
ǫV = + c0 n, (68)
8c1 nq2 2
and it exists only when the argument of the square root for every ψm is nonnegative. State V
occurs for c1 < 0 (ferromagnetic case). When
all three components ψ± and ψ0 in Eqs. (66) and (67) are nonzero and the magnetization tilts
against the external magnetic field:
p
p(p2 − q2 + 2q|c1 |n) iχz (q2 − p2 ){(p2 + 2|c1 |nq)2 − q4 }
Fz = , F + = e . (70)
2|c1 |q2 2|c1 |q2
The polar angle [arctan(|F+ |/Fz)] is determined by the interaction and the magnetic field, whereas
the azimuthal angle (χz ) is spontaneously chosen in each realization of the system. Because the
axial symmetry with respect to the applied magnetic field axis is broken, this phase is referred to
as the broken-axisymmetry phase [10].
Comparing the energies of Eqs. (62)–(68), we obtain the phase diagram in a parameter space
of (q, p), as shown in Fig. 1 [9].
15
Figure 1: Phase diagram of spin-1 BEC for (a) c1 > 0, (b) c1 = 0, and (c) c1 < 0. The rotation symmetry about the
magnetic field is broken in the shaded region.
Table 3: Possible ground-state phases of a spin-1 BEC, where F, AF, P, and BA denote ferromagnetic, antiferromagnetic,
polar, and broken-axisymmetry phases, respectively.
Note that the rotation symmetry about the magnetic-field axis is broken in state III, despite
the fact that the magnetization is parallel to the magnetic field in this phase. To understand the
underlying physics, we introduce the spin nematic tensor defined by
* +
1 fµ fν + fν fµ
Nµν ≡ µ, ν = x, y, z. (71)
n 2 0
The nematic tensor for the ferromagnetic (I, II) and polar (IV) phases is independent of χ0 and
χz , and given as
1
2 0 0 1 0 0
N I,II = 0 21 0 , N IV = 0 1 0 , (72)
0 0 1 0 0 0
respectively. Here, N xx = Nyy indicates that the order parameter has rotational symmetry about
16
the z-axis. On the other hand, the nematic tensor for state III for χz = 0 is given by
1 s
2 (1 + α) 0 0 !2
III
1
p
N = 0 2 (1 − α) 0
, α = 1 − . (73)
c1 n
0 0 1
Here, N xx , Nyy indicates the anisotropy on the xy plane in the spin space. This is the physical
origin of the axisymmetry breaking of state III. In fact, it can be shown that off-diagonal elements
such as N xy appear when χz , 0.
In general, the symmetry of the order parameter can be visualized by drawing the wave
function in spin space. Because an integer-spin state can be described in terms of the spherical
harmonics Y mf ( ŝ), where ŝ is a unit vector in spin space, the order parameter for a spin- f system
can be expressed in terms of a complex wave function given by
X
Ψ( ŝ) = ψm Y mf ( ŝ). (74)
m
Figure 2 shows the order parameter for states I–V. From Fig. 2, one can see that the order pa-
rameters for states III and V have the same morphology and that the magnetization is parallel to
the magnetic field in one phase (III) but not in the other (V). Additional symmetry properties are
discussed in Sec. 7.1.1.
Figure 2: Order parameter for spin-1 stationary states. Surface plots of |Ψ( ŝ)|2 are shown, where the gray scale on the
surface represents arg Ψ( ŝ).
E[ψ] ≡ hĤi0
Z (X2 " 2 2 # )
~∇ c0 c1 c2
= dr ψ∗m − + U(r) − pm + qm2 ψm + n2 + |F|2 + |A|2 . (75)
m=−2
2M 2 2 2
17
Here, the spin-2 matrices are given by
0 1 q0 0 0
0 −i 0q 0 0
1 0 3
0 0 i 0 −i 3
0 0
q 2 q q 2 q
fx = 0 3
0 3
0 , fy = 0 i 32 0 −i 3
0 ,
2
q 2 q 2
0
0 3
2 0 1 0 0 i 3
2 0 −i
0 0 0 1 0 0 0 0 i 0
2 0 0 0 0
0 1 0 0 0
fz = 0 0 0 0 0 . (76)
0 0 0 −1 0
0 0 0 0 −2
As compared to the energy functional (44) of the spin-1 BEC, the new term c2 |A|2 /2 appears in
Eq. (75), where
1
A ≡ hÂ00 (r)i0 = √ 2ψ2 ψ−2 − 2ψ1 ψ−1 + ψ20 (77)
5
is the amplitude of the spin-singlet pair.
For the spin-1 case, the spin-singlet amplitude is uniquely related to the magnetization by
relation (16), and only one of them appears in the energy functional. However, for the spin-2
case, they can change independently, giving rise to new ground-state phases. This can be best
illustrated when the system is uniform. In this case, the kinetic-energy term can be ignored and
the Hartree term c0 n2 /2 is constant; therefore, the ground state is determined by the remaining
terms in Eq. (75).
Let us first consider the ground state in the zero magnetic field. The phase diagram in this
case is determined by the last two terms in Eq. (75), as shown in Fig. 3. When c1 < 0 and c2 > 0,
the energy of the system is lowered as magnetization increases. √ Therefore, the ground state is
ferromagnetic, and the order parameter is given by ψferro = ( n, 0, 0, 0, 0)T or its rotated state in
the spin space.
When c1 > 0 and c2 < 0, the energy of the system is lowered as the amplitude of the
spin-singlet pair increases. Therefore, the ground state is uniaxial nematic √ (UN) or biaxial
nematic √(BN), and the order parameters are given by ψuniax = (0, 0, n, 0, 0)T (uniaxial) or
ψbiax = n/2(1, 0, 0, 0, 1)T (biaxial). While these states are often referred to as polar or antifer-
romagnetic [4, 11, 5], respectively, here, we adopt the liquid-crystal terminology which implies
the symmetry of the order parameter (see the insets in Fig. 3). In this review, we refer to C4
phase discussed below √ as antiferromagnetic, in order to distinguish it from the UN state. The
order parameter n/2(0, 1, 0, 1, 0) also represents the BN state, which is obtained by rotating
ψbiax as ie−ify π/2 e−ifz π/4 ψbiax , while ψuniax cannot be obtaind by rotating ψbiax since the symmetry
of the order parameters are different. Note that the symmetries of the UN and BN states differ;
however, the two√states are degenerate √ at the mean-field level. Moreover, the superposition of
these two states n/2(cos ξ, 0, 2 sin ξ, 0, cos ξ) (ξ is an arbitrary real) is also degenerate. It has
been shown that zero-point fluctuations lift the degeneracy [12, 13].
When both c1 and c2 are positive, neither the ferromagnetic nor UN/BN state is energetically
favorable and frustration arises, resulting in a new phase referred to as the cyclic phase [4, 11, 5].
18
√ √
The order parameter is given by ψcyclic = n/2(1, 0, i 2, 0, 1)T , which possesses tetrahedral
symmetry, as shown in the inset of Fig. 3. In the many-body ground state of the cyclic state, three
bosons form a spin-singlet trimer and the boson trimers undergo Bose-Einstein condensation, as
shown in Sec. 8.
Figure 3:
P Phase diagram of the spin-2 BEC at zero magnetic field. In each phase, the profile of the order parameter
Ψ( ŝ) = m ψm Y2m ( ŝ) is shown.
The time-dependent GPEs for the spin-2 case can be obtained by substituting Eq. (75) in
Eq. (51):
" 2 2 #
∂ψ±2 ~∇
i~ = − + U(r) ∓ 2p + 4q + c0 n ± 2c1 Fz − µ ψ±2
∂t 2M
c2
+ c1 F∓ ψ±1 + √ Aψ∗∓2 , (78)
5
" 2 2 #
∂ψ±1 ~∇
i~ = − + U(r) ∓ p + q + c0 n ± c1 Fz − µ ψ±1
∂t 2M
√
6 c2
+ c1 F∓ ψ0 + F± ψ±2 − √ Aψ∗∓1 , (79)
2 5
" 2 2 # √
∂ψ0 ~∇ 6 c2
i~ = − + U(r) + c0 n − µ ψ0 + c1 (F+ ψ1 + F− ψ−1 ) + √ Aψ∗0 , (80)
∂t 2M 2 5
19
where
√
F+ = F−∗ = 2 ψ∗2 ψ1 + ψ∗−1 ψ−2 + 6 ψ∗1 ψ0 + ψ∗0 ψ−1 , (81)
Fz = 2 |ψ2 |2 − |ψ−2 |2 + |ψ1 |2 − |ψ−1 |2 . (82)
The time-independent GPEs can be obtained by substituting ψm (r, t) = ψm (r)e−iµt/~ in Eqs. (78)–
(80). If we assume that the system is uniform (i.e., U(r) = 0), then Eqs. (78)–(80) reduce to
1 X
2
c0 n c1 2 c2 2
ǫ= (−pm + qm2 ) |ψm |2 + + Fz + |A| . (93)
n m=−2 2 2n 2n
Because Eqs. (88)–(92) are decoupled into three parts, the solutions can be classified accord-
ing to the determinant of the coefficient matrix of Eqs. (88) and (89),
and the determinant of the coefficient matrix of Eqs. (90) and (91),
20
• If D1 , 0 and D2 , 0, then we have ψ1 = ψ−1 = 0 and ψ2 = ψ−2 = 0, so that the solution
is the UN state, that is, the order parameter is given by
√
UN: (0, 0, n, 0, 0)T . (96)
and
√
F1− : (0, 0, 0, eiχ−1 n, 0)T (98)
where Fz = p/(c1 − 15 c2 ). The chemical potential and the energy per particle are µ̃ =
q + 15 c2 n and ǫ = q + 21 (c0 + 51 c2 )n − p2 /[2(c1 − 15 c2 )n]. At p = 0, this state continuously
becoms the BN state.
• If D1 , 0 and D2 = 0, ψ1 = ψ−1 = 0. Moreover, if µ̃ , a, we have ψ0 = 0. In a manner
similar to the previous case, Eqs. (88) and (89) have three solutions. Two of them are
ferromagnetic and they are given by
√
F2+ : (eiχ2 n, 0, 0, 0, 0)T (100)
with Fz = 2n, µ̃ = −2p + 4q + 4c1 n and ǫ = −2p + 4q + 12 (c0 + 4c1 )n, and by
√
F2− : (0, 0, 0, 0, eiχ−2 n)T (101)
with Fz = −2n, µ̃ = 2p +4q +4c1n and ǫ = 2p +4q + 12 (c0 +4c1 )n. When |p| < |2c1 − 10
1
c2 |n,
the other solution is given by
r r T
iχ
1 Fz iχ−2 1 Fz
C4 : e 2
n+ , 0, 0, 0, e n− , (102)
2 2 2 2
1
where Fz = p/(c1 − 20 c2 ), µ̃ = 4q + 15 c2 n and ǫ = 4q + 21 (c0 + 15 c2 )n − p2 /[2(c1 − 1
20 c2 )n].
This state becomes the BN state at p = 0.
21
• If D1 , 0 and D2 = 0 and µ̃ = a, we have ψ1 = ψ−1 = 0; however, ψ±2 and ψ0 can be
nonzero. They obey |ψ2 |2 + |ψ−2 |2 + |ψ0 |2 = n and |ψ2 |2 − |ψ−2 |2 = 12 Fz , and hence,
s s T
/2 − ψ2
− /2 − ψ2
n + F z n F z 0
C2′ : eiχ2 0
, 0, ψ0 , 0, eiχ−2 .
(103)
2 2
q
Because a = (c2 /5) ei(χ2 +χ−2 ) (n − ψ0 )2 − Fz2 /4 + ψ20 = µ̃ is real, we have χ2 + χ−2 = 0
or π. Here, µ̃ and Fz are determined from Eqs. (88) and (89) to be µ̃ = 2q − γ̃02 /(2q) and
Fz = (γ̃0 + p)/c1 , respectively, where γ̃0 is a real solution of the following equation:
s 2
ψ20 1 2 2
F 2
ǫ = 4q 1 − + c0 n +
γ˜0 − p
+
c2
(n − ψ2 )2 − z e−i(χ2 +χ−2 ) + ψ2 . (105)
0
n 2 2c1 n 10n 0 4
In particular, when p = 0 and |q| > 2c1 (n − ψ20 ), γ̃0 is determined to be zero, leading to
Fz = 0. Moreover, when c2 > 0, Eq. (105) is minimized at χ2 +χ−2 = π and ψ20 = 21 n+5q/c2
to be ǫ = 2q + 12 c0 n − 10q2/(c2 n). The corresponding order parameter is given by
p r p T
iχ n − 10q/c2 n − 10q/c 2 n − 10q/c2
D2 : ie
′
, 0, , 0, ie −iχ , (106)
2 2 2
where we set χ±2 = π2 ± χ. This state continuously becomes the cyclic state at q = 0. On
the other hand when c2 < 0, Eq. (105) is minimized at χ2 +χ−2 = 0 and the order parameter
is obtained to be UN for q > 0 and BN for q < 0.
• If D1 = D2 = 0, we solve the simultaneous equations D1 = 0 and D2 = 0 to obtain
5q2 − γ̃02 q
µ̃ = = ± 4q2 + |a|2 . (107)
2q
When q , 0, µ̃ , a, we find from Eq. (92) that ψ0 = 0. Then, γ = 2 (ψ∗2 ψ1 + ψ∗−1 ψ−2 ). We
may use Eqs. (88)–(91) and (107) to show that
! !
∗ γ̃0 + 3q ∗ γ̃0 − 3q
γ = 2c1 ψ2 ψ1 1− = 2c1 ψ−1 ψ−2 1− = 0. (108)
γ̃0 − 3q γ̃0 + 3q
Thus, we must, in general, have ψ2 ψ1 = ψ−1 ψ−2 = 0. To be consistent with Eqs. (88)–(91),
we find that either ψ1 = ψ−2 = 0 or ψ2 = ψ−1 = 0 should hold. In the former case, the
order parameter is given by
r r T
iχ n + F 2n − F
, 0
e 2 z iχ z
C3+ : , 0, 0, e −1 (109)
3 3
22
with Fz = (p − q)/c1 and ǫ = 2q − 12 c0 n − (p − q)2 /(2c1 n). In the latter case, the solution
is given by
r r T
iχ 2n + F z n − F z
C3− : 0, e 1
, 0, 0, e iχ−2 (110)
3 3
The above results are summarized in Table 4. By comparing the energy of the obtained state,
we find the ground state phase diagram of a spin-2 BEC, as shown in Fig. 4 for the special case
of p = 0 and q < 0.
23
state order parameter ψT Fz µ̃ = µ − c0 n ǫ̃ = ǫ − 12 c0 n
√
F2+ (eiχ2 n, 0, 0, 0, 0) 2n −2p + 4q + 4c1 n −2p + 4q + 2c1 n
√
F2− (0, 0, 0, 0, eiχ−2 n) −2n 2p + 4q + 4c1 n 2p + 4q + 2c1 n
√
F1+ (0, eiχ1 n, 0, 0, 0) n −p + q + c1 n −p + q + 12 c1 n
√
F1− (0, 0, 0, eiχ−1 n, 0) −n p + q + c1 n p + q + 12 c1 n
√ 1 1
UN (0, 0, eiχ0 n, 0, 0) 0 5 c2 n 10 c2 n
q q !
n+Fz /2 n−Fz /2 p p2
C4 e iχ2
2 , 0, 0, 0, e
iχ−2
2 c1 −c2 /20 4q + 15 c2 n 4q + 1
10 c2 n − 2(c1 −c2 /20)n
q q
24
Table 4: Possible states for the ground state of a spin-2 BEC. Each states is associated with a particular symmetry, as identified in Sec. 7.1.1. In the C2′ state, γ̃0 is a real solution
of Eq. (104), and χ2 + χ−2 − 2χ0 = π for c2 > 0 and χ2 + χ−2 − 2χ0 = 0 for c2 < 0. At p = 0 the C4 and C2 states continuously become the BN state, and the C3± state becomes
the cyclic state. For c2 > 0, the C2′ state becomes the D2′ state at p = 0 and the cyclic state at p = q = 0.
Figure 4: Ground-state phase diagram of a spin-2 BEC for p = 0 and q < 0, where F2± states and C3± states are
degenerate in the region of F2 and C3, respectively. The M state and C state in Ref. [14] correspond to C3 and D2′ in
this phase diagram, respectively.
4. Dipolar BEC
In this section, we consider the dipole-dipole interaction (DDI) that, unlike the s-wave con-
tact interaction, is long-range and anisotropic. The DDI between alkali atoms is a thousand times
smaller than the short-range interaction for the background scattering length. However, recent
experimental developments, such as the realization of a BEC of 52 Cr atoms [15, 16, 17, 18, 19,
20], a technique for creating cold molecular gases [21, 22, 23], and high-accuracy measure-
ments [24, 25, 26], have enabled us to study several consequences of the DDI. Here, we briefly
introduce the general properties of the DDI in cold gases (Sec. 4.1), and discuss two impor-
tant cases: spin-polarized dipolar gases (Sec. 4.2) and spinor dipolar gases (Sec. 4.3). Excellent
reviews on dipolar gases have been published by Baranov [27, 28] and by Lahaye et al. [29].
where d̂1,2 are unit vectors indicating the directions of dipole moments, r = |r|, r̂ = r/r, and
Qµν (r) (µ, ν = x, y, z) is a rank-2 traceless symmetric tensor that can be expressed in terms of
25
rank-2 spherical harmonics Y2m (r̂) as
(115)
In a special case in which the dipole moments are polarized under an external field, the DDI
takes a simple form:
r
1 − 3 cos2 θ 16π Y20 (r̂)
Vdd (r) = cdd Qzz (r) = cdd = − cdd 3 , (116)
r3 5 r
where θ is the angle between the polarization direction and the relative position r [see Fig. 5(b)].
Because Vdd is negative (positive) for θ = 0 (π/2), the DDI interaction favors a “head-to-tail”
configuration [Fig. 5 (c)] as opposed to a “side-by-side” one [Fig. 5 (d)].
Figure 5: Interaction between two dipole moments for (a) an unpolarized case and (b) a polarized case. The dipole-
dipole interaction is most attractive for (c) the head-to-tail configuration and most repulsive for (d) the side-by-side
configuration. The bottom figures below (c) and (d) show characteristic spin textures.
The long-range character (∼ 1/r3 ) of the DDI becomes prominent in low-energy scattering.
When a potential decreases as 1/rn for large r, the phase shift δl behaves in the zero-energy
limit as k2l+1 if l < (n − 3)/2 and as kn−2 otherwise [30]. For a potential with n > 3, such as
van der Waals potential (n = 6), the main contribution at k → 0 is an s-wave channel δ0 ∼ k,
and therefore, the potential can be described with a single parameter, namely, with the s-wave
scattering length. On the other hand, when n = 3, all partial waves contribute to the scattering
as δl ∼ k, and therefore, the scattering process is no longer described with a single parameter
such as the s-wave scattering length. Moreover, the anisotropy of the DDI induces coupling
between partial waves. Because the dipole interaction is described by rank-2 spherical harmonics
and it therefore has d-wave symmetry, a partial wave of angular momentum (l, m) is coupled
to (l, m + ∆m f ) and (l ± 2, m + ∆m f ), where ∆m f is the change in the projected total spin of
colliding particles and ∆m f = 0 for the polarized case. Although there is no diagonal term for
the l = 0 channel, this coupling induces the effective potential for l = 0 that behaves as r−6 at
large distances. Hence, the dipole interaction generates a short-range interaction as well. Yi and
26
You [31, 32] have shown that away from the shape resonance [33, 34], the effective interaction
between two dipoles can be described with the following pseudo-potential (see also [35, 36]):
4π~2 a(d)
Veff (r) = δ(r) + Vdd (r), (117)
M
where a(d) depends effectively on the strength of the dipole moment.
µ0 µ2B
∼ α2 ∼ 10−4 , (118)
(ea0 )/ǫ0
where ϕ is the angle between the rotating axis and the dipole moments (see Fig. 6). The angular
frequency Ω is set to be much smaller than the Larmor frequency so that the magnetic dipole
moment adiabatically follows the direction of B. When Ω is much larger than the trap frequency,
the effective dipole interaction is time-averaged over 2π/Ω. Substituting d̂ = B/|B| in Eq. (113)
and taking its time-average, we obtain the following effective interaction:
1 − 3 cos2 θ 3 cos2 ϕ − 1
hVdd i = cdd . (120)
r3 2
The last factor in the right-hand side of (120) can take a value between −1/2 to 1. Hence, one
can change the sign of the dipole interaction as well as its strength by varying the angle ϕ.
Figure 6: Two dipoles adiabatically following the external magnetic field (119) that rotates with angular frequency Ω.
The sign and strength of the dipole-dipole interaction (120) can be controlled by varying the angle ϕ.
While this integral converges, the 1/r divergence of the integrand makes it difficult to numerically
carry out the integration in real space. We therefore use the convolution theorem to rewrite (121)
as [44]
XX
Qeµν (k)deν (k)eik·r, (122)
ν k
28
R R
where Qeµν (k) ≡ dre−ik·r Qµν (r) and deν (k) ≡ dre−ik·r dν (r). Here, the Fourier components
of the kernel Qµν can be found as follows. First, we note that the spherical harmonics is the
eigenstate of the three-dimensional Fourier transformation, i.e.,
Z
eik·r Ylm (r̂)dΩ r = 4πil jl (kr)Ylm ( k̂), (123)
where k = |k|, k̂ = k/k, jl (x) is the lth spherical Bessel function and dΩ r denotes the integration
of the angular part of r. Because the radial integration is then carried out as
Z ∞
j2 (kr) 2 1
3
r dr = , (124)
0 r 3
we obtain
Z
eµν (k) ≡ 4π
Q dreik·r Qµν (r) = − δµν − 3k̂µ k̂ν . (125)
3
For spin-polarized gases, we only require
where Vtrap (r) is a trapping potential, g = 4π~2 a/M with a being the scattering length for this
component, and
Z
1 − 3 cos2 θ
Φdd (r, t) = cdd dr′ |ψ(r′ , t)|2 (128)
|r − r′ |3
is a mean-field effective potential due to the DDI. Here, we assume a repulsive short-range inter-
action a > 0 so that the condensate is always stable in the absence of the DDI, whereas cdd can
be either positive or negative due to the tunability discussed in Sec. 4.1.3.
29
4.2.1. Equilibrium shape and instability
Due to the anisotropy of the interaction, the equilibrium shape of dipolar BECs is highly
nontrivial [46, 47, 45]. The dipole interaction works attractively along the direction of dipole
moments and repulsively in the perpendicular direction (see Fig. 5). The attractive part makes
a dipole-dominant BEC unstable in a homogeneous system. This instability can be qualitatively
understood from the Bogoliubov spectrum in a homogeneous system [46]:
q
ω = ǫ k ǫ k + 2ng 1 + ǫdd (3 cos2 θk − 1) , (129)
q ≫ 1/L, excitations acquire a 3D character and the interparticle repulsion is reduced due to
the attractive force in the z direction. This decreases the excitation energy with an increase in q.
When ǫdd > 1, the excitation energy reaches a minimum (roton) and then begins increasing, and
the nature of the excitations continuously become single-particle like. As the dipole interaction
becomes stronger, the energy at the roton minimum decreases and then it reaches zero, leading
to an instability. The 3D character is essential for the appearance of the roton minimum, which
does not appear in the quasi-2D system where the confining potential in the z direction is strong
and the BEC has no degrees of freedom in this direction [53]. The roton-maxon spectrum is also
predicted for a 1D system with laser-induced DDI [54].
For fixed Lz in the absence of the DDI (ǫdd = 0), E(Lρ ) monotonically increases or decreases
as a function of Lρ , resulting in collapse or expansion. However, in the presence of the DDI,
because f (κ) is a monotonic function of κ with f (0) = −1 and f (κ → ∞) = 2, E(Lρ ) may have a
minimum. When the trapping potential is strong and Lz = 1, for simplicity, the energy minimum
appears for
r
π l0
ǫdd < 1 + < −2ǫdd , (135)
2 aN
where a is the s-wave scattering length and N, the total number of atoms (see Ref. [55]). This
condition holds only for ǫdd < 0, which can be achieved using a rotational field. On the other
hand, Tikhonenkov et al. [56] have shown that when dipole moments are polarized in the 2D
plane, stable 2D soliton waves can be generated without tuning the dipole interaction. In this
case, the soliton is anisotropic and elongated along the direction of polarization.
Because a 2D bright soliton in a dipolar gas is stable, the roton instability discussed in the
preceding subsection does not cause a collapse of the BEC but creates 2D solitons [57]. If the
dipole moments are polarized perpendicular to the 2D plane, these solitons are stable as long as
the gas remains 2D. However, if the dipoles are parallel to the 2D plane, the (anisotropic) solitons
may become unstable even in 2D if the number of particles per soliton exceeds a critical value.
4.2.5. Supersolid
The Bose-Hubbard model with long-range interactions exhibits a rich variety of phases such
as the density wave (DW), supersolid (SS), and superfluid (SF) phases [58, 59, 60, 61]. While SF
and SS phases have a nonzero superfluid density, DW and SS phases have a nontrivial crystalline
order in which the particle density modulates with a periodicity that is different from that of
the external potential. Thus, in the SS phase, both diagonal and off-diagonal long-range orders
coexist [62, 63, 64].
A dipolar gas in an optical lattice is an ideal system to realize such exotic phases, because the
interaction parameters can be experimentally controlled. Góral et al. [65] showed that DW and
SS phases, as well as SF and Mott insulator (MI) phases, can be accomplished in dipolar gases in
a 2D optical lattice, and Yi et al. [66] investigated detailed phase diagrams in 2D and 3D optical
lattices. A dipolar gas in an optical lattice can be described with an extended Bose-Hubbard
model given by
X 1 X 1 X ii 1 X ij
HEBH = −t (b̂+i b̂ j + b̂+j b̂i ) + U0 n̂i (n̂i − 1) + Udd n̂i (n̂i − 1) + U n̂i n̂ j , (136)
hi, ji
2 i
2 i 2 i, j dd
33
where b̂i is the annihilation operator of a particle at the lattice site i; n̂i = b̂+i b̂i , the correspond-
ing particle-number operator; and t, the hopping matrix element between the nearest neigh-
bors, and U0 > 0 is the on-site Hubbard repulsion due to the s-wave scattering. Here, t and
U can be expressed
R in terms of the RWannier functions w(r − ri ) of the lowest energy band as
~2 2
U = 4πa~2/M dr|w(r)|4 and t = drw∗ (r − ri )[− 2M ∇ + V0 (r)]w(r − r j ), where V0 is the
optical lattice potential [67]. The last two terms in Eq. (136) describe the on-side and inter-site
DDIs with coupling parameters given by
Z Z
1 − 3 cos2 θ
Ui j = cdd dr dr′ |w(r − ri )|2 |w(r′ − r j )|2 , (137)
|r − r′ |3
where θ is the angle between the dipole moment and vector r− ri . Here, cdd can take both positive
and negative values by using a fast rotating field (see Sec. 4.1.3). By changing the depth of an
ij
optical lattice, the transverse confinement, and the orientation of the dipoles, t, U0 , and {Udd } can
be tuned independently.
ij
Let us begin by reviewing the case of Udd = 0, i.e., the on-site Bose-Hubbard model. At
t = 0 and commensurate filling, i.e., the average number of particles per site is an integer n, the
interaction energy is minimized by populating every lattice site with exactly n atoms; therefore,
the Mott insulator (MI) phase is realized. The energy cost required to create a particle-hole
excitation in the MI phase is U0 (on-site interaction energy), and therefore, the MI state is gapped
and incompressible. On the other hand, for nonzero t, the kinetic energy favors particle hopping.
When t is sufficiently large to overcome the interaction-energy cost (∼ U0 ), the system undergoes
a phase transition to the superfluid (SF) phase that is gapless and compressible.
In the presence of the long-range interaction, the ground state of the extended Bose-Hubbard
Hamiltonian (136) in a 2D optical lattice is investigated in Refs. [65, 66] using a variational
P
approach based on the Gutzwiller ansatz |Ψi = Πi ∞ i
n=0 fn |nii , where |nii denotes the state with
i
n particles at lattice site i. The coefficients fn can be found by minimizing the expectation value
P
hΨ|HEBH − µ i ni |Ψi under the constraint of a fixed chemical potential µ. In this calculation, a
cutoff length λc is introduced and the interaction between lattice sites with distance larger than
λc is ignored.
When dipole moments are polarized perpendicular to the 2D lattice, the dipole interaction is
repulsive (attractive) for cdd > 0 (cdd < 0). If site i is occupied, it is energetically favorable that
its neighboring sites are equally populated for negative cdd and less populated for positive cdd .
Therefore, for negative cdd , only MI and SF phases appear as in the case of the on-site Bose-
Hubbard model, and local collapse occurs for large |cdd | due to the strong attractive interaction.
On the other hand, for positive cdd , the DW phase emerges as an insulating state. According to
the Landau theory of the second-order phase transition, phases with distinct symmetry breaking
patterns cannot be continuously connected with each other. Therefore, as the hopping increases,
the DW state first changes to the SS state and then to the SF phase.
When dipole moments are polarized along the 2D lattice, say in the y-axis, the DDI is
anisotropic. The inter-site interaction for cdd > 0 (cdd < 0) is attractive (repulsive) in the y
direction and repulsive (attractive) in the x direction. In this case, the particle density along the
repulsive direction becomes periodically modulated, whereas it remains constant along the at-
tractive direction, resulting in striped DW and striped SS states. Local collapse occurs for large
|cdd | for both positive and negative cdd .
In Ref. [66], the phase diagram in a 3D lattice is also investigated, where dipole moments are
polarized along the z-axis. For cdd > 0, the DDI is attractive in the z direction and repulsive in the
34
xy direction. Hence, the DW phase forms a checkerboard-type pattern on the xy plane and it is
uniform in the z direction. The density pattern in the SS phase reflects the same symmetry as the
DW phase. On the other hand, for cdd < 0, layers of high-density sites align along the z direction
due to the repulsive interaction. Hence, layered DW and SS phases emerge perpendicular to the
z-axis.
Recently, Menotti et al. [68] studied a polarized dipolar gas in a 2D optical lattice beyond the
ground state. They have shown that there exist many metastable states in the insulator region de-
pending on the cutoff length λc . The number of metastable states and pattern variations increases
rapidly with the number of lattice sites. Metastable states also appear in magnetic domains in
solid-state ferromagnets, classical ferrofulids, and quantum ferrofluids (see the next subsection),
and they appear to be a characteristic consequence of long-range interactions.
4.2.6. Ferrofluid
Let us consider a repulsively interacting two-component BEC, in which atoms in component
1 have a magnetic dipole moment, whereas those in component 2 are nonmagnetic. The m = −3
and 0 states of 52 Cr can be a candidate for such a system. We apply a magnetic-field gradient in
the z direction, so that the two components phase-separate as shown in Fig. 8.
Figure 8: Schematic illustration of a two-component BEC system in which atoms in component 1 have a magnetic dipole
moment and those in component 2 are nonmagnetic. The magnetic dipole is polarized in the z direction by an external
magnetic field. The two components are separated due to the field gradient B′ (z) < 0. Reprinted from Ref. [69].
The equilibrium configuration of this system can be found by solving the two-component GP
equation in imaginary time [69]. We found a stable hexagonal pattern of the density distribution
of component 1 as shown in Figs. 9 (a) and (b). We also found several metastable states start-
ing from different initial states, such as stripe, concentric, and deformed hexagonal patterns, as
shown in Figs. 9 (c)–(e). The energies for these patterns are almost degenerate; however, each
pattern is robust against small perturbations.
A striking difference between the present system and magnetic liquids is that the present sys-
tem is a superfluid that supports a persistent current. We found a metastable state with a finite
circulation in component 1 and no circulation in component 2 in a stationary trap. Remarkably,
the Rosensweig pattern emerges even in the presence of a superflow, indicating that the sys-
tem simultaneously exhibits a diagonal and off-diagonal long-range order, although the latter is
imbedded in the GP theory (see Ref. [69] for more detail).
but can vary in space. In such a situation, the system develops a nontrivial spin texture due to
the DDI and self-organized magnetic patters may form. Possible quantum phases that arise due
to the DDI have been discussed by using the single mode approximation [70] in which all spin
components are assumed to share the same spatial mode. The spin ordering and spin waves in
Mott states in 1D and 2D optical lattices have also been discussed in Refs. [71, 72, 73].
In the second-quantized form, the magnetic DDI for a spinor BEC is given by
Z Z X
cdd
V̂dd = dr dr′ : F̂µ (r)Qµν (r − r′ )F̂ν (r′ ) :, (138)
2 µν
where F̂µ (r) is defined by Eq. (17) and cdd = µ0 (gF µB )2 /(4π), with gF being the Landé g-factor
for the atom. The dipole interaction yields a non-local term in the GP equations. In fact, the GP
36
equations for a spin-1 BEC [Eq. (52)] are given by
" 2 2 #
∂ψm ~∇
i~ = − + U(r) − pm + qm2 ψm
∂t 2M
X 1 X
1
+ c0 nψm + c1 F · fmn ψn + cdd b · fmn ψn , (139)
n=−1 n=−1
which is nonlocal, and Bdd = cdd b/(gF µB ) works as an effective magnetic field.
where (r, ϕ, z) are the cylindrical coordinates, ηm is a complex function of r and z, and Jz is
the projected total angular momentum on the z axis (Jz = −3 in the present case). The order
37
parameter (142) is the eigenstate of the projected total angular momentum that satisfies
!
∂
(fz + ℓz )ψm (r) = m − i ψm (r) = Jz ψm (r). (143)
∂ϕ
The order parameters for magnetic sublevels m = −3, −2, and −1 at ωt = 2 are shown in Fig. 10
(b)–(d). Each spin component except the m = −3 state is a vortex state with the winding number
Jz − m, and the BEC as a whole forms a coreless vortex.
Figure 10: (a) Time evolution of spin and orbital angular momentum due to the Einstein-de Haas effect. (b)–(d) Isopycnic
surfaces of (b) ψ−3 , (c) ψ−2 , and (d) ψ−1 at ωt = 2, where the color on the surface represents the phase of the order
parameter. Reprinted from Ref. [74].
The physical origin of the spin relaxation is the Larmor precision of atomic spins around the
dipole field given by Eq. (141). Figure 11 (a) shows the dipole field induced by a spin-polarized
BEC in a spherical trap, and Figs. 11 (b) and (c) show the spin textures at ωt = 2. The whirling
patterns in the upper and lower hemispheres exhibit opposite directions, reflecting the fact that
the xy components of the dipole field are antisymmetric with respect to the z = 0 plane.
In the case of a 52 Cr BEC, the DDI compensates for the kinetic energy to form the spin
texture. As discussed in the next section, a spin-1 87 Rb BEC is ferromagnetic, and therefore
a spin-polarized state is rather stable. In such a case, an external magnetic field applied in the
opposite direction to the polarization causes a resonance between the kinetic energy and the
linear Zeeman energy, leading to the Einstein-de Haas effect [75]. In the case of a spin-1 23 Na
BEC, the spin-exchange interaction favors a non-magnetic state, and therefore, it tends to destroy
the spin-polarized state.
where F̃(k) is the Fourier transformation of F(r) and Q̃µν (k) is given by Eq. (125). When the
BEC is fully magnetized, i.e., |F(r)| = f n(r), with f being the atomic spin angular momentum
and n(r), the number density, the last term in Eq. (144) makes a constant contribution determined
by the density distribution. Then, the dipole-favored structure satisfies k̂ · F̃(k) = 0 for all k, or
in real space, ∇ · F(r) = 0. This condition is the same as that for solid-state ferromagnets [76],
and the corersponding stable domain structure is known as a flux-closure structure. In solid-state
ferromagnets, the magnitude of magnetization is constant and the domain structure is constrained
by boundary conditions such that the magnetization is parallel to the surface. In contrast, a
spatial variation of |F(r)| in proportion to the number density yields a spin texture in trapped
condensates.
As compared to solid-state ferromagnets, the unique feature of ferromagnetic BECs is that
they exhibit the spin-gauge symmetry that generate a supercurrent by developing spin textures
(see, Sec. 6.2.1). The supercurrent, defined by Eq. (264), is generated by a spatial variation of the
direction of magnetization. Therefore, even in the ground state in a stationary trap, a supercurrent
can flow due to a dipole-induced spin texture.
39
Figure. 12 (a) shows the numerically determined phase diagram for a spin-1 ferromagnetic
BEC√ [77] as a function of RTF /ξsp and RTF /ξdd , where
√ RTF is the Thomas-Fermi radius; ξsp =
~/ 2M|c1 |n, the spin healing length; and ξdd = ~/ 2Mcdd n, the dipole healing length. We find
three phases—flower (FL), chiral spin-vortex (CSV), and polar-core vortex (PCV)—whose spin
configurations are shown in Fig. 12 (b), (c), and (d), respectively. The FL and CSV phases are
eigenstates of the projected total angular momentum Jz = 1, whose order parameter is given by
Eq. (142). The orbital angular momentum for the order parameter (142) is calculated as
Z X ! Z X
∂
Lz = dr ψ∗m (r) −i ψm (r) = dr (Jz − m)|ψm (r)|2 . (145)
m=0,±1
∂ϕ m=0,±1
Therefore, when Jz = 1, the BEC can have a nonzero orbital angular momentum depending on
the population in the m = 0 and −1 states. When the system size is smaller than ξdd , the kinetic
energy, which hinders the spin texture from developing, is dominant, and the spin is almost
polarized. Most of the atoms therefore reside in the magnetic sublevel m = 1 and the orbital
angular momentum is quite small. As the BEC becomes larger, the spin texture develops to
form a flux-closure structure. Consequently, the number of atoms in the m = 0 and −1 magnetic
sublevels increases, leading to an increase in the orbital angular momentum. The difference
between FL and CSV phases is the symmetry of spin textures: the spin texture has chirality in
the latter phase. Furthermore, an increase in the size of the BEC results in the phase transition to
the polar-core vortex state with Jz = 0, because the Jz = 1 state costs a large kinetic energy when
the population in the m = −1 state increases. In the Jz = 0 phase, a polar-core vortex appears at
the symmetry axis.
All three phases in Fig. 12 can be realized in spin-1 87 Rb BECs, which traces on the dotted
line shown in Fig. 12 (a). The orbital angular momentum along this line is plotted in Fig. 13 as
a function of the total number of atoms N and trap frequency ω. The orbital angular momentum
in the ground state has a significant value, and it increases up to approximately 0.4~ in the CSV
phase.
For higher-spin BECs, similar spin textures are expected to appear in the ferromagnetic
phase, although the mass current depends on the value of the atomic spin and the core structure
in the polar-core vortex region is nontrivial. Spin textures in the limit of strong ferromagnetic
interaction are discussed in Ref. [78]. On the other hand, even in the case of a non-ferromagnetic
phase such as a spin-1 23 Na BEC, a spin texture may appear if the dipole interaction is effectively
enhanced in a pancake trap with a large aspect ratio [79].
40
Figure 12: (a) Phase diagram of a ferromagnetic BEC in a spherical trap. A BEC of spin-1 87 Rb atoms traces on the
dotted line. (b)–(d) Cross sections of spin textures in the xy (upper) and xz (bottom) planes in the (b) flower phase, (c)
chiral spin-vortex phase, and (d) polar-core vortex phase, where the color and length of each arrow indicate |F|a3ho /N and
the spin projection onto the planes. Reprinted from Ref. [77].
where e ≡ (r−r′ )/|r−r′ |. When the Zeeman energy is much larger than the DDI, i.e., ~ωL ≫ cdd n,
the spin dynamics due to the dipolar interaction is much slower than the Larmor precession. In
a large magnetic field, we may therefore use an effective DDI that is time-averaged over the
41
Figure 13: Orbital angular momentum for a spin-1 87 Rb BEC in a spherical trap with trap frequency ω. Reprinted from
Ref. [77].
More generally, an effective DDI under an external field applied in the B̂ direction is given by
Z Z
¯ cdd X
V̂dd = − dr dr′ : F̂(rot) (r)Q̄µν (r − r′ ) F̂(rot) (r′ ) :, (148)
4 µν
1 − 3(r̂ · B̂)2
Q̄µν (r) = (δµν − 3 B̂µ B̂ν ) (149)
r3
corresponds to Eq. (120). In contrast to Eq. (138), the time-averaged interaction (147) separately
conserves the projected total spin angular momentum and the projected relative orbital angular
momentum. However, the long-range and anisotropic nature of the dipolar interaction is still
maintained in Eq. (147). While the total longitudinal magnetization is conserved in the presence
of a magnetic field, the anisotropic dipole interaction can induce spin textures in the transverse
magnetization [80].
Equation (149) provides information about how the dipole moments tend to align in the
ground state. Longitudinal magnetization tends to become parallel in the direction of the mag-
netic field, whereas it tends to be anti-parallel in the direction perpendicular to the magnetic field
[Figs. 14 (a) and (b)]. On the other hand, transverse magnetization tends to be anti-parallel along
the magnetic field and parallel in the perpendicular direction [Figs. 14 (c) and (d)]. Compar-
ing the dipole energy for longitudinal and transverse magnetizations, the energy for longitudinal
magnetization is twice as large (in negative sign) as that for transverse magnetization.
The quadratic Zeeman effect also contributes to the ground state. As discussed in Sec. 3,
the quadratic Zeeman effect in a spin-1 87 Rb BEC induces transverse magnetization. A stable
42
Figure 14: Alignments of (a)(b) longitudinal and (c)(d) transverse magnetization that are favored by the time-averaged
dipole interaction. Due to the Larmor precession, transverse magnetization tends to be anti-parallel along the magnetic
field and parallel perpendicular to the magnetic field.
spin texture is determined by the balance between the quadratic Zeeman effect and the dipolar
effect [81, 82, 83].
For simplicity, we consider a quasi-2D trap where the cloud size in the strongly confined di-
rection is smaller than the spin healing length so that spin texture is uniform in this direction. We
also assume that the magnetic field is applied parallel to the 2D plane and the total magnetization
along the magnetic field is set to zero [25].
When the quadratic Zeeman energy is stronger than the DDI, the magnetization is restricted
perpendicular to the external field. Then, the transverse magnetization forms a helix structure, as
in the case of Fig. 14 (c). On the other hand, when the DDI is stronger than the quadratic Zeeman
energy, the longitudinal magnetization forms a domain structure to minimize the DDI [Fig. 14
(b)]. However, these ground states differ from the magnetic patterns observed by the Berkeley
group [25, 84]. The equilibrium pattern for this system has yet to be understood.
A further topic is the rotating spinor dipolar BEC in the presence of an external field. When
the rotating frequency is close to the Larmor precession, the third or fourth line in Eq. (146)
remains in the time-averaged dipolar interaction instead of the second line in Eq. (146). For ex-
ample, when a spin-polarized BEC is rotated, the spin relaxation is expected to occur resonantly
with the Larmor frequency.
5. Bogoliubov Theory
Quantum and thermal fluctuations as well as external perturbations induce excitations from
the mean-field ground state. When the excitations are weak, they can be described by the Bo-
goliubov theory. We express the field operator ψ̂m as a sum of its mean-field value ψm and the
deviation from it δψ̂m :
Here, the mean-field part can be calculated from the Gross-Pitaevskii theory described in Sec. 3.
The basic concept of the Bogoliubov theory is to substitute Eq. (150) in the second-quantized
Hamiltonian and retain the terms up to the second order in δψ̂m . The resulting Hamiltonian can
be diagonalized by means of the Bogoliubov transformations. The Bogoliubov transformations
are canonical transformations that couple particle-like excitations with hole-like ones via a Bose-
Einstein condensate and they are non-perturbative. The resultant dispersion relation therefore
depends on the coupling constant in a non-analytic manner.
43
We consider a spatially uniform system (U(r) = 0). In this case, it is convenient to analyze
the system in Fourier space. We obtain the Fourier expansion of the field operator:
1 X
ψ̂m = √ â km eikr , (151)
Ω k
where Ω is the volume of the system. Then, the noninteracting part of the Hamiltonian is written
as
X
Ĥ0 = (ǫ k − pm + qm2 )n̂ km , (152)
km
where ǫ k = ~2 k2 /2M and n̂ km = â†km â km . Because the interaction Hamiltonian comprises the
particle density, spin density, and spin-singlet pair operators, it is convenient to introduce the
corresponding Fourier-transformed operators:
Z X
ρ̂ k = drn̂(r)e−ikr = â†qm â q+km (153)
qm
Z X
F̂ k = dr F̂(r)e−ikr = fmn â†qm â q+kn (154)
qmn
p Z X
 k = 2f + 1 drÂ00 (r)e−ikr = (−1) f −m â qm â q−k,−m , (155)
qm
As shown below, the interaction Hamiltonians involves quadratic forms of the Fourier-transformed
terms in Eqs. (153)–(155). They can be decomposed similarly as
X X
: ρ̂†k ρ̂ k : = N̂(N̂ − 1) + : ρ̂†k ρ̂ k :, (157)
k k,0
X X
: F̂†k F̂ k : = : F̂†0 F̂0 :+ : F̂†k F̂ k :, (158)
k k,0
X X
: †k  k : = : †0 Â0 : + : †k  k : . (159)
k k,0
P
In Eq. (157), the dominant terms in ρ̂ k,0 = qm â†qm â q+km are the terms with q = 0 and
q = −k:
X
ρ̂ k,0 ≃ (â†0m â km + â†−km â0m ) = D̂ k + D̂†−k , (160)
m
P
where D̂ k = m â†0m â km describes the density fluctuations from the condensate. Substituting
Eq. (160) into Eq. (157), we obtain
X X
: ρ̂†k ρ̂ k :≃ N̂(N̂ − 1) + : (2D̂†k D̂ k + D̂ k D̂−k + D̂†k D̂†−k ) : . (161)
k k,0
44
In Eq. (158), the term F̂0 can be further decomposed into
X
F̂0 = F̂ + fmn â†qm â q+kn , (162)
q,0,mn
P
where F̂ = mn fmn â†0m â0n is the zeroth-order term and the last term is of the second order. On
the other hand, the term F̂ k,0 can be approximated as
X
F̂ k,0 ≃ fmn (â†0m â kn + â†−km â0n ). (163)
mn
This operator describes the spin fluctuations from the condensate. Substituting Eqs. (162) and
(163) into Eq. (158) and retaining the terms up to the second order, we obtain
X X X
: F̂†k F̂ k :≃ F̂2 + 2 F̂ fmn â†qm â q+kn + fmn fm′ n′
k q,0,mn k,0,mnm′ n′
× (2â†0m â0n′ â†km′ â kn + â†0m â†0m′ â kn â−kn′ + â†0n â0n′ â†km â†−kn′ ). (164)
k k,0,m
X
+4 (−1) â0m â0,n â†k,−m â k,−n ,
m+n †
(165)
k,0,mn
where H.c. denotes the Hermitian conjugate of the preceding term and
1X
Ŝ − = (Ŝ + )† = (−1) f −m â0m â0,−m . (166)
2 m
√
In the Bogoliubov approximation, we replace â0m by Nζm , which satisfies the following
normalization condition:
X 1 X
|ζm |2 = 1 − n̂ km . (167)
m
N k,0,m
By subtracting the last term, we can construct a number-conserving Bogoliubov theory without
introducing the chemical potential. In keeping with the Bogoliubov theory, we retain the last
terms in operator form.
45
where c0 ≡ (g0 + 2g2 )/3 and c1 ≡ (g2 − g0 )/3. Using Eqs. (156), (161), and (159), we obtain the
effective Hamiltonian for the spin-1 BEC:
c0 + c1 2c1
Ĥ eff = N̂(N̂ − 1) − Ŝ + Ŝ − − (p − q)n̂0,1 + (p + q)n̂0,−1
X 2Ω Ω
+ ǫ k − pm + qm2 n̂ km
k,0m
c0 + c1 X
+ : (2 D̂†k D̂ k + D̂ k D̂−k + D̂†k D̂†−k ) :
2Ω k,0
c1 X
− Ŝ + (−1) â km â−k,−m + H.c.
f −m
Ω k,0m
2c1 X
− (−1)m+n â†0m â0n â k,−m â k,−n . (169)
Ω kmn
The first three terms on the right-hand side were studied in Refs. [85, 4, 86]; the third and
fourth lines describe the density and spin fluctuations, respectively, and the last line describes
the coupling between them. In the following discussions, we shall discuss the case for q = 0
unless otherwise stated. The case for q , 0 is discussed in Ref. [10].
where n = N/Ω. The Hamiltonian (171) shows that the m = 0 and m = −1 modes describe
the massive transverse spin and quadrupole spin excitations, respectively, with the dispersion
relations given by
E Fk,0 = ǫ k + p, (172)
E Fk,−1 = ǫ k + 2p − 2c1 n. (173)
46
Substituting this into Eq. (171) and requiring that the coefficients of the off-diagonal terms such
as b̂ k b̂−k vanish, we obtain
gn ǫ˜k
sinh(2θ) = q , cosh(2θ) = q , (175)
ǫ̃ k2 − (gn)2 ǫ̃ k2 − (gn)2
where
4π~2
g ≡ c0 + c1 = a2 (176)
M
and ǫ̃ k ≡ ǫ k + (c0 + c1 )n. The diagonalized Hamiltonian then becomes
gn 1 Xp
Ĥ F = (N − 1) − pN + ǫ k (ǫ k + 2gn) − ǫ k − gn
2 2 k
Xh i
+ E Fk,1 b̂†k b̂ k + E Fk,0 n̂ k0 + E Fk,−1 n̂ k,−1 , (177)
k,0
where
p
E Fk,1 = ǫ k [ǫ k + 2(c0 + c1 )n] (178)
where the leading term is the Bogoliubov phonon velocity and the last term is called the Lee-
Yang correction to it.
47
The Bogoliubov approximation takes into account virtual pair excitations from the mean-
field, and therefore, the properties of the ground state are very different from those of the mean
field. A mean-field ground state in the ferromagnetic phase is
(â†0,1 )N
√ |vaci. (183)
N!
On the other hand, the Bogoliubov ground state is given by
X
|Φi ∼ exp φ0 â†01 − νk â†k1 â†−k1 |vaci, (184)
k x >0,ky ,kz
q √
where φ20 = N[1 − (8/3) na3t /π], νk = 1 + ck − ck (ck + 2) with ck ≡ k2 /(8πatn), and the
summation is performed over the entire range of ky and kz , but the summation over k x is restricted
to the positive side to avoid double counting. In contrast to the single-particle state in Eq. (183),
the Bogoliubov ground state is a pair-correlated state. In momentum space, the Bogoliubov
ground state exhibits pair correlation having opposite momenta; in real space, it describes the
pairwise repulsive interaction. To show this, let us write down the many-body wave function in
the coordinate representation:
Substituting Eq. (184) into this and ignoring the terms of the order of 1/N, we obtain [87]
q
exp − 49 (3π − 8)N na32 /π X a2 −ri j /ξ
Ψ(r1 1, · · · , rN 1) ≃ exp − e , (186)
(2πNV 2N )1/4 ri j i< j
where ri j ≡ |ri − r j | and ξ ≡ (8πa2n)−1/2 is the correlation length. Thus, the many-body wave
function decays exponentially when any two particles approach closer than the scattering length
or the correlation (or healing) length.
where γ ≡ p/(c1 n) and the last term is retained in order to construct a number-conserving Bo-
goliubov theory. Substituting this into Eq. (169), we obtain
1 1
Ĥ AF = c0 n(N − 1) + c1 n γ2 N − 1 − pγN
2 2
X 1 Xn
+ (ǫ k + c1 nδm,0)n̂ km + c0 (D̂ k D̂−k + D̂†k D̂ k )
k,0,m
2Ω k,0
†
o
+c1 (Ŝ k Ŝ −k + Ŝ k Ŝ k + n|ζ1 ζ−1 |â k,0 â−k,0 ) + H.c. , (188)
48
where
r r r !
X N γ γ
D̂ k = â†0m â km ≃ 1 − â k,−1
1 + â k1 + (189)
m
2 2 2
r r r !
X N γ γ
Ŝ k = â†0m â km ≃ 1 + â k1 − 1 − â k,−1 . (190)
m
2 2 2
We note that when γ , 0, the density and spin excitations are coupled because [D̂ k , Ŝ †k ] = γ/2.
The m = 0 mode is decoupled and its dispersion relation can be calculated in a manner similar
to that for the m = 1 mode of the ferromagnetic phase, with the result
q
E AF
k,0 = ǫ k2 + 2c1 nǫ k + p2 . (191)
The m = ±1 modes are coupled, and their dispersion relations can be obtained by solving the
Heisenberg equations of motion for the m = ±1 modes [6]:
v
u
t s
4p2 c0
E AF
k,± = ǫ k2 + 2(c0 +c1 )nǫ k ± ǫ k n2 (c0 −c1 )2+ ,
c1
(192)
In the absence of an external magnetic field (p = γ = 0), Eq. (192) reduces to the excitation
spectra of the uncoupled density and spin waves:
p p
E AF
k,+ = ǫ k (ǫ k + 2c0 n), E AF
k,− = ǫ k (ǫ k + 2c1 n). (193)
d2 h i
(i~)2 Â = 2
ǫ k1 − (p + q)2 Â + 2(p + q)(ǫ k1 − p − q) B̂,
dt2
d2 h i
(i~)2 2 B̂ = 2
ǫ k0 − p2 B̂ + 2(p + q)(ǫ k0 − p)Â. (196)
dt
i i
Assuming that  ∝ e− ~ E k t and B̂ ∝ e− ~ E k t , we obtain
3 h
(E k )2 = ǫ k2 + (2u + v)ǫ k + v2 ± 4(u2 + 2uv + 2v2 )ǫ k2
4
!# 1
2 3 3 2
+2v (2u + v)ǫ k − v u + v , (197)
4
where u ≡ c0 n/2 and v ≡ c1 n/2. For parameters of the MIT experiment, n ∼ 1014 cm−3 ,
at ∼ 29Å, and as ∼ 26Å [91], we find that v/u ≪ 1. In Eq. (197), ignoring higher-order powers
of v/u, we obtain
where the plus (minus) sign corresponds to the density (spin) wave. We see that the energy of
the spin wave becomes pure imaginary for ǫ k < v, implying the formation of spin domains. The
corresponding wavelength defines the characteristic length scale of the spin domains as
s
3π
λc = . (198)
(a2 − a0 )n
This result agrees with that of Ref. [90], except for a numerical factor. Using the above pa-
rameters, we obtain λ ∼ 18 µm; this is in reasonable agreement with the observed value of
approximately about 40 µm [88].
where
X
fz ≡ m|ζm |2 . (201)
m
50
The interaction Hamiltonian of a spin-2 BEC is given by Eq. (30) and its Fourier transform
becomes
1 X c2
V̂ = c0 : ρ̂†k ρ̂ k : +c1 : F̂†k F̂ k : + †k  k . (202)
2Ω k 5
Using Eqs. (156), (161), (164), and (165), we obtain the effective Hamiltonian for the spin-2
BEC:
!
c0 n c1 n 2 2c2 n 2
V̂ ≃ N + | f| + |s− |
2 2 5
!
4c2 n 2 X X
− c1 n| f |2 + |s− | n̂ k,m
5 k,0 m
c0 n X X ∗ †
+ (2ζm ζn â k,n â k,m + ζm∗ ζn∗ â k,m â−k,n + ζm ζn â†k,m â−k,n )
2 k,0 mn
XX
+c1 n f · fmn â†k,m â k,n
k,0 mn
c1 n X X
+ fi j · fmn (2ζi∗ ζn â†k,m â k, j + ζi∗ ζm∗ â k, j â−k,n + ζ j ζn â†k,i â†−k,m )
2 k,0 i jmn
c2 n ∗ X X
+ s− (−1) â k,m â−k,−m + H.c.
m
5 k,0 m
2c2 n X X
+ (−1)m+n ζm∗ ζn â†k,−m â k,−n , (203)
5 k,0 mn
where
X
f≡ fmn ζm∗ ζn , (204)
mn
1X
s− ≡ (−1)m ζm ζ−m . (205)
2 m
Because the spinor that is normalized to unity is ζm = δm,2 , only the z-component is nonzero in f
and s− = 0 and Eq. (203) becomes
1 X
V̂ = g4 nN̂ + n c0 n̂ k,2 + 2c1 (2n̂ k,2 − 2n̂ k,0 − 3n̂ k,−1 − 4n̂ k,−2 )
2 k,0
#
2 g4
+ c2 n̂ k,−2 + (â k,2 â−k,2 + â†k,2 â†−k,2 ) , (207)
5 2
51
where g4 ≡ c0 + 4c1 . Combining Eqs. (206) and (207), the total Hamiltonian is given by
1
Ĥ F = g4 nN̂ − 2pN̂
2
X" 1
#
+ (ǫ k + g4 n) n̂ k,2 + g4 n(â k,2â−k,2 + â†k,2 â†−k,2 )
k,0
2
X
+ (ǫ k + p)n̂ k,1 + (ǫ k + 2p − 4c1 n) n̂ k,0 + (ǫ k + 3p − 6c1 n) n̂ k,−1
k,0
+ (ǫ k + 4p − 8c1 n + 2c2 n/5) n̂ k,−2 . (208)
It follows from this Hamiltonian that the m = 2 mode gives the Bogoliubov spectrum
q
F
Em=2,k = ǫ k2 + 2g4 nǫ k . (209)
For the system to be stable, the Bogoliubov excitation energy (209) must be positive. This
implies that the s-wave scattering length for the total spin-4 channel must be positive:
4π~2
g4 = a4 > 0. (210)
M
This condition is the same as the one required for the ferromagnetic mean field to be stable, that
is, the first term on the rhs of Eq. (208) being positive. We also note that the Bogoliubov spectrum
(209) is independent of the applied magnetic field and remains massless in its presence. This
Goldstone mode is a consequence of the global U(1) gauge invariance due to the conservation of
the total number of bosons.
On the other hand, all the other modes give single-particle spectra:
F
Em=1,k = ǫ k + p, (211)
F
Em=0,k = ǫ k + 2p − 4c1 n, (212)
F
Em=−1,k = ǫ k + 3p − 6c1 n, (213)
F
Em=−2,k = ǫ k + 4p − 8c1 n + 2c2 n/5. (214)
For the system to be stable, the single-particle excitation energies must also be positive. This
implies that p > 2c1 n and p > (2c1 − c2 /10)n; these conditions are the same as the ones for the
ferromagnetic phase to be the lowest-energy mean field.
We thus find that the spectrum is classified into three cases: the coupled m = ±2 modes, coupled
m = ±1 modes, and single m = 0 mode.
We first investigate the eigenspectra of the m = ±2 modes. The relevant part of the Hamilto-
nian is
X
ĥ2 = ǫ k,2 n̂ k,2 + ǫ k,−2 n̂ k,−2
k,0
g4 n ∗2 ∗2
+ (ζ â k,2 â−k,2 + ζ−2 â k,−2 â−k,−2 + H.c.)
2 2 ! )
2 ∗ ∗ ∗ †
+ c0 − 4c1 + c2 n(ζ2 ζ−2 â k,2 â−k,−2 + ζ2 ζ−2 â k,2 â k,−2 + H.c.) ,
5
(218)
where ǫ k,±2 = ǫ k + g4 n|ζ±2 |2 . Here, the complex numbers ζ±2 can be made real by means of
unitary transformations â±k,±2 → â±k,±2 eiφ±2 . The resulting equations can be diagonalized by
writing down the Heisenberg equations of motion for â k,±2 + â†−k,±2 , and seeking solutions of the
form â k,±2 + â†−k,±2 ∝ exp(−iE AF
k,±2 t/~). The resultant eigenspectra read
s
" #2 !
2
ǫ + g n ± g n fz
2
8 c 2 fz
(E AF 2
k,±2 ) = ǫ k k + 1− c1 − 1− . (219)
4
4 4
4 g4 20
For the ground state to be stable, these energies must be positive; this implies the conditions
c1 − c2 /20 > 0 and c0 + c2 /5 > 0. The former condition is met if the antiferromagnetic phase is
the lowest-energy state, whereas the latter condition ensures that the antiferromagnetic phase is
mechanically stable, that is, the first term on the rhs of Eq. (217) is positive. The spectra (219) are
massless regardless of the presence of the magnetic field. This is because they are the Goldstone
53
modes associated with the U(1) gauge symmetry and the relative gauge symmetry, which is the
rotational symmetry about the direction of the applied magnetic field.
Next, we investigate the eigenspectra for the coupled m = ±1 modes. The relevant part of the
Hamiltonian is
X
ĥAF
1 = ǫ k,1 n̂ k,1 + ǫ k,−1 n̂−k,−1 + (δâ k,1 â−k,−1 + H.c.) , (220)
k,0
54
where φ2 + φ−2 − 2φ0 = ±π. Because s− = 0 and h fˆ± i = 0, the interaction Hamiltonian becomes
c0 n 1 XX
V̂ ≃ + pN fz − c1 n fz2 n̂ k,m
2 2 k,0 m
c0 X XX
+ : (D̂ k D̂−k + D̂†k D̂ k + H.c.) : +c1 n fz mn̂ k,m
2V k,0 k,0 m
c1 X X
+ fi j fmn (â†0,i â0,n â†k,m â k, j + â†0,i â†0,m â k, j â−k,n + H.c.)
2V k,0 i jmn
2c2 X X
+ (−1)m+nâ†0,m â0,n â†k,−m â k,−n . (225)
5V k,0 mn
The interaction Hamiltonian shows that the spectra are divided into two parts: the m = ±1
coupled modes and the m = ±2 and m = 0 coupled modes. The eigenspectra for the former
modes can be found by writing down the Heisenberg equations of motion for â±k,±1 with the
result
s
2! " ! #
C 2 2 fz β2
2 β fz β 3 2 β 2
(E±1 ) = ǫ k + β 1 − ǫk + f ± ǫk + 1− f ǫk + f . (226)
8 32 z 2 4 16 z 64 z
These excitation energies are always positive semidefinite and massive in the presence of a mag-
netic field.
The eigenspectra for the m = ±2 and m = 0 coupled modes can be obtained by writing down
the equations of motion for X̂± ≡ â k,2 ± â†−k,2 , Ŷ± ≡ â k,0 ± â†−k,0 , and Ẑ± ≡ â k,−2 ± â†−k,−2 . The
desired eigenspectra are given by
C 2c2 n
E±2,0 = ǫk + (227)
5
and
s
4 + f 2 (4 + f 2 )2
)2 = ǫ kǫ k + c0 n + (c1 n)2 .
C z z
(E±2,0 c1 n ± (c0 n)2 − 4 − 3 fz2 c0 c1 n2 + (228)
2 4
The solutions in Eq. (228) are always positive semidefinite and massless even in the presence
of an external magnetic field. This is a consequence of the fact that the mean-field solution is
degenerate with respect to at least two continuous variables. The solution in Eq. (227) is massive
and independent of the external magnetic field.
55
where cdd = µ0 (gF µB )2 /(4π) and
δµν − 3r̂µ r̂ν
Qµν (r) = . (230)
r3
In general, the long-range nature of the DDI yields rich physics in a trapped system, such as
nontrivial equilibrium shape and spin textures. The Bogoliubov spectrum in the presence of the
DDI has been studied using a Gaussian ansatz and numerical analysis [44, 52, 45, 53]. Here, we
discuss the Bogoliubov spectrum for a spinor dipolar BEC under an external field [93, 94, 82].
We assume that the system is strongly confined in the z-direction and free in other directions
so that it is effectively two-dimensional. Consequently, the order parameter is decomposed as
follows:
and Hdd is the two-dimensional version of the time-averaged dipolar interaction (149):
Z Z X X
c̃dd
eik2D ·(ρ−ρ ) Q̄˜ (2D)
′
2D
Hdd = R dρ dρ′ Fµ (ρ)Fν (ρ′ ) µν (k2D ). (235)
2 h4 (z)dz µν k2D
where Q̄˜ µν (k(3D) ) is the Fourier transform of Eq. (149) and B̂ is a unit vector along the external
field.
To proceed with the calculations, we assume that
1 z2
h(z) = 1
e− 4d2 . (238)
(2πd2 ) 4
56
After some algebraic manipulations, we obtain
2π
Q̄˜ (2D) (k2D ) = (δµν − 3 B̂µ B̂ν )Q(k2D ), (239)
3
√ 2 2
Q(k) =1 − 3 cos2 θB + 3 πerfc(kd)kdek d
h i
× cos2 θB − sin2 θB (k̂ x cos φB + k̂y sin φB )2 , (240)
where θB and φB specify the direction of the magnetic field: B̂ = (cos φB sin θB , sin φB sin θB , cos θB ).
With this kernel, the Gross-Pitaevskii equation in the presence of the magnetic DDI can be ex-
pressed as follows:
" # X X
∂ ~2 2
i~ ψm = − ∇ + U(r) + qm2 + c̃0 n ψm + c̃1 F · fmn ψn + cdd b · fmn ψn , (241)
∂t 2M n n
where the linear Zeeman term is eliminated by moving into the rotating frame of reference in
spin space with the Larmor frequency, and b is an effective dipole field given by
Z X X
′
bµ ≡ dρ′ eik2D ·(ρ−ρ ) Q(k2D ) (δµν − 3 B̂µ B̂ν )Fν (ρ′ ). (242)
k2D µν
Note that because the spin and orbital parts are decoupled in the dipole kernel (237), it is not
necessary to choose the coordinate axes in real space that coincide with those in the spin space. In
what follows, we take the spin quantization axis along the magnetic field, which is not necessarily
parallel to the direction of the strongly confining potential, and their relative direction is given
by B̂ = (cos φB sin θB , sin φB sin θB , cos θB ).
In the following discussions, we discuss the ferromagnetic phase (c1 < 0) such as the f = 1
hyperfine manifold of 87 Rb. As in this case, we assume that the coefficient of the quadratic
Zeeman effect is positive: q > 0. When the total longitudinal magnetization is set to zero, the
magnetization is transverse due to the quadratic Zeeman effect. In fact, it can be shown that
(0) p
ψ1 1 − q̃/2
p
ψ(0) = (1 + q̃)/2 ,
0 p (243)
(0)
ψ−1 1 − q̃/2
To investigate the Bogoliubov excitation, we expand the order parameter from the mean-field
stationary state (243):
Xh i
ψm = ψ(0)
m + u km ei(k·r−ω k t/~) + v∗km e−i(k·r−ω k t/~) . (246)
k
57
Substituting Eq. (246) into Eq. (241), we obtain the 6 × 6 eigenvalue matrix equation:
! ! !
u H0 H1 u k
ωk k = , (247)
vk −H1∗ −H0∗ v k
where u k and v k are three-component vectors and H0,1 is the 3 × 3 matrix. The spin wave mode
u, v ∝ (1, 0, −1)T decouples from the other two modes and the eigenfrequency is obtained as
n on o
ω2k = ǫ k + q − c̃dd n(1 − q̃)[2Q̃(k) + Q̃(0)] ǫ k + c̃dd n(1 + q̃)[Q̃(k) − Q̃(0)] . (248)
Note here that due to the anisotropy of Q̃(k), the right-hand side of Eq. (248) becomes neg-
ative depending on the direction of k. This result implies that the initial state given by (243)
is dynamically unstable. Figures 15 (a)–(c) show the distributions of |Im ω k | (red) and −Re ω k
(blue) in momentum space which correspond to the dynamical instability and Landau instability,
respectively. For ω2k > 0, the sign of ω k is determined so that the corresponding eigenmode
satisfies the normalization condition u†k u k − v†k v k = 1.
Figure 15: Real and imaginary parts of ω k in Eq. (248) for the case of d = 1 µm and n = 2.3×1014 cm−3 . The region with
nonzero imaginary part shows the dynamical instability, while the region with Reω k < 0 shows the Landau instability.
The external magnetic field is (a) 80 mG, (b) 160 mG, and (c) 200 mG.
The anisotropic distribution of the instability suggests the existence of the periodic pattern in
real space. Recently, the Berkeley group observed the crystallization of transverse magnetization
in a quasi two-dimensional 87 Rb BEC [25]. In one of the experiment, they started from the
initial condition in which the magnetization form a helix and let the system evolve with time.
The Bogoliubov spectrum (248) obtained above does exhibit dynamical instabilities that exhibit
various patterns such as a helix and stripes. However, it fails to explain the Berkeley experiments
in terms of the time and length scale.
A scalar BEC can host only one type of vortex, that is, a U(1) vortex or a gauge vortex.
However, a spinor BEC can host a much richer variety of vortices. We begin by discussing why
this is the case. The properties of a vortex can be characterized by looking at how the order
parameter changes along a loop that encircles the vortex. Because the order parameter must be
single-valued, it should satisfy
where nw = 0, ±1, ±2, · · · is the winding number. If nw , 0, the density at the vortex core must
vanish. The corresponding superfluid velocity is given by
~
vs = [ψ∗ ∇ψ − (∇ψ∗ )ψ], (251)
2Mni
where M is the atomic mass and n = |ψ|2 . Substituting Eq. (250) in Eq. (251), we find that
~
vs = n w ∇φ. (252)
M
Therefore, the circulation of the superfluid velocity is quantized in units of κ = ~/M.
Due to the internal degrees of freedom, spinor BECs allow several solutions other than
Eq. (250), depending on the symmetry of the order-parameter manifold. A general order pa-
rameter of a spinor BEC is described as
√ √
ψ ≡ nζ = neiφ U(α, β, γ)ζ0 , (253)
where n is the particle density; φ, the global gauge; U(α, β, γ) = e−ifz α e−ify β e−ifz γ , an SO(3)
rotation with spin matrices f x,y,z and Euler angles α, β, and γ; and ζ0 , a representative normalized
spinor for the order parameter. Hence, the spacial variation of α, β, and γ as well as φ characterize
the structure of a vortex. In the following, we investigate what types of vortices are allowed in
each phase. A general classification of topological excitations based on homotopy theory is given
in Sec. 7.2.
~ X ∗
j(mass) = ψm (∇ψm ) − (∇ψ∗m )ψm . (254)
2Mi m
It can be shown from the GPEs that j(mass) satisfies the continuity equation:
∂n
+ ∇ · j(mass) = 0. (255)
∂t
(spin)
In a similar manner, we define the spin current density jµ as
(spin) ~ X
jµ = (fµ )mn ψ∗m (∇ψn ) − (∇ψ∗m )ψn . (256)
2Mi mn
59
(spin)
At zero magnetic field, jµ satisfies the continuity equation for the µ component of the spin:
∂Fµ (spin)
+ ∇ · jµ = 0. (257)
∂t
In the presence of an external magnetic field, the spin angular momentum perpendicular to it is
not conserved, and Eq. (257) is replaced with the equation of motion of spins given by
∂Fµ p 2qn
+ ∇ · j(spin)
µ = B̂ × F + B̂ × N B̂ , (258)
∂t ~ µ ~ µ
where B̂ is a unit vector in the direction of the magnetic field and N is the 3 × 3 symmetric
nematic tensor defined in Eq. (71). The dipole interaction induces an effective magnetic field and
therefore modifies the first term in Eq. (258)
The superfluid velocity field for the particle and spins, defined as v(mass) = j(mass) /n and
(spin) (spin)
vµ = jµ /n, respectively, are described in terms of a normalized spinor ζ as
~ X ∗
v(mass) = ζm (∇ζm ) − (∇ζm∗ )ζm , (259)
2Mi m
(spin) ~ X
vµ = (fµ )mn ζm∗ (∇ζn ) − (∇ζm∗ )ζn . (260)
2Mi mn
In contrast to the case of a scalar BEC, the circulations of Eqs. (259) and (260) are not always
quantized, as shown below.
The spin-1 BEC in the absence of an external magnetic field has two phases: ferromagnetic and
polar. Below, we discuss vortices in each phase.
∇ × ( f a) = (∇ f ) × a + f (∇ × a), (265)
we find that
~
∇ × v(mass,F) = sin β (∇β × ∇α). (266)
M
Introducing unit vectors t̂ 0 = (cos β cos α, cos β sin α, − sin β) and û0 = (− sin α, cos α, 0) which
P P
satisfy ŝ = t̂ 0 × û0 , we obtain ∇β = µ tˆ0µ ∇ ŝµ and sin β∇α = µ û0µ ∇ ŝµ . Then, we can express
Eq. (266) in terms of ŝ as
~ X
∇ × v(mass,F) = (tˆ0µ ∇ ŝµ ) × (û0ν ∇ ŝν )
M µν
~ X
= δµµ′ δνν′ (tˆ0µ ∇ ŝµ′ ) × (û0ν ∇ ŝν′ )
M µνµ′ ν′
~ X
= (ǫλµν ǫλµ′ ν′ + δµν′ δνµ′ )(tˆ0µ ∇ ŝµ′ ) × (û0ν ∇ ŝν′ )
M λµνµ′ ν′
~ Xh i
= ǫλµν ŝλ (∇ ŝµ × ∇ ŝν ) − (tˆ0µ ∇ ŝµ ) × (û0ν ∇ ŝν )
M λµν
~ X
= ǫµνλ ŝµ (∇ ŝν × ∇ ŝλ ). (267)
2M µνλ
in which the singularity can be removed by choosing β = 0 at r = 0. Let us consider the con-
figuration in which β(r = 0, ϕ, z) = 0 and β(r = r0 , ϕ, z) = π, where r0 is the radius at the
(cylindrical) boundary of the system. Then, the spinor (1, 0, 0)T at the origin with no vortex sin-
gularity and (0, 0, e2iϕ )T at the boundary with a doubly quantized vortex attached to the inverted
spin configuration. The corresponding superfluid velocity is nonsingular at the origin; in fact,
~
v(mass,F) = (1 − cos β)ϕ̂, (270)
Mr
where ϕ̂ is the unit vector in the azimuthal direction. The coreless vortex has been observed by
the MIT group [99], where a vortex was imprinted using a quadrupolar field.
On the other hand, when φ′ = 0 and α = ϕ, the vortex core has a singularity in the ferromag-
netic order, where the order parameter at r → ∞ is given by
−iϕ
e cos2 2β
√ 1
ψpolar−core = n √2 sin β . (271)
eiϕ sin2 2β
Because the m = ±1 components have nonzero vorticities, the density in Eq. (271) must vanish
at the center of the vortex. In fact, the free-energy analysis shows that the vortex core is filled
by a polar state in which only the m = 0 component is occupied; hence, this vortex is called a
polar-core vortex. As a consequence, only the spin density vanishes at the vortex core and the
number density remains finite. A variational order parameter that describes both the vortex and
62
its core simultaneously is given by
e−iϕ f (r) cos2 β2
√ q
β
′
ψpolar−core = n 1 − f 2 (r) cos4 β − g2 (r) sin4 , (272)
2 2
eiϕ g(r) sin2 2β
where f (r) and g(r) are the variational functions subject to f (0) = g(0) = 0 and f (∞) = g(∞) = 1
and it can be obtained so as to minimize the Gross-Pitaevskii energy functional. The spontaneous
formation of the polar-core vortices has been observed by the Berkeley group [100].
Figure 16: (a) Order parameter for the spin-1 ferromagnetic phase, where the arrow indicates the direction of the local
magnetization. (b) Polar-core vortex given by Eq. (271), where the ferromagnetic order parameter has a singularity at the
vortex core which is filled by a polar state. (c) Coreless vortex given by Eq. (269) with β(r = 0) = 0 and β(r = r0 ) = π/2.
To calculate the spin superfluid velocity (260), it is convenient to use the Cartesian coordinate
in spin space ζ̃ = (ζ̃ x , ζ̃y , ζ̃z )T rather than the spherical coordinate ζ = (ζ1 , ζ0 , ζ−1 )T . They are
related to each other by
−1 0 1
1
ζ̃ = Uζ ≡ √ −i √0 −i ζ. (273)
20 2 0
63
In the Cartesian coordinate, spin matrices are given by (fµ )νλ = −iǫµνλ , where µ, ν, λ = {x, y, z}.
The ferromagnetic order parameter (262) is then given by
′
eiφ 1
ζ̃ ferro = − √ ( t̂ 0 + iû0 ) = − √ ( t̂ + iû), (274)
2 2
where t̂ = cos φ′ t̂ 0 − sin φ′ û0 , û = sin φ′ t̂ 0 + cos φ′ û0 , and t̂ 0 and û0 are defined below Eq. (266).
Substituting Eq. (274) in Eqs. (259) and (260) and using some vector calculus formulae, we
obtain
~ X
v(mass,F) = tˆµ ∇ûµ , (275)
M µ
~ X
v(spin,F)
µ = ŝµ v(mass,F) − ǫµνλ ŝν ∇ ŝλ . (276)
2M ν,λ
The first term on the right-hand side of Eq. (276) is the flow of spins carried by the particle, and
the second term results from the spin flow induced by the gradient of spins that is perpendicular
to ŝ. The spin superfluid velocity v(spin,F) satisfies the following relations:
(spin,F) ~
∇ · vµ = ŝµ ∇ · v(mass,F) + v(mass,F) · ∇ ŝµ − (ŝ × ∇2 ŝ)µ , (277)
X 2M
(spin,F)
ŝµ ∇ · vµ = ∇ · v(mass,F) , (278)
µ
(spin,F) ~ X
∇ × vµ = ∇ ŝµ × v(mass,F) + ( ŝµ ŝν − δµν )ǫνλσ ∇ ŝλ × ∇ ŝσ , (279)
2M νλσ
X h i
(spin,F)
ŝµ ∇ × vµ = 0, (280)
µ
where we have used the Mermin-Ho relation (267) to derive Eq. (279).
The fact that ψpolar does not depend on γ reflects the SO(2) symmetry around the quantization
axis d̂ = (sin β cos α, sin β sin α, cos β); exp(−if · d̂)ψpolar = ψpolar . Substituting Eq. (281) into
Eq. (259), we obtain
~
v(mass,P) = ∇φ. (282)
M
Thus, unlike the case of the ferromagnetic phase, the circulation is quantized; however, the unit
of quantization is half the usual h/M. To understand this, let us consider a loop that encircles a
64
vortex with a fixed radius. Then, each point on the loop is specified by the azimuthal angle ϕ.
We note that the single-valuedness of the order parameter (281) is met if we take, for example,
α = φ = nw ϕ/2 and β = π/2. Then, the order parameter at r → ∞ is given by
r −1
n
ψhalf−vortex = 0 , (283)
2 einw ϕ
where nw is an integer. It follows then that the circulation is quantized in units of h/(2M) rather
than the usual h/M:
I
h
v(mass,P) · dℓ = nw . (284)
2M
The underlying physics for the half quantum number is the Z2 symmetry of the order parameter
of the polar phase; Eq. (281) is invariant under π gauge transformation (φ → φ + π) combined
with a π spin rotation around an axis perpendicular to d̂; d̂ → − d̂. More generally, the single-
valuedness of the order parameter is satisfied if φ changes by nw π along the closed loop, where
nw is even if d̂(ϕ = 2π) = d̂(ϕ = 0), and odd if d̂(ϕ = 2π) = − d̂(ϕ = 0). Thus, the polar
phase of a spin-1 BEC can host a half-quantum vortex for the case of nw = 1 [101], which is
also referred to as an Alice vortex or Alice string [102]. The dynamic creation of half-quantum
vortices was discussed in Ref. [103]. As in the case of the polar-core vortex in the ferromagnetic
phase, the atomic density can be finite at the vortex core of the half-quantum vortex by filling the
ferromagnetic state [(1, 0, 0)T for the case of Eq. (283)] at the core.
Figure 17: (a) Order parameter for the polar state, which is invariant under π rotation about the C2 axis together with
the π gauge transformation. (b) Half-quantum vortex of the polar phase of a spin-1 BEC. The order parameter rotates
through an angle π about the C2 axis defined in (a) as one circumnavigates the vortex. To satisfy the single-valuedness
of the order parameter, this round trip must be accompanied by a phase change in π (phase difference between A and B),
resulting in a half-quantized vortex.
To calculate the spin current, we again use the Cartesian coordinate in which the polar order
parameter is given by ζ̃ polar = eiφ d̂. Substituting ζ̃ polar in Eq. (260), we obtain
(spin,P) ~ X
vµ =− ǫµνλ d̂ν ∇d̂λ . (285)
M νλ
65
If d̂ is restricted in a two-dimensional plane perpendicular to a unit vector â (in spin space), the
P (spin,P)
circulation of µ âµ vµ is quantized:
I X
(spin,P) h
âµ vµ · dℓ = − nw (nw : integer). (286)
µ
2M
Here, the unit of the quantization is h/2M due to the spin-gauge Z2 symmetry. The rotation and
(spin,P)
divergence of the vµ are calculated to be
(spin,P) ~ X
∇ × vµ =− ǫµνλ (∇d̂ν) × (∇d̂λ ), (287)
M νλ
(spin,P) ~
∇ · vµ =− ( d̂ × ∇2 d̂)µ . (288)
M
Note that at zero magnetic field, the continuity equation (257) becomes
∂Fµ (spin,P)
= −∇ · nvµ
∂t
~ X X h i
= ǫµνλ (∂i n)d̂ν (∂i d̂λ ) + nd̂ν (∂i ∂i d̂λ )
M i=x,y,z νλ
~ X X
= ǫµνλ d̂ν ∂i (n∂i d̂λ )
M i=x,y,z νλ
∂F ~ X
= d̂ × ∂i (n∂i d̂). (289)
∂t M i=x,y,z
P
This result implies that i ∂i (n∂i d̂) has to be either zero or parallel to d̂ in a stationary d̂ texture.
Otherwise, the local magnetization would develop with time and the order parameter would no
longer belong to a manifold for the polar state. The d̂-field around the half-quantum vortex of
P
Eq. (283) is d̂ = (cos nw ϕ/2, sin nw ϕ/2, 0), which satisfies i ∂i (n∂i d̂) = −n2w d̂/(4r2 ) if n(r, ϕ) is
axisymmetric, i.e., eϕ · ∇n = 0, where eϕ is the unit vector in the azimuthal direction. Therefore,
the half-quantum vortex can be a stationary state.
where χm ≡ arg(ψm ) is the phase of the m-th component. To minimize the energy, χ1 + χ−1 − 2χ0
must be πn, where n must be even if c1 < 0 and odd if c1 > 0. Substituting χm = χ′m + χ′′m ϕ, where
66
ϕ is the azimuthal angle, we must have χ′1 + χ′−1 − 2χ′0 = πn and χ′′1 + χ′′−1 − 2χ′′0 = 0. Assuming
that the maximum vorticity is 1, we find that the following three vortex states are allowed [104]:
(χ′′1 , χ′′0 , χ′′−1 ) = (1, 1, 1), (1, 0, −1), (1, 1/2, 0), (291)
where the last state is allowed only if ψ0 = 0, and therefore, it is described as (1, none, 0).
The (1, 1, 1) state is the usual singly quantized vortex state with an empty vortex core, where
the order parameter is given by
′ ′ ′
eiϕ (|ψ1 |eiχ1 , |ψ0 |eiχ0 , |ψ−1 |eiχ−1 )T . (292)
The (1, 0, −1) state has a vortex in the m = 1 component and an anti-vortex in the m = −1
component with the vortex core filled by the m = 0 state, where the order parameter of this state
is given by
′ ′
(|ψ1 |ei(χ +ϕ) , |ψ0 |, |ψ−1 |e−i(χ +ϕ) )T . (293)
This is the polar-core vortex in the ferromagnetic phase or an integer spin vortex in the polar
phase. The (1, none, 0) state corresponds to the Alice vortex [Eq. (283)] whose order parameter
is given by
′ ′
(|ψ1 |ei(χ1 +ϕ) , 0, |ψ−1|eiχ−1 )T , (294)
where the vortex core is filled by the m = −1 component. Except for the (1,1,1) state, the vortex
core is filled by a non-vortex component which plays the role of a pinning potential, stabilizing
the vortex state in the absence of an external potential [104].
U(α, β, γ) =
−2i(α+γ) 4 √ −2iα 2 2
e C −2e−i(2α+γ)C 3 S q6e C S −2e−i(2α−γ) CS 3 e−2i(α−γ) S 4
−i(α+2γ) 3
2e C S −2e−i(α+γ)C 2 S 2 − 38 e−iα sin 2β 2e−i(α−γ)C 2 S 2 −2e−i(α−2γ)CS 3
√ q q √ 2iγ 2 2
6e C S
−2iγ 2 2 3 −iγ
8e sin 2β 1
4 (1 + 3 cos 2β) − 3 iγ
8 e sin 2β 6e C S ,
q
2ei(α−2γ) CS 3
2ei(α−γ)C 2 S 2 3 iα
e sin 2β −2ei(α+γ)C 2 S 2 −2ei(α+2γ) C 3 S
√ 8 2iα 2 2
e2i(α−γ) S 4 2ei(2α−γ)CS 3 6e C S 2ei(2α+γ) C 3 S e2i(α+γ) C 4
(295)
where C ≡ cos 2β and S ≡ sin 2β . The spin-2 BEC has four mean-field ground-state phases in
the absence of the magnetic field: ferromagnetic, uniaxial nematic, biaxial nematic, and cyclic.
The uniaxial and biaxial nematic phases are degenerate at the mean-field level (75) [105]. The
uniaxial and biaxial nematic phases are also referred to as the antiferromagnetic phase in Refs. [4,
5] and the polar phase in Ref. [11].
67
6.3.1. Ferromagnetic phase
The representative state of the ferromagnetic phase is ζ0ferro = (1, 0, 0, 0, 0)T . Substituting this
and Eq. (295) in Eq. (253), we obtain
e−2iα cos4 β2
2e−iα cos3 β sin β
√ i(φ−2γ) √ 2 2
ψ ferro
= ne 6 cos2 2β sin2 β2 . (296)
iα β 3 β
2e cos 2 sin 2
e2iα sin4 β2
Similar to the spin-1 case [see Eq. (262)], the order parameter has the spin-gauge symmetry
with γ now replaced by 2γ because the magnitude of the spin is 2 rather than 1. The superfluid
velocity is similarly obtained as
~
v(mass,F) = [∇(φ − 2γ) − 2 cos β∇α], (297)
M
whose circulation is not quantized as in the case of the spin-1 ferromagnetic BEC. Applying the
discussions about the stability of the vortex states for the ferromagnetic spin-1 BEC, it can be
shown that the 4nw + mw vortex (mw = 0, 1, 2, 3) is unstable against the decay to the mw vortex.
The relationships for the spin superfluid velocity corresponding to Eqs. (277)–(280) change
to the following ones:
" #
(spin,F) (mass,F) (mass,F) ~ 2
∇ · vµ = 2 ŝµ ∇ · v +v · ∇ ŝµ − (ŝ × ∇ ŝ)µ , (298)
2M
X
(spin,F)
ŝµ ∇ · vµ = 2∇ · v(mass,F) , (299)
µ
~ X
∇ × v(spin,F)
µ = 2∇ ŝµ × v(mass,F) + (2 ŝµ ŝν − δµν )ǫνλσ ∇ ŝλ × ∇ ŝσ (300)
M νλσ
X h i ~ X
(spin,F)
ŝµ ∇ × vµ = ∇ × v(mass,F) = ǫµνλ ŝµ (∇ ŝν × ∇ ŝλ ). (301)
µ
M µνλ
Similar to the case of the spin-1 polar phase, the spin degrees of freedom do not contribute
to the superfluid velocity that only depends on the spatial variation of the gauge angle:
~
v(mass,uniax) = ∇φ. (303)
M
68
This is a general property for the non-magnetized phase in spinor BECs.
The shape of the uniaxial order parameter in the spin space is shown in Fig. 18 (a). As one
can see from Fig. 18 (a), the uniaxial nematic phase has a SO(2) symmetry around the direction
of d̂ = (cos α sin β, sin α sin β, cos β). The uniaxial nematic phase also has Z2 symmetry as in the
case of the spin-1 polar phase. However, in the present case, Z2 symmetry is independent of the
gauge angle φ: ζ uniax is invariant under a π rotation around an axis perpendicular to d̂. Hence,
although the uniaxial nematic phase can accommodate a vortex, as shown in Fig. 18 (b), the mass
circulation for this vortex is zero. We call it a 0-1/2 vortex, where 0 and 1/2 indicate the gauge
transformation and rotation angle in spin space around the vortex, respectively. An example of
the order parameter around the 1/2-spin vortex is given as
iϕ
e
√ 0
6n √
ψspin−vortex = 2/3 , (304)
4
0
e−iϕ
where ϕ is an azimuthal angle around the vortex.
The spin superfluid velocity for the uniaxial nematic phase is calculated to be
(spin,uniax) 3~ X
vµ =− ǫµνλ d̂ν ∇d̂λ . (305)
M νλ
If d̂ is restricted in a plane perpendicular to â, the circulation of the spin superfluid velocity
P (spin,uniax)
µ a µ vµ is quantized in terms of a unit of 3h/M.
Because the spin and gauge is completely decoupled in this phase, the mass circulation is
quantized in terms of a unit of ~/M. An example of such a vortex is (0, 0, eiϕ, 0, 0)T .
Figure 18: (a) Order parameter for the spin-2 uniaxial nematic phase, which has SO(2) symmetry corresponding to
rotations about d̂. The uniaxial nematic phase is also invariant under a π rotation about the C2 axis, i.e., this phase has a
Z2 symmetry. (b) The order parameter configuration for the 0-1/2 vortex, around which the order parameter rotates by π
about the C2 axis in (a).
The superfluid velocity only depends on the spatial variation of the gauge angle:
~
v(mass,biax) = ∇φ. (307)
M
The profile of ζ biax is depicted in Fig. 19 (a).
When we rotate the order parameter by π/2 about the C4 axis in Fig. 19 (a) as we circum-
navigate a vortex, the order parameter changes its sign, as shown in Fig. 19 (b) (see, the phase
difference between A and B). Therefore, this vortex has a mass circulation of h/(2M). We call
this vortex the 1/2-1/4 vortex, where 1/2 and 1/4 denote the gauge transformation and the spin-
rotation angle, respectively, around the vortex. If we rotate the order parameter by π about the
C2 axis around a vortex, then it goes back to the initial state, as shown in Fig. 19 (c). In this
case, the vortex has no mass circulation and it is referred to as a 0-1/2 vortex. On the other
hand, if we rotate the order parameter by π about the C′2 axis, the sign of the order parameter is
reversed [Fig. 19 (d)]. This vortex has a mass circulation of h/(2M), and it is called a 1/2-1/2
vortex. Because the roations about C4 , C2 , and C′2 are non-commutable, these vortices obey the
non-Abelian algebra, which is discussed in Sec. 6.6.
The vortices shown in Fig. 19 are the simplest examples, and in general, the order parameter
can vary in a more complex manner. However, in order to meet the single-valuedness, the mass
circulation in the biaxial nematic phase has to be quantized in terms of a unit of h/(2M). The
spin superfluid velocity is very complicated, and its circulation is not quantized.
where the first and second terms on the right-hand side are the s-wave contact interaction and the
dipole interaction, respectively, and θ is the angle between the dipole moment and the relative
coordinate r between two atoms. Thus, depending on the direction of the polarization, the dipole
interaction can be either attractive or repulsive. This anisotropy of the interaction leads to the
deformation of the vortex core and the structure of the vortex lattice.
Yi and Pu [112] considered a situation in which a system in an axisymmetric harmonic trap
is rotated about the z-direction, and the dipoles are polarized in the x-direction in the frame of
reference corotating with the system, and found that the vortex core is deformed into an elliptic
shape. This is because the dipoles undergo repulsive and attractive interaction in the x- and
y-directions, respectively.
Cooper et al. [109] and Zhang and Zhai [111] considered a situation in which the interparticle
interaction is so weak that the lowest Landau level approximation holds, and found that with an
increase in the strength of the dipole interaction, the vortex lattice undergoes structural changes
from triangular to square and to stripe configurations. Such changes were not found in Ref. [112],
and possible reasons for the discrepancy are discussed in Ref. [113].
In the aforementioned work, the dipole interaction is treated as a perturbation to the s-wave
contact interaction. Very recently, the Rice group [26] used a shallow zero crossing in the wing
of a Feshbach resonance of 7 Li in the |F = 1, mF = 1i state to decrease the scattering length to
as less as 0.01aB. This opens up several new possibilities on the dipole-interaction-dominated
BEC. An interesting question is how the degeneracy of a fast rotating BEC is lifted by a weak
but genuine dipole interaction and what is the corrsponding many-body ground state.
72
6.6. Non-Abelian vortices
The topological charge of a vortex determines how the order parameter changes as one cir-
cumnavigates the vortex. For example, if the phase of the order parameter of a U(1) vortex
changes as einφ , the topological charge of this vortex is said to be n. One important feature of
a spinor BEC is that the order parameter has a geometrical shape in spin space, as illustrated in
Figs. 16–20. Take, for example, the polar phase. This phase has two generators ei f · d̂θ and eiπ C2 ,
where the former describes the rotation about the symmetry axis and the latter describes the π-
rotation about the perpendicular axis followed by the gauge transformation by π [see Fig. 17(a)].
These two operations commute with each other; thus, vortices of the polar phase of a spin-1 BEC
are Abelian. Similarly, the vortices in the ferromagnetic phase are also Abelian because there
is only one symmetry axis set by the magnetization. Therefore, the spin-1 BEC can host only
Abelian vortices.
It is predicted [114] that the cyclic phase of a spin-2 BEC can host non-Abelian vortices.
To understand this, we note that the order parameter of the cyclic phase is invariant under the
following 12 elements √of the tetrahedral group T [106]: ~1, I x = eifx π , Iy = eify π , Iz = eifz π ,
C̄ = e2πi/3 e−2πi(fx +fy +fz )/3 3 , C̄ 2 , I xC̄, IyC̄, IzC̄, I xC̄ 2 , IyC̄ 2 , and IzC̄ 2 , where fµ is the µ component
of the spin-2 matrices (µ = x, y, z) [see, Fig. 20]. Furthermore, these elements are classified into
four conjugacy classes:
• (I) integer vortices: {~1};
• (II) 1/2 - spin vortices: {I x , Iy , Iz };
73
Figure 21: Collision dynamics of two vortices. (a) Initial configuration, where A or B represents an operation that
characterizes the corresponding vortex (a set of spin rotations and gauge transformations for the case of a cyclic BEC).
The vortex on the right end, which is connected to B, is identified as ABA−1. The configuration in (a) is topologically
equivalent to (b) and (c), where a rung is formed. If the vortices are a pair of vortex and anti-vortex, i.e., A = B−1 , the
rung in (b) disappears, giving rise to reconnection, whereas the rung in (c) corresponds to a doubly quantized vortex that
costs a large kinetic energy. If A and B are commutative, passing through is also possible because the configurations
of (a) and (d) will then be topologically equivalent. However, when A and B are not commutative, the collision always
results in the formation of a rung.
Figure 22: Numerical simulation for the collision dynamics of non-Abelian vortices.
7. Topological Excitations
Consider a group G of transformations that act on M while leaving the mean-field energy
functional invariant. We assume that the total spin and number of particles of the system are
74
conserved. Then, the energy functional is invariant under SO(3) rotations in spin space and U(1)
gauge transformations. The full symmetry group G for a spinor BEC is therefore given by
where subscripts F and φ denote the spin and gauge, respectively. Any element g ∈ G can be
represented as g = eiφ e−ifz α e−ify β e−ifz γ , where α, β, and γ are Euler angles [see Fig. 23 (a)] and
f x,y,z are (2 f + 1) × (2 f + 1) spin matrices. When an external magnetic field is applied, e.g. in the
z-direction, G reduces to
because the system will remain invariant only under rotations about the z-axis apart from the
gauge transformation. Any element g′ ∈ GB is represented as g′ = eiφ e−ifz α .
For each ζ ∈ M, the isotropy group (or the little group) Gζ is defined as the subgroup of G
that leaves ζ invariant: Gζ = {g ∈ G | gζ = ζ}. For example, spin-1 polar phase ζ polar = (0, 1, 0)T
′
is invariant under a spin rotation about the z-axis, e−ifz α ζ polar = ζ polar , and therefore, Gζ polar =
U(1)Fz .
Next, we define the orbit G(ζ) of ζ by G(ζ) = {gζ | g ∈ G}, i.e., G(ζ) is the set of all points
obtained as a result of letting all transformations in G act on ζ. Because elements of G do not
change the mean-field energy, the orbit G(ζ) constitutes a degenerate space in M. For the case of
a spin-1 polar BEC, a general element of the orbit G(ζ polar ) is given by
e−iα
0 − √ sin β
2
gζ polar = eiφ e−ifz α e−ify β e−ifz γ 1 = eiφ cos β . (316)
eiα
0 √ sin β
2
The orbit is thus parametrized by φ and d̂ ≡ (cos α sin β, sin α sin β, cos β) that specifies the
quantization axis. The manifold of d̂ (a three-dimensional unit vector) is a unit sphere which is
referred to as S 2 , the two-sphere [see Fig. 23 (b)], whereas the manifold of φ is U(1). Therefore,
we conclude that the order parameter manifold for the spin-1 polar state is given by Rpolar
S 2F × U(1)φ .
Figure 23: (a) Euler rotation with Euler angles (α, β, γ). (b) Two-sphere S 2 which is the manifold of a topological space
of a three-dimensional unit vector d.
R = G/H. (317)
Here, H represents the remaining symmetry of the ordered state, and R describes the broken
symmetry, or a manifold of the degenerate space.
We next discuss the discrete symmetry of the order parameter manifold. The spin-1 polar
phase has spin-gauge coupled discrete symmetry. In fact, ζ polar = (0, 1, 0)T is invariant under
a π-rotation about an axis perpendicular to the z-axis followed by the gauge transformation of
eiπ . This can also be understood from the fact that Eq. (316) is invariant under the simultaneous
transformations of (φ, d̂) → (φ + π, − d̂). A group for such an operation {1, eiπ e−ifx π } is isomorphic
to Z2 = {0, 1} because (eiπ e−ifx π )2 = 1. Therefore, the correct isotropy group of ζ polar is the
dihedral group ( D∞ )Fz ,φ U(1)Fz ⋊ (Z2 ) F,φ , and the order parameter manifold is given by
where U(1)Fz ⋊ (Z2 ) F,φ implies that when the nontrivial element of Z2 acts on an element g ∈
U(1), g changes to g−1 .
In the case of a spin-1 ferromagnetic phase, the order parameter ζ ferro = (1, 0, 0)T is invariant
under a spin rotation about the z-axis followed by a gauge transformation of the same amount as
the rotation angle; eiφ e−ifz φ ζ ferro = ζ ferro . This is a spin-gauge coupled U(1) symmetry denoted
as H = U(1)Fz +φ , where the subscript Fz + φ is shown to indicate the nature of the coupling. A
general form of the spin-1 ferromagnetic order parameter is given by
−iα
1 e cos2 2β
gζ ferro = eiφ e−ifz α e−ify β e−ifz γ 0 = ei(φ−γ) √12 sin β . (319)
iα 2 β
0 e sin 2
Note that the linear combination φ − γ in Eq. (319) manifestly exhibits a spin-gauge symmetry,
i.e., the equivalence between phase change and spin rotation. Individual configurations of ζ ferro
are completely specified by the entire range of Euler angles (α, β, γ − φ), and therefore, the order
parameter manifold is given by
SO(3)F × U(1)φ
Rferro = SO(3) F,φ. (320)
U(1)Fz +φ
Figure 24: (a) Orbits of f (x2 + y2 ) on a manifold R2 . The union of all concentric circles constitute one stratum, and the
origin forms an isolated stratum. (b) The origin x = y = 0 is isolated in its stratum, and it is an extremum of any real
smooth function f (x2 + y2 ).
Michel generalized this idea by substituting R2 with an arbitrary manifold M, and SO(2) with
an arbitrary compact Lie group G [115]. Michel showed that if the orbit G(ζ) is isolated in its
stratum S (ζ), i.e., if there exists a neighborhood U of G(ζ) such that U ∩ S (ζ) = G(ζ), then G(ζ)
is a stationary orbit of a smooth real function on M that is invariant under G. Here, stratum S (ζ)
is the union of all orbits that share the same type of isotropy group, that is, ζ and ζ ′ belong to the
same stratum if and only if Gζ and Gζ ′ are conjugate.
Michel’s theorem has been utilized to find the ground states of superfluid He-3 [116], p-
wave [117, 118] and d-wave [105] superconductors, and spinor BECs [119, 120]. In the case
of a spin-1 BEC, we can uniquely determine the orbits of polar and ferromagnetic phases from
their isotropy groups. For example, ζ ferro = (1, 0, 0)T and ζ polar = (0, 1, 0)T are the only solutions
of eiφ e−ifz φ ζ = ζ and e−ifz φ ζ = ζ, respectively, indicating that stratum S (ζ ferro,polar ) consists of
G(ζ ferro,polar ) alone. Therefore, the ferromagnetic and polar states are always extrema of the
mean-field energy functional. The order parameter for such states does not depend on parameters
that appear in the energy functional, and these states are called inert states. An inert state is robust
against a change in the interaction parameters, implying that it is a stationary point of each term
in the energy functional. In superfluid He-3, A, A1 and B phases are inert states.
It is possible, however, that the energy functional has other orbits of extrema that depend
explicitly on the coefficients involved in the functional. The corresponding states are called
non-inert states. Michel showed that the gradient of a G-invariant function is tangential to the
stratum, implying that if we choose one stratum and find an orbit in it that minimizes the energy
functional, then the orbit is stationary in the entire manifold. In contrast to inert states, the order
parameters of non-inert states are determined by the competition among several terms in the
energy functional.
In the case of spin-1 spinor BEC, non-inert states appear in the presence of an external mag-
netic field, where the entire symmetry is reduced to GB = U(1)Fz × U(1)φ . The mean-field energy
77
per particle for a spin-1 BEC in a uniform system is given by
1 1 X X
ǫ[ζ] = c0 n + c1 n| f |2 − p m|ζm |2 + q m2 |ζm |2 , (321)
2 2 m m
P ∗
where f = mn ζm fmn ζn is the spin expectation value per particle. Consider an order parameter
where 0 < χ < π and χ , π/2. Different values of χ lead to different orbits, whereas the
relative phase between ζ±1 and the global phase may vary in each orbit. The rotational symmetry
about the magnetic field is broken, and the isotropy group of ζ AF is given by H AF = (C2 ) F,φ =
{1, eiπ e−ifz π } ⊂ GB . Substituting ζ AF in Eq. (321) and minimizing ǫ with respect to χ, we obtain
the following stationary state:
r r !T
ζ AF 1
= √ 1−
p
, 0, 1 +
p
, p < 1, (323)
c1 n c1 n c1 n
2
and the corresponding energy functional
1 p2
ǫ[ζ AF ] = c0 n − + q. (324)
2 4c1 n
The AF state corresponds to the spin part of the A2 phase in superfluid He-3 where the magnetic
field changes the population of up-spin and down-spin Cooper pairs.
The energies for polar and ferromagnetic states are given by
1
ǫ[ζ polar ] = c0 n, (325)
2
1
ǫ[ζ ferro ] = (c0 + c1 )n − p + q. (326)
2
Comparing Eqs. (324), (325), and (326), we can obtain the phase diagram shown in Fig. 1.
While symmetry considerations are helpful to find stationary states, they elude those states
that have no remaining symmetry. As an example, let us consider a broken-axisymmetry state [10]
whose C2 symmetry axis is not parallel to the external field. This state cannot be obtained from
symmetry considerations because GB is completely broken. Nonetheless, we can obtain a state
that has the same symmetry (as a subgroup of G) as the real ground state from the symmetry
consideration.
• Continuous symmetries
The only continuous subgroup of SO(3) is U(1). Let us choose the z-axis as the symmetry
axis. An infinitesimal transformation h ∈ H can be expressed as a combination of spin
rotation and gauge transformation:
where δz and δφ are infinitesimal real values. The order parameter that is invariant under h
is an eigenstate of fz . Conversely, the eigenstate of fz with eigenvalue m has U(1) symme-
try and it is invariant under a spin rotation e−ifz φ accompanied with gauge transformation
eimφ . For a spin- f system, there are 2 f + 1 states that have the U(1) symmetry. We denote
this symmetry as U(1)Fz +mφ , where the subscript is shown to explicitly indicate the sym-
metry between the spin and the gauge degrees of freedom. The combined symmetry for
m , 0 states is called continuous spin-gauge symmetry, and it relates spin textures to the
superfluid current, as discussed in Sec. 6.
• Discrete symmetries
The elements of the point groups of SO(3) can be described with a combination of the
following generators:
Cn : the cyclic group of rotations about the z-axis through angle 2πk/n with k = 1, · · · , n −
1. The group is isomorphic to Zn and it has generators {Cnz }.
Dn : the dihedral group generated by Cnz and an additional rotation through π about an
orthogonal axis. The group is isomorphic to Zn ⋊ Z2 and it has generators {Cnz , C2x }.
T : the point group of the tetrahedron whose generators are given by {C2z , C3,x+y+z }.
O : the point group of the octahedron whose generators are given by {C4z , C3,x+y+z , C2,x+y }.
Y : the point group of the icosahedron composed of 12 fivefold axes, 20 threefold axes,
and 30 twofold axes. It is shown [119] that a state with icosahedron symmetry does
not exist for f ≤ 4.
Here, we specify the symmetry axis for convenience. The generator CnΩ denotes a 2π/n
rotation around the direction of Ω. In the present case, CnΩ can be expressed in terms of
the spin operator f as
" #
2π Ω
CnΩ ≡ exp −i f · , (328)
n |Ω|
which is described by a (2 f + 1) × (2 f + 1) matrix. Combined with a gauge transformation,
the state invariant under the transformation h = CnΩ eiφ can be obtained by solving the
eigenvalue equation
If the eigenvalue is 1, the invariance of the eigenstate is satisfied by a spin rotation alone,
and therefore, the gauge symmetry is completely broken. On the other hand, the eigenstate
79
with an eigenvalue e−iφ , 1 is invariant under a simultaneous discrete transformation in
spin and gauge. Such a symmetry is called discrete spin-gauge symmetry. What we need
to do is to find simultaneous eigenstates of a set of generators for all discrete symmetry
groups.
The results for the spin-1 BEC are summarized in Table 5 and the structure of each order
parameter is shown in Fig. 25 (a).
phase H generators ζ ǫ
iφ −ifz φ 1
F+ U(1)Fz +φ {e e } (1, 0, 0) 2 (c0 + c1 )n − p+q
−iφ −ifz φ 1
F− U(1)Fz −φ {e e } (0, 0, 1) 2 (c0 + c1 )n + p+q
−ifz φ iπ 1
P ( D∞ )Fz ,φ {e , e C2x } (0, 1, 0) 2 c0 n
q q
p p p2
iπ √1 1
AF (C2 )Fz ,φ {e C2z } 2
1+ c1 n , 0, 1− c1 n 2 c0 n − 2c1 n +q
Table 5: Symmetry and order parameter structure for the spin-1 spinor BEC, where H is the isotropy group, ζ is a
representative order parameter, and ǫ is the corresponding energy of the system.
F2+ : (1, 0, 0, 0, 0)T , HF2+ = U(1)Fz +2φ : {ei2φ e−ifz φ }, ǫ̃F2+ = −2p + 4q + 2c1 n, (331)
T −i2φ −ifz φ
F2− : (0, 0, 0, 0, 1) , HF2− = U(1)Fz −2φ : {e }, ǫ̃F2− = 2p + 4q + 2c1 n,
e (332)
1
F1+ : (0, 1, 0, 0, 0)T , HF1+ = U(1)Fz +φ : {eiφ e−ifz φ }, ǫ̃F1+ = −p + q + c1 n, (333)
2
1
F1− : (0, 0, 0, 1, 0)T , HF1− = U(1)Fz −φ : {e−iφ e−ifz φ }, ǫ̃F1− = p + q + c1 n, (334)
2
1
UN : (0, 0, 1, 0, 0)T , HUN = ( D∞ )Fz : {e−ifz φ , eiπC2x }, ǫ̃UN = c2 n, (335)
10
where we indicate the generators of the isotropy group in curly brackets { } and ǫ̃ = ǫ −
c0 n/2. These states are stationary in the presence of an external magnetic field, where the
isotropy group HUN is reduced to U(1)Fz .
80
Figure
P 25: Order parameters for (a) f = 1 and (b) f = 2 spinor BECs. Shown are the surface plots of the amplitude
| m ψm Y f ,m (ŝ)|, where Y f ,m (ŝ) is a rank- f spherical harmonics in spin space. The gray scale on the surface represents
the phase. The continuous and discrete symmetry axes are indicated along with the gauge transformation factors.
• Tetrahedron group T:
We solve the simultaneous eigenstate of C2z and C3,x+y+z , whose matrix forms are given by
√
1 0 0 0 0 −1 2i 6 −2i −1
0 −1 0 0 0
−2 √ 2i 0 2i 2√
1
C2z = 0 0 1 0 0 , C3,x+y+z = − 6 0 −2 0 − 6 . (336)
0 0 0 −1 0 4
−2 −2i √0 −2i 2
0 0 0 0 1 −1 −2i 6 2i −1
√
The only solution is ζC = 12 (1, 0, i 2, 0, 1)T (up to the phase factor). Here, ζC satisfies
C2z ζC = ζC and C3,x+y+z ζC = ei2π/3 ζC . Therefore, the generators for the tetrahedron group
as a subgroup of G are C2z and e−i2π/3 C3,x+y+z :
1 √
C : (1, 0, i 2, 0, 1)T , HC = T F,φ : {C2z , e−i2π/3C3,x+y+z }, ǫ̃C = 2q. (337)
2
This state is called a cyclic state. Cyclic states need not be stationary in the presence of an
external field because T 1 GB .
81
• Dihedral groups Dn :
In a manner similar to the tetrahedron group, we find
1 c2 n
BN : √ (1, 0, 0, 0, 1)T , HBN = ( D4 )Fz ,φ : {eiπ C4z , C2x }, ǫ̃BN = 4q + , (338)
2 10
!T
cos χ cos χ c2 n
D2 : √ , 0, sin χ, 0, √ , HD2 = ( D2 ) F : {C2z , C2x }, ǫ̃D2 = 4q cos 2χ + ,
2 2 10
(339)
r s ! r T
1 10q 10q 10q
D2′ : 1 − , 0, i 2 1 + , 0, 1 − ,
2 c2 n c2 n c2 n
10q2
HD2′ = ( D2 ) F : {C2z , C2x }, ǫ̃D2′ = 2q − . (340)
c2 n
There are two energy minima D2 and D2′ in the order parameter manifold with an isotropy
group D2 . When p = q = 0, UN, BN, and D2 states are all degenerate, and χ in D2 state
can take any arbitrary real value, while D2′ phase goes to the cyclic state. In the presence of
an external field, however, BN, D2 and D2′ states need not be stationary because Dn 1 GB .
• Cyclic groups Cn : All states that have cyclic symmetries are non-inert states. Here, we
have chosen the order parameter to minimize the mean-field energy.
s s T
1 p/2 p/2
,
C4 : √ 1 + , 0, 0, 0, 1 −
2 (c1 − c2 /20)n (c1 − c2 /20)n
1 p2
HC4 = (C4 )Fz ,φ : {eiπ C4z }, ǫ̃C4 = 4q + c2 n − , (341)
10 2(c1 − c2 /20)n
r r !T
1 p−q p−q
C3+ : √ 1+ , 0, 0, 2 − ,0 ,
3 c1 n c1 n
(p − q)2
HC3+ = (C3 )Fz ,φ : {e−i2π/3 C3z }, ǫ̃C3+ = 2q − (342)
2c1 n
r r !T
1 p+q p+q
C3− : √ 0, 2 + , 0, 0, 1 − ,
3 c1 n c1 n
(p + q)2
HC3− = (C3 )Fz ,φ : {ei2π/3 C3z }, ǫ̃C3− = 2q − (343)
2c1 n
r r !T
1 p p
C2 : √ 0, 1+ , 0, 1− ,0 ,
2 (c1 − c2 /5)n (c1 − c2 /5)n
1 p2
HC2 = (C2 )Fz ,φ : {eiπ C2z }, ǫ̃C2 = q + c2 n − , (344)
10 2(c1 − c2 /5)n
1
C2′ : √ (a, 0, b, 0, c)T , HC2′ = (C2 )Fz : {C2z }. (345)
2
The order parameter and energy for C2′ state are the same as those of C2′ state in Table 4.
The obtained results are the same as those listed in Table 4. The structure of each order
parameter is shown in Fig. 25 (b).
82
7.2. Homotopy theory
7.2.1. Classification of topological excitations
Bose-Einstein condensates can accommodate topological excitations such as vortices, monopoles,
and Skyrmions. These topological excitations are diverse in their physical properties but have
one thing in common; they can move freely in space and time without changing their charac-
teristics that are distinguished by topological charges. The topological charges take on discrete
values and have very distinct characteristics independently of the material properties. It is these
material-independent universal characteristics and robustness to external perturbations that make
topological excitations unique.
The classification of topological excitations is best made by homotopy theory [122, 123].
This theory describes what types of topological excitations are allowed in what order-parameter
manifold. For example, π2 (U(1)) = 0 implies that monopoles, which are characterized by the
second homotopy group π2 , are not topologically stable in systems described by scalar order
parameters. This theory also describes what happens if two defects coexist and how they coalesce
or disintegrate.
By way of introduction, we first consider a BEC described by a scalar order parameter ψ(r) =
|ψ(r)|eiφ(r) . To classify line defects such as vortices, we take a loop in the condensate and consider
a map from every point r on the loop to the phase φ(r) of the order parameter ψ:
If the loop encircles no vortex (e.g., loop A in Fig. 26), the image of the map covers only a part
of the unit circle, as shown in the right-hand side of Fig. 26. If the loop encircles a vortex (e.g.,
loop B), the image covers the entire unit circle at least once. If it covers the circle n times, it is
said that the winding number of the vortex is n. The crucial observation here is that the winding
number does not change if the loop deforms or moves in space as long as it does not cross the
vortex. This property can be used to classify loops according to their winding number.
Figure 26: Mapping from a loop in real space onto the order-parameter manifold S 1 (unit circle) according to the
correspondence φ(r) : r → argψ(r). This mapping defines the first homotopy group π1 (S 1 ).
If two loops ℓa and ℓb are continuously transformable without crossing singularities of the or-
der parameter, they are said to be homotopic to each other and written as ℓa ∼ ℓb . The homotopic
relationship is an equivalent one in that it is symmetric (i.e., ℓa ∼ ℓa ), reflexive (i.e., if ℓa ∼ ℓb ,
83
then ℓb ∼ ℓa ), and transitive (i.e., if ℓa ∼ ℓb and ℓb ∼ ℓc , then ℓa ∼ ℓc ). By this equivalence
relationship, all loops are classified into equivalent classes called homotopy classes:
where ℓi (i = 1, 2, 3, · · · ) is an arbitrarily chosen loop from the homotopy class [ℓi ] because all
loops belonging to the same class are equivalent and continuously deformable to each other.
Mathematically, a loop ℓ is defined as a mapping from I = [0, 1] to a topological space such
that ℓ(0) = ℓ(1) = x0 , where x0 is called a base point. If two loops ℓa and ℓb share the same
base point x0 and they are continuously deformable to each other, they are said to be homotopic
at x0 . If the base point is not shared, they are said to be freely homotopic. The constant loop
c is defined as the one such that c(t) = x0 for ∀ t ∈ [0, 1]. The inverse of loop ℓ is defined as
ℓ−1 (t) ≡ ℓ(1 − t) for ∀ t ∈ [0, 1].
The product of two homotopy classes [ℓ1 ] and [ℓ2 ] is defined as
where ℓ1 ·ℓ2 denotes the product of two loops in which ℓ1 is first traversed and then ℓ2 is traversed.
Members of [ℓ1 · ℓ2 ] that are homotopic to ℓ1 · ℓ2 need not return to the base point x0 en route to
the terminal point (see the dashed curve in Fig. 27).
Figure 27: The product of two loops ℓ1 · ℓ2 in which ℓ1 is first traversed and then ℓ2 is traversed. Loops homotopic to
ℓ1 · ℓ2 need not return to x0 en route to the terminal point, as shown for the dashed curve.
With the definition of the product (348), a set of homotopy classes form a group. In fact, they
satisfy the associative law
those loops that are homotopic to the constant loop c constitute the identity element [c] such that
finally, the inverse [ℓ−1 ] of [ℓ] is the homotopy class that consists of inverse loops of [ℓ] so that
π1 (S 1 ) Z. (352)
Point defects such as monopoles can be characterized by considering a sphere Σ that covers
the object (see Fig. 28). We consider a map from each point r on Σ to a point m in the order
parameter space M:
m : Σ → M. (353)
We classify elements of such a map by regarding as equivalent any two elements that can trans-
form into each other in a continuous manner. For the case of the monopole, we consider M to
be a two-dimensional sphere or 2-sphere S 2 , as shown in the right-hand side of Fig. 28. In this
case, if the map (353) wraps S 2 n times, we have π2 (S 2 ) [n].
Figure 28: Mapping from a sphere in real space onto the order-parameter manifold M according to the correspondence
Ψ(r) : r → M. This mapping defines the second homotopy group π2 (M). Here, we take M to be S 2 —a two-dimensional
unit sphere (2-sphere).
Skyrmions and knots are classified by the third homotopy group. We assume that the order
parameter becomes uniform at spatial infinity. Then, the three-dimensional space is compacted
into a three-dimensional sphere S 3 . To help envisage it, imagine a two-dimensional plane and
identify all infinite points. Then, the two-dimensional plane is compacted into a two-dimensional
sphere S 2 . By considering the map from S 3 to the order parameter space M and by identifying
maps that can be continuously transformed into each other without crossing any singularity of
the order parameter space as belonging to the same equivalent class, we can introduce elements
of the third homotopy group π3 (M).
Higher homotopy groups can be defined in a similar manner. Moreover, the zeroth homotopy
π0 (M) classifies the domain walls and gives the number of disconnected domains; in particular,
85
π0 (M) = 0 implies that the order-parameter manifold is connected. Using homotopy theory,
one can elicit insights into the topology of complicated structures, which is difficult to obtain
intuitively. Here, we list some useful formulas of homotopy theory:
Z if m = n ≥ 1;
0 if m ≥ n ≥ 1;
πn (S m )
0 if m = 1 and n ≥ 2; (354)
Z if n = 3 and n = 2 (Hopf charge);
Z if n = m + 1 ≥ 4 or n = m + 2 ≥ 4,
2
where 0 implies that trivial configurations (i.e., those contractible to a point) exist and Z2 = {0, 1}
is the two-element group.
Let G be a Lie group and H be its subgroup. If G is connected (i.e., π0 (G) = 0) and simply
connected (i.e., π1 (G) = 0), the following isomorphism holds:
Some order-parameter spaces R and their first, second, and third homotopy groups are sum-
marized in Table 6. The topological objects classified by homotopy groups are summarized in
Table 7. For example, in the case of ferromagnetic BECs, π1 (SO(3)) Z2 implies that there exist
two types of linear defects that are singular and nonsingular; π2 (SO(3)) 0 implies the absence
of point defects and 2D Skyrmions; and π3 (SO(3)) Z implies the presence of a nonsingular
soliton-like object such as a Shankar monopole (Skyrmion) [124, 125].
Here, we define a Skyrmion as a nonsingular point object characterized by a π2 charge in two
dimensions and by a π3 charge in three dimensions. In the polar phase of a spin-1 condensate, a
π2 Skyrmion takes a configuration in which the director points in the positive z-direction at the
center, flares out in the radial direction, and eventually points in the negative z-direction as one
goes away from the center. On the other hand, a π3 Skyrmion is exemplified by a knot soliton,
as discussed in Sec. 7.3.4. In contrast, a monopole is a singular point object in three dimensions
(a singular point object in two dimensions is called a vortex). The charge of the monopole is
characterized by a π2 charge; examples include a hedgehog (’t Hooft-Polyakov monopole) in
a polar condensate (see Sec. 7.3.2). Note, however, that the π2 monopole cannot be created
in a ferromagnetic condensate because its order-parameter manifold is SO(3), which does not
give a non-trivial π2 charge; in this case, the monopole must be attached by a Dirac string (see
Sec. 7.3.2).
Table 6: List of homotopy groups. Subscripts F and φ denote the manifolds for the spin and gauge degrees of freedom,
respectively. Q and T ∗ respectively denote the quaternion group and the binary tetrahedral group, the latter being a
subgroup of SU(2) × R.
πn defects solitons
π0 domain walls dark solitons
π1 vortices nonsingular domain walls
π2 monopoles 2D Skyrmions
π3 Skyrmions, knots
conditions. Relative homotopy groups can also be used to discuss properties of a defect that is
itself regarded as a singularity in the order-parameter field in ordinary homotopy theory. Finally,
the relative homotopy group is useful to calculate the absolute homotopy group via the exact
sequence of homomorphisms.
As an illustrative example, let us again consider a ferromagnetic BEC. Suppose that the
system is contained in a cylinder of radius r0 and impose a boundary condition that the spin
points in the positive z-direction at r = 0 and outward or downward on the wall at r = r0 , where
r is the radial coordinate. Then, the spin texture would look like
cos2 β(r)
2
√ eiϕ
ψ coreless
(r, ϕ, z) = n √ sin β(r) .
(358)
2
2iϕ 2 β(r)
e sin 2
Because the direction of spin is ŝ(r, ϕ, z) = (e x cos ϕ + ey sin ϕ) sin β(r) + ez cos β(r), the above
boundary conditions are met if we choose β(0) = 0 and β(r0 ) = π/2 or β(r0 ) = π. The topological
objects corresponding to β(r0 ) = π/2 and β(r0 ) = π are referred to as the Mermin-Ho vortex and
Anderson-Toulouse vortex, respectively. It can be shown that the circulation at the wall is 1
for the Mermin-Ho vortex and 2 for the Anderson-Toulouse vortex. They are good examples of
relative homotopy because both of them are not stable in free space and they can be stabilized
only if the boundary conditions on the wall are imposed by some means.
In general, the nth relative homotopy group πn (R, R̃) consists of the elements of πn (R) from
which those of πn (R̃) are subtracted. We consider an n-sphere in R̃ and let it expand into R by
continuous deformation. Such an expansion may be regarded as a one-to-one mapping of πn (R̃)
87
into a subgroup of πn (R). Let Im(πn (R̃) → πn (R)) be the image of this homomorphism. Then,
by the definition given above, the relative homotopy πn (R, R̃) is a quotient group of Im(πn (R̃) →
πn (R)) in πn (R):
πn (R)
πn (R, R̃) . (359)
Im(πn (R̃) → πn (R))
The relative first homotopy group π1 (R, R̃) can cope with planar defects with nontrivial
boundaries. A well-known example is a planar soliton (Maki domain wall) in the A phase of
superfluid helium-3, where the order-parameter manifold is R = (S 2 × SO(3))/Z2 within a dipole
healing length from the domain wall and R̃ = SO(3) outside this layer due to dipole locking.
The domain wall may be regarded as a linear defect as seen from the edge of the wall. We
take the axis perpendicular to the domain wall as the z-axis. Then, the order-parameter field
defines a mapping from the z-axis into the contour in R whose end points belong to R̃. Because
π1 (SO(3)) Z2 , such contours are also classified as Z2 , of which the nontrivial one corresponds
to the Maki domain wall.
The relative second homotopy group π1 (R, R̃) allows the stabilization of a point object subject
to a boundary condition on a sphere enclosing it. Another example is the boojum–a point defect
that appears in the A phase of superfluid helium-3 when it is contained in a hard-wall sphere.
Because π2 (SO(3)) = 0, the bulk superfluid A phase does not support a topologically stable point
defect. However, because the l vector must be perpendicular to the surface, a point singularity
for the l-vector appears on the surface that is connected to a nonsingular vortex texture in the
bulk.
7.3. Examples
7.3.1. Line defects
The line defects are characterized by the first homotopy group (or the fundamental group)
π1 (M). For the case of s-wave superconductors, liquid helium-4, and spin-polarized or spinless
gaseous BECs, the order parameter is scalar and the order-parameter manifold is M = U(1). The
fundamental group is therefore the additive group of integers:
π1 (U(1)) Z. (360)
For the case of a spin-1 BEC, the ground state can be ferromagnetic or polar. The order-
parameter manifold of the ferromagnetic phase is SO(3) and the fundamental group is π1 (SO(3)) =
Z2 = {0, 1}, the two-element group. The spin configuration that corresponds to class 0 is continu-
ously transformable to a uniform configuration, whereas the spin configuration that corresponds
to class 1 describes a singly quantized vortex that is topologically stable. Because 1 + 1 = 0 in
Z2 , the coalescence of two singly quantized vortices is homotopic to a uniform configuration.
Conversely, there is a configuration called the Anderson-Toulouse vortex that is nonsingular at
the origin but has circulation of two away from the origin.
Next, let us consider the polar phase of a spin-1 BEC. The order-parameter manifold is
Rpolar = [S 2F × U(1)φ ]/(Z2 ) F,φ . As we have discussed in Sec. 7.1.1, the Z2 symmetry arises
from the fact that the order parameter given by Eq. (316) is invariant under the simultaneous
transformation of (φ, d̂) → (φ + π, − d̂). Because G = S 2 × U(1) is not simply connected, to cal-
culate π1 (Rpolar ), we lift G to G′ = S 2 × R and use Eq. (355). Then, the points that are identical
88
to (φ, d̂) in G′ are (φ + nπ, d̂) for even n and (φ + nπ, − d̂) for odd n, and those points constitute
an additive group of integers n. Hence, we have
As in the case of a scalar BEC, vortices in the polar phase are classified by integers. However,
due to the Z2 discrete symmetry, the minimum unit of circulation is one-half of the usual value
of h/M, as discussed in Sec. 6.2.2.
In a similar manner, we may expect that the uniaxial, biaxial, and cyclic phases in spin-2
spinor BECs can support various types of vortices due to the discrete symmetry, as discussed in
Sec. 6. Some of them have fractional circulations, and some others have no mass circulation.
The topological charge can be expressed algebraically as a functional of the order-parameter
field. The topological charge corresponding to π1 (S 1 ) can be expressed as a line integral of the
velocity field.
where
1
nm (r) = ∇ · j(r) (366)
4π
89
gives the density distribution of point singularities.
which implies that the surface integral of the spin circulation is quantized in terms of 4h/M;
Z X
(spin,P) 4h
d̂µ ∇ × vµ · dS = − N2 . (370)
µ
M
Alice ring
The monopole in the spin-1 polar phase is energetically unstable against deformation into an
Alice ring [126]. The Alice ring is a combined object of two defects characterized by π1 and π2
(see Fig. 29). Viewed far from the origin, it appears to be a point defect (N2 = 1); however, along
the ring C on which the order parameter is singular, it appears to be a continuous distribution of
line defects (N1 = 1). This topological object is called the Alice ring, and it has been predicted
to be realized in an optically trapped spin-1 23 Na BEC [126].
Dirac monopole
The magnetic monopole was originally envisaged as a magnetic analogue of the quantized
electric charge:
∇ · B = 4πgδ(r), (371)
where g denotes the strength of the magnetic monopole. The solution of this equation is easily
found to be B = gr/r3 and the corresponding vector potential is given by
g g(1 + cos θ)
A=− (−y, x, 0) = − eϕ , (372)
r(r − z) r sin θ
90
Figure 29: Alice ring comprised of continuously distributed half-quantum vortices along a contour C. Far from the
origin, it appears to be a monopole.
where (r, θ, ϕ) are the polar coordinates and eϕ is the unit vector in the ϕ-direction. The vector
potential (372) reproduces the magnetic field (371), except on the positive z-axis along which the
magnetic field exhibits a singularity called the Dirac string:
r
rotA = g − 4πgδ(x)δ(y)θ(z)ez, (373)
r3
where ez is the unit vector along the z-direction.
The Dirac monopole can be created in the ferromagnetic phase of a spin-1 BEC [127]. Sub-
stituting φ → −ϕ, α → ϕ, and β → θ in Eq. (319), we obtain
−2iϕ
e cos2 2θ
1 −iϕ
ζ Dirac ≡ √ ψDirac = e√ sin θ (374)
n 2
2 θ
sin 2 .
The corresponding superfluid velocity v(mass) = (~/M)Im(ζ † ∇ζ) [defined by Eq. (259)] is the
same as the vector potential (372) of the Dirac monopole with the identification g = ~/M.
It is interesting to note that the order parameter (374) exhibits a doubly quantized vortex only
along the positive z-axis. One can say that because the first homotopy group of SO(3) is Z2 ,
which allows only a singly quantized vortex called a polar-core vortex as a stable topological ob-
ject, the doubly quantized vortex must terminate at the magnetic monopole. In fact, the singular
Dirac monopole can deform continuously to a nonsingular spin texture if we take the following
parametrization:
−2iϕ
e cos2 2β
−iϕ
ζ Dirac = e√ sin β , β(r, ϕ, z) = θ(1 − t) + πt. (375)
2
sin2 β2
We can see that as t increases from 0 to 1, the order parameter continuously changes from the
Dirac monopole at t = 0 to a nonsingular texture ζ = (0, 0, 1)T at t = 1.
Figure 30: (a) Coalescence of two monopoles with charge one in the presence of a half-quantum vortex. (b) If they merge
along the dashed curve 1 shown in Fig. (a), the topological charge of the combined object is two. (c) If they merge along
the dashed curve 2, the topological charge of the combined object is zero.
7.3.4. Skyrmions
Shankar Skyrmion
The third homotopy group characterizes topological objects called Skyrmions that extend
over the entire three-dimensional space. A prime example of this is the so-called Shankar
monopole [124, 125], although it is actually not a monopole but a Skyrmion. The topology
of the Shankar Skyrmion is π3 (SO(3)) Z, which is supported by the ferromagnetic phase of a
spin-1 BEC. The order parameter of the ferromagnetic BEC is characterized by the direction of
the local spin ŝ and the superfluid phase that can be parametrized in terms of two unit vectors
such as t̂ and û that form a triad with s: ŝ = t̂ × û. Concrete forms of ŝ and t̂ are introduced in
Sec. 6.2.1.
The class one element of π3 (SO(3)) Z may be realized by rotating the triad at position r
about the direction [125, 124, 128, 129]
r
Ω = f (r)N3 , N3 ∈ Z (376)
r
through an angle f (r)N3 , where f (0) = 2π and f (∞) = 0. It follows from the last condition that
the triad is uniform in spatial infinity, and thus, the three-dimensional space is compacted to S 3 .
The case of n = 1 is shown in Fig. 31.
The topological charge of the third homotopy group can be introduced in a manner similar to
that of the second homotopy group. Now, the mapped vector has a four-component vector that is
normalized to unity. One such representation is
r f (r) f (r)
n=
sin , n4 = cos . (377)
r 2 2
The invariant of such a mapping is again given by the Jacobian of the transformations:
Z
1
N3 = drǫαβγδ ǫi jk nα ∂i nβ ∂ j nγ ∂k nδ , (378)
12π2
92
Figure 31: Shankar monopole with charge one.
where ǫi jk and ǫαβγδ are the completely antisymmetric tensors of the third and fourth orders, re-
spectively, and the Roman letters run over x, y, z and the Greek letters run over 1, 2, 3, 4.
Knot soliton
The third homotopy group also classifies knot solitons. Knots differ from other topological
excitations such as vortices, monopoles, and Shankar monopoles in that they are classified by
a linking number while others are classified by winding numbers. Knots are characterized by
mappings from a three-dimensional sphere S 3 to S 2 . As in the case of Shankar monopoles, the
S 3 domain is prepared by imposing a boundary condition that the order parameter takes on the
same value in every direction at spatial infinity. Here, we consider the spin-1 polar phase [130].
The order parameter manifold of the polar phase is given by Rpolar (S S2 × U(1)φ )/(Z2 )S,φ , of
which neither U(1) nor Z2 symmetry contributes to the homotopy groups in spaces higher than
one dimension; hence, we find that π3 (Rpolar ) π3 (S 2 ) Z. The associated integer topological
charge Q is known as the Hopf charge, and it is given by
Z
1
Q= 2 d3 x ǫi jk Fi j Ak , (379)
4π
where Fi j = ∂i A j − ∂ j Ai = d̂ · (∂i d̂ × ∂ j d̂) [131]. Note that the domain (r) is three-dimensional,
while the target space ( d̂) is two-dimensional. Consequently, the preimage of a point on the target
S 2 constitutes a closed loop in S 3 , and the Hopf charge is interpreted as the linking number of
these loops: if the d̂ field has Hopf charge Q, two loops corresponding to the preimages of any
two distinct points on the target S 2 will be linked Q times [see Fig. 32 (a)]. Figure 32 (b) shows
93
an example of the d̂ field of a polar BEC with Hopf charge 11 .
Knots can be created by manipulating an external magnetic field. In the presence of an
external magnetic field, the linear Zeeman effect causes the Larmor precession of d̂, whereas d̂
tends to become parallel to the magnetic field because of the quadratic Zeeman effect. Suppose
that we prepare an optically trapped BEC in the m = 0 state, i.e., d̂ = (0, 0, 1)T , by applying
a uniform magnetic field in the z-direction. Then, we suddenly turn off the uniform field and
switch on a quadrupole field. Because of the linear Zeeman effect, d̂ starts rotating around the
local magnetic field, and therefore, the d̂ field winds as a function of t, resulting in the formation
of knots.
Figure 33 shows the creation dynamics of knots in an optical trap subject to the quadrupole
field, where the upper panels show the snapshots of the preimages of d̂ = −ẑ and d̂ = ẑ and
the bottom panels show cross sections of the density for m = −1 (bottom) components on the xy
plane. The density pattern in m = −1 components is characteristic of knots; a double-ring pattern
appears corresponding to one knot. As the d̂ field winds in the dynamics, the number of rings
increases. This prediction can be tested by the Stern-Gerlach experiment.
Topological objects are conjectured to play important roles in the formation of our universe.
Among them, knot solitons have recently attracted the interest of cosmologists since Faddeev
and Niemi suggested that knots might exist as stable solitons in a three-dimensional classical
field theory [131].
Figure 32: (a) Preimages of two distinct points on S 2 form a link. (b) Spin configuration of a knot with Hopf charge 1
in a polar BEC, where arrows inicate the d̂ field of the polar phase. The solid and dashed lines trace the point where d̂
points to x and −z, respectively, and form a link.
8. Many-Body Theory
In spinor BECs, the mean-field energy is much larger than the spin-exchange interaction.
Therefore, we first determine the spatial dependence of the condensate wave function indepen-
dently of the spin degrees of freedom, and then, we consider the spin state by assuming that
the obtained spatial wave function is shared by all spin states. This approximation is called the
1 Technically speaking, the configuration in Fig. 32 (b) is an unknot of a pair of rings with linking number 1, because
94
Figure 33: Dynamics of the creation of knots in a spherical optical trap under a quadrupole magnetic field. Snapshots of
the preimages of d̂ = (0, 0, −1)T and d̂ = (1, 0, 0)T (top), and cross sections of the density for m = −1 components on the
xy plane (bottom).
single-mode approximation. In this section, we examine the many-body spin states by using this
approximation.
Suppose that the coordinate part of the ground-state wave function φ0 (r) is independent of
the spin state. Then, φ0 (r) is the lowest-energy solution of the GP equation
" 2 2 #
~∇ 2
− + Utrap + c0 (N − 1)|φ0 | φ0 = µφ0 , (380)
2M
where Utrap is the trapping potential. Let µ0 and µ1 be the first- and second-lowest eigenvalues of
Eq. (380), respectively. The criterion for the validity of the single-mode assumption is that the
first excited energy µ1 − µ0 is much larger than other energy scales:
95
For the sake of simplicity, let us consider the case of zero magnetic field (i.e., p = q = 0).
P P
Substituting Eq. (382) in Eq. (24) and replacing m â†m âm and m,n â†m â†n ân âm with N̂ and N̂(N̂ −
1), respectively, we obtain
Z !
∗ ~2 ∇2 c0
Ĥ = N̂ dr φ0 − + U(r) + (N̂ − 1)|φ0| φ0 + c′1 : F̂2 :,
2
(383)
2M 2
where
X
1
F̂ = fmn a†m an (384)
m,n=−1
R
and c′1 ≡ (c1 /2) dr|φ0 |4 ; φ0 is determined by Eq. (381) subject to the normalization condition
Z
|φ0 |2 dr = 1. (385)
Because N̂ and Ŝ † Ŝ commute, the eigenvalue problem reduces to finding their simultaneous
eigenstates.
Let |0i be the state in which there is no spin-singlet pair, i.e., Ŝ |0i = 0. Using the commuta-
tion relation
h i 2
Ŝ , (Ŝ † )k = k (2N̂ + 2k + 1)(Ŝ †)k−1 , (390)
3
we obtain
2
Ŝ † Ŝ (Ŝ † )k |0i = k (2N̂ − 2k + 1)(Ŝ †)k |0i. (391)
3
We then define the k-pair state |ki:
(Ŝ † )k |0i
|ki ≡ p . (392)
h0|Ŝ k (Ŝ † )k |0i
It follows from the commutation relation (390) that
2
Ŝ † Ŝ |ki = k (2N − 2k + 1)|ki. (393)
3
96
8.1.2. Fragmentation
Next, we consider a state |k, di in which 2k atoms form spin-singlet pairs and the remaining
N − 2k atoms reside in the m = 0 state along the d direction (|d| = 1). Defining
â d ≡ d x â x + dy ây + dz âz
d x + idy d x − idy
= − √ â1 + dz â0 + √ â−1 , (394)
2 2
the corresponding eigenstate and eigenenergy are given by
−1
|k, di = Zm 2 (â†d )N−2k (Ŝ † )k |0i, (395)
Ek = µN − c′0 N(N −1) + c′1 [N(N −1)−2k(2N −2k + 1)], (396)
where Zm is the normalization constant. In the absence of an external magnetic field, all magnetic
sublevels are degenerate. If we take the quantization axis along the z-direction, we can specify the
eigenstate in terms of the total spin F, magnetic quantum number Fz , and number of spin-singlet
pairs k:
1
|k, F, Fzi = Z − 2 (Ŝ † )k (F̂− )F−Fz (â†1 )F |vaci, (397)
Next, we consider a situation in which all F atoms points in the z-direction in addition to the
k spin-singlet pairs, i.e., Fz = F in Eq. (397), and seek the number of the atoms that are present
in the m = 0 state. We introduce the basis state |n1 , n0 , n−1 i in which the magnetic sublevels
m = 1, 0, −1 are occupied by n1 , n0 , and n−1 atoms, respectively. Then, |vaci = |0, 0, 0i and
Substituting â†0 â0 = â0 â†0 − 1 and using the fact that â†0 commutes with Ŝ † , we have
NF + F 2 + N + 2F
n̄1 ≡ hâ†1 â1 i = , (402)
2F + 3
N−F
n̄0 ≡ hâ†0 â0 i = , (403)
2F + 3
(N − F)(F + 1)
n̄−1 ≡ hâ†−1 â−1 i = . (404)
2F + 3
When all atoms form spin-singlet pairs, i.e., F = 0, Eqs. (402)–(404) show that all magnetic
sublevels are equally populated:
N
hâ†1 â1 i = hâ†0 â0 i = hâ†−1 â−1 i = . (405)
3
That is, the condensate is fragmented in the sense that more than one single-particle state is
macroscopically occupied [132, 4, 86, 133]. This is in sharp contrast with the mean-field re-
sult that predicts that for c1 > 0, the ground state is either polar (n̄0 = N) or antiferromagnetic
(n̄1 = n̄−1 = N2 ). This discrepancy originates from the mean-field assumption that there exists one
and only one BEC. However, such an assumption cannot be justified when the system possesses
certain exact symmetries such as rotational symmetry in the present √ case. Equation (403) shows
√
that n̄0 decreases rapidly with an increase in F. In fact, when F = O( N), we have n̄0 = O( N).
This implies that although mean-field results break down at zero magnetic field, the validity of
mean-field theory quickly recovers as the magnetic field increases. This affords an example of
why fragmented BECs are fragile against symmetry-breaking perturbations.
Finally, we note an interesting relationship between a mean-field state and the many-body
spin-singlet state. A mean-field state is one in which all particles occupy the same single-particle
state:
(â†d )N
√ |vaci, (406)
N!
where â d is defined in Eq. (394). Substituting d x = sin θ cos φ, dy = sin θ sin φ, and dz = cos θ in
Eq. (394), we obtain
† N
1 â1 â†−1
−iφ
|θ, φi = √ − √ sin θe + â0 cos θ + √ sin θe |vaci.
iφ †
(407)
N! 2 2
98
We calculate the equal-weighted superposition state of |θ, φi over all solid angles dΩ = sin θdθdφ.
Z π Z 2π
1
|symi = sin θ dθ dφ |θ, φi
4π 0 0
0 if N is odd;
= †2 † † N (408)
(N+1)1 √N! (a0 − 2a1 a−1 ) 2 |vaci if N is even.
This result shows that the spin-singlet state is the superposition state of a ferromagnetic state
|θ, φi over all angles of magnetization. Conversely, the mean-field state |θ, φi may be interpreted
as a broken symmetry state of the spin-singlet state with respect to the direction of quantization
(θ, φ).
are the creation (Ŝ+ ) and annihilation (Ŝ− ) operators of a spin-singlet pair.
While the operator Ŝ+ , when applied to a vacuum, creates a pair of bosons in the spin-singlet
state, the pair should not be regarded as a single composite boson because Ŝ+ does not satisfy
the commutation relations of bosons. In fact, the operators Ŝ± together with Ŝz ≡ (2N̂ + 5)/4
satisfy the S U(1, 1) commutation relations:
Here, the minus sign in the last equation is the only difference from the usual spin commutation
relations. This difference, however, leads to some important consequences. In particular, the
Casimir operator Ŝ2 , which commutes with Ŝ± and Ŝz , does not take the usual form of the
squared sum of spin components but instead takes the form
and
S z = S + NS (NS = 0, 1, 2, . . .), (417)
where N0 and NS satisfy
N = 2NS + N0 , (418)
and we may therefore interpret NS as the number of spin-singlet “pairs” and N0 the number of
remaining bosons.
To find the exact energy eigenvalues of Hamiltonian (409), we first note that Ŝ± and Ŝz
commute with Fˆ :
The energy eigenstates can be classified according to quantum numbers N0 and NS , total spin
F, and magnetic quantum number Fz . We denote the eigenstates as |N0 , NS , F, Fz; λi, where
λ = 1, 2, . . . , gN0 ,F labels orthonormal degenerate states with gN0 ,F provided in Ref. [5].
The first commutator in Eq. (413) implies that Ŝ± plays the role of changing the eigenvalue
of Ŝz by ±1 by creating or annihilating a spin-singlet pair. The eigensystem can be constructed
by first preparing the eigenstates that do not involve spin-singlet pairs,
and then, by generating new eigenstates through successive operations of Ŝ +NS on it:
To write down the eigenstates (421) explicitly, we need to find the matrix elements of Ŝ + , of
which only the nonvanishing ones are
p
hN0 , NS + 1, F, Fz; λ|Ŝ + |N0 , NS , F, Fz ; λi = (NS + 1)(NS + N0 + 5/2). (423)
100
Finally, the energy eigenvalue for the state |N0 , NS , F, Fz; λi is given by
c1 c2
E= [F(F + 1) − 6N] + NS (N + N0 + 3) − pFz , (424)
2V eff 5V eff
where the relationship 2NS + N0 = N is used.
The total spin F can, in general, take integer values in the range 0 ≤ F ≤ 2N0 . However, there
are some forbidden values [5]. That is, F = 1, 2, 5, 2N0 −1 are not allowed when N0 = 3k (k ∈ Z),
and F = 0, 1, 3, 2N0 − 1 are forbidden when N0 = 3k ± 1. We prove this at the end of this
subsection.
To gain a physical insight into the nature of the energy eigenstates |N0 , NS , F, Fz; λi, it is
useful to express them in terms of some building blocks. In fact, we can express them in terms of
one-, two-, and three-boson creation operators. Let Â(n)f
†
be the operator such that when applied
to the vacuum state, it creates n bosons that have a total spin F = f and magnetic quantum
number Fz = f . While the choice of a complete set of operators for the building blocks is not
unique, we choose the following five operators for constructing the eigenstates:
Â(1)†
2 = â2 † (425)
r
1 † † † † † 2
Â(2)†
0 = √ [(â0 )2 − 2â1 â−1 + 2â2 â−2 ] = Ŝ+ (426)
10 5
1 √ † † √ †
Â(2)†
2 = √ [2 2â2 â0 − 3(â1 )2 ] (427)
14
1 √ √ √
Â(3)†
0 = √ [ 2(â†0 )3 − 3 2â1 † â†0 â†−1 + 3 3(â†1 )2 â†−2
210
√ √
+3 3â†2 (â†−1 )2 − 6 2â†2 â†0 â†−2 ] (428)
1 †
√ † † † † †
Â(3)†
3 = √ [(â1 )3 − 6â2 â1 â0 + 2(â2 )2 â−1 ]. (429)
20
|n12 , n20 , n22 , n30 , n33 i ≡ (â†2 )n12 (Â(2)† n20 (2)† n22 (3)† n30 (3)† n33
0 ) ( Â2 ) ( Â0 ) ( Â3 ) |vaci,
(430)
with n12 , n20 , n22 , n30 = 0, 1, 2, . . . , ∞ and n33 = 0, 1. The total number of bosons and the total
spin of the state (430) are N = n12 + 2(n20 + n22 ) + 3(n30 + n33 ) and F = Fz = 2(n12 + n22 ) + 3n33 ,
respectively. For given N and F, n33 is uniquely determined by the parity of F:
It can be shown [5] that B forms a nonorthogonal complete basis set of the subspace H(Fz =F) in
which the magnetic quantum number Fz is equal to the total spin F. It can also be shown [5] that
the energy eigenstates can be represented as
† n12
(Fˆ− )∆F (Â(2)† n20 (2)† n22 (3)† n30 (3)† n33
0 ) P̂(NS =0) (â2 ) ( Â2 ) ( Â0 ) ( Â3 ) |vaci, (432)
101
where n12 , n20 , n22 , n30 = 0, 1, 2, . . . , ∞, n33 = 0, 1, and ∆F = 0, 1, . . . , 2F. These parameters are
related to {N0 , NS , F, Fz} as
and the corresponding eigenenergy is given by Eq. (424). Note that the states defined in (432)
are unnormalized, and the states having the same energy (i.e., those belonging to the same set of
parameter values {N0 , NS , F, Fz}) are nonorthogonal.
It might be tempting to envisage a physical picture that the system, as in the case of 4 He, to
be made up of nn f composite bosons whose creation operator is given by Â(n)†
f . However, this is
an oversimplification because the operator Â(n)
f does not obey the boson commutation relation.
Moreover, the projection operator P̂(NS =0) in (432) imposes many-body spin correlations such
that the spin correlation between any two bosons must have a vanishing spin-singlet component.
Note that two bosons with independently fluctuating spins generally have a nonzero overlap with
the spin-singlet state. The many-body spin correlations of the energy eigenstates are thus far
more complicated than what a naive picture of composite bosons suggests. On the other hand, as
long as quantities such as the number of bosons, magnetization, and energy are concerned, the
above simplified picture is quite helpful. As an illustration, we provide an explanation for the
existence of forbidden values for the total spin F. For example, to construct a state with F = 0
or F = 3, composite particles with total spin 2 must be avoided, namely, n12 = n22 = 0. Then,
we have N0 = 3(n30 + n33 ), implying that F = 0 or F = 3 is only possible when N0 = 3k(k ∈ Z).
For a state with F = 2 or F = 5, we have n12 + n22 = 1 and N0 = 1 + n22 + 3(n30 + n33 ), implying
that N0 , 3k(k ∈ Z). The above simplified picture is also helpful when we consider the magnetic
response discussed below.
Figure 34: Typical dependence of the ground-state magnetization on the applied magnetic-field strength, for c2 < 0 and
c′1 > 0.
We now calculate the Zeeman-level populations of the ground states for c2 < 0. In MFT, the
lowest-energy states for c2 < 0 have vanishing population in the m = 0, ±1 levels. In contrast,
NS † n12
the exact ground states derived in the preceding subsection, (Â(2)† (2)† n22 (3)† n33
0 ) (â2 ) ( Â2 ) ( Â3 ) |vaci
with n22 = 0, 1 and n33 = 0, 1, have nonzero populations in the m = 0, ±1 levels. The exact forms
for the averaged population hâ†m âm i are calculated as follows. The above ground states have the
form (Â(2)† NS NS
0 ) |φi ∝ (Ŝ+ ) |φi, with |φi being a state with a fixed number (s ≡ n12 + 2n22 + 3n33 )
of bosons satisfying Ŝ− |φi = 0. The average Zeeman population for the ground states,
and
hâ†0 â0 i ∼ NS (1 + 2n22 )/n12 . (444)
These results show that the population of each magnetic sublevel depends very sensitively on the
spin correlations. As a consequence, a minor change in the magnetization might lead to a major
change in the population. Such dramatic changes originate from bosonic stimulations caused by
the term â†2 â†0 in Â(2)†
2 or the term (â†2 )2 â†−1 in Â(3)†
3 .
X
2
ψ= am Y2m (θ, φ) (445)
m=−2
is scalar, where Y2m (θ, φ) is the spherical harmonic function of rank 2 with θ and φ being the polar
and azimuthal angles, respectively, in the spherical coordinate system. Let
be the unit vector in the (θ, φ) direction. In terms of the unit vector k, we can rewrite Eq. (445)
as
r
15 T
ψ= k Mk, (447)
8π
where superscript T denotes the transpose, and
q
a + a − 2 a i(a2 − a−2 ) −a1 + a−1
2 −2 3 0
q
1
M = i(a2 − a−2 ) −a2 − a−2 − 23 a0 −i(a1 + a−1 )
2 q
−a1 + a−1 −i(a1 + a−1 ) 2 23 a0
ψ ψ xy ψ xz
1 xx
≡ √ ψ xy ψyy ψyz . (448)
3 ψ xz ψyz ψzz
The order parameter is thus characterized by a 3 × 3 traceless symmetric matrix TrM = 0 with
unit normalization
Tr(M∗ M) = 1. (449)
104
Let us now consider the eigenvalues of this order parameter matrix:
√ A
det E 1̂ − 3M = E 3 − 3S E + √ = 0, (450)
3 3
√
where 3 is added in front of the matrix for the sake of convenience, and S and T are the
amplitudes of the spin-singlet pair and spin-singlet trio, respectively:
1X 2 1
S = ψ = ψ2 − ψ1 ψ−1 + ψ2 ψ−2 , (451)
2 i, j i j 2 0
X
T = ǫi jk ψ xi ψy j ψzk
i, j,k
√
= −9(ψ2 ψ2−1 + ψ21 ψ−2 ) + 6ψ0 (−ψ20 + 3ψ1 ψ−1 + 6ψ2 ψ−2 ). (452)
√
Substituting S = xy and A = 2 3(x3 + y3 ), Eq. (450) reduces to
E 3 + x3 + y3 − 3Exy = 0, (453)
9. Special Topics
Substituting this into the Hamiltonian and keeping the terms up to the second order in â k,m with
k , 0, we obtain the Bogoliubov Hamiltonian for the polar phase. We are interested in how the
modes m = ±1 grow with time. The Heisenberg equations of motion for the modes are [139]
d
i~ â k,±1 = (ǫ k + q + c1 n)â k,±1 + c1 nâ−k,∓1 , (458)
dt
with the solutions given by
!
E kt ǫ k + q + c1 n Ekt
â k,±1 (t) = cos −i sin â k,±1 (0)
~ Ek ~
c1 n Ekt †
−i sin â (0), (459)
Ek ~ −k,∓1
where
s ! !
~2 k 2 ~2 k 2
Ek = +q + q + 2c1 n (460)
2M 2M
106
gives the Bogoliubov spectrum. If E k has an imaginary part, the corresponding mode is dynam-
ically unstable and it grows exponentially. Because c1 < 0 and q > 0 for spin-1 87 Rb atoms,
exponential growth occurs for q < qc , in agreement with the phase boundary.
The exponential terms describe dynamical instabilities of which the dominant term is the one for
which the imaginary part of E k is maximal. Let kmu be the “most unstable” wave number for
which |ImE k | is maximal. It follows from Eq. (460) that kmu = 0 for qc /2 < q < qc and
r
2M qc
kmu = ± − q (463)
~2 2
−1
for q < qc /2. Thus, for q < qc /2, the typical size of magnetic domains is ∼ kmu ; for qc /2 < q <
qc , it is determined by the width of the distribution of ImE k . In any case, the size of the spin
domains grows as the final value of q increases, as experimentally observed in Ref. [3]. The time
scale τ for the magnetization is given by
~
τ= , (464)
2|Ekmu |
p
which is ~/ 4q(qc − q) for qc /2 < q < qc and ~/qc for q < qc /2.
The time scale for magnetization is determined by f (t) = 1. Solving this equation by assuming
that t ≪ τQ , we obtain
! 13
~2 τQ
tQ ∼ . (469)
q2c
Substituting this into Eq. (467), we obtain
! 61
~4 1
ξQ ∼ τQ3 . (470)
M 3 qc
where α and β are random variables whose amplitudes x follow the normal distribution p(x) =
√
2/π exp(−2x2 ).
Figure 35 shows snapshots of the amplitude |F+ (r)| and the phase argF+ (r) of the transverse
magnetization after the quench. We observe that many holes emerge spontaneously after 100 ms.
These holes represent topological excitations called polar-core vortices in which the m = ±1
components have vortices with the cores filled by the m = 0 components.
By counting the number of vortices in the final state, we can determine the number of spin
vortices. Alternatively, we can calculate the same number—the spin winding number w—from
the algebraic relation
I I
1 F− ∇F+ − F+ ∇F− 1
w= · dℓ = ∇α · dℓ, (472)
2π C(R) 2i|F+ |2 2π
where C(R) is a circle of radius R and w is a count of the number of rotations of the spin vector
in the xy plane along C(R). Figure 36 shows the R dependence of the ensemble average of w2 (R).
We note that hw2 (R)iavg is proportional to R for large R in agreement with the KZ theory, whereas
it is proportional to R2 for small R.
108
Figure 35: Spontaneous magnetization following the quench from q > qc to q < qc . Shown are time developments of
the magnetization |F+ | (upper) and its direction arg |F+ | (lower) for (a) q = 0 and (b) q = qc /2. The black circles in (b)
indicate a topological defect. Reprinted from Ref. [139].
If spin vortices can be generated randomly, hw2 (R)iavg should be proportional to the area of
the system and hence to R2 . The KZ scaling law ∝ R that we observe for large R arises from
the fact that the number of vortices matches that of anti-vortices inside the disk due to spin
conservation. In other words, for small q, magnetic domains are aligned in such a manner as to
cancel the local spin when averaged over the spin correlation length. Thus, over a greater length
scale, the magnetic domains can be created independently. This is the underlying physics that
makes the spin conservation compatible with the KZ postulate of independent defect creation at
a long distance and the KZ scaling law valid for 2D systems.
we first explain the BKT transition for a single-component Bose gas, and then, we extend it to a
spinor gas.
M 2 K0
ρ0s = , (476)
~2
so that H is rewritten as
Z
1
H= d2 r ρ0s |vs |2 . (477)
2
Because Eq. (477) is quadratic in φ k , we can calculate the correlation function as
where
kB T
η= . (483)
2πK0
Thus, phase fluctuations destroy the true long-range order; however, the quasi long-range order
characterized by a power-law behavior remains.
Next, we consider the effect of fluctuations on the amplitude |ψ|. A crucial effect arises when
|ψ| passes through zero. If |ψ(r)| is finite everywhere in a singly connected region, the phase φ of
the order parameter is defined as a single-valued function. On the other hand, if ψ = 0 at r = ri ,
φ can be a multi-valued function. The points {ri } correspond to vortices around which φ varies
by an integral multiple of 2π.
The phase transition for the appearance of a quasi-long-range order can be captured by a
simple discussion of vortex nucleation. When a single vortex passes between two distinct points,
the relative phase between these two points changes by ±2π, implying that free vortices destroy
the phase coherence. Hence, the quasi-long-range order is destroyed when free vortices are
thermally excited.
111
The free energy for a single vortex can be calculated
H as follows. The circulation of the
superfluid velocity around the vortex is quantized as vs · dℓ = h/M. Assuming axisymmetry
around the vortex, we have vs = ~eϕ /(Mr), where (r, ϕ) is the polar coordinate around the vortex
and eϕ is a unit vector in the direction of ϕ. Then, the energy cost required to create a single
vortex is given by
Z Z 2π
1 R
Ev = Ec + rdr dϕ ρ0s |vs |2 (484)
2 ξ 0
!
R
= Ec + πK0 ln , (485)
ξ
where R is the radius of the system; ξ, the radius of the vortex core; and Ec , the vortex core
energy arising from the region of r < ξ. On the other hand, because the vortex can freely move
in the area of R2 , the entropy is given by S = kB ln(R2 /ξ2 ). Then, we obtain the free energy of a
free vortex as
!
R
F = Ev − T S = (πK0 − 2kB T ) ln + Ec . (486)
ξ
One can immediately see from this free energy form that the phase transition occurs at
πK0
T c0 = , (487)
2kB
above which free vortices are generated and destroy the phase coherence. From Eqs. (483) and
(487), the exponent η must satisfy η ≤ 1/4.
A more careful argument requires the interaction between vortices to be considered. If there
exists a pair of a vortex (charge 1) and an anti-vortex (charge −1) at distance d, the velocity fields
generated by these vortices at a distance larger than d cancel each other out. As a result, the
vortex pair has a finite energy of
d
Epair (d) = 2Ec + 2πK0 ln , (488)
ξ
which indicates that a vortex and an anti-vortex attract each other and form a pair at low temper-
ature. Because vortex pairs do not destroy phase coherence (see Fig. 37), the superfluid phase
transition can be interpreted as a dissociation of vortex pairs.
If there exist many vortex pairs, the attractive interaction between a vortex and an anti-vortex
is weakened by the screening effect. Kosterlitz and Thouless [147] analyzed this phase √ transition
by mapping the system to a two-dimensional Coulomb gas of unit charge q = πK0 . They
introduced a “dielectric constant” ε that renormalizes K0 to K = K0 /ε, and constructed the
renormalization-group flow equations. Their main result is that the superfluid density jumps at
the transition temperature that satisfies the universal relation:
K(T c ) ~2 ρs (T c ) 2
= 2 = . (489)
kB T c M kB T c π
This universal behavior in superfluid helium was observed by Bishop and Reppy [148]. With
regard to cold atom systems, the BKT transition of a single-component Bose gas was observed
in Ref. [149]
112
Figure 37: Local phase of the order parameter around (a) a single vortex and (b) a vortex pair, where the direction of
each arrow indicates a phase that varies between 0 and 2π. The phase around a single vortex varies, causing a velocity
field proportional to 1/r, whereas that away from the vortex pair can be uniform.
P P
where n = m |ψm |2 and F = mn ψ∗m (f)mn ψn are the number density and spin density, re-
spectively, and q is the quadratic Zeeman energy proportional to B2 . For spin-1 BECs, q =
(µB B)2 /(4∆hf ). The linear Zeeman term simply causes Larmor precession due to the spin con-
servation, and therefore, it is omitted by going onto a rotating frame of reference in the spin
space.
We consider the ferromagnetic interaction, c1 < 0. At zero temperature, the ground state
phase is the same as that we have obtained for a three-dimensional system in Sec. 3. Here,
we assume that the total longitudinal magnetization is conserved to be zero. Then, the order
113
parameter for q > qc ≡ 2|c1 |n0 is the polar phase whose order parameter is given by
0
√
ψpolar = n0 eiφ 1 , (491)
0
whereas for q < qc , the broken-axisymmetry phase appears:
p
√ iφ e−iα 1 − q̃
n e
p
ψBA =
0
2(1 + q̃) , (492)
2 iα p
e 1 − q̃
where n0 is the absolute square of the order parameter at zero temperature and q̃ ≡ q/qc .
For q > qc , there exists only one type of vortex; a conventional phase vortex. Therefore, the
BKT transition for q > qc is the same as that in single-component gases. Unbinding of phase
vortex pairs destroys the coherence of the U(1) phase that appears in the correlation function of
the m = 0 component:
hψ∗0 (r)ψ0 (0)i ∝ r−η , (493)
where η is given by Eq. (483) with renormalized K instead of K0 = ~2 n0 /M. The universal jump
is given by Eq. (489).
On the other hand, for q < qc , there exist two types of vortices, i.e., a phase vortex and
a spin vortex. The phase vortex is the same as that in the polar state, around which the U(1)
phase φ changes by integer multiples of 2π. The spin vortex is defined as a vortex around which
the direction of transverse magnetization (i.e., α) varies by integer multiple of 2π. Here, the
transverse magnetization appears at q < qc and it is given by
√ q
F+ = F x + iFy = 2 ψ∗1 ψ0 + ψ∗0 ψ−1 = n0 1 − q̃2 eiα , (494)
Fz = |ψ1 |2 − |ψ−1 |2 = 0. (495)
The effects of these vortices are independent because the energy for these fluctuations are decou-
pled as
Z h p i
1 sp
H= d2 r K0 |∇φ|2 + K0 |∇α|2 , (496)
2
where
p ~2 n 0
K0 ≡ , (497)
M
sp ~2 n0 (1 − q̃)
K0 ≡ . (498)
2M
Similar to the discussion for Eq. (486), a rough estimation for the transition temperature for the
appearance of a free phase vortex and a free spin vortex are given by
p
p πK0 π~2 n0
T c0 = = , (499)
2kB 2MkB
sp
sp πK0 π~2 n0 (1 − q̃) 1 − q̃ p
T c0 = = = T c0 , (500)
2kB 4MkB 2
114
respectively. Hence, as the temperature decreases, phase vortex pairs first bind and then spin vor-
tices form pairs at lower temperature. More proper treatment following the Kosterlitz-Thouless’s
renormalization method gives the relation between the universal jump and the transition temper-
ature:
p sp
K p (T c ) K sp (T c ) 2
p = sp = . (501)
kB T c kB T c π
The phase transitions related to the binding of the phase and spin vortices can be observed
as an appearance of the quasi-long-range order in the correlation function of m = 0 and m = ±1
components, respectively, which are given by
with
kB T kB T
ηp = , ηsp = . (504)
2πK p 2πK sp
The binding of spin vortices also contributes to the ferromagnetic long-range order
Figure 38 summarizes the above results. Depending on the temperature and the external
magnetic field, there exist three ordered phases: (I) quasi-long-range order arises only in the
m = 0 component, where the gas has no local magnetization; (II) a quasi-long-range order arises
only in the m = 0 component, where the gas is locally magnetized, but with no long-range
order of magnetization; (III) a quasi-long-range order appears in every m component, where the
transverse magnetization also exhibits the quasi-long-range order.
Here, we discuss the phase diagram at low magnetic fields. In the above system, spin vortices
are stable because the quadratic Zeeman effect suppresses the fluctuation of longitudinal magne-
tization. As the external field decreases, however, the contribution of such fluctuations becomes
larger and induces coupling between the spin and the phase vortices. Then, both transition tem-
peratures are expected to be suppressed. At zero magnetic field, the quasi-long-range order does
not appear at finite temperature as in the case of the Hisenberg spin system. Understanding the
detailed behavior in the low-magnetic-field region requires further investigation.
In the present paper, we have reviewed the basic knowledge concerning spinor Bose-Einstein
condensates (BECs) that has been accumulated thus far. The fundamental characteristics of
spinor BECs are rotational invariance, coupling between the spin and the gauge degrees of free-
dom, and magnetism arising from the magnetic moment of the spin.
The rotational invariance and gauge invariance alone uniquely determine the microscopic
Hamiltonian of the spinor BEC, as discussed in Sec. 2. The mean-field theory described in
Sec. 3 discribes the ground-state phases and the dynamics of spinor BECs. In a scalar BEC,
the measurements of the collective modes are found to agree with the theoretical values with
an accuracy better than 1% (see Ref. [150] for a comprehensive review). In the near future,
115
Figure 38: Schematic phase diagram of a 2D ferromagnetic Bose gas. (I) a quasi-long-range order appears only in
the m = 0 component with no local magnetization; (II) a quasi-long-range order arises only in the m = 0 component,
where the gas is locally magnetized, but without any long-range order of the magnetization; (III) a quasi-long-range
order appears in every m component, where the transverse magnetization also exhibits a quasi-long-range order. In the
shaded region, the fluctuation of the longitudinal magnetization is expected to destroy the quasi-long-range order.
experimental tasks to be carried out include investigating the extent to which the predictions of
the Bogoliubov theory described in Sec. 5 can be verified experimentally.
The topological excitations described in Sec. 7 are of cross-disciplinary interest; in particu-
lar, the non-Abelian nature of vortices in the nematic and cyclic phases of spin-2 BECs will have
fundamental implications on quantum turbulence and other subfields of physics. The topological
excitations are usually considered within a given order parameter manifold. However, as exem-
plified in Fig. 33 in Sec. 7.3.4, the order-parameter manifold can change dynamically from one to
another, and during a transition, the topological charge is no longer conserved. It is an interesting
theoretical question to investigate whether, if any, a more general topologically invariant quantity
can be defined in such a general situation. The relative homotopy theory described in Sec. 7.2.2
may be used as a guiding theoretical framework.
A closely related subject is vortex nucleation dynamics and vortex lattice formation. Vortices
are singularities of the order parameter. In a scalar BEC, the only possible singularity is the
density hole in the condensate. However, the spinor BEC has several different phases and the
choice of creating a density hole is energetically most costly. Thus, in spinor BECs, the vortex
core is filled by a state that does not belong to the order parameter manifold of the condensate.
As discussed in Sec. 6, the spin-1 polar BEC has a ferromagnetic vortex core, and the spin-1
ferromagnetic BEC can host a polar-core vortex. For spin-2 and higher-spin BECs, more than two
possible phases can fill the vortex core. Because each phase has its own internal spin structure,
an interesting question arises as to how the order parameter of the BEC smoothly connects the
spin structure of the vortex core [151].
The many-body quantum correlations of spinor BECs described in Sec. 8 are fragile against
an external magnetic field because the bosonic stimulation favors the mean field. The spinor-
dipolar phenomena described in Sec. 4.3 are also vulnerable against a magnetic field because
116
the Larmor precession averages out the part of the dipole interaction that couples the different
total spin components. It is noteworthy that both many-body spin correlations and spinor-dipolar
effects become significant as the external magnetic field is reduced down to approximately 10 µG.
We have good reasons to expect that further symmetry breaking occurs in such an environment
of ultralow magnetic field.
From the viewpoint of fundamental physics, the topological defect formation based on the
Kibble-Zurek mechanism discussed in Sec. 9.1 merits further experimental and theoretical study.
In particular, this effect combined with the spinor Berezinskii-Kosterlitz-Thouless transition in
two dimensions described in Sec. 9.2.1 raises many interesting questions. In fact, the gauge,
spin, and dipole-dipole interactions set very different energy scales that, we can conceive, lead
to topological phase transitions at different energy and temperature scales.
All the discussions presented in this review are restricted to absolute zero. However, experi-
ments on spinor BECs have been carried out at temperatures much higher than the typical energy
scale of the spin-exchange interaction. Nevertheless, once the system undergoes Bose-Einstein
condensation, all the condensed particles respond to an external perturbation in exactly the same
manner. When the number of condensate particles is of the order of 105 , the collective energy
for the dipole interaction amounts to 1 µK for 87 Rb and 100 µK for 52 Cr. Therefore, for temper-
atures below 0.1 µK, the dynamics of the system can be understood, at least qualitatively, based
on the zero-temperature theory. Nonetheless, it is likely that the precise measurements of collec-
tive modes are sensitive to finite-temperature effects. Moreover, when the long-time dynamics
is considered, the thermalization process is expected to play a crucial role in determining the
magnetic structure of the system. In fact, very recent experiments on the 87 Rb f = 1 BEC show
evidence of magnetic ordering [25] as a consequence of thermalization. To fully understand
such phenomena and to explore new types of temperature-quenched symmetry-breaking phase
transitions, it is obvious that we need to develop theoretical tools to investigate the dynamics of
spinor-dipolar physics at finite temperatures.
Acknowledgements
We acknowledge the fruitful collaborations with Hiroki Saito and Michikazu Kobayashi. MU
acknowledges the Aspen Center for Physics, where part of this work was carried out.
References
[1] K. Kasamatsu, M. Tsubota, M. Ueda, Vortices in multicomponent Bose-Einstein condensates, International Jour-
nal of Modern Physics B 19 (2005) 1835.
[2] F. Gerbier, A. Widera, S. Fölling, O. Mandel, I. Bloch, Resonant control of spin dynamics in ultracold quantum
gases by microwave dressing, Phys. Rev. A 73 (2006) 041602.
[3] S. R. Leslie, J. Guzman, M. Vengalattore, J. D. Sau, M. L. Cohen, D. M. Stamper-Kurn, Amplification of fluctua-
tions in a spinor Bose-Einstein condensate, Phys. Rev. A 79 (2009) 043631.
[4] M. Koashi, M. Ueda, Exact Eigenstates and Magnetic Response of Spin-1 and Spin-2 Bose-Einstein Condensates,
Phys. Rev. Lett. 63 (2000) 013601.
[5] M. Ueda, M. Koashi, Theory of spin-2 Bose-Einstein condensates: Spin correlations, magnetic response, and
excitation spectra, Phys. Rev. A 65 (2002) 063602.
[6] T. Ohmi, K. Machida, Bose-Einstein Condensation with Internal Degrees of Freedom in Alkali Atom Gases, J.
Phys. Soc. Jpn. 67 (1998) 1822.
[7] T.-L. Ho, Spinor Bose Condensates in Optical Trap, Phys. Rev. Lett. 81 (1998) 742.
[8] M.-S. Chang, C. D. Hamley, M. D. Barrett, J. A. Sauer, K. M. Fortier, W. Zhang, L. You, M. S. Chapman,
Observation of Spinor Dynamics in Optically Trapped 87Rb Bose-Einstein Condensates, Phys. Rev. Lett. 92
(2004) 140403.
117
[9] J. Stenger, S. Inouye, D. M. Stamper-Kurn, H.-J. Miesner, A. P. Chikkatur, W. Ketterle, Spin domains in ground-
state Bose-Einstein condensates, Nature 396 (1998) 345.
[10] K. Murata, H. Saito, M. Ueda, Broken-axisymmetry phase of a spin-1 ferromagnetic Bose-Einstein condensate,
Phys. Rev. A 75 (2007) 013607.
[11] C. V. Ciobanu, S.-K. Yip, T.-L. Ho, Phase diagrams of F=2 spinor Bose-Einstein condensates, Phys. Rev. A 61
(2000) 033607.
[12] J. L. Song, G. W. Semenoff, F. Zhou, Uniaxial and Biaxial Spin Nematic Phases Induced by Quantum Fluctuations,
Phys. Rev. Lett. 98 (2007) 160408.
[13] A. M. Turner, R. Barnett, E. Demler, A. Vishwanath, Nematic Order by Disorder in Spin-2 Bose-Einstein Con-
densates, Phys. Rev. Lett. 98 (2007) 190404.
[14] H. Saito, M. Ueda, Diagnostics for the ground-state phase of a spin-2 Bose-Einstein condensate, Phys. Rev. A 72
(2005) 053628.
[15] A. Griesmaier, J. Werner, S. Hensler, J. Stuhler, T. Pfau, Bose-Einstein Condensation of Chromium, Phys. Rev.
Lett. 94 (2005) 160401.
[16] J. Stuhler, A. Griesmaier, T. Koch, M. Fattori, T. Pfau, S. Giovanazzi, P. Pedri, L. Santos, Observation of Dipole-
Dipole Interaction in a Degenerate Quantum Gas, Phys. Rev. Lett. 95 (2005) 150406.
[17] S. Giovanazzi, P. Pedri, L. Santos, A. Griesmaier, M. Fattori, T. Koch, J. Stuhler, T. Pfau, Expansion dynamics of
a dipolar Bose-Einstein condensate, Phys. Rev. A 74 (2006) 013621.
[18] T. Lahaye, T. Koch, B. Fröhlich, M. Fattori, J. Metz, A. Griesmaier, S. Giovanazzi, T. Pfau, Strong dipolar effects
in a quantum ferrofluid, Nature 448 (2007) 672.
[19] T. Koch, T. Lahaye, J. Metz, B. Fröhlich, A. Griesmaier, T. Pfau, Stabilization of a purely dipolar quantum gas
against collapse, Nature Physics 4 (2008) 218.
[20] T. Lahaye, J. Metz, B. Fröhlich, T. Koch, M. Meister, A. Griesmaier, T. Pfau, H. Saito, Y. Kawaguchi, M. Ueda,
d-Wave Collapse and Explosion of a Dipolar Bose-Einstein Condensate, Phys. Rev. Lett. 101 (2008) 080401.
[21] J. M. Doyle, B. Friedrich, J. Kim, D. Patterson, Buffer-gas loading of atoms and molecules into a magnetic trap,
Phys. Rev. A 52 (1995) R2515.
[22] K.-K. Ni, S. Ospelkaus, M. H. G. de Miranda, A. Pe’er, B. Neyenhuis, J. J. Zirbel, S. Kotochigova, P. S. Julienne,
D. S. Jin, J. Ye, A High Phase-Space-Density Gas of Polar Molecules, Science 322 (2008) 321.
[23] J. Deiglmayr, A. Grochola, M. Repp, K. Mörtlbauer, C. Glück, J. Lange, O. Dulieu, R. Wester, M. Weidemüller,
Formation of Ultracold Polar Molecules in the Rovibrational Ground State, Phys. Rev. Lett. 101 (2008) 133004.
[24] M. Fattori, G. Roati, B. Deissler, C. D’Errico, M. Zaccanti, M. Jona-Lasinio, L. Santos, M. Inguscio, G. Modugno,
Magnetic Dipolar Interaction in a Bose-Einstein Condensate Atomic Interferometer, Phys. Rev. Lett. 101 (2008)
190405.
[25] M. Vengalattore, S. R. Leslie, J. Guzman, D. M. Stamper-Kurn, Spontaneously Modulated Spin Textures in a
Dipolar Spinor Bose-Einstein Condensate, Phys. Rev. Lett. 100 (2008) 170403.
[26] S. E. Pollack, D. Dries, M. Junker, Y. P. Chen, T. A. Corcovilos, R. G. Hulet, Extreme Tunability of Interactions
in a 7 Li Bose-Einstein Condensate, Phys. Rev. Lett. 102 (2009) 090402.
[27] M. Baranov, L. Dobrek, K. Góral, L. Santos, M. Lewenstein, Ultracold Dipolar Gases - a Challenge for Experi-
ments and Theory, Physica Scripta. T102 (2002) 74.
[28] M. A. Baranov, Theoretical progress in many-body physics with ultracold dipolar gases, Physics Reports 464
(2008) 71.
[29] T. Lahaye, C. Menotti, L. Santos, M. Lewenstein, T. Pfau, The physics of dipolar bosonic quantum gases, arXiv
(2009) 0905.0386.
[30] L. D. Landau, E. M. Lifshitz, Quantum Mechanics (Non-Relativistic Theory) 3rd edition, Butterworth-
Heinemann, 1981.
[31] S. Yi, L. You, Trapped atomic condensates with anisotropic interactions, Phys. Rev. A 61 (2000) 041604(R).
[32] S. Yi, L. You, Trapped condensates of atoms with dipole interactions, Phys. Rev. A 63 (2001) 053607.
[33] M. Marinescu, L. You, Controlling Atom-Atom Interaction at Ultralow Temperatures by dc Electric Fields, Phys.
Rev. Lett. 81 (1998) 4596.
[34] B. Deb, L. You, Low-energy atomic collision with dipole interactions, Phys. Rev. A 64 (2001) 022717.
[35] A. Derevianko, Anisotropic pseudopotential for polarized dilute quantum gases, Phys. Rev. A 67 (2003) 033607.
[36] A. Derevianko, Erratum: Anisotropic pseudopotential for polarized dilute quantum gases [Phys. Rev. A 67,
033607 (2003)], Phys. Rev. A 72 (2005) 039901.
[37] M. Aymar, O. Dulieu, Calculation of accurate permanent dipole moments of the lowest 1,3Sigma+ states of
heteronuclear alkali dimers using extended basis sets, Journal of Chemical Physics 122 (2005) 204302.
[38] J. D. Weinstein, R. deCarvalho, T. Guillet, B. Friedrich, J. M. Doyle, Magnetic trapping of calcium monohydride
molecules at millikelvin temperatures, Nature 395 (1998) 148.
[39] D. Egorov, T. Lahaye, W. Schöllkopf, B. Friedrich, J. M. Doyle, Buffer-gas cooling of atomic and molecular
beams, Phys. Rev. A 66 (2002) 043401.
118
[40] S. Y. T. van de Meerakker, H. L. Bethlem, G. Meijer, Taming molecular beams, Nature Physics 4 (2008) 595.
[41] K. Aikawa, D. Akamatsu, J. Kobayashi, M. Ueda, T. Kishimoto, S. Inouye, Toward the production of quantum
degenerate bosonic polar molecules, 41 K87 Rb, New J. Phys. 11 (2009) 055035.
[42] J. Werner, A. Griesmaier, S. Hensler, J. Stuhler, T. Pfau, A. Simoni, E. Tiesinga, Observation of Feshbach Reso-
nances in an Ultracold Gas of 52 Cr, Phys. Rev. Lett. 94 (2005) 183201.
[43] S. Giovanazzi, A. Görlitz, T. Pfau, Tuning the Dipolar Interaction in Quantum Gases, Phys. Rev. Lett. 89 (2002)
130401.
[44] K. Góral, L. Santos, Ground state and elementary excitations of single and binary Bose-Einstein condensates of
trapped dipolar gases, Phys. Rev. A 66 (2002) 023613.
[45] S. Ronen, D. C. E. Bortolotti, J. L. Bohn, Bogoliubov modes of a dipolar condensate in a cylindrical trap, Phys.
Rev. A 74 (2006) 013623.
[46] K. Góral, K. Rzazewski, T. Pfau, Bose-Einstein condensation with magnetic dipole-dipole forces, Phys. Rev. A
61 (2000) 051601(R).
[47] J.-P. Martikainen, M. Mackie, K.-A. Suominen, Comment on ”Bose-Einstein condensation with magnetic dipole-
dipole forces”, Phys. Rev. A 64 (2001) 037601.
[48] L. Santos, G. V. Shlyapnikov, P. Zoller, M. Lewenstein, Bose-Einstein Condensation in Trapped Dipolar Gases,
Phys. Rev. Lett. 85 (2000) 1791.
[49] D. H. J. O’Dell, S. Giovanazzi, C. Eberlein, Exact Hydrodynamics of a Trapped Dipolar Bose-Einstein Conden-
sate, Phys. Rev. Lett. 92 (2004) 250401.
[50] C. Eberlein, S. Giovanazzi, D. H. J. O’Dell, Exact solution of the Thomas-Fermi equation for a trapped Bose-
Einstein condensate with dipole-dipole interactions, Phys. Rev. A 71 (2005) 033618.
[51] S. Ronen, D. C. E. Bortolotti, J. L. Bohn, Radial and Angular Rotons in Trapped Dipolar Gases, Phys. Rev. Lett.
98 (2007) 030406.
[52] L. Santos, G. V. Shlyapnikov, M. Lewenstein, Roton-Maxon Spectrum and Stability of Trapped Dipolar Bose-
Einstein Condensates, Phys. Rev. Lett. 90 (2003) 250403.
[53] U. R. Fischer, Stability of quasi-two-dimensional Bose-Einstein condensates with dominant dipole-dipole inter-
actions, Phys. Rev. A 73 (2006) 031602(R).
[54] D. H. J. O’Dell, S. Giovanazzi, G. Kurizki, Rotons in Gaseous Bose-Einstein Condensates Irradiated by a Laser,
Phys. Rev. Lett. 90 (2003) 110402.
[55] P. Pedri, L. Santos, Two-Dimensional Bright Solitons in Dipolar Bose-Einstein Condensates, Phys. Rev. Lett. 95
(2005) 200404.
[56] I. Tikhonenkov, B. A. Malomed, A. Vardi, Anisotropic Solitons in Dipolar Bose-Einstein Condensates, Phys. Rev.
Lett. 100 (2008) 090406.
[57] R. Nath, P. Pedri, L. Santos, Phonon Instability with Respect to Soliton Formation in Two-Dimensional Dipolar
Bose-Einstein Condensates, Phys. Rev. Lett. 102 (2009) 050401.
[58] H. Matsuda, T. Tsuneto, Off-Diagonal Long-Range Order in Solids, Supplement of the Progress of Theoretical
Physics 46 (1970) 411.
[59] K.-S. Liu, M. E. Fisher, Quantum lattice gas and the existence of a supersolid, Journal of Low Temperature Physics
10 (1973) 655.
[60] C. Bruder, R. Fazio, G. Schön, Superconductor–Mott-insulator transition in Bose systems with finite-range inter-
actions, Phys. Rev. B 47 (1993) 342.
[61] A. van Otterlo, K.-H. Wagenblast, Coexistence of diagonal and off-diagonal long-range order: A Monte Carlo
study, Phys. Rev. Lett. 72 (1994) 3598.
[62] A. F. Andreev, I. M. Lifshitz, Quantum theory of crystal defects, Sov. Phys. JETP 29 (1969) 1107.
[63] G. V. Chester, Speculations on Bose-Einstein Condensation and Quantum Crystals, Phys. Rev. A 2 (1970) 256.
[64] A. J. Leggett, Can a Solid Be ”Superfluid”?, Phys. Rev. Lett. 25 (1970) 1543.
[65] K. Góral, L. Santos, M. Lewenstein, Quantum Phases of Dipolar Bosons in Optical Lattices, Phys. Rev. Lett. 88
(2002) 170406.
[66] S. Yi, T. Li, C. P. Sun, Novel Quantum Phases of Dipolar Bose Gases in Optical Lattices, Phys. Rev. Lett. 98
(2007) 260405.
[67] D. Jaksch, C. Bruder, J. I. Cirac, C. W. Gardiner, P. Zoller, Cold Bosonic Atoms in Optical Lattices, Phys. Rev.
Lett. 81 (1998) 3108.
[68] C. Menotti, C. Trefzger, M. Lewenstein, Metastable States of a Gas of Dipolar Bosons in a 2D Optical Lattice,
Phys. Rev. Lett. 98 (2007) 235301.
[69] H. Saito, Y. Kawaguchi, M. Ueda, Ferrofluidity in a two-component dipolar Bose-Einstein Condensate, arXiv
(2009) 0812.0278.
[70] S. Yi, L. You, H. Pu, Quantum Phases of Dipolar Spinor Condensates, Phys. Rev. Lett. 93 (2004) 040403.
[71] H. Pu, W. Zhang, P. Meystre, Ferromagnetism in a Lattice of Bose-Einstein Condensates, Phys. Rev. Lett. 87
(2001) 140405.
119
[72] K. Gross, C. P. Search, H. Pu, W. Zhang, P. Meystre, Magnetism in a lattice of spinor Bose-Einstein condensates,
Phys. Rev. A 66 (2002) 033603.
[73] W. Zhang, H. Pu, C. Search, P. Meystre, Spin Waves in a Bose-Einstein Condensed Atomic Spin Chain, Phys.
Rev. Lett. 88 (2002) 060401.
[74] Y. Kawaguchi, H. Saito, M. Ueda, Einstein-de Haas Effect in Dipolar Bose-Einstein Condensates, Phys. Rev. Lett.
96 (2006) 080405.
[75] K. Gawryluk, M. Brewczyk, K. Bongs, M. Gajda, Resonant Einstein–de Haas Effect in a Rubidium Condensat,
Phys. Rev. Lett. 99 (2007) 130401.
[76] L. D. Landau, E. M. Lifshitz, Electrodynamics of Continuous Media, 2nd edition, Butterworth-Heinemann, 1984.
[77] Y. Kawaguchi, H. Saito, M. Ueda, Spontaneous Circulation in Ground-State Spinor Dipolar Bose-Einstein Con-
densates, Phys. Rev. Lett. 97 (2006) 130404.
[78] M. Takahashi, S. Ghosh, T. Mizushima, K. Machida, Spinor Dipolar Bose-Einstein Condensates: Classical Spin
Approach, Phys. Rev. Lett. 98 (2007) 260403.
[79] S. Yi, H. Pu, Spontaneous Spin Textures in Dipolar Spinor Condensates, Phys. Rev. Lett. 97 (2006) 020401.
[80] Y. Kawaguchi, H. Saito, M. Ueda, Can Spinor Dipolar Effects be Observed in Bose-Einstein Condensates?, Phys.
Rev. Lett. 98 (2007) 110406.
[81] J. Zhang, T.-L. HO, Spontaneous Vortex Lattices in Quasi 2D Dipolar Spinor Condensates, arXiv:0908.1593 .
[82] Y. Kawaguchi, K. Kudo, H. Saito, M. Ueda, Magnetic crystallization of a ferromagnetic Bose-Einstein condensate,
arXiv:0909.0565 .
[83] J. A. Kjäll, A. M. Essin, J. E. Moore, Magnetic phase diagram of a spin-1 condensate in two dimensions with
dipole interaction, arXiv:0909.1751 .
[84] M. Vengalattore, S. R. Leslie, J. Guzman, D. M. Stamper-Kurn, Crystalline Magnetic Order in a Dipolar Quantum
Fluid, arXiv:0901.3800 .
[85] C. K. Law, H. Pu, N. P. Bigelow, Quantum Spins Mixing in Spinor Bose-Einstein Condensates, Phys. Rev. Lett.
81 (1998) 5257.
[86] T.-L. Ho, S. K. Yip, Fragmented and Single Condensate Ground States of Spin-1 Bose Gas, Phys. Rev. Lett. 84
(2000) 4031.
[87] M. Ueda, Many-Body Theory of Dilute Bose-Einstein Condensates with Internal Degrees of Freedom, Phys. Rev.
A 63 (2000) 013601.
[88] H.-J. Miesner, D. M. Stamper-Kurn, J. Stenger, S. Inouye, A. P. Chikkatur, W. Ketterle, Observation of Metastable
States in Spinor Bose-Einstein Condensates, Phys. Rev. Lett. 82 (1999) 2228.
[89] E. V. Goldstein, P. Meystre, Quasiparticle instabilities in multicomponent atomic condensates, Phys. Rev. A 55
(1997) 2935.
[90] E. Mueller, G. Baym, Finite-temperature collapse of a Bose gas with attractive interactions, Phys. Rev. A 62
(1999) 053605.
[91] J. J. P. Burke, C. H. Greene, J. L. Bohn, Multichannel Cold Collisions: Simple Dependences on Energy and
Magnetic Field, Phys. Rev. Lett. 81 (1998) 3355.
[92] S. Uchino, M. Kobayashi, M. Ueda, Bogoliubov Theory and Lee-Huang-Yang Correction in Spin-1 and Spin-2
Bose-Einstein Condensates in the Presence of the Quadratic Zeeman Effect, arXiv:0912.0355 .
[93] R. W. Cherng, E. Demler, Roton softening and supersolidity in Rb spinor condensates, arXiv:0806.1991 .
[94] A. Lamacraft, Long-wavelength spin dynamics of ferromagnetic condensates, Phys. Rev. A 77 (2008) 063622.
[95] N. D. Mermin, T.-L. Ho, Circulation and Angular Momentum in the A Phase of Superfluid Helium-3, Phys. Rev.
Lett. 36 (1976) 594.
[96] M. Nakahara, T. Isoshima, K. Machida, S.-i. Ogawa, T. Ohmi, A simple method to create a vortex in Bose-Einstein
condensate of alkali atoms, Physica B: Condensed Matter 284–288 (2000) 17.
[97] T. Isoshima, M. Nakahara, T. Ohmi, K. Machida, Creation of a persistent current and vortex in a Bose-Einstein
condensate of alkali-metal atoms, Phys. Rev. A 61 (2000) 063610.
[98] A. E. Leanhardt, A. Görlitz, A. P. Chikkatur, D. Kielpinski, Y. Shin, D. E. Pritchard, W. Ketterle, Imprinting
Vortices in a Bose-Einstein Condensate using Topological Phases, Phys. Rev. Lett. 89 (2002) 190403.
[99] A. E. Leanhardt, Y. Shin, D. Kielpinski, D. E. Pritchard, W. Ketterle, Coreless Vortex Formation in a Spinor
Bose-Einstein Condensate, Phys. Rev. Lett. 90 (2003) 140403.
[100] L. E. Sadler, J. M. Higbie, S. R. Leslie, M. Vengalattore, D. M. Stamper-Kurn, Spontaneous symmetry breaking
in a quenched ferromagnetic spinor Bose-Einstein condensate, Nature 443 (2006) 312.
[101] F. Zhou, Spin Correlation and Discrete Symmetry in Spinor Bose-Einstein Condensates, Phys. Rev. Lett. 87 (2001)
080401.
[102] U. Leonhardt, G. E. Volovik, How to Create an Alice String (Half-Quantum Vortex) in a Vector Bose-Einstein
Condensate, JETP Lett. 72 (2000) 46.
[103] B. Li, X.-F. Zhang, Y.-Q. Li, Y. Chen, W. M. Liu, Dynamical Creation of Fractionalized Vortices and Vortex
Lattices, Phys. Rev. Lett. 101 (2008) 010402.
120
[104] T. Isoshima, K. Machida, T. Ohmi, Quantum Vortex in a Spinor Bose-Einstein Condensate, J. Phys. Soc. Jpn. 70
(2001) 1604.
[105] N. D. Mermin, d-wave pairing near the transition temperature, Phys. Rev. A 9 (1974) 868.
[106] G. W. Semenoff, F. Zhou, Discrete Symmetries and 1/3-Quantum Vortices in Condensates of F=2 Cold Atoms,
Phys. Rev. Lett. 98 (2007) 100401.
[107] T. Mizushima, N. Kobayashi, K. Machida, Coreless and singular vortex lattices in rotating spinor Bose-Einstein
condensates, Phys. Rev. A 70 (2004) 043613.
[108] W. V. Pogosov, R. Kawate, T. Mizushima, K. Machida, Vortex structure in spinor F=2 Bose-Einstein condensates,
Phys. Rev. A 72 (2005) 063605.
[109] N. R. Cooper, E. H. Rezayi, S. H. Simon, Vortex Lattices in Rotating Atomic Bose Gases with Dipolar Interac-
tions, Phys. Rev. Lett. 95 (2005) 200402.
[110] E. H. Rezayi, N. Read, N. R. Cooper, Incompressible Liquid State of Rapidly Rotating Bosons at Filling Factor
3/2, Phys. Rev. Lett. 95 (2005) 160404.
[111] J. Zhang, H. Zhai, Vortex Lattices in Planar Bose-Einstein Condensates with Dipolar Interactions, Phys. Rev. Lett.
95 (2005) 200403.
[112] S. Yi, H. Pu, Vortex structures in dipolar condensates, Phys. Rev. A 73 (2006) 061602(R).
[113] S. Komineas, N. R. Cooper, Vortex latties in Bose-Einstein condensates with dipolar interactions beyond the
weak-interaction limit, Phys. Rev. A 75 (2007) 023623.
[114] M. Kobayashi, Y. Kawaguchi, M. Nitta, M. Ueda, Collision Dynamics and Rung Formation of Non-Abelian
Vortices, arXiv:0810.5441 .
[115] L. Michel, Symmetry defects and broken symmetry. Configurations Hidden symmetry, Reviews of Modern
Physics 52 (1980) 617.
[116] C. Bruder, D. Vollhardt, Symmetry and stationary points of a free energy: The case of superfluid He3, Phys. Rev.
B 34 (1986) 131.
[117] G. E. Volovik, L. P. Gorkov, Superconducting classes in heavy-fermion systems, Sov. Phys. JETP 61 (1985) 843.
[118] M. Ozaki, K. Machida, T. Ohmi, On p-Wave Pairing Superconductivity under Cubic Symmetry, Progress of
Theoretical Physics 74 (1985) 221.
[119] S.-K. Yip, Symmetry and inert states of spin Bose-Einstein condensates, Phys. Rev. A 75 (2007) 023625.
[120] H. Mäkelä, K.-A. Suominen, Inert States of Spin-S Systems, Phys. Rev. Lett. 99 (2007) 190408.
[121] Y. Kawaguchi, M. Ueda, in preparation .
[122] N. D. Mermin, The topological theory of defects in ordered media, Reviews of Modern Physics 51 (1979) 591.
[123] V. P. Mineev, Topologically Stable Defects and Solitons in Ordered Media, Harwood Academic Publishers, Aus-
tralia, 1998, 1998.
[124] R. Shankar, Applications of topology to the study of ordered systems, J. Phys. 38 (1977) 1405.
[125] G. E. Volovik, V. P. Mineev, Particle-like solitons in superfluid 3 He phases, Sov. Phys. JETP 46 (1977) 401.
[126] J. Ruostekoski, J. R. Anglin, Monopole Core Instability and Alice Rings in Spinor Bose-Einstein Condensates,
Phys. Rev. Lett. 91 (2003) 190402.
[127] C. M. Savage, J. Ruostekoski, Dirac monopoles and dipoles in ferromagnetic spinor Bose-Einstein condensates,
Phys. Rev. A 68 (2003) 043604.
[128] U. A. Khawaja, H. Stoof, Skyrmions in a ferromagnetic Bose-Einstein condensate, Nature 411 (2001) 918.
[129] U. A. Khawaja, H. Stoof, Skyrmion physics in Bose-Einstein ferromagnets, Phys. Rev. A 64 (2001) 043612.
[130] Y. Kawaguchi, M. Nitta, M. Ueda, Knots in a Spinor Bose-Einstein Condensate, Phys. Rev. Lett. 100 (2008)
180403.
[131] L. Faddeev, A. J. Niemi, Stable knot-like structures in classical field theory, Nature 387 (1997) 58.
[132] P. N. eres, D. S. James, Particle vs. pair condensation in attactive Bose liquids, J. Phys. (Paris) 43 (1982) 1133.
[133] E. J. Mueller, T.-L. Ho, M. Ueda, G. Baym, Fragmentation of Bose-Einstein condensates, Phys. Rev. A 74 (2006)
033612.
[134] T. W. B. Kibble, Topology of cosmic domains and strings, J. Phys. A 9 (1976) 1387.
[135] W. H. Zurek, Cosmological experiments in superfluid helium?, Nature 317 (1985) 505.
[136] W. H. Zurek, Cosmological experiments in condensed matter systems, Physics Reports 276 (1996) 177.
[137] D. Scherer, C. Weiler, T. Neely, B. Anderson, Vortex Formation by Merging of Multiple Trapped BECs, Phys.
Rev. Lett. 98 (2007) 110402.
[138] C. Weiler, T. Neely, D. Scherer, A. Bradley, M. Davis, , B. Anderson, Spontaneous vortices in the formation of
BECs, Nature 455 (2008) 948.
[139] H. Saito, Y. Kawaguchi, M. Ueda, Kibble-Zurek mechanism in a quenched ferromagnetic Bose-Einstein conden-
sate, Phys. Rev. A 76 (2007) 043617.
[140] A. Lamacraft, Quantum Quenches in a Spinor Condensate, Phys. Rev. Lett. 98 (2007) 160404.
[141] M. Uhlmann, R. Schützhold, U. R. Fischer, Vortex Quantum Creation and Winding Number Scaling in a Quenched
Spinor Bose Gas, Phys. Rev. Lett. 99 (2007) 120407.
121
[142] R. Peierls, Quelques propriétés typiques des crops solides, Ann. Inst. Henri Poincaré 5 (1935) 177.
[143] V. L. Landau, Zur Theorie der phasenumwandlungen I, Phys. Z. Sowjetunion 11 (1937) 26.
[144] N. D. Mermin, H. Wagner, Absence of Ferromagnetism or Antiferromagnetism in One- or Two-Dimensional
Isotropic Heisenberg Models, Phys. Rev. Lett. 17 (1966) 1133.
[145] P. C. Hohenberg, Existence of Long-Range Order in One and Two Dimensions, Phys. Rev. 158 (1967) 383.
[146] L. D. Landau, E. M. Lifshitz, Statistical Physics, 3rd edition part 1, Butterworth-Heinemann, 1980.
[147] J. M. Kosterlitz, D. J. Thouless, Ordering, metastability and phase transitions in two-dimensional systems, J. Phys.
C: Solid State Phys. 6 (1973) 1181.
[148] D. J. Bishop, J. D. Reppy, Study of the Superfluid Transition in Two-Dimensional 4 He Films, Phys. Rev. Lett. 40
(1978) 1727.
[149] Z. Hadzibabic, P. Krüger, M. C. B. Battelier, J. Dalibard, Berezinskii2̆013Kosterlitz2̆013Thouless crossover in a
trapped atomic gas, Nature 441 (2006) 1118.
[150] F. Dalfovo, S. Giorgini, L. P. Pitaevskii, S. Stringari, Theory of Bose-Einstein condensation in trapped gases,
Reviews of Modern Physics 71 (1999) 463.
[151] M. Kobayashi, Y. Kawaguchi, M. Ueda, Vortex Tiling in a Spin-2 Spinor Bose-Einstein Condensate,
arXiv:0907.3716v1 .
122