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.
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.
We provide a brief review of a recently proposed approach to robust quantum control which rests on three theoretical foundations: the classic method of averaging, set-membership uncertainty modeling, and the known topological properties of the quantum control landscape. Application of the method of averaging directly results in a multi-criterion optimization problem consisting of the uncertainty-free fidelity competing with a generic robustness measure, the latter being a norm of a time-domain product of a function of the uncertainty-free system and the character of the uncertainty set. If this term is sufficiently small, then at most, only fourth order error effects can accrue. Lastly, the topological features promote a two-stage algorithm: in stage-1 the uncertainty-free fidelity is set to a high threshold, then in stage-2 the robustness measure is minimized while maintaing the threshold. Each stage-2 control update is found by solving a convex optimization problem.
Despite significant progress in theoretical and laboratory quantum control, engineering quantum systems remains principally challenging due to manifestation of noise and uncertainties associated with the field and Hamiltonian parameters. In this paper, we extend and generalize the asymptotic quantum control robustness analysis method, which provides more accurate estimates of quantum control objective moments than standard leading-order techniques, to diverse quantum observables, gates, and moments thereof and also introduce the Pontryagin maximum principle for quantum robust control. In addition, we present a Pareto optimization framework for achieving robust control via evolutionary open-loop (model-based) and closed-loop (model-free) approaches with the mechanisms of robustness and convergence described using asymptotic quantum control robustness analysis. In the open-loop approach, a multiobjective genetic algorithm is used to obtain Pareto solutions in terms of the expectation and variance of the transition probability under Hamiltonian parameter uncertainty. The set of numerically determined solutions can then be used as a starting population for model-free learning control in a feedback loop. The closed-loop approach utilizes a real-coded genetic algorithm with adaptive exploration and exploitation operators in order to preserve solution diversity and dynamically optimize the transition probability in the presence of field noise. Together, these methods provide a foundation for high-fidelity adaptive feedback control of quantum systems wherein open-loop control predictions are iteratively improved based on data from closed-loop experiments.
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.
Dynamic control via optimized, piecewise-constant pulses is a common paradigm for open-loop control to implement quantum gates. While numerous methods exist for the synthesis of such controls, there are many open questions regarding the robustness of the resulting control schemes in the presence of model uncertainty; unlike in classical control, there are generally no analytical guarantees on the control performance with respect to inexact modeling of the system. In this paper a new robustness measure based on the differential sensitivity of the gate fidelity error to parametric (structured) uncertainties is introduced, and bounds on the differential sensitivity to parametric uncertainties are used to establish performance guarantees for optimal controllers for a variety of quantum gate types, system sizes, and control implementations. Specifically, it is shown how a maximum allowable perturbation over a set of Hamiltonian uncertainties that guarantees a given fidelity error, can be reliably computed. This measure of robustness is inversely proportional to the upper bound on the differential sensitivity of the fidelity error evaluated under nominal operating conditions. Finally, the results show that the nominal fidelity error and differential sensitivity upper bound are positively correlated across a wide range of problems and control implementations, suggesting that in the high-fidelity control regime, rather than there being a trade-off between fidelity and robustness, higher nominal gate fidelities are positively correlated with increased robustness of the controls in the presence of parametric uncertainties.
Dynamic control via optimized, piecewise-constant pulses is a common paradigm for open-loop control to implement quantum gates. While numerous methods exist for the synthesis of such controls, there are many open questions regarding the robustness of the resulting control schemes in the presence of model uncertainty; unlike in classical control, there are generally no analytical guarantees on the control performance with respect to inexact modeling of the system. In this paper, a new robustness measure based on the differential sensitivity of the gate fidelity error to parametric (structured) uncertainties is introduced, and bounds on the differential sensitivity to parametric uncertainties are used to establish performance guarantees for optimal controllers for a variety of quantum gate types, system sizes, and control implementations. Specifically, it is shown how a maximum allowable perturbation over a set of Hamiltonian uncertainties that guarantees a given fidelity error can be reliably computed. This measure of robustness is inversely proportional to the upper bound on the differential sensitivity of the fidelity error evaluated under nominal operating conditions. Finally, the results show that the nominal fidelity error and differential sensitivity upper bound are positively correlated across a wide range of problems and control implementations, suggesting that in the high-fidelity control regime, rather than there being a trade-off between fidelity and robustness, higher nominal gate fidelities are positively correlated with increased robustness of the controls in the presence of parametric uncertainties.
In this paper, we demonstrate an approach to quantum robust control based on the tools of geometric optimal control. The central objects of interest are the sensitivity functions defined as the coefficients in the Taylor expansion of the trajectory with respect to the (unknown, small) parameters which describe the deviation of the actual model from nominal one. In terms of these quantities, we formalize an optimal control problem where one searches for the optimal nominal trajectory which minimizes the size of the sensitivity while taking into account other aspects of the control design such as the energy of the control field.
We consider in detail the case of a single qubit with a dephasing Hamiltonian term, and the optimal control problem of obtaining a state transfer by minimizing the weighted sum of the energy of the controlling field and the first order sensitivity. At the limit of a very large weight on the sensitivity, we obtain the optimal control which zeros the sensitivity and minimizes the control field energy. This problem has a rich mathematical structure which enables its solution in terms of elliptic integrals. For this problem, we obtain an explicit solution which is particularly simple and also smooth, avoiding discontinuities which are present in other approaches.
We extend the results to the robust control of two quantum bits minimizing cross-talk contamination, as we show that such a problem decouples in two independent one qubit problems.