We investigate the power of quantum systems for the simulation of Hamiltonian time evolutions on a cubic lattice under the constraint of translational invariance. Given a set of translationally invariant local Hamiltonians and short-range interactions we determine time evolutions which can and those that cannot be simulated. Whereas for general spin systems no finite universal set of generating interactions is shown to exist, universality turns out to be generic for quadratic bosonic and fermionic nearest-neighbor interactions when supplemented by all translationally invariant on-site Hamiltonians.
Time crystals correspond to a phase of matter where time-translational symmetry (TTS) is broken. Up to date, they are well studied in open quantum systems, where an external drive allows us to break discrete TTS, ultimately leading to Floquet time crystals. At the same time, genuine time crystals for closed quantum systems are believed to be impossible. In this study we propose a form of a Hamiltonian for which the unitary dynamics exhibits the time crystalline behavior and breaks continuous TTS. This is based on a spin-1/2 many-body Hamiltonian which has long-range multispin interactions in the form of spin strings, thus bypassing previously known no-go theorems. We show that quantum time crystals are stable to local perturbations at zero temperature. Finally, we reveal the intrinsic connection between continuous and discrete TTS, thus linking the two realms.
Quantum computation can be achieved by preparing an appropriate initial product state of qudits and then letting it evolve under a fixed Hamiltonian. The readout is made by measurement on individual qudits at some later time. This approach is called the Hamiltonian quantum computation and it includes, for example, the continuous-time quantum cellular automata and the universal quantum walk. We consider one spatial dimension and study the compromise between the locality
k and the local Hilbert space dimension
d. For geometrically 2-local (i.e.,
k=2), it is known that
d=8 is already sufficient for universal quantum computation but the Hamiltonian is not translationally invariant. As the locality
k increases, it is expected that the minimum required
d should decrease. We provide a construction of a Hamiltonian quantum computer for
k=3 with
d=5. One implication is that simulating one-dimensional chains of spin-2 particles is BQP-complete (BQP denotes ``bounded error, quantum polynomial time''). Imposing translation invariance will increase the required
d. For this we also construct another 3-local
(k=3) Hamiltonian that is invariant under translation of a unit cell of two sites but that requires
d to be 8.