Measurement-Induced Continuous Time Crystals.

Strong measurements usually restrict the dynamics of measured finite dimensional systems to the Zeno subspace, where subsequent evolution is unitary due to the suppression of dissipative terms. Here, we show qualitatively different behavior induced by the competition between strong measurements and the thermodynamic limit, inducing a time-translation symmetry breaking phase transition resulting in a continuous time crystal. We consider an undriven spin star model, where the central spin is subject to a strong continuous measurement, and qualify the dynamic behavior of the system in various parameter regimes. We show that above a critical value of measurement strength, the magnetization of the thermodynamically large ancilla spins, along with the central spin, develops limit-cycle oscillations.

Seeding Crystallization in Time.

We introduce the concept of seeding of crystallization in time by studying the dynamics of an ensemble of coupled continuous time crystals. We demonstrate that a single subsystem in a broken-symmetry phase acting as a nucleation center may induce time-translation symmetry breaking across the entire ensemble. Seeding is observed for both coherent and dissipative coupling, as well as for a broad range of parameter regimes. In the spirit of mutual synchronization, we investigate the parameter regime where all subsystems are in the broken-symmetry phase. We observe that more broadly detuned time crystals require weaker coupling strength to be synchronized. This is in contrast to basic knowledge from classical as well as quantum synchronization theory. We show that this surprising observation is a direct consequence of the seeding effect.

Quantum synchronization in nanoscale heat engines.

Owing to the ubiquity of synchronization in the classical world, it is interesting to study its behavior in quantum systems. Though quantum synchronization has been investigated in many systems, a clear connection to quantum technology applications is lacking. We bridge this gap and show that nanoscale heat engines are a natural platform to study quantum synchronization and always possess a stable limit cycle. Furthermore, we demonstrate an intimate relationship between the power of a coherently driven heat engine and its phase-locking properties by proving that synchronization places an upper bound on the achievable steady-state power of the engine. We also demonstrate that such an engine exhibits finite steady-state power if and only if its synchronization measure is nonzero. Finally, we show that the efficiency of the engine sets a point in terms of the bath temperatures where synchronization vanishes. We link the physical phenomenon of synchronization with the emerging field of quantum thermodynamics by establishing quantum synchronization as a mechanism of stable phase coherence.

Squeezing Enhances Quantum Synchronization.

It is desirable to observe synchronization of quantum systems in the quantum regime, defined by the low number of excitations and a highly nonclassical steady state of the self-sustained oscillator. Several existing proposals of observing synchronization in the quantum regime suffer from the fact that the noise statistics overwhelm synchronization in this regime. Here, we resolve this issue by driving a self-sustained oscillator with a squeezing Hamiltonian instead of a harmonic drive and analyze this system in the classical and quantum regime. We demonstrate that strong entrainment is possible for small values of squeezing, and in this regime, the states are nonclassical. Furthermore, we show that the quality of synchronization measured by the FWHM of the power spectrum is enhanced with squeezing.

Post hoc Verification of Quantum Computation.

We propose a set of protocols for verifying quantum computing at any time after the computation itself has been performed. We provide two constructions: one requires five entangled provers and a completely classical verifier; the other requires a single prover, a verifier, who is restricted to measuring qubits in the X or Z basis, and one-way quantum communication from the prover to the verifier. These results demonstrate that the verification can be achieved independently from the blindness. We also show that a constant round protocol with a single prover and a completely classical verifier is not possible, unless bounded error quantum polynomial time (BQP) is contained in the third level of the polynomial hierarchy.