The normal procedure for numerical simulation of exponentially correlated colored noise is superseded by the novel algorithm presented here. A differential algorithm is replaced by an integral algorithm which is faster, more accurate, and permits the use of longer step sizes.
The decision diagram (DD) data structure enables fast linear-algebra calculations by bringing vectors into a normal form and subsequently merging equivalent ones, yielding a minimally-sized DD modulo the equivalence relation. A fruitful application area is quantum-circuit simulation, where the vectors represent quantum states. The Local Invertible Map Decision Diagram (LIMDD) type, merges LIM-equivalent (typically Pauli-gate equivalent) vectors, can efficiently simulate Clifford circuits as well as some high-T-count circuits, and has theoretically been proven exponentially faster for simulation than other well-developed data structures, including other common DD variants. However, these exponential advantages have not fully materialized yet in existing implementations, for which the normal-form procedure, which is a highly complex algorithm, is either absent or only partially implemented. We here present a novel normal-form algorithm for Pauli-LIMDDs, achieving a worst-case speedup from O(n3) to O(n2) for an n-qubit DD node with a single child node while keeping the O(n3) run time in case of two distinct children nodes. We implement the algorithm as part of QolDDer, our Pauli-LIMDD simulator for quantum circuits, written from scratch in C/C++. The implementation realizes the theoretically-proven advantages of Pauli-LIMDDs on Clifford circuits, is significantly faster than the existing LIMDD simulators on such circuits, and on a public quantum-circuit data set often outperforms them by an order of magnitude. In the future, we envision that our work will enable further application and development of LIMDD variants, not only for quantum design tasks, but also for analysis of linear-algebra-based systems in general.
The controls enacting logical operations on quantum systems are described by time-dependent Hamiltonians that often include rapid oscillations. In order to accurately capture the resulting time dynamics in numerical simulations, a very small integration time step is required, which can severely impact the simulation run time. Here, we introduce a semianalytic method based on the Dyson expansion that allows us to time-evolve driven quantum systems much faster than standard numerical integrators. This solver, which we name Dysolve, efficiently captures the effect of the highly oscillatory terms in the system Hamiltonian, significantly reducing the simulation's run time as well as its sensitivity to the time-step size. Furthermore, this solver provides the exact derivative of the time-evolution operator with respect to the drive amplitudes. This key feature allows for optimal control in the limit of strong drives and goes beyond common pulse-optimization approaches that rely on rotating-wave approximations. As an illustration of our method, we show results of the optimization of a two-qubit gate using transmon qubits in the circuit QED architecture.
Understanding the influence of realistic noise on quantum algorithms is paramount for the advancement of quantum computation. While often modeled as Markovian, environmental noise in quantum systems frequently exhibits temporal correlations, leading to non-Markovian dynamics that can significantly alter algorithmic performance. This paper investigates the impact of temporally correlated dephasing noise, modeled by the Ornstein-Uhlenbeck (OU) process, on the fidelity of the 2-qubit Deutsch-Jozsa algorithm. We perform numerical simulations using Qiskit, systematically varying the noise strength (σOU) and correlation time (τc) of the OU process. Our results demonstrate that the algorithm's fidelity exhibits a non-monotonic dependence on τc, particularly at higher noise strengths, with certain intermediate correlation times proving more detrimental than others. We find that a standard Markovian dephasing model, matched to the single-step error variance of the OU process, accurately predicts fidelity only in the limit of very short correlation times. For longer correlation times, the Markovian approximation often overestimates the algorithm's fidelity, failing to capture the complex error dynamics introduced by the noise memory. These findings highlight the necessity of incorporating non-Markovian characteristics for accurate performance assessment of quantum algorithms on near-term devices and underscore the limitations of simpler, memoryless noise models.