Bounds on the survival probability in periodically driven quantum systems.

Periodically driven systems are ubiquitous in science and technology. In quantum dynamics, even a small number of periodically-driven spins lead to complicated dynamics. By applying the global passivity principle from quantum thermodynamics to periodically driven quantum systems, we obtain a set of constraints for each number of cycles. For pure initial states, the observable being constrained is the survival probability. We use our constraints to detect undesired coupling to unaccounted environments in quantum circuits as well as for detecting deviations from perfect periodic driving. To illustrate the applicability of these results to modern quantum systems we demonstrate our findings experimentally on on a trapped ion quantum computer, and on various IBM quantum computers. Specifically, we provide two experimental examples where these constraints surpass fundamental bounds on leakage detection based on the standard "one-cycle" detection scheme (including the second law of thermodynamics). The derived constraints treat the driven circuit as a "black box" and make no assumptions about it. Thus, by running the same circuit several times sequentially, this scheme can be used as a diagnostic tool for quantum circuits that cannot be classically simulated. Finally, we show that , in practice, testing an $n$-cycle constraint requires only $O(\sqrt{n})$ cycles.