Professional Documents
Culture Documents
Michael P. Zaletel
Department of Physics,
University of California, Berkeley,
California 94720 USA
Materials Science Division,
Lawrence Berkeley National Laboratory, Berkeley,
California 94720 USA
Mikhail Lukin
Department of Physics,
Haarvard University, Cambridge,
arXiv:2305.08904v1 [quant-ph] 15 May 2023
MA 02138 USA
Christopher Monroe
Duke Quantum Center,
Department of Electrical and Computer Engineering,
Department of Physics,
Duke University,
Durham NC 27701 USA
Chetan Nayak
Microsoft Quantum, Station Q,
University of California, Santa Barbara,
CA 93106 USA
Department of Physics,
University of California, Santa Barbara,
CA 93106 USA
Frank Wilczek
Center for Theoretical Physics, MIT,
Cambridge MA 02139 USA;
T. D. Lee Institute and Wilczek Quantum Center,
SJTU, Shanghai;
Arizona State University,
Tempe AZ USA;
Stockholm University
Stockholm, Sweden
Norman Y. Yao
Department of Physics,
University of California, Berkeley,
California 94720 USA
The spontaneous breaking of time translation symmetry has led to the discovery of a
new phase of matter – the discrete time crystal. Discrete time crystals exhibit rigid
subharmonic oscillations, which result from a combination of many-body interactions,
collective synchronization, and ergodicity breaking. This Colloquium reviews recent
theoretical and experimental advances in the study of quantum and classical discrete
time crystals. We focus on the breaking of ergodicity as the key to discrete time crystals
and the delaying of ergodicity as the source of numerous phenomena that share many
of the properties of discrete time crystals, including the AC Josephson effect, coupled
map lattices, and Faraday waves. Theoretically, there exists a diverse array of strate-
gies to stabilize time crystalline order in both closed and open systems, ranging from
localization and prethermalization to dissipation and error correction. Experimentally,
many-body quantum simulators provide a natural platform for investigating signatures
of time crystalline order; recent work utilizing trapped ions, solid-state spin systems,
and superconducting qubits will be reviewed. Finally, this Colloquium concludes by
describing outstanding challenges in the field and a vision for new directions on both
the experimental and theoretical fronts.
2
This line of reasoning suggests that spontaneous time- behavior evolves with the same discrete time-translation
translation symmetry-breaking (Sτ B) is straightforward symmetry as the underlying equations of motion. In con-
to achieve. But subtleties abound (Shapere and Wilczek, trast, a system is said to exhibit a subharmonic response
2012b; Wilczek, 2012). Quantum mechanics requires if there are properties which oscillate at frequency ωD /m
Hamiltonians, and for non-singular Hamiltonians, Hamil- for some integer m > 1. Such a subharmonic response
ton’s equations, ∂t φ = ∂p H, ∂t p = −∂φ H, imply that spontaneously breaks the discrete time-translation sym-
a system is stationary at any energy minima. Thus a metry down to the smaller subgroup t → t + 2πn/ωD
ground state cannot exhibit periodic oscillations. The with n ∈ mZ. If this Sτ B is stable to perturbations, the
behavior of Eq. (2) is able to evade this this conclusion system is a “discrete time crystal” (Else et al., 2020b;
because ∂t φ is not a single-valued function of the canon- Guo and Liang, 2020; Khemani et al., 2019; Sacha, 2020;
ical momentum [i.e., p(∂t φ) = δL δ∂t φ does not have a
kin.
Sacha and Zakrzewski, 2017). Owing to the periodic
unique inverse ∂t φ(p)], and consequently, neither is the drive, it is not obvious how to stabilize such behavior.
Hamiltonian.(Shapere and Wilczek, 2012b) This is not Within the Landau paradigm, spontaneous symmetry-
necessarily an insurmountable problem. Indeed for such breaking phases retain their order in the face of fluctua-
singular Hamiltonians it is often possible to construct tions (both thermal and quantum) by virtue of the energy
consistent (in particular, unitary) quantum theories that penalty associated with misaligned regions. But this is
realize the corresponding classical dynamics in the limit not possible for a discrete time crystal, since energy is
of large quantum numbers (Chi and He, 2014; Choudhury not conserved in a driven system. The oscillations in dis-
and Guha, 2019; Shapere and Wilczek, 2012a,b; Zhao tant parts of the system must remain in lockstep even
et al., 2013). Moreover, singular Hamiltonians that sup- though the energy penalty for failing to do so can easily
port time-dependent minima can arise as limiting cases be over-ridden by the energy supplied by the drive.
of non-singular Hamiltonians as appropriate parameters The aim of this Colloquium is to give a unifying per-
are taken large. A limiting theory can be valuable, be- spective on various non-equilibrium mechanisms for dis-
cause it is often more tractable than the full theory, while crete Sτ B in closed (Fig. 1) and open (Fig. 2) systems.
being accurate within a large range of parameter space By centering our discussion in the language of dynami-
(Alekseev et al., 2020; Dai et al., 2020, 2019; Shapere cal systems, we hope to highlight the connections — and
and Wilczek, 2019). However, away from this limit sev- contrasts — between the rich literature on subharmonic
eral authors (Bruno, 2013; Nozières, 2013; Watanabe and responses in dynamical systems and more recent devel-
Oshikawa, 2015) have argued that persistent oscillations opments in the context of closed quantum systems. Until
cannot arise in a quantum system that is in equilibrium recently, many-body systems exhibiting Sτ B, such as pe-
with respect to a local Hamiltonian. riod doubling in coupled map lattices, were only found
These subtleties suggest that the application of the in open systems that relied fundamentally on dissipation.
Landau paradigm to Sτ B may not be as easy as Eq. (2) They could be viewed as a type of engine: the energy
would lead us to believe. An additional necessary ingredi- supplied by the frequency-ωD drive is converted to fre-
ent for Sτ B is a robust mechanism for ergodicity breaking quency ωD /m motion while releasing heat to a cold bath.
which enables the dynamics of the system to “remember” With the discovery of many-body localized (MBL) dis-
the initial condition (e.g. the complex phase of φ) out to crete time crystals, a qualitatively different form of Sτ B
infinite times. Spontaneous symmetry breaking is a spe- was discovered: one that does not generate any entropy
cial case of ergodicity breaking. Focusing on this aspect at all.
of spontaneous symmetry breaking leads to the following In an MBL time crystal, the time scale of Sτ B oscil-
formulations of Sτ B: it is a form of ergodicity breaking lations diverges exponentially as the system size alone is
in which a generic ensemble of initial conditions exhibits increased. However, for practical purposes it is also of
persistent oscillations with a temporal phase shift that interest to know if there are other physical parameters
remembers the initial condition (cf. (3)). whose limiting behavior can drive such an exponential
In recent years, a non-equilibrium route to Sτ B has increase, for example, the drive frequency ωD → ∞; the
been discovered in the context of Hamiltonians peri- temperature T → 0; or the particle density n → ∞.
odically driven at frequency ωD . Such “Floquet” sys- This will lead us to the notion of prethermal, activated,
tems (Floquet, 1883) feature a reduced, discrete time- and driven-BEC time crystals, respectively. A key tool
translation symmetry H(t + 2π/ωD ) = H(t), where which is common to both of these “exponentially good”
T0 = 2π/ωD is the driving period. When a simple har- time-crystals and to their MBL counterpart is the emer-
monic oscillator is driven at frequency ωD , it responds at gence of an effective time-independent Floquet Hamilto-
frequency ωD , regardless of its natural frequency. This is nian, Heff , which governs the dynamics out to exponen-
even true of many non-linear systems that are far more tially long time scales. Crucially, Heff can exhibit emer-
complex: when driven at frequency ωD , their observable gent symmetries that are protected by the underlying
properties respond at integer harmonics of ωD , regardless time-translation symmetry of the drive. In a pleasing re-
of their detailed structure. In this case, the observable turn to form, Sτ B can then be understood in terms of the
N. Y. Yao, A. C. Potter, I.-D. Potirniche, and A. Vishwanath
1
Department of Physics, University of California Berkeley, Berkeley, California 94720, USA
2
Department of Physics, University of Texas at Austin, Austin, Texas 78712, USA
3
RES EARCH | REPORT
Department of Physics, Harvard University, Cambridge, Massachusetts 02138, USA
(Received 5 November 2016; published 18 January 2017; publisher error corrected 19 January 2017)
4
Despite being forbidden in equilibrium, spontaneous breaking of time translation symmetry can occur in
periodically driven, Floquet systems with discrete time-translation symmetry. The period of the resulting
discrete time crystal is quantized to an integer multiple of the drive period, arising from a combination of
Closed / Deterministic
collective synchronization andSystems
many body localization. Here, we consider a simple model for a one-
dimensional discrete time crystal which explicitly reveals the rigidity of the emergent oscillations as the drive
is varied. We numerically map out its phase diagram and compute the properties of the dynamical phase
transition where the time crystal melts into a trivial Floquet insulator. Moreover, we demonstrate that
the model can be realized with current experimental technologies and propose a blueprint based upon a one
Classical Systems
dimensional chain of trapped ions.Quantum Systems
Using experimental parameters (featuring long-range interactions), we
identify the phase boundaries of the ion-time-crystal and propose a measurable signature of the symmetry
breaking phase transition.
DOI: 10.1103/PhysRevLett.118.030401
Classical Hamiltonian Classical/Quantum Hamiltonian Quantum Hamiltonian
<latexit sha1_base64="cMgJeyN3YI3vEhpX04ao6WOVjiE=">AAAB7nicbVDLSgNBEOz1GeMr6tHLYBDiJeyKoMegF48RzAOSJcxOJsmQ2ZllplcISz7CiwdFvPo93vwbJ8keNLGgoajqprsrSqSw6Pvf3tr6xubWdmGnuLu3f3BYOjpuWp0axhtMS23aEbVcCsUbKFDydmI4jSPJW9H4bua3nrixQqtHnCQ8jOlQiYFgFJ3U6ko9rOBFr1T2q/4cZJUEOSlDjnqv9NXta5bGXCGT1NpO4CcYZtSgYJJPi93U8oSyMR3yjqOKxtyG2fzcKTl3Sp8MtHGlkMzV3xMZja2dxJHrjCmO7LI3E//zOikObsJMqCRFrthi0SCVBDWZ/U76wnCGcuIIZUa4WwkbUUMZuoSKLoRg+eVV0rysBn41eLgq127zOApwCmdQgQCuoQb3UIcGMBjDM7zCm5d4L96797FoXfPymRP4A+/zB7QQjyM=</latexit>
detection of the quantum dynamics. (B) For intermediate times (tpre < t < t*), (Bottom) Schematic of the stroboscopic magnetization dynamics in the trivial
that quantum systems subject to periodic driving can
the system approaches an equilibrium state of the prethermal Hamiltonian Heff. indeed (red) and PDTC (blue) phase (full and dashed curves represent even and odd
exhibit discrete
In the trivial FloquetTTSB [10–13];
phase, the suchafter
magnetization systems
tpre decaysdevelop
to zero. Inper-
the driving periods, respectively). When the energy density of the initial state is
FIG. 1 Schematic depicting strategies for sistent stabilizing
macroscopic
PDTC phase, time
the magnetization crystalline
oscillations
changes atsignan order
integer
every period, whichin
multiple periodically-driven,
leadsoftothe
a above the critical value ec, closed
the system issystems evolving
in the PDTC phase, and its lifetimevia
robust subharmonic
driving period, response. At times
manifesting in ta≫subharmonic
t&, Floquet heatingresponse
brings the many-
for follows the frequency-dependent heating time t*.
deterministic dynamics. In few-body classical systems, such as a parametrically driven non-linear oscillator, stable subharmonic
responses are ubiquitous. This stability can physical beobservables.
understood as a time-dependent extension
An important
exhibits constraint onbehavior
robust period-doubling symmetry up breaking in many-
simultaneously across FIG.
the full (a)of
1. chain Phasethe Kolmogorov-Arnold-Moser
(35),diagram
whereofsvithe discrete
is the time crystal
v-th component ofas
thea spin-1/2
function
(KAM) theorem (Givental et al., 2009; Kolmogorov, body
untilFloquet 1954;
systems
the frequency-controlled Möser,
is the need fortime
heating 1962),
disorder which
and
enabling proves
localiza-
the direct that quasiperiodic
of interaction
measurement ofstrength
the JPauli pulse orbits
z andoperator imperfectionsofion,
for the i-th dynamical
ϵ. (b)
andDepicts
we adopt the
scale, t(Sec.
* (Fig. 3B). In comparison, for the lat- Floquet dynamics location of the subharmonic Fourierℏpeak as a Jfunction oflong-
ϵ. In
systems remain robust to small perturbations tion [10–17]. III.B.4).
In There is no
the translation-invariant quantum
setting, Floquet ofanalog
both the magnetiza-
to this classical the convention ¼ 1. Here,
few-body ij >strategy.
0 is the
ter, all signatures of period doubling disappear tion and the energy density. the noninteracting caserange (J z ¼ 0), thewith
coupling peak tracksnearest-neighbor
average ϵ, while in the
For many-body systems, both classical and eigenstates
quantum
by the are short-range
dynamics
frequency-independent correlated
time scale can andexhibit
tpre resemble
The Floquetinfinite
Floquet prethermalization
interacting
drive alternates betweencasetwo (J z ¼interaction
0.15), the in the
peak
strength =limit
J0remains
2p · 0.33 of whereas
rigidly
kHz, large
locked
temperature
(Fig. 3A). By states whichthe
investigating cannot
lifetimeexhibit
of the symmetry breaking dynamics
types of Hamiltonian at ω=2. (Fig.
The 1B):
pink(i)region By =indicates
2p · 0.5 kHz theand Bz = 2p of
FWHM · 0.2the
kHz are global
base ofthe
the
driving frequencies (Sec. IV.D). During an intermediate prethermal
[15,18,19]. Under certain conditions, however, prethermal
time-crystalline order as a function of the
window
a global
of
p-pulse
time
around
(i.e.
the ŷ
before
axis and (ii) an
Floquet
effective
heating
magnetic fields.
occurs),
The Floquet unitary
ω=2 peak. Data are obtained at L ¼ 14 with 10 disorder averages. 2
system can exhibit discrete time crystalline order. The lifetime we of
time-crystal-like dynamics can persist for long times [20,21]
energy density of the initial state, identify this order
evolution for scales
time T exponentially
under a disorder-free, Uwith= U U the
implementsfrequency
(c)–(d) Representative realizations of the subharmonic Fourier
F 2 1 the dynamics of the
over a
the phase boundary for the PDTC. long-range, mixed-field Ising model. This is period of the drive and has frequency w = 2p/T.
drive, τ ∼ eωD /J . In strongly disordered, even in the absence
quantum of localization before
many-body
Our system consists of a one-dimensional systems, ultimatelya being
phenomenon response
described by the two evolution operators
corresponding
known as to in
many-body
ϵ (b). All Fourier transforms
localization
Within the prethermal window in time tpre <
are
destroyed
chain of 25by 171 thermalization [17,22].
Yb+ ions. Each ion encodes " computed # using 10 < tn <<t*150 , theFloquet periods.
can occur. This prevents Floquet heating (see Sec. III.C) and also provides a mechanism an ef-
pXN for the many-body system to avoid stroboscopic dynamics of the sys-
fective spin-1/2 degree of freedom in its hyper- Uinfinite syi tem (every other period) are well approximated
becoming ergodic. By breaking ergodicity, time crystalline order can persist to 1 ¼ exp "i times in the thermodynamic limit. Since
fine levels jF ¼ 0; mF ¼ 0i and jF ¼ 1; mF ¼ 2 by an effective prethermal Hamiltonian, which
0031-9007=17=118(3)=030401(6)
0i (Fig. 1A). Long-range Ising interactions 030401-1i © 2017
to lowest orderAmerican
in 1/w Physical
is given (30) Society
bystrategy.
many-body localization relies upon the discreteness of quantum mechanical "levels, there is no classical
!# analog to this
are generated through a pair of Raman laser
X X X N N N
U2 ¼ exp "iT Jij sxi sxj þ By syi þ Bz szi
beams (33, 34). Arbitrary effective magnetic N
X N
X
syi
i<j i¼1 i¼1
fields can be applied either locally or globally Heff ¼ Jij sxi sxj þ By ð2Þ
ð1Þ i<j i¼1
and single-site readout can be performed
breaking of these emergent symmetries and as an appli- nents” (Von Neumann, 1952). The answer to this ques-
Kyprianidis et al., Science 372, 1192–1196 (2021) 11 June 2021 2 of 5
cation of the Landau paradigm not to H(t), but rather tion is inextricably linked to the physical possibility of the
to Heff . most radical form of ergodicity breaking of all: classical
In the setting of Floquet dynamics, the environment and quantum error correction. From this perspective, if
couples to the system only via a coherent drive. But purely dissipative time crystals are a form of engine, and
in any physical experiment, the environment itself is a MBL time crystals a type of idealized perpetual motion,
many-body system, and thus, coupling to it inevitably then Sτ B in open systems is an embryonic example of an
comes along with dissipation and noise. Indeed, all ex- error-corrected computer program: repeatedly applying
periments on discrete time crystals to date show their the same “NOT” operation to all registers, the computer
fingerprints. The possibility of perfect Sτ B in the pres- settles into the period-2 output ...0101010101....
ence of a drive, dissipation, and noise remains an open
question.
II. WHAT DEFINES A TIME-CRYSTALLINE PHASE OF
The outlines of a possible answer to this question are MATTER?
provided by deep results from theoretical computer sci-
ence and non-equilibrium statistical physics. As empha- Discrete Sτ B leads to regular and long-lived oscilla-
sized, Sτ B is fundamentally a form of ergodicity break- tions with a period which is a multiple of the drive’s.
ing, and there is a history of rigorous results from these Oscillations in general, however, are ubiquitous through-
communities which show that ergodicity breaking can be out nature, so in this section we will formalize when
generically stable to noise (Gács, 2001; Toom, 1980). In such behavior signals the emergence of a genuine phase
that context, the motivation was to understand whether of matter. Our starting point is any dynamical system
“reliable systems can emerge from unreliable compo- (Birkhoff, 1927; Katok and Hasselblatt, 1997; Strogatz,
5
2018) whose state x evolves under a discrete-time update property of a dynamical phase of matter if it is robust to
rule Φ : x → Φ(x). The state of the system at time-step any small locality-preserving perturbation of either the
t is thus x(t) = Φ(t) (x(0)), where the superscript denotes initial condition x or the dynamics Φ. Under the pertur-
iteration. The time-independence of Φ implies there is bation Φ(x) → −x(1 − ), for example, oscillations are
a discrete time-translation symmetry. While the nota- damped at times beyond τ ∼ −1 , and Sτ B is destroyed.
tion highlights a discrete time-step, Φ may arise from When discussing stability, we need to be clear which
viewing a continuous-time system “stroboscopically.” In class of perturbations we demand stability against. Cor-
the context of classical and quantum dynamics defined respondingly this defines different possible classes of
by time-periodic Hamiltonian H(t + T ) = H(t), x is the Sτ B phases — Hamiltonian, unitary, Langevin, quan-
classical or quantum state, and Φ corresponds to integra- tum Lindladian, etc. — which would exhibit Sτ B robust
tion of Hamilton’s equations or the Schrodinger equation to arbitrary small perturbations within that dynamical
over one period of the drive. class. Depending on how broadly or narrowly we define
The dynamics exhibit m-fold time-translation symme- stability, we will have more or fewer examples, but weaker
try breaking if there exists a local observable O which or stronger implications.
exhibits periodic oscillations out to infinite times for a
measurable volume of initial conditions x:
A. Illustrative examples
τ τ
1X 1X
lim O(Φ(mn) (x)) 6= lim O(Φ(mn+p) (x)) The requirements surrounding Eq. (3) contain several
τ →∞ τ τ →∞ τ
n=1 n=1
subtleties, so it will prove helpful to walk through several
(3)
illustrative examples of “is X a time-crystal” with these
where 0 < p < m corresponds to the m-phases of the or- in mind. We first focus on examples which do exhibit
bit, with equality restored for p = m. A time-crystal thus oscillations (and are interesting in their own right), but
“remembers” which of m initial conditions it is in. This which do not satisfy the strict requirements of Eq.(3).
implies that Sτ B is a particular form of ergodicity break- Consider first the dynamics of an undriven oscillator
p2 ω02 2
ing (Cornfeld et al., 2012; Sinai, 1959; Walters, 2000): the H = 2m + 2m q + 4 q 4 . Obviously any initial condi-
time-averaged behavior of the m-fold iterated map Φ(m) tion x = (q, p) will oscillate forever - do such oscil-
depends on the initial condition. This behavior has been lations constitute a discrete time-crystal? Since H is
called “asymptotic periodicity” in the literature on clas- time-independent, for the purposes of testing Eq. (3) we
sical many-body dynamical systems (Lasota et al., 1984; may choose to stroboscopically observe the dynamics at
Lasota and Mackey, 2013; Losson and Mackey, 1996). whichever period T we suspect harbors the oscillations
While Eq.(3) implies infinitely long-lived oscillations, we (say T = 2π/ω0 ). However, stability requires us to ac-
may also consider a relaxed condition in which the time count for the non-linearity , which causes the oscillation
scale τ remains finite but diverges exponentially with a frequency to depend on the amplitude of the initial con-
control parameter such as the drive frequency or temper- dition. As a result, there is no fixed period T for which
ature. This will be the case for “prethermal” (Sec. IV.D) Eq. (3) is satisfied for a finite volume of initial conditions:
and “activated” (Sec. V.A) time-crystals, respectively. a generic ensemble of states will instead dephase, with no
We emphasize that Sτ B does not require that each Sτ B after some characteristic time τ .
state x itself undergoes perfectly periodic motion, only The time scale τ for such dephasing may be large, in
that there is an observable O which oscillates on average. which case the dynamics may appear to exhibit Sτ B in
For example, in the context of a single variable x, the ob- practice even while they do not satisfy Eq. (3) in princi-
servable O(x) = sign(x) might exhibit regular oscillations ple. Consider for example the AC-Josephson effect,
even while the motion of x itself is quite chaotic. This
n2
accounts for the fact that we rarely have direct access to H = −EJ cos φ + 2eV n + (4)
the microstate of the system, only coarse-grained mea- 2C
surements. This limitation also motivates the require- Here φ is the superconducting phase difference across a
ment that oscillations be observable for a finite volume Josephson junction, which is conjugate to the Cooper
of initial conditions, over which we rarely have exact con- pair number n; EJ is the Josephson energy for the tunnel-
trol. Taken together, an equivalent formulation of Eq.(3) ing of a pair across the junction, C is the junction capaci-
takes a statistical point of view by considering the evolu- tance, and V is the voltage difference across the junction.
tion of distributions over microstates ρ(x); we return to For a large junction the capacitance approaches C = ∞,
this formulation in our discussion of stochastic systems and the equations of motion then give φ(t) = φ0 + 2eV t,
in Sec. V. implying the supercurrent Is = ṅ = EJ sin(φ) oscillates
Even a single degree of freedom can trivially exhibit indefinitely in response to a DC voltage. However, for
Sτ B: take for example the map Φ(x) = −x. The prob- the generic case in which C is finite, a shift of variables
lem gains its richness when we demand stability: Sτ B is a from n → n − 2eV C brings H to the form of a pendulum
6
NbSe~
(aj V, (=SOmV
T=42K 1/2
1/2 1/1
25-
C?:
bQ 2/5 2/5 2/5
2/3
J,
15-
C3
C:
50=
CD
CD
20-
I5-
I I I I
-20 -10 0 10 20
sample voltage V (mV)
E.g. AC-driven charge density wave materials, E.g. cellular automaton models (Gacs model in 1D,
of a dissipative many-body time crystal sured with and without externally applied rf voltage
parametrically
=
at co,„t/2n
driven coupled non-linear pendula
25 MHz. For the rather low rf voltage
of
„,
used here, ET is not reduced from the value in the
„,
quency locking between the internal CDW (or
Josephson) frequency rv;„, and all harmonics pt0,
the applied rf field. The harmonics of m, are Toom model in 2D) as many-body time crystals
absence of rf, but there appears a whole family of induced by the inherent nonlinearity of the system.
where p and q are integers. The ratio cu;„$2rrIcDw caying slowly with q. Hence it is natural to interpret
was found to be 30 MHz cm2/A in agreement with the peaks as regions in which any harmonic of the
earlier studies. ' A few of the peaks are identified internal frequency locks to any harmonic of the
by p/q in the figure. The identifications were con- external field. ' To the extent that mode locking
firmed for several p/q by plotting Icnw vs co,„, and within such regions is complete, the CDW is unable
checking that the slopes were indeed p/q times that to respond to changes in the applied dc voltage, and
FIG. 2 Schematic depicting strategies for stabilizing time crystalline order in periodically-driven, open systems evolving via for the fundamental. The features with small p and
q are more conspicuous, being both taller and wid-
er. Figure 1 is a typical trace. By varying V,f and
the resistance rises to that of the normal electrons
alone. In the present experiment, the steps have
lower resistance than the normal electrons, indicat-
~e„,, either more or fewer steps can be observed. ing that the locking is not complete. The tendency
stochastic dynamics. Dissipative non-linear dynamical systems have long been known to exhibit stable, many-body time While the dependence on these parameters is not
strong, substantially increasing or decreasing either
to lock is weaker for larger p and q.
It is largely agreed that complete mode locking
' V,f or co,„, significantly reduces the number of steps occurs for Eq. (2) only because of the inertial
term. ~'
translation symmetry breaking. Indeed, coupled map " lattices
~ can satisfy all of the stated requirements for being a discrete time which can be observed.
The steps with q =1, p
previously
1 have been studied
and are well known to arise from fre-
In NbSe3 the inertial term is negligible
up to several hundred megahertz.
based on the frequency-dependent
' The argument,
conductivity
crystal. The key ingredient for the stability of Sτ B in this setting is a generalized version of dissipation—effectively, one can 2278
think of the microscopic dynamics in such systems as being coupled to a zero temperature bath (alternatively, one can say that
the microscopic dynamics are not information- or measure-preserving). This ensures that a finite volume of initial conditions
contracts towards, for example, a period-doubled fixed point (Sec. II.A). The stability of time crystalline order in many-body
systems coupled to a finite temperature bath are significantly more subtle. For example, in classical Langevin dynamics or
quantum Linbladian dynamics, at any T > 0, dissipation always comes with noise. In such systems (e.g. finite temperature,
parametrically-driven, coupled non-linear pendula), at low temperatures, time crystalline order can survive for an “activated”
time-scale ∼ e∆/kB T (Sec. V.A). Somewhat remarkably, by considering more generic stochastic dynamics (i.e. probabilistic
cellular automata), it is possible to realize finite-temperature, time crystalline order with an infinite lifetime (Sec. V.E).
whose behavior is similar to the non-linear oscillator dis- the internal motion of its many-body constituents. At
cussed
p above. The time scale for the resulting dephasing long times the system then relaxes to a state (e.g., van-
τ = C/EJ may be large - though it is worth pointing ishing particle number in the superfluid or spin aligned
out that this dependence is not an exponential. In ex- with the field in the magnet) wherein macroscopic mo-
periments, Josephson junctions are generally resistively tion ceases. To navigate this dichotomy, one must shield
shunted, and related interesting phenomena arise in this the system from explicit symmetry breaking apart from
open context as will be discussed in Sec. V. brief, intermittent measurement events, as in the exper-
Another interesting limit of Eq.(4) is EJ = 0, in which iment of Urbina et al., 1982. In this case, Sτ B is stable
case H has an internal U (1) phase symmetry which guar- only to perturbations which preserve the internal symme-
antees that φ̇ = 2eV + n/C remains constant. In this try. In contrast, we will find that a stronger form of Sτ B
case T = 2π/φ̇ This is an example of Sτ B which “piggy- is possible which depends only on the time-translation
backs” on the spontaneous symmetry breaking of an un- symmetry itself.
related internal symmetry. Equivalent examples are su- A many-body example which does satisfy all the re-
perfluids at non-zero chemical potential or an XY mag- quirements surrounding Eq. (3) is period doubling in de-
net in a perpendicular field. Such systems have a U (1) terministic dissipative systems. An iterated map x →
order parameter that precesses in time for generic initial f (x), such as the logistic map,(Strogatz, 2018) provides
conditions. The precession is unobservable (for example an idealized model of the unit-time evolution of such a
Is = 0) unless the U (1) symmetry, which makes all an- system. Taking for example f (x) = −x(1 + a − x2 ),
gles equivalent, is broken. But in the absence of U (1) there is a basin of attraction of initial states √
that set-
symmetry, there is no barrier to energy dissipating from tle into a limiting oscillation between x = ± a when
the macroscopic precession of the order parameter into a > 0. This simple one-body example can be promoted
7
When restricting to the stroboscopic dynamics, the “Flo- frame using K−1 (t), one finds that the average behav-
quet unitary” which implements a single discrete time ior will oscillate with period m. More rigorously, sym-
step is given by UF = U (T, 0) = K−1 (T )e−iT HF K(0). To metry breaking implies that there are m different ini-
ensure that the connection to the notation in Eq. 3 is tial conditions yj = (Qj , Pj ) which are related by the
clear, we note that Floquet unitary, UF , then furnishes symmetry, yj+1 = Xyj . The time-averaged behaviors of
the dynamical map Φ which acts on the quantum state these different initial conditions are distinct (in the ro-
x = |ψi. tating frame),
Pτ e.g., there are local observables O with
Ō(yj ) ≡ τ1 n=0 O(yj (nT )) 6= Ō(yj+1 ). Transforming
back to the lab frame, xj (t) = K−1 (t)yj (t) and substi-
2. Time translation symmetry breaking as internal symmetry tuting in the definitions, one immediately finds that the
breaking of the Floquet Hamiltonian definition of time-crystalline order [c.f. Eq. (3)] is satis-
fied.
If the micromotion is periodic, K(T ) = K(0), there One thus arrives at a correspondence between m-fold
can be no Sτ B, since the stroboscopic dynamics be- Sτ B and the more familiar notion of Zm -spontaneous
come canonically equivalent to the un-driven dynamics symmetry breaking with respect to HF (in the rotat-
of HF , and Sτ B is forbidden in equilibrium (Bruno, ing frame). This illustrates a general principle of all
2013; Watanabe and Oshikawa, 2015). But in a time- closed Hamiltonian many-body time-crystals discovered
crystal, the frame rotates subharmonically (Fig. 3a), thus far (Fig. 1): In a Hamiltonian time-crystal, the dis-
i.e. K(mT ) = K(0), and the transformation X = crete time-translation symmetry of H(t) manifests as a
K(0)K−1 (T ) is non-trivial. The transformation X then spontaneously broken internal Zm -symmetry of the Flo-
plays a crucial role since it permutes through the m cy- quet Hamiltonian HF (Else et al., 2017, 2020a; von Key-
cles of the sub-harmonic response. In the specific case of serlingk et al., 2016). In a sense this bring us back full
the shaken non-linear pendulum [c.f. Eq. (7)], for exam- circle to our starting inspiration, the Landau paradigm
ple, X : (Q, P ) → (Q + π, P ). We will expand upon this (Sec. I), with the crucial replacement H → HF .
discussion in the next subsection (Sec. III.B.4).
Under rather general conditions, the Magnus ex-
3. The spectral perspective
pansion can be constructed to ensure that X =
K(nT )K−1 (nT +T ) is independent of n (Else et al., 2017,
While the above formalism applies equally well in the
2020a; Machado et al., 2020), which then ensures that
classical and quantum settings, in the quantum case an
X m = I. Substituting Eq. (10) into the time-translation
equivalent definition can be given in terms of the spectral
symmetry U (T, 0) = U (2T, T ), one finds that
properties of the Floquet operator UF alone (Buchleit-
ner et al., 2002; Holthaus, 1995; Sacha, 2015): a discrete
X −1 e−iT HF X = e−iT HF . (11)
time crystal is a phase of matter in which the eigenstates
In other words, X is an internal Zm symmetry of the Flo- of UF are necessarily “cat states,” i.e. superpositions of
quet Hamiltonian (Buchleitner et al., 2002; Else et al., macroscopically-distinct states (Else et al., 2016). This is
2017; Holthaus, 1995; von Keyserlingk et al., 2016). a direct generalization of the statement that when a con-
While the emergence of an internal symmetry may seem ventional symmetry is spontaneously broken in an equi-
mysterious, it is really just a re-expression of the origi- librium system, the low-energy eigenstates that trans-
nal discrete time-translation symmetry in a frame which form simply under the symmetry (e.g. eigenstates of the
is rotated by X at each step (Fig. 3a). In (Else et al., center or Cartan sub-algebra (Fulton and Harris, 2013)
2020a), this intertwining is referred to as “twisted time- of the symmetry group) are necessarily cat states.
translation”. However, the emergence of such a symme- To unpack this definition we investigate the impli-
try was pointed out well before the recent interest in Sτ B; cations of Sec. III.B.2 for the “Floquet eigenstates”
see for example the extensive literature on non-spreading UF |εF i = e−iT εF |εF i. Here the “quasienergies” εF are
wavepackets in periodically driven systems. (Buchleitner defined modulo the driving frequency εF ≡ εF + ωD . As
et al., 2002; Holthaus, 1995; Holthaus and Flatté, 1994). discussed, UF exhibits Sτ B when there is a decomposi-
tion UF = Xe−iT HF for which HF spontaneously breaks
The existence of a Floquet Hamiltonian HF and an
the symmetry [X, HF ] = 0. In the thermodynamic limit,
emergent symmetry X immediately leads to the possi-
spontaneous symmetry breaking implies that the eigen-
bility of Sτ B. In particular, suppose that the dynam-
states of HF come in degenerate pairs permuted by the
ics of HF spontaneously break the X symmetry. Intu-
symmetry, X |↑i = |↓i (we focus on X 2 = 1 for simplic-
itively, this means that the state space breaks up into
ity) 1 . However, in a finite system, the eigenstates of HF
m “superselection” sectors which are permuted by the
action of X but which are not connected by evolution
under HF . In the rotating frame, a trajectory thus
1 In conventional symmetry breaking, only eigenstates with energy
gets stuck within a sector, and mapping back to the lab
10
must simultaneously diagonalize X, so they come in pairs a particle bouncing off an oscillating mirror(Holthaus,
|±i = √12 (|↑i ± |↓i with eigenvalues ± = ± ∆ which 1995; Holthaus and Flatté, 1994). In this 0D case, the
are split by an amount ∆ ∼ e−L/ξ which is exponentially Sτ B arises because KAM stability allows the quasi-
small in the system size L if the system is to exhbit true energy to “split up” the {Q, P }-space into disconnected
Sτ B. The eigenstates of HF are thus “cat states,” since basins (Fig. 3b), rather than because of a collective
the constituent |↑ / ↓i are macroscopically distinct. The phenomena. Furthermore in 0D there is long-range
quasienergies of UF are then obtained by including their order in time, but not in space, and as such the reader
eigenvalue under X: + − may prefer not consider this case a time crystal. This
F = + ∆, and F = − ∆ + ωD /2.
The spectrum of UF thus consists of pairs of cat states analysis also illustrates why the quantum version of
with eigenvalues that differ by ωD /2 up to exponential a parametrically-driven non-linear oscillator will not
accuracy in L. feature infinitely long-lived Sτ B: while a quantum
To relate this spectral property back to Eq. (3), note Floquet Hamiltonian with a Z2 symmetry may exist, for
that an initial state |xi will generically have amplitude any finite barrier height there will be quantum tunneling
on both the |+i and |−i states of each pair. Due to between the two minima at a rate ∼ 1/τ . This leads to a
the eigenvalue pairing, the system will thus coherently unique Z2 -symmetric steady state, and the subharmonic
oscillate at frequency ωD /2, up to a dephasing time τ ∼ response will have a correlation time of τ . (Buchleitner
∆−1 which diverges exponentially in L. et al., 2002; Holthaus, 1995; Holthaus and Flatté, 1994;
Sacha, 2015) analyze several examples of such quantum
subharmonic responses and provide estimates of the
4. Application to many-body parametric resonance tunneling rate, including a particle bouncing off an
oscillating mirror, a topic we will return to in Sec. IV.E.
Let us now see how the formalism from The fly in the ointment comes when we attempt to
Secs. III.B.1, III.B.2 plays out for a single para- construct HF in the many-body setting. In particular,
metrically driven non-linear pendulum [c.f. Eq. 6]. let us consider an array of coupled pendula by adding a
Chirikov, 1979 and Zounes and Rand, 2002 showed nearest-neighbor interaction to Eq. 6,
that HF (Q, P ) indeed exists within a finite volume of X p2 ω2
phase space (calling it the “resonance Kamiltonian”), H(q, p, t) = i
+ 0 (1 + δ cos(ωD t))qi2 + qi4
and that courtesy of the KAM theorem, its existence i
2 2 4
X
is stable to small perturbations. The contours of equal −g (qi − qj )2 . (12)
“quasi-energy” HF (Q, P ) are shown in Fig. 3b. As hi,ji
aforementioned, we see that HF exhibits a Z2 -symmetry,
X : Q → Q + π, which exchanges two local minima Physically, the reader can think of this as treating
enclosed by a separatrix. The detailed construction of the pendulum as a macroscopic object composed of
K(t) is quite involved, but the approximate intuition is atoms (i.e. the Frenkel-Kontorova model (Kontorova and
as follows: One starts with the canonical transformation Frenkel, 1938)). It differs from the Faraday problem in
in Eq. (7), and removes the residual time dependence the details of the dispersion and non-linearity, but is oth-
order-by-order through a sequence of transformations erwise conceptually similar.
whose convergence is guaranteed by the KAM theorem. If the initial condition is uniform, qi , pi = q, p, the
The two minima of HF , Q, P = (± π2 , P∗ ), are fixed problem exactly reduces to Eq. (6) which we now know
points of HF ; mapping back to the lab frame, one exhibits stable period doubling. But stability for a
obtains two precisely period doubled orbits related by finite-volume of initial conditions requires one to con-
time translation, K−1 (t) : (± π2 , P∗ ) → q∗ (t ± T /2), p∗ (t). sider initial conditions of the form, qi = q∗ + δqi , in
Small deviations from the minima circulate around which the δqi are small but independent. Using the lan-
quasi-energy contours, corresponding to slow oscillations guage we introduced near Eq. 5, there is now weight
about the period doubled motion. Similar behavior in the higher-kP modes, qk , which are all-to-all coupled
4
is seen in other periodically driven problems, such as through the q
i i non-linearity, so the center-of-mass
the kicked rotor model, whose stroboscopic motion Φ mode (i.e. k = 0) cannot be examined in isolation. While
reduces to Chirikov’s standard map,(Chirikov, 1979) or one can attempt to employ the same time-dependent
canonical transformation K(t) site-by-site, for generic ini-
tial conditions the coupling g(qi −qj )2 will not be exactly
time-independent after this transformation; thus, since
densities below the symmetry-breaking temperature Tc have this the transformed Hamiltonian H(Qi , Pi , t) remains time-
structure. However, if many-body localization is able to exist in
Floquet Hamiltonians (Ponte et al., 2015; Sels and Polkovnikov,
dependent we cannot appeal to the conservation of HF
2021; Šuntajs et al., 2020), it is believed that symmetry breaking to ensure stability. One can attempt to remedy this by
must manifest at all energy densities (De Roeck et al., 2016; adjusting the canonical transformation via a perturba-
Moudgalya et al., 2020; Sahay et al., 2021). tive expansion in g, but there is a rather general reason
11
to expect this expansion will fail to converge in the ther- The existence of such a long time scale is certainly one
modynamic limit: the ubiquity of ergodicity. ingredient in Faraday’s observation of period-doubling in
a system which is Hamiltonian. An additional role is
played by viscosity, which converts the high-k oscillations
C. Ergodicity, destroyer of time-crystals of the surface into heat which is eventually dissipated
into the environment. When viscosity alone is added to
As we have discussed, Hamiltonian systems are distin- the equations of motion, the system is no longer measure
guished from more general dynamical systems like cou- preserving and becomes analogous to the coupled map
pled map lattices by the existence of a phase-space vol- lattices where true Sτ B is possible. However, this might
ume element, dµ = dq ∧ dp, which is invariant under the seem to be a contradiction, because viscosity is after all
dynamics, i.e., the dynamics are “measure preserving.” a phenomenological treatment of microscopic degrees of
An invertible measure preserving system is said to be er- freedom which are themselves Hamiltonian! The key is
godic if the only finite-volume subset A which is invariant that at any finite temperature (energy density), a mi-
under the discrete-time update rule Φ (i.e. Φ(A) = A) is croscopic bath invariably generates noise in addition to
the entire phase space. An S equivalent statement is that viscosity, as required by the fluctuation-dissipation the-
the orbit of any volume m Φ(m) (A) eventually fills all orem. Understanding the fate of Sτ B in the presence of
of phase space (Cornfeld et al., 2012). Full ergodicity dissipation and noise is a particularly rich direction; we
is incompatible with the existence of a time-independent will return to the possibility of such “open” time-crystals
HF (Q, P ) because the conservation of the quasi-energy in Sec. V.
HF partitions phase space into Φ-invariant quasi-energy To summarize, in dissipative dynamical systems like
contours (though the dynamics may be ergodic within the coupled map lattices, stable, many-body Sτ B is pos-
each contour). A time-dependent many-body system sible, and time-crystals in this context have a long his-
with a bounded state space is generically expected to tory. But their realization in measure-preserving systems
be ergodic in the thermodynamic limit. 2 which describe the universe at the microscopic level is far
Or, in the unbounded case: the generic fate of a driven, more subtle. While stable Sτ B is possible in few-body
many-body Hamiltonian system is to heat up. In an classical systems such as a parametric resonator (i.e. the
ergodic system, Birkhoff’s Ergodic Theorem (Birkhoff, shaken pendulum example in Sec. III.B.4), their existence
1931; Cornfeld et al., 2012) equates a temporal average in many-body systems requires, at minimum, a generic
of the sort defined in Eq. (3) with averages over the entire mechanism for breaking ergodicity. In closed classical
phase-space. Thus Sτ B necessarily requires Φ(m) to be systems, this is not thought to be possible except when
non-ergodic: a time-crystal “remembers” its initial con- the system is fine tuned. This is where the magic of quan-
dition for an infinitely long time because it is encoded in tum mechanics comes in, through the remarkable physics
the phase of the period-m oscillations. Sτ B is thereby of many-body localization (MBL). MBL allows for sta-
deeply connected with another profound phenomena: er- ble ergodicity breaking in the thermodynamic limit, and
godicity breaking. where there is ergodicity breaking, there will be time-
When the interactions are weak, or the driving is crystals.
strong, the time-scale required to explore all of phase
space can be very large, so in practice, Sτ B may persist
out to very long times τ . This behavior is sometimes
IV. CLOSED, PERIODICALLY-DRIVEN QUANTUM
referred to as slow Floquet heating. While energy is not SYSTEMS
conserved, in systems described by an effective Floquet
Hamiltonian [Eq. (8)], the quasienergy hHeff i will change A. Introduction to quantum Floquet phases
slowly due to the residual drive V (t), eventually allowing
the system to explore its full phase space. We will return As noted above, ergodicity-breaking is necessary for
to such anomalously long time scales when we discuss the stability of a time crystal. In fact, with the insights
“prethermal” time-crystals in Sec. IV.D. of the previous section in hand, one can utilize almost any
generic, robust form of ergodicity-breaking to stabilize a
time crystal. However, this wasn’t immediately appar-
2
ent when many-body localization (Abanin et al., 2019;
The ideas emanating from Boltzmann’s “ergodic hypothesis”
postulate that time-independent many-body systems are gener- Nandkishore and Huse, 2015) was originally discovered.
ically ergodic within each conserved energy shell.(Von Plato, Many-body localization occurs in 1D and, possibly, 2D
1991) This hypothesis relates to the Floquet setting by con- systems with strong quenched disorder and short-ranged
verting the time-dependent Hamiltonian H(t) into a time-
independent H = H(t) + πt , where (t, πt ) are an additional
interactions (Choi et al., 2016; Smith et al., 2016). It rep-
canonical pair living on the cylinder t ∼ t + T . If H is ergodic resents a failure of the eigenstate thermalization hypoth-
on an energy shell, then the stroboscopic dynamics of H(t) are esis (Deutsch, 1991; Srednicki, 1994) that occurs when
fully ergodic. disorder prevents equilibration by localizing the degrees
0 2 0 2 0 2 0 2
0.08 0.08 0.08 0.08
Peak height
0.06 0.06 0.06 0.06 simulations
0.06
LETTER RESEARCH 0.04 12
0.04 0.04 0.04 0.04 0.06
Crystalline fraction, f
+ 0.00 0.04 0.08 0.12
Yb
1) and eventually approaches
measured spin depolarization time T
the independently
ρ
µs . This demonstrates that,
1 ≈ 60 0.04
1 = 275 ns
1 = 92 ns
0.6
for sufficiently long interaction times, the observed periodic order is
0.00 0.00 0.00 28. We associate this0.00
0 limited0.1
0.05 by only coupling
0 to the environment
0.05 0.1 0 0.05 0.1 with0 0.050.3 0.1
DTC order9–12. Within the DTC phase, 2 µmthe lifetime is essentially
(b)independent of θ, indicating exceptional robustness (Fig. 2d). (d) 0 0.02
We examined whether the observed periodic order could arise from
b an accidental
0.06 XY sequence14 or from inhomogeneous dephasing
b 800
(ns)
alone 0.04is insufficient for stabilizing a DTC phase in the absence of 0.00 0.02 0.04 0.06 0.08 0.10
Perturbation,
Discrete time
1
interactions9–12, we verified this experimentally; implementing a rotary
Interaction time,
echo sequence that reduces such dephasing, we find no change in the crystalline order Perturbation,
400 0.4
lifetime of the DTC order and an enhancement in the subharmonic
response
0.02 at late times (see Methods and Extended Data Fig. 1). In
Figure 4 | Subharmonic peak height as a function of the drive
principle, fast Markovian dephasing could also lead to apparent perturbation. Main panel, the central subharmonic peak height in th
periodic order at extremely small values of θ − π by eliminating 200
Discrete
coherences along both ŷ and ẑ , leaving only x̂ polarization dynamics.
time crystal Fourier spectrum as a function0of the perturbation ε, averaged over th
In such0 a case, the decay rate of periodic order should increase 10 sites and 10 disorder instances, for four different interaction streng
quadratically with θ − π. However, 0.025 this explanation 0.05 is inconsistent with
0.075 0 (see key at1 top). Solid lines1.2 are guides to the eye. The height decreases
the observed robustness of the lifetime of DTC order for a range of 0.8 0.9 1.1
Effective interaction
θ − π values (Fig. 2d) and the independently 2J0 t2 measured time dephasing rate across theangle,
Rotation phase (π) boundary and eventually diminishes as the single pea
(see Methods). c is split into two. Error d bars, ±1 s.d. Inset, numerical simulations given
Figure 3 | Variance of the subharmonic
To experimentally determine the DTC peak amplitude
phase boundary, we focus asona signature z
FIG. 4 (a)ofSignatures of time crystalline order were observed in a one
120
dimensional experimental chain parameters.
of Ytterbium ions. In this system,
the DTC transition. a, Variances of the central peak height, computed
the long-time behaviour of the polarization time traces (50 < n ≤ 100) 60 0.6
Fourier transform
and compute the ‘crystalline fraction’, in which is defined as the “clock”0 states of a 171 Yb +
)
/T
ratio of the ν = 1/2 peak intensity to the total spectral power, 0.95
(1
1 1.05 0.4
different which
strength (x-axis), strengths
f = Sis (ν =of 1/the2) 2 /long-range
effectively ∑ ν S (ν ) parameterized interaction term
2 (see Methods). Figure by anJ0. interaction
3a shows The
f as acrossover time-scale, procedure).
and the The strength measurementsof the perturbation
y
are in agreementon the with the expe
function ofal.,
θ for two different interactionabletimes. For weak interactions
from a symmetry
π-pulse (y-axis), (Zhang etunbroken 2017) state were to a DTC
(τ1 = 92 ns), f has a maximum at θ = π and rapidly decreases as θ
is
toobserved
observe as a
the peak in
system’s 120 behavior DTC to
change time fromcrystal ‘melting’
ax discrete boundary,
time crystalwhich
phasedisplays
to approxim
0.6
the measured
a time-translation symmetryvariance
deviates of the subharmonic
unbroken
by approximately 0.02π phase.
. However, system
Figure
for stronger response.
interactionsDashed
adapted from Fig. 60 3(b) of linear(Zhang dependence
0.5
et al., 2017).on the perturbation
(c) (Choi et al., strength
2017a) in the limit of s
0
)
lines, numerical results,
ns), wescaledobserve avertically to fit the ofexperimental as a data
/T
(τ1 = 275 arobust DTC phase, which manifests 0.4(∼10
utilized a diamond sample containing high density Nitrogen-Vacancy color interactions
1 centers 15. ppm) (Choi et al., 2020). In this
(1
0.95 1.05
large crystalline fraction over a wide range 0.86π < θ < 1.13π. We
system, the(see Methods
spin consists for of
associate detailed
atwo manalysis
s -sublevels
phenomenological procedures
phase and boundary NV and possible
centers
with f = 10% and sources ofwith one (π)another
interact Figurevia magnetic the
4 illustrates dipole-dipole
amplitude interactions.
of the subharmonic peak
decoherence).
The interplay between Experimental
observe thethat the boundary
long-ranged error bars,with
enlarges
dipolar s.e.m.; a.u., arbitrary
τ1,interaction
eventually saturatingand atunits.
Figure 3 | Phase diagram and transition. a, b, Crystalline fraction f (a)
the
and itsthree
associateddimensional
phasefunction
diagram (b) asof nature of
θ andthe sample isapplied
conjectured to strengths. I
b, Crossover τ1 ≈ 400 ns (Fig. 3b). The phase boundary can also be visualized as the
determined by a fit(Ho to the variance peak location
ε, for
a function ofthe four different
τ1 obtained interaction
lead to critically slowvanishing
thermalization and et al., 2017; Kucsko et (filled
from a2018),
al., Fourier transform
during at latewhich
times (50 < n ≤ 100). Thetime
discrete red diamonds
crystalline order can be
circles). Dashed
of the ν = 1/2 peak
line, numerically
incommensurate peaks (Fig. 3c).
the simultaneous
determined
emergence
phase boundary
of two mark the phenomenological
with presence of spin–spin
phase boundary, identified as a interactions,
10% the peak height falls off slowly
observed. (d) Experimentally measured phase boundary (red dashed line
crystalline added
fraction; as error
horizontal a guide)
bars denote ofthethe critical
statistical error (s.d.)discrete time crystal
experimental long-range
The rigidity of the coupling
ν = 1/2 peak parameters
can be qualitatively10
. Grey shaded
understood by region
from a super-Gaussian fit. increasing
In a, vertical error This
ε.bars of data slope is steeper as we turn down the intera
points (circles)
as a function of the effective
constructing interaction
effective eigenstatesstrength of 2T Floquet and the π-pulse
cycles, including spin– are imperfection.
limited by the noisestrength,
Figure adapted from Fig. 3(b) of (Choi et al.,
2017a). indicates 90%spin confidence
interaction. We level of the the
approximate DTC unitaryto symmetry
time evolutionunbroken over a indicate phase floor (see Methods)in agreement
and horizontal error with
the pulse uncertainty of 1%. Grey lines denote the fit to extract the
bars the trend of numerical simulations (
boundary. Interaction
single period asstrengths UT = Rθy e−iHeffare τ1 and normalized to be unitless,
solve for a self-consistent evolution referencing
phase boundary (see Methods). inset).InThis is characteristic
b, the colours of the higher susceptibility to perturba
of the data points (circles)
end, we consider represent the extracted crystalline fraction at the associated parameter set.
using product
to the fixed disorder states as a variational
accumulated phase ansatz.
π (ref. To this
the situation in which a typical spin returns to its initial state after 2T,
10). The dashed line corresponds This to asubharmonic
disorder-averaged theoreticalpeak height
prediction observable is expected to scale
10
ψ(0)〉 ∝ ψ(2T )〉 = e−iθS e iφiS e−iθS e−iφiS ψ(0)〉, and self-consistently asymmetric distributionsimilar way as the mutual information , and can serve as an o
y x y x for the phase boundary. Asymmetry in the boundary arises from an
of rotation angles (see Methods). c, Evolution of
of freedom of a system. Locally-injected energy can- 2013) considered
determine the interaction-induced rotation angle φi ≡ ∑ j Jij /r ij3 S xj τ1 the Fourier spectra as a parameter.
periodically-driven
function of θ for twoThis
versions of a Ma-
differentconnection
interaction times: also provides insight into the Flo
not spreadtrack the perturbation
throughout ≈Ji τ1 ψthe (0) S x ψ (0)ε., This
system where(Abaninresults
ψ(0)〉 is in the coherent
et al.,spin2019;
initial beats
state and andjorana
τ1a=splitting
385 ns (top) and τ1 = 92in
chain
iH3t 3 ofmany-body
single spin−trajectory
ns (bottom).
which d, Blochthe
quantum
sphere indicating a
time-dependent
under thedynamics,
Hamilto-
in particular the correlations or e
in the Fourier
Abanin and Papić, Floquet Ji = ∑
2017; spectrum
J / r 3
(see
j ij Nandkishore by 2ε
Methods). (Fig.
We expect
and 2a). φ When
to
Huse,
i change we
sign
2015). add
after disorder
each
nian e toggles
dipolar Hamiltonian
the 2T-periodic evolution
(red)between
and global rotation topological
(blue).
long-range
superconducting and
glement underlying the DTC phase. Indeed, the eigenstates of the e
ij
MBL wastooriginally
the Floquet period, the single spins precess ofcanathighly-
cycle, because the average polarization 〈ψ (0) S xdifferent Larmor rates
ψ (0) 〉 should
beformulated
flipped. Intuitively, the asself-consistent
a property solution be visualized as trivialin DTC orderinsulating Floquet
at ν = 1/3. Here, westates.
unitary
utilize all are
three These
expected
spin states of free
to
the fermion
resemble GHZ mod-
(Greenberger–Ho
(Fig. 2e) and dephase
a closed path on the with
Blochrespect
sphere (Fig. to 3d),each
where each other of the(Fig.
four arcs2b). Only on centre. We begin with all of the spins polarized in
nitrogen–vacancy 8
disordered time-independent
adding Isingsuchcorresponds to oneHamiltonians
interactions portion
e − iH of2tthe
2 2T-periodic Ĥevolution.
in which
, and hence many-body correlations, When θ = π, els the m s
avoid
= 0 〉 state and Zeilinger)
Floquet
evolve under theor
heating
barespin-‘Schrödinger
dipolar by virtue
Hamiltonian for a Cat’
ofstates
their . The initial product st
inte-
a solution always exists. More surprisingly, even for θ ≠ π a closed duration τ1 (see Methods). Next, we apply two resonant microwave
local observables fail
the spin synchronizationto relax to
path can still be found
their
is restored thermal
for sufficiently (Fig. 2c, strong
average
f). grability, which the experiment does notcansurvive
interactions, pulses, each of duration τ2, first on the transition ms = 0〉 → ms = −1〉
be written as a superposition
generic perturba- of two cat s
with respectThe to ekey−β Ĥ
result and,
Ji τ1 > 2 θi − πinstead,
is ;that in such cases,the
withthe long-time
alldeviation
of these in θ awaybehav-from π is com- tions
elements, theand then on
temporal
pensated by the dipolar interactions (Fig. 3d). We obtain a theoretical sequence of operations defines a single Floquet
quet
involving ↓↓…↓〉
the transition s = 0〉 x→ =ms 1= +1〉φ. In
minteractions.
2 (
For such
combination,
cycle with period
)
+〉 + φ−〉 , where φ±〉 = 2 ↓↓…↓〉x ± ↑↑…
this drives, the Flo-
1
(
ior dependsresponse
on the isphase
locked
details
boundary toof twice
by the the
numerically initial Floquet
averaging state, period, a clear
the self-consistent even
solution in the
T = τ1face+ 2τoperator
ofbefore,
2. As hThese takes
we measuretwothe on
states a particularly
i evolve
polarization at which
hP(nT), different is simple
rates form, to their re
icorresponding
over both disordered spin positions and local fields. The resultant defined as the population Pdifference between the ms P = 0〉 and B B
example of perturbations
ergodicity phase toboundary
the drive
breaking. in H1. This
It
is in reasonable
was canwith
subsequently
agreement betheseen clearly U
re-
experimental as
msF= the−1= 〉split exp
states (Fig. tive
ic When
4a). quasi-energies,
j iγ
each
A
j ofγthe
B
expgiving
j applied iJ rise
microwaves iγ
jcor-
toj the
γj+1subharmonic
(Prosen,periodic oscilla
alized thatFourier
MBL peaks from
canobservations
also occur Fig.
for short2b merge
into moderate
1D into a single
interaction
periodically-driven times τ1, but peak in Fig.
overesti-
1998; 2c. This
responds to an ideal πof
Thakurathi physical
pulse, this sequence observables. Such oscillations are expected to pers
realizes a cyclic transition
al., 2013).
etis explicitly For c near π/2, there
mates the boundary at large τ1 (dashed 10 line, Fig. 3b; see Methods). with Z 3 symmetry (Fig. 4b), which broken by any change
represents
systems with strongthe ‘rigidity’
disorder
Finally, Fig. 4 for of the DTC
appropriate
demonstrates that the , which driving
discrete persists pa-underare
time-translation inmoderate
the pulse duration.increasingly
The Fourier spectra long times
of P(nT) as the
for various pulse system size increases7,8,10.
“Floquet Majorana fermions” at quasienergy π. In
perturbation strengths. However, for large
symmetry can be
rameters (Abanin et al., 2016; Lazarides et al., 2015; further broken down to Z 3 ε, the DTC phase disappears,
(refs 10–12, 29), resulting durations and for two In summary,
different values of τ 1 are we present the experimental observation of dis
shown in Fig. 4c. With
time crystal stable against generic perturbations did not Floquet dynamics will be captured by this example. In
exist (Khemani et al., 2016). particular, consider Floquet time evolution (with a pe-
This sentiment was overturned in (Else et al., 2016), riod, T0 = t1 + t2 ) governed by alternating between two
which showed that discrete time crystals are a stable time-independent Hamiltonians:
phase of matter in Floquet-MBL systems with only time (
translation symmetry. In particular, a discrete time crys- H1 , for time t1
H(t) = (13)
tal in a closed system must satisfy Eq. 3 in the absence H2 , for time t2 .
of a bath and in a manner that is stable against arbitrary
weak perturbations respecting time translation symme- Let us take H1 , H2 as given by:
try. Other symmetries may or may not be present, but X X
Eq. 3 should hold even when those symmetries are vio- H1 = − Jij σiz σjz − (hzi σiz + hyi σiy + hxi σix )
hi,ji i
lated. These developments led rapidly to the first phase X
diagram for a time crystal and to proposals describing H2 = g σix . (14)
how to create and measure discrete time crystals in exper- i
iments (Yao et al., 2017), culminating in the first obser-
vations of time-crystalline behavior (Fig. 4) (Choi et al., with ~σ being Pauli spin operators and Jij , hxi , hyi , hzi
2017a; Zhang et al., 2017). sufficiently disordered to ensure that the spin chain is
many-body localized. The simplest way to see the (triv-
Thus far, the above discussions have focused on many-
ial) emergence of a period-doubled (i.e. ν = 1/2 sub-
body localization as a possible strategy for stabilizing
harmonic) response is to consider the decoupled limit
discrete time crystals. One of the caveats of using MBL
(Jij = 0) with only a longitudinal field, hz , along ẑ. For
is that the approach depends on the robustness of many-
any individual spin initially along the ẑ-axis, the spin will
body localization itself. While MBL has purportedly
Larmor precess around the x̂-field during the second por-
been proven to exist in certain undriven, one-dimensional
tion, H2 , of the Floquet evolution. When timed appro-
spin chain models with random local interactions (Imbrie,
priately, t2 = π/g, this evolution implements a so-called
2016), its stability in d > 1 and in long-range interacting
π-pulse, which flips the spin, and causes a period-doubled
systems remains an open question (De Roeck and Hu-
response. However, much like our discussion of the map
veneers, 2017; Khemani et al., 2021; Luitz et al., 2017;
Φ(x) = −x in Section II, this period doubling is not
Thiery et al., 2018; Yao et al., 2014, 2021); to date, there
rigid to perturbations and not indicative of a many-body
is no mathematical proof for the stability of many-body
phase. In particular, any imperfections in the timing of
localized Sτ B in a Floquet system in any dimension. An
the π-pulse will immediately lead to the breakdown of the
alternate strategy for stabilizing DTC order, termed Flo-
period-doubled response (Yao et al., 2017). However, by
quet prethermalization, can occur in any dimension and
turning on the Ising interactions between the spins, in
in the presence of long-range interactions, so long as the
conjunction with the disorder which leads to MBL, the
driving frequency, ωD , is sufficiently high. To this end,
system becomes robust to small imperfections and the
in the remainder of this section focused on closed sys-
subharmonic response is rigid to arbitrary, weak pertur-
tems (Fig. 1), we will focus in subsection IV.B on MBL
bations of both the initial state and the Hamiltonian (so
discrete time crystals in 1D and in subsection IV.D on
long as these perturbations respect the period of the Flo-
prethermal discrete time crystals in arbitrary dimension
quet evolution). We note that this last parenthetical dis-
and with power-law interactions.
tinguishes time crystalline order in closed systems from
time crystalline order in open systems, where perturba-
tions that explicitly break the discrete time translation
B. Many-body localized discrete time crystal
symmetry of the dynamics can still be allowed (see Sec-
tion V.E).
Our focus in this subsection will be on highlighting
the key features of time crystalline order in Floquet MBL
systems, by describing recent observations from three dis- C. Experimental signatures of disordered time crystals
tinct experimental platforms: trapped atomic ions (Yao
et al., 2017; Zhang et al., 2017), spins in solid state 1. Trapped ion spin chains
materials (Abobeih et al., 2019; Randall et al., 2021),
and superconducting qubits (Arute et al., 2019; Frey and Zhang et al., 2017 observed and characterized time
Rachel, 2022; Mi et al., 2021). crystalline behavior in a spin chain (Fig. 4a) composed
Before describing the experiments, we begin by intro- of trapped atomic ions. In the experiment, each ion
ducing a standard model for a period-doubled discrete acts as an effective spin, and interactions are controlled
time crystal in a spin-1/2 chain, and discuss several lim- through external, optical spin-dependent forces (Monroe
its of this model. While the experiments will not im- et al., 2021). The system is periodically driven by suc-
plement this specific Floquet unitary, the spirit of their cessively applying three time-independent Hamiltonians,
14
corresponding to a global drive, interactions, and disor- ing a variety of product initial states, (Randall et al.,
der (Smith et al., 2016). The disorder is programmed by 2021) demonstrates that dipolar interactions between the
individually addressing each spin with a tunable laser nuclear spins lead to robust period doubling for nearly
beam. The ion chain was composed of a relatively ∼ 103 Floquet cycles (note that each Floquet cycle lasts
small number of effective spins (between L = 10 − 14) 10 ms), independent of the initial state [Fig. 5(c)]. More-
and the time crystalline response exhibited some sen- over, they show that local thermalization occurs within
sitivity to the initial conditions (Khemani et al., 2019; ∼ 10 Floquet cycles, demonstrating that the observed
Zhang et al., 2017), suggesting that long-range interac- time crystalline order is not a result of slow thermaliza-
tions could be leading to a time crystalline response stabi- tion.
lized by prethermalization (Sec. IV.D) rather than local-
ization. The experiment was able to observe a cross-over
between the DTC regime and the symmetry unbroken 3. Superconducting transmon qubits
phase (Fig. 4b). To do so, Zhang et al., 2017 measured
the Fourier spectrum of each individual spin and stud- Signatures of time crystalline order have also re-
ied the variance of the amplitude of the ν = 1/2 subhar- cently been observed in three experiments utilizing su-
monic response as a function of the π-pulse imperfection, perconducting transmon qubits (Frey and Rachel, 2022;
ε. By increasing the strength of the interactions between Mi et al., 2021; Xu et al., 2021). Working with
the ion spins, they demonstrated that the location of the Google’s ‘Sycamore’ processor, (Mi et al., 2021) employ a
variance peak shifted toward larger values of ε, consis- quantum-circuit-based approach to demonstrating MBL
tent with the expectation that many-body interactions time crystalline order (Ippoliti et al., 2020). In par-
are essential for stabilizing time crystalline order. ticular, in order to work with a one dimensional sys-
tem, (Mi et al., 2021) isolate a nearest-neighbor cou-
pled chain of L = 20 qubits from the two-dimensional
2. Spins in condensed matter
array (Fig. 5d); an analogous strategy is taken by (Frey
and Rachel, 2022), who isolate an L = 57 qubit chain
Signatures of time crystalline order in solid-state sys- on IBM’s quantum processors: ibmq manhattan and
tems have been observed in both disordered Nitrogen- ibmq brooklyn. Both (Mi et al., 2021) and (Frey and
Vacancy (NV) ensembles (Choi et al., 2017a; Ho et al., Rachel, 2022) utilize one and two-qubit gates in order
2017) and NMR systems (Luitz et al., 2020; Pal et al., to implement a digital Floquet sequence. For the exper-
2018; Rovny et al., 2018a,b). In the context of NV cen- iment performed on the Sycamore processor, the specific
ters (Fig. 4c,d), despite the presence of strong disorder, Floquet sequence was given by (Fig. 5e),
it is known that dipolar interactions in three-dimensions UF = e− 2
i
P
i hi σiz − 4i
e
P
i Ji σiz σi+1
z
e − 2i πg
P
i σix
, (15)
cannot lead to localization; however, the resulting time-
crystalline order can exhibit an anomalously long life- consisting of random longitudinal fields, disordered
time owing to critically slow thermalization (Ho et al., nearest-neighbor Ising interactions, and approximate π-
2017). One of the puzzles arising from NMR experiments pulses. Deviations from the ideal π-pulse limit (i.e. g = 1
on phosphorus nuclear spins in ammonium dihydrogen in Eq. 15) are used to control the transition between
phosphate was the observation of period doubling de- the discrete time crystal phase (i.e. g = 0.97 in Fig. 5f)
spite the lack of disorder and a high temperature initial and the trivial thermal phase (i.e. g = 0.6 in Fig. 5f).
state; these observations were ultimately understood as To demonstrate that the observed subharmonic response
consequences of an approximate long-lived U (1) conser- is not affected by the choice of initial states, both (Mi
vation law (Luitz et al., 2020), which leads to effective et al., 2021) and (Frey and Rachel, 2022) probe the Flo-
prethermal time crystalline order (see Sec. IV.D). quet dynamics starting from random initial bit-strings.
Recent work in the solid-state has focused on pushing In addition, (Mi et al., 2021) also experimentally imple-
toward a realization of time crystalline order in a regime ment a finite-size-scaling analysis by varying the length of
compatible with many-body localization (Randall et al., their one dimensional chain between contiguous subsets
2021). As depicted in Fig. 5(a), Randall et al., 2021 uti- of 8, 12, and 16 transmon qubits; this reveals a tran-
lize a platform consisting of a precisely characterized ar- sition between the MBL discrete time crystal and the
ray of 27 nuclear spins surrounding a single NV center in thermal phase at a critical value of the π-pulse imperfec-
diamond (Abobeih et al., 2019). Owing to differences in tions, 0.83 & gc . 0.88. Finally, in order to characterize
the hyperfine interaction strengths, each nuclear spin is the intrinsic gate errors and decoherence of their sys-
individually addressable (for both initialization and read tem (with T1 , T2 ∼ 100µs (Arute et al., 2019; Kjaergaard
out [Fig. 5(b)]). In order to work with an effective one- et al., 2020)), (Mi et al., 2021) implement a benchmark-
dimensional geometry (thus avoiding issues regarding the ing “echo” Floquet sequence, which reverses the digital
stability of MBL in d > 1), (Randall et al., 2021) select a time evolution after a set number of Floquet cycles. Di-
specific 9-spin subset of the 27 nuclear spins. By prepar- viding by this benchmarking sequence leads to signatures
15
PRE-THERMAL PHASES OF MATTER PROTECTED BY … PHYS. REV. X 7, 011026
PRE-THERMAL PHASES(2017)
OF MATTER PROTECTED BY
(a) (b) (c)
symmetry generated by X. This Ising symmetry corre- (since ρ~ commutes with D). symmetry Therefore, generatedat odd by times, X. Thisthe Ising symmetry corre-
sponds to an approximate emergent symmetry UXU † of U f order parameter sponds to an approximate emergent symmetry UXU † of U f
(the term emergent is used for the reason stated above, and (the term emergent is used for the reason stated above, and
quasienergy
approximate because it is an exact symmetry of U ~ f , not Uf , approximate
z because it is an ð20Þ exact symmetry of U ~ f , not Uf ,
M2nþ1 ¼ hσ i iX ρ~ X ¼ −M 2n :
and therefore is approximately conserved for times t ≪ t! ). and therefore is approximately conserved for times t ≪ t! ).
Suppose that D spontaneously breaks the symmetry X Suppose that D spontaneously breaks the symmetry X
below some finite critical temperature τc . For example, Thus, the state of the system at odd times is different from
below some finite critical temperature τc . For example,
workingPin two dimensions or higher, we could have the state at even times, and time translation by T is
workingPin two dimensions or higher, we 2could have
D ¼ −J hi;ji σ zi σ zj plus additional smaller terms of strength spontaneously broken to time translation by 2T.
D ¼ −J hi;ji σ zi σ zj plus additional smaller terms 2 of strength
The above analysis took placeFloquet in thecycle, frame N rotated
(d) a which break integrability.
(e) a RandomWe are
Bit-strings interested in
Random the andregime
h c
( ) (f) Disorder which
and break
Initial-State integrability.
Averaged We
Autocorrelators are interested in the regime
es that can be executed simultaneously
i i
by U. However, we canandalso consider the expectation
array. We calibrated and benchmarked where Figurethe heating
1: atime
Programmable t! ≫
Random Bit-strings
t0pre−thermal
spin-based X , where
g tpre−thermal
quantum
Random and h i i is ( ) c 1.0
Z (h )simulator. (A) We program an
Disorder
effective
where 1D
Initial-State
the Averaged
heating Autocorrelators
time t ≫ t pre−thermal , where tpre−thermal is
Q : 0 1
values of operators in theof original frame, for example,
!
12)
nent and system level using a powerful 1
1
A ( 𝑈 ) A ( 𝑈 )
the chain
thermalization
of 9 spinsQtime :in0 an of10interacting
D.01 cluster of 27 Z13 C nuclear spins
1.0 Figure
(orange) 4: AObservation
close to aof†the
singlethe DTCNV response for generic initial states.(A) (A)Individual
Individualspin spinex-ex-
Figurez 4: Observation the DTC
z thermalization response for
time generic
of D. initial Astates.
g X (h )
ZZ (
11
marking . Finally, we used component-
12)
1
1
(A𝑈 )
0 (𝑈ECHO)z
A (𝑈 )
0 (𝑈ECHO)
dict the performance of the whole sys- Q: 1 X
g
Z (h )
hψðtÞjσ jψðtÞi
0.5 pectation ¼
values h ψðtÞjU
~ h) ijasi as σ Uj
aifunctionψðtÞi.
~ of The after
Nafter rotation
initializing U the is spins in the Néel state |"#"#"#"#"i
23)
2
ZZ (
tum information behaves as expected Now, consider
center. Connections theQ: 1 time
2
evolution
0indicate
1 nuclear-nuclear
g XjψðtÞi, starting Z from
couplings
(h ) a pectation
i
|Jjk0.5| >and1.5 values
Hz, and
A 0 ( 𝑈 h
ECHO
z
a
jblue (red) function
Now, linesof N
consider initializing
the time the spins
evolution A 0 ( 𝑈 in the
) Néel
jψðtÞi,correlation
ECHO state |"#"#"#"#"i
starting from a
ZZ (
closeand to applying
the identity in ✓the regime where 5the heating timetwo-point
ZZ ( 23)
applying for and ms.(B) (B)Averaged
Averaged two-pointcorrelation function ,
2
2
UFUFfor ✓==0.95⇡ 0.95⇡and ⌧ ⌧==5 ms. function
(0) ( )
1 X
g Z (h )
given short-range
represent negative correlated
Q: 0
Q : 0(positive)
0
statenearest-neighbor
jψð0Þi. We alsoZcouplings define within 0.0 the chain z (24). Magneticgiven short-range
field: z correlated state tojψð0Þi. We also define
34)
3
3
corresponding to the data in (A). The †DTC response persists similar high as for the po-
(0) ( )
X (h )
is large, so σ has large overlap with U σ U and therefore
g
0 1 N
ZZ (
corresponding to the data in (A). The DTC response persists to similar high as for
timespo-
the
ZZ ( 34)
3
45)
larized state (Fig.3B). 3B). (C) Fourier transform inin(B), (B),showing thetheperiod-doubled
period-doubled
4
4
macy, we compare our quantum proces-
Q: 1 0 0
g X
−iDT n Z (h ) display
⇥ #state
larized fractional
𝑈ECHO (Fig. frequency
(C) Fourier oscillations.
⇤transform [Specifically,
of the data
ZZ (
t ¼ sequence
nT, we find (29),that Q : 1jψðnTÞi jψð0Þi. Since −iDT n
ZZ ( 45)
4
ical computers in the task of sampling
followed ~ 1 by
4
0 ¼ ðXe
rotations X
g
ofÞ the~ form Z (h
R(#,
)
') = -0.5
exp response.
response. ifrom 𝑈 (D) (Average
(sin(')
2𝑈 (D)
x
𝑈 † )t + cos(')
Average t correlation
¼ nT, )we
correlation
y
for.for find that
even(upper
even (upper jψðnTÞi
~ curve)and
curve) ¼odd
and ðXe
odd(lower(lower jψð0Þi.
Þ curve)
~ NNfor
curve) Since
for9 9ran-
ran-
it -0.5
follows the construction of 2U that U¼ OðλTÞ,
5
quantum circuit 11,13,14
. Random circuits
−iDT Þ2 ¼ e−2iDT
5
(𝑈 †initial 1þ
evolution ,under
Q : we 1 see that Xat even multiplesUZF(h )= of[Uint (⌧and −iDT e−2iDTtime
1 0 g Z (h ) )t N
marking because they do not possess
r limited guarantees of computational
ðXeAfter 5
the Floquet X
g
sequence
5
) -1.0 Udomly
· λT x (✓)
domly ≪ 1· chosen
gU
chosen
is =int
0.60,
the (⌧ )]
initial
Qubit
regime
states,
,11states,
theðXe spins
where plusplusthe
Þ the
are
the ¼ polarized
polarized
heating , state
weisand
state seethethe
and
large.] that
gNéel0.97,at
= Néel state
Qubit even
state multiples
(indicated
(indicated
11 in in(E))
(E))of with
with
1
cuits to entangle a set of quantum bits
on of single-qubit and two-qubit logi- Figure 1: Programmable sequentially
the period, t ¼read Q : 0
2nT, out the
0 through
20 0
time evolution
the X NV electronic of jψðtÞi ~Z (hspin is
20
using ✓= =0.95⇡
electron-nuclear
-1.0 ✓ 0
g = 0.60,and
0.95⇡ 10andand
Qubit⌧11= 5 ms. Each data point is the average
⌧ =20 the
nuclear-nuclear
5 ms. 0 Each period, data
20 point t ¼ is 2nT,
40the averagethe60 time overeven/odd
g = 0.97,
over 80even/odd
evolution
Qubit 11 integers
of jψðtÞi
integers
100 ~ininthetherange
isrange
spin-based quantum Q : simulator. We recall that t theThree
20 conditions for fractional tfrequency
g )
0 1 (A) We program an effective 1D
20
0 N to N of
0 the states 20 are measured up 60to N = 80 theothers
otherstotoNN The
20
antum circuit’s output produces a set
chain of 9 spins in an
Qubitdescribed
interacting by
cluster the
of
Adjustable coupler
27 time-independent
two-qubit gates (see text). Colored 𝑈boxes
13
C nuclear spins Hamiltonian
(orange)
𝑈F ( t Cycles)
close to a D.
single Thus,
with ‘I’ denote oscillations
NV N to
re-initialization
10 + 10.
Floquet
N + 10. Three
into
cycle, the
N of described
the states
given state. areby the
measured
40
time-independent
Floquet up to
cycle,N =N 800,800,the
Hamiltonian100
D. = =Thus,
300.The
300.
0101, 1011100, …}. Owing to quantum
b F ( t Cycles)
d dashed in t the
black prethermalized
line isa fit
a fitofof| ||, |,averagedregime
averaged aret(gthe
over that (a) states
three D measured to N = 800, using a
stribution of the bitstrings resembles center. Connections we
indicate expect that,
nuclear-nuclear
(C) Coupling matrix after the
couplings time t
Thermal
|J | > 1.5 Hz, , the
and system
blue MBL-DTC
(red) appears
lines dashed black
Thermal (g line
= is
0.60) wethe expect that, after
over
MBL-DTC theXtime
the =three
0.97) tpre−thermal
states measured , the system appears a
to N = 800, using
b 1.0 for the the 9-spin chain.MBL-DTC (D) Average coupling magnitude
Thermal (g = as abreakfunction fof site
b jk pre−thermal
oduced by light interference in laser
gs are much more likely to occur than represent negative (positive) nearest-neighbor couplings within
Thermal
g = 0.60,chain (24). Magnetic field:g = 0.97,
dmust 1.0 spontaneously
phenomenological 0.60) function Ising
(N ) =Ae symmetry
MBL-DTC
AeN/N N/N(g 1/e=, 0.97)
givingupAto A= =a0.76(1)
0.76(1)and andNN1/e==472(17). 472(17).(E) (E)
to be in a thermal state of D at temperature τ. Thus, phenomenological function to fbe(N )=
in ↵a thermal , giving
1/e
state of D at N temperature τ.{",Thus,
his probability distribution becomes
FIG. Bz ⇠5 403 (a)G. (B) Schematic
Experimental distanceimage
sequence:across The the
depictingspinschain.
1.0
the = Orange
gQubit
0.60,
are initialized 9 by
11 spin line:
applying least-squares
subset the PulsePolof gQubit = 0.97,fit
Qubit 11 topre-characterized
⇤the1127 finite
a power-law
1.0
0.5 function
critical temperature
Calculated energydensity density
nuclear τEc ,Efor
J0 /|j and
fork|all
spins , possible
(b) the energy
surrounding statesofof density
theform
theformN single L
L j |mjNV
1/e
i, mj2 2{", (black
#}(black
ψð2nTÞih ψð2nTÞj ≈ ρ , where ρ ⇥is
11 a# thermal density matrix Calculated energy all possible states
≈ the |m j i, m #}
A/A0
e number of qubits (width) and number
j ~ bygiving ~ ~
0.5 Hz and
Qubit~ (E) Measured expectation
with
0.5
0.0
values
respect tohinitial z
after j ψð2nTÞih
~
initializing ψð2nTÞj
~ ρ
~ , where ρ~ is a thermal density
j matrix
jD of toUjψð0Þi NVinmust correspond to the a corresponding
sequence(b) (29),Eachfollowednuclear rotationsspinJof0 the
= can form
6.7(1) R(#,
be ') = exp↵ = 2.5(1).
i 2 (sin(') x
+ cos(') y
)and . lines). The istates states measured in (D) are indicated by j
colors.
A/A0
center. individually initialized read-out via
lines). Thecoupling
initial the
measured center.
(D) are The Floquet
indicated by sequence
τ,the
andcorresponding colors.
0.0
processor is working properly using a
After evolution underfor the D at some
Floquet sequence temperature
UF 0.5 = [Uint (⌧ τ,) and
· Ux (✓) the· Uapproximate
int (⌧ )] , the spins
N equality
are -0.5
for D1,at we some temperature the approximate equality
nchmarking 11,12,14
, which compares how
consists of U , which the state
includes|"""""""""i. a disordered The data is corrected
long-ranged for measurement
Ising interaction-0.5 errors
temperature
-1.0 (25).
and τ < a τ .
disordered
c In Fig. longitudinal show the expected
field followed by an
sequentially readint meansthethat
out through the expectation
NV electronic spin values of local
0.0using electron-nuclear andobservables
nuclear-nuclear are meansτ that the expectation values of local A/ A
A/A0 observables are
( )( )
Qubit
Instance
Instance12
n of the simulated probabilities ofdiamond lattice. symmetry
(c)Orange
In the of D MBL is spontaneously
discrete 23broken
time crystal and ρ~Jphase,mustk|either ↵ the system
15 exhibits robust subharmonic oscillations lasting ∼0.5 10
prethermal regime. symmetry of D is spontaneously broken 0.0 and ~ must either
the -0.5 0.0ρ
distance across the chain. line: least-squares-0.5 fit to a power-law function , the1010
Qubit
10 mm
Instance
Instance 0 /|j
z z
n
"P(x )# − 1 Floquet
giving J 0 cycles.
= 6.7(1) Hz select
The
and ↵ =a nonzero
different
2.5(1). (E) value
colors
Measured for the
are
expectationorder
Instance
Instance34
associatedparameter
values h z
i afterM
with ¼ hσ
different
initializing
2n i
i ρ~ initial 5 states, which select
are a nonzero
characterized value by for the
their order parameter
quasienergy -0.5
-0.5-1.0 M 2n ¼ hσ i iρ
i i (1)
-1.0
Instance
Instance45 j
12 5 ~
in thethestateright Thehavedata islong-range
corrected for measurement errors (25).latterbehavior
Fig. 1 | The Sycamore processor. a, Layout of processor, showing a rectangular
|"""""""""i. or correlations. The 20 case 40 is 60 impos- or0state,
have long-range 40 correlations. 80The latter
panel. Crucially, the time Instance 5 -1.0 case is impos-
s, P(x ) is the probability of bitstring x
-1.0
array of 54 qubits (grey), each connected to its four nearest neighbours with
0 10crystalline
20 0 is80independent
100 0 of 10the initial 20 20as expected 60for an MBL 100time
0 B. Example: Periodically 20driven40Isingt spins
i i couplers (blue). The inoperable qubit is outlined. b, Photograph of the
0 10 t 20 0 20 40 t 60 80 100 10 t 20 0 60 80 100
m circuit, and the average is over the
, F is correlated with how oftencrystal.
XEB we (d) Schematic
Sycamore chip. sible given our initial
depicting thestate, as long-range
53t transmon qubit correlations
t Sycamore chip. (Mi t et al., 2021) sible isolate given our oneinitial
t dimensionalstate, as long-range chains of correlations
ings. When there are no errors in the
on of probabilities is exponential L (see = 8, 12,
connectivity 16, to20
was chosen
cannot
qubits be
be forward-compatible from generated
this
with error correc-
in finite time. Then,
two-dimensional grid. at odd (e) A times digital Let us now
Floquet consider consisting
sequence a cannot
concretebemodel ofgenerated
random that realizes finitethetime. Then,
inlongitudinal fields, at odd times
FIG.
this12 2. Observing a many-body localized discrete time-crystal. a, Schematic of the experimental circuit composed
t ¼ ð2n þ 1ÞT,Ising we have behavior described above. We
trandom consider anwe Isinghave ferromag-
26
nd sampling from this distribution will tion using the surface code . A key systems engineering advance of
r hand, sampling from the uniform disordered nearest-neighbor
device is achieving high-fidelity single- and two-qubit operations,FIG.
ofnot
t 2.interactions,
identicalObserving a many-body
cycles of and
the approximate
unitary Û localizedπ-pulses
. The local discrete
polarization time-crystal.
are applied
of each to
qubit, ¼
a, Schematic
h ð2n
Ẑ(t)i, þ is 1ÞT,
of the
“bit-string”
measured experimental
at the initial
end.circuit
In composed
states.
the (f)
following
F
net, with awith
oflongitudinal
each qubit, hfield Ẑ(t)i,applied to break initialthe Ising
n
2 and produce F = 0. Values of F just in isolation but also while performing a realistic computation with
XEB XEB of t identical cycles of the unitary ÛF . The local polarization is measured at the end. In the following
In simultaneous
e probability that no error has occurred the thermal gate operations on phase
many qubits. We(left panel),
panels, we
discuss the highlights
panels, we
the disorder
investigate
investigate
averaged
a number
−iDT
a number ofiDT
autocorrelation
of disorder
disorder
instances
instances
each
each with
function a di↵erent
a di↵erent
quickly random
random
decays to
bit-string
bit-string
zero.
initial state.
Instate.the b,MBL Experimental
b, Experimental
time iDT
i
<latexit sha1_base64="GjqyJsz/JswmPpgDM/ifxWQRHGg=">AAAB73icbVBNS8NAEJ3Ur1q/qh69LBahXkoigh6LXjxWsB/QhrLZbtqlm03cnQgl9E948aCIV/+ON/+N2zYHbX0w8Hhvhpl5QSKFQdf9dgpr6xubW8Xt0s7u3v5B+fCoZeJUM95ksYx1J6CGS6F4EwVK3kk0p1EgeTsY38789hPXRsTqAScJ9yM6VCIUjKKVOj0ZD0kVz/vliltz5yCrxMtJBXI0+uWv3iBmacQVMkmN6Xpugn5GNQom+bTUSw1PKBvTIe9aqmjEjZ/N752SM6sMSBhrWwrJXP09kdHImEkU2M6I4sgsezPxP6+bYnjtZ0IlKXLFFovCVBKMyex5MhCaM5QTSyjTwt5K2IhqytBGVLIheMsvr5LWRc1za979ZaV+k8dRhBM4hSp4cAV1uIMGNIGBhGd4hTfn0Xlx3p2PRWvByWeO4Q+czx8LjY9N</latexit>
Klinger, 1974). In driven Floquet systems, the presence Second, Heff must be able to host a symmetry-broken
of two distinct energy scales is particularly natural, since phase with respect to the emergent symmetry. Note that
the frequency of the drive and the interaction energy- owing to Landau-Peierls-type arguments, this naturally
scales within the Hamiltonian are independent. Indeed, places constraints on the interaction range and dimen-
it has recently been established that Floquet prether- sionality for realizing a prethermal discrete time crystal
malization is a generic feature of driven systems in the (PDTC) (Kyprianidis et al., 2021; Machado et al., 2020;
high-frequency regime (Abanin et al., 2017a,b, 2015; Else Pizzi et al., 2021a). Finally, the initial state of the many-
et al., 2017; Kuwahara et al., 2016; Mori et al., 2016; Wei- body system must have a sufficiently low energy density
dinger and Knap, 2017). From the perspective of heating, (measured with respect to Heff ), such that it equilibrates
as discussed in Sec. IV.A, one of the central consequences to the spontaneously symmetry broken phase during the
of Floquet prethermalization is that the frequency of the prethermal regime (Fig. 6).
drive exponentially controls the heating time scale, t∗
(Abanin et al., 2015; Machado et al., 2019; Mori et al.,
2016). The physical intuition for this exponential scal- 2. Prethermal discrete time crystal in a 1D trapped ion chain
ing is as follow: at large frequencies, ωD J (where J
is the local energy scale of the many-body system), the To highlight the dynamical signatures of a prethermal
system must undergo ∼ ωD /J local rearrangements in discrete time crystal, as well as the distinctions from an
order to absorb a single unit of energy from the drive. MBL time crystal (Sec. IV.C.2 and Sec. IV.C.3), we turn
This intuition holds for both quantum and classical sys- to a recent experiment performed on a trapped ion quan-
tems, although in the remainder of this subsection, we tum simulator (Kyprianidis et al., 2021). As discussed in
will focus on the quantum setting; we will return to the Sec. IV.C.1, some of the first experimental observations
classical case in the outlook (Sec. VI.B.1). of time crystalline behavior (Fig. 4a,b) were originally
Crucially, (Kuwahara et al., 2016) and (Abanin et al., observed in small-scale trapped ion experiments (Zhang
2017a) proved that up until the timescale, t∗ ∼ eωD /J , et al., 2017), and one of the central advances in recent
the system does not absorb energy from the drive and work is the ability to experimentally distinguish between
the stroboscopic Floquet dynamics are (up to exponen- local thermalization (e.g. “short time” in Fig. 6) and late-
tially small corrections) captured by an effective static time dynamics in the prethermal regime.
Hamiltonian, Heff . Unlike MBL, these features of Flo- The experiment consists of a one dimensional chain of
quet prethermalization are largely independent of disor- N = 25 Ytterbium ions and the Floquet evolution alter-
der, dimension and the range of interactions (Fan et al., nates between two types of dynamics. First, a global π-
2020; Machado et al., 2020, 2019; Peng et al., 2021; Pizzi pulse is applied and then second, the system evolves un-
et al., 2021a; Rubio-Abadal et al., 2020). der a disorder-less, long-range, mixed-field Ising model.
While the ability to exponentially delay the onset of At leading order in the Floquet-Magnus expansion, the
Floquet heating is crucial for realizing and stabilizing a stroboscopic dynamics of the ions are captured by the
discrete time crystal, one additional key insight is still effective Hamiltonian,
needed, namely, the observation that Heff can exhibit X X y
Heff = Jij σix σjx + By σi , (16)
an emergent symmetry (which need not be present in
i,j i
the original Floquet evolution) protected by the discrete
time-translation symmetry of the drive (Else et al., 2017; which exhibits an emergent Ising symmetry. To begin,
Machado et al., 2020). The presence of such an emergent (Kyprianidis et al., 2021) demonstrate that independent
symmetry in Heff allows one to sharply define phases of of the initial state of the ion chain, the system exhibits
matter (i.e. via symmetry-breaking) in the prethermal slow, frequency-dependent heating to infinite tempera-
regime (Fig. 6). A mathematical description of prether- ture. As aforementioned, in order for the system to ex-
mal discrete time crystals in the quantum setting closely hibit time crystalline order, the initial state of the ion
follows the discussion of sections III.B.1 and III.B.2. chain must reach a pseudo-equilibrium state (within the
This lays the foundation for the connection to time prethermal regime) in which it breaks the emergent Ising
crystalline order—if a many-body system prethermalizes symmetry (Fig. 7). For a one dimensional system at
to a state that spontaneously breaks the emergent sym- finite temperature, this is only possible for sufficiently
metry of Heff , it will also exhibit time-crystalline order, long-ranged interactions (Fisher et al., 1972; Kosterlitz,
corresponding to a subharmonic oscillation between the 1976; Thouless, 1969). The trapped ion system gener-
different symmetry sectors (Else et al., 2017; Machado ates such long-range interactions by using a pair of Ra-
et al., 2020). man laser beams to couple the internal spin states to
To recap, within the framework of Floquet prether- motional modes of the ion chain (Sørensen and Mølmer,
malization, realizing a time crystal requires a few ingre- 1999).
dients: first, the Floquet drive must induce an emergent Initializing the system with a Néel state (top, Fig. 7a),
symmetry in the prethermal effective Hamiltonian Heff . (Kyprianidis et al., 2021) observe that the magnetiza-
RES EARCH | R E P O R T 17
PN
(a) tion, M (t) = 1/N i=1 hσix (t)ihσix (0)i quickly decays to
zero, in agreement with the expectation that the sys-
tem equilibrates to a symmetry- unbroken paramagnetic
state. On the other hand, starting from a polarized initial
state, M (t) exhibits period doubling (bottom, Fig. 7a),
whose lifetime is directly controlled by the frequency of
REPORT RES EARCH | REPORT
the drive. Moreover, in this latter case, the lifetime of the
time-crystalline order matches with t∗ , consistent with
the intuition that Floquet heating ultimately melts the
PDTC at late times.
An intriguing open question is whether this melting
can be delayed or fully arrested by coupling the system
to a cold bath (Else et al., 2017). More broadly, the
stability and rigidity of many-body time crystalline order
in dissipative, open quantum systems [Fig. 8(c)] remains
an active area of exploration (Booker et al., 2020; Buča
and Jaksch, 2019; Buča et al., 2019; Chinzei and Ikeda,
(b)
2020; Dogra et al., 2019; Gambetta et al., 2019b; Gong
Fig. 3. Characterizing the PDTC phase. (A and B) (Top) Magnetization et al., 2018;(t*)Iemini
and magnetization decay Keßler
et al., 2018; (tPDTC) times for four
et al., different
2020, 2019; initial states at
dynamics, M(t), for the Néel state (A) and the polarized state (B). ForKeßler
the Néel et varying energy
al., 2021; densities (34). At low
Kongkhambut energy
et al., densities,
2022; tPDTC (orange) are
Lazarides
state, M(t) quickly decays to zero at time tpre (dashed vertical line), independent
et al., 2020;substantially
Lledó shorter
et al.,than t* (magenta)
2019; Lledó and
andindependent
Szymańska,of frequency,
of the drive frequency. For the polarized state, the subharmonic response (2T- highlighting the trivial Floquet phase. At high energies, tPDTC is similar to t*,
2020; Seibold et al., 2020; Tucker et al., 2018; Zhu et al.,
periodicity) persists well beyond tpre, and its lifetime is extended upon increasing highlighting the long-lived, frequency-controlled nature of the PDTC behavior. Th
2019).is Welocation
the drive frequency. The lifetime of the prethermal time-crystalline order t
return to it in Section V.
of the observed crossover in energy density is in agreement with an
PDTC
obtained by fitting the magnetization dynamics to an exponential decay (34). independent quantum Monte Carlo calculation (red and blue shaded regions)
Statistical error bars are of similar size as the point markers. (Bottom) (34). Error bars for the decay time correspond to fit errors, whereas error bars
^x $magnetization dynamics across the entire ion chain at w/J0 = 38. (C) E. Heating for
Periodically thedriven
energy density correspondCondensates
Bose-Einstein to statistical errors.
proximations. Exact answers are difficult to obtain in Sτ B is prethermal in this case, as could be evaluated in
this regime, as it is a full quantum many-body prob- the N → ∞ limit using the 2D GPE.
lem, but numerical results have been obtained within
time-dependent Bogoliubov theory (Kuroś et al., 2020)
and the truncated Wigner approximation (Wang et al., V. OPEN, PERIODICALLY-DRIVEN SYSTEMS AND
2021a). Both conclude that out to thousands of driving STOCHASTIC DYNAMICS
periods, the boson population remains almost entirely
within the two modes, with no evidence for heating. Our discussion thus far has focused on closed systems
These findings support the conclusion of the two-mode in which the dynamics are deterministic, x → Φ(x).
approximation (with finite N ), where τ ∝ eαN . Of course However, when a system is coupled to an environment,
such numerical simulations cannot definitively rule out it is often fruitful to model the effect of the environ-
exponentially slow depopulation and heating (Sec. IV.D), ment’s chaotic motion as noise (most-conveniently taken
as might occur in a prethermal time-crystal (Else et al., to be Markovian), so that the dynamics become effec-
2017; Machado et al., 2019; Sacha, 2020). However, if tively stochastic. Rather than focusing on a particu-
one accepts the conclusion that as N → ∞, the GPE can lar microstate, one instead considers a probability dis-
generically break ergodicity in this setting (as it does in tribution over microstates ρ(x, t) which evolves under a
a static double well potential), the possibility that Flo- “master equation,” for example the Fokker-Planck equa-
quet heating is absent out to infinite times even for the tion. Integrating the master equation over one Floquet
driven GPE, seems like a reasonable (albeit, still surpris- cycle then produces a discrete update of the distribu-
ing) possibility. tion, ρ(x, t + T ) = Φ[ρ(x, t)]. In classical mechanics this
Finally we comment on the contention that time- results in a probability distribution over canonical coor-
crystals in driven BECs are “effectively few-body” (Khe- dinates ρ(x = {p, q}, t)R which evolves under a Markov
mani et al., 2019). This is partly a matter of nomen- process, ρ(x0 , t + T ) = Φ(x0 |x)ρ(x, t)dx, where Φ(x0 |x)
clature. On the one hand, these systems are clearly not are the Markov transition probabilities. In the quantum
few-body as the interaction, g0 , and the limit N → ∞ case, we have a density matrix ρ̂(t) which evolves under a
are necessary for Sτ B. Furthermore, while not rigorously “quantum channel” ρ̂ → Φ[ρ̂]. One can also in principle
proven (much like Floquet MBL is also not rigorously consider non-Markovian baths, a point to which we will
proven), the authors of this Colloquium find it plausi- return.
ble that Sτ B could be stable up to times, τ ∝ eαN , even The definition of Sτ B given in Eq. (3) generalizes to
when the physics is treated as a full many-body problem. the open case by measuring the local observable, O, in ex-
Again, much like the situation with MBL, this “plausi- pectation, and stability can be defined by requiring Sτ B
bility” is bolstered by the fact that the undriven GPE in be robust to perturbations of the stochastic dynamics
a double-well potential does, in fact, break ergodicity. subject to locality and any other dynamical constraints
On the other hand, it seems that Sτ B is only stable one is interested in [Fig. 8(c)]. The environment is both
because of the reduced dimensionality induced by the good and bad for Sτ B. On the one hand, coupling to
gravitational confinement, which effectively ensures the an environment introduces friction: the energy and en-
accuracy of the two-mode approximation; no such picture tropy produced by the periodic drive can now be ab-
would be obtainable for the MBL setting (Sec. IV.B). sorbed by the bath, which can prevent the long-time
We venture that a more useful distinction is the nature Floquet heating which would otherwise destroy Sτ B in
of the thermodynamic limit being taken. In the case the absence of MBL. This tends to help stabilize sponta-
of MBL time-crystals (or the driven, open time-crystals neous time translation symmetry breaking. On the other
of Sec. V), true Sτ B is achieved in the thermodynamic hand, if the environment is at finite temperature, the in-
limit L → ∞, with τ ∼ eL/ξ , keeping intensive quan- evitable noise which results may occasionally conspire to
tities fixed. In the case of the driven BEC, due to the cause phase slips in the period-doubled motion. Roughly
confining gravitational potential, the system size L is not speaking, if noise nucleates phase slips at rate 1/τ , the
relevant (in this sense the problem is zero dimensional) Sτ B has a finite auto-correlation time τ and there is no
and the problem reduces to being effectively few-mode, true long-range order. The interplay of a periodic drive,
even though the physics is realized in a full, many-body interactions, dissipation, and noise results in a truly non-
system. In this setting, Sτ B is recovered in the limit equilibrium situation which is exceptionally rich – just
N → ∞, keeping g0 N fixed, with τ ∼ eαN . like the world around us (Booker et al., 2020; Buča and
An intriguing probe of this distinction would be to con- Jaksch, 2019; Buča et al., 2019; Chinzei and Ikeda, 2020;
sider a 2D generalization of the driven BEC: bosons are Dogra et al., 2019; Gambetta et al., 2019b; Gong et al.,
gravitationally confined in the z direction, but propagate 2018; Iemini et al., 2018; Keßler et al., 2020, 2019; Keßler
freely along x. In this case, the density of states is ex- et al., 2021; Kongkhambut et al., 2022; Lazarides et al.,
tensive in x, and domain walls between the two period- 2020; Lledó et al., 2019; Lledó and Szymańska, 2020; Sei-
doubled orbits can form. It is natural to suppose that bold et al., 2020; Tucker et al., 2018; Zhu et al., 2019).
NATURE PHYSICS ARTICLES 20
Time
η is the strength of the friction and ξ(t) is a stochastic force with
variance, ξ(t )ξ(t ′) = 2ηTδ (t − t ′). Taking η > 0, T = 0 reduces to
the damped case where period-doubling is easily stabilized, while
a combination of finite T and driving results in a truly non-equilib-
rium situation. The question concerning the existence of ‘classical
discrete time crystals’ (CDTC) can then be posed as follows: in what
dimensions can a classical many-body system, coupled to an equi-
librium bath, exhibit rigid subharmonic entrainment for either the
closed case (η = 0), the zero-temperature case (η > 0, T = 0) or the
finite temperature case (η, T > 0)?
Because the T = 0 (no noise) case is already known to feature
FIG. 9 Arnoldrigid subharmonic
tongues of the entrainment,
damped in we focus on T > 0.
this work equation.
Matthieu
Furthermore, if a CDTC exists in d* dimensions, it will presumably
The x-axis is exist
the fordriveall d ≥ d*,2 so we focus on the most delicate
frequency expressed via the case: T > 0 in
dimen-
(2ω0 )2 /ω
sionless ratio aone=dimension , while the y-axis
(1D). Although an equilibrium phase
D is the drive
transition is
impossible inindicate
amplitude δ. Contours 1D, mightthe there nevertheless
critical drivebeamplitude
a non-equilibrium
dynamical when
required for resonance phase transition between of
the coefficient a period-doubled
friction takesCDTC a and
a symmetric
given value c. When c > phase?
0, the period-double solution (a = 1)
In this
onsets only at finite δ. work,
Figure weadapted
first argue,from basedPedersen,
on remarkable 1980.results due
Fig. 1 | Period-doubled dynamics ‘boil’ out of a uniform initial state. In the
to Gács50–52 and Toom53–55, that in principle true CDTCs, with an FIG.main 10 panel
Domain walls betweenview different period-doubled so-
infinite autocorrelation time, are possible in all dimensions d >lutions
we present a stroboscopic qj(2ntD), with time n running
0 of the parametrically driven 1D Frenkel-Kontorova
down vertically (0!<!n!<!1,200) and space j running horizontally over the
(ref. 56). However, in 1D the construction is so baroque that we
modelnosc!=!100 oscillators. The
(Eq.(12)) in colour scale shows
contact with qj!<!0aas red, qj!>!0 as blue
finite-temperature
cannot yet explicitly prove this conjecture theoretically or numer-
A. “Activated” time-crystals and qj!≈!0bath.
Langevin as white.Colors
Note that we strobe every
indicate the twoamplitude
driving periods,ofwhich
the j-th
ically. To this end, we instead investigate in detail a more physi-
is the frequency of theat
subharmonic response. Hence,times the displayed
qj (t phase
cal Hamiltonian, the parametrically driven Frenkel–Kontorova oscillator observed even stroboscopic = 2nT ),
of the oscillators varies slowly. A detail of a smaller region strobed at
A classical(FK) model. The basic
realization of thisidea isinterplay
simple: eachisnonlinear
given oscillator
by in
with time running vertically. Inset, the oscillations at strobo-
the driving frequency, qj(ntD), is shown in the inset. The period-doubled
the chain undergoes a 2:1 parametric resonance, and we couple scopic times q (nT ), which reveal the period doubling. Figure
Langevin dynamics.
the oscillatorsDuetogether
to the to trycoupling withthethe
and stabilize CDTC en-phase at oscillations qjj(ntD)!∝!(−1)n are now manifest. Strikingly, the correlations
adapted from (Yao et
are antiferromagnetic bothal., 2020).
in time and space, even though the oscillators
vironment, each finitedegree
temperature. We find that
of freedom (q,this
p)model exhibits anan
experiences intriguing
are coupled together ferromagnetically (ωD!=!1.958, g!=!0.065, δ!=!0.067,
line of first-order dynamical phase transitions, between an ‘acti-
additional Langevin force FL (t) = −η q̇ + f (t). Here η is η!=!0.003, T!=!0.004). In the final state, there is a finite density of π-domain
vated’ period-doubled CDTC and a symmetry-unbroken phase,
the friction coefficient and f (t) is a white-noise stochas- walls between the two different period-doubled solutions.
that terminates at a critical point (Figs. 1 and 2). The activated (Hayashi, 1953; Pedersen, 1980, 1935; Taylor and Naren-
0 an autocor-
tic force withCDTC is not a true time function
auto-correlation crystal; rather, it has(thas
hf (t)f )i = dra, 1969). As shown in Fig. 9, for γk > 0 the sub-
2ηT δ(t − t0 ), relation
wheretime T that diverges
is the exponentially as
temperature ofTthe → 0. Because
bath. of this
exponentially diverging timescale, it would be extremely difficult harmonic responseof acquires
the full complexity a finite
Gács’ construction, threshold
which valueis for
we now explain,
The total force is obtained
in experiments by adding
to distinguish FL antoactivated
between the time- CDTC andthe in fact required.
a drive amplitude δk , and modes outside the resonance
true, long-range-ordered
dependent Hamilton’s equations,CDTC; ṗ = indeed,
−∂q H(t) to detect
+ Fthis difference
L (t). tongues are damped. Absent noise, Sτ B is then real-
over many mil- Conjecture on the existence of classical time crystals. Although
This leads toweamust masterconductequation
careful numerical – theexperiments
Fokker-Planck izedour
as ultimate
a sharpinterestmany-body bifurcation transition
lions of Floquet cycles. is to understand the possibility of time as some
crys-
equation – of theBefore
general divingform ∂t ρ({p,
into the details,q}, = L[ρ], where
t) emphasize
let us the key charac- tals in openof
combination Hamiltonian systems, it is first
driving frequency, worth considering
amplitude or damping a
teristic of a true
L is the Fokker-Planck long-range-ordered
operator. Integrating CDTC,the namely, the existence more general class of dynamical systems, ‘probabilistic cellular
Fokker-
of period-doubling with an infinitely
strength is tuned into the 2:1 parametric
τ, automata’ (PCA). Recall that a deterministic cellular automata
resonance of a k-
Planck equation over one Floquet cycle oflong the autocorrelation
the drive timemode.
which is stable to small perturbations of the dynamics. More pre- (CA)For is a strongly
set of spinsviscous
{σi}, where σi ∈ {1, 2, waves,
Faraday ..., N}, withthea equations
discrete
then gives thecisely,
discrete-time
if one considers update
a model ρ(t
of + T ) = Φ[ρ(t)].
periodically driven oscillators update rule
of motion areσi → T[σi − 1, σi, σi more
somewhat + 1] . In complex,
58
a PCA, the systembut the is instead
conclu-
with position coordinates q
Note that we are assuming the environment remains i , the autocorrelation time τ of period- described by a probability distribution P[{σi }] over spin configu-
doubling can be quantified as ⟨q (nt )qi (0)⟩ ∝ (− 1) e n −ntD∕ τ sion are similar (Edwards and Fauve,
, where rations, which is updated by a local Markov process; that is, each
1994; Kumar and
in equilibrium at temperature T , andi soD instantaneously Tuckerman,
σ 1994).
tD is the period of the drive and 〈 〉 indicates averaging over noise i is updated with a probability distribution that depends only on
satisfies the fluctuation-dissipation
realizations. For low but finite theorem
temperatures,which the relates itself and itsnoise
period-doubling However, neighbours.
(i.e. One way to
finite obtain a PCA is toTstart
temperatures, > with
0) in-
the magnitudeweofobserve
the friction
in the drivenη andFK modelthe noise
exhibits2ηT only. anIf activated
H(t) auto- a deterministic CA and perturb it by stochastic errors; for example,
duces fluctuations between the different
with probability E ≪ 1, a spin can violate the transition rule and flip
cycles of the
correlation time,
were time-independent, this ≈ e Δeff ∕ Tensure
τ (T )would , where Δeff is andetailed-
(via effective activation Sτ B,intoleading
a randomto a (the
state finite
preciseauto-correlation
statement of such antime. Recall
error model
balance) thatbarrier.
the systemThus, inrelaxes
1D, the CDTC to theorder of the FKensem-
canonical model we study fromcanour be found in ref. 51).of prethermal systems (Sec. III.B.1
discussion
survives only to exponentially long, but not infinite times. Despite Given that the PCA update rule is discrete time-translation-
ble at long-times where Sτ B is forbidden (Bruno, 2013;
the activated behaviour of the period-doubling, we nevertheless and invariant,
Sec. IV.D) that we may transform to a rotating
one can then ask if the long-time probability distribu-
Nozières, 2013;find Watanabe and Oshikawa,
a first-order dynamical phase transition 2015).
where τ(T) Butdrops dis- frametionK(t):
can ever H(q, p, t)with
oscillate → H(P,period Q, two,t)thereby
= Heff (Q, P a) time
realizing + V (t)
when H(t) iscontinuously
periodically and period-doubling
driven, this isneed completelynot destroyed
be the(Fig. 2). crystal.the
in which For driving
a deterministic
V (t)CA, a time crystal
is weak. For ais trivially
single obtained
pendulum
In 1D, such a first-order phase transition would be impossible in by letting binary spins transform under the rule 0 ↔ 1 (this is anal-
case: a non-equilibrium
equilibrium57.
steady state can develop in which (Eq.ogous6), H takes the form of a double-well potential.
to eff
our previous discussion of fine-tuning, or introducing
energy and entropy This leaves thefrom
flows question the drive attoa peculiar
of CDTCs the bath viaalthough
point: Thefriction
noise but willno then
noise).leadHowever,to activated
any infinitesimal hoppingrate of between
errors
the system. we believe a true CDTC is in principle possible in 1D, the obvious will desynchronize
the minima at rate the 1/τspins= eand −∆/k theBautocorrelations
T
, where ∆ iswill thedecay
quasi-
candidate model is only exponentially close to one. It may be that over a timescale τ ~ 1/E.
We can now return to the question of period-doubling energy barrier between the two minima. Thus, at finite
in open classical many-body systems such as the Faraday- temperature, a single pendulum is no longer a true time-
NATURE PHYSICS | VOL 16 | APRIL 2020 | 438–447 | www.nature.com/naturephysics
wave instability and coupled pendula (see e.g. earlier crystal, but rather an “activated” time-crystal in 439
which
discussions surrounding Eq. (12) and Sec. III.A). For the autocorrelation time of the Sτ B diverges exponen-
small oscillations and weak damping, the friction re- tially with temperature.
sults in a damped Mathieu equation of the general form The problem is richer when coupling the pendula into
q̈k = − ωk2 + δk cos(ωD t) qk − γk q̇k . The sub-harmonic an array, where Heff approximately takes the form of an
responses of this model have been studied extensively Ising model (recall Sec. III.B.4 for e.g. the definition of
21
10
I
20
Two more intrinsically mesoscopic examples, which sample voltage V (mV)
can be recast in the language of activated time-crystalline
FIG. 1. Differential resistance vs dc sample voltage (a) with and (b) without applied rf voltage at 25 MHz. The peaks
in (a) correspond to steps in the direct I- V curve. A few peaks are identified by p/q (see text).
order, are AC-driven charge density waves (CDW) and FIG. 11 Differential resistance measurements, dV /dI, in the
fractional Shapiro steps in Josephson junction arrays. charge density wave system NbSe3 . A bias voltage V (t) =
Both have received tremendous experimental attention; Vdc + V
sured with and without externally D t) is rfapplied,
rf cos(ωapplied voltage and the DC
quency locking component
between the of internal
the CDW (or
at co,„t/2n = 25 MHz.resistanceFor thedV rather/dIlow rfisvoltage
measured, Josephson)
holding frequency
V and rv;„,
ω and all harmonics pt0, „,
fixed.
since the two systems are conceptually equivalentused (Bohr dc
here, ET is not reduced from the value in the
dc rf D
of the applied rf field. The harmonics of m, „, are
et al., 1984; MacDonald and Plischke, 1983), absence we will of rf, butSharp peaks in the resistance correspond
there appears a whole family of
to plateaus in the
induced by the inherent nonlinearity of the system.
I-V curve.
peaks at impressed dc current such that The location of these peaksspectral
Direct can beanalysis attributed
of the to a oscillations'
current
largely focus on the former. In a charge density wave ma- motion of the CDW in which it shifts
in the by p/q wavevectors
of per
= absence applied rf reveals rich harmonic
terial such as NbSe3 (Grüner, 1988), the electron density p~ext q int~ (3)
driving period, resulting in a subharmonic intensity ofbetween
current, with response the harmonics qco;„, de-
spontaneously develops a charge density modulation where pat and q are integers. The ratio cu;„$2rrIcDw with q. Hence it is natural to interpret
the AC components of the voltagecaying
was found to be 30 MHz cm2/A in agreement with
and slowly
current. In the absence
the peaks as regions in which any harmonic of the
twice the Fermi wavevector, n(x) ∼ n0 cos(2kF x + θ(x)),
earlier studies. of ' theA fewAC drive
of the (panel
peaks b), the subharmonic
are identified internal frequency response locksistoabsent.
any harmonic of the
where θ is the slowly varying phase of the CDW. Treating
by p/q in the figure.Figure Theadapted fromwere
identifications (Browncon- et al., field. ' To the extent that mode locking
1984).
external
for several p/q by plotting Icnw vs co,„, and
θ as a single macroscopic degree of freedom, one firmedobtains
checking that the slopes were indeed p/q times that
within such regions is complete, the CDW is unable
to respond to changes in the applied dc voltage, and
a phenomenological equation of motion given by (Grüner
for the fundamental. The features with small p and the resistance rises to that of the normal electrons
et al., 1981): q are more conspicuous, Mostbeingnotably,both taller q 6=wid-
for and 1 (see alone.
for example
In the present the prominent
experiment, the steps have
er. Figure 1 is a typical trace. By varying V,f and lower resistance than the normal electrons, indicat-
either morepeak in Fig.
steps 11 can for p/q = 1/2), thetheresponse
locking is is not subhar-
θ̈ + (ω0 τ )−1 θ̇ + sin θ = E(t)/ET ~e„,, (19) or fewer be observed. ing that complete. The tendency
While the dependence monic:on the theseCDW shifts
parameters is by
not 1/qtoof a wavelength
lock is weaker for larger with each
p and q.
strong, substantially increasing or decreasing either It is largely agreed that complete mode locking
period of the AC-drive.
where sin θ accounts for the potential that pins theV,CDW,
ω0 τ is a relaxation time (note that time is rescaled
f or co,„, significantly reduces the number of steps
which canby be observed. While Eq. (19) treats θ as single
The steps with q =1, p ~ 1 have been studied
'
occurs for Eq. (2) only because of the inertial
term. ~'macroscopic
In NbSe3 thevariable,
inertial term is negligible
'
the natural oscillation frequency ω0 ) due to dissipation
previously " in the experiment
and are well known to arise from fre-
there are up to several hundred megahertz.
spatial fluctuations
based on the frequency-dependent
which Theconductivity
argument,
from the material, E(t) is the applied bias, and ET is can be accounted for by considering a 2D or 3D array
2278
the threshold bias for transport. This is the equation of of θ(r) coupled through an elastic stiffness. (Middleton
motion for a damped and driven pendulum. When E(t) et al., 1992) showed theoretically that the subharmonic
is larger than the threshold ET , the system enters into a response remains robust in this many-body setting. In
sliding state with h∂t θi = 6 0, generating a finite current. fact, in the overdamped regime with a purely sinusoidal
In the experiments of interest, a bias is applied with pinning potential, subharmonic responses are only found
both DC and AC components, E(t) = Edc +Eac cos(ωD t). when treating the problem as many-body one.
In the sliding state, the motion of the CDW over the pe- The phenomenological equation of motion [Eq. (19)],
riodic pinning potential defines a frequency scale ωdc ≡ which predicts perfect Sτ B, also neglects the effect of
hθ̇i ≈ ω0 τ EEdc
T
. When ωdc = pq ωD , commensuration ef- thermal fluctuations that are of course present in exper-
fects allow the AC-oscillations to assist the motion of iments such as Fig. (11). As discussed in (Thorne et al.,
θ over the potential. Since the current Idc is propor- 1987a,b), a careful examination of the experimental I-V
tional to ωdc , commensuration can lead to a plateau in curves reveals that some (but not all) of the subharmonic
Idc whenever ωdc ≈ pq ωD . This leads to the emergence plateaus are rounded-out in a sample dependent fashion.
of a “devil’s staircase” of plateaus (Brown et al., 1984; Complementary to this, the spectral distribution I(ω) (or
Thorne et al., 1987b; Zettl and Grüner, 1983) in the I- V (ω) in current biased mode) shows peaks at ω = pq ωD
V curve as Edc is swept at fixed Eac (see Fig. 11 which with finite width, rather than perfect Bragg peaks. This
depicts dV /dI versus the voltage V ). broadening is attributed to a distribution of velocities
23
∂t θ throughout the sample, which, in the language of ergodicity was introduced as a property of a measure-
time-crystalline order, implies the absence of perfect Sτ B. preserving deterministic system. The precise definition
Indeed, numerical simulations of driven 1D CDWs con- works differently in the stochastic case, but intuitively,
firm that finite temperature broadens the plateaus (Mali still captures whether a system inevitably “forgets” its
et al., 2012). Unfortunately, owing to thermal gradients initial condition. We direct the interested reader to
generated due to Ohmic heating, AC-driven CDWs do (Gielis and MacKay, 2000; Gray, 2001) for a discussion
not appear to be particularly well suited for quantita- of the technical aspects required to make the definitions
tively investigating the temperature dependence of the precise in the thermodynamic limit.
broadening at low T (see e.g. discussions in Sec. V.A). In the stochastic setting, a probability distribution ρs
Mathematically equivalent physics is found in the AC is an “invariant measure” of the dynamics if it is a fixed
Josephson effect (recall related discussions in Sec. I). In point of the stochastic update, Φ[ρs ] = ρs , i.e. it is a
the McCumber model (McCumber, 1968) for a resistively steady-state distribution. A stochastic system is said
and capacitively shunted Josephson junction (RCSJ), the to be ergodic if two properties hold: (1) the dynamics
superconducting phase difference φ across a Josephson have a unique steady state ρs and (2) the long-time be-
junction obeys the equation of motion havior of any initial state relaxes to this steady state,
limt→∞ ρ(t) = ρs . As in the closed, deterministic case,
ωp−2 φ̈ + ωc−1 φ̇ + sin φ = I(t)/Ic (20) Sτ B in the sense of Eq. (3) requires that Φ is non-ergodic.
p Otherwise, at long times, the m-possible orbits become
where ωp ≡ 2Ic /C, ωc ≡ 2Ic RN , and V /RN = φ̇/2RN indistinguishable and any oscillations will decay.
is the normal current across the junction; here, C is the Instead, a Sτ B phase will exhibit so-called “asymptotic
capacitance, I is the current across the Josephson junc- periodicity”(Lasota et al., 1984; Losson and Mackey,
tion, Ic is the current, and RN is the normal resistance. 1996). At long times the distribution relaxes to a convex
The situation considered in Sec. I occurs in experiments combinationPof m locally-distinguishable distributions
m
in which the junction is under-damped. The DC current ρp , ρ(t) → p=1 αp ρp+t which are cyclically permuted
is carried entirely by normal quasiparticles, IDC = In , under the evolution
P Φ[ρp ] = ρp+1 (with ρp+m = ρp ).
1
satisfying IDC /Ic = ωc−1 φ̇ or, simply, IDC = V /RN . An While ρs = m p ρp is a unique steady state, in the
AC supercurrent flows in response to the voltage drop generic case where the αp are unequal ρ(t) will continue
across the junction, IAC (t)/Ic = sin(2IDC RN t). How- to oscillate so that the limit limt→∞ ρ(t) = ρs fails to
ever, in this under-damped regime, the I − V curve is exist 3 .
hysteretic, and there is a branch in which the voltage The existence of true Sτ B in open dynamical systems
drop across the junction is zero so long as the DC cur- thus hinges on a far more fundamental question: can
rent is less than the critical current: IDC = Ic sin φ. This a locally interacting stochastic system generically break
vertical step in the IV curve is followed by a plateau at ergodicity? This line of questioning has a deep history in
I = Ic from V = 0 to V = Ic RN where it rejoins the the fields of non-linear dynamics, mathematical physics,
other branch. and computer science. The answer is intimately related
Returning to the general case of Eq. (20), we note to the stability of phase coexistence and phase transitions
that this equation of motion is formally equivalent to the in stochastic systems.
CDW [Eq. (19)], and by analogy one also expects steps We can illustrate the ideas at play by stripping away
in the I-V curve when the AC component of the current, the complexity of Hamiltonian dynamics and instead con-
I(t) = Idc + Iac cos(ωD t), is commensurate with rational sidering a classical spin system. For specificity we start in
harmonics of the DC voltage, ωJ = hφ̇i = 2eVdc . (The equilibrium with a classical Ising model HI [{σ}]. While
vertical step in the superconducting branch of the hys- HI itself does not define any dynamics, we may define
teretic I − V curve in the underdamped case is a trivial a “kinetic Ising model,” such as Glauber or Hasting-
version of such a step.) These “Shapiro steps” were first Metropolis rules, which update the spin configuration
observed at integer harmonics in single Josephson junc- σ → σ 0 according to a local conditional probability
tions (Shapiro, 1963). Later experiments (Benz et al.,
1990; Lee et al., 1991) on arrays of Josephson junctions
revealed subharmonic Shapiro steps. 3 In a deterministic system, P “ergodicity” governs the invariance
of Cesáro sums, limτ →∞ τ1 τt=1 O(Φ(t) (x)). In this case, Sτ B
implies that the m-fold iterated map Φ(m) is not ergodic, but
the map Φ itself generally is ergodic (though it is not mixing).
C. Ergodicity in open systems
In the stochastic case, however, ergodicity is usually defined to
imply the stronger
P form of convergence limτ →∞ = ρs , rather
At time scales t > e∆/kB T , an activated time crystal than limτ →∞ τ1 τt=1 Φ(t) [ρ0 ] = ρs . By this definition, Φ it-
1 Pm
loses memory of the initial condition which distinguishes self is non-ergodic. While the steady state ρs = m p=1 ρp
between the m-cycles of the Sτ B oscillation: its dynam- is unique, and one has limτ →∞ τ1 τt=1 Φ(t) [ρ0 ] = ρs , the limit
P
ics are ultimately ergodic. Earlier in this Colloquium, limτ →∞ ρ(t) does not exist.
24
Φ(σ 0 |σ) which obeys detailed balance with respect to implications for the generic behaviors obtainable by a
HI . Detailed balance ensures that the distribution ρs = classical computer perturbed by errors: e.g. Can reliable
e−βH /Z is a steady state. On a finite system at T > 0, systems emerge from unreliable components (Von Neu-
standard results guarantee that ρs is the unique steady mann, 1952)? For a review of these connections between
state with a finite relaxation time, so the process is er- theoretical computer science and more familiar notions
godic (Feller, 1957). However, the thermodynamic limit in non-equilibrium statistical physics, we refer the inter-
leads to richer possibilities. When h = 0 and T is be- ested reader to (Gray, 2001).
low the critical Ising temperature (e.g., when tuned to From the perspective of time crystals, the relevant
a first-order phase transition), the phase coexistence of question becomes the following: Do there exist CA which
the two magnetized phases implies the existence of two remain non-ergodic for generic small perturbations Φε ?
steady states, ρ(σ)+ = ρ(−σ)− , and the dynamics are And if so, might such a CA be the basis for sponta-
not ergodic. However, for any finite h phase coexistence neous time translation symmetry breaking? These ques-
is lost and the steady state is unique. This illustrates tions were answered in the affirmative in (Toom, 1980)
a general principle in equilibrium: ergodicity-breaking and (Bennett et al., 1990) Before diving into the first
requires tuning one or more parameters to a first-order question, we can sketch Bennett’s answer to the sec-
phase transition, and in this sense is fine-tuned (or re- ond. Suppose there does exist a local, non-ergodic CA
quires a symmetry beyond time-translation invariance). ΦCA with m-distinct steady states. For the simplicity of
We note that one route around this equilibrium no- discussion, we further assume that these states are ex-
go is to consider a spin Hamiltonian with power-law in- changed by a Zm symmetry, but (unlike a kinetic Ising
teraction of sufficiently slow fall-off, so that the energy or Potts model) we assume the non-ergodicity is stable
penalty for domain walls can be made to grow faster than to generic (possibly Zm breaking!) errors. We can then
the extensive energy of the symmetry-breaking external define a rotating version of the CA by composing ΦCA
field (Liggett, 2012). Or, taking this to the extreme, by with the action of Zm , Φ 2π m CA
≡ G2π/m ΦCA . By con-
considering models with all-to-all couplings in the spirit struction, ΦmCA = Φ m
2π ; thus, if ΦCA is proven to be
m CA
of a mean-field Hamiltonian, so that locality is lost en- stably non-ergodic, Φ 2π inherits this property and by
m CA
tirely (Lyu et al., 2020; Morita and Kaneko, 2006; Pizzi construction exhibits the “asymptotic periodicity” of a
et al., 2021b; Russomanno et al., 2017; Yang and Cai, time-crystal, cycling through the m-fixed steady states
2021). However, such models are not local in the usual of ΦCA .
sense: their thermodynamic properties are not extensive A particularly important point to emphasize is that
in system size, among other anomalies. So, while such (while convenient) it is not necessary to assume that ΦCA
models can be used as the basis for stabilizing even con- exhibits a Zm symmetry for stability. Indeed, if the non-
tinuous Sτ B (Kozin and Kyriienko, 2019), the starting ergodicity of ΦCA is stable to Zm -breaking perturbations,
point is rather different than the usual notion of locality one could just as well have started out with a perturbed
implied in the classification of phases. version of ΦCA which breaks the Zm symmetry. The con-
struction thus satisfies the important conceptual require-
ment that Sτ Bdoes not depend on any further internal
D. Probabilistic cellular automata symmetries.
Returning to the first question, the possibility of a lo-
Moving beyond equilibrium, one can consider more cal and generically non-ergodic PCA was a long-standing
general local Markov updates Φ(σ 0 |σ) of a discrete spin question for several decades (Dobruvsin et al., 1990;
system without reference to any particular H. Such Lebowitz et al., 1990; Toom, 1995) finally answered in
models are a type of probabilistic cellular automata the affirmative in the groundbreaking work of (Toom,
(PCA)(Dobruvsin et al., 1990); the continuous-time gen- 1980).
eralization of PCAs are dubbed “interacting particle sys-
tems” (Liggett, 2012). One particularly convenient way
to obtain a PCA is to start with a deterministic cellular E. An absolutely stable open time-crystal: the π-Toom
automata (CA) (Gutowitz, 1991) defined by a local up- model
date rule σ → ΦCA (σ), and then follow each CA update
with random spin flips at an “error rate” ε. For Marko- The Toom CA is a 2D binary spin model with a
vian errors we then obtain a Markov process which is a remarkably simple “north-east corner” (NEC) major-
perturbation of the deterministic CA, Φ = Φε ◦ ΦCA (we ity rule, defined as follows (Toom, 1980; ?). At each
note that mathematical results on PCA are even more step, each spin follows a majority vote amongst itself
general, allowing for non-Markovian errors). Such mod- and its two north and east neighbors: σx,y (t + 1) =
els have been of interest to the theoretical computer sci- maj(σx,y , σx+1,y , σx,y+1 ). This is a seemingly innocuous
ence community because CA are Turing complete, so the modification of the T = 0 nearest-neighbor kinetic Ising
study of the possible generic behaviors of a PCA have rule, in which each spin would follow a vote amongst its
YSICAL REVIEW LETTERS 12 AUGUST 1985 25
.2
0 Amplitude ergodicity breaking in 1D PCAs was only shown more re-
model differs FIG. 1. Phase diagram of the NEC system, for noise cently by Gács, Gács, 2001. Taken together, PCAs sup-
n having syn- FIG.parameters and q, ofwith
12 Phase pdiagram the amplitude = p + adapted
Toom model, from
q and bias port absolutely stable Sτ B of any period m ≥ 2 in all
= (p — q)/(p+ q).
ary runs in (Bennett and Grinstein, 1985). After each CA update, spins dimensions D ≥ 1.
ins are updat- randomly flip up or down with rate εp , εq respectively, with Is the full error-correcting capability of the Toom and
a fully asyn- “bias” (εp − εq )/(εp + εq ) and “amplitude” εp + εq . Within
We also
Gács models really necessary for stable Sτ B? For exam-
atively similarthe
phase diagram.region,
two-phase thereexplored
are two an analytically
distinct solvabledis-
steady-state
e, based on the recurrenceandrelation
tributions the dynamics are not ergodic. Unlike the Ising ple, in the construction Φ 2π m CA
≡ G2π/m ΦCA we may
m)2(1+m)+3(1 —q)(1
model, the— m)(1+can
system m) thus —q)(1+ m)one]/4,bit of informa-
+ (1“remember” instead take ΦCA to be the kinetic Ising model or its
t+1 as a function of that at time t. Here, too, noise.
tion even in the presence of biased the phase diagram was generalization to Zm . The ferromagnetic interactions of
ble zone, and the critical exponents were —, (for the two-phase region the Ising model are a mild form of error correction in that
they cause minority islands to shrink due surface tension.
iltonian, and four {north,
its free east,Wesouth,
energy. —
now west}
review neighbors. of an
Note, however,
the construction However, (Bennett et al., 1990) argued that this equilib-
an model for thatan arbitrary
due to the(in general the Toom ruleCA,
asymmetry, d-dimensional
spatial irreversible)
'2
cannot rium form of error correction is insufficient for stabilizing
e stable phasesbeover a set of finite measure in the parameter space of the
understood as minimizing the energy of any Hamil- m > 2 Sτ B.
X(1), . . . , X(t) of a d-dimensional CA can be viewed as configurations
tonian, and does not obey detailed
e boundary fixed at X(0), the initial state of the CA.balance (Grinstein
The probability The reason is that for m > 2, the chirality of the
et al., 1985).
ry may be expressed This asymmetry ensures that if an island of
as the product periodic evolution between steady states n → n + 1
P(X( t)/X(t the 1) ),minority—spin nucleates, the NEC-rule will cause the mod m implies that there is no symmetry which forbids
island to shrink linearly in time from the NE-direction
ditional probability for the CA to be in state X(l+ I) at time t+ I given
a stochastic force per unit length from acting on a do-
inward. This is far faster than the Ising model, where main wall between regions of n and n + 1 - type steady
the thermodynamic force on a domain wall depends on states (e.g. favoring n to grow at the expense of n + 1
)/X(i) ) ], its local curvature, and hence decays with the size of the mod m). Such a force is thus generic, and will drive mi-
island (Bennett
ar form of a Boltzmann factor (taking kT = 1): 1985).
and Grinstein, nority droplets to nucleate and grow. This force is coun-
The Toom PCA is then obtained by perturbing with teracted by the surface tension of the ferromagnetism,
X H(X (i + 1),biased
=0
),
X(i) errors in which, for example, spins flip up with which, however, decays with the local curvature. Thus
error rate εp , and down with error rate εq . The bias the former force will always win out for sufficiently large
Hamiltonian b = (εp − εq )/(εp + εq ) breaks the Ising symmetry. Re-
!
droplets, causing minority droplets to proliferate and de-
X(1), there
es. All prop- markably, etc. , represent finiteofvolume
time asteps
is nevertheless a synchronous
in {εp , εq }- stroy Sτ B at long times. The Toom model escapes this
as canonical- model, or discrete-time snapshots of an asynchronous
space in which two magnetized steady states persist de- reasoning because its error-correction effectively exerts a
onal system (master equation) model evolving in continuous time.
dimensional spiteHowever, the biasinthat prefers one case,
the synchronous over because
the other (Fig. 12).
transitions force on domain walls which is independent of their cur-
s free energy Rigorous results
at all sites in theprovesame that
time the
slice ergodicity breaking
are independent, the is vature, and can thus shrink minority droplets of any size.
initial condi- robust to essentially
equivalent Hamiltonian is of a generalized
any sufficiently small Ising
perturbation
form, (Bennett and Grinstein, 1985)
ows from the — even sum of local termscorrelated
being aa spatio-temporally —inP(y/x),
H(y, x) =one, or a noise However, the m = 2 case is an exception because there
ach X(i), the where P(y/x) is the conditional probability that a site
distribution which is not itself time-translation invari- is no handedness to the periodic evolution. Even if there
must be 1), will be in state y at time t+ 1, given that its neighbor-
dimensional ant hood (Berman
was inand Simon,
state 1988;t. Gacs,
x at time 2021; Toom, con-
The normalization 1980). is a force which favors (say) type n = 0 over n = 1, be-
namic limit We straint,
note thatviz. ,this
that last pointx, distinguishes
for each the sum over ythe “absolute
of P(y/x) cause the domains effectively switch type at each step,
be 1, restricts
system is a stability” of the the open GIM to a lower-dimensional
system π-Toom time crystal surface (to the net force on a domain wall averages to zero over one
ystem; there- be defined
in the parameter
in the next space of its coupling
sentence) from itsconstants,
closed systemon period, and islands can thus be shrunk via ferromagnetic
stable phases, which the free energy is zero.
Hamiltonian
counterparts (i.e. Sec. IV), where noise that breaks the
In the case of metastable phases the (d + 1)-
surface tension (Bennett et al., 1990). This implies the
underlying
dimensional free time
discrete translation
energy symmetry
per space-time would
site is not 0im- binary-spin π-Ising model can support Sτ B below the
ether but —ln(1
X(0), mediately destroy =I,
—I ) the time where crystal.
I is the nucleation rate Ising critical temperature, as was recently studied in de-
With Toom having done the difficult part, the π-Toom tail (Gambetta et al., 2019a).
659
model is then defined as the anti -majority NEC rule It is interesting to contrast this discussion with the
σx,y (t + 1) = anti-maj(σx,y , σx+1,y , σx,y+1 ). The π-Toom classical activated time crystal of Sec.V.A, which was not
model is a time-crystal, which is stable to arbitrary per- stable against the proliferation of minority islands even
turbations. Interestingly, the Sτ B of the π-Toom, model though m = 2. To see why, recall that the emergent
was already pointed out over two decades ago in (Ben- Ising degree of freedom was effectively embedded into a
nett et al., 1990), and later in Gielis and MacKay, 2000, larger continuous state space, e.g. σ = sgn(sin(Q)). A
where it was referred to as an example of a “type-G phase domain wall between σ = 1, −1 could thus be of two types
transition.” depending on whether Q wound clockwise or counter-
26
1 statement t
(Kshetrimayum et al., 2020) discuss the possibility of <latexit sha1_base64="l9eImvYcFOKpzEDji/n9jPDeWb8=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0lEqMeiF48t2A9oQ9lsJ+3azSbsboQS+gu8eFDEqz/Jm//GbZuDtj4YeLw3w8y8IBFcG9f9dgobm1vbO8Xd0t7+weFR+fikreNUMWyxWMSqG1CNgktsGW4EdhOFNAoEdoLJ3dzvPKHSPJYPZpqgH9GR5CFn1Fip6Q3KFbfqLkDWiZeTCuRoDMpf/WHM0gilYYJq3fPcxPgZVYYzgbNSP9WYUDahI+xZKmmE2s8Wh87IhVWGJIyVLWnIQv09kdFI62kU2M6ImrFe9ebif14vNeGNn3GZpAYlWy4KU0FMTOZfkyFXyIyYWkKZ4vZWwsZUUWZsNiUbgrf68jppX1U9t+o1ryv12zyOIpzBOVyCBzWowz00oAUMEJ7hFd6cR+fFeXc+lq0FJ585hT9wPn8Aep2MtQ==</latexit>
localized n
discrete time crystals protected from Floquet heating by
<latexit sha1_base64="x94/bDZzc8suBPYNlYtxnw5VJdc=">AAACJHicbVDLSgNBEJz1bXxFPXoZDIJewq4ICl5ELx4EFYwK2RB6J51kcGZ2mekVw+LHePFXvHjwgQcvfouTmIOvhoHq6i5qupJMSUdh+B6MjI6NT0xOTZdmZufmF8qLS+cuza3AmkhVai8TcKikwRpJUniZWQSdKLxIrg7684trtE6m5ox6GTY0dIxsSwHkqWZ5Nya8IauLo1SA4seJQ3sNXn3L467LQGARae0bBaajkB+v0waP7aBplithNRwU/wuiIaiwYZ00yy9xKxW5RkNCgXP1KMyoUYAlKbxjKc4dessr6GDdQwMaXaMYHHnL1zzT4u3U+meID9jvigK0cz2d+E0N1HW/Z33yv1k9p/ZOo5AmywmN+DJq54pTyvuJ8Za0KEj1PABhpf8rF12wIMjnWvIhRL9P/gvON6tRWI1Otyp7+8M4ptgKW2XrLGLbbI8dshNWY4LdsQf2xJ6D++AxeA3evlZHgqFmmf2o4OMTI0ylDA==</latexit>
crystalline order, which seems to be robust to π-pulse In this
imperfections (recall discussions from Sec. ??). How- phases of m
ever, when differences in the linear potential coincide above: pret
with integer multiples of the drive frequency, they ob- FIG. 132. Schematic
Prethermalization in quasiperiodically driventime
systems at lived) quas
FIG. depiction of a prethermal quasi-
serve the coherent self-destruction of time-crystalline be- high frequencies. Shown is a cartoon of the dynamics of a generic
crystal emerging from a quasiperiodically driven quantum sys-
havior. An advantage of the clean, disorder-free setting, traceless
tem. During localthe
observable
prethermal hOðtÞi under time
regime, localevolution
observablesby Eq. (6).
exhibit III. EM
is that one can imagine the possibility of order that spon- There are
discrete threequasicrystalline
time regimes. First, a brief
order,transient
whichregime, wheremelts
ultimately the BY
taneously breaks both spatial and time translation sym- local observable relaxes on a short timescale
at late times as the system Floquet heats to a featureless t r ∼ 1=J, where J is
the local energy scale of the system. Second, a prethermalization
metries. This theme has been studied in a number of infinite-temperature state. Figure adapted from (Else et al., Having
regime, where the system has locally equilibrated to a thermal
2020a).
contexts (Smits et al., 2018; Träger et al., 2021; Žlabys ensemble of an effective static Hamiltonian D, when viewed in outlined th
et al., 2021) and remains an active area of exploration. the rotating frame defined by PðtÞ. The evolution hOðtÞi in the analyze wh
laboratory frame shows a plateau around the prethermal value
π
these syste
Eq. 14)dashed
(black is adjusted
line), withtosmall
be time-quasiperiodic
close to a M -pulse. In cer-
oscillations of where a dir
B. Prethermalization beyond Floquet quantum systems amplitude
tain of ∼J=ω
scenarios, this(red dashednaturally
choice lines); here,leads
ω ¼ jωj is the
to an norm
effective This proce
of driving frequencies.
Hamiltonian, This regime
Heff , which exhibits lasts
aZupMtosymmetry
the long heating
(Pizzi Floquet en
ettime & ∼ exp½Cðω=JÞ
al., t2021c). Third, a final featureless infinite-
1. Classical prethermal discrete time crystals 1=ðmþϵÞ
When this %.ZM symmetry is spontaneously control inte
temperaturethe state, reached
willafter the systemat ahassubharmonic
fully heated. The
broken, system oscillate fre- the ground
In Sec. IV.D, we focused our attention on prethermal inset shows a zoom-in on the orange-shaded region in the
quency ∼ ωD /M throughout the prethermal regime. Us-
prethermal plateau.
is generate
time crystals in closed (i.e. unitarily evolving) quantum ing this strategy, Pizzi et al., 2021c construct a “phase from those
systems. However, as previously discussed, one of the diagram” for an ωD /4 PDTC in a three dimensional clas- Howeve
central features of Floquet prethermalization—i.e. expo- τ̃zi ≔spin
Pð0Þτ z †
sical i Pð0Þ , which is localized near site i. Under
system. high-freque
nentially slow heating—is also expected to occur in clas- “reverse
When one evolution”
utilizes defined as M in the strategy above,
a fractional long-time c
sical many-body systems (Hodson and Jarzynski, 2021; the dynamics can be even richer than the integer case. ible in so
†
Howell et al., 2019; Mori, 2018). This immediately begs Indeed, (Pizzi et al., τ̃zi ðtÞR ¼ UðtÞτ̃
2021a)
z
i UðtÞ this
explored ; scenario inð8Þthe equilibrium
the question: Can such systems also host prethermal time presence of long-range interactions (Huang et al., 2018; is effective
crystals (Hodson and Jarzynski, 2021; Howell et al., 2019; we obtain, using Eq. (6) and ½τzi ; D% ¼ 0, that significant
Kozin and Kyriienko, 2019; Russomanno et al., 2017),
Mori, 2018; Pizzi et al., 2021c; Ye et al., 2021)? tion. Preci
observingz signatures −itD of PDTC order at a variety of frac-
Recent work by Ye et al., 2021 and Pizzi et al., 2021c τ̃i ðtÞR ≈ PðtÞe τzi eitD PðtÞ† ¼ PðtÞτzi PðtÞ† : ð9Þ unitary fram
tional frequencies.
answer this question in the affirmative. A practical ad- time-evolu
vantage of the generalization to classical systems, is that This means that the motion of the τ̃zi ðtÞR is time quasi- the identity
it immediately enables the study of PDTCs in dimen- periodic, which in turn implies that there is an infinite are inheren
sions, d > 1. For example, Ye et al., 2021 study a near-
3.sequence
Prethermal in time
time quasi-crystals
whereby the operator returns arbitrarily regime.
neighbor-interacting classical Floquet spin model on the close (but never exactly) to the initial operator τ̃zi. Why In order
square lattice. Although the original Floquet evolution Building
should the upon
reversegeneralizations
evolution of the to l-bit τ̃ziPDTCs
higher-M
dressed be a twisted hig
does not exhibit any symmetries, Heff exhibits an emer- useful
and concept?PDTCs
fractional Consider the forward
(Matus and Sacha, Heisenberg
2019; timePizzi Floquet sy
al., 2021a,c;
etevolution Ye et al.,
of an operator 2021), anear
Oi localized natural Oi ðtÞ ≔to
question
site i via periodically
gent Z2 Ising symmetry. Unlike in the one dimensional
ask is† O
UðtÞ whether there can be non-trivial phases of mat- the context
case discussed in Sec. IV.D.2, in two dimensions, this i UðtÞ and ask how this operator spreads over time in
space.
ter In an ergodic
in isolated system,systems
many-body we expect thatthat areany localin
driven of matter c
Ising symmetry can be broken at finite temperatures. of TTSs in
a operator
way that spreads
is notgenerically
periodic ballistically,
in time. The or diffusively
focus of thisat
the slowest.
outlook In our present
subsection is on the case,closed
computing system, the overlap
prethermalof time-transl
2. Higher-M discrete time crystals Oi ðtÞ with
setting (Fig.the1)localized
where adressed τ̃zi , is replaced by
l-bitdrive
periodic allows us t
a quasiperiodic drive (Crowley et al., 2019; Gommers a simpler
TrðOet
et al., 2006; Ringot i ðtÞτ̃
al.,
z
¼ TrðORecent
i Þ 2000).
z
i τ̃i ðtÞR Þ;work has shown ð10Þ compared t
In both the quantum and classical settings, the emer-
in Sec. III C
gent symmetry in Heff is not restricted to just a Z2 sym- that such systems can host prethermal quasiperiodically-
reveals that this overlap varies quasiperiodically in time translation
metry and different subharmonic PDTCs (i.e. beyond pe- driven phases of matter, and in particular can give rise
rather than decaying to zero. We can interpret this as the limit in qu
riod doubling) can be realized (Giergiel et al., 2018, 2020; to discrete time quasi-crystals (Dumitrescu et al., 2018;
Pizzi et al., 2021a; Surace et al., 2019). The simplest Else et al., 2020a).
approach to doing this is to utilize a Floquet evolution Before jumping in however, we note that related phe-
where the “π-pulse” (see e.g. the discussion following nomena have been explored in non-linear dissipative021032-6 dy-
28
namical systems (see e.g. the coupled map lattice discus- 2019). As an example, (Giergiel et al., 2019) explore the
sions in Sec. II.A) driven at two incommensurate frequen- dynamics of an ultra-cold atomic ensemble bouncing be-
cies (Ding et al., 1989; Flicker, 2018; Held and Jeffries, tween two orthogonal harmonically oscillating mirrors.
1986; Romeiras and Ott, 1987; Sethna and Siggia, 1984). By tuning the bare frequencies of the unperturbed parti-
The spectral content of a periodic drive contains peaks cle motion, the system can reproduce fragments of the Fi-
only at a single drive frequency, ωD , and its harmonics bonacci sequence encoded via the bounces of the atomic
nωD , for integer n. By contrast, the spectral content of a ensemble off of the two mirrors.
quasiperiodic drive has peaks at integer linear combina-
tions: n1 ω1 + n2 ω2 + · · · + nm ωm , for some m > 1 num-
ber of incommensurate frequencies, {ω1 , · · · , ωm }. As in
Sec. IV.D, in order to discuss prethermal phases, it is C. Applications: from metrology to quantum information
necessary for the system to exhibit slow-heating (i.e. en- benchmarking
ergy absorption) from the drive. For quasiperiodic driv-
ing, this is strictly more challenging than the original
The periodic control underlying the discrete time crys-
Floquet setting, since the drive is (technically) able to
tal is, more generally, an indispensable tool in the con-
supply energy in arbitrary units. Nevertheless, an anal-
text of nuclear magnetic resonance spectroscopy (Bloem-
ogous slow-heating result was rigorously proven by Else
bergen et al., 1948, 1947; Waugh et al., 1968), quan-
et al., 2020a. Before heating occurs (Fig. 13), the dy-
tum information science (Biercuk et al., 2009; Khod-
namics of the quasiperiodically driven system are well-
jasteh and Lidar, 2005), and AMO-based quantum simu-
approximated (in a rotating frame) by an effective static
lation (Bloch et al., 2012; Goldman et al., 2014). Build-
Hamiltonian (in direct analogy to Sec. IV.D and Eqn. 16).
ing upon this connection, Choi et al., 2017b explored
In order to discuss the possibility of prethermal time
the possibility of engineering a Floquet system, where
quasicrystals (which are stable during the prethermal
quasienergy gaps can protect entangled states from static
time-scale, t < t∗ ), Else et al., 2020a begin by defin-
perturbations, while still ensuring their sensitivity to an
ing what an “order parameter” for such a phase would
oscillating signal. In some sense, this idea can be un-
look like. The subtlety is that a quasiperiodically driven
derstood as a generalization of spin echo spectroscopy,
system does not, strictly speaking, have any remaining
which utilizes many-body states; it is also related to the
time-translation symmetry to break. However, such a
conventional concept of using phases of matter with spon-
system can still exhibit a well-defined notion of a frac-
taneously broken symmetries for sensing (Bennett et al.,
tional or subharmonic frequency response (Fig. 13). In
2020; Frérot and Roscilde, 2018).
particular, an observable can respond in a quasiperiodic
manner with base frequencies: {e ω1 , · · · , ω
en }. When the Choi et al., 2017b investigated the use of a time-
ej are not harmonics of the original driving frequencies,
ω crystalline Floquet sequence to stabilize Schrodinger-cat
then the system is said to exhibit a fractional frequency states that are typically extremely fragile against local
response and discrete time quasicrystalline order (Else perturbations; they analyze a technique that allows for
et al., 2020a). Connecting to our previous discussions the enhancement of metrological bandwidth, while main-
about emergent symmetries in Heff , one can think of the taining the sensitivity and discuss an example in the con-
discrete time quasicrystal as emerging from the sponta- text of the precision measurement of AC magnetic fields.
neous breaking of a different finite Abelian group sym- More recently, these ideas have also inspired new many-
metry (i.e. which replaces the ZM symmetry discussed in body driving protocols aimed at circumventing the so-
Secs. III.B.2, VI.B.1). called interaction limit for quantum sensing (Zhou et al.,
Finally, let us end this outlook subsection by pointing 2020).
the reader to a number of related directions that fall out- Beyond metrology, the fact that signatures of time
side the prethermal context. Many of these connect to crystalline order have been observed in a diverse array of
the idea of quasiperiodic pattern formation in parametri- physical platforms (see e.g. Secs. IV.C.1, IV.C.2, IV.C.3),
cally driven systems. For example, in the context of two- suggests the possibility of cross platform benchmark-
frequency forcing, even when the frequencies are com- ing for the performance of near term quantum de-
mensurate (implying that they do not exhibit a quasiperi- vices (Preskill, 2018). This idea builds on the more
odic response in time), in certain scenarios, one can re- general thread that exploring non-equilibrium dynamical
alize stable Faraday-wave patterns that are analogous to phenomena may represent a particularly natural strat-
a two-dimensional quasicrystal (Besson et al., 1996; Ed- egy for verifying and validating noisy intermediate-scale
wards and Fauve, 1993; Silber et al., 2000). Various in- quantum technology. Finally, suggestions for utilizing
carnations of a quasiperiodic response in time have also time crystalline order as a frequency standard or for
been explored in both theoretical proposals and experi- beyond-SQL (standard quantum limit) quantum sensing
ments on cold atomic systems (Autti et al., 2018; Chinzei have also been discussed (Lyu et al., 2020), although ex-
and Ikeda, 2020; Giergiel et al., 2019, 2018; Pizzi et al., plorations along this direction remain relatively nascent.
29
in many-body localization,” Annalen der Physik 529 (7), (1994), “Lagrange equilibrium points in celestial mechanics
1700169. and nonspreading wave packets for strongly driven rydberg
Abobeih, MH, J Randall, CE Bradley, HP Bartling, electrons,” Physical review letters 73 (13), 1777.
MA Bakker, MJ Degen, M Markham, DJ Twitchen, Biercuk, Michael J, Hermann Uys, Aaron P VanDevender,
and TH Taminiau (2019), “Atomic-scale imaging of a Nobuyasu Shiga, Wayne M Itano, and John J Bollinger
27-nuclear-spin cluster using a quantum sensor,” Nature (2009), “Optimized dynamical decoupling in a model quan-
576 (7787), 411–415. tum memory,” Nature 458 (7241), 996–1000.
Albiez, Michael, Rudolf Gati, Jonas Fölling, Stefan Hun- Birkhoff, George D (1931), “Proof of the ergodic theorem,”
smann, Matteo Cristiani, and Markus K Oberthaler Proceedings of the National Academy of Sciences 17 (12),
(2005), “Direct observation of tunneling and nonlinear self- 656–660.
trapping in a single bosonic josephson junction,” Physical Birkhoff, George David (1927), Dynamical systems, Vol. 9
review letters 95 (1), 010402. (American Mathematical Soc.).
Alekseev, Anton, Jin Dai, and Antti J Niemi (2020), “Prove- Bloch, Immanuel, Jean Dalibard, and Sylvain Nascimbene
nance of classical hamiltonian time crystals,” Journal of (2012), “Quantum simulations with ultracold quantum
High Energy Physics 2020 (8), 1–21. gases,” Nature Physics 8 (4), 267–276.
Arute, Frank, Kunal Arya, Ryan Babbush, Dave Bacon, Bloembergen, Nicolaas, Edward Mills Purcell, and Robert V
Joseph C Bardin, Rami Barends, Rupak Biswas, Sergio Pound (1948), “Relaxation effects in nuclear magnetic res-
Boixo, Fernando GSL Brandao, David A Buell, et al. onance absorption,” Physical review 73 (7), 679.
(2019), “Quantum supremacy using a programmable su- Bloembergen, Nicolaas, EM Purcell, and RV Pound (1947),
perconducting processor,” Nature 574 (7779), 505–510. “Nuclear magnetic relaxation,” Nature 160 (4066), 475–
Autti, S, VB Eltsov, and GE Volovik (2018), “Observation of 476.
a time quasicrystal and its transition to a superfluid time Bluvstein, Dolev, Ahmed Omran, Harry Levine, Alexan-
crystal,” Physical review letters 120 (21), 215301. der Keesling, Giulia Semeghini, Sepehr Ebadi, Tout T
Autti, Samuli, Petri J Heikkinen, Jere T Mäkinen, Grig- Wang, Alexios A Michailidis, Nishad Maskara, Wen Wei
ori E Volovik, Vladislav V Zavjalov, and Vladimir B Eltsov Ho, et al. (2021), “Controlling quantum many-body dy-
(2021), “Ac josephson effect between two superfluid time namics in driven rydberg atom arrays,” Science 371 (6536),
crystals,” Nature Materials 20 (2), 171–174. 1355–1359.
Benjamin, Thomas Brooke, and Fritz Joseph Ursell (1954), Bohr, Tomas, Per Bak, and Mogens Hφgh Jensen (1984),
“The stability of the plane free surface of a liquid in ver- “Transition to chaos by interaction of resonances in dissipa-
tical periodic motion,” Proceedings of the Royal Society tive systems. ii. josephson junctions, charge-density waves,
of London. Series A. Mathematical and Physical Sciences and standard maps,” Physical review A 30 (4), 1970.
225 (1163), 505–515. Booker, Cameron, Berislav Buča, and Dieter Jaksch (2020),
Bennett, Charles H, G. Grinstein, Yu He, C. Jayaprakash, and “Non-stationarity and dissipative time crystals: spectral
David Mukamel (1990), “Stability of temporally periodic properties and finite-size effects,” New Journal of Physics
states of classical many-body systems,” Phys. Rev. A 41, 22 (8), 085007.
1932–1935. Bordia, Pranjal, Henrik Lüschen, Ulrich Schneider, Michael
Bennett, Charles H, and Geoffrey Grinstein (1985), “Role of Knap, and Immanuel Bloch (2017), “Periodically driving
irreversibility in stabilizing complex and nonergodic behav- a many-body localized quantum system,” Nature Physics
ior in locally interacting discrete systems,” Physical review 13 (5), 460–464.
letters 55 (7), 657. Brown, Stuart E, George Mozurkewich, and George Grüner
Bennett, Robert, David Steinbrecht, Yaroslav Gorbachev, (1984), “Subharmonic shapiro steps and devil’s-staircase
and Stefan Yoshi Buhmann (2020), “Symmetry breaking behavior in driven charge-density-wave systems,” Physical
in a condensate of light and its use as a quantum sensor,” review letters 52 (25), 2277.
Phys. Rev. Applied 13, 044031. Bruno, Patrick (2013), “Impossibility of spontaneously rotat-
Benz, SP, MS Rzchowski, M Tinkham, and CJ Lobb (1990), ing time crystals: a no-go theorem,” Physical review letters
“Fractional giant shapiro steps and spatially correlated 111 (7), 070402.
phase motion in 2d josephson arrays,” Physical review let- Buča, Berislav, and Dieter Jaksch (2019), “Dissipation in-
ters 64 (6), 693. duced nonstationarity in a quantum gas,” Physical review
Berges, Jürgen, Sz Borsányi, and Christof Wetterich (2004), letters 123 (26), 260401.
“Prethermalization,” Physical review letters 93 (14), Buča, Berislav, Joseph Tindall, and Dieter Jaksch (2019),
142002. “Non-stationary coherent quantum many-body dynamics
Berman, Piotr, and J’anos Simon (1988), “Investigations of through dissipation,” Nature Communications 10 (1), 1–6.
fault-tolerant networks of computers,” in Proceedings of the Buchleitner, Andreas, and Dominique Delande (1995),
twentieth annual ACM symposium on Theory of computing, “Nondispersive electronic wave packets in multiphoton pro-
pp. 66–77. cesses,” Physical review letters 75 (8), 1487.
Bernien, Hannes, Sylvain Schwartz, Alexander Keesling, Buchleitner, Andreas, Dominique Delande, and Jakub Za-
Harry Levine, Ahmed Omran, Hannes Pichler, Soonwon krzewski (2002), “Non-dispersive wave packets in period-
Choi, Alexander S Zibrov, Manuel Endres, Markus Greiner, ically driven quantum systems,” Physics reports 368 (5),
et al. (2017), “Probing many-body dynamics on a 51-atom 409–547.
quantum simulator,” Nature 551 (7682), 579–584. Bukov, Marin, Luca D’Alessio, and Anatoli Polkovnikov
Besson, Thomas, W Stuart Edwards, and Laurette S Tucker- (2015), “Universal high-frequency behavior of periodically
man (1996), “Two-frequency parametric excitation of sur- driven systems: from dynamical stabilization to floquet en-
face waves,” Physical Review E 54 (1), 507. gineering,” Advances in Physics 64 (2), 139–226.
Bialynicki-Birula, Iwo, Maciej Kaliński, and JH Eberly Bunimovich, Leonid A, and Ya G Sinai (1988), “Spacetime
31
chaos in coupled map lattices,” Nonlinearity 1 (4), 491. hilbert-space shattering,” Physical Review B 103 (10),
Chi, Huan-Hang, and Hong-Jian He (2014), “Single-valued L100202.
hamiltonian via legendre–fenchel transformation and time Dogra, Nishant, Manuele Landini, Katrin Kroeger, Lorenz
translation symmetry,” Nuclear Physics B 885, 448–458. Hruby, Tobias Donner, and Tilman Esslinger (2019),
Chinzei, Koki, and Tatsuhiko N Ikeda (2020), “Time crys- “Dissipation-induced structural instability and chiral dy-
tals protected by floquet dynamical symmetry in hubbard namics in a quantum gas,” Science 366 (6472), 1496–1499.
models,” Physical Review Letters 125 (6), 060601. Dumitrescu, Philipp T, Romain Vasseur, and Andrew C Pot-
Chirikov, Boris V (1979), “A universal instability of many- ter (2018), “Logarithmically slow relaxation in quasiperiod-
dimensional oscillator systems,” Physics reports 52 (5), ically driven random spin chains,” Physical review letters
263–379. 120 (7), 070602.
Choi, Jae-yoon, Sebastian Hild, Johannes Zeiher, Peter D’Alessio, Luca, and Anatoli Polkovnikov (2013), “Many-
Schauß, Antonio Rubio-Abadal, Tarik Yefsah, Vedika Khe- body energy localization transition in periodically driven
mani, David A Huse, Immanuel Bloch, and Christian Gross systems,” Annals of Physics 333, 19–33.
(2016), “Exploring the many-body localization transition in Eckardt, André, and Egidijus Anisimovas (2015), “High-
two dimensions,” Science 352 (6293), 1547–1552. frequency approximation for periodically driven quantum
Choi, Joonhee, Hengyun Zhou, Helena S Knowles, Renate systems from a floquet-space perspective,” New journal of
Landig, Soonwon Choi, and Mikhail D Lukin (2020), “Ro- physics 17 (9), 093039.
bust dynamic hamiltonian engineering of many-body spin Edwards, W Stuart, and S Fauve (1994), “Patterns and quasi-
systems,” Physical Review X 10 (3), 031002. patterns in the faraday experiment,” Journal of Fluid Me-
Choi, Soonwon, Joonhee Choi, Renate Landig, Georg Kucsko, chanics 278, 123–148.
Hengyun Zhou, Junichi Isoya, Fedor Jelezko, Shinobu On- Edwards, W Stuart, and Stéphane Fauve (1993), “Parametri-
oda, Hitoshi Sumiya, Vedika Khemani, et al. (2017a), “Ob- cally excited quasicrystalline surface waves,” Physical Re-
servation of discrete time-crystalline order in a disordered view E 47 (2), R788.
dipolar many-body system,” Nature 543 (7644), 221–225. Else, Dominic V, Bela Bauer, and Chetan Nayak (2016), “Flo-
Choi, Soonwon, Norman Y Yao, and Mikhail D Lukin quet time crystals,” Physical review letters 117 (9), 090402.
(2017b), “Quantum metrology based on strongly correlated Else, Dominic V, Bela Bauer, and Chetan Nayak (2017),
matter,” arXiv preprint arXiv:1801.00042. “Prethermal phases of matter protected by time-
Choudhury, A Ghose, and Partha Guha (2019), “Branched translation symmetry,” Physical Review X 7 (1), 011026.
hamiltonians and time translation symmetry breaking in Else, Dominic V, Wen Wei Ho, and Philipp T Dumitrescu
equations of the liénard type,” Modern Physics Letters A (2020a), “Long-lived interacting phases of matter protected
34 (32), 1950263. by multiple time-translation symmetries in quasiperiodi-
Cornfeld, Isaac P, Sergej V Fomin, and Yakov Grigorevich cally driven systems,” Physical Review X 10 (2), 021032.
Sinai (2012), Ergodic theory, Vol. 245 (Springer Science & Else, Dominic V, Christopher Monroe, Chetan Nayak, and
Business Media). Norman Y Yao (2020b), “Discrete time crystals,” Annual
Crowley, Philip JD, Ivar Martin, and Anushya Chan- Review of Condensed Matter Physics 11, 467–499.
dran (2019), “Topological classification of quasiperiodi- Fan, Chu-hui, D Rossini, Han-Xiao Zhang, Jin-Hui Wu, M Ar-
cally driven quantum systems,” Physical Review B 99 (6), toni, and GC La Rocca (2020), “Discrete time crystal in a
064306. finite chain of rydberg atoms without disorder,” Physical
Dai, Jin, Antti J Niemi, and Xubiao Peng (2020), “Classical Review A 101 (1), 013417.
hamiltonian time crystals–general theory and simple exam- Faraday, Michael (1831), “Xvii. on a peculiar class of acousti-
ples,” New Journal of Physics 22 (8), 085006. cal figures; and on certain forms assumed by groups of par-
Dai, Jin, Antti J Niemi, Xubiao Peng, and Frank Wilczek ticles upon vibrating elastic surfaces,” Philosophical trans-
(2019), “Truncated dynamics, ring molecules, and mechan- actions of the Royal Society of London (121), 299–340.
ical time crystals,” Physical Review A 99 (2), 023425. Feller, William (1957), “An introduction to probability theory
D’Alessio, Luca, and Marcos Rigol (2014), “Long-time Be- and its applications,” .
havior of Isolated Periodically Driven Interacting Lattice Fisher, Michael E, Shang-keng Ma, and BG Nickel (1972),
Systems,” Physical Review X 4 (4), 041048. “Critical exponents for long-range interactions,” Physical
De Roeck, Wojciech, and François Huveneers (2017), “Sta- Review Letters 29 (14), 917.
bility and instability towards delocalization in many-body Flatté, Michael E, and Martin Holthaus (1996), “Classical
localization systems,” Physical Review B 95 (15), 155129. and quantum dynamics of a periodically driven particle in
De Roeck, Wojciech, Francois Huveneers, Markus Müller, and a triangular well,” annals of physics 245 (1), 113–146.
Mauro Schiulaz (2016), “Absence of many-body mobility Flicker, Felix (2018), “Time quasilattices in dissipative dy-
edges,” Physical Review B 93 (1), 014203. namical systems,” SciPost Physics 5 (1).
Deutsch, J M (1991), “Quantum statistical mechanics in a Floquet, G (1883), “Sur les équations différentielles linéaires
closed system,” Phys. Rev. A 43 (4), 2046–2049. à coefficients périodiques,” Annales scientifiques de l’École
Ding, Mingzhou, Celso Grebogi, and Edward Ott (1989), Normale Supérieure 2e série, 12, 47–88.
“Evolution of attractors in quasiperiodically forced sys- Frérot, Irénée, and Tommaso Roscilde (2018), “Quantum crit-
tems: From quasiperiodic to strange nonchaotic to ical metrology,” Phys. Rev. Lett. 121, 020402.
chaotic,” Physical review A 39 (5), 2593. Frey, Philipp, and Stephan Rachel (2022), “Realization
Dobruvsin, Roland L, RL Dobrushin, VI Kriukov, and of a discrete time crystal on 57 qubits of a quan-
AL Toom (1990), Stochastic cellular systems: ergodicity, tum computer,” Science Advances 8 (9), eabm7652,
memory, morphogenesis (Manchester University Press). https://www.science.org/doi/pdf/10.1126/sciadv.abm7652.
Doggen, Elmer VH, Igor V Gornyi, and Dmitry G Polyakov Fulton, William, and Joe Harris (2013), Representation the-
(2021), “Stark many-body localization: Evidence for
32
ory: a first course, Vol. 129 (Springer Science & Business physics in time crystals,” New Journal of Physics 22 (7),
Media). 075003.
Gács, Peter (2001), “Reliable cellular automata with self- Guo, Qiujiang, Chen Cheng, Hekang Li, Shibo Xu, Pengfei
organization,” Journal of Statistical Physics 103 (1), 45– Zhang, Zhen Wang, Chao Song, Wuxin Liu, Wenhui Ren,
267. Hang Dong, et al. (2020), “Stark many-body localization
Gacs, Peter (2021), “A new version of toom’s proof,” arXiv on a superconducting quantum processor,” arXiv preprint
preprint arXiv:2105.05968. arXiv:2011.13895.
Gács, Peter, and John Reif (1988), “A simple three- Gutowitz, Howard (1991), Cellular automata: Theory and ex-
dimensional real-time reliable cellular array,” Journal of periment (MIT press).
Computer and System Sciences 36 (2), 125–147. Hannaford, Peter andSacha, Krzysztof (2022), “Condensed
Gambetta, FM, F Carollo, Achilleas Lazarides, I Lesanovsky, matter physics in big discrete time crystals,” arXiv preprint
and JP Garrahan (2019a), “Classical stochastic discrete arXiv:2202.05544.
time crystals,” Physical Review E 100 (6), 060105. Hayashi, Chihiro (1953), “Subharmonic oscillations in nonlin-
Gambetta, FM, F Carollo, M Marcuzzi, JP Garrahan, and ear systems,” Journal of Applied Physics 24 (5), 521–529.
I Lesanovsky (2019b), “Discrete time crystals in the ab- Held, GA, and Carson Jeffries (1986), “Quasiperiodic tran-
sence of manifest symmetries or disorder in open quantum sitions to chaos of instabilities in an electron-hole plasma
systems,” Physical review letters 122 (1), 015701. excited by ac perturbations at one and at two frequencies,”
Gielis, G, and RS MacKay (2000), “Coupled map lattices with Physical review letters 56 (11), 1183.
phase transition,” Nonlinearity 13 (3), 867. Ho, Wen Wei, Soonwon Choi, Mikhail D Lukin, and Dmitry A
Giergiel, Krzysztof, Arkadiusz Kuroś, and Krzysztof Sacha Abanin (2017), “Critical time crystals in dipolar systems,”
(2019), “Discrete time quasicrystals,” Physical Review B Physical review letters 119 (1), 010602.
99 (22), 220303. Ho, Wen Wei, Soonwon Choi, Hannes Pichler, and Mikhail D
Giergiel, Krzysztof, Artur Miroszewski, and Krzysztof Sacha Lukin (2019), “Periodic orbits, entanglement, and quantum
(2018), “Time crystal platform: from quasicrystal struc- many-body scars in constrained models: Matrix product
tures in time to systems with exotic interactions,” Physical state approach,” Physical review letters 122 (4), 040603.
Review Letters 120 (14), 140401. Hodson, Wade, and Christopher Jarzynski (2021), “Energy
Giergiel, Krzysztof, Tien Tran, Ali Zaheer, Arpana Singh, An- diffusion and absorption in chaotic systems with rapid pe-
drei Sidorov, Krzysztof Sacha, and Peter Hannaford (2020), riodic driving,” Physical Review Research 3 (1), 013219.
“Creating big time crystals with ultracold atoms,” New Holthaus, Martin (1995), “On the classical-quantum cor-
Journal of Physics 22 (8), 085004. respondence for periodically time dependent systems,”
Givental, Alexander B, Boris A. Khesin, Jerrold E. Mars- Chaos, Solitons & Fractals 5 (7), 1143–1167.
den, Alexander N. Varchenko, Victor A. Vassiliev, Oleg Ya. Holthaus, Martin, and Michael E Flatté (1994), “Subhar-
Viro, and Vladimir M. Zakalyukin, Eds. (2009), “Proof of monic generation in quantum systems,” Physics Letters A
a theorem of a. n. kolmogorov on the invariance of quasi- 187 (2), 151–156.
periodic motions under small perturbations of the hamil- Howell, Owen, Phillip Weinberg, Dries Sels, Anatoli
tonian,” in Collected Works: Representations of Func- Polkovnikov, and Marin Bukov (2019), “Asymptotic
tions, Celestial Mechanics and KAM Theory, 1957–1965 prethermalization in periodically driven classical spin
(Springer Berlin Heidelberg, Berlin, Heidelberg) pp. 267– chains,” Phys. Rev. Lett. 122 (1), 010602.
294. Huang, Yi, Tongcang Li, and Zhang-qi Yin (2018),
Goldman, Nathan, G Juzeliūnas, Patrik Öhberg, and Ian B “Symmetry-breaking dynamics of the finite-size lipkin-
Spielman (2014), “Light-induced gauge fields for ultracold meshkov-glick model near ground state,” Physical Review
atoms,” Reports on Progress in Physics 77 (12), 126401. A 97 (1), 012115.
Gommers, R, S Denisov, and F Renzoni (2006), “Quasiperi- Iemini, F, A Russomanno, J Keeling, M Schirò, M Dalmonte,
odically driven ratchets for cold atoms,” Physical review and R Fazio (2018), “Boundary time crystals,” Physical
letters 96 (24), 240604. review letters 121 (3), 035301.
Gong, Zongping, Ryusuke Hamazaki, and Masahito Ueda Imbrie, John Z (2016), “On many-body localization for quan-
(2018), “Discrete time-crystalline order in cavity and cir- tum spin chains,” Journal of Statistical Physics 163 (5),
cuit qed systems,” Physical review letters 120 (4), 040404. 998–1048.
Gray, Lawrence F (2001), “A reader’s guide to gacs’s “positive Inoue, J-I, and A. Tanaka (2010), “Photoinduced Transition
rates” paper,” Journal of Statistical Physics 103 (1), 1–44. between Conventional and Topological Insulators in Two-
Gring, Michael, Maximilian Kuhnert, Tim Langen, Takuya Dimensional Electronic Systems,” Physical Review Letters
Kitagawa, Bernhard Rauer, Matthias Schreitl, Igor Mazets, 105 (1), 017401, arXiv:1006.5283 [cond-mat.mtrl-sci].
D Adu Smith, Eugene Demler, and Jörg Schmiedmayer Ippoliti, Matteo, Kostyantyn Kechedzhi, Roderich Moess-
(2012), “Relaxation and prethermalization in an isolated ner, SL Sondhi, and Vedika Khemani (2020), “Many-body
quantum system,” Science 337 (6100), 1318–1322. physics in the nisq era: quantum programming a discrete
Grinstein, G, C Jayaprakash, and Yu He (1985), “Statisti- time crystal,” arXiv preprint arXiv:2007.11602.
cal mechanics of probabilistic cellular automata,” Physical Jackson, Russell K, and Michael I Weinstein (2004), “Geo-
review letters 55 (23), 2527. metric analysis of bifurcation and symmetry breaking in a
Grüner, G, A Zawadowski, and PM Chaikin (1981), “Non- gross—pitaevskii equation,” Journal of Statistical Physics
linear conductivity and noise due to charge-density-wave 116 (1), 881–905.
depinning in nb se 3,” Physical Review Letters 46 (7), 511. Jiang, L, T. Kitagawa, J. Alicea, A. R. Akhmerov, D. Pekker,
Grüner, George (1988), “The dynamics of charge-density G. Refael, J. I. Cirac, E. Demler, M. D. Lukin, and
waves,” Reviews of modern physics 60 (4), 1129. P. Zoller (2011), “Majorana Fermions in Equilibrium and in
Guo, Lingzhen, and Pengfei Liang (2020), “Condensed matter Driven Cold-Atom Quantum Wires,” Physical Review Let-
33
ters 106 (22), 220402, arXiv:1102.5367 [cond-mat.quant- Kjaergaard, Morten, Mollie E Schwartz, Jochen Braumüller,
gas]. Philip Krantz, Joel I-J Wang, Simon Gustavsson, and
Kagan, Yu, and MI Klinger (1974), “Theory of quantum dif- William D Oliver (2020), “Superconducting qubits: Cur-
fusion of atoms in crystals,” Journal of Physics C: Solid rent state of play,” Annual Review of Condensed Matter
State Physics 7 (16), 2791. Physics 11, 369–395.
Kaneko, Kunihiko (1984), “Period-doubling of kink-antikink Kolmogorov, Andrey Nikolaevich (1954), “On conservation of
patterns, quasiperiodicity in antiferro-like structures and conditionally periodic motions for a small change in hamil-
spatial intermittency in coupled logistic lattice: Towards a ton’s function,” in Dokl. Akad. Nauk SSSR, Vol. 98, pp.
prelude of a “field theory of chaos”,” Progress of Theoreti- 527–530.
cal Physics 72 (3), 480–486. Kongkhambut, Phatthamon, Jim Skulte, Ludwig Mathey,
Kaneko, Kunihiko (1992), “Overview of coupled map lat- Jayson G Cosme, Andreas Hemmerich, and Hans Keßler
tices,” Chaos: An Interdisciplinary Journal of Nonlinear (2022), “Observation of a continuous time crystal,” Science
Science 2 (3), 279–282. , eabo3382.
Kaneko, Kunihiko, and Tetsuro Konishi (1987), “Transition, Kontorova, T, and Jl Frenkel (1938), “On the theory of plastic
ergodicity and lyapunov spectra of hamiltonian dynamical deformation and twinning. ii.” Zh. Eksp. Teor. Fiz. 8, 1340–
systems,” Journal of the Physical Society of Japan 56 (9), 1348.
2993–2996. Kosterlitz, JM (1976), “Phase transitions in long-range ferro-
Kapral, Raymond (1985), “Pattern formation in two- magnetic chains,” Physical Review Letters 37 (23), 1577.
dimensional arrays of coupled, discrete-time oscillators,” Kozin, Valerii K, and Oleksandr Kyriienko (2019), “Quantum
Physical Review A 31 (6), 3868. time crystals from hamiltonians with long-range interac-
Katok, Anatole, and Boris Hasselblatt (1997), Introduction tions,” Physical review letters 123 (21), 210602.
to the modern theory of dynamical systems, 54 (Cambridge Kshetrimayum, A, J Eisert, and DM Kennes (2020), “Stark
university press). time crystals: Symmetry breaking in space and time,”
Keßler, Hans, Jayson G Cosme, Christoph Georges, Ludwig Physical Review B 102 (19), 195116.
Mathey, and Andreas Hemmerich (2020), “From a contin- Kucsko, Georg, Soonwon Choi, Joonhee Choi, Peter C Mau-
uous to a discrete time crystal in a dissipative atom-cavity rer, Hengyun Zhou, Renate Landig, Hitoshi Sumiya, Shi-
system,” New Journal of Physics 22 (8), 085002. nobu Onoda, Junichi Isoya, Fedor Jelezko, et al. (2018),
Keßler, Hans, Jayson G Cosme, Michal Hemmerling, Lud- “Critical thermalization of a disordered dipolar spin sys-
wig Mathey, and Andreas Hemmerich (2019), “Emergent tem in diamond,” Physical review letters 121 (2), 023601.
limit cycles and time crystal dynamics in an atom-cavity Kumar, Krishna, and Laurette S Tuckerman (1994), “Para-
system,” Physical Review A 99 (5), 053605. metric instability of the interface between two fluids,” Jour-
Keßler, Hans, Phatthamon Kongkhambut, Christoph nal of Fluid Mechanics 279, 49–68.
Georges, Ludwig Mathey, Jayson G. Cosme, and Andreas Kuroś, Arkadiusz, Rick Mukherjee, Weronika Golletz, Fred-
Hemmerich (2021), “Observation of a dissipative time crys- eric Sauvage, Krzysztof Giergiel, Florian Mintert, and
tal,” Phys. Rev. Lett. 127, 043602. Krzysztof Sacha (2020), “Phase diagram and optimal con-
von Keyserlingk, Curt W, Vedika Khemani, and Shivaji L trol for n-tupling discrete time crystal,” New Journal of
Sondhi (2016), “Absolute stability and spatiotemporal Physics 22 (9), 095001.
long-range order in floquet systems,” Physical Review B Kuwahara, Tomotaka, Takashi Mori, and Keiji Saito (2016),
94 (8), 085112. “Floquet–magnus theory and generic transient dynamics in
von Keyserlingk, Curt W, and Shivaji L Sondhi (2016a), periodically driven many-body quantum systems,” Annals
“Phase structure of one-dimensional interacting flo- of Physics 367, 96–124.
quet systems. i. abelian symmetry-protected topological Kyprianidis, Antonis, Francisco Machado, William Morong,
phases,” Physical Review B 93 (24), 245145. Patrick Becker, Kate S Collins, Dominic V Else, Lei Feng,
von Keyserlingk, Curt W, and Shivaji L Sondhi (2016b), Paul W Hess, Chetan Nayak, Guido Pagano, et al. (2021),
“Phase structure of one-dimensional interacting floquet “Observation of a prethermal discrete time crystal,” Sci-
systems. ii. symmetry-broken phases,” Physical Review B ence 372 (6547), 1192–1196.
93 (24), 245146. Lasota, A, T-Y Li, and JA Yorke (1984), “Asymptotic peri-
Khemani, Vedika, Michael Hermele, and Rahul Nandk- odicity of the iterates of markov operators,” Transactions
ishore (2020), “Localization from hilbert space shattering: of the American Mathematical Society 286 (2), 751–764.
From theory to physical realizations,” Physical Review B Lasota, Andrzej, and Michael C Mackey (2013), Chaos, frac-
101 (17), 174204. tals, and noise: stochastic aspects of dynamics, Vol. 97
Khemani, Vedika, Achilleas Lazarides, Roderich Moess- (Springer Science & Business Media).
ner, and Shivaji L Sondhi (2016), “Phase structure of Lazarides, Achilleas, Arnab Das, and Roderich Moessner
driven quantum systems,” Physical review letters 116 (25), (2015), “Fate of many-body localization under periodic
250401. driving,” Physical review letters 115 (3), 030402.
Khemani, Vedika, Roderich Moessner, and SL Sondhi Lazarides, Achilleas, Sthitadhi Roy, Francesco Piazza, and
(2019), “A brief history of time crystals,” arXiv preprint Roderich Moessner (2020), “Time crystallinity in dissipa-
arXiv:1910.10745. tive floquet systems,” Physical Review Research 2 (2),
Khemani, Vedika, Roderich Moessner, and SL Sondhi (2021), 022002.
“A comment on” discrete time crystals: rigidity, criticality, Lebowitz, Joel L, Christian Maes, and Eugene R Speer (1990),
and realizations”,” arXiv preprint arXiv:2109.00551. “Statistical mechanics of probabilistic cellular automata,”
Khodjasteh, Kaveh, and Daniel A Lidar (2005), “Fault- Journal of statistical physics 59 (1), 117–170.
tolerant quantum dynamical decoupling,” Physical review Lee, Hyun C, RS Newrock, DB Mast, SE Hebboul, JC Gar-
letters 95 (18), 180501. land, and CJ Lobb (1991), “Subharmonic shapiro steps in
34
josephson-junction arrays,” Physical Review B 44 (2), 921. junctions,” Journal of Applied Physics 39 (7), 3113–3118.
Liao, Lei, Jasper Smits, Peter van der Straten, and HTC Stoof McGinley, Max, Sthitadhi Roy, and SA Parameswaran (2021),
(2019), “Dynamics of a space-time crystal in an atomic “Absolutely stable spatiotemporal order in noisy quantum
bose-einstein condensate,” Physical Review A 99 (1), systems,” arXiv preprint arXiv:2111.02499.
013625. McLachlan, NW (1947), “Mathieu functions of fractional or-
Liggett, Thomas Milton (2012), Interacting particle systems, der,” Journal of Mathematics and Physics 26 (1-4), 29–41.
Vol. 276. Mi, Xiao, Matteo Ippoliti, Chris Quintana, Amy Greene,
Lin, Cheng-Ju, Anushya Chandran, and Olexei I Motrunich Zijun Chen, Jonathan Gross, Frank Arute, Kunal Arya,
(2020), “Slow thermalization of exact quantum many-body Juan Atalaya, Ryan Babbush, et al. (2021), “Observation
scar states under perturbations,” Physical Review Research of time-crystalline eigenstate order on a quantum proces-
2 (3), 033044. sor,” arXiv preprint arXiv:2107.13571.
Lindner, Netanel H, Gil Refael, and Victor Galitski (2011), Michailidis, AA, CJ Turner, Z Papić, DA Abanin, and
“Floquet topological insulator in semiconductor quantum Maksym Serbyn (2020), “Stabilizing two-dimensional
wells,” Nat. Phys. 7, 490–495. quantum scars by deformation and synchronization,” Phys-
Lledó, Cristóbal, Th K Mavrogordatos, and MH Szymańska ical Review Research 2 (2), 022065.
(2019), “Driven bose-hubbard dimer under nonlocal dis- Middleton, A Alan, Ofer Biham, PB Littlewood, and P Sibani
sipation: A bistable time crystal,” Physical Review B (1992), “Complete mode locking in models of charge-
100 (5), 054303. density waves,” Physical review letters 68 (10), 1586.
Lledó, Cristóbal, and Marzena H Szymańska (2020), “A dissi- Monroe, C, W. C. Campbell, L.-M. Duan, Z.-X. Gong, A. V.
pative time crystal with or without z2 symmetry breaking,” Gorshkov, P. W. Hess, R. Islam, K. Kim, N. M. Linke,
New Journal of Physics 22 (7), 075002. G. Pagano, P. Richerme, C. Senko, and N. Y. Yao (2021),
Losson, Jérôme, and Michael C Mackey (1996), “Thermody- “Programmable quantum simulations of spin systems with
namic properties of coupled map lattices,” Stochastic and trapped ions,” Rev. Mod. Phys. 93, 025001.
spatial structures of dynamical systems , 41–69. Mori, Takashi (2018), “Floquet prethermalization in periodi-
Losson, Jérôme, John Milton, and Michael C Mackey (1995), cally driven classical spin systems,” Phys. Rev. B 98 (10),
“Phase transitions in networks of chaotic elements with 104303.
short and long range interactions,” Physica D: Nonlinear Mori, Takashi, Tomotaka Kuwahara, and Keiji Saito (2016),
Phenomena 81 (1-2), 177–203. “Rigorous bound on energy absorption and generic relax-
Luitz, David J, François Huveneers, and Wojciech De Roeck ation in periodically driven quantum systems,” Physical
(2017), “How a small quantum bath can thermalize long review letters 116 (12), 120401.
localized chains,” Physical review letters 119 (15), 150602. Morita, Hidetoshi, and Kunihiko Kaneko (2006), “Collective
Luitz, David J, Roderich Moessner, SL Sondhi, and Vedika oscillation in a hamiltonian system,” Physical review letters
Khemani (2020), “Prethermalization without tempera- 96 (5), 050602.
ture,” Physical Review X 10 (2), 021046. Morong, William, Fangli Liu, Patrick Becker, KS Collins, Lei
Lyu, Changyuan, Sayan Choudhury, Chenwei Lv, Yangqian Feng, Antonis Kyprianidis, Guido Pagano, Tianyu You,
Yan, and Qi Zhou (2020), “Eternal discrete time crystal AV Gorshkov, and Christopher Monroe (2021), “Obser-
beating the heisenberg limit,” Physical Review Research vation of stark many-body localization without disorder,”
2 (3), 033070. arXiv preprint arXiv:2102.07250.
MacDonald, AH, and Michael Plischke (1983), “Study of the Möser, J (1962), “On invariant curves of area-preserving map-
driven damped pendulum: Application to josephson junc- pings of an annulus,” Nachr. Akad. Wiss. Göttingen, II ,
tions and charge-density-wave systems,” Physical Review 1–20.
B 27 (1), 201. Moudgalya, Sanjay, David A Huse, and Vedika Khemani
Machado, Francisco, Dominic V Else, Gregory D (2020), “Perturbative instability towards delocalization at
Kahanamoku-Meyer, Chetan Nayak, and Norman Y phase transitions between mbl phases,” arXiv preprint
Yao (2020), “Long-range prethermal phases of nonequilib- arXiv:2008.09113.
rium matter,” Physical Review X 10 (1), 011043. Nandkishore, Rahul, and David A Huse (2015), “Many-body
Machado, Francisco, Gregory D Kahanamoku-Meyer, Do- localization and thermalization in quantum statistical me-
minic V Else, Chetan Nayak, and Norman Y Yao (2019), chanics,” Annu. Rev. Condens. Matter Phys. 6 (1), 15–38.
“Exponentially slow heating in short and long-range inter- van Nieuwenburg, Evert, Yuval Baum, and Gil Refael
acting floquet systems,” Physical Review Research 1 (3), (2019), “From bloch oscillations to many-body local-
033202. ization in clean interacting systems,” Proceedings of
Mali, Petar, Jasmina Tekić, Zoran Ivić, and Milan Pantić the National Academy of Sciences 116 (19), 9269–9274,
(2012), “Effects of noise on interference phenomena in the https://www.pnas.org/content/116/19/9269.full.pdf.
presence of subharmonic shapiro steps,” Physical Review Nozières, Philippe (2013), “Time crystals: Can diamagnetic
E 86 (4), 046209. currents drive a charge density wave into rotation?” EPL
Maskara, N, A. A. Michailidis, W. W. Ho, D. Bluvstein, (Europhysics Letters) 103 (5), 57008.
S. Choi, M. D. Lukin, and M. Serbyn (2021), “Discrete Olver, Peter J (1982), “A nonlinear hamiltonian structure for
time-crystalline order enabled by quantum many-body the euler equations,” Journal of Mathematical Analysis and
scars: Entanglement steering via periodic driving,” Phys. Applications 89 (1), 233–250.
Rev. Lett. 127, 090602. Pal, Soham, Naveen Nishad, TS Mahesh, and GJ Sreejith
Matus, Pawel, and Krzysztof Sacha (2019), “Fractional time (2018), “Temporal order in periodically driven spins in star-
crystals,” Physical Review A 99 (3), 033626. shaped clusters,” Physical review letters 120 (18), 180602.
McCumber, DE (1968), “Effect of ac impedance on dc Palmer, RG (1982), “Broken ergodicity,” Advances in Physics
voltage-current characteristics of superconductor weak-link 31 (6), 669–735.
35
Pedersen, PAULI (1980), “Stability of the solutions to zine and Journal of Science 15 (94), 229–235.
mathieu-hill equations with damping,” Ingenieur-Archiv Ringot, Jean, Pascal Szriftgiser, Jean-Claude Garreau, and
49 (1), 15–29. Dominique Delande (2000), “Experimental evidence of dy-
Pedersen, PO (1935), “Subharmonics in forced oscillations in namical localization and delocalization in a quasiperiodic
dissipative systems. part i,” The Journal of the Acoustical driven system,” Physical review letters 85 (13), 2741.
Society of America 6 (4), 227–238. Romeiras, Filipe J, and Edward Ott (1987), “Strange non-
Peng, Pai, Chao Yin, Xiaoyang Huang, Chandrasekhar Ra- chaotic attractors of the damped pendulum with quasiperi-
manathan, and Paola Cappellaro (2021), “Floquet prether- odic forcing,” Physical Review A 35 (10), 4404.
malization in dipolar spin chains,” Nature Physics 17 (4), Rovny, Jared, Robert L Blum, and Sean E Barrett (2018a),
444–447. “Observation of discrete-time-crystal signatures in an or-
Petersen, Karl E (1989), Ergodic theory, Vol. 2 (Cambridge dered dipolar many-body system,” Physical review letters
University Press). 120 (18), 180603.
Pizzi, Andrea, Johannes Knolle, and Andreas Nunnenkamp Rovny, Jared, Robert L Blum, and Sean E Barrett (2018b),
(2019), “Period-n discrete time crystals and quasicrystals “P 31 nmr study of discrete time-crystalline signatures in
with ultracold bosons,” Physical review letters 123 (15), an ordered crystal of ammonium dihydrogen phosphate,”
150601. Physical Review B 97 (18), 184301.
Pizzi, Andrea, Johannes Knolle, and Andreas Nunnenkamp Roy, Rahul, and Fenner Harper (2016), “Abelian floquet
(2021a), “Higher-order and fractional discrete time crystals symmetry-protected topological phases in one dimension,”
in clean long-range interacting systems,” Nature communi- Physical Review B 94 (12), 125105.
cations 12 (1), 1–7. Roy, Rahul, and Fenner Harper (2017), “Periodic table for
Pizzi, Andrea, Andreas Nunnenkamp, and Johannes Knolle floquet topological insulators,” Physical Review B 96 (15),
(2021b), “Bistability and time crystals in long-ranged di- 155118.
rected percolation,” Nature communications 12 (1), 1–8. Rubio-Abadal, Antonio, Matteo Ippoliti, Simon Hollerith,
Pizzi, Andrea, Andreas Nunnenkamp, and Johannes Knolle David Wei, Jun Rui, SL Sondhi, Vedika Khemani, Chris-
(2021c), “(classical) prethermal phases of matter,” arXiv tian Gross, and Immanuel Bloch (2020), “Floquet prether-
preprint arXiv:2104.13928. malization in a bose-hubbard system,” Physical Review X
Ponte, Pedro, Zlatko Papić, François Huveneers, and 10 (2), 021044.
Dmitry A Abanin (2015), “Many-body localization in peri- Rugar, D, and P Grütter (1991), “Mechanical parametric am-
odically driven systems,” Physical review letters 114 (14), plification and thermomechanical noise squeezing,” Physi-
140401. cal Review Letters 67 (6), 699.
Potirniche, I-D, Andrew C Potter, Monika Schleier-Smith, Russomanno, Angelo, Fernando Iemini, Marcello Dalmonte,
Ashvin Vishwanath, and Norman Y Yao (2017), “Floquet and Rosario Fazio (2017), “Floquet time crystal in the
symmetry-protected topological phases in cold-atom sys- lipkin-meshkov-glick model,” Physical Review B 95 (21),
tems,” Physical review letters 119 (12), 123601. 214307.
Potter, Andrew C, Takahiro Morimoto, and Ashvin Vish- Sacha, Krzysztof (2015), “Modeling spontaneous breaking of
wanath (2016), “Classification of interacting topological time-translation symmetry,” Physical Review A 91 (3),
floquet phases in one dimension,” Physical Review X 6 (4), 033617.
041001. Sacha, Krzysztof (2020), Time crystals (Springer).
Prakash, Gyan, Arvind Raman, Jeffrey Rhoads, and Sacha, Krzysztof, and Jakub Zakrzewski (2017), “Time crys-
Ronald G Reifenberger (2012), “Parametric noise squeezing tals: a review,” Reports on Progress in Physics 81 (1),
and parametric resonance of microcantilevers in air and liq- 016401.
uid environments,” Review of Scientific Instruments 83 (6), Sahay, Rahul, Francisco Machado, Bingtian Ye, Chris R Lau-
065109. mann, and Norman Y Yao (2021), “Emergent ergodicity at
Preskill, John (2018), “Quantum computing in the nisq era the transition between many-body localized phases,” Phys-
and beyond,” Quantum 2, 79. ical Review Letters 126 (10), 100604.
Prosen, T (1998), “Time Evolution of a Quantum Many-Body Sala, Pablo, Tibor Rakovszky, Ruben Verresen, Michael
System: Transition from Integrability to Ergodicity in the Knap, and Frank Pollmann (2020), “Ergodicity break-
Thermodynamic Limit,” Physical Review Letters 80, 1808– ing arising from hilbert space fragmentation in dipole-
1811, cond-mat/9707180. conserving hamiltonians,” Physical Review X 10 (1),
Rahav, Saar, Ido Gilary, and Shmuel Fishman (2003), “Time 011047.
independent description of rapidly oscillating potentials,” Scherg, Sebastian, Thomas Kohlert, Pablo Sala, Frank
Physical review letters 91 (11), 110404. Pollmann, Bharath Hebbe Madhusudhana, Immanuel
Randall, J, CE Bradley, FV van der Gronden, A Galicia, Bloch, and Monika Aidelsburger (2021), “Observing non-
MH Abobeih, M Markham, DJ Twitchen, F Machado, ergodicity due to kinetic constraints in tilted fermi-hubbard
NY Yao, and TH Taminiau (2021), “Observation of a chains,” Nature Communications 12 (1), 1–8.
many-body-localized discrete time crystal with a pro- Schulz, Maximilian, CA Hooley, Roderich Moessner, and
grammable spin-based quantum simulator,” arXiv preprint F Pollmann (2019), “Stark many-body localization,” Phys-
arXiv:2107.00736. ical review letters 122 (4), 040606.
Rayleigh, Lord (1883a), “Vii. on the crispations of fluid rest- Seibold, Kilian, Riccardo Rota, and Vincenzo Savona (2020),
ing upon a vibrating support,” The London, Edinburgh, “Dissipative time crystal in an asymmetric nonlinear pho-
and Dublin Philosophical Magazine and Journal of Science tonic dimer,” Physical Review A 101 (3), 033839.
16 (97), 50–58. Sels, Dries, and Anatoli Polkovnikov (2021), “Dynamical ob-
Rayleigh, Lord (1883b), “Xxxiii. on maintained vibrations,” struction to localization in a disordered spin chain,” Phys-
The London, Edinburgh, and Dublin Philosophical Maga- ical Review E 104 (5), 054105.
36
Serbyn, Maksym, Dmitry A Abanin, and Zlatko Papić (2021), Thiery, Thimothée, François Huveneers, Markus Müller, and
“Quantum many-body scars and weak breaking of ergod- Wojciech De Roeck (2018), “Many-body delocalization as
icity,” Nature Physics 17 (6), 675–685. a quantum avalanche,” Physical review letters 121 (14),
Sethna, James P, and Eric D Siggia (1984), “Universal transi- 140601.
tion in a dynamical system forced at two incommensurate Thorne, RE, WG Lyons, Joseph W Lyding, JR Tucker, and
frequencies,” Physica D: Nonlinear Phenomena 11 (1-2), John Bardeen (1987a), “Charge-density-wave transport in
193–211. quasi-one-dimensional conductors. i. current oscillations,”
Shapere, Alfred, and Frank Wilczek (2012a), “Branched Physical Review B 35 (12), 6348.
quantization,” Physical review letters 109 (20), 200402. Thorne, RE, WG Lyons, JW Lyding, JR Tucker, and John
Shapere, Alfred, and Frank Wilczek (2012b), “Classical time Bardeen (1987b), “Charge-density-wave transport in quasi-
crystals,” Physical review letters 109 (16), 160402. one-dimensional conductors. ii. ac-dc interference phenom-
Shapere, Alfred D, and Frank Wilczek (2019), “Regulariza- ena,” Physical Review B 35 (12), 6360.
tions of time-crystal dynamics,” Proceedings of the Na- Thouless, DJ (1969), “Long-range order in one-dimensional
tional Academy of Sciences 116 (38), 18772–18776. ising systems,” Physical Review 187 (2), 732.
Shapiro, Sidney (1963), “Josephson currents in superconduct- Toom, Andrei (1980), “Stable and attractive trajectories
ing tunneling: The effect of microwaves and other observa- in multicomponent systems,” in Multicomponent Random
tions,” Physical Review Letters 11 (2), 80. Systems, Vol. 6 (Marcel Dekker) pp. 549–575.
Shirley, Jon H (1965), “Solution of the schrödinger equa- Toom, Andrei (1995), “Cellular automata with errors: prob-
tion with a hamiltonian periodic in time,” Physical Review lems for students of probability,” Topics in contemporary
138 (4B), B979. probability and its applications , 117–157.
Silber, Mary, Chad M Topaz, and Anne C Skeldon (2000), Träger, Nick, Pawel Gruszecki, Filip Lisiecki, Felix Groß, Jo-
“Two-frequency forced faraday waves: weakly damped hannes Förster, Markus Weigand, Hubert Glowiński, Pi-
modes and pattern selection,” Physica D: nonlinear phe- otr Kuświk, Janusz Dubowik, Gisela Schütz, et al. (2021),
nomena 143 (1-4), 205–225. “Real-space observation of magnon interaction with driven
Sinai, Yaha G (1959), “On the notion of entropy of a dynam- space-time crystals,” Physical Review Letters 126 (5),
ical system,” in Doklady of Russian Academy of Sciences, 057201.
Vol. 124, pp. 768–771. Tucker, Kristopher, Bihui Zhu, Robert J Lewis-Swan, Jamir
Smith, Jacob, Aaron Lee, Philip Richerme, Brian Neyenhuis, Marino, Felix Jimenez, Juan G Restrepo, and Ana Maria
Paul W Hess, Philipp Hauke, Markus Heyl, David A Huse, Rey (2018), “Shattered time: can a dissipative time crystal
and Christopher Monroe (2016), “Many-body localization survive many-body correlations?” New Journal of Physics
in a quantum simulator with programmable random disor- 20 (12), 123003.
der,” Nature Physics 12 (10), 907–911. Turner, Christopher J, Alexios A Michailidis, Dmitry A
Smits, J, HTC Stoof, and P van der Straten (2020), “On the Abanin, Maksym Serbyn, and Zlatko Papić (2018a), “Weak
long-term stability of space-time crystals,” New Journal of ergodicity breaking from quantum many-body scars,” Na-
Physics 22 (10), 105001. ture Physics 14 (7), 745–749.
Smits, J, HTC Stoof, and P Van Der Straten (2021), “Spon- Turner, CJ, AA Michailidis, DA Abanin, Maksym Serbyn,
taneous breaking of a discrete time-translation symmetry,” and Z Papic (2018b), “Quantum scarred eigenstates in a
Physical Review A 104 (2), 023318. rydberg atom chain: Entanglement, breakdown of thermal-
Smits, Jasper, Lei Liao, HTC Stoof, and Peter van der Straten ization, and stability to perturbations,” Physical Review B
(2018), “Observation of a space-time crystal in a superfluid 98 (15), 155134.
quantum gas,” Physical review letters 121 (18), 185301. Urbina, C, JF Jacquinot, and M Goldman (1982), “Rotat-
Sørensen, Anders, and Klaus Mølmer (1999), “Quantum com- ing transverse helical nuclear magnetic ordering,” Physical
putation with ions in thermal motion,” Physical review let- Review Letters 48 (3), 206.
ters 82 (9), 1971. Von Neumann, John (1952), “Probabilistic logics and the syn-
Srednicki, Mark (1994), “Chaos and quantum thermal- thesis of reliable organisms from unreliable components,”
ization,” Phys. Rev. E 50 (2), 888–901, arXiv:cond- in Automata Studies.(AM-34), Volume 34 (Princeton Uni-
mat/9403051. versity Press) pp. 43–98.
Strogatz, Steven H (2018), Nonlinear dynamics and chaos Von Plato, Jan (1991), “Boltzmann’s ergodic hypothesis,”
with student solutions manual: With applications to Archive for History of Exact Sciences 42 (1), 71–89.
physics, biology, chemistry, and engineering (CRC press). Walters, Peter (2000), An introduction to ergodic theory,
Šuntajs, Jan, Janez Bonča, Tomaž Prosen, and Lev Vidmar Vol. 79 (Springer Science & Business Media).
(2020), “Quantum chaos challenges many-body localiza- Wang, Jia, Peter Hannaford, and Bryan J Dalton (2021a),
tion,” Physical Review E 102 (6), 062144. “Many-body effects and quantum fluctuations for discrete
Surace, Federica Maria, Angelo Russomanno, Marcello Dal- time crystals in bose–einstein condensates,” New Journal
monte, Alessandro Silva, Rosario Fazio, and Fernando Iem- of Physics 23 (6), 063012.
ini (2019), “Floquet time crystals in clock models,” Physi- Wang, Jia, Krzysztof Sacha, Peter Hannaford, and Bryan J
cal Review B 99 (10), 104303. Dalton (2021b), “Discrete time crystals in bose-einstein
Taylor, James H, and Kumpati S Narendra (1969), “Stability condensates and the symmetry-breaking edge in a simple
regions for the damped mathieu equation,” SIAM Journal two-mode theory,” Physical Review A 104 (5), 053327.
on Applied Mathematics 17 (2), 343–352. Wang, Y H, H. Steinberg, P. Jarillo-Herrero, and N. Gedik
Thakurathi, M, A. A. Patel, D. Sen, and A. Dutta (2013), “Observation of Floquet-Bloch States on the Sur-
(2013), “Floquet generation of Majorana end modes and face of a Topological Insulator,” Science 342, 453–457,
topological invariants,” Phys. Rev. B 88 (15), 155133, arXiv:1310.7563 [cond-mat.mes-hall].
arXiv:1303.2300 [cond-mat.mes-hall]. Wannier, Gregory H (1959), Elements of solid state theory
37