-
Gaussian Process-based Bayesian Quantum Characterization
Authors:
Mohammad Motamed,
N. Anders Petersson
Abstract:
We present a Bayesian quantum characterization framework that takes into account uncertainties from both experimental data and the dynamical modeling of the experiment. We demonstrate that ignoring dynamical model uncertainty may lead to predictions that are inconsistent with the uncertainty present in quantum data. A Bayesian framework is proposed and applied to characterize a tantalum-based tran…
▽ More
We present a Bayesian quantum characterization framework that takes into account uncertainties from both experimental data and the dynamical modeling of the experiment. We demonstrate that ignoring dynamical model uncertainty may lead to predictions that are inconsistent with the uncertainty present in quantum data. A Bayesian framework is proposed and applied to characterize a tantalum-based transmon device at Lawrence Livermore National Laboratory. We demonstrate how modeling uncertainty can be represented by a Gaussian process within the Bayesian framework, and how this approach improves the predictive capability of Lindblad's master equations applied to the Ramsey measurement protocol.
△ Less
Submitted 24 August, 2023;
originally announced August 2023.
-
A practical approach to determine minimal quantum gate durations using amplitude-bounded quantum controls
Authors:
Stefanie Günther,
N. Anders Petersson
Abstract:
We present an iterative scheme to estimate the minimal duration in which a quantum gate can be realized while satisfying hardware constraints on the control pulse amplitudes. The scheme performs a sequence of unconstrained numerical optimal control cycles that each minimize the gate fidelity for a given gate duration alongside an additional penalty term for the control pulse amplitudes. After each…
▽ More
We present an iterative scheme to estimate the minimal duration in which a quantum gate can be realized while satisfying hardware constraints on the control pulse amplitudes. The scheme performs a sequence of unconstrained numerical optimal control cycles that each minimize the gate fidelity for a given gate duration alongside an additional penalty term for the control pulse amplitudes. After each cycle, the gate duration is adjusted based on the inverse of the resulting maximum control pulse amplitudes, by re-scaling the dynamics to a new duration where control pulses satisfy the amplitude constraints. Those scaled controls then serve as an initial guess for the next unconstrained optimal control cycle, using the adjusted gate duration. We provide multiple numerical examples that each demonstrate fast convergence of the scheme towards a gate duration that is close to the quantum speed limit, given the control pulse amplitude bound. The proposed technique is agnostic to the underlying system and control Hamiltonian models, as well as the target unitary gate operation, making the time-scaling iteration an easy to implement and practically useful scheme for reducing the durations of quantum gate operations.
△ Less
Submitted 8 November, 2023; v1 submitted 24 July, 2023;
originally announced July 2023.
-
Deterministic and Bayesian Characterization of Quantum Computing Devices
Authors:
Zhichao Peng,
Daniel Appelö,
N. Anders Petersson,
Mohammad Motamed,
Fortino Garcia,
Yu** Cho
Abstract:
Motivated by the noisy and fluctuating behavior of current quantum computing devices, this paper presents a data-driven characterization approach for estimating transition frequencies and decay times in a Lindbladian dynamical model of a superconducting quantum device. The data includes parity events in the transition frequency between the first and second excited states. A simple but effective ma…
▽ More
Motivated by the noisy and fluctuating behavior of current quantum computing devices, this paper presents a data-driven characterization approach for estimating transition frequencies and decay times in a Lindbladian dynamical model of a superconducting quantum device. The data includes parity events in the transition frequency between the first and second excited states. A simple but effective mathematical model, based upon averaging solutions of two Lindbladian models, is demonstrated to accurately capture the experimental observations. A deterministic point estimate of the device parameters is first performed to minimize the misfit between data and Lindbladian simulations. These estimates are used to make an informed choice of prior distributions for the subsequent Bayesian inference. An additive Gaussian noise model is developed for the likelihood function, which includes two hyper-parameters to capture the noise structure of the data. The outcome of the Bayesian inference are posterior probability distributions of the transition frequencies, which for example can be utilized to design risk neutral optimal control pulses. The applicability of our approach is demonstrated on experimental data from the Quantum Device and Integration Testbed (QuDIT) at Lawrence Livermore National Laboratory, using a tantalum-based superconducting transmon device.
△ Less
Submitted 23 June, 2023;
originally announced June 2023.
-
Mathematical approaches for characterization, control, calibration and validation of a quantum computing device
Authors:
Zhichao Peng,
Daniel Appelo,
N. Anders Petersson,
Fortino Garcia,
Yu** Cho
Abstract:
Quantum computing has received significant amounts of interest from many different research communities over the last few years. Although there are many introductory texts that focus on the algorithmic parts of quantum computing, there is a dearth of publications that describe the modeling, calibration and operation of current quantum computing devices. One aim of this report is to fill that void…
▽ More
Quantum computing has received significant amounts of interest from many different research communities over the last few years. Although there are many introductory texts that focus on the algorithmic parts of quantum computing, there is a dearth of publications that describe the modeling, calibration and operation of current quantum computing devices. One aim of this report is to fill that void by providing a case study that walks through the entire procedure from the characterization and optimal control of a qudit device at Lawrence Livermore National Laboratory (LLNL) to the validation of the results. A goal of the report is to provide an introduction for students and researchers, especially computational mathematicians, who are interested in but new to quantum computing. Both experimental and mathematical aspects of this procedure are discussed. We present a description of the LLNL QuDIT testbed, the mathematical models that are used to describe it, and the numerical methods that are used to to design optimal controls. We also present experimental and computational methods that can be used to characterize a quantum device. Finally, an experimental validation of an optimized control pulse is presented, which relies on the accuracy of the characterization and the optimal control methodologies.
△ Less
Submitted 25 January, 2023;
originally announced January 2023.
-
Noise-specific beats in the higher-level Ramsey curves of a transmon qubit
Authors:
L. A. Martinez,
Z. Peng,
D. Appelö,
D. M. Tennant,
N. Anders Petersson,
J. L DuBois,
Y. J. Rosen
Abstract:
In the higher levels of superconducting transmon devices, and more generally charge sensitive devices, $T_2^*$ measurements made in the presence of low-frequency time-correlated $1/f$ charge noise and quasiparticle-induced parity flips can give an underestimation of the total dephasing time. The charge variations manifest as beating patterns observed in the overlay of several Ramsey fringe curves,…
▽ More
In the higher levels of superconducting transmon devices, and more generally charge sensitive devices, $T_2^*$ measurements made in the presence of low-frequency time-correlated $1/f$ charge noise and quasiparticle-induced parity flips can give an underestimation of the total dephasing time. The charge variations manifest as beating patterns observed in the overlay of several Ramsey fringe curves, and are reproduced with a phenomenological Ramsey curve model which accounts for the charge variations. $T_2^*$ dephasing times which more accurately represent the total dephasing time are obtained. The phenomenological model is compared with a Lindblad master equation model. Both models are found to be in agreement with one another and the experimental data. Finally, the phenomenological formulation enables a simple method in which the power spectral density (PSD) for the low-frequency noise can be inferred from the overlay of several Ramsey curves.
△ Less
Submitted 11 November, 2022;
originally announced November 2022.
-
Quandary: An open-source C++ package for high-performance optimal control of open quantum systems
Authors:
Stefanie Günther,
N. Anders Petersson,
Jonathan L. Dubois
Abstract:
Quantum optimal control can be used to shape the control pulses for realizing unitary and non-unitary transformations of quantum states. These control pulses provide the fundamental interface between the quantum compiler and the quantum hardware. Most current software for quantum optimal control (e.g. Qutip or Krotov) is restricted to run on shared memory platforms, limiting their applicability to…
▽ More
Quantum optimal control can be used to shape the control pulses for realizing unitary and non-unitary transformations of quantum states. These control pulses provide the fundamental interface between the quantum compiler and the quantum hardware. Most current software for quantum optimal control (e.g. Qutip or Krotov) is restricted to run on shared memory platforms, limiting their applicability to smaller quantum systems, in particular if interactions with the environment are taken into account. This paper gives an overview of the open-source code Quandary, which is designed to solve quantum control problems in larger open quantum systems modelled by Lindblad's master equation. Implemented in C++, Quandary uses the message passing paradigm for distributed memory computers that enables scalability to large numbers of compute cores. Accompanied by numerical examples, this paper presents an overview on existing theoretical developments for open optimal quantum control realizing state-to-state transfer, unitary gate optimization as well as state-preparation, and presents the numerical tools and implementation aspect as realized in Quandary, for deployment on modern high-performance computing platforms.
△ Less
Submitted 19 October, 2021;
originally announced October 2021.
-
Optimal Control of Closed Quantum Systems via B-Splines with Carrier Waves
Authors:
N. Anders Petersson,
Fortino Garcia
Abstract:
We consider the optimal control problem of determining electromagnetic pulses for implementing logical gates in a closed quantum system, where the Hamiltonian models the dynamics of coupled superconducting qudits. The quantum state is governed by Schrödinger's equation, which we formulate in terms of the real and imaginary parts of the state vector and solve by the Störmer-Verlet scheme, which is…
▽ More
We consider the optimal control problem of determining electromagnetic pulses for implementing logical gates in a closed quantum system, where the Hamiltonian models the dynamics of coupled superconducting qudits. The quantum state is governed by Schrödinger's equation, which we formulate in terms of the real and imaginary parts of the state vector and solve by the Störmer-Verlet scheme, which is a symplectic partitioned Runge-Kutta method. A novel parameterization of the control functions based on B-splines with carrier waves is introduced. The carrier waves are used to trigger the resonant frequencies in the system Hamiltonian, and the B-spline functions specify their amplitude and phase. This approach allows the number of control parameters to be independent of, and significantly smaller than, the number of time steps for integrating Schrödinger's equation.
We present numerical examples of how the proposed technique can be combined with an interior point L-BFGS algorithm for realizing quantum gates, and generalize our approach to calculate risk-neutral controls that are resilient to noise in the Hamiltonian model. The proposed method is also shown to compare favorably with QuTiP/pulse\_optim and Grape-Tensorflow.
△ Less
Submitted 19 August, 2022; v1 submitted 27 June, 2021;
originally announced June 2021.
-
Binary Optimal Control Of Single-Flux-Quantum Pulse Sequences
Authors:
Ryan H. Vogt,
N. Anders Petersson
Abstract:
We introduce a binary, relaxed gradient, trust-region method for optimizing pulse sequences for single flux quanta (SFQ) control of a quantum computer. The pulse sequences are optimized with the goal of realizing unitary gate transformations. Each pulse has a fixed amplitude and duration. We model this process as an binary optimal control problem, constrained by Schrödinger's equation, where the b…
▽ More
We introduce a binary, relaxed gradient, trust-region method for optimizing pulse sequences for single flux quanta (SFQ) control of a quantum computer. The pulse sequences are optimized with the goal of realizing unitary gate transformations. Each pulse has a fixed amplitude and duration. We model this process as an binary optimal control problem, constrained by Schrödinger's equation, where the binary variables indicate whether each pulse is on or off. We introduce a first-order trust-region method, which takes advantage of a relaxed gradient to determine an optimal pulse sequence that minimizes the gate infidelity, while also suppressing leakage to higher energy levels. The proposed algorithm has a computational complexity of ${\cal O}(p\log(p)$, where $p$ is the number of pulses in the sequence. We present numerical results for the H and X gates, where the optimized pulse sequences give gate fidelity's better than $99.9\%$, in $\approx 25$ trust-region iterations.
△ Less
Submitted 23 August, 2022; v1 submitted 18 June, 2021;
originally announced June 2021.
-
Quantum Optimal Control for Pure-State Preparation Using One Initial State
Authors:
Stefanie Günther,
N. Anders Petersson,
Jonathan L. DuBois
Abstract:
This paper presents a framework for solving the pure-state preparation problem using numerical optimal control. As an example, we consider the case where a number of qubits are dispersively coupled to a readout cavity. We model open system quantum dynamics using the Markovian Lindblad master equation, driven by external control pulses. The main result of this paper develops a basis of density matr…
▽ More
This paper presents a framework for solving the pure-state preparation problem using numerical optimal control. As an example, we consider the case where a number of qubits are dispersively coupled to a readout cavity. We model open system quantum dynamics using the Markovian Lindblad master equation, driven by external control pulses. The main result of this paper develops a basis of density matrices (a parameterization) where each basis element is a density matrix itself. Utilizing a specific objective function, we show how an ensemble of the basis elements can be used as a single initial state throughout the optimization process - independent of the system dimension. We apply the general framework to the specific application of ground-state reset of one and two qubits coupled to a readout cavity.
△ Less
Submitted 12 August, 2021; v1 submitted 16 June, 2021;
originally announced June 2021.
-
Quantum Physics without the Physics
Authors:
N. Anders Petersson,
Fortino Garcia,
Daniel E. A. Appelo,
Stefanie Günther,
Younsoo Choi,
Ryan Vogt
Abstract:
This report explains the basic theory and common terminology of quantum physics without assuming any knowledge of physics. It was written by a group of applied mathematicians while they were reading up on the subject. The intended audience consists of applied mathematicians, computer scientists, or anyone else who wants to improve their understanding of quantum physics. We assume that the reader i…
▽ More
This report explains the basic theory and common terminology of quantum physics without assuming any knowledge of physics. It was written by a group of applied mathematicians while they were reading up on the subject. The intended audience consists of applied mathematicians, computer scientists, or anyone else who wants to improve their understanding of quantum physics. We assume that the reader is familiar with fundamental concepts of linear algebra, differential equations, and to some extent the theory of Hilbert spaces. Most of the material can be found in the book by Nielsen and Chuang and in the lecture notes on open quantum systems by Lidar. Another excellent online source of information is Wikipedia, even though most of its articles on quantum physics assume a solid understanding of physics.
△ Less
Submitted 30 March, 2021; v1 submitted 7 December, 2020;
originally announced December 2020.
-
Elastic wave propagation in curvilinear coordinates with mesh refinement interfaces by a fourth order finite difference method
Authors:
Lu Zhang,
Siyang Wang,
N. Anders Petersson
Abstract:
We develop a fourth order accurate finite difference method for the three dimensional elastic wave equation in isotropic media with the piecewise smooth material property. In our model, the material property can be discontinuous at curved interfaces. The governing equations are discretized in second order form on curvilinear meshes by using a fourth order finite difference operator satisfying a su…
▽ More
We develop a fourth order accurate finite difference method for the three dimensional elastic wave equation in isotropic media with the piecewise smooth material property. In our model, the material property can be discontinuous at curved interfaces. The governing equations are discretized in second order form on curvilinear meshes by using a fourth order finite difference operator satisfying a summation-by-parts property. The method is energy stable and high order accurate. The highlight is that mesh sizes can be chosen according to the velocity structure of the material so that computational efficiency is improved. At the mesh refinement interfaces with hanging nodes, physical interface conditions are imposed by using ghost points and interpolation. With a fourth order predictor-corrector time integrator, the fully discrete scheme is energy conserving. Numerical experiments are presented to verify the fourth order convergence rate and the energy conserving property.
△ Less
Submitted 27 June, 2021; v1 submitted 29 May, 2020;
originally announced June 2020.
-
High-fidelity software-defined quantum logic on a superconducting qudit
Authors:
Xian Wu,
S. L. Tomarken,
N. Anders Petersson,
L. A. Martinez,
Yaniv J. Rosen,
Jonathan L DuBois
Abstract:
Nearly all modern solid-state quantum processors approach quantum computation with a set of discrete qubit operations (gates) that can achieve universal quantum control with only a handful of primitive gates. In principle, this approach is highly flexible, allowing full control over the qubits' Hilbert space without necessitating the development of specific control protocols for each application.…
▽ More
Nearly all modern solid-state quantum processors approach quantum computation with a set of discrete qubit operations (gates) that can achieve universal quantum control with only a handful of primitive gates. In principle, this approach is highly flexible, allowing full control over the qubits' Hilbert space without necessitating the development of specific control protocols for each application. However, current error rates on quantum hardware place harsh limits on the number of primitive gates that can be concatenated together (with compounding error rates) and remain viable. Here, we report our efforts at implementing a software-defined $0\leftrightarrow2$ SWAP gate that does not rely on a primitive gate set and achieves an average gate fidelity of $99.4\%$. Our work represents an alternative, fully generalizable route towards achieving nontrivial quantum control through the use of optimal control techniques. We describe our procedure for computing optimal control solutions, calibrating the quantum and classical hardware chain, and characterizing the fidelity of the optimal control gate.
△ Less
Submitted 19 October, 2020; v1 submitted 27 May, 2020;
originally announced May 2020.
-
Discrete Adjoints for Accurate Numerical Optimization with Application to Quantum Control
Authors:
N. Anders Petersson,
Fortino M. Garcia,
Austin E. Copeland,
Ylva L. Rydin,
Jonathan L. DuBois
Abstract:
This paper considers the optimal control problem for realizing logical gates in a closed quantum system. The quantum state is governed by Schrodinger's equation, which we formulate as a time-dependent Hamiltonian system in terms of the real and imaginary parts of the state vector. The system is discretized with the Stormer-Verlet scheme, which is a symplectic partitioned Runge-Kutta method. Our ma…
▽ More
This paper considers the optimal control problem for realizing logical gates in a closed quantum system. The quantum state is governed by Schrodinger's equation, which we formulate as a time-dependent Hamiltonian system in terms of the real and imaginary parts of the state vector. The system is discretized with the Stormer-Verlet scheme, which is a symplectic partitioned Runge-Kutta method. Our main theoretical contribution is the derivation of a compatible time-discretization of the adjoint state equation, such that the gradient of the discrete objective function can be calculated exactly, at a computational cost of solving two Schrödinger systems, independently of the number of parameters in the control functions. A parameterization of the control functions based on B-splines with built-in carrier waves is also introduced. The carrier waves are used to specify the frequency spectra of the control functions, while the B-spline functions specify their envelope and phase. This approach allows the number of control parameters to be independent of, and significantly smaller than, the number of time steps for integrating Schrodinger's equation. We consider Hamiltonians that model the dynamics of a superconducting multi-level qudit and present numerical examples of how the proposed technique can be combined with the interior point L-BFGS algorithm from the IPOPT package for realizing quantum gates. In a set of test cases, the proposed algorithm is shown to compare favorably with QuTiP/pulse_optim and Grape-Tensorflow.
△ Less
Submitted 19 November, 2020; v1 submitted 3 January, 2020;
originally announced January 2020.
-
Energy conservative SBP discretizations of the acoustic wave equation in covariant form on staggered curvilinear grids
Authors:
Ossian O'Reilly,
N. Anders Petersson
Abstract:
We develop a numerical method for solving the acoustic wave equation in covariant form on staggered curvilinear grids in an energy conserving manner. The use of a covariant basis decomposition leads to a rotationally invariant scheme that outperforms a Cartesian basis decomposition on rotated grids. The discretization is based on high order Summation-By-Parts (SBP) operators and preserves both sym…
▽ More
We develop a numerical method for solving the acoustic wave equation in covariant form on staggered curvilinear grids in an energy conserving manner. The use of a covariant basis decomposition leads to a rotationally invariant scheme that outperforms a Cartesian basis decomposition on rotated grids. The discretization is based on high order Summation-By-Parts (SBP) operators and preserves both symmetry and positive definiteness of the contravariant metric tensor. To improve accuracy and decrease computational cost, we also derive a modified discretization of the metric tensor that leads to a conditionally stable discretization. Bounds are derived that yield a point-wise condition that can be evaluated to check for stability of the modified discretization. This condition shows that the interpolation operators should be constructed such that their norm is close to one.
△ Less
Submitted 13 January, 2020; v1 submitted 1 July, 2019;
originally announced July 2019.
-
Fourth order finite difference methods for the wave equation with mesh refinement interfaces
Authors:
Siyang Wang,
N. Anders Petersson
Abstract:
We analyze two types of summation-by-parts finite difference operators for approximating the second derivative with variable coefficient. The first type uses ghost points, while the second type does not use any ghost points. A previously unexplored relation between the two types of summation-by-parts operators is investigated. By combining them we develop a new fourth order accurate finite differe…
▽ More
We analyze two types of summation-by-parts finite difference operators for approximating the second derivative with variable coefficient. The first type uses ghost points, while the second type does not use any ghost points. A previously unexplored relation between the two types of summation-by-parts operators is investigated. By combining them we develop a new fourth order accurate finite difference discretization with hanging nodes on the mesh refinement interface. We take the model problem as the two-dimensional acoustic wave equation in second order form in terms of acoustic pressure, and prove energy stability for the proposed method. Compared to previous approaches using ghost points, the proposed method leads to a smaller system of linear equations that needs to be solved for the ghost point values. Another attractive feature of the proposed method is that the explicit time step does not need to be reduced relative to the corresponding periodic problem. Numerical experiments, both for smoothly varying and discontinuous material properties, demonstrate that the proposed method converges to fourth order accuracy. A detailed comparison of the accuracy and the time-step restriction with the simultaneous-approximation-term penalty method is also presented.
△ Less
Submitted 24 July, 2019; v1 submitted 12 September, 2018;
originally announced September 2018.
-
Boundary estimates for the elastic wave equation in almost incompressible materials
Authors:
Heinz-Otto Kreiss,
N. Anders Petersson
Abstract:
We study the half-plane problem for the elastic wave equation subject to a free surface boundary condition, with particular emphasis on almost incompressible materials. A normal mode analysis is developed to estimate the solution in terms of the boundary data, showing that the problem is boundary stable. The dependence on the material properties, which is difficult to analyze by the energy method,…
▽ More
We study the half-plane problem for the elastic wave equation subject to a free surface boundary condition, with particular emphasis on almost incompressible materials. A normal mode analysis is developed to estimate the solution in terms of the boundary data, showing that the problem is boundary stable. The dependence on the material properties, which is difficult to analyze by the energy method, is made transparent by our estimates. The normal mode technique is used to analyze the influence of truncation errors in a finite difference approximation. Our analysis explains why the number of grid points per wave length must be increased when the shear modulus ($μ$) becomes small, that is, for almost incompressible materials. To obtain a fixed error in the phase velocity of Rayleigh surface waves as $μ\to 0$, our analysis predicts that the grid size must be proportional to $μ^{1/2}$ for a second order method. For a fourth order method, the grid size can be proportional to $μ^{1/4}$. Numerical experiments confirm this scaling and illustrate the superior efficiency of the fourth order method.
△ Less
Submitted 2 May, 2011;
originally announced May 2011.
-
Initial-boundary value problems for second order systems of partial differential equations
Authors:
Heinz-Otto Kreiss,
Omar E. Ortiz,
N. Anders Petersson
Abstract:
We develop a well-posedness theory for second order systems in bounded domains where boundary phenomena like glancing and surface waves play an important role. Attempts have previously been made to write a second order system consisting of n equations as a larger first order system. Unfortunately, the resulting first order system consists, in general, of more than 2n equations which leads to many…
▽ More
We develop a well-posedness theory for second order systems in bounded domains where boundary phenomena like glancing and surface waves play an important role. Attempts have previously been made to write a second order system consisting of n equations as a larger first order system. Unfortunately, the resulting first order system consists, in general, of more than 2n equations which leads to many complications, such as side conditions which must be satisfied by the solution of the larger first order system. Here we will use the theory of pseudo-differential operators combined with mode analysis. There are many desirable properties of this approach: 1) The reduction to first order systems of pseudo-differential equations poses no difficulty and always gives a system of 2n equations. 2) We can localize the problem, i.e., it is only necessary to study the Cauchy problem and halfplane problems with constant coefficients. 3) The class of problems we can treat is much larger than previous approaches based on "integration by parts". 4) The relation between boundary conditions and boundary phenomena becomes transparent.
△ Less
Submitted 5 December, 2010;
originally announced December 2010.
