Optimization search effort over the control landscapes for open quantum systems with Kraus-map evolution

TL;DR

This paper analyzes the control landscapes of open quantum systems with Kraus-map evolution, demonstrating the absence of suboptimal maxima and exploring how system size and initial states affect optimization effort.

Contribution

It provides a numerical analysis of control landscapes for open quantum systems, showing the impact of system dimension and initial states on search effort and efficiency.

Findings

No suboptimal local maxima in control landscapes.

Search effort independent of system size for fixed initial eigenvalues.

Incoherent control via Kraus maps can be more efficient than coherent control.

Abstract

A quantum control landscape is defined as the expectation value of a target observable $\Theta$ as a function of the control variables. In this work control landscapes for open quantum systems governed by Kraus map evolution are analyzed. Kraus maps are used as the controls transforming an initial density matrix $\rho_{\rm i}$ into a final density matrix to maximize the expectation value of the observable $\Theta$. The absence of suboptimal local maxima for the relevant control landscapes is numerically illustrated. The dependence of the optimization search effort is analyzed in terms of the dimension of the system $N$, the initial state $\rho_{\rm i}$, and the target observable $\Theta$. It is found that if the number of nonzero eigenvalues in $\rho_{\rm i}$ remains constant, the search effort does not exhibit any significant dependence on $N$. If $\rho_{\rm i}$ has no zero eigenvalues, then the computational complexity and the required search effort rise with $N$. The dimension of the top manifold (i.e., the set of Kraus operators that maximizes the objective) is found to positively correlate with the optimization search efficiency. Under the assumption of full controllability, incoherent control modelled by Kraus maps is found to be more efficient in reaching the same value of the objective than coherent control modelled by unitary maps. Numerical simulations are also performed for control landscapes with linear constraints on the available Kraus maps, and suboptimal maxima are not revealed for these landscapes.