
2
the density fringes, establishing SOC BECs as paradigm
examples of supersolidity.
Origin of stripe dynamics.—We consider the common
scenario where SOC is generated in a binary mixture of
atomic quantum gases by coupling two internal states
using a pair of intersecting Raman lasers [34–36]. In con-
trast to quantum mixtures with a simple coherent cou-
pling of radio frequency or microwave type, the Raman
coupling involves a finite momentum transfer −2ℏk0=
−2ℏk0ˆ
ex, which we assume to point in the negative xdi-
rection. In the limit of weak Raman coupling, the emer-
gence of the stripes and their dynamics can simply be
explained as a spatial interference effect within a wave
function which has four components (Fig. 1): spin-up
condensate at zero momentum with a SOC admixture of
spin down at wave vector 2k0, and spin-down conden-
sate at zero momentum with a SOC admixture of spin
up at wave vector −2k0. Because of SOC, there is now a
spatial interference pattern between the two spin-up and
two spin-down components with wave vector K= 2k0.
The spontaneously chosen relative phase between the two
condensates determines the origin of the stripe pattern.
If there is a chemical potential difference between the
two components, the relative phase of the two conden-
sates will oscillate and therefore also the position of the
stripes. One can add a spin current to the system, e.g.,
an out-of-phase or relative motion between the two con-
densates, which thus obtain the momenta ±ℏkrel/2. The
four components of the wave function are now at krel/2,
−krel/2−2k0for spin up and −krel/2,krel/2 + 2k0for
spin down, and the spatial interference pattern has now
the wave vector K= 2k0+krel. If the spin current is
oscillating, the wave vector of the stripe pattern will os-
cillate at the same frequency. When krel is parallel to k0,
the fringe spacing oscillates. When they are perpendicu-
lar, the angle of the fringes oscillates. In what follows, we
confirm and extend this intuitive picture using rigorous
perturbative calculations and numerical simulations.
Theoretical framework.—After transforming to a spin-
rotated frame, the single-particle Hamiltonian of the sys-
tem takes the time-independent form [21]
HSOC =1
2m(p−ℏk0σz)2+ℏΩ
2σx+ℏδ
2σz+V(r),(1)
where mis the atomic mass, σxand σzare Pauli matrices,
Ωis the strength of the Raman coupling, δis the effective
detuning, and V(r)is a single-particle potential. In infi-
nite systems (V≡0), the Hamiltonian is translationally
invariant and allows for a spontaneous breaking of this
symmetry, which, in combination with the broken U(1)
symmetry in the BEC phase, gives rise to supersolidity.
Since quantum depletion of a SOC BEC is typically
small under realistic conditions [37, 38], interactions be-
tween atoms are well described by mean-field theory via
the Gross–Pitaevskii (GP) energy functional [39]
E=ZdrΨ†HSOCΨ + gnn
2n2+gss
2s2
z+gnsnsz.
(2)
Here, the order parameter is given by a two-component
spinor Ψ = (Ψ↑,Ψ↓)⊺with complex wave functions
Ψ↑and Ψ↓for the individual spin states. The last
three terms in Eq. (2) describe density–density, spin–
spin, and density–spin interactions, respectively, where
n=|Ψ↑|2+|Ψ↓|2denotes the total particle density and
sz=|Ψ↑|2− |Ψ↓|2is the spin density. The correspond-
ing interaction constants gnn = (g↑↑ +g↓↓ + 2g↑↓)/4,
gss = (g↑↑ +g↓↓ −2g↑↓)/4, and gns = (g↑↑ −g↓↓)/4are
obtained from suitable combinations of the coupling con-
stants gij = 4πℏ2aij /m, determined by the s-wave scat-
tering lengths aij of the respective spin channels with
i, j ∈ {↑,↓}. We focus our analysis on symmetric in-
traspecies interactions, assuming gns = 0 and δ= 0 from
now on.
At the critical Raman coupling ℏΩcr =
4Erp2gss/(gnn + 2gss)[23, 25], where Er= (ℏk0)2/2m
is the recoil energy, the system undergoes a first-order
transition between the supersolid (stripe) phase and
the superfluid (but not supersolid) so-called plane-wave
and single-minimum phases (see, e.g., Ref. [27]). The
latter are characterized by a strong Raman coupling
that is responsible for the locking of the relative phase
between the two spin components [40], resulting from
the competition between the spin (gss) and density
(gnn) interaction components of the mean-field energy
functional (2) [41]. Consequently, there is only a single
spin–density-hybridized Goldstone mode above Ωcr.
Conversely, in the supersolid phase, below Ωcr, the
spontaneous breaking of both phase and translational
symmetry implies the existence of two Goldstone modes
of predominantly density and spin nature with distinct
sound velocities (see Supplemental Material (SM) [42]
for further details) [26, 29].
A major question to be addressed in what follows is
how the spin degree of freedom can induce dynamics in
the stripe patterns and in particular how the excitation
of a spin wave results in the excitation of a crystal wave
affecting the time dependence of the density profile.
Perturbation approach in infinite systems.—A useful
scenario to probe this question consists in suddenly re-
leasing at time t= 0 a small static spin perturbation of
the form −λErσzcos(q·r), with 0< λ ≪1. The wave
vector qis assumed to be small in order to explore the
relevant phonon regime, where a major effect of the re-
lease of the perturbation is the creation of a spin wave
propagating with velocity cs. Here, we are mainly inter-
ested in its effect on the dynamic behavior of the stripes
characterizing the density distribution. Starting from the
results of Ref. [29] for the Bogoliubov amplitudes of the
phonon modes in the long-wavelength limit, and neglect-
ing the small contributions of the gapped modes of the
Bogoliubov spectrum, the space and time dependence of
the density can be written in the form
n(r, t) = ¯n+
+∞
X
¯m=1
˜n¯mcos[ ¯mχ(r, t)] .(3)