Abstract
We address the question whether time translation symmetry can be spontaneously broken in a quantum many-body system. One way of detecting such a symmetry breaking is to examine the time-dependence of a correlation function. If the large-distance behavior of the correlation function exhibits a nontrivial time-dependence in the thermodynamic limit, the system would develop a temporal long-range order, realizing a time crystal. In an earlier publication, we sketched a proof for the absence of such time dependence in the thermal equilibrium described by the Gibbs state (Watanabe and Oshikawa in Phys Rev Lett 114:251603, 2015). Here we present a complete proof and extend the argument to a more general class of stationary states than the Gibbs states.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Time crystals are a newly proposed state of matter that spontaneously breaks the time translation symmetry. The idea of time crystals in the case of the continuous time translation symmetry was first proposed by Wilczek [1], although the validity of the concrete model in this original proposal was soon questioned in Ref. [2]. Then a no-go theorem for a wider but still restricted class of models was presented in Ref. [3]. In a more general setting, the absence of time crystalline orders in the ground state or in the Gibbs state was proven in Ref. [4] without specifying the Hamiltonian but assuming only its locality. These developments triggered further investigation of so-called Floquet time crystals or discrete time crystals in nonequilibrium setting [5,6,7,8,9,10] that break a discrete time translation symmetry into its subgroup. See Refs. [11,12,13] for recent reviews on this topic.
The argument for the no-go theorem at finite temperatures in Ref. [4] was based on the Lieb-Robinson bound [14, 15], which was used to constrain finite time behavior of the correlation function. However, in Ref. [4], Fourier transformation of the correlation function was performed with respect to an infinitely long time, out of the validity of the constraint. This issue was recently pointed out by Ref. [13]. In this work, we present a complete version of the proof without such an issue. Furthermore, we examine the conditions on the density operator to which our argument can be straightforwardly extended. Clarifying these subtleties and settling down the limitations on what the Gibbs state and similar type of stationary states can do should in turn accelerate our exploration of new states that exhibit nontrivial temporal orders.
2 The Theorem and Its Proof
2.1 Setup and Statement
Let us consider a static Hamiltonian \(\hat{H}\) defined on a d-dimensional lattice \(\Lambda \) that is a finite subset of \(\mathbb {Z}^d\). We assume that the Hamiltonian \(\hat{H}\) is written as a sum of local bounded Hamiltonians:
More precisely, we assume that the support of the local Hamiltonian \(\hat{h}_{\mathbf {x}}\) is limited to a finite range \(R_h\) from \(\mathbf {x}\in \Lambda \) and that the operator normFootnote 1 of \(\hat{h}_{\mathbf {x}}\) is bounded by a constant \(N_h\). Both \(R_h\) and \(N_h\) are independent of the position \(\mathbf {x}\in \Lambda \) or the system size \(|\Lambda |\). This setting includes a wide variety of quantum spin systems, fermion systems, and “hard-core” boson systems Footnote 2.
Similarly, we consider observables (not necessarily Hermitian) \(\hat{A}\) and \(\hat{B}\) written as a sum of local observables:
The support of \(\hat{a}_{\mathbf {x}}\) and \(\hat{b}_{\mathbf {x}}\) (\(\mathbf {x}\in \Lambda \)) are within a finite range \(R_a\), \(R_b\) from \(\mathbf {x}\) and their operator norm is bounded by constants \(N_a\), \(N_b\), respectively. All of these constants are independent of \(\mathbf {x}\) or \(|\Lambda |\).
We introduce the time evolution of operators for \(t\in \mathbb {R}\) by
Our interest is in the time-dependence of the correlation function
Here \(\hat{\rho }\) is the Gibbs state
at the inverse temperature \(\beta \) and \(Z:=\mathrm{Tr}\,e^{-\beta \hat{H}}\) is the partition function. Our claim is that \(\langle \hat{A}(t)\hat{B}\rangle \) is independent of t in the thermodynamic limit \(|\Lambda |\rightarrow +\infty \) [4], i.e.,
2.2 Proof for \(\beta >0\)
2.2.1 Outline
To prove Eq. (6), it is sufficient to treat the special case \(\hat{B}=\hat{A}^\dagger \):
This is because \(\langle \hat{A}(t)\hat{B}\rangle \) can be rewritten as
Once Eq. (7) is established, it applies to all four correlation functions in the right-hand side and we obtain Eq. (6).
We denote by \(|\Phi _n\rangle \) the eigenstate of the Hamiltonian \(\hat{H}\) with the eigenvalue \(E_n\) (\(n\in \mathbb {N}\)). Using the complete system and writing
we get
We split the summation over m and n into four intervals of \(E_n-E_m\):
where \(\varepsilon \) is a small positive number and K is a large positive number. Then the time-dependence of \(\langle \hat{A}(t)\hat{A}^\dagger \rangle \) can be bounded as
In the following, we derive an upper bound for each term in the right hand side one by one. The first two terms will be bounded using the Lieb-Robinson bound and the monotonically decreasing nature of the Boltzmann factor (9). The third term will be evaluated by making use of the large energy difference. Finally, the last term is trivially small because of the time-dependent factor with small energy difference. Plugging these results [Eqs. (30), (33), (38), and (39) below] into the right-hand side of Eq. (12), we get
where C is a positive constant independent of the system size. Since we can take \(\varepsilon \) to be small and K to be large by choosing a sufficiently large system size \(|\Lambda |\), we obtain the desired result.
2.2.2 The Range (i): \(2\varepsilon \le E_n-E_m\le K\)
Let us start with the contribution from the range \(2\varepsilon \le E_n-E_m\le K\). To this end, we introduce a cutoff function \(\eta ^{+}\in C_0^\infty (\mathbb {R})\) (i.e., an infinitely differentiable function with a compact support ) that satisfies the following conditions: Footnote 3
The Fourier transform of \(\eta ^+(\omega )\) is given by
which decays faster than any power of t. This can be shown by performing an integration by parts repeatedly:
which implies, for any integer \(\ell \in \mathbb {N}\), that
We consider a correlation function
On one hand, we have
In passing to the third line, we used \(\rho (E_n)< \rho (E_m)\) when \(E_n> E_m\) and the conditions (14) of \(\eta ^+(\omega )\). In the last line, we defined
For the Gibbs state (9), we have
On the other hand, we can decompose the integral into two parts as
where T is a large positive number. For the first integral in the right-hand side, we use the property Eq. (17) of the function \(\tilde{\eta }^+(t)\) as well as the trivial bound \(|g(t)|\le 2N_a^2\).Footnote 4 For a given function \(\tilde{\eta }^+(t)\) with the parameters \(\varepsilon \) and K, we can find a large T such that
For the second integral, we can use the Lieb-Robinson bound [14, 15], from which we have [4]
for system-size-independent constants \(C_1\) and \(C_2\). Thus
where in the second inequality we used
Therefore, for any given large K and T, there exists a large volume \(|\Lambda |\) such that
Combining Eqs. (25) and (29) with the bound (20), we get
2.2.3 The Range (ii): \(-K\le E_n-E_m\le -2\varepsilon \)
Similarly, to estimate the contribution from the range \(-K\le E_n-E_m\le -2\varepsilon \), we introduce a cutoff function \(\eta ^{-}\in C_0^\infty (\mathbb {R})\) that satisfies the following conditions:
This time we have
Here, \(\Delta \) is defined in Eq. (21). In the same way as before, we find
2.2.4 The Range (iii): \(K<|E_n-E_m|\)
The third contribution can be easily bounded by using a trick.
Thanks to the assumed locality of the Hamiltonian, this operator norm can be bounded as
Note that v(R) does not grow with \(|\Lambda |\). Therefore,
2.2.5 The Range (iv): \(|E_n-E_m|<\varepsilon \)
Finally, using the fact that \(|e^{ix}-1|=2|\sin \frac{x}{2}|\le |x|\) for any real number x, we get
This completes the verification of Eq. (13) and hence the proof of Eq. (7).
2.3 Proof for \(\beta =0\)
Interestingly, the proof in the previous section does not apply to the infinite temperature (\(\beta =0\)) where \(\rho (E_n)\) in Eq. (9) becomes constant:
Here \(\mathcal {D}\) is the dimension of the entire Hilbert space. In this special case, however, we can directly prove Eq. (6) using the clustering property of the infinite-temperature state.Footnote 5 Thus the “absence of the time crystals” also holds at the infinite temperature, consistently with the intuition that the infinite temperature is the most disordered limit.
At \(\beta =0\), the equal-time correlation function trivially exhibits the locality
if the support of \(\hat{a}_{\mathbf {x}}\) and \(\hat{b}_{\mathbf {y}}\) do not overlap. This implies the clustering property and the absence of any spatial long-range order. However, quantum dynamics is nontrivial even at the infinite temperature (see, for example, Ref. [16] and references therein) and the question of the time crystal is not totally trivial.
To prove Eq. (7) in this setting, let us define
It follows that
and that
The locality in Eq. (41) implies that \(\langle \delta \hat{A}\,\delta \hat{A}^\dagger \rangle \) is inversely proportional to \(|\Lambda |\). Therefore, we obtain Eq. (7) which gives Eq. (6) as explained in Sec. 2.2.1.
3 Discussion
The proof for the Gibbs state at a finite temperature in Sec. 2.2 equally applies to other stationary states (\([\hat{\rho },\hat{H}]=0\)) of a local, static Hamiltonian as long as the density operator \(\hat{\rho }\) satisfies the following conditions.
- 1.
The weight \(\rho (E_n)\) for each eigenstate \(|\Phi _n\rangle \) should be a strictly decreasing function of \(E_n\), i.e., \(\rho (E_n)<\rho (E_m)\) when \(E_n>E_m\) for any n and m.
- 2.
There exists a smooth function \(h(\varepsilon )\) of \(\varepsilon \) such that the quantity \(\Delta \) defined in Eq. (21) is bounded below as in Eq. (22). Furthermore, \(h(\varepsilon )\) must be independent of the system size \(|\Lambda |\).
This argument can also be straightforwardly modified when the weight \(\rho (E_n)\) is a strictly increasing function of \(E_n\). Therefore, the same theorem holds for Gibbs state with a “negative temperature” (\(\beta <0\)), which is well-defined for a bounded Hamiltonian we discuss here.
Recently, in the interesting paper [17], Huang showed the inequality
for an arbitrary stationary state \(\hat{\rho }\) assuming a sufficiently fast decay of spatial correlation functions but without assuming the locality of the Hamiltonian. Here we comment that, in order to prove the weaker statement Eq. (6), which already implies the absence of long-range temporal order, it is sufficient to assume the “clustering” property of spatial correlation functions. We say a state exhibits clustering if there exists a system-size independent function f(r) with \(\lim _{r\rightarrow \infty }f(r)=0\) such that correlation functions of any local bounded operator obey
As we discuss in Appendix A, Eq. (46) readily gives
Moreover, Eq. (43) holds as long as \(\rho (E_n)\ge 0\) for all n even when \(\rho (E_n)\) is not constant [17]. Thus, we get Eq. (7) by combining Eqs. (44) and (47).
In conclusion, in order to realize a temporal long-range order in a stationary state, the system has to fulfill both of the following two conditions:
- 1.
Either the weight \(\rho (E_n)\) breaks some of the above conditions or the Hamiltonian \(\hat{H}\) violates the locality.
- 2.
The state \(\hat{\rho }\) does not possess the clustering property.
For example, a time-crystalline behavior may be observed in a single eigenstate (except for the ground state) or a micro-canonical ensemble of a local Hamiltonian (e.g. Ref. [18]), and in the ground state of a non-local Hamiltonian (e.g. Ref. [19]).
4 Note added in proof
After we revised our manuscript and updated the version on arXiv, Huang also posted the second version of his paper (Y. Huang, arXiv:1912.01210v2) in which the author made a revision for the main result in the first version [17], and added a new result which is similar to ours in Sec. 3.
Notes
The operator norm of an operator \(\hat{O}\) is defined as \({\Vert }\hat{O}{\Vert }:=\text {sup}_{|\psi \rangle , {\Vert }{|\psi \rangle }|{\Vert }>0}{\Vert }\hat{O}{|\psi \rangle }{\Vert }/{\Vert }{|\psi \rangle }{\Vert }\).
For the assumed boundedness, the maximum number of bosons that can occupy a single site must be a finite number independent of the system size.
An example of \(\eta ^{+}(\omega )\) for the range \(\varepsilon \le \omega \le 2\varepsilon \) and \(K\le \omega \le K+\varepsilon \) can be constructed using \(m(x):=\int _{-1}^{x}dy\,e^{-\frac{1}{1-y^2}}\) (\(-1\le x\le +1\)). For example, one can set \(\eta ^{+}(\omega )=m(\frac{2\omega -3\varepsilon }{\varepsilon })/m(+1)\) for \(\varepsilon \le \omega \le 2\varepsilon \).
Here and hereafter, we use the standard properties of the operator norm, such as \({|}{\langle }{\hat{O}}{\rangle }{|}\le {\Vert }{\hat{O}}{\Vert }\), \({\Vert }{\hat{O}}{\Vert }={\Vert }{\hat{O}}^\dagger {\Vert }\), and \({\Vert }{\hat{O}\hat{O}'}{\Vert }\le {\Vert }{\hat{O}}{\Vert }{\Vert }{\hat{O}'}{\Vert }\) for operators \(\hat{O}\) and \(\hat{O}'\).
References
Wilczek, F.: Quantum time crystals. Phys. Rev. Lett. 109, 160401 (2012)
Bruno, P.: Comment on “quantum time crystals”. Phys. Rev. Lett. 110, 118901 (2013)
Bruno, P.: Impossibility of spontaneously rotating time crystals: a no-go theorem. Phys. Rev. Lett. 111, 070402 (2013)
Watanabe, H., Oshikawa, M.: Absence of quantum time crystals. Phys. Rev. Lett. 114, 251603 (2015)
Sacha, K.: Modeling spontaneous breaking of time-translation symmetry. Phys. Rev. A 91, 033617 (2015)
Khemani, V., Lazarides, A., Moessner, R., Sondhi, S.L.: Phase structure of driven quantum systems. Phys. Rev. Lett. 116, 250401 (2016)
Else, D.V., Bauer, B., Nayak, C.: Floquet time crystals. Phys. Rev. Lett. 117, 090402 (2016)
Yao, N.Y., Potter, A.C., Potirniche, I.-D., Vishwanath, A.: Discrete time crystals: rigidity, criticality, and realizations. Phys. Rev. Lett. 118, 030401 (2017)
Choi, S., Choi, J., Landig, R., Kucsko, G., Zhou, Hengyun, Isoya, Junichi, Jelezko, Fedor, Onoda, Shinobu, Sumiya, Hitoshi, Khemani, Vedika, von Keyserlingk, Curt, Yao, Norman Y., Demler, Eugene, Lukin, Mikhail D.: Observation of discrete time-crystalline order in a disordered dipolar many-body system. Nature 543, 221–225 (2017)
Zhang, J., Hess, P.W., Kyprianidis, A., Becker, P., Lee, A., Smith, J., Pagano, G., Potirniche, I.D., Potter, A.C., Vishwanath, A., Yao, N.Y., Monroe, C.: Observation of a discrete time crystal. Nature 543, 217–220 (2017)
Sacha, K., Zakrzewski, J.: Time crystals: a review. Rep. Prog. Phys. 81, 016401 (2017)
Else, D.V., Monroe, C., Nayak, C., Yao, N.Y.: Discrete time crystals. arXiv:1905.13232
Khemani, V., Moessner, R., Sondhi, S.L.: A brief history of time crystals. arXiv:1910.10745
Lieb, E.H., Robinson, D.W.: The finite group velocity of quantum spin systems. Commun. Math. Phys. 28, 251–257 (1972)
Hastings, M.B.: Locality in quantum systems. arXiv:1008.5137
Žnidarič, M.: Spin transport in a one-dimensional anisotropic Heisenberg model. Phys. Rev. Lett. 106, 220601 (2011)
Huang, Y.: Absence of temporal order in states with fast decay of spatial correlations. arXiv:1912.01210v1
Syrwid, A., Zakrzewski, J., Sacha, K.: Time crystal behavior of excited eigenstates. Phys. Rev. Lett. 119, 250602 (2017)
Kozin, V.K., Kyriienko, O.: Quantum time crystals from Hamiltonians with long-range interactions. Phys. Rev. Lett. 123, 210602 (2019)
Watanabe, H., Oshikawa, M., Koma, T.: Proof of the absence of long-range temporal orders in Gibbs states. arXiv:1911.12939v1
Acknowledgements
We thank Hal Tasaki for fruitful discussions. We also thank Shivaji Sondhi for encouraging us to publish the present result, which is based on an earlier unpublished note, and Yichen Huang for informing us of a simplification of the proof for \(\beta =0\). The work of H. W. was supported by JSPS KAKENHI Grant No. JP17K17678 and by JST PRESTO Grant No. JPMJPR18LA. The work of M. O. was supported in part by JSPS KAKENHI Grant No. JP19H01808 and by US National Science Foundation Grant No. NSF PHY-1748958 through Kavli Institute for Theoretical Physics, UC Santa Barbara.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Hal Tasaki.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A: Fluctuation and Clustering
Appendix A: Fluctuation and Clustering
In this appendix, we show that fluctuations of normalized macroscopic observables are negligible in the large volume limit when the state possesses the clustering property. The clustering defined in Eq. (46) means that, for any \(\varepsilon >0\), there exists \(R>0\) (independent of \(|\Lambda |\)) such that
It follows that
where v(R) is defined in Eq. (37). Since \(N_a\) is independent of the system size, we can find \(|\Lambda |\) such that \(\frac{2N_a^2v(R)}{|\Lambda |}<\frac{1}{2}\varepsilon \). Therefore, for a sufficiently large system size, we have
This completes the proof of Eq. (47).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Watanabe, H., Oshikawa, M. & Koma, T. Proof of the Absence of Long-Range Temporal Orders in Gibbs States. J Stat Phys 178, 926–935 (2020). https://doi.org/10.1007/s10955-019-02471-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10955-019-02471-5