Abstract Periodically driven quantum systems exhibit a diverse set of phenomena but are more challenging to simulate than their equilibrium counterparts. Here, we introduce the Quantum High-Frequency Floquet Simulation (QHiFFS) algorithm as a method to simulate fast-driven quantum systems on quantum hardware. Central to QHiFFS is the concept of a kick operator which transforms the system into a basis where the dynamics is governed by a time-independent effective Hamiltonian. This allows prior methods for time-independent simulation to be lifted to simulate Floquet systems. We use the periodically driven biaxial next-nearest neighbor Ising (BNNNI) model, a natural test bed for quantum frustrated magnetism and criticality, as a case study to illustrate our algorithm. We implemented a 20-qubit simulation of the driven two-dimensional BNNNI model on Quantinuum’s trapped ion quantum computer. Our error analysis shows that QHiFFS exhibits not only a cubic advantage in driving frequency ω but also a linear advantage in simulation time t compared to Trotterization.
Abstract Periodically driven quantum systems exhibit a diverse set of phenomena but are more challenging to simulate than their equilibrium counterparts. Here, we introduce the Quantum High-Frequency Floquet Simulation (QHiFFS) algorithm as a method to simulate fast-driven quantum systems on quantum hardware. Central to QHiFFS is the concept of a kick operator which transforms the system into a basis where the dynamics is governed by a time-independent effective Hamiltonian. This allows prior methods for time-independent simulation to be lifted to simulate Floquet systems. We use the periodically driven biaxial next-nearest neighbor Ising (BNNNI) model, a natural test bed for quantum frustrated magnetism and criticality, as a case study to illustrate our algorithm. We implemented a 20-qubit simulation of the driven two-dimensional BNNNI model on Quantinuum’s trapped ion quantum computer. Our error analysis shows that QHiFFS exhibits not only a cubic advantage in driving frequency ω but also a linear advantage in simulation time t compared to Trotterization.
Periodically driven quantum systems exhibit many fascinating phenomena absent in equilibrium systems, but their simulation is more challenging than that of static systems. Consequently, quantum simulation of these systems offers greater opportunity for achieving quantum advantage. To build the foundation for simulating time-periodic Hamiltonians, we utilize the Floquet-Hilbert space formalism to transform the Hamiltonian into a time-independent form and provide its Pauli decomposition. Within this formalism, we develop a hybrid quantum-classical algorithm, Floquet-ADAPT-VQE, that produces three key quantities that govern periodically driven quantum dynamics: the quasienergy, the associated Floquet eigenstates, and expectation values of observables with respect to these eigenstates. The latter is achieved by applying a fixed-depth quantum circuit to an initial Floquet eigenstate—an efficient construction made possible by the Floquet-Hilbert space formalism. We also identify a suitable auxiliary initial state whose squared Floquet energy is independent of the number of auxiliary qubits as well as the driving frequency, which leads to better convergence with fewer ADAPT iterations. We demonstrate our algorithm by performing numerical simulations on a periodically driven XYZ model with a magnetic field. We also explore potential applications of our algorithm for studying various non-equilibrium phenomena in periodically driven systems.
The simulation of non-equilibrium quantum many-body systems on noisy intermediate-scale quantum (NISQ) processors represents a central challenge and opportunity in modern condensed matter physics. Periodically driven (Floquet) systems can host exotic phases of matter with no equilibrium counterpart, most notably discrete time crystals (DTCs) characterized by spontaneous breaking of discrete time-translation symmetry and robust subharmonic responses. However, the realization of DTCs faces fundamental obstacles: driven many-body systems generically absorb energy and thermalize to an infinite-temperature state, destroying time-crystalline order. Two primary mechanisms have been identified to stabilize DTCs—many-body localization (MBL) through strong disorder, and Floquet prethermalization wherein high-frequency driving suppresses heating over exponentially long timescales. This work investigates the digital quantum simulation of prethermal DTCs on current superconducting quantum processors, with a focus on understanding and mitigating the impact of hardware noise. Recent experiments on 133-qubit heavy-hexagonal devices have demonstrated the realization of clean two-dimensional DTCs and incommensurately modulated DTCs (IM-DTCs) using kicked Ising models, observing period-doubling oscillations persisting for up to 100 Floquet cycles . Crucially, these simulations reveal that quantum noise, often perceived as detrimental, can in certain regimes stabilize novel prethermal DTC phases—a phenomenon identified as noise-induced DTCs supported by symmetry charge pumping or random gate fluctuations . The heavy-hexagonal lattice geometry, compared to square lattices, exhibits significantly slower quantum scrambling, thereby extending the prethermal plateau and enhancing DTC stability. We address two key challenges limiting the scalability of DTC simulations: limited qubit connectivity and environmental noise. By leveraging the universality of native gate sets, we demonstrate how to implement effective couplings among physically disconnected qubits at the cost of increased circuit depth, enabling the study of interaction-range effects on DTC stabilization—a phenomenon previously unobserved experimentally . Furthermore, we benchmark the performance of error mitigation protocols based on depolarising noise models, achieving excellent agreement between error-mitigated hardware data and tensor-network simulations in regimes where classical computations remain tractable . Our results highlight the complementary roles of quantum hardware and classical simulation: quantum processors provide access to regimes where entanglement growth outpaces tensor-network methods, while careful validation against classical benchmarks ensures the reliability of quantum outcomes. This study establishes a concrete pathway for using NISQ devices as experimental platforms for synthesizing and probing novel non-equilibrium quantum phases, advancing both our fundamental understanding of Floquet many-body dynamics and the practical capabilities of quantum simulation. The identification of noise as an active ingredient in phase stabilization suggests new directions for quantum engineering of spatiotemporal orders on near-term hardware.
The formalism of continuous-time quantum walks on graphs has been widely used in the study of quantum transport of energy and information, as well as in the development of quantum algorithms. In experimental settings, however, there is limited control over the coupling coefficients between the different nodes of the graph (which are usually considered to be real valued), thereby restricting the types of quantum walks that can be implemented. In this paper, we apply the idea of Floquet engineering in the context of continuous-time quantum walks, i.e., we define periodically driven Hamiltonians which can be used to simulate the dynamics of certain target continuous-time quantum walks. We focus on two main applications: (i) simulating quantum walks that break time-reversal symmetry due to complex coupling coefficients and (ii) increasing the connectivity of the graph by simulating the presence of next-nearest-neighbor couplings. Our paper provides explicit simulation protocols that may be used for directing quantum transport, engineering the dispersion relation of one-dimensional quantum walks, or investigating quantum dynamics in highly connected structures.
Time-periodic quantum systems are present all over science and technology. They have been successfully studied using Floquet theory, and a broad diversity of interesting phenomena such as coherent destruction of tunnelling, dynamical localization and creation of new phases of matter have been discovered. Furthermore, periodic driving has also been introduced as a tool for engineering novel quantum systems that have no static analogue. Besides these remarkable achievements for isolated systems, in reality, systems always interact with their surroundings. Taking the effect of the environment into account, time-periodic quantum systems have been mainly described using the Floquet-Markov approach, which consists in deriving a weak coupling master equation in the Floquet basis. In this thesis, we focus on how to overcome these standard approximations in the description of driven open quantum systems. We start by providing a general review on the topics of isolated driven systems, open quantum systems and the Floquet-Markov approach, before presenting the main results of this work. Under the effect of high-frequency driving, we provide an analytic solution to a large class of open quantum systems. Our method relies on discrete symmetries of the system-bath Hamiltonian and grants access to the time evolution operator of the full system, including bath degrees of freedom. The solution can be interpreted as the stroboscopic evolution of a family of observables under the influence of an effective static Hamiltonian. This provides a flexible simulation procedure of nontrivial Hamiltonians. The results are exemplified with the driven spin-boson model, where a coherent control of dissipation is observed. By a novel combination of Floquet theory, full counting statistics and a Markovian embedding strategy (reaction coordinate mapping), more intricate scenarios with additional driven system-environment interactions are addressed. Hereby, we can access the dynamics and thermodynamics of a periodically driven thermal machine. For the particular case where the working medium is a two-level system, we identify four different operating regimes, including a heat engine and a refrigerator. As the coupling strength is increased, their efficiency and coefficient of performance decrease and the refrigerator regime disappears. Notably, our model reproduces the setup of laser cooling of trapped ions in a specific parameter limit. Following the same combination of methods, we investigate electron pumping through a single quantum dot with periodically modulated energy and tunnelling amplitudes. In the high-frequency regime, the direction of the current can be controlled with the driving phase and a rectification effect that is exclusive to the non-Markovian character of the model is observed. In the low-frequency regime, we apply an additional transformation to view the model as three independent transport channels and observe that the coupling strength also controls the current direction. Studying charge fluctuations we validate that our model behaves as a single-electron source.
Periodically driven interacting quantum many-body systems can exhibit long-lived prethermal dynamics, where local observables retain coherent structure even as entanglement and operator complexity grow. Accessing this regime at the system sizes and times needed to determine physical properties of the prethermal state remains a central challenge: state-of-the-art classical methods become unreliable, while noise in quantum hardware degrades observable expectation values. Here we overcome these limitations for a Floquet Ising magnet realized on a heavy-hex lattice. Using the advanced error mitigation software QESEM on an IBM Heron r3 superconducting quantum processor, we measure magnetization dynamics with percent-level precision and resolve long-lived subharmonic prethermal oscillations in systems of up to 74 qubits. These experiments reach regimes for which leading tensor-network simulations fail to converge, while sparse Pauli-path simulations remain strongly truncation dependent despite extensive computations on advanced GPUs and the Fugaku supercomputer. Leveraging this quantum-accessible regime, we extend finite-size scaling to larger systems and find an unexpectedly slow decrease of the oscillation amplitude with system size, providing strong evidence that this oscillatory response persists in the thermodynamic limit of heavy-hex ladders. A hierarchy of mitigation and validation tests, including unbiased error mitigation, agreement between independent mitigation estimators, noise-model validation on the superconducting hardware, and cross-platform corroboration at selected Floquet cycles on Quantinuum System Model H2 and Quantinuum Helios trapped-ion hardware, supports the reliability of these findings. Our work establishes error-mitigated quantum processors as quantitative scientific instruments for discovering new physics in non-equilibrium quantum matter.
Analogue and digital Hamiltonian simulation represent two distinct approaches to making one quantum system replicate the physical properties of another, with consequences ranging from practical applications to complexity theory and quantum gravity. They are rooted in two distinct regimes of quantum dynamics: time-independent Hamiltonians for the former; fully controllable time-dependent quantum circuits in the latter. Time-periodic Hamiltonians represent an intermediate regime. In this work, we establish a theory of Floquet simulation where we use periodically driven Hamiltonians to synthesise time-independent ones.
We show that a set of interactions S can Floquet-simulate every Hamiltonian in the Lie algebra Lie(S), and consequently we give a complete and constructive characterisation of Floquet-universal Hamiltonians that are able to produce any target Hamiltonian. Notably, our construction uses only O(1) local interaction strengths and ratios thereof, avoiding the impractical multi-scale local interaction strengths often required in analogue simulation via time-independent Hamiltonians. Instead, the construction requires a range of driving frequencies which scales polynomially with system size for important classes such as k-local lattice Hamiltonians. This has immediate complexity-theoretic implications, including numerous BQP-completeness and QMA-hardness results for natural physical properties and quantities studied in Floquet physics.