Filter Function Formalism and Software Package to Compute Quantum Processes of Gate Sequences for Classical Non-Markovian Noise
Tobias Hangleiter, Pascal Cerfontaine, Hendrik Bluhm
备注：
35 pages, 8 figures. In-depth article accompanying arXiv:2103.02385. Open-source software available at https://github.com/qutech/filter_functions. v2: published version
Correlated, non-Markovian noise is present in many solid-state systems employed as hosts for quantum information technologies, significantly complicating the realistic theoretical description of these systems. In this regime, the effects of noise on sequences of quantum gates cannot be described by concatenating isolated quantum operations if the environmental correlation times are on the scale of the typical gate durations. The filter function formalism has been successful in characterizing the decay of coherence under the influence of such classical, non-Markovian environments and here we show it can be applied to describe unital evolution within the quantum operations formalism. We find exact results for the quantum process and a simple composition rule for a sequence of operations. This enables the detailed study of effects of noise correlations on algorithms and periodically driven systems. Moreover, we point out the method's suitability for numerical applications and present the open-source Python software package filter_functions. Amongst other things, it facilitates computing the noise-averaged transfer matrix representation of a unital quantum operation in the presence of universal classical noise for arbitrary control sequences. We apply the presented methods to selected examples.
We measure and quantify non-Markovian effects in IBM's Quantum Experience. Specifically, we analyze the temporal correlations in a sequence of gates by characterizing the performance of a gate conditioned on the gate that preceded it. With this method, we estimate (i) the size of fluctuations in the performance of a gate, i.e., errors due to non-Markovianity; (ii) the length of the memory; and (iii) the total size of the memory. Our results strongly indicate the presence of non-trivial non-Markovian effects in almost all gates in the universal set. However, based on our findings, we discuss th…
We develop in the weak coupling approximation a quasi-non-Markovian master equation and study the phenomenon of decoherence during the operation of a controlled-not (CNOT) quantum gate in a quantum computer model formed by a linear chain of three nuclear spins system with second neighbor Ising interaction between them. We compare with the behavior of the Markovian counterpart for temperature different from zero (thermalization) and at zero temperature for low and high dissipation rates. At low dissipation there is a very small difference between Markovian and quasi no-Markovian at any temperat…
We study the implementation of one-, two-, and three-qubit quantum gates for interacting qubits using optimal control. Different Markovian and non-Markovian environments are compared and efficient optimisation algorithms utilising analytic gradient expressions and quasi-Newton updates are given for both cases. The performance of the algorithms is analysed for a large set of problems in terms of the fidelities attained and the observed convergence behaviour. New notions of success rate and success speed are introduced and density plots are utilised to study the effect of key parameters, such as…
Randomized benchmarking with non-Markovian noise and realistic finite-time gates
Pritzker School of Molecular Engineering, University of Chicago（芝加哥大学普里茨克分子工程学院）；National Center for Computational Sciences, Oak Ridge National Laboratory（橡树岭国家实验室国家计算科学中心）；IBM Quantum, IBM T.J. Watson Research Center（IBM量子，IBM T.J.沃森研究中心）；Department of Physics and Astronomy, Northwestern University（西北大学物理与天文学系）
We study the exact open system dynamics of single qubit gates during a measurement-based quantum computation considering non-Markovian environments. We obtain analytical solutions for the average gate fidelities and analyze it for amplitude damping and dephasing channels. We show that the average fidelity is identical for the X-gate and Z-gate and that neither fast application of the projective measurements necessarily implies high gate fidelity, nor slow application necessarily implies low gate fidelity. Indeed, for highly non-Markovian environments, it is of utmost importance to know the bes…
The rapid progress in the development of quantum devices is in large part due to the availability of a wide range of characterization techniques allowing to probe, test and adjust them. Nevertheless, these methods often make use of approximations that hold in rather simplistic circumstances. In particular, assuming that error mechanisms stay constant in time and have no dependence in the past, is something that will be impossible to do as quantum processors continue scaling up in depth and size. We establish a theoretical framework for the Randomized Benchmarking protocol encompassing temporal…
A gauge-invariant theory of small Markovian errors in quantum gate sets
Quantum Performance Laboratory, Sandia National Laboratories（桑迪亚国家实验室量子性能实验室）；Department of Physics and Astronomy, Quantum New Mexico Institute, University of New Mexico（新墨西哥大学量子新墨西哥学院物理与天文学系）；IonQ
Correlation-Assisted Odd-Parity Encoded Gates in Coupled Fluxonium Qubits under Non-Markovian TLS Noise
School of Physics, Hangzhou Dianzi University（杭州电子科技大学物理学院）；State Key Laboratory of Quantum Optics Technologies and Devices, Shanxi University（山西大学量子光学技术与器件国家重点实验室）；Zhejiang Key Laboratory of Quantum State Control and Optical Field Manipulation, Hangzhou Dianzi University（杭州电子科技大学量子态调控与光场操纵浙江省重点实验室）
Errors in quantum logic gates are usually modeled by quantum process matrices (CPTP maps). But process matrices can be opaque, and unwieldy. We show how to transform a gate's process matrix into an error generator that represents the same information more usefully. We construct a basis of simple and physically intuitive elementary error generators, classify them, and show how to represent any gate's error generator as a mixture of elementary error generators with various rates. Finally, we show how to build a large variety of reduced models for gate errors by combining elementary error generat…
We apply quantum optimal control theory (QOCT) to an exactly solvable non-Markovian open quantum bit (qubit) system to achieve state-independent quantum control and construct high-fidelity quantum gates for moderate qubit decaying parameters. An important quantity, improvement $\mathcal{I}$, is proposed and defined to quantify the correction of gate errors due to the QOCT iteration when the environment effects are taken into account. With the help of the exact dynamics, we explore how the gate error is corrected in the open qubit system and determine the conditions for significant improvement.…
We study reliable quantum information processing (QIP) under two different types of environment. First type is Markovian exponential decay, and the appropriate elementary strategy of protection of qubit is to apply fast gates. The second one is strongly non-Markovian and occurs solely during operations on the qubit. The best strategy is then to work with slow gates. If the two types are both present, one has to optimize the speed of gate. We show that such a trade-off is present for a single-qubit operation in a semiconductor quantum dot implementation of QIP, where recombination of exciton (q…
An efficient optimal-control theory based on the Krotov method is introduced for a non-Markovian open quantum system with a time-nonlocal master equation in which the control parameter and the bath correlation function are correlated. This optimal-control method is developed via a quantum dissipation formulation that transforms the time-nonlocal master equation to a set of coupled linear time-local equations of motion in an extended auxiliary Liouville space. As an illustration, the optimal-control method is applied to find the control sequences for high-fidelity Z gates and identity gates of …
We critically examine the internal consistency of a set of minimal assumptions entering the theory of fault-tolerant quantum error correction for Markovian noise. These assumptions are: fast gates, a constant supply of fresh and cold ancillas, and a Markovian bath. We point out that these assumptions may not be mutually consistent in light of rigorous formulations of the Markovian approximation. Namely, Markovian dynamics requires either the singular coupling limit (high temperature), or the weak coupling limit (weak system-bath interaction). The former is incompatible with the assumption of a…
In the recent paper Terhal and Burkard derived a threshold result for fault-tolerant quantum computation under the assumption of the non-Markovian noise and claimed to rebut the objections rised by Alicki and Horodecki's. The purpose of this note is to show that the main condition used by Terhal and Burkard, although looking quite innocently, implies the assumption of the extremally low probability error per single quantum gate - p < 10^{-8} - 10^{-12} - i.e. the square of the expected threshold value for the case of Markovian noise.
As quantum systems expand in size and complexity, manual qubit characterization and gate optimization will be a non-scalable and time-consuming venture. Physical qubits have to be carefully calibrated because quantum processors are very sensitive to the external environment, with control hardware parameters slowly drifting during operation, affecting gate fidelity. Currently, existing calibration techniques require complex and lengthy measurements to independently control the different parameters of each gate and are unscalable to large quantum systems. Therefore, fully automated protocols wit…
We consider two non-Markovian models: Random Telegraph Noise (RTN) and non-Markovian dephasing (NMD). The memory in these models is studied from the perspective of quantum Fisher information flow. This is found to be consistent with the other well known witnesses of non-Markovianity. The two noise channels are characterized quantum information theoretically by studying their gate and channel fidelities. Further, the quantum coherence and its balance with mixedness is studied. This helps to put in perspective the role that the two noise channels can play in various facets of quantum information…
We derive a threshold result for fault-tolerant quantum computation for local non-Markovian noise models. The role of error amplitude in our analysis is played by the product of the elementary gate time t_0 and the spectral width of the interaction Hamiltonian between system and bath. We discuss extensions of our model and the applicability of our analysis.
Quantum error mitigation (QEM) has been proposed as an alternative method of quantum error correction to compensate errors in quantum systems without qubit overhead. While Markovian gate errors on digital quantum computers have been mainly considered previously, it is indispensable to discuss a relationship between QEM and non-Markovian errors because non-Markovian noise effects inevitably exist in most of the solid-state systems. In this work, we investigate the QEM for non-Markovian noise, and show that there is a clear relationship between costs for QEM and non-Markovian measures. As exampl…
Randomized benchmarking is a promising tool for characterizing the noise in experimental implementations of quantum systems. In this paper, we prove that the estimates produced by randomized benchmarking (both standard and interleaved) for arbitrary Markovian noise sources are remarkably precise by showing that the variance due to sampling random gate sequences is small. We discuss how to choose experimental parameters, in particular the number and lengths of random sequences, in order to characterize average gate errors with rigorous confidence bounds. We also show that randomized benchmarkin…
In this study, we explore the non-Markovian cost function for quantum error mitigation (QEM) and the representation of two-qubit operators using Dirac Gamma matrices, central to the structure of relativistic quantum mechanics. The primary focus of quantum computing research, particularly with noisy intermediate-scale quantum (NISQ) devices, is on reducing errors and decoherence for practical application. While much of the existing research concentrates on Markovian noise sources, the study of non-Markovian sources is crucial given their inevitable presence in most solid-state quantum computing…
The presence of correlations in noisy quantum circuits will be an inevitable side effect as quantum devices continue to grow in size and depth. Randomized Benchmarking (RB) is arguably the simplest method to initially assess the overall performance of a quantum device, as well as to pinpoint the presence of temporal-correlations, so-called non-Markovianity; however, when such presence is detected, it hitherto remains a challenge to operationally quantify its features. Here, we demonstrate a method exploiting the power of machine learning with matrix product operators to deduce the minimal aver…
A major problem in exploiting microscopic systems for developing a new technology based on the principles of Quantum Information is the influence of noise which tends to work against the quantum features of such systems. It becomes then crucial to understand how noise affects the evolution of quantum circuits: several techniques have been proposed among which stochastic differential equations (SDEs) can represent a very convenient tool. We show how SDEs naturally map any Markovian noise into a linear operator, which we will call a noise gate, acting on the wave function describing the state of…
We introduce the multipartite collision model, defined in terms of elementary interactions between subsystems and ancillae, and show that it can simulate the Markovian dynamics of any multipartite open quantum system. We develop a method to estimate an analytical error bound for any repeated interactions model, and we use it to prove that the error of our scheme displays an optimal scaling. Finally, we provide a simple decomposition of the multipartite collision model into elementary quantum gates, and show that it is efficiently simulable on a quantum computer according to the dissipative qua…
Google Research（谷歌研究院）；University of California, Santa Barbara（加州大学圣巴巴拉分校）
Two-level-system (TLS) defects in amorphous dielectrics are a major source of noise and decoherence in solid-state qubits. Gate-dependent non-Markovian errors caused by TLS-qubit coupling are detrimental to fault-tolerant quantum computation and have not been rigorously treated in the existing literature. In this work, we derive the non-Markovian dynamics between TLS and qubits during a SWAP-like two-qubit gate and the associated average gate fidelity for frequency-tunable Transmon qubits. This gate dependent error model facilitates using qubits as sensors to simultaneously learn practical imp…
Entanglement (EN) is a determinative correlation in designation of quantum gates and quantum memories. All quantum operations which are assembled by quantum circuits, are exposed to environment. However, quantum discord (QD) as a new key of resource for quantum information theory is in spotlight of research. Therefore, the study of EN and QD in open quantum systems seems to be important. In this Brief Report, We derived a formula for specific heat of the principle system as a part of open quantum system (in special for Jaynes-Cumming regime), and we looked for relations between entanglement an…
A sequence of controlled collisions between a quantum system and its environment (composed of a set of quantum objects) naturally simulates (with arbitrary precision) any Markovian quantum dynamics of the system under consideration. In this paper we propose and study the problem of simulation of an {\it arbitrary} quantum channel via collision models. We show that a correlated environment is capable to simulate {\it non-Markovian} evolutions leading to any indivisible qubit channel. In particular, we derive the corresponding master equation generating a continuous time non-Markovian dynamics i…
We address the problem of constructing dynamically corrected gates for non-Markovian open quantum systems in settings where limitations on the available control inputs and/or the presence of control noise make existing analytical approaches unfeasible. By focusing on the important case of singlet-triplet electron spin qubits, we show how ideas from optimal control theory may be used to automate the synthesis of dynamically corrected gates that simultaneously minimize the system's sensitivity against both decoherence and control errors. Explicit sequences for effecting robust single-qubit rotat…
We introduce spectral quantum tomography, a simple method to extract the eigenvalues of a noisy few-qubit gate, represented by a trace-preserving superoperator, in a SPAM-resistant fashion, using low resources in terms of gate sequence length. The eigenvalues provide detailed gate information, supplementary to known gate-quality measures such as the gate fidelity, and can be used as a gate diagnostic tool. We apply our method to one- and two-qubit gates on two different superconducting systems available in the cloud, namely the QuTech Quantum Infinity and the IBM Quantum Experience. We discuss…
