Professional Documents
Culture Documents
Time Crystals: A Review: Strocchi 2005
Time Crystals: A Review: Strocchi 2005
chi, 2005). It is related to a situation where equations switch to the consideration of possibility of spontaneous
describing a system possess a symmetry but a system time translation symmetry breaking and the idea of time
chooses spontaneously a solution that breaks this sym- crystal. We will report on the on-going research in time-
metry. The effect can be identified with a vulnerability of independent systems and in systems that are periodically
exact symmetric eigenstates to any infinitesimally weak driven and are able to reveal discrete time crystal phe-
perturbation. nomena. Next, the research on a possible realization of
In 2012 Frank Wilczek proposed an idea of time crys- condensed matter phenomena in the time domain will be
tals (Wilczek, 2012). He posed a question whether there described.
exist systems which break spontaneously time transla-
tion symmetry. In other words if it is possible that
a many-body system self-organizes in time and starts II. TIME CRYSTALS: ORIGINAL IDEA AND
PERSPECTIVES
spontaneously to undergo a periodic motion. This kind
of self-organization is a quantum effect and should not
We introduce here a concept of time crystals which is
be mixed with classical self-organization processes that
related to spontaneous breaking of time translation sym-
occur in many systems in nature ranging from flash-
metry in analogy to spontaneous space translation sym-
ing Asian fireflies to synchronized clapping of an audi-
metry breaking in the formation of space crystals. We
ence that expresses appreciation for an impressive per-
begin with the description of space crystals that allows
formance (Glass and Mackey, 1988; Neda Z. et al., 2000).
us to explain phenomena that can also be observed in the
Wilczek considered a time-independent system and sug-
time domain when a many-body system switches spon-
gested that it can spontaneously turn to periodic mo-
taneously to periodic motion realizing the time crystal.
tion even in the lowest energy state. It is already known
that the original Wilczek idea cannot be realized (Bruno,
2013c; Watanabe and Oshikawa, 2015). However, it be- A. Origin of space crystals: spontaneous breaking of space
came an inspiration to other physicists and a novel re- translation symmetry
search field has been opened.
Exploration of this time territory started immedi- Formation of space crystals relies on periodic self-
ately and soon a new version of time crystals was pro- organization of atoms due to their mutual interactions.
posed, that is, a discrete or Floquet time crystals (Sacha, Under certain conditions atoms arrange themselves in a
2015b). That time crystals are related to quantum self- periodic lattice that manifests itself in a periodic behav-
organization of motion of a many-body system that is pe- ior in space of a probability density for a measurement of
riodically driven by an external force. Soon other propo- a single particle (an electron or an ion). Strictly speaking
sitions of Floquet time crystals emerged in driven spin such a state cannot be the ground state of a many-body
systems (Else et al., 2016; Khemani et al., 2016). While atomic system because it breaks the translation symme-
one would expect that in a stationary state a system try (assuming a typical nondegenerate ground state). To
should follow an external driving it turns out that due see this, let us consider a solid state Hamiltonian,
to the mutual interaction between particles, the system
N N
prefers to move on its own and spontaneously switches to X p2i 1X
a periodic motion with a different period than a period H= + Uij (ri − rj ), (1)
i=1
2mi 2
of driving. This kind of time crystallization has been re- i6=j
cently realized in laboratories (Choi et al., 2017; Zhang that describes N interacting particles in a finite volume
et al., 2017). V with periodic boundary conditions. If we shift all po-
In condensed matter physics properties of space crys- sitions ri by the same vector R, the Hamiltonian does
tals are often analyzed with the help of space periodic not change because it depends on relative distances be-
potentials — it is assumed that a space crystal is already tween particles only. It means that the system possesses
formed, i.e. a crystalline structure has emerged. Systems continuous (i.e. vector R can be arbitrary) space transla-
that are periodically driven in time by an external force tion symmetry; the corresponding (unitary) space trans-
not only can reveal spontaneous breaking of a discrete lation operator TR commutes with H and eigenstates
time translation symmetry but can also show solid state ψn (r1 , . . . , rN ) of H are also eigenstates of TR ,
phenomena in the time domain. This research has been
already initiated and shows that Anderson localization or TR ψn (r1 , . . . , rN ) = eiϕ ψn (r1 , . . . , rN ). (2)
Mott insulator phase in the time domain can be observed
(Sacha, 2015a). Taking into account Eq. (2) and the fact that
In this review article we describe the present status TR ψn (r1 , . . . , rN ) = ψn (r1 + R, . . . , rN + R), (3)
of the time crystal research. We start with an introduc-
tion to the phenomenon of spontaneous space transla- it is easy to show that the probability density for the
tion symmetry breaking in solid state systems. Then, we measurement of a single particle must be uniform in space
3
if a system is prepared in the ground state (or any other its lifetime exceeds easily thousands of years. It can be
nondegenerate eigenstate), estimated assuming that the center of mass is described
Z by a wave-packet localized on a length scale σ ≈ 10−11 m,
h2
ρ(r1 + R) = d(r2 + R) . . . d(rN + R) then, the corresponding kinetic energy is Ek = 2mN σ2 .
2 If such a system is isolated, the quantum spreading of
Z × |ψn (r1 + R, . . . , rN + R)| the wave-packet leads to a delocalization of a space crys-
2
= dr2 . . . drN |ψn (r1 , . . . , rN )| = ρ(r1 ), (4) tal. However, in order see that the crystalline structure
is blurred, the center of mass must be delocalized on a
and no discrete structure is visible. However, crystalline length scale of the order of the lattice constant of a crys-
properties can be observed in the two-point correlation tal, i.e. a ≈ 10−10 m, that takes time of the order of
function, t = a/(h/mN σ) ≈ 5 · 104 years for mN = 1kg. Fortu-
Z nately, jewelery of our grandmothers is not isolated from
2 the outside world and “Diamonds are forever” (due to the
ρ2 (r1 , r2 ) = dr3 . . . drN |ψn (r1 , r2 , r3 . . . , rN )| , (5)
measurement process).
Kinetic energy Ek is extremely close to the ground
because the symmetry does not forbid ρ2 (r1 , r2 ) to be state energy and about 10−26 smaller than energy of an
non-uniform in space. If, for a fixed r1 , the two-point cor- optical photon in our example. It implies that break-
relation function reveals periodic behavior as a function ing of the symmetry practically costs no energy and can
of r2 , then spontaneous breaking of the continuous space be induced by an infinitesimally small perturbation and,
translation symmetry to a discrete translation symme- therefore, it occurs spontaneously.
try can be predicted. The correlation function ρ2 (r1 , r2 ) An alternative method to predict the spontaneous
tells us what is the probability density for a measurement breaking of a space translation symmetry is to apply a
of the next particle provided the first particle has been symmetry breaking perturbation, calculate the ground
detected at r1 . Thus, it is enough to measure a single state of a system for finite N , take the thermodynamic
particle in order to see if a crystalline structure emerges. limit and finally turn off the perturbation which leads
The measurement can be intentional, i.e. performed by to the symmetry broken state (Anderson, 1997; Kaplan
apparatus in a laboratory, or simply due to the coupling et al., 1989; Koma and Tasaki, 1993).
of a system to its environment and the resulting possible
particle losses.
The breaking of the space translation symmetry is re- B. Origin of time crystals: spontaneous breaking of
lated to the localization of the centre of mass of a system continuous time translation symmetry
(van Wezel and van den Brink, 2007). In the centre of
mass coordinate frame it is apparent that the centre of If a time-independent many-body system is prepared
mass degree of freedom decouples from the relative po- in an eigenstate ψn corresponding to energy eigenvalue
sitions’ degrees of freedom, i.e. the Hamiltonian (1) can En , the probability density for detection of particles at a
be written as fixed position in the configuration space obviously does
not change in time. It is a direct consequence of continu-
P2 ous time translation symmetry of a system. Indeed, time-
H= + relative degrees of freedom. (6)
2mN independent Hamiltonian H commutes with the time
translation operator which is simply the evolution op-
The ground state of a system corresponds to the total
erator Tt = e−iHt (we assume ~ = 1) and eigenstates of
momentum P = 0 and is entirely delocalized in the con-
H are also eigenstates of Tt , thus,
figuration space. Measurement of particle positions leads
to the localization of the system and to an emergence of |ψn (t)|2 = |Tt ψn (0)|2 = |e−iEn t ψn (0)|2 = |ψn (0)|2 . (7)
crystalline structures. It should be stressed that if one
performed the measurement not of individual positions of In 2012 Frank Wilczek proposed (Wilczek, 2012) that
particles but rather the relative distances between them, time translation symmetry can be spontaneously broken
such a measurement would also reveal crystalline proper- in an analogue way to space translation symmetry break-
ties of the system without breaking the continuous space ing in the formation of space crystals. He coined the term
translation symmetry. time crystal for that phenomenon. If it exists then a time-
When the continuous space translation symmetry is independent many-body system, prepared in the ground
broken to a discrete symmetry one can ask about the life- state, can switch to a periodic motion in time under an in-
time of the symmetry broken state because it is no longer finitesimally weak perturbation. Experimentally it could
the system eigenstate. In the thermodynamic limit de- be observed as a periodic behaviour in time of the prob-
fined as N → ∞, the volume V → ∞ but the particle ability density for a measurement of a system at a fixed
density N/V = const., the energy of the symmetry bro- point of the configuration space. It means that switching
ken state is infinitely close to the ground state energy and from space to time crystals we have to exchange the role
4
of space and time. In the space crystal case we expect A potential example fulfilling our requirements seems
periodic behaviour in space at a fixed instant of time (i.e. to be a superconducting device where an external mag-
at the moment when we perform a measurement of a sys- netic field induces current of Cooper pairs. However,
tem) while in the time crystal case we fix the position in the flow of Cooper pairs is uniform and if, at a certain
space and ask whether a detector clicks periodically in position in space, we detect particles at a certain mo-
time. More formal definitions of time crystals may be ment of time, the next detection event will not be corre-
formulated, see e.g. (Else et al., 2016; Khemani et al., lated temporally with the previous one and no periodic
2016) – we shall stick to this intuitive one. crystalline structure in time will be observed (Wilczek,
The idea of time crystals was proposed in two variants. 2012; Yamamoto, 2015). The original idea of Wilczek
Alfred Shapere and Frank Wilczek (Shapere and Wilczek, was more involved. It is known that interacting parti-
2012b) showed that a classical system can reveal periodic cles can form spontaneously inhomogeneous structures
motion in the lowest energy state, see also (Ghosh, 2014), in space. On the other hand a charged particle on a ring
while Wilczek himself (Wilczek, 2012) presented an idea [one-dimensional (1D) problem with periodic boundary
of quantum time crystal. In the classical case if we ask conditions] subjected to magnetic flux can reveal non-
whether a time-independent system can move and at the vanishing probability current along the ring in the ground
same time possess the lowest energy, the answer seems state if the flux is properly chosen. Combining these two
to be obviously No! Indeed, in order to find the lowest observations, it should be possible to observe a sponta-
energy for a classical particle we have to find an extremal neous process where a many-body system prepared in
value of a Hamiltonian, the ground state switches to periodic evolution where an
∂H ∂H inhomogeneous particles density moves around a ring.
= 0, = 0, (8) Wilczek concentrated on bosons interacting via attractive
∂p ∂x
contact potential on an Aharonov-Bohm ring and we will
but that means no motion of a particle is possible be- elaborate on this system in a moment. Very soon another
cause the first condition in (8) implies that the Hamilton proposition (Li et al., 2012b) was suggested that ions on
equation, a ring may spontaneously form a space crystal when ki-
dx ∂H netic energy of ions is much smaller than Coulomb po-
ẋ = = = 0. (9) tential energy between them. Such a Wigner crystal, in
dt ∂p
the presence of a magnetic flux, reveals periodic motion
However, if we assume the energy of a particle of the form along the ring even if the system is initially prepared in
the ground state. Both proposals were immediately crit-
ẋ4 ẋ2 icized by Patrick Bruno (Bruno, 2013a,b) who pointed
E= − , (10)
4 2 out that such scenario is impossible — for replies see (Li
one sees that the lowest energy corresponds to particle et al., 2012a; Wilczek, 2013b). Soon after Patrick Bruno
motion with velocity ẋ = ±1. This apparent contradic- showed that under quite general conditions spontaneous
tion with the conclusion based on the Hamilton equa- breaking of continuous time translation symmetry is not
tion (9) can be resolved when we realize that the energy possible in any time-independent system prepared in the
(10) cannot be converted to the Hamiltonian smoothly. ground state (Bruno, 2013c). Before we present the ar-
That is, the Hamiltonian is a multi-valued function of the guments of Bruno and other researchers we first describe
momentum with cusps corresponding precisely to energy details of Wilczek idea (Wilczek, 2012).
minima at ẋ = ±1 where the Hamilton equations are not Let us consider N bosons on a ring of unit length with
defined (Shapere and Wilczek, 2012b). attractive contact Dirac δ-interactions and in the pres-
Encouraged by the classical analysis we can now look ence of a magnetic flux α (a ring problem in the presence
for a quantum time-independent many-body system that of a magnetic flux is dubbed Aharonov-Bohm ring). The
in the ground state can spontaneously switch to peri- particle mass and ~ are assumed to be equal to unity
odic motion and reveal crystalline properties in the time and the parameter g0 that determines the strength of at-
domain. Shapere and Wilczek (Shapere and Wilczek, tractive interactions is negative. The Hamiltonian of the
2012a) proposed how to quantize the classical single- system,
particle system described by energy (10). However, in the N
following we will concentrate on a more general problem
X (pi − α)2 g0 X
H= + δ(xi − xj ), (11)
of many-body systems with more conventional kinetic en- i=1
2 2
i6=j
ergy terms that could reveal periodic motion in measure-
ments repeated many times on the same realization of a possesses continuous time and space translation symme-
system. That is, we would like to consider a situation tries and consequently probability density corresponding
where a detector placed at a certain point in the con- to any eigenstate is invariant under any translation in
figuration space reacts periodically because particles are time and any translation of all particles along the ring.
returning to this point. Let us assume for a moment that the magnetic flux
5
α = 0 and let us apply the mean field approximation. momentum Pj = 2πj (where j is integer) and the relative
In the mean field approach all bosons are supposed to degrees of freedom quantum numbers. The ground state
occupy the same single particle state φ, i.e., form a Bose- corresponds to
Einstein condensate. Many-body eigenstates are then of
∂H j
the form of a product state φ(x1 )φ(x2 ) . . . φ(xN ). In or- = 2π − α ≈ 0. (15)
der to obtain the ground state within the mean field ap- ∂Pj N
proximation one has to find the minimal value of the en- In the limit when N → ∞, Eq. (15) can be fulfilled ex-
ergy of the system within the Hilbert subspace spanned actly. This is very bad news because it means there is no
by product states that reduces to the solution of the probability current related to the centre of mass degree
Gross-Pitaevskii equation (Pethick and Smith, 2002), of freedom if the system is prepared in the ground state.
Wilczek idea relied on the assumption that if the flux α is
1 2 2
− ∂x + g0 (N − 1)|φ| φ = µφ. (12) chosen properly, quantized values of particle momenta do
2 not allow Eq. (15) to vanish and once the bright soliton
If the attractive particle interactions are sufficiently is formed in the process of spontaneous breaking of space
strong, i.e. g0 (N − 1) < −π 2 , it is energetically favorable translation symmetry it will move too. We see it is not
to group particles together and the mean field solution the case in the crucial limit, i.e., where the total number
φ breaks the space translation symmetry and becomes of particles increases. The idea of Li and co-workers was
inhomogeneous in space (Carr et al., 2000). The φ func- similar (Li et al., 2012b). Instead of particles interact-
tion is given by the Jacobi elliptic function but when ing via an attractive contact potential, they envision ions
|g0 |N 1, it is well approximated by a bright soliton on an Aharanov-Bohm ring. A spontaneous breaking of
solution space translation symmetry results in a formation of a
space crystal which has been supposed to move in the
−1 g0 (N − 1) presence of a magnetic flux even if an experiment started
φ(x) ≈ cosh (x − xCM ) , (13)
2 with the ground state. Again, the same line of arguments
leads to the conclusion that it is not possible.
where xCM is a parameter that describes the centre of The impossibility of realization of the time crystal
mass position (Carr et al., 2000; Pethick and Smith, idea was also considered by Nozierès (Nozières, 2013)
2002). Thus, the mean field approach predicts that who investigated a superfluid ring in a magnetic field
bosons form a Bose-Einstein condensate where all par- and presented arguments that a charge density wave
ticles occupy a localized wavefunction (13). When we cannot reveal rotation induced by diamagnetic currents.
return to the many-body description we obtain that the However, general analysis of the impossibility of sponta-
many-body ground state has the space translation sym- neous time translation symmetry breaking in the ground
metry but this state is strongly vulnerable to any pertur- state was performed by Bruno (Bruno, 2013c) and later
bation. In fact to break the space translation invariance by Watanabe and Oshikawa (Watanabe and Oshikawa,
it is enough to measure a position of a single particle 2015). Bruno considered a general many-body system
(Delande et al., 2013). on an Aharonov-Bohm ring that is subjected to a per-
Wilczek expected that in the presence of a properly turbation that rotates periodically along the ring. He
chosen magnetic flux α, one would not only observe spon- showed that for the ground state that breaks rotational
taneous localization of density of particles in the config- symmetry, the moment of inertia of the system is al-
uration space but such a density will also move period- ways positive and imposing rotation increases energy.
ically along the ring and the motion sustains forever in Bruno also considered the thermal equilibrium state in
the limit when N → ∞, g0 → 0 but g0 (N − 1) = const., the rotating frame, where the Hamiltonian becomes time-
i.e. in the limit where the mean field prediction remains independent, and reached a similar conclusion. However,
unchanged, cf. (13). This is actually false as immedi- for a periodically driven system analysis of thermal equi-
ately pointed out by Bruno (Bruno, 2013a). Probably, librium in a rotating frame should be performed with
the simplest way to demonstrate it, is to switch to the caution because it actually implies that a system is as-
centre of mass coordinate frame (Syrwid et al., 2017). sumed to be in contact with a reservoir of rotating parti-
Then, the Hamiltonian (11) reads cles. Moreover, it was shown that spontaneous emission
of photons may correspond to a jump of an electron in
(P − N α)2
H= + relative degrees of freedom, (14) an atom upwards in energy if the process is described
2N
in the rotating frame (Delande and Zakrzewski, 1998).
where P is the centre of mass momentum, i.e. the total This obstacle was overcome by Watanabe and Oshikawa
momentum of the system, which is a conserved quantity. (Watanabe and Oshikawa, 2015) who did not assume the
The centre of mass and the relative positions’ degrees of presence of a symmetry broken perturbation but focused
freedom decouple and eigenstates of the system are de- on analysis of a correlation function. They proved that
termined by an independent choice of the centre of mass the two-point correlation function does not reveal any
6
time dependence when a many-body system is prepared an inspiration to other researchers. Particular progress
in the ground state or thermal equilibrium state in the has been achieved for systems that break discrete time
limit when volume V of a system goes to infinity. translation symmetry – the problem described in Section
In the case of space crystals, spontaneous space trans- III. Before considering it let us consider the possibility to
lation symmetry breaking is demonstrated in the limit utilize excited states of many-body systems.
when a number of particles N and V tend to infinity but
the density of particles is constant. Then, any perturba-
tion is sufficient to break the symmetry and a symmetry C. Excited states as a resource?
broken state lives forever. In the case of time crystals, it
is not necessary to take V → ∞ because we do not have Let us analyze if the spontaneous breaking of time
to assume periodic or any other behaviour of a system translation symmetry can be observed for a many-body
in space. We may set V = const., increase N but keep system prepared in an excited eigenstate. In other words
the product of the coupling constant g0 and N fixed, cf. we would like to answer the question if a time indepen-
Eq. (11). dent many-body system prepared in an excited eigenstate
Evolution of the phase of a Bose-Einstein conden- is able to self-organize in time and switch to periodic
sate described within ground canonical ensemble can motion under infinitesimally weak perturbation. We ad-
be considered in the context of time crystals. In the ditionally require that such a situation should not be a
ground canonical formalism, the order parameter of theoretical issue only but should be realizable experimen-
a Bose-Einstein condensate reveals periodic oscillations tally.
hψ̂(r, t)i = ψ0 e−iµt , where ψ̂ is a bosonic field operator Analysis of Wilczek model, i.e. the system described
and µ is a chemical potential (Castin and Dum, 1998; by the Hamiltonian (11), (Syrwid et al., 2017) suggests
Pethick and Smith, 2002). Such a periodic time evolu- that indeed the spontaneous breaking of continues time
tion can be measured provided the condensate is coupled translation symmetry can occur for an excited eigenstate.
to another condensate. If a system is strictly isolated, For any chosen value of the magnetic flux α, the ground
i.e. when a number of particles is conserved, there is no state of the system corresponds to such a total momen-
reference frame and no time dependence can be detected. tum Pj that the probability current associated with the
Volovik (Volovik, 2013) analyzed a class of such systems centre of mass motion vanishes if N → ∞, see Eq. (15).
(see also (Castillo et al., 2014; Nicolis and Piazza, 2012; However, if the system is prepared in an eigenstate with
Thies, 2014; Wilczek, 2013a)) and introduced two relax- total momentum PN = 2πN , the probability current re-
ation times: energy relaxation time τE and relaxation lated to the center of mass motion,
time τN related to a total number of particles in our ex-
∂H
ample. If τN τE , a system with an average number of = 2π − α, (16)
∂PN
particles N relatively quickly relaxes to a minimal energy
state at fixed N and then slowly relaxes to the equilib- does not vanish provided the flux α 6= 2π. Thus, for
rium state where no oscillations are present. Although α 6= 2π, let us choose among all eigenstates with the total
in the intermediate time τN t τE one can observe momentum equal PN the eigenstate |ψ0 i with the lowest
breaking of time translation symmetry, a system is not energy. Although such an eigenstate is not the ground
strictly in the equilibrium state. While τN can tend to state, it realizes Wilczek’s idea. That is, the probabil-
infinity, the strict limit τN = ∞ cannot be taken if one ity density related to this eigenstate is invariant under
wants to observe the oscillation because then there is no time translation transformation but if attractive parti-
reference frame to measure them. cle interactions are sufficiently strong, in the limit when
Similar class of systems is considered by Else, Bauer, N → ∞, any perturbation can make the density inho-
and Nayak (Else et al., 2017), however, the authors as- mogeneous. The inhomogeneous density should rotate
sume isolated systems. U(1) symmetries that are spon- around the ring with the period T = (2π − α)−1 that is
taneously broken are not exact symmetries but they are determined by Eq. (16) (remember that the ring has a
related to effective Hamiltonians. Spontaneous breaking unit length).
of U(1) symmetry results in an order parameter that, Numerical simulations (Syrwid et al., 2017) have con-
according to an effective Hamiltonian, oscillates forever. firmed that the density-density correlation function,
However, at infinitely long times a system approaches a
thermal state determined by a full Hamiltonian where no ρ2 (x, t) ∝ hψ0 |ψ̂ † (x, t)ψ̂(x, t) ψ̂ † (x1 , 0)ψ̂(x1 , 0)|ψ0 i,
oscillations are observed. (17)
The results presented indicate that in a many-body is inhomogeneous as a function of x and reveals peri-
system spontaneous breaking of time translation symme- odic rotation around the ring with the lifetime tc that
try cannot be observed if a system is prepared strictly in increases linearly with N if g0 → 0 but g0 (N − 1) =
the equilibrium state. Wilczek idea in its original version constant, i.e., in the limit when the mean field prediction
turned out to be impossible for realization but it became remains unchanged, see Fig. 1. The density-density cor-
7
N=20
2 N=35
N=50
1.5
1
0.5
00 0.2 0.4 0.6 0.8 0 0.2 0.4 0.6 0.8 0 0.2 0.4 0.6 0.8 0 0.2 0.4 0.6 0.8 0 0.2 0.4 0.6 0.8 1
position
FIG. 1 Time evolution of the density-density correlation function (17), i.e. the probability density for the measurement of
the second particle provided the first particle has been measured at t = 0 at position x = 0.5. The measurement breaks the
continuous translation symmetry making the probability density nonuniform. During a subsequent evolution, as expressed in
the different panels, the density moves along a ring with the period T = 1/2π but also spreads with the characteristic time tc
increasing with the particle number N . All results are obtained for g0 (N − 1) = −15. Reprinted from (Syrwid et al., 2017).
relation function (17) corresponds actually to the proba- momentum PN = 2πN . Then, turning off the gauge po-
bility density for the measurement of a particle at space tential leaves the system in the state |ψ0 i which is no
point x and at time t provided that at t = 0 another par- longer the ground state of the Hamiltonian with α = 0
ticle was already detected at x1 . It illustrates the nature and breaking of time translation symmetry under any
of a spontaneous process: in order to learn whether the weak perturbation is expected. This observation will be
symmetry is broken one has to perform measurement and in contrast with the same experiment but performed for
a minimal possible information, i.e. information about g0 (N −1) > −π 2 where no spontaneous breaking of space
the position of a single particle, is sufficient to break the or time translation symmetry occurs.
symmetry. To summarize this section, any time-independent
Measurement of the position of a single particle re- many-body system has the continuous time translation
sults in a localization of the centre of mass of the sys- symmetry. It implies that probability density corre-
tem on a length scale of the order of the bright soliton sponding to any eigenstate does not change in time.
size σCM (0) ≈ [g0 (N − 1)]−1 = const., cf. Eq. (13). Moreover, no spontaneous breaking of time translation
The localized centre of mass probability density spreads, symmetry can be observed if a system is in the ground
σCM (t) ∝ t/N , in the course of time evolution determined state or the thermal equilibrium state. However, it was
by a free particle like Hamiltonian (14). Thus, time mo- illustrated with the help of Wilczek’s model that the con-
ment tc when σCM (tc ) becomes comparable to the length tinuous time translation symmetry can be spontaneously
of the ring scales linearly with N . That agrees with the broken if a system is prepared in an excited eigenstate.
numerical results. If more particles are measured ini- Such a phenomenon could be in principle realized in
tially, the centre of mass probability density can be lo- ultra-cold atoms laboratory. The idea of time crystals ini-
calized on a length scale σCM (0) ∝ N −1/2 . In such a tiated a novel field of research and inspired many physi-
case, the lifetime of periodic evolution of the symmetry cists (Chernodub, 2013; Faizal et al., 2016; Mendonca
broken state scales like N 1/2 (Syrwid et al., 2017). and Dodonov, 2014; Robicheaux and Niffenegger, 2015;
It is not simple to prepare in a laboratory a many- Yamamoto, 2015).
body system in a specific excited eigenstate. However,
ultra-cold atomic gases constitutes a perfect playground
for realization, control and detection not only many-body
ground states but also collectively excited states (Pethick
and Smith, 2002). The described spontaneous breaking III. SPONTANEOUS BREAKING OF DISCRETE TIME
of continuous time translation symmetry in excited states TRANSLATION SYMMETRY: IDEA AND EXPERIMENTS
(Syrwid et al., 2017) can be observed in ultra-cold atoms
trapped in a toroidal potential in the presence of an arti- Time independent systems possess continuous time
ficial gauge field (Goldman et al., 2014). The latter can translation symmetry. This symmetry is broken when
be realized, e.g., by imposing rotation of a thermal cloud a Hamiltonian becomes explicitly time dependent H(t).
during the evaporative cooling because then the system Then, energy is not conserved but if a Hamiltonian is
dissipates to the lowest energy state in the rotating frame time periodic, H(t + T ) = H(t), there exists a kind of
and the Coriolis force mimics a magnetic field (Pethick stationary states that are time periodic so-called Floquet
and Smith, 2002). Proper choice of an artificial gauge eigenstates |un (t + T )i = |un (t)i (Shirley, 1965). Time
potential allows one to obtain the flux α = 2π for which evolution of any quantum state can be written as a super-
the ground state is the desire state |ψ0 i with the total position of Floquet states because they form a complete
8
probability density
0.3 0.1T 0.6T
−iEn t
Substituting e |un (t)i in the time-dependent
Schrödinger equation results in an eigenvalue problem 0
for the so-called Floquet Hamiltonian HF , that is 0.3 0.2T 0.7T
hermitian with respect to the scalar product involving
integration over time,
0
HF |un (t)i = (H(t) − i∂t ) |un (t)i = En |un (t)i, (19) 0.3 0.3T 0.8T
number of atoms
20 N |U − 2U12 | > J, (23)
0
40 t=T it is energetically favorable to collect all bosons in a sin-
20 gle localized wave-packet and consequently the ground
0
state of the Hamiltonian (22) is a Schrödinger cat-like
40 t=3T/2 state which is clear if one writes such a many-body Flo-
20 quet eigenstate in another Fock basis |ñ1 , ñ2 i where ñ1
and ñ2 = N − ñ1 are occupations of√the first localized
0
40 t=2T wave-packet, φ1 = (u1 + e−iωt/2 u2 )/ 2, and√the other
20
localized wave-packet, φ2 = (u1 − e−iωt/2 u2 )/ 2, respec-
T tively. Then, the many-body ground state reads
0
0 10 20
z |N, 0i + |0, N i
|ψ0 i ≈ √ . (24)
2
FIG. 4 Left panel: schematic plot of a system of N atoms
bouncing on an oscillating mirror as in Fig. 3 but after the The corresponding single particle probability density,
measurement of the position of a single atom — atomic cloud
visible in the plot moves with a period 2T . Right panel shows ρ1 (z, t) = hψ0 |ψ̂ † (z, t)ψ̂(z, t)|ψ0 i
the results of the measurements of positions of 100 atoms, i.e. N
|φ1 (z, t)|2 + |φ2 (z, t)|2 ,
at t = 0 one measures positions of 100 atoms, let the remain- ≈ (25)
2
ing atoms evolve and after T /2 one again measures positions
of 100 atoms and so on. The histograms presented in the right is plotted in Fig. 3 at different time moments. The dis-
panel indicate that time periodic evolution of the system, af- crete time translation symmetry is preserved in time evo-
ter the spontaneous time translation symmetry breaking, can lution of the many-body Floquet eigenstate |ψ0 i but this
be observed in a single experimental realization. The initial state is extremely vulnerable to any perturbation. Af-
number of atoms N = 104 and the other parameters as in
Fig. 3. Reprinted and adapted from (Sacha, 2015b).
ter a measurement of a position x1 of a single particle,
the symmetry is gone because the quantum state of the
remaining particles immediately collapses to one of the
h i terms in the sum (24), i.e. to |N − 1, 0i or |0, N − 1i de-
× (ĉ†1 )2 ĉ22 + (ĉ†2 )2 ĉ21 + 2ĉ†1 ĉ1 ĉ†2 ĉ2 + const., pending on a result x1 of the measurement. Then, time
(22) evolution shows that the original discrete time transla-
tion symmetry has been broken, i.e. the system evolves
where U and U12 are equal to integrals over time and with the period 2T . The resulting state |N − 1, 0i (or
space of products of the probability densities of two |0, N − 1i) is robust against any further perturbation —
evolving localized wave-packets multiplied by g0 . In one can perform many measurements and still the period
Eq. (22) we restricted to the Hilbert subspace spanned of the time evolution remains 2T , see Fig. 4. Tunneling
by the previously described Fock states |n1 , n2 i and the time from the state |N − 1, 0i to |0, N − 1i or vice versa,
bosonic field operator ψ̂(z, t) ≈ u1 ĉ1 + e−iωt/2 u2 ĉ2 where in the limit N → ∞, g0 → 0 but g0 N = const., increases
ĉ1 and ĉ2 are standard annihilation operators. Such a re- like eαN /N with a positive constant α and very quickly
striction is valid provided the interaction energy is very becomes so long that it is not-measurable (Sacha, 2015b).
small and couplings to the complementary Hilbert sub- Not only the ground and first excited states of (22)
space can be neglected. It will be the case because the possess a Schrödinger cat-like structure. With N → ∞
interaction energy per particle will be of the order of the more and more eigenstates come in pairs of cat states
tunneling splitting J that is extremely small as compared (Oleś et al., 2010; Ziń et al., 2008) and experimental
to any other energy scale of the system. Eigenstates of preparation of any initial state where most of atoms oc-
the Hamiltonian (22) correspond to many-body Floquet cupy a single localized wave-packet will result in time
states that are also eigenstates of the time translation op- evolution with the period 2T that practically never ends.
erator TT what is apparent when one realizes that there This is in contrast to the same experiment performed for
are two classes of the eigenstates of (22). Eigenstates N |U − 2U12 | < J where one will observe tunneling of
from the first class are spanned by Fock states with only atoms to another localized wave-packet after time period
even occupations of the e−iωt/2 u2 (z, t) mode while eigen- of the order of 1/J.
states from the other class by Fock states with the odd The presented example constitutes an illustration that
occupations only (Sacha, 2015b). spontaneous self-organization in time of a periodically
11
driven many-body system is possible, i.e. spontaneous a single, or few Floquet eigenstates. Interestingly, this
breaking of discrete time translation symmetry to an- believe is wrong for simple driven single particle prob-
other discrete symmetry may occur. In the following lems where specific localized examples – the so-called
Section we shall discuss a similar behaviour observed for nonspreading wavepackets (Buchleitner et al., 2002) were
a very different model – a system of driven interacting mentioned already in the previous Section. They have
spins prepared in such a way that during a single period been also demonstrated experimentally (Maeda and Gal-
T all the spins are flipped (being thus brought to the same lagher, 2004). Let us note that lifetime of states that
orientation after 2T ). Then, the corresponding Floquet are superpositions of few Floquet eigenstates is infinite.
eigenstates are macroscopic Schrödinger cat-like states of These wavepackets were studied, however, in relatively
two possible orientations of spins. A measurement of the simple small systems while the heating argument was
direction of even a single spin leads to a collapse of any usually presented in the thermodynamic limit.
of these cat-like states to a short range correlated time Numerical experiments revealed that in the presence
crystal state. of disorder MBL persists for driven systems provided the
frequency of the driving is high enough (Abanin et al.,
2015; Lazarides et al., 2015; Ponte et al., 2015) so the
B. Discrete time crystals in spin systems long-time system behavior may be analyzed by an ef-
fective Hamiltonian resulting from proper time averag-
Interestingly, the original presentation of discrete time ing over the period of the drive. Soon it has been re-
translation symmetry breaking (Sacha, 2015b) was not alized that periodically driven systems can not only re-
originally noticed. It took more than a year to rediscover main many-body localized but that one can distinguish
that phenomenon in quite a different setting (Else et al., different “phases” by means of appropriate correlators as
2016, 2017; von Keyserlingk and Sondhi, 2016b; Khemani discussed for spin systems by (Khemani et al., 2016).
et al., 2016) involving, importantly, the disorder induced Among those, in the present context, important is the
effects. phase named as π-spin glass. While the original analysis
Recent years brought an intensive study of many- (Khemani et al., 2016) uses (Jordan-Wigner transforma-
body localization (MBL) – a phenomenon which seems tion based) link to earlier works on driven Majorana edge
to break a common wisdom about disordered many body modes for noninteracting systems (Bastidas et al., 2012;
systems. The latter were supposed to generically ther- Jiang et al., 2011; Thakurathi et al., 2013) let us stay
malize if evolved from some nonstationary initial state. within the language of Schrödinger cat-like delocalized
Starting from a seminal work of Basco, Aleiner, and Floquet states as discussed in the previous Section.
Altschuler (Basko et al., 2006) it seems it does not have The system considered (Khemani et al., 2016) is a
to be the case, a sufficiently strong disorder may bring driven spin model with a binary periodic drive corre-
a many body system to a localized, non-ergodic phase sponding to the unitary evolution over the period T =
(Oganesyan and Huse, 2007; Žnidarič et al., 2008). The t1 + t2 given by U = exp(−it2 Hx )exp(−it1 Hz ) with
phenomenon received a lot of attention with literally hun- X X
dreds of publications in last 10 years (for excellent early Hz = hi σiz + Jz σiz σi+1
z
T = t1 + t2 and
X
H1 = hi σix
i
X
H2 = Ji σiz σi+1
z
, (29)
i
the Fourier transform of spin-spin correlation function as The Rabi rotation Ω = π/2t1 so for = 0 spins are
reproduced in Fig. 8. flipped (as in theory propositions above). Non-zero, con-
trollable allows for checking the robustness of the Flo-
quet time crystal formed. The long range interactions
C. Experiments Jij = J0 /|i − j|α with α = 1.5, site dependent disorder
corresponds to hi uniformly chosen in the interval [0, W ]
A detailed proposition of ion chain experiment has (Zhang et al., 2017). While each of the steps in (36) looks
proven successful. The joint effort with experimental simple and straightforward the impressive experimental
team of Chris Monroe resulted in the report of an experi- strategy has to be carried out to actually implement (36)
mental realization of discrete time-crystals (Zhang et al., with the desired precision, the interested reader is ad-
2017). The ion chain consists of 10 171 Yb+ ions, each pro- vised to consult the original work and the supplementary
viding two sublevels of 2 S1/2 state: |F = 1, mF = 0i and information (Zhang et al., 2017). A single Floquet period
|F = 0, mF = 0i denoted as effective 1/2-spin states | ↓iz lasts T = t1 + t2 + t3 ≈ (15 + 27 + 33)µs being limited by
and | ↑iz , respectively. Operations on a single spin are a time needed for sufficient interactions between spins as
performed using optical Raman transitions. Interactions well as by the fact that disorder hi is applied to the ions
15
FIG. 9 Observed magnetization signal as a function of time (in the units of Floquet period T ) – top row. Bottom row shows
the corresponding Fourier transforms (FTs). In the absence of interactions the spins oscillate with beats corresponding to the
perturbation from perfect synchronization, those beats may be affected by disorder (panel b). Disorder maximal amplitude
is W t3 = π as indicated in the figure. In the presence of interactions (panel c) the self-organization of the system is restored as
indicated by a single peak in the FT. As shown in panel d) time crystal survives even in the presence of quite large perturbations.
Adapted by permission from Macmillan Publishers Ltd: Nature 543, 217-220 (2017) doi:10.1038/nature21413 copyright (2017).
D. Effect of disorder
0
0 30 60 90 120
z
Let us first illustrate this conjecture on the problem
0,6
of a single particle bouncing on an oscillating mirror in (b)
the presence of the gravitational field, see the Hamil- 1 2 3 4
0,4
tonian (21). It was said that a suitable choice of the
system parameters allows one to realize single particle
Floquet eigenstates where localized wave-packets evolve 0,2
along classical resonant periodic orbits. We have al-
ready analyzed the case of the 2:1 resonance. Now let 0
0 1 2 3 4
us consider a general s : 1 resonance (Sacha, 2015a). t/T
With a suitable choice of parameters it is possible to
realize Floquet eigenstates that consist of s well local- FIG. 12 Particle bouncing on an oscillating mirror. Panel
(a): plot of a Floquet eigenstate, related to localized wave-
ized wave-packets which evolve along s : 1 resonant packets evolving along s : 1 classical resonant orbit with s = 4,
orbit each of them with a period s times longer than in configuration space for two slightly different moments of
the period T of the mirror oscillations. They exchange time, t = 0.25T (solid line) and t = 0.3T (dashed line). The
their positions so that the Floquet eigenstates are peri- eigenstate is a superposition of 4 wave-packets that move on
odic with the fundamental period T , see an example for the classical orbit. Each wave-packet evolves with the period
s = 4 in Fig. 12(a). There are s such Floquet eigen- 4T but after T they exchange their positions what makes
states u1 (z, t), . . . , us (z, t) and they are related to quasi- the whole eigenstate periodic with the period T . There are
4 such Floquet eigenstates that are localized on the orbit.
energies E1 , . . . , Es which are nearly degenerate modulo Proper superpositions of the eigenstates allows one to extract
ω/s. When s → ∞ these quasi-energies start forming 4 individual wave-packets, φj , that are numbered in (a) and
a quasi-energy band. Moreover, one can extract s in- (b). Crystalline structures are not visible in the configuration
dividual localized wave-packets φ1 (z, t), . . . , φs (z, t) by a space, however, they emerge in the time domain. Panel (b)
proper superpositions of s Floquet eigenstates. We antic- shows time evolution of the 4 wave-packets whose superpo-
ipate that when s → ∞ these wave-packets become coun- sitions form the eigenstates localized on the resonant orbit,
terparts of Wannier states known in solid state physics at z = 121 that is close to the turning point of a particle in
the classical description. These wave-packets are analogues of
that are localized in sites of a spatially periodic poten- Wannier states corresponding to the lowest energy band of a
tial and are obtained from Bloch eigenstates by a proper particle in a spatially periodic potential. Tunneling between
superposition (Kohn, 1959). wave-packets that are neighbours in the time domain are the
leading tunneling processes. Reprinted from (Sacha, 2015a).
are tunneling amplitudes. They are related to tunnel- In order to obtain a quantum effective description one
ing of a particle between neighbouring wave-packets (but can either quantize a classical secular Hamiltonian (48)
neighbouring in the time domain) see Fig. 12(b). All (Buchleitner et al., 2002) or apply the quantum version
the tunneling amplitudes have the same absolute values of the secular approximation from the very beginning
|Jj | = J. There are also longer range tunnelings, e.g., be- (Berman and Zaslavsky, 1977). By restricting to the low-
tween next-to-nearest neighbour wave-packets but they est energy band of a quantum version of (48) one ends
are at least two orders of magnitude weaker in a typical up with a tight-binding model of the form of Eq. (43).
situation and, similarly as in the tight-binding model, Interestingly, it is also possible to consider higher energy
can be neglected. bands of the secular Hamiltonian (48) and investigate
We have demonstrated that the description of a res- multi-band physics (Guo and Marthaler, 2016; Guo et al.,
onant motion of a particle bouncing on an oscillating 2013; Sacha, 2015a; Sacha and Delande, 2016).
mirror can be reduced to a tight-binding model known Note that if a wave-function of a particle in the mov-
in condensed matter physics (Guo et al., 2013; Sacha, ing frame, ψ(Θ), reveals some crystalline structure, in
2015a). We have already mentioned that such an ap- the laboratory frame this wave-function, ψ(θ−ωt/s), will
proach can be applied to any resonantly driven dynam- show crystalline properties also versus time t if one fixes
ical system ranging from ultra-cold atomic gasses to a position close to a classical orbit because the transfor-
Rydberg electron perturbed by a microwave field (Sacha mation (46) is linear (Sacha and Delande, 2016). On
and Delande, 2016). Indeed, assume that a single particle the other hand there is no guarantee that such a wave-
integrable classical system described by an unperturbed function will reveal periodic behaviour as a function of a
Hamiltonian H0 is driven periodically, i.e. there is an- Cartesian position in space for fixed time because canon-
other term in a system Hamiltonian, H = H0 + H1 (t), ical transformation between action-angle variables and
which H1 (t + T ) = H1 (t). It is convenient to describe Cartesian position and momentum is non-linear in gen-
classical motion in action-angle variables of the unper- eral. This is the case for example for a particle bouncing
turbed system (Lichtenberg and Lieberman, 1992). For on an oscillating mirror where in the time domain one
example in the case of a 1D system, we can perform observes a crystalline structure but does not see it in the
canonical transformation from Cartesian position and configuration space, Fig. 12.
momentum to canonically conjugate action I and an-
gle θ for which H0 = H0 (I). Then, the unperturbed
motion can be solved immediately, I = constant and B. Anderson localization in the time domain
θ = ∂H∂I 0 (I)
t + θ0 . The latter equation describes a po-
sition of a particle on its trajectory. Now, let us assume Energy eigenstates of a single particle in the presence
that we drive the system harmonically with frequency ω of a space periodic potential are given by Bloch waves
which is close to a multiple of frequency of an unper- that are extended in space. However, when a potential
turbed motion, is not strictly periodic because some disorder is present,
eigenstates may become exponentially localized around
∂H0 (Is ) different points of configuration space due to destructive
ω≈s , (45)
∂Is interference between different multiple scattering paths
(Anderson, 1958). Regardless of the magnitude of the
with an integer s. Then, in the moving frame,
disorder, provided it is random and decorrelated, An-
ωt derson localization is inevitable in one-dimensional (1D)
Θ=θ− , (46)
s systems as well as for time-reversal invariant spinless two
P = I − Is , (47) dimensional (2D) systems (Abrahams et al., 1979; Müller
and Delande, 2011). In the three dimensional (3D) world
are slowly varying. Averaging the original Hamiltonian the situation is more complicated, typically disordered
over time we obtain an effective time-independent (secu- system reveal the so-called mobility edge. Eigenstates
lar) Hamiltonian (Lichtenberg and Lieberman, 1992) with energies below the mobility edge are localized and
those above are extended (Abrahams et al., 1979; Müller
P2
H≈ + V0 cos(sΘ), (48) and Delande, 2011).
2m
Anderson localization can be also observed in the mo-
where m and V0 are the effective mass and the ampli- mentum space being called then the dynamical localiza-
tude of the effective potential, respectively. Thus, in the tion (Fishman et al., 1982; Haake, 1991; Lemarié et al.,
moving frame any resonant motion with s 1 reduces 2009; Moore et al., 1995; Stöckmann, 1999). Interest-
to a solid state problem of a particle in a space periodic ingly, periodically driven single particle systems can re-
potential Eq. (48) (Guo and Marthaler, 2016; Guo et al., veal Anderson localization in the momentum space de-
2013; Lichtenberg and Lieberman, 1992; Sacha, 2015a; spite the classical diffusive behaviour. The diffusion in
Sacha and Delande, 2016). the phase space is suppressed by quantum interference
20
0,2
0,1 (s-1)L 2L (s-1)T 2T
0 space L 0 T
0 time
0 1 2 3 4
t/T
FIG. 14 Comparison of Anderson localization in space and
probability density
0
10 time crystals. Left panel shows Anderson localization of a par-
(b)
-2 ticle in a 1D space crystal with periodic boundary conditions
10 when a disorder is added to a space periodic potential. Due
-4 to the periodic boundary conditions when one travels along
10 a ring again and again, one observes periodically a localized
-6 wave-function. Right panel illustrates Anderson localization
10 in a time crystal. For a fixed position in configuration space,
0 1 2 3 4 probability density for a measurement of a particle at this
t/T fixed point is localized around a certain time moment. Such
a behaviour is repeated periodically with a long period sT .
FIG. 13 Floquet eigenstate of the system (49), i.e. a par-
ticle bouncing on an oscillating mirror (with a period T )
in the presence of time fluctuating perturbation that is re-
peated with a period sT with s = 4. The perturbation is by a periodically oscillating mirror and s : 1 resonance
chosen so that j ’s in (50) are random numbers correspond- condition is fulfilled. Moreover, there is an additional
ing to a Lorentzian distribution. Then, Eq. (49) constitutes term H 0 (t) in the system Hamiltonian that introduces a
the Lloyd model of 1D lattice where all eigenstates are An-
derson localized and the exact expression for the localization
weak temporal disorder — H 0 (t) fluctuates in time but
length is known (Haake, 2001). From the Lloyd model we fulfills periodic boundary condition on a long time scale,
know that H 0 (t + sT ) = H 0 (t). It leads to additional terms in the
P the eigenstates are superpositions of the wave-
packets, j aj φj (z, t), with |aj |2 ∝ e−|j0 −j|/l where l is the tight-binding energy (43) which now takes the form
Anderson localization length and j0 is a number of the wave- s s
packet around which a given eigenstate is localized. The wave- 1X X
E≈− (Jj a∗j+1 aj + c.c.) + j |aj |2 , (49)
packets φj arrive at a given position z in equidistant intervals 2 j=1 j=1
in time, thus, the localization length in time is lt = lT . Solid
lines in (a) and (b) show one of the 4 eigenstates localized where
on the 4-resonant orbit at z = 121 versus time in the linear
s2π/ω Z∞
(a) and logarithmic (b) scales. Dash lines present behaviour Z
of the eigenstates in the absence of the disorder in time, i.e. j = dt dz H 0 (t) |φj |2 , (50)
when H 0 = 0. Despite the fact that the system is rather small, 0 0
the characteristic exponential decay of the humps is clearly
visible in (b) – the fitted exponential profile (dash-dotted line) are random numbers that can belong to any distribution
corresponds to lt = 0.18T . Reprinted from (Sacha, 2015a). by a proper engineering of the fluctuating part, H 0 (t), of
the Hamiltonian (Sacha, 2015a). Energy (49) constitutes
actually a 1D Anderson model which possesses exponen-
tially localized eigenstates. In Fig. 13 an example of a
effects. localized eigenstate is shown in the case when j ’s belong
In the present subsection it will be shown that yet an- to a Lorentzian distribution.
other kind of Anderson localization is possible — Ander- The entire Hamiltonian is time periodic with a long
son localization in the time domain due to the presence period sT . It guarantees existence of Floquet eigenstates
of disorder in time (Sacha, 2015a), i.e. when the disorder periodic also with a period sT . Anderson localization in
is added on top of the periodically changing force. the time domain requires that the localization length in
time has to be much smaller than sT . If a detector is
situated close to a classical turning point in the configu-
1. Anderson localization in time crystals ration space, it is expected to click with probability that
is localized exponentially around a certain moment of
The simple idea to realize Anderson localization in the time and such a behaviour is repeated periodically with
time domain is to add random vibrations to a mirror a period sT . It is in a complete analogy to Anderson lo-
that oscillates with a period T in the bouncing particle calization in a 1D space crystal with periodic boundary
problem that has been already described above. It is conditions in space (a ring topology). In Fig. 14 a com-
assumed that a bouncing particle is resonantly driven parison of Anderson localization in a time crystal and a
21
∗
FIG. 15 Probability density of a Floquet eigenstate corre- where fk = f−k are independent random variables.
sponding to the Hamiltonian (51) versus time for a fixed po- Switching to the moving frame, Θ = θ−ωt and P = p−ω,
sition in the laboratory frame. The presented Floquet state one can see that new position Θ and momentum P
reveals Anderson localization in the time domain with local- are slowly varying variables if resonant condition is ful-
ization length of the order of 0.17/ω. The upper plot is on
filled, P ≈ 0. Then, averaging the Hamiltonian over the
a linear scale, the lower plot on a logarithmic scale, showing
approximate exponential localization. Reprinted from (Sacha fast time variable results in a time-independent effective
and Delande, 2016). Hamiltonian,
P2
H≈ + U (Θ), (54)
2
1D space crystal is presented. In the space crystal case X
when a disorder is present, a particle localizes around a U (Θ) = V0 gk f−k eikΘ + constant, (55)
certain space point and moving periodically around the k6=0
ring, one observes periodically a localized density pro- where a particle moves in the presence of a time-
file. The larger the ring, the larger the space crystal. In independent disordered potential U (Θ). This potential
the time crystal case, probability for a measurement of can be thought of as the coherent addition of resonant
a particle at fixed space point is exponentially localized terms between spatial harmonics of the potential and
in time and this behaviour is repeated periodically with the corresponding temporal harmonics of the disordered
a period sT and the higher s : 1 resonance the larger the driving amplitude (Sacha and Delande, 2016). Statistical
time crystal. properties of Fourier components of U (Θ) can be engi-
neered by a proper choice of a distribution for fk . The
coefficients gk drops like 1/k and in order to deal with
2. Anderson localization in time without crystalline structures the disordered potential characterized by a small corre-
lation length, the drop of gk has to be compensated by
Anderson localization in configuration space takes
an increase of absolute values of fk .
place when a disorder is present in a space crystal. How- 2 2
Assume that |gk f−k | ∝ e−k /(2k0 ) and Arg(f−k ) are
ever, in order to observe Anderson localization it is not
random numbers chosen uniformly in the interval [0, 2π[.
necessary to start with a space crystal. One can be-
With a suitable choice of the amplitude V0 and the corre-
gin with a purely disordered time-independent potential
lation
√ length of the disordered potential, which is equal to
characterized by a finite correlation length and Anderson
2/k0 , eigenstates of the Hamiltonian (54) are Anderson
localization can be still observed (Kuhn et al., 2007). It
localized even for energies higher than the standard de-
turns out that an analogous situation takes place in the
viation of the disordered potential (Sacha and Delande,
time domain that will be illustrated with a simple model
2016). These eigenstates when plotted versus time for a
(Sacha and Delande, 2016).
fixed space point in the laboratory frame show up An-
Let us consider a single particle on a ring described by derson localization — an example is presented in Fig. 15.
the following classical Hamiltonian, The model (51) can be realized in ultra-cold atomic
p2 gases as suggested in (Delande et al., 2017). Instead of
H= + V0 g(θ)f (t), (51) trapping atoms in a ring-shape potential one can pre-
2
pare a 1D sawtooth-shape potential that is modulated in
where θ is an angle that denotes a position of a particle time in a random manner. It is assumed that ultra-cold
on a ring and V0 is amplitude of the perturbation. The atoms are initially prepared in a time-independent opti-
perturbation is assumed to be regular in space (for fixed cal lattice potential in a Mott insulator phase (Pethick
22
z z
FIG. 16 Panel (a): schematic plot of the initial stage of (s-1)T 2T
0 space
the experiment: ultra-cold bosonic atoms are prepared in a 0 time T
strong optical lattice and shallow trapping potentials. It is as-
sumed that the amplitude of the lattice potential is so strong FIG. 17 Comparison of Mott insulator phase in the space and
that slices of the atomic cloud are formed that consist of well time domains. Panel (a) illustrates a space periodic potential
defined numbers of particles and do not have mutual phase in 1D with the periodic boundary conditions, the larger the
coherence. Panel (b): final stage of the experiment: the op- system, the greater number of potential sites along the ring.
tical lattice is turned off, a modulated in time sawtooth-like Particles in the potential wells illustrate a Mott insulator state
potential is turned on and atoms are kicked so that their mo- where in each potential site there is a well defined number
mentum along the z axis fulfills the resonance condition with of particles. Panel (b) refers to a crystal structure in the
the modulation frequency. Atoms will fly over the time mod- time domain with the time periodic conditions corresponding
ulated sawtooth potential and do not spread along z due to to the period sT . In the Mott insulator regime, at a fixed
the predicted Anderson localization even though their energy position, a well defined numbers of particles arrive every time
is much greater than the amplitude of the sawtooth potential. interval T . The greater s, the larger time crystal is. Reprinted
Reprinted from (Delande et al., 2017). form (Sacha, 2015a).
and Smith, 2002) that results in a sequence of indepen- model, Eq. (43). In the many-body case a similar simpli-
dent slices of an atomic cloud, see Fig. 16. Then, the fication can be used if the interaction energy per particle
optical lattice is turned off, a modulated sawtooth po- is not much greater than a width of the quasi-energy
tential is turned on and atoms are kicked so that their band of the system (43). Close to a s : 1 resonance a sys-
velocity fulfills resonance condition with the modulated tem of ultra-cold bosons with contact interactions may be
sawtooth potential. As a result of Anderson localization then described in a restricted Hilbert subspace spanned
in time, the slices of the atomic cloud keep their shape by Fock states |n1 , . . . , ns i, where ni denotes occupation
— they do not spread even though they fly with energy of a localized wave-packet φi evolving along the s : 1
much greater than the amplitude of the modulated saw- resonant orbit. The corresponding many-body Floquet
tooth potential. Hamiltonian reads
Other systems that seem promising for realization
s2π/ω Z∞
of Anderson localization in time are Rydberg atoms Z h g0 i
perturbed by fluctuating microwave field (Giergiel and HF = dt dz ψ̂ H(t) + ψ̂ † ψ̂ − i∂t ψ̂,
2
Sacha, 2017). A highly excited electron experiences res- 0 0
s s
onant linearly polarized microwave field that performs 1X 1X
random fluctuations. An additional static electric field ≈− (Jj â†j+1 âj + h.c.) + Uij â†j â†j âj âj ,
2 j=1 2 j=1
along the microwave polarization axis stabilizes a Kepler
(56)
orbit an electron is traveling along. It results in an ef-
fective Hamiltonian of the form of Eq. (54) in the frame where the bosonic field operator ψ̂ ≈
Ps
φj âj and
j=1
moving with an electron because other degrees of freedom |Jj | = J, cf. (43). The coefficients
of the 3D system are frozen due to the presence of the
external fields. One can observe Anderson localization s2π/ω
Z Z∞
of an electron along a classical Kepler orbit that corre-
Uij = g0 dt dz |φi |2 |φj |2 , (57)
sponds to Anderson localization in time if a detector is
0 0
placed at, e.g., nucleus.
describe effective interactions between particles that oc-
cupy different localized wave-packets. Note that despite
C. Mott insulator in the time domain the fact the original interactions between particles are
contact, the effective interactions can have long range
In the present section we have so far considered single character (Anisimovas et al., 2015; Eckardt and Anisi-
particle systems. However, not only a single atom but movas, 2015; Guo et al., 2016; Sacha, 2015a) because all
a bunch of atoms can bounce on an oscillating mirror localized wave-packets pass each other in evolution along
(Sacha, 2015a). Resonant bouncing of a single particle is a 1D resonant orbit. The on-site interactions are domi-
described by quasi-energy of the form of a tight-binding nating i.e. |Uii | > |Uij | for i 6= j.
23
For sufficiently strong repulsive (g0 > 0) contact inter- with Veff = V0 h1 (Θ)h2 (Ψ)h3 (Φ) where
actions, when Uii N J/s, the ground state of the sys-
(i)
X
tem (56) is a single Fock state |N/s, . . . , N/si where well hi (x) = gk f−k eikx , (60)
defined numbers of atoms occupy each localized wave- k6=0
packet, long-time phase coherence is lost, a gap opens
provided ωi are irrational numbers. The effective poten-
between the ground state level and excited levels and con-
tial in (59) is time-independent and it is a product of
sequently a Mott insulator phase is realized in the time
three independent disordered potentials along each de-
domain (Sacha, 2015a), see schematic picture in Fig. 17.
gree of freedom. From the general theory of Anderson
localization in 3D (Abrahams et al., 1979) one expects
D. Many-body localization with temporal disorder
the existence of the mobility edge. That is, for properly
engineered time fluctuating functions fi (t) and for a fixed
It is quite natural now to join the results of the previ- amplitude V0 , all eigenstates of (59) with energies below
ous parts and consider an interacting many-particle sys- the mobility edge are Anderson localized and above it
tem driven resonantly, with at the same time added per- are not. In the laboratory frame, when one asks how the
turbation that fluctuates in time but is repeated with probability density for a measurement of a particle at
some large period sT . That extends the analysis of Sec- some fixed value of, e.g., θ changes in time, it turns out
tion IV.B.1 on interacting particle systems. Combining it is localized around a certain moment of time provided
with the many body language of the previous Section we the relevant Floquet eigenstate corresponds to energy of
are led to a genuine example that may result in a many- (59) below the mobility edge (Delande et al., 2017).
body localization induced by temporal disorder. Work in
this direction is in progress (Mierzejewski et al., 2017). V. CONCLUSIONS
Bialynicki-Birula, Iwo, Maciej Kaliński, and J. H. Eberly taneous emission of nondispersive rydberg wave packets,”
(1994), “Lagrange equilibrium points in celestial mechanics Phys. Rev. A 58, 466–477.
and nonspreading wave packets for strongly driven rydberg Eckardt, Andréé, and Egidijus Anisimovas (2015), “High-
electrons,” Phys. Rev. Lett. 73, 1777–1780. frequency approximation for periodically driven quantum
Bordia, Pranjal, Henrik Luschen, Ulrich Schneider, Michael systems from a floquet-space perspective,” New Journal of
Knap, and Immanuel Bloch (2017), “Periodically driving Physics 17 (9), 093039.
a many-body localized quantum system,” Nat. Phys. 13, Else, Dominic V, Bela Bauer, and Chetan Nayak (2016),
460. “Floquet time crystals,” Phys. Rev. Lett. 117, 090402.
Bruno, Patrick (2013a), “Comment on “quantum time crys- Else, Dominic V, Bela Bauer, and Chetan Nayak (2017),
tals”,” Phys. Rev. Lett. 110, 118901. “Prethermal phases of matter protected by time-translation
Bruno, Patrick (2013b), “Comment on “space-time crystals of symmetry,” Phys. Rev. X 7, 011026.
trapped ions”,” Phys. Rev. Lett. 111, 029301. Else, Dominic V, and Chetan Nayak (2016), “Classification
Bruno, Patrick (2013c), “Impossibility of spontaneously ro- of topological phases in periodically driven interacting sys-
tating time crystals: A no-go theorem,” Phys. Rev. Lett. tems,” Phys. Rev. B 93, 201103.
111, 070402. Faizal, Mir, Mohammed M. Khalil, and Saurya Das (2016),
Buchleitner, Andreas, and Dominique Delande (1995), “Time crystals from minimum time uncertainty,” The Eu-
“Nondispersive electronic wave packets in multiphoton pro- ropean Physical Journal C 76 (1), 30.
cesses,” Phys. Rev. Lett. 75, 1487–1490. Fishman, S, D. R. Grempel, and R. E. Prange (1982), “Chaos,
Buchleitner, Andreas, Dominique Delande, and Jakub Za- Quantum Recurrences, and Anderson Localization,” Phys.
krzewski (2002), “Non-dispersive wave packets in period- Rev. Lett. 49 (8), 509–512.
ically driven quantum systems,” Physics reports 368 (5), Flicker, F (2017a), “Pell and Clapeyron Words as Sta-
409–547. ble Trajectories in Dynamical Systems,” ArXiv e-prints
Carr, L D, Charles W. Clark, and W. P. Reinhardt (2000), arXiv:1707.09333 [nlin.CD].
“Stationary solutions of the one-dimensional nonlinear Flicker, F (2017b), “Time Quasicrystals in Dissipative
schrödinger equation. ii. case of attractive nonlinearity,” Dynamical Systems,” ArXiv e-prints arXiv:1707.09371
Phys. Rev. A 62, 063611. [nlin.CD].
Castillo, E, B. Koch, and G. Palma (2014), “On the dy- Ghosh, Subir (2014), “Spontaneous generation of a crystalline
namics of fluctuations in time crystals,” ArXiv e-prints ground state in a higher derivative theory,” Physica A: Sta-
arXiv:1410.2261 [quant-ph]. tistical Mechanics and its Applications 407, 245 – 251.
Castin, Y, and R. Dum (1998), “Low-temperature bose- Giergiel, Krzysztof, and Krzysztof Sacha (2017), “Anderson
einstein condensates in time-dependent traps: Beyond localization of a rydberg electron along a classical orbit,”
the u(1) symmetry-breaking approach,” Phys. Rev. A 57, Phys. Rev. A 95, 063402.
3008–3021. Glass, L, and M. C. Mackey (1988), From Clocks to Chaos:
Chandran, Anushya, and S. L. Sondhi (2016), “Interaction- The Rhythms of Life (Princeton University Press, Prince-
stabilized steady states in the driven o(n) model,” Phys. ton).
Rev. B 93, 174305. Goldman, N, G. Juzeliunas, P. Öhberg, and I. B. Spielman
Chernodub, M N (2013), “Rotating casimir systems: (2014), “Light-induced gauge fields for ultracold atoms,”
Magnetic-field-enhanced perpetual motion, possible real- Reports on Progress in Physics 77 (12), 126401.
ization in doped nanotubes, and laws of thermodynamics,” Gong, Z, R. Hamazaki, and M. Ueda (2017), “Discrete Time-
Phys. Rev. D 87, 025021. Crystalline Order in Cavity and Circuit QED Systems,”
Choi, Soonwon, Joonhee Choi, Renate Landig, Georg Kuc- ArXiv e-prints arXiv:1708.01472 [cond-mat.stat-mech].
sko, Hengyun Zhou, Junichi Isoya, Fedor Jelezko, Shinobu Guo, Lingzhen, Modan Liu, and Michael Marthaler (2016),
Onoda, Hitoshi Sumiya, Vedika Khemani, Curt von Key- “Effective long-distance interaction from short-distance in-
serlingk, Norman Y. Yao, Eugene Demler, and Mikhail D. teraction in a periodically driven one-dimensional classical
Lukin (2017), “Observation of discrete time-crystalline or- system,” Phys. Rev. A 93, 053616.
der in a disordered dipolar many-body system,” Nature Guo, Lingzhen, and Michael Marthaler (2016), “Synthesizing
543 (7644), 221–225, letter. lattice structures in phase space,” New Journal of Physics
D’Alessio, Luca, and Marcos Rigol (2014), “Long-time be- 18 (2), 023006.
havior of isolated periodically driven interacting lattice sys- Guo, Lingzhen, Michael Marthaler, and Gerd Schön (2013),
tems,” Phys. Rev. X 4, 041048. “Phase space crystals: A new way to create a quasienergy
Delande, Dominique, and Andreas Buchleitner (1994), “Clas- band structure,” Phys. Rev. Lett. 111, 205303.
sical and Quantum Chaos in Atomic Systems,” in , Ad- Haake, F (1991), Quantum Signatures of Chaos (Springer-
vances In Atomic, Molecular, and Optical Physics, Vol. 34, Verlag, Berlin, Heidelberg).
edited by Benjamin Bederson and Herbert Walther (Aca- Haake, F (2001), Quantum Signatures of Chaos, Physics and
demic Press) pp. 85–123. astronomy online library (Springer).
Delande, Dominique, Luis Morales-Molina, and Krzysztof Harper, Fenner, and Rahul Roy (2017), “Floquet topological
Sacha (2017), “Three-dimensional localized-delocalized an- order in interacting systems of bosons and fermions,” Phys.
derson transition in the time domain,” Phys. Rev. Lett. Rev. Lett. 118, 115301.
119, 230404. Henkel, J, and M. Holthaus (1992), “Classical resonances in
Delande, Dominique, Krzysztof Sacha, Marcin Płodzień, quantum mechanics,” Phys. Rev. A 45, 1978–1986.
Sanat K Avazbaev, and Jakub Zakrzewski (2013), “Many- Ho, W W, S. Choi, M. D. Lukin, and D. A. Abanin (2017),
body Anderson localization in one-dimensional systems,” “Critical time crystals in dipolar systems,” ArXiv e-prints
New Journal of Physics 15 (4), 045021. arXiv:1703.04593 [cond-mat.dis-nn].
Delande, Dominique, and Jakub Zakrzewski (1998), “Spon- Holthaus, Martin (1995), “On the classical-quantum cor-
26
respondence for periodically time dependent systems,” Xiaobo Yin, Peng Zhang, L.-M. Duan, and Xiang Zhang
Chaos, Solitons & Fractals 5 (7), 1143–1167, quantum (2012a), “Reply to comment on "space-time crystals of
Chaos: Present and Future. trapped",” arXiv:1212.6959.
Huse, David A, Rahul Nandkishore, and Vadim Oganesyan Li, Tongcang, Zhe-Xuan Gong, Zhang-Qi Yin, H. T. Quan,
(2014), “Phenomenology of fully many-body-localized sys- Xiaobo Yin, Peng Zhang, L.-M. Duan, and Xiang Zhang
tems,” Phys. Rev. B 90, 174202. (2012b), “Space-time crystals of trapped ions,” Phys. Rev.
Iemini, F, A. Russomanno, J. Keeling, M. Schirò, M. Dal- Lett. 109, 163001.
monte, and R. Fazio (2017), “Boundary time crystals,” Lichtenberg, AJ, and M.A. Lieberman (1992), Regular
ArXiv e-prints arXiv:1708.05014 [quant-ph]. and chaotic dynamics, Applied mathematical sciences
Jiang, Liang, Takuya Kitagawa, Jason Alicea, A. R. (Springer-Verlag).
Akhmerov, David Pekker, Gil Refael, J. Ignacio Cirac, Eu- Maeda, H, and T. F. Gallagher (2004), “Nondispersing wave
gene Demler, Mikhail D. Lukin, and Peter Zoller (2011), packets,” Phys. Rev. Lett. 92, 133004.
“Majorana fermions in equilibrium and in driven cold-atom Mendonca, J T, and V. V. Dodonov (2014), “Time Crystals
quantum wires,” Phys. Rev. Lett. 106, 220402. in Ultracold Matter,” Journal of Russian Laser Research
Kaplan, T, P. Horsch, and von der Linden W. (1989), “Or- 35 (1), 93–100.
der parameter in quantum antiferromagnets,” J. Phys. Soc. Mierzejewski, Marcin, Krzysztof Giergiel, and Krzysztof
Jpn. 58, 3894. Sacha (2017), “Many-body localization caused by tempo-
von Keyserlingk, C W, Vedika Khemani, and S. L. Sondhi ral disorder,” Phys. Rev. B 96, 140201.
(2016), “Absolute stability and spatiotemporal long-range Moessner, R, and S. L. Sondhi (2017), “Equilibration and
order in floquet systems,” Phys. Rev. B 94, 085112. order in quantum floquet matter,” Nature Physics 13, 424.
von Keyserlingk, C W, and S. L. Sondhi (2016a), “Phase Moore, F L, J. C. Robinson, C. F. Bharucha, B. Sundaram,
structure of one-dimensional interacting floquet systems. and M. G. Raizen (1995), “Atom Optics Realization of the
i. abelian symmetry-protected topological phases,” Phys. Quantum δ-Kicked Rotor,” Phys. Rev. Lett. 75 (25), 4598–
Rev. B 93, 245145. 4601.
von Keyserlingk, C W, and S. L. Sondhi (2016b), “Phase Mori, Takashi, Tomotaka Kuwahara, and Keiji Saito (2016),
structure of one-dimensional interacting floquet systems. “Rigorous bound on energy absorption and generic relax-
ii. symmetry-broken phases,” Phys. Rev. B 93, 245146. ation in periodically driven quantum systems,” Phys. Rev.
Khemani, V, C. W. von Keyserlingk, and S. L. Sondhi (2016), Lett. 116, 120401.
“Defining Time Crystals via Representation Theory,” Müller, Cord A, and Dominique Delande (2011), “Disor-
ArXiv e-prints arXiv:1612.08758 [cond-mat.stat-mech]. der and interference: localization phenomena,” in Lecture
Khemani, Vedika, Achilleas Lazarides, Roderich Moessner, Notes of the Les Houches Summer School in Singapore: Ul-
and S. L. Sondhi (2016), “Phase structure of driven quan- tracold Gases and Quantum Information, Vol. 91, Chap. 9
tum systems,” Phys. Rev. Lett. 116, 250401. (Oxford Scholarship) arXiv:1005.0915.
Kohn, W (1959), “Analytic properties of bloch waves and wan- Nakatsugawa, K, T. Fujii, and S. Tanda (2017), “Effective
nier functions,” Phys. Rev. 115, 809–821. Quantum Time Crystal by Decoherence,” ArXiv e-prints
Koma, T, and H. Tasaki (1993), “Symmetry breaking in arXiv:1703.04002 [quant-ph].
heisenberg antiferromagnets,” Commun. Math. Phys. 158, Nandkishore, Rahul, and David A. Huse (2015), “Many-
191. body-localization and thermalization in quantum statistical
Kuhn, R C, O. Sigwarth, C. Miniatura, D. Delande, and mechanics,” Ann. Rev. Cond. Mat. Phys. 6, 15.
C. A. Müller (2007), “Coherent matter wave transport in Nayak, Chetan (2017), “Condensed-matter physics: Marching
speckle potentials,” New J. Phys. 9 (6), 161. to a different quantum beat,” Nature 543 (7644), 185–186,
Kuwahara, Tomotaka, Takashi Mori, and Keiji Saito (2016), news & Views.
“Floquet-Magnus theory and generic transient dynamics in Neda Z.„ Ravasz E., Brechet Y., Vicsek T., and Barabasi
periodically driven many-body quantum systems,” Annals A.-L. (2000), “Self-organizing processes: The sound of
of Physics 367, 96 – 124. many hands clapping,” Nature 403 (6772), 849–850,
Lazarides, A, and R. Moessner (2017), “The fate of a dis- 10.1038/35002660.
crete time crystal in an open system,” ArXiv e-prints Dembiński, S T, A. J. Makowski, and P. Pepłowski (1993),
arXiv:1703.02547 [cond-mat.stat-mech]. “Quantum bouncer with chaos,” Phys. Rev. Lett. 70, 1093–
Lazarides, Achilleas, Arnab Das, and Roderich Moessner 1096.
(2014a), “Equilibrium states of generic quantum systems Nicolis, Alberto, and Federico Piazza (2012), “Sponta-
subject to periodic driving,” Phys. Rev. E 90, 012110. neous symmetry probing,” Journal of High Energy Physics
Lazarides, Achilleas, Arnab Das, and Roderich Moessner 2012 (6), 25.
(2014b), “Periodic thermodynamics of isolated quantum Nozières, Philippe (2013), “Time crystals: Can diamagnetic
systems,” Phys. Rev. Lett. 112, 150401. currents drive a charge density wave into rotation?” EPL
Lazarides, Achilleas, Arnab Das, and Roderich Moessner (Europhysics Letters) 103 (5), 57008.
(2015), “Fate of many-body localization under periodic Oganesyan, Vadim, and David A. Huse (2007), “Localization
driving,” Phys. Rev. Lett. 115, 030402. of interacting fermions at high temperature,” Phys. Rev. B
Lemarié, Gabriel, Julien Chabé, Pascal Szriftgiser, 75, 155111.
Jean Claude Garreau, Benoˆ Grémaud, and Do- Oleś, B, P. Ziń, J. Chwedeńczuk, K. Sacha, and M. Trippen-
minique Delande (2009), “Observation of the anderson bach (2010), “Bose-Einstein condensate in a double well
metal-insulator transition with atomic matter waves: potential in the vicinity of a critical point,” Laser Physics
Theory and experiment,” Phys. Rev. A 80, 043626, 20 (3), 671–677.
arXiv:0907.3411 [quant-ph]. Pethick, C, and H. Smith (2002), Bose-Eistein condensation
Li, Tongcang, Zhe-Xuan Gong, Zhang-Qi Yin, H. T. Quan, in dilute gases (Cambridge University Press, Cambridge,
27