The complete characterisation of non-Markovian dynamics on quantum devices can be achieved with experiments on the system using a procedure known as process tensor tomography. However, through either hardware or computational restrictions, tomographically complete estimation is usually out of reach. Here, we present methods for bounding any desired facet of multi-time processes only with limited data to arbitrary accuracy that depends on data availability. We then use this method to estimate the strength of non-Markovian memory and construct conditional Markov order models, which are far less complex yet possess high predictive power. Finally, we display the efficacy and utility of our theoretical methods with experimental case studies on IBM Quantum devices.
The complete characterisation of non-Markovian dynamics on quantum devices can be achieved with experiments on the system using a procedure known as process tensor tomography. However, through either hardware or computational restrictions, tomographically complete estimation is usually out of reach. Here, we present methods for bounding any desired facet of multi-time processes only with limited data to arbitrary accuracy that depends on data availability. We then use this method to estimate the strength of non-Markovian memory and construct conditional Markov order models, which are far less complex yet possess high predictive power. Finally, we display the efficacy and utility of our theoretical methods with experimental case studies on IBM Quantum devices.
Characterisation protocols have so far played a central role in the development of noisy intermediate-scale quantum (NISQ) computers capable of impressive quantum feats. This trajectory is expected to continue in building the next generation of devices: ones that can surpass classical computers for particular tasks -- but progress in characterisation must keep up with the complexities of intricate device noise. A missing piece in the zoo of characterisation procedures is tomography which can completely describe non-Markovian dynamics over a given time frame. Here, we formally introduce a generalisation of quantum process tomography, which we call process tensor tomography. We detail the experimental requirements, construct the necessary post-processing algorithms for maximum-likelihood estimation, outline the best-practice aspects for accurate results, and make the procedure efficient for low-memory processes. The characterisation is a pathway to diagnostics and informed control of correlated noise. As an example application of the hardware-agnostic technique, we show how its predictive control can be used to substantially improve multi-time circuit fidelities on superconducting quantum devices. Our methods could form the core for carefully developed software that may help hardware consistently pass the fault-tolerant noise threshold.
Every year, substantial theoretical and experimental progress is made towards the realisation of a genuinely new computational paradigm in the construction of a quantum computer. But progress is fractal; to make headway is to unearth the next set of obstacles. Decades of work has so far overcome physical, mathematical, engineering, and information theoretic obstacles to produce the remarkable high-fidelity devices we see today. But these devices must be near perfect to be useful. Indeed, advancements so far have precipitated sensitivity to a host of complex dynamical and control-based effects. Chief among these today are non-Markovian memory effects, where interactions between a quantum system and its surrounding environment can give rise to multi-time correlations. In this thesis, we address this issue and formally present a generalisation of quantum process tomography, called process tensor tomography (PTT). This establishes the ability to rigorously and systematically characterise non-Markovian open quantum systems, resolving many long-standing issues in the field. In the first part of this work, we present an original review of the literature and motivate the problem at hand. In the second, we develop the framework of PTT, including experiment design, post-processing algorithms, and both simulated and near-term device demonstrations. In particular, we demonstrate this as a tool for obtaining in-depth diagnostics about the nature and origin of temporal quantum correlations. Lastly, we dedicate our efforts to efficiency and self-consistency. To this effect, we explore theoretically processes with sparse memory structures. We then leverage this to develop various efficient estimation techniques tailored for different settings. The result is a robust and lightweight framework capable of both reconstructing and optimally controlling any non-Markovian open quantum dynamics.
As quantum devices make steady progress towards intermediate scale and fault-tolerant quantum computing, it is essential to develop rigorous and efficient measurement protocols that account for known sources of noise. Most existing quantum characterization protocols such as gate-set tomography and randomized benchmarking assume the noise acting on the qubits is Markovian. However, this assumption is often not valid, as for the case of 1/f charge noise or hyperfine nuclear spin noise. Here, we present a general framework for quantum process tomography (QPT) in the presence of time-correlated noise. We further introduce fidelity benchmarks that quantify the relative strength of different sources of Markovian and non-Markovian noise. As an application of our method, we perform a comparative theoretical and experimental analysis of silicon spin qubits. We first develop a detailed noise model that accounts for the dominant sources of noise and validate the model against experimental data. Applying our framework for time-correlated QPT, we find that the number of independent parameters needed to characterize one- and two-qubit gates can be compressed by 10× and 100× , respectively, when compared to the fully generic case. These compressions reduce the amount of tomographic measurements needed in experiment, while also significantly speeding up numerical simulations of noisy quantum circuit dynamics compared to time-dependent Hamiltonian simulation. Using this compressed noise model, we find good agreement between our theoretically predicted process fidelities and two-qubit interleaved randomized benchmarking fidelities of 99.8% measured in recent experiments on silicon spin qubits. More broadly, our formalism can be directly extended to develop efficient and scalable tuning protocols for high-fidelity control of large arrays of quantum devices with non-Markovian noise. Published by the American Physical Society 2024
Every quantum system is coupled to an environment. Such system-environment interaction leads to temporal correlation between quantum operations at different times, resulting in non-Markovian noise. In principle, a full characterisation of non-Markovian noise requires tomography of a multi-time processes matrix, which is both computationally and experimentally demanding. In this paper, we propose a more efficient solution. We employ machine learning models to estimate the amount of non-Markovianity, as quantified by an information-theoretic measure, with tomographically incomplete measurement. We test our model on a quantum optical experiment, and we are able to predict the non-Markovianity measure with 90% accuracy. Our experiment paves the way for efficient detection of non-Markovian noise appearing in large scale quantum computers.
Characterising multi-time quantum processes is essential for analysing temporally correlated noise and for designing effective control and mitigation strategies. A complete operational description through multi-time process tomography requires an informationally complete set of probes, which necessarily includes non-deterministic intermediate operations. On present-day quantum devices, such operations are commonly implemented using mid-circuit measurements and reset, which are technologically limited and can introduce noise and overhead in terms of ancilla requirement. In this work, we study the minimal ancillary dimension required for complete characterisation of multi-time processes. We show that sequential interactions with a single qubit ancilla can generate an informationally complete family of correlated probes for processes of arbitrary length, without requiring mid-circuit measurements or reset. Our result provides a resource-efficient route for complete multi-time process tomography and establishes that one qubit of coherent ancillary memory suffices for full reconstruction of arbitrary multi-time dynamics.
Simulating complex processes can be intractable when memory effects are present, often necessitating approximations in the length or strength of the memory. However, quantum processes display distinct memory effects when probed differently, precluding memory approximations that are both universal and operational. Here, we show that it is nevertheless sensible to characterize the memory strength across a duration of time with respect to a sequence of probing instruments. We propose a notion of process recovery, leading to accurate predictions for any multi-time observable, with errors bounded by the memory strength. We then apply our framework to an exactly solvable non-Markovian model, highlighting the decay of memory for certain instruments that justify its truncation. Our formalism provides an unambiguous description of memory strength,paving the way for practical compression and recovery techniques pivotal to near-term quantum technologies.