Absence of Quantum Time Crystals in Ground States

Abstract

Recently, Wilczek proposed a fascinating new concept of time crystals, which spontaneously break the continuous time translation symmetry, in analogy with ordinary crystals which break the continuous spatial translation symmetry. Li et al. soon followed with a concrete proposal for an experimental realization and observation of a (space-)time crystal using trapped ions in a ring threaded by an Aharonov-Bohm flux. However, the very existence, even as a matter of principle, of time crystals is rather controversial. Bruno proved a no-go theorem for time crystals for a specific class of Hamiltonians, which covers the original proposal. A similar observation was made for a charge density wave in a superconducting ring by Nozieres. However, since these arguments were not fully general, several new realizations of time crystals, which avoid these no-go arguments, were proposed. In fact, a part of the confusion can be attributed to the lack of a precise mathematical definition of time crystals. Here, we first propose a definition of time crystals in the equilibrium, which is a natural generalization of that of ordinary crystals and can be formulated precisely also for time crystals. We then prove generally the absence of time crystals defined as such, in the ground state of an arbitrary Hamiltonian which consists only of short-range interactions. While the nature of the time crystal is less understood, it is natural to expect that time crystals would be most easily realized, if at all, at zero temperature, as in the case of ordinary crystals. Thus, we focus on the question whether time crystals can exist as the ground state, as in Wilczek’s original proposal. Naively, time crystals would be defined in terms of the ground-state expectation value of an observable O(t). If it exhibits a periodic time dependence, the system may be regarded as a time crystal. However, the very definition of the ground state Ĥ|0〉 = E0|0〉 immediately implies that the expectation value of any Heisenberg operator O(t) ≡ eiĤtO(0)e−iĤt is time-independent. Yet it is too early to reject the idea of time crystals just from this observation, since a similar argument would preclude ordinary (spatial) crystals. One might naively define crystals from a spatially modulating expectation value of the density operator ρ(~x) = e−i ~ P ·~xρ(~0)ei ~ P ·~x. The unique ground state of the Hamiltonian in a finite box is nevertheless symmetric and hence ~ P |0〉 = 0, implying that 〈0|ρ(~x)|0〉 is constant over space.