arXiv subjects

Robert L. Kosut

Publications and source records attributed to Robert L. Kosut.

At least 19 recordsLinked to original sources

arXiv2026

Robustness of quantum algorithms: Worst-case fidelity bounds and implications for design

Errors occurring on noisy hardware pose a key challenge to reliable quantum computing. Existing techniques such as error correction, mitigation, or suppression typically separate the error handling from the algorithm analysis and design. In this paper, we develop an alternative, algorithm-centered framework for understanding and improving the robustness against errors. For a given quantum algorithm and error model, we derive worst-case fidelity bounds which can be efficiently computed to certify the robustness. We consider general error models including coherent and (Markovian) incoherent errors and allowing for set-based error descriptions to address uncertainty or time-dependence in the errors. Our results give rise to guidelines for robust algorithm design and compilation by optimizing our theoretical robustness measure. We demonstrate the practicality of the framework with numerical results on algorithm analysis and robust optimization, including the robustness analysis of a 50-qubit modular adder circuit.

quant-ph↗

arXiv2025

A Fundamental Bound for Robust Quantum Gate Control

We derive a universal performance limit for coherent quantum control in the presence of modeled and unmodeled uncertainties. For any target unitary $W$ that is implementable in the absence of error, we prove that the worst-case (and hence the average) gate fidelity obeys the lower bound $F \ge \Flb\bigl(\tf \Omeff\bigr)$, where $\tf$ is the gate duration and $\Omeff$ is a single frequency-like measure that aggregates \emph{all} bounded uncertainty sources, e.g., coherent control imperfections, unknown couplings, and residual environment interactions, without assuming an initially factorizable system-bath state or a completely positive map. The bound is obtained by combining an interaction-picture averaging method with a Bellman-Gronwall inequality and holds for any finite-norm Hamiltonian decomposition. Hence it applies equally to qubits, multi-level qudits, and ancilla-assisted operations. Because $\Flb$ depends only on the dimensionless product $\tf\Omeff$, it yields a device-independent metric that certifies whether a given hardware platform can, in principle, reach a specified fault-tolerance threshold, and also sets a quantitative target for robust-control synthesis and system identification.

quant-ph↗

arXiv2024

Bringing Quantum Systems under Control: A Tutorial Invitation to Quantum Computing and Its Relation to Bilinear Control Systems

Quantum computing comes with the potential to push computational boundaries in various domains including, e.g., cryptography, simulation, optimization, and machine learning. Exploiting the principles of quantum mechanics, new algorithms can be developed with capabilities that are unprecedented by classical computers. However, the experimental realization of quantum devices is an active field of research with enormous open challenges, including robustness against noise and scalability. While systems and control theory plays a crucial role in tackling these challenges, the principles of quantum physics lead to a (perceived) high entry barrier for entering the field of quantum computing. This tutorial paper aims at lowering the barrier by introducing basic concepts required to understand and solve research problems in quantum systems. First, we introduce fundamentals of quantum algorithms, ranging from basic ingredients such as qubits and quantum logic gates to prominent examples and more advanced concepts, e.g., variational quantum algorithms. Next, we formalize some engineering questions for building quantum devices in the real world, which requires the careful manipulation of microscopic quantities obeying quantum effects. To this end for N-level systems, we introduce basic concepts of (bilinear) quantum systems and control theory including controllability, observability, and optimal control in a unified frame. Finally, we address the problem of noise in real-world quantum systems via robust quantum control, which relies on a set-membership uncertainty description frequently employed in control.

eess.SY↗

arXiv2023

Hamiltonian Switching Control of Noisy Bipartite Qubit Systems

We develop a Hamiltonian switching ansatz for bipartite control that is inspired by the Quantum Approximate Optimization Algorithm (QAOA), to mitigate environmental noise on qubits. We illustrate the approach with application to the protection of quantum gates performed on i) a central spin qubit coupling to bath spins through isotropic Heisenberg interactions, ii) superconducting transmon qubits coupling to environmental two-level-systems (TLS) through dipole-dipole interactions, and iii) qubits coupled to both TLS and a Lindblad bath. The control field is classical and acts only on the system qubits. We use reinforcement learning with policy gradient (PG) to optimize the Hamiltonian switching control protocols, using a fidelity objective defined with respect to specific target quantum gates. We use this approach to demonstrate effective suppression of both coherent and dissipative noise, with numerical studies achieving target gate implementations with fidelities over 0.9999 (four nines) in the majority of our test cases and showing improvement beyond this to values of 0.999999999 (nine nines) upon a subsequent optimization by Gradient Ascent Pulse Engineering (GRAPE). We analyze how the control depth, total evolution time, number of environmental TLS, and choice of optimization method affect the fidelity achieved by the optimal protocols and reveal some critical behaviors of bipartite control of quantum gates.

quant-ph↗

arXiv2022

Robust Quantum Control: Analysis & Synthesis via Averaging

An approach is presented for robustness analysis and quantum (unitary) control synthesis based on the classic method of averaging. The result is a multicriterion optimization competing the nominal (uncertainty-free) fidelity with a well known robustness measure: the size of an interaction (error) Hamiltonian, essentially the first term in the Magnus expansion of an interaction unitary. Combining this with the fact that the topology of the control landscape at high fidelity is determined by the null space of the nominal fidelity Hessian, we arrive at a new two-stage algorithm. Once the nominal fidelity is sufficiently high, we approximate both the nominal fidelity and robustness measure as quadratics in the control increments. An optimal solution is obtained by solving a convex optimization for the control increments at each iteration to keep the nominal fidelity high and reduce the robustness measure. Additionally, by separating fidelity from the robustness measure, more flexibility is available for uncertainty modeling.

quant-ph↗

arXiv2021

From pulses to circuits and back again: A quantum optimal control perspective on variational quantum algorithms

The last decade has witnessed remarkable progress in the development of quantum technologies. Although fault-tolerant devices likely remain years away, the noisy intermediate-scale quantum devices of today may be leveraged for other purposes. Leading candidates are variational quantum algorithms (VQAs), which have been developed for applications including chemistry, optimization, and machine learning, but whose implementations on quantum devices have yet to demonstrate improvements over classical capabilities. In this Perspective, we propose a variety of ways that the performance of VQAs could be informed by quantum optimal control theory. To set the stage, we identify VQAs and quantum optimal control as formulations of variational optimization at the circuit level and pulse level, respectively, where these represent just two levels in a broader hierarchy of abstractions that we consider. In this unified picture, we suggest several ways that the different levels of abstraction may be connected, in order to facilitate the application of quantum optimal control theory to VQA challenges associated with ansatz selection, optimization landscapes, noise, and robustness. A major theme throughout is the need for sufficient control resources in VQA implementations; we discuss different ways this need can manifest, outline a variety of open questions, and conclude with a look to the future.

quant-ph↗

arXiv2020

Quantum System Compression: A Hamiltonian Guided Walk Through Hilbert Space

We present a systematic study of quantum system compression for the evolution of generic many-body problems. The necessary numerical simulations of such systems are seriously hindered by the exponential growth of the Hilbert space dimension with the number of particles. For a \emph{constant} Hamiltonian system of Hilbert space dimension $n$ whose frequencies range from $f_{\min}$ to $f_{\max}$, we show via a proper orthogonal decomposition, that for a run-time $T$, the dominant dynamics are compressed in the neighborhood of a subspace whose dimension is the smallest integer larger than the time-bandwidth product $\delf=(f_{\max}-f_{\min})T$. We also show how the distribution of initial states can further compress the system dimension. Under the stated conditions, the time-bandwidth estimate reveals the \emph{existence} of an effective compressed model whose dimension is derived solely from system properties and not dependent on the particular implementation of a variational simulator, such as a machine learning system, or quantum device. However, finding an efficient solution procedure \emph{is} dependent on the simulator implementation{\color{black}, which is not discussed in this paper}. In addition, we show that the compression rendered by the proper orthogonal decomposition encoding method can be further strengthened via a multi-layer autoencoder. Finally, we present numerical illustrations to affirm the compression behavior in time-varying Hamiltonian dynamics in the presence of external fields. We also discuss the potential implications of the findings for machine learning tools to efficiently solve the many-body or other high dimensional Schr{ö}dinger equations.

quant-ph↗

arXiv2018

Quantum Control Landscape of Bipartite Systems

The control landscape of a quantum system $A$ interacting with another quantum system $B$ is studied. Only system $A$ is accessible through time dependent controls, while system B is not accessible. The objective is to find controls that implement a desired unitary transformation on $A$, regardless of the evolution on $B$, at a sufficiently large final time. The freedom in the evolution on $B$ is used to define an \emph{extended control landscape} on which the critical points are investigated in terms of kinematic and dynamic gradients. A spectral decomposition of the corresponding extended unitary system simplifies the landscape analysis which provides: (i) a sufficient condition on the rank of the dynamic gradient of the extended landscape that guarantees a trap free search for the final time unitary matrix of system $A$, and (ii) a detailed decomposition of the components of the overall dynamic gradient matrix. Consequently, if the rank condition is satisfied, a gradient algorithm will find the controls that implements the target unitary on system $A$. It is shown that even if the dynamic gradient with respect to the controls alone is not full rank, the additional flexibility due to the parameters that define the extended landscape still can allow for the rank condition of the extended landscape to hold. Moreover, satisfaction of the latter rank condition subsumes any assumptions about controllability, reachability and control resources. Here satisfaction of the rank condition is taken as an assumption. The conditions which ensure that it holds remain an open research question. We lend some numerical support with two common examples for which the rank condition holds.

quant-ph↗

arXiv2015

Quantum Tomography Protocols with Positivity are Compressed Sensing Protocols

Characterizing complex quantum systems is a vital task in quantum information science. Quantum tomography, the standard tool used for this purpose, uses a well-designed measurement record to reconstruct quantum states and processes. It is, however, notoriously inefficient. Recently, the classical signal reconstruction technique known as "compressed sensing" has been ported to quantum information science to overcome this challenge: accurate tomography can be achieved with substantially fewer measurement settings, thereby greatly enhancing the efficiency of quantum tomography. Here we show that compressed sensing tomography of quantum systems is essentially guaranteed by a special property of quantum mechanics itself---that the mathematical objects that describe the system in quantum mechanics are matrices with nonnegative eigenvalues. This result has an impact on the way quantum tomography is understood and implemented. In particular, it implies that the information obtained about a quantum system through compressed sensing methods exhibits a new sense of "informational completeness." This has important consequences on the efficiency of data taking for quantum tomography, and enables us to construct informationally complete measurements that are robust to noise and modeling errors. Moreover, our result shows that one can expand the numerical tool-box used in quantum tomography and employ highly efficient algorithms developed to handle large dimensional matrices on a large dimensional Hilbert space. While we mainly present our results in the context of quantum tomography, they apply to the general case of positive semidefinite matrix recovery.

quant-ph↗

arXiv2014

Compressed sensing quantum process tomography for superconducting quantum gates

We apply the method of compressed sensing (CS) quantum process tomography (QPT) to characterize quantum gates based on superconducting Xmon and phase qubits. Using experimental data for a two-qubit controlled-Z gate, we obtain an estimate for the process matrix $χ$ with reasonably high fidelity compared to full QPT, but using a significantly reduced set of initial states and measurement configurations. We show that the CS method still works when the amount of used data is so small that the standard QPT would have an underdetermined system of equations. We also apply the CS method to the analysis of the three-qubit Toffoli gate with numerically added noise, and similarly show that the method works well for a substantially reduced set of data. For the CS calculations we use two different bases in which the process matrix $χ$ is approximately sparse, and show that the resulting estimates of the process matrices match each ther with reasonably high fidelity. For both two-qubit and three-qubit gates, we characterize the quantum process by not only its process matrix and fidelity, but also by the corresponding standard deviation, defined via variation of the state fidelity for different initial states.

quant-ph↗

arXiv2013

Robust control of quantum gates via sequential convex programming

Resource tradeoffs can often be established by solving an appropriate robust optimization problem for a variety of scenarios involving constraints on optimization variables and uncertainties. Using an approach based on sequential convex programming, we demonstrate that quantum gate transformations can be made substantially robust against uncertainties while simultaneously using limited resources of control amplitude and bandwidth. Achieving such a high degree of robustness requires a quantitative model that specifies the range and character of the uncertainties. Using a model of a controlled one-qubit system for illustrative simulations, we identify robust control fields for a universal gate set and explore the tradeoff between the worst-case gate fidelity and the field fluence. Our results demonstrate that, even for this simple model, there exist a rich variety of control design possibilities. In addition, we study the effect of noise represented by a stochastic uncertainty model.

quant-ph↗

arXiv2009

Environment-invariant measure of distance between evolutions of an open quantum system

The problem of quantifying the difference between evolutions of an open quantum system (in particular, between the actual evolution of an open system and the ideal target operation on the corresponding closed system) is important in quantum control, especially in control of quantum information processing. Motivated by this problem, we develop a measure for evaluating the distance between unitary evolution operators of a composite quantum system that consists of a sub-system of interest (e.g., a quantum information processor) and environment. The main characteristic of this measure is the invariance with respect to the effect of the evolution operator on the environment, which follows from an equivalence relation that exists between unitary operators acting on the composite system, when the effect on only the sub-system of interest is considered. The invariance to the environment's transformation makes it possible to quantitatively compare the evolution of an open quantum system and its closed counterpart. The distance measure also determines the fidelity bounds of a general quantum channel (a completely positive and trace-preserving map acting on the sub-system of interest) with respect to a unitary target transformation. This measure is also independent of the initial state of the system and straightforward to numerically calculate. As an example, the measure is used in numerical simulations to evaluate fidelities of optimally controlled quantum gate operations (for one- and two-qubit systems), in the presence of a decohering environment. This example illustrates the utility of this measure for optimal control of quantum operations in the realistic case of open-system dynamics.

quant-ph↗

arXiv2009

Quantum Process Tomography via L1-norm Minimization

For an initially well designed but imperfect quantum information system, the process matrix is almost sparse in an appropriate basis. Existing theory and associated computational methods (L1-norm minimization) for reconstructing sparse signals establish conditions under which the sparse signal can be perfectly reconstructed from a very limited number of measurements (resources). Although a direct extension to quantum process tomography of the L1-norm minimization theory has not yet emerged, the numerical examples presented here, which apply L1-norm minimization to quantum process tomography, show a significant reduction in resources to achieve a desired estimation accuracy over existing methods.

quant-ph↗

arXiv2008

Channel-Optimized Quantum Error Correction

We develop a theory for finding quantum error correction (QEC) procedures which are optimized for given noise channels. Our theory accounts for uncertainties in the noise channel, against which our QEC procedures are robust. We demonstrate via numerical examples that our optimized QEC procedures always achieve a higher channel fidelity than the standard error correction method, which is agnostic about the specifics of the channel. This demonstrates the importance of channel characterization before QEC procedures are applied. Our main novel finding is that in the setting of a known noise channel the recovery ancillas are redundant for optimized quantum error correction. We show this using a general rank minimization heuristic and supporting numerical calculations. Therefore, one can further improve the fidelity by utilizing all the available ancillas in the encoding block.

quant-ph↗

arXiv2008

Quantum Metrology Subject to Instrumentation Constraints

Maximizing the precision in estimating parameters in a quantum system subject to instrumentation constraints is cast as a convex optimization problem. We account for prior knowledge about the parameter range by developing a worst-case and average case objective for optimizing the precision. Focusing on the single parameter case, we show that the optimization problems are {\em linear programs}. For the average case the solution to the linear program can be expressed analytically and involves a simple search: finding the largest element in a list. An example is presented which compares what is possible under constraints against the ideal with no constraints, the Quantum Fisher Information.

quant-ph↗

arXiv2007

Fidelity of optimally controlled quantum gates with randomly coupled multiparticle environments

This work studies the feasibility of optimal control of high-fidelity quantum gates in a model of interacting two-level particles. One particle (the qubit) serves as the quantum information processor, whose evolution is controlled by a time-dependent external field. The other particles are not directly controlled and serve as an effective environment, coupling to which is the source of decoherence. The control objective is to generate target one-qubit gates in the presence of strong environmentally-induced decoherence and under physically motivated restrictions on the control field. It is found that interactions among the environmental particles have a negligible effect on the gate fidelity and require no additional adjustment of the control field. Another interesting result is that optimally controlled quantum gates are remarkably robust to random variations in qubit-environment and inter-environment coupling strengths. These findings demonstrate the utility of optimal control for management of quantum-information systems in a very precise and specific manner, especially when the dynamics complexity is exacerbated by inherently uncertain environmental coupling.

quant-ph↗

arXiv2007

Optimal control of quantum gates and suppression of decoherence in a system of interacting two-level particles

Methods of optimal control are applied to a model system of interacting two-level particles (e.g., spin-half atomic nuclei or electrons or two-level atoms) to produce high-fidelity quantum gates while simultaneously negating the detrimental effect of decoherence. One set of particles functions as the quantum information processor, whose evolution is controlled by a time-dependent external field. The other particles are not directly controlled and serve as an effective environment, coupling to which is the source of decoherence. The control objective is to generate target one- and two-qubit unitary gates in the presence of strong environmentally-induced decoherence and under physically motivated restrictions on the control field. The quantum-gate fidelity, expressed in terms of a novel state-independent distance measure, is maximized with respect to the control field using combined genetic and gradient algorithms. The resulting high-fidelity gates demonstrate the feasibility of precisely guiding the quantum evolution via optimal control, even when the system complexity is exacerbated by environmental coupling. It is found that the gate duration has an important effect on the control mechanism and resulting fidelity. An analysis of the sensitivity of the gate performance to random variations in the system parameters reveals a significant degree of robustness attained by the optimal control solutions.

quant-ph↗

arXiv2006

Quantum Error Correction via Convex Optimization

We show that the problem of designing a quantum information error correcting procedure can be cast as a bi-convex optimization problem, iterating between encoding and recovery, each being a semidefinite program. For a given encoding operator the problem is convex in the recovery operator. For a given method of recovery, the problem is convex in the encoding scheme. This allows us to derive new codes that are locally optimal. We present examples of such codes that can handle errors which are too strong for codes derived by analogy to classical error correction techniques.

quant-ph↗