Abstract
Accurate manipulations of an open quantum system require a deep knowledge of its controllability properties and the information content of the implemented control fields. By using tools of information and quantum optimal control theory, we provide analytical bounds (informationtime bounds) to characterize our capability to control the system when subject to arbitrary sources of noise. Moreover, since the presence of an external noise field induces open quantum system dynamics, we also show that the results provided by the informationtime bounds are in very good agreement with the Kofman–Kurizki universal formula describing decoherence processes. Finally, we numerically test the scaling of the control accuracy as a function of the noise parameters, by means of the dressed chopped random basis (dCRAB) algorithm for quantum optimal control.
Similar content being viewed by others
Introduction
A quantum system is defined as open when it interacts with other systems or an environment with several degrees of freedom. Such an interaction radically changes the dynamics of the system, e.g., making the dynamics propagator a nonunitary operator^{1,2}. The semiclassical effects of the interaction between a quantum system and the external environment can be reliably modeled by adding stochastic noise fields on the operators that govern the Hamiltonian evolution of the quantum system. As a result, the evolution of the system turns out to be described by a stochastic Schrödinger equation generating as solutions the functionals that are usually known as quantum trajectories^{3,4,5,6,7,8}. An example of a relevant noise source—especially in biological, solidstate systems and atomic clocks—is provided by the 1/f noise^{9,10,11,12,13,14}. This kind of noise, which decreases as a function of the frequency with a hyperbolic trend, is usually responsible for destroying the phase coherence terms of quantum operations. In order to amend it, the prediction of the spectral properties of the external noise sources^{15,16,17,18}, e.g., by means of quantum estimation methods^{19}, is going to play a key role to enhance the performance of quantum technology devices^{20}.
To tackle efficiently the problem of steering a noisy quantum system in a desired way, a variety of solutions have been introduced. A widely used tool to mitigate the detrimental effect of the interaction of a quantum system with its environment is provided by the dynamical decoupling (DD) of the system from the environment^{21}. This approach allows to enhance or suppress certain desired interaction modes^{22,23,24,25,26,27} and the protocols can also be optimized by analytic or numeric optimization algorithms^{28,29,30,31}. A different approach, also followed in this article, is the extension of quantum optimal control (QOC) methods^{32,33,34,35,36} to open quantum systems^{37,38,39,40,41,42,43,44,45,46,47}. Commonly used algorithms for QOC include Krotov^{48} gradient ascent pulse engineering (GRAPE)^{49} and optimization in the chopped random basis (CRAB)^{36,50,51}, e.g., using the dressed CRAB (dCRAB) algorithm^{52}. In this regard, it is worth mentioning that the CRAB algorithm works by expanding the control field onto a truncated basis and then optimizing the coefficients of the expansion through a gradientfree minimization. The dCRAB algorithm uses additional basis changes to ensure guaranteed convergence to the optimal solution of the considered control problem whenever this is guaranteed by gradientbased methods.
The smoothness and bandwidth of the QOC solution is an important constraint that can be included in the QOC algorithm. The CRAB/dCRAB algorithm naturally produces a bandwidthlimited solution that is given by an ansatz implementing a basis with the desired properties. Such a spectrallylimited control has been achieved also with gradientbased QOC algorithms such as Krotov^{53} and GRAPE^{54}. Alternatively, also the CRABansatz can be combined with gradient optimization. The gradientbased algorithms of the CRAB family are known as Gradient Optimization of AnalyTic controls (GOAT)^{55}, Gradient Ascent in Function Space (GRAFS)^{56} or Gradient Optimization Using Parametrization (GROUP)^{57} and a comparison among these algorithms is undertaken in Ref.^{57}. In this paper, we employ the dCRAB algorithm^{36,50,51,52}, which has been successfully demonstrated experimentally on different quantum platforms^{47,58,59}, including the use of closedloop optimization^{60,61,62,63,64,65}.
An important limit for any quantum control solution is given by the timeenergy bound known as quantum speed limit (QSL)^{66,67} that fundamentally reflects the timeenergy uncertainty relation. The latter can be formulated also for open quantum systems^{68} and its effects can be observed in QOC applications when the pulse operation time approaches the theoretical QSL^{69}.
Another bound describing QOC performance is provided by the information content of the control pulse: in Ref.^{70} the socalled “\(2M2\)rule” (with M being the dimension of the quantum system) for the degrees of freedom of the control field was confirmed by numerically studying different QOC problems, and later this was also found for quantum manybody systems^{71}. Specifically, for a perfect state transfer in an Mdimensional system, \(2M2\) real coefficients of the state vector have to be brought to the target value, and the control field has to contain at least the same number (\(2M2\)) of free parameters to fulfill this task. Arguments based on information theory already allowed to quantify the information content of a control field, by introducing bounds on the control error and minimum pulse operation time^{72}. In fact, by using the tools from classical and quantum information theory^{2,73,74,75}, one can consider the control pulse as a communication signal whose correct reception is equivalent to the achievement of the desired control task with suitably small error. The same reasoning applies also when the control over the quantum system is achieved through another quantum system (fullyquantum control) that is denoted as quantum controller and interacts with the quantum system to be controlled through a quantum communication channel^{76,77}. In this regard, it is worth noting that any communication channel is subject to (usually correlated) external noise sources that have the effect of degrading the transmitted signals or losing information packets. However, the modeling of such signal degradation has allowed to understand the processes underlying systemnoise field interactions, as for example in^{78} where correlated quantum dynamics (also leading to nonMarkovian evolutions) has been analyzed with an information theory perspective.
In this paper, we assume that noise sources affect the internal Hamiltonian of the quantum system under analysis, governing the coherent part of its dynamical evolution. This means that the interaction between the quantum system and the external environment leads to extra nondeterministic terms proportional to an external stochastic field, modeled by a stochastic Schrödinger equation. Thus, after deriving the master equation that describes the mean stochastic dynamics of the system, averaged over the noise realizations, we evaluate the channel capacity associated to the considered optimal control problem, whereby optimized pulses control a noisy quantum system. According to Shannon’s theorems^{74,75}, the values of a channel capacity in the frequency domain depend on the power spectral density of the noise affecting the channel, as well as the error in reaching a desired quantum state. Thus, in this paper the relations between these quantities are quantitatively characterized, both analytically and by means of numerical simulations, and we show that they are in agreement with the Kofman–Kurizki universal formula for decoherence in quantum processes^{22,23}.
Control problem
System dynamics
We consider a quantum system described by a state \(\rho (t)\), where the time evolution is given by the stochastic Schrödinger equation (SSE)
with \(\hslash \), reduced Planck constant, set to 1. Here, the Hamiltonian
consists of a drift operator \(H_d\), a control term \(f(t)H_c\) (with control operator \(H_c\) and control field f(t)) and the stochastic noise \(\xi (t)H_n\), where \(H_n\) is a fixed operator and \(\xi (t)\) is a stochastic field. The drift and the control operators together can be interpreted as the system Hamiltonian \(H_s(t)=H_d+f(t)H_c\), while the stochastic noise term can be interpreted as a perturbation \(H_p(t)=\xi (t) H_n\) to which the quantum system is subjected, and its time evolution becomes stochastic. In principle, one could also have multiple control fields and multiple noise fields. Here, we do not treat this case specifically but we will discuss at specific points in the paper how the formulas we derive could be generalized in this regard.
Control objective
The goal of the quantum optimal control problem is to find the optimal control pulse \({\hat{f}}(t)\) able to drive the quantum system from the initial state \(\rho (0)\) to the target state \(\rho _T\) at the final time T. The optimization problem that provides \({\hat{f}}(t)\) does not necessarily have an exact solution. This necessarily entails a nonzero control error \(\varepsilon \), meaning that the optimal control pulse does not perfectly drive the system to the target state \(\rho _T\) but to a final state \(\rho (T)\) in the \(\varepsilon \)ball around the target state^{72}. The control error \(\varepsilon \) is commonly expressed as a function of the Uhlmann fidelity \({\mathfrak {F}}(\rho _T,\rho (T))\) between the target and the final states^{79}. In our context, the latter is slightly modified as
that compares the target state \(\rho _T\) and the average final state \(\langle \rho (T)\rangle \) such that \(\varepsilon \equiv 1  {\mathfrak {F}}(\rho _T,\langle \rho (T)\rangle )\), where the averaging \(\langle \cdot \rangle \) of \(\rho (T)\) is taken over the statistics of the noise field \(\xi (t)\).
Optimization algorithm
In the example section we will study how well for specific control problems the control objective can be achieved by means of QOC. In particular, we will employ the dCRAB algorithm^{52} to solve the optimization problem. This algorithm makes an ansatz for the optimal solution of the form
where the basis functions \(f_i(t)\) span a subspace of the (infinitedimensional) space that defines the unconstrained control field, and the optimization is then performed on this subspace of smaller dimension. This can in principle be done by any direct search method: in this work we use the NelderMead simplex algorithm^{80} to find the optimal set of coefficients \(c_{i}\) \((i=1,\dots \, N_c)\). To exploit the usually advantageous properties of the control landscape^{34,81} that could be distorted by the finite dimensional expansion, after convergence of the direct search method a basis change can be introduced and the optimization be continued in an iterative way:
where \(f_i^j(t)\) are the new basis functions, and \(f^{j1}(t)\) is the optimal solution from the (\(j1\))th iteration. The coefficient \(c_0^j\) allows the optimization to move along the direction of the old pulse, while the coefficients \(c_i^j\) (\(i=1,\dots ,N_c\)) allow for the movement along the new search directions \(f_i^{j}(t)\).
If we choose the basis functions \(f_i^j(t)\) to be trigonometric functions with random frequencies \(\omega _i^j\) and these frequencies are chosen to lie in an interval of a specified bandwidth, we can incorporate in a natural way a bandwidth constraint for f(t). As we will see below, we will also need to fix the pulse power to a desired value by simply rescaling the coefficients \(c_i^j\) before computing the system evolution.
Timecontinuous stochastic Schrödinger equation and master equation
In this section we derive the master equation obtained by averaging the SSE over the noise realizations. In doing this, let us plug the explicit form of the Hamiltonian, Eq. (2), into the Schrödinger equation (1):
where \(H_s(t)=H_d+f(t)H_c\) and \(H_p(t)=\xi (t) H_n\) as defined in “System dynamics” section. The integral form of the initial value problem, which is given by
can be reinserted into the differential equation (6), thus leading to
Now, let us assume that the stochastic process \(\xi (t)\) follows the distribution \(p_t(\xi )\), whereby the mean value and the correlation function of \(\xi (t)\) are respectively defined as \(\langle \xi (t)\rangle \equiv \int _{\xi }p_t(\xi )\xi d\xi \) and
In this way, after averaging over the noise realizations and then considering the noise field \(\xi \) and the quantum state \(\rho \) as uncorrelated stochastic processes, the following master equation is obtained for \(\langle \xi (t)\rangle = 0\) (see Supplementary Information for more details in its derivation):
For the sake of clarity, in the righthandside of Eq. (10), it is worth observing that the result of taking \(\xi \) and \(\rho \) as uncorrelated quantities is to allow for the approximation \(\int _0^t \langle \xi (t)\xi (t')\rho (t')\rangle dt' \approx \int _0^t \langle \xi (t)\xi (t')\rangle \langle \rho (t')\rangle dt' = \int _0^t R_{\xi }(t,t')\langle \rho (t')\rangle dt'\). As a consequence, the noncoherent part of the master equation (due to noise perturbations) simply depends on the product between the correlation function of the noise, \(R_{\xi }\), and the average quantum state \(\langle \rho \rangle \). Comparable results regarding stochastic dynamics in Hilbert spaces can be also found for instance in Ref. ^{1,42,43}.
Noise correlation function and power spectral density
The noise correlation function \(R_{\xi }(t,t')\) has a central role in characterizing the master equation, Eq. (10), obtained by averaging over the noise realizations. In this paper we will investigate control problems involving quantum systems subjected both to white and colored noise sources, under the assumption of \(\{\xi (t)\}_{t\in {\mathbb {R}}}\) being a weakly stationary stochastic process. This implies the following properties^{82}:

(i)
The mean value of \(\xi \) does not depend on the time instant t in which the noise field is sampled, i.e., \(\int p_{t}(\xi ) \xi d\xi = \int p_{t + t'}(\xi ) \xi d\xi \) \(\forall t'\in {\mathbb {R}}\).

(ii)
The correlation function is translationinvariant: \(R_{\xi }(t,t')= R_{\xi }(t+t'',t'+t'')\) \(\forall t''\in {\mathbb {R}}\). This implies that we can write \(R_{\xi }(t,t') = R_{\xi }(\tau )\) with \(\tau \equiv tt'\).

(iii)
The second moment of \(\xi \) is finite: \(\int p_t(\xi )\xi ^2 d\xi < \infty \) \(\forall t'\in {\mathbb {R}}\).
As a result, the master equation (10) reads
It is worth noting that the case of nonstationary noise terms, albeit here it is not addressed, can be obtained by considering \(\{\xi \}_{t\in {\mathbb {R}}}\) as a piecewise stationary stochastic process. From here on, we will omit the symbol \(\langle \cdot \rangle \) for the average over noise realizations, unless explicitly stated.
Example: master equation for Gaussian white noise
Let us assume that \(\xi (t)\) is a Gaussian white noise field with zero mean value \(\langle \xi (t)\rangle \) and correlation function
which is frequently employed to model thermal noise in electronic devices. Then, the master equation (11) reduces to
where the parameter \(\gamma \) denotes the noise strength. For instance, if we consider a twolevel system and \(H_n=\frac{1}{2}\sigma _z\) with \(\sigma _z \equiv \begin{pmatrix} 1 &{} 0 \\ 0 &{} 1 \end{pmatrix}\) Pauli matrix, the master equation becomes
with
Hence, also this approach can be employed to get the microscopic derivation of the puredephasing GoriniKossakowskiSudarshanLindblad (GKSL) equation, as conventionally stated in the open quantum systems literature^{1,2,42,83}.
A microscopic derivation can be carried out also for the decay channel that is modeled by means of the GKSL operator^{1}
To get this result, indeed, let us consider two uncorrelated Gaussian white noise fields \(\xi _{x}(t)\) and \(\xi _{y}(t)\), acting respectively through the operators \(\frac{1}{2\sqrt{2}}\sigma _x\) and \(\frac{1}{2\sqrt{2}}\sigma _y\) with the Pauli matrices \(\sigma _x \equiv \begin{pmatrix} 0 &{} 1 \\ 1 &{} 0 \end{pmatrix}\) and \(\sigma _y \equiv \begin{pmatrix} 0 &{} i \\ i &{} 0 \end{pmatrix}\). In other terms, \(H(t)=H_{s}(t) + \left( \xi _{x}(t)\sigma _x + \xi _{y}(t)\sigma _y\right) /2\sqrt{2}\). The two noise sources are fields with zero mean value and correlation function \(R_{\xi _z}(tt')=2\gamma _{k}\delta (tt')\) with \(k\in \{x,y\}\). Then, we assume that \(\gamma _x = \gamma _y = \gamma \). Under these assumptions, the master equation \({\dot{\rho }}(t) = i[H_s(t),\rho (t)]  \frac{\gamma }{8}\left( \left[ \sigma _x,[\sigma _x,\rho (t)]\right] + \left[ \sigma _y,[\sigma _y,\rho (t)]\right] \right) \) reads
where the noncoherent part of the righthandside of Eq. (17) is straightforwardly ascribable to the GKSL operator (16).
Measures of signals information content
Signaltonoise ratio
The signaltonoise ratio is a measure used in statistical signal processing to compare the powers of a desired signal and a noise source^{84}. It is usually characterized in the frequency domain. By properly formalizing the signaltonoise ratio, one is able to predict the amount of information carried by a specific signal embedded in a noisy environment. In our case, the desired signal is represented by the control Hamiltonian \(f(t)H_c\) and in particular by the deterministic timedependent control field f(t), while the noise is given by the noise Hamiltonian \(\xi (t) H_n\), i.e., by the stochastic noise field \(\xi (t)\).
As a general definition, the signaltonoise ratio S/N is defined as the ratio of the power of the signal S and the power of the noise N. By denoting with \(P_{f}\) the power of the control field f(t) and with \(\Sigma _{\xi }\) the power of the stochastic noise field \(\xi (t)\), we can define
where, without loss of generality, we can set the operator norms to \(H_c=H_n=1\) since the proportionality factors can be absorbed in f(t) and \(\xi (t)\). Thus, the signaltonoise ratio can be written as
If more than one noise term is present, the noise power N could be generalized to the sum of the power of the single noise terms so that the signaltonoise ratio is reduced accordingly. Moreover, if more than one control term is present, one could calculate the signaltonoise ratio for each control term individually. In Eq. (19), the power \(P_{f}\) of the control field is defined as
where T is the duration of the control pulse. Using Parseval’s theorem, the power \(P_{f}\) of the control field can be expressed also in the frequency domain, i.e.,
In Eq. (21), \(\phi _{f}(\omega )\) denotes the power spectral density of f(t), namely the Fourier transform of its autocorrelation function \(R_{f}(\tau ) \equiv \int _{0}^{\infty }f(t)f(t  \tau )dt\):
Likewise, we can define the power spectral density of the stochastic noise field as
and consequently the power \(\Sigma _\xi \) of the stochastic noise field as
In conclusion, the signaltonoise ratio can be generally written as
As an example, let us consider again that \(\xi (t)\) is a Gaussian white noise field with zero mean value and correlation function as provided by Eq. (12). Hence, one can find that the power spectral density \(\varphi _{\xi }(\omega )\) of the noise field is constant and equal to \(2\gamma \). Since the integral in Eq. (24) is performed over all the frequency range \(\omega \in (\infty ,+\infty )\), the fact that \(\varphi _{\xi }(\omega )\) is constant entails that the power of a white noise is ideally infinite. This evidence is not surprising; a white stochastic process, indeed, is just an idealization for noise processes effectively observed in real systems. Thus, to justify the use of white noise to model a real noise process, let us consider the case of electronic devices affected by thermal noise. Such devices do not work for all the frequency range, but just in the range \(\omega \in [{\overline{\omega }},+{\overline{\omega }}]\), where \(2{\overline{\omega }}\) denotes the device bandwidth. In this region, the measured power spectral density of the noise is practically constant, as predicted by the model, and then it decays to zero. Therefore,
such that
In “Examples with Gaussian white noise” section some control problems affected by Gaussian white noise fields will be studied numerically, and the value of \({\overline{\omega }}\) will depend on the resolution of the numerical timegrid. However, we will circumvent the problem of setting a specific value for \({\overline{\omega }}\) by considering only the proportionality
that is sufficient to investigate the scaling of the control error as a function of the signaltonoiseratio.
Channel capacity
According to the Shannon information theory, a channel can asymptotically transmit a message without errors at the maximum rate \({\mathscr {C}}\), channel capacity^{73}. Then, the information (in terms of number of bits) carried by the signal (in our case the control field f(t)) is defined as \(I_{f}\equiv {\mathscr {C}}T\), with T the duration of the signal. The channel capacity thus quantifies the information carried by the maximum number \({\mathscr {M}}\) of distinguishable messages that can be reliably encoded and decoded in a communication procedure through the channel per unit time^{2,73}.
In this paper, we specifically investigate how a control field can steer a quantum system, such that its state is transformed in a desired way. In such a QOC problem, the role of the decoded messages is played by the number of distinguishable states that can be reached and the encoded messages are replaced by the set of all admissible control fields f(t). The communication channel then depends on the control landscape related to the specific quantum system dynamics ^{34,81} and on the stochastic noise field. Moreover, the information transferred to the system is provided by the information encoded in the control field f(t) reduced by the detrimental action of the stochastic noise field \(\xi (t)\), while the specific control landscape reflects the ability of the quantum system to receive this information. Note that for more than one control field, the total channel capacity could in principle be replaced in first approximation by the sum of the channel capacities for each single contribution to quantify the information transferred to the system. However, the presence of a second control field can also change the features of the control landscape and thus the ability of the quantum system to receive this information.
Let us thus study, from an information theoretical perspective, the expression of the channel capacity ruling the transfer of information from the control apparatus onto the system, by initially neglecting possible limits of the system to employ this information. This will give us an upper bound for the channel capacity of the global channel (i.e., from the control apparatus to the final state of the system dynamics). This intermediate step allows us to apply directly the seminal works of Shannon ^{74,75} and has the advantage of not being affected by the limitations due to the dimensionality and controllability of the quantum system.
Noiseless case
The channel capacity of the noiseless channel is given by Hartley’s law^{85}. In such case, what prevents \({\mathscr {M}}\) (the maximum number of distinguishable messages) from being infinite are (i) a finite dynamic range \(\Delta f\) for the amplitude of the encoded signal and (ii) inaccuracies in the signal. The former is related to the magnitude of the control, while the latter to the precision \(\delta f\) of the signal (i.e., as generated by the control electronics). Thus, Hartley’s law states that in the noiseless case the channel capacity equals to
where \(\Delta f/\delta f\) is generally denoted as the resolution of the pulse f(t), while \(\Delta \Omega = \omega _{\textrm{max}}  \omega _{\textrm{min}}\) is the channel bandwidth given by the minimal and maximal frequency of the control field, \(\omega _{\textrm{min}}\) and \(\omega _{\textrm{max}}\), respectively.
Gaussian noise channels
Shannon showed^{73,74,75} that also in the presence of noise, there exists a nonzero value for the channel capacity \({\mathscr {C}}\) such that the error in transmitting an infinitely long message can be arbitrarily small. In this case, the limitations to the channel capacity are the bandwidth \(\Delta \Omega \) and the power of the noise fields. More formally, the capacity \({\mathscr {C}}\) of this noisy channel is equal to
Therefore, for Gaussian white noise, Eq. (30) reduces to
where S/N is given by Eq. (25). The result of Eq. (31) is commonly known as the ShannonHartley theorem.
Note that Eq. (30) holds under the assumption that the noise field is a continuous stochastic process sampled from a Gaussian distribution with known variance. However, as also shown in^{75}, the results for Gaussian noise channels are the starting point to characterize classical channel capacities, since we can always provide results—at least approximately—for arbitrary noise sources by first considering the Gaussian case.
In what follows we present the main results of our studies. In particular, we provide tight analytical lowerbounds for the error made in controlling a quantum system subject to arbitrary noise fields. For this purpose, we unify the classical Shannon theory for communication in the presence of noise, the information theoretical analysis of QOC as proposed in^{72} (but applied also to colored noise fields) and the Kofman–Kurizki decoherence theory for a quantum system coupled to an environment described by a continuum of levels^{22,23}.
Error limit and time bound
In this section, we study how the channel capacity of the control problem transforms into a bound for the admissible precision (or error) of the QOC solution, as well as a bound on the required time given the control resources. Such a time reflects an information theoretical speed limit that prohibits steering the quantum system faster at given precision.
Following^{72}, we first introduce \({\mathscr {W}}\), which is the set containing all the density operators that are solutions (for all admissible control functions f(t)) of the SSE describing the dynamics of the system. \({\mathscr {W}}\) is also denoted as the set of reachable states and depends on the initial state \(\rho (0)\). \({\mathscr {W}}\) has dimension \(\dim {{\mathscr {W}}}\equiv D_{{\mathscr {W}}}(n)\), which in turn is a function of the dimension n of the system’s Hilbert space. Then, we introduce a measure for the complexity of the optimal control field, i.e., D that is formally defined as the number of independent degrees of freedom of the control f(t). More practically, D can be equal, for example, to the minimal number of independent bangbang control pulses ^{21} or proportional to the bandwidth or sampling points of f(t). In^{72} it has been proven that the information content \(I_{f}\) carried by the control pulse, with \(I_{f}\) proportional to D, cannot be smaller than the product of \(D_{{\mathscr {W}}}\) and \(\log _{2}(\varepsilon )\), i.e., \(I_{f}\ge D_{{\mathscr {W}}}\log _{2}(\varepsilon )\), where for a control error \(\varepsilon \in [0,1]\), with \(\varepsilon =1{\mathfrak {F}}\), \(\log _{2}(\varepsilon )\) represents the selfinformation of \(\varepsilon \). It is worth observing that the inequality \(I_{f} \ge D_{{\mathscr {W}}}\log _{2}(\varepsilon )\) can be rewritten as a lower bound for the control error \(\varepsilon \):
Hence, from \(I_{f}\equiv {\mathscr {C}}T\), one finds that the minimal time needed to reach a given target state \(\rho _T\) within \(D_{{\mathscr {W}}}\) with precision \(\varepsilon \) is
Eq. (33) can be interpreted as follows: The amount of information necessary to solve the QOC problem with precision \(\varepsilon \) under a finite channel capacity \({\mathscr {C}}\) sets a time bound for the evolution of the quantum system. Note that there can be specific target states that violate this bound (e.g., if the target state is equal to the initial state it can also be reached in zero time) and the bound becomes relevant if the initial and target states are randomly chosen. Now, for the sake of completeness, we derive the formal expression of the control error bound both in the noiseless case and in the presence of white and colored noise sources.
Error bound for a noiseless channel
In the noiseless case, the channel capacity \({\mathscr {C}}\) is provided by Hartley’s law: \({\mathscr {C}} = \Delta \Omega \log _{2}(1 + \Delta f/\delta f)\). Hence, \(I_{f} = T\Delta \Omega \log _{2}(1 + \Delta f/\delta f) = D\log _{2}(1 + \Delta f/\delta f)\) where \(D=\Delta \Omega \,T\), since the bandwidth \(\Delta \Omega \) multiplied by the total time reflects the number of degrees of freedom encoded in the control pulse. Accordingly, by substituting the expression of \(I_f\) in Eq. (32), one has
Error bound for Gaussian white noise
Let us now consider a Gaussian white noise source. According to the ShannonHartley theorem, the information carried by the control pulse is \(I_{f} = D\log _{2}(1 + S/N)\), where S/N is the signaltonoise ratio defined above. This entails the following expression for the control error bound:
Note that both bounds (34) and (35) have been already introduced in Ref. ^{72}, in relation to the complexity of a QOC problem and the minimal time needed to accomplish the target control transformation. Now, we want to generalize these bounds to colored noise.
Error bound for Gaussian colored noise
As explained in “Channel capacity” section, the capacity \({\mathscr {C}}\) of a quantum channel perturbed by Gaussian colored noise is given by Eq. (30). Before moving on, it is worth mentioning that for Gaussian colored noise we denote correlated (thus, nonwhite) random sequences sampled over time by a Gaussian distribution. This means that the information carried by the control pulse is
Hence, in this case a lower bound for the control error \(\varepsilon \) is provided by the relation
Let us observe that all the presented lower bounds for \(\varepsilon \), as well as the ones that will be introduced later, generally depend on the precision with which optimal pulses are numerically derived and then experimentally implemented on real systems. In addition, to get such a bounds, we have not used so far any specific form to express the control error \(\varepsilon \), e.g., whether it is given by \(1{\mathfrak {F}}\) or \(1{\mathfrak {F}}^2\) in terms of the fidelity \({\mathfrak {F}}\) or another metric. For these reasons, to check their validity, we can introduce fitting parameters that relate the obtained control error value with the righthandside of the considered lower bound, as done for instance in Ref. ^{77}. Still, we will show in “Examples with Gaussian white noise” and “Examples with Gaussian colored noise” section that the scaling of the control error \(\varepsilon \) as a function of key quantities entering the considered QOC problem corresponds to the bounds derived in this section.
Error bounds from perturbation theory
Let us recall our interpretation of the Hamiltonian Eq. (2) composed of the unperturbed system (described by \(H_s(t)=H_d+f(t)H_c\)) and a perturbation (provided by \(H_p(t)=\xi (t)H_n\)), i.e.,
with the aim to understand how the evolution of the system is influenced by the effect of the perturbation (noise).
If we take only the system Hamiltonian \(H_s(t)\) together with the initial state \(\rho _s(0)=\psi _0\rangle \!\langle \psi _0\), we obtain a Schrödinger equation with solution \(\rho _s(t)=\psi (t)\rangle \!\langle \psi (t)\) for the time evolution of the unperturbed system. Instead, the time evolution of the perturbed system is described by the state \(\rho (t)=\psi (t)\rangle \!\langle \psi (t)\) that is the solution of the Schrödinger equation defined by the perturbed (or full) Hamiltonian H(t) and the initial state \(\rho (0)=\rho _s(0)\).
Revisiting Eq. (38) and following Ref.^{29}, we can introduce the interaction picture following the unitary evolution \(U_s(t)\) of the unperturbed system. In the interaction picture, the Hamiltonian \({\tilde{H}}_p(t)\) that models the perturbation can be written as
while the state evolution of the perturbed system becomes
Thus, in the interaction picture, the Schrödinger equation is provided by
with \({\tilde{\rho }}(0)=\rho (0)\) as \(U_s(0)=I\). If the unperturbed system perfectly performs the desired control task, then the control error \(\varepsilon _p\) of the perturbed (noisy) system can be expressed as
where the overlap of the perturbed dynamics with respect to the unperturbed dynamics is provided by \(F_p^2\equiv {\mathfrak {F}}(\rho _s(T),\rho (T))= \langle \psi _s(T)\psi (T)\rangle ^2=\langle \psi _0{\tilde{\psi }}(T)\rangle ^2\). We now analyze Eq. (42) for two different regimes, first in the small noise approximation, and then for stationary colored noise.
The small noise approximation
To estimate the influence of a small noise contribution to the control error we make use of the Dyson expansion of the perturbed state, which up to first order in time yields
Exploiting this firstorder Dyson expansion we thus obtain
where the norm \(\Vert H_p\Vert \) of the Hamiltonian \(H_p\) denotes the maximum values of the corresponding standard operator norm over the time interval [0, T], such that it can be approximated as \(\Vert H_p\Vert ^2\approx N\). In addition, the operation time T is roughly proportional to the inverse of the norm of the control Hamiltonian \(\Vert H_s\Vert ^2\approx S\), and thus \(T\propto 1/S\), with the result that \(\Vert \psi _s(T)\rangle  \psi _p(T)\rangle \Vert \lesssim N/S\). Furthermore, with some algebra one has that
where \(\textrm{Re}(\cdot )\) stands for the real part of \((\cdot )\). Thus, for the fidelity \(F_p\), it holds that
This entails that, by resolving for the operation error \(\varepsilon _p \equiv 1  F_p^2\), the following upper bound can be obtained:
The same result can be achieved also by exploiting the Gronwall’s lemma ^{86}. Specifically, one gets
where also the norm \(\Vert H_s\Vert \) of the control Hamiltonian \(H_s\) denotes the maximum value of the standard operator norm over the time interval [0, T]. This justifies also the approximation \(\Vert H_s\Vert ^2\approx S\) introduced above. Hence, by taking \(\varepsilon _p \equiv 1  F_p^2\) (operation error) with \(F_p^2 \ge 1  \Vert \psi _s(T)\rangle  \psi (T)\rangle \Vert ^2\) [Eq. (47)], in this case we endup to the upper bound
As a result, we can thus state that the operation error \(\varepsilon _p\) induced by a noise perturbation (i.e., the noise term in Eq. (2)) scales with \(\frac{\Vert H_p\Vert ^2}{\Vert H_s\Vert ^2} \approx \frac{N}{S}\).
Finally, if we further assume that without noise (\(H_p(t)=0\)) one can perfectly control the system such that the final state of the unperturbed system corresponds to the target state \(\psi _s(T)\rangle \!\langle \psi _s(T) = \rho _{T}\), then the control error is bounded by \(\varepsilon \le \varepsilon _p\) and the righthandside of Eq. (48) is also an upper bound of the control error \(\varepsilon \) for the perturbed (noisy) system. This is consistent with Eq. (35) for \(S/N \gg 1\).
Relation with the Kofman–Kurizki decoherence universal formula
The decay of unstable states into a continuum of quantum levels, mimicking a macroscopic reservoir, is well described by the socalled Kofman–Kurizki universal formula^{23}. The open dynamics originating from the interaction between a finitedimensional quantum system and a reservoir leads to decoherence, i.e., the asymptotic loss of the quantum system coherence. We have already seen in “Timecontinuous stochastic Schrödinger equation and master equation” and “Noise correlation function and power spectral density” sections that decoherence can be described by modeling the interaction with the reservoir as weak stochastic perturbations. In this regard, the Kofman–Kurizki universal formula, under the hypothesis of weak coupling, predicts how the control of an unstable quantum system can modify its decay rate into the reservoir^{24,28,87}. The effective value of the decay rate can also be engineered with optimization techniques to suppress or enhance different coupling modes^{28,29,30,31}. Therefore, we phenomenologically expect that the informationtime bound of Eq. (33) for the error scaling and the Kofman–Kurizki universal formula for the quantum system decay rate are related.
To derive the control error based on the KofmaKurizki universal formula in this context, we make use of the Dyson expansion of the perturbed state in the interaction picture, which up to the second order in time yields:
Therefore, by performing the Taylor expansion of \(\langle \psi _0{\tilde{\psi }}(T)\rangle ^2\) (similarly to what done in “The small noise approximation” section), averaging over the noise realizations and substituting \(\langle \xi (t)\rangle =0\), one gets
Thus, if we also introduce the filter function
the righthandside of Eq. (52) can be written as the overlap of \(F(\omega )\) and the noise spectrum \(\varphi _{\xi }(\omega )\), i.e.,
In quantum noise spectroscopy and dynamical decoupling^{21,25,26,27,30,88,89,90,91,92,93,94,95}, the control pulse is modulated (by means of a set of pulse modulation functions) to encode information on the noise field in the final state of the system or to minimize the control error. Here, we are interested in the latter case.
To gain more insight into the scaling of the error with the control resources, let us make the following approximations: the filter function \(F(\omega )\) is designed to have support only around a central frequency \(\omega _c\) (e.g., for bangbang control, this assumption is feasible since the filter functions have a \(\text {sinc}^{2}\)shape, but also for optimally modulated pulses the bandwidth remains small^{28}) and with a small bandwidth if compared to the power spectral density of the stochastic noise field. Thus, we can make the approximation
with \(C_{0}\) a constant term depending on the specific choice of the filter function.
We are now in the position to compare this result with the information theoretical limit provided by Eq. (37). In practical applications, the control pulse is chosen such that the signaltonoise ratio (evaluated in dB) exceeds a minimum threshold (at least 1020 dB) so that the noise does not dominate the dynamics and a satisfactory value of the control fidelity \({\mathfrak {F}}\) (e.g., more than \(90\%\)) can be achieved. We thus assume that \(\phi _{f}(\omega )/\varphi _{\xi }(\omega )\gg 1\) \(\forall \omega \) such that \(\log _2 \left( 1 + \phi _{f}(\omega )/\varphi _{\xi }(\omega )\right) \approx \log _2 \left( \phi _{f}(\omega )/\varphi _{\xi }(\omega )\right) \). As a result,
Then, let us again consider that the bandwidth of the control field is smaller than the frequency variation of the power spectral density \(\varphi _{\xi }(\omega )\) of the noise field (this assumption is the same that we have made for the filter function \(F(\omega )\) to derive the bound in Eq. (55). Since f(t) enters the dynamics only through the filter function \(F(\omega )\) that contains the control degrees of freedom (see also the arguments in “Channel capacity” section), the integral \(\int _{\omega }\log _{2}\left( \phi _{f}(\omega )/\varphi _{\xi }(\omega )\right) d\omega \) can be approximated by its integrand \(\Delta \Omega \log _{2}\left( C_1/\varphi _{\xi }(\omega _c)\right) \), evaluated at the central frequency \(\omega _c\) of the effective pulse modulation. The constant \(C_1\) depends on the precise value and shape of \(\phi _f(\omega )\). As a consequence,
with \(D=\Delta \Omega \,T\) chosen to be approximately equal to \(D_{{\mathscr {W}}}\) and such that \(C_{2} \approx 1/C_1\) is a constant. The assumption \(D\approx D_{{\mathscr {W}}}\) is justified by considering that for a value of D smaller than \(D_{{\mathscr {W}}}\), even without noise, one may not have full control over the quantum system; while, for a value of D substantially larger than \(D_{{\mathscr {W}}}\), one potentially has to spread out the power of the control pulse over a larger frequency range (with the consequence of a power spectral density with a lower amplitude in that range), such that the signaltonoise ratio becomes less favorable.
We have thus shown that, under reasonable assumptions, the information theoretical bound of Eq. (37) leads to the same scaling of the error as a function of the noise as the one obtained in Eq. (55), by starting from the Kofman–Kurizki universal decoherence formula.
Example: 1/fnoise
As an example, let us here consider that the noise field is sampled by a 1/f distribution, commonly used to model statistical fluctuations of a wide number of physical and biological systems^{9,10,11}. As explained in Refs. ^{9,10,11}, the power spectral density of the \(1/f^\alpha \)noise decays as a powerlaw with the frequency, i.e., \(\varphi _{\xi }(\omega )\propto 1/\omega ^\alpha \) where the exponent \(\alpha \) typically belongs to the range \(0<\alpha <2\) (see also Refs. ^{4}). The case of \(\alpha =1\) is also called pink noise (1/fnoise). Thus, the natural choice in this case is to control the system at high frequency. According to Eq. (55), when moving to higher frequencies, the error \(\varepsilon \) decays as \(\varepsilon \approx C_{0}/\omega _c^\alpha \). Likewise, if we consider the errorbound arising from the ShannonHartley theorem, Eq. (57), we find that \(\varepsilon \gtrsim C_{2}/\omega _c^\alpha \), thus confirming the result.
Examples with Gaussian white noise
In this section we numerically examine the statetransfer control of a twolevel system subject to Gaussian white noise. The resulting dynamics is provided by the master equation of Eq. (14). In “Dephasing channel” section the control error \(\varepsilon \) is studied as a function of the signaltonoise ratio for a system subject to dephasing, while in ’Decay channel” section we study \(\varepsilon \) as a function of the control bandwidth for a system under the influence of a decay term. In both cases, our aim is to extract the scaling of the control error from the information theoretical bound for white noise fields as given by Eq. (35), and then to confirm the scaling by fitting the bound to the numerical data.
Dephasing channel
Let us consider a twolevel system with Hamiltonian \(H_s(t)\) given by
where f(t) is the control field, \(T = 1\) and \(\omega _y = \omega _z = 2\pi \times 0.5\). Then, we model the dephasing acting on the quantum system via the GKSL operator of Eq. (15). To fix the signaltonoise ratio to the desired value, at each optimization iteration we calculate the power of the control field \(P_f=\frac{1}{T}\int _0^T f(t)^2 dt\), and we set the value of the noise strength \(\gamma \) such that the signaltonoise ratio \(S/N \propto \frac{P_f}{\gamma }\) (see Eq. (28)) is constant during the optimization. This corresponds to a physical model where the noise is induced by a frequency instability of the control pulse, and the amplitude of the instability is proportional to the pulse strength.
Our aim is to control the transfer from the initial state \(\rho (0)=0\rangle \!\langle 0\) to the target state \(\rho _T=1\rangle \!\langle 1\), by imposing a fixed bandwidth \(\Delta \Omega \) of the control field f(t), where \(0\rangle \) and \(1\rangle \) are the eigenstates of \(\sigma _z\). In the simulations \(D_{{\mathscr {W}}} = 2\), where in this case \(D_{{\mathscr {W}}}\) represents the dimension of the reachable qubit (pure) states with disregard of the global phase, and \(D = \frac{\Delta \Omega }{2\pi }T\). Figure 1 shows the resulting control error obtained by dCRAB optimization with control bandwidth \(\Delta \Omega \in 2\pi \times \{2,5,10,20\}\). We can observe that, in this example, the optimization error does not depend on the control bandwidth, and instead the control error \(\varepsilon \) is dominated by the signaltonoise ratio S/N. From Eq. (35) we thus expect that
up to some constants \(a_1\) and \(b_1\), where \(a_1\) determines \(S/N=a_1 P_f/\gamma \) according to the reasoning in “Signaltonoise ratio” section, and \(D/D_{\mathscr {W}}\approx 1\) for \(D\ge 2\) to saturate the information transferred from the control pulse onto the quantum system. To verify the model of Eq. (59) with the numerical data, we take the data for \(D=2\) and then we fit the model to the control errors obtained from the numerical simulations. The same fit is done also for the alternative model \(\varepsilon _2= b_2\exp (a_2\frac{P_f}{\gamma })+c_2\). If the fit for the first model produces a lower rootmeansquare of the residuals (RMS), then this effectively proves our prediction for the scaling of the error (i.e., a powerlaw instead of an exponential scaling). In Fig. 1 we show the fit of \(\varepsilon _1\), for which we obtain a RMS of 0.00094, with \(a_1=0.0745\) and \(b_1=0.443\). Instead, for \(\varepsilon _2\) we have a RMS of 0.014, which thus confirms our model. It is worth observing that this finding is consistent with the perturbative treatment of the quantum system’s dynamics described in “The small noise approximation” section. We can thus conclude that, in general, increasing D above the value of \(D_{{\mathscr {W}}}\) saturates the information that can be transferred onto the system and the original exponent of the bound (35) can be approximated by \(D/D_{{\mathscr {W}}}\approx 1\). We have thus seen that in this numerical example the control error follows the information theoretical bound for Gaussian white noise, Eq. (35), as well as the prediction from the perturbative smallnoise approximation of “The small noise approximation” section.
Decay channel
As a second example, we consider a twolevel quantum system, where the Hamiltonian \(H_s(t)\) is provided by
and a decay term described by the GKSL operator of Eq. (16). For the numerical simulations we set \(T=1\), \(\omega _z=2\pi \times 1\), and \(\gamma =2\pi \times 0.4\). Then, we fix the signal power S, such that \(\int _0^T f(t)^2 dt = (2\pi \times 4)^2\), and thus the signaltonoise ratio by following Eq. (28).
Here, our aim is to optimize the state transfer between a random initial state and a random target state (both taken as pure), and to investigate 100 instances of such random pairs of pure states. For this purpose, each random instance is optimized with dCRAB for different values of the bandwidth \(\Delta \Omega \). Figure 2 shows the scaling of the maximum control error (maximized over the random instances of the initial and target states) with the bandwidth.
Again, we consider two models for the scaling of the control error \(\varepsilon \). Specifically, from Eq. (35), one can employ the model
up to some constants \(a_1\), \(b_1\) and \(c_1\). To verify this model from the numerical data, the free parameters of the model are fit by excluding the data point in correspondence of the smallest value of \(\Delta \Omega \) that can be considered as an outlier. Indeed, for a small bandwidth of the control pulse (virtually a constant pulse), the control error \(\varepsilon \) takes the maximal possible value 1. The same procedure is carried out also for the alternative model \(\varepsilon _2= a_2 (\Delta \Omega )^{b_2}+c_2\). For the fit of \(\varepsilon _1\), shown in Fig. 2, we obtain a RMS of 0.017, while for \(\varepsilon _2\) the RMS is around 0.063. We can thus conclude that the numerical data favors an exponential scaling of the control error with the bandwidth, as opposed to a powerlaw scaling in agreement with Eq. (35).
As a remark, let us note here that the bandwidth \(\Delta \Omega \) plays a quite crucial role. Indeed, in this case, the optimal control strategy has to move the quantum system as fast as possible into the decoherencefree subspace (or more precisely in the nondecaying state \(0\rangle \!\langle 0\)), by then giving the system another fast kick, right before the end of the evolution time, to steer it into the target state. The higher the admissible bandwidth is, the faster these kicks can be, and so the smaller the time the quantum system is exposed to decay and the smaller the control error. For this reason, in this numerical example we can observe the bandwidthdependence of the control error as predicted by the informationtheoretical bound for Gaussian white noise, Eq. (35).
Examples with Gaussian colored noise
To test the analytical results in “Relation with the Kofman–Kurizki decoherence universal formula” section, we simulate both the quantum dynamics of one qubit governed by the Hamiltonian
where \(\xi (t)\) is a colored noise field with spectrum \(\varphi _{\xi }(\omega )\), and the quantum dynamics generated by the Hamiltonian
For both cases, in the numerical simulations, we set \(T=1\), \(\omega _y = \omega _z = 2\pi \), and we ensure that \(\int _0^T f(t)^2 dt = \omega _x^2\) and \(\int _0^T \xi (t)^2 dt = 4\pi ^2\) for all noise realizations (power constraints). Moreover, for the stochastic noise field, the \(1/f^\alpha \)noise with \(\alpha \in \{2,4\}\) is considered. To simulate the resulting quantum dynamics, we have generated 20 realizations of each noise field and solved the SSE for each realization separately. The control objectives are then calculated as the average fidelity from all the 20 realizations.
State protection
First, let us consider as initial state the density operator \(\rho (0) = \frac{1}{2}\left( 0\rangle + 1\rangle \right) \left( \langle 0 + \langle 1\right) \) with the aim to preserve the system in this state (i.e., \(\rho _T=\rho (0)\)). For the scenario \(H_3\) (i.e., for the quantum dynamics described by the Hamiltonian \(H_3(t)\)) we keep the pulse \(f(t)=\omega _x=\textrm{const}\). Instead, for the scenario \(H_4\) (i.e., for the quantum dynamics originated by the Hamiltonian \(H_4(t)\)) the aim is to find the optimal solution f(t) that respects the power constraints, with a pulse modulation corresponding to \(D = 10\). From “Relation with the Kofman–Kurizki decoherence universal formula” section we expect that \(\omega _x\) determines the support of the filter function (i.e., \(\omega _c\approx \omega _x\)), such that the control error \(\varepsilon \) follows the powerlaw behaviour corresponding to the noise coefficient \(\alpha \), i.e., \(\varepsilon \gtrsim 1/\omega _x^\alpha \). Figure 3 shows the numerical results that confirm the expected scaling of the control error as a function of \(\omega _x\). The numerical data obtained for the case of \(H_s(t) = H_3(t)\) are much better described by theory (where no control resources have to be used to counter the drift term in the Hamiltonian) than the data with \(H_s(t) = H_4(t)\). However, also the results for the scenario \(H_4\) confirm the theoretical scaling, although here the control field has also to counter the additional drift terms in the Hamiltonian. Thus, the filter function is potentially spectrally broader and the approximations of “Relation with the Kofman–Kurizki decoherence universal formula” section become less precise. To quantify the correspondence between numerical data and simulation, we employ the model \(\log (\varepsilon )=a + b\log (\omega _x)\) that is fit to the logarithm of the numerical control error, where we treat again the smallest value of \(\omega _x\) as an outlier. From this fit we obtain the parameter b, whose value is our estimate for \(\alpha \). Specifically, we find \(b=1.7\pm 0.1\) for (\(\alpha =2\) and \(H_3\)), \(b=2.4\pm 0.3\) for (\(\alpha =2\) and \(H_4\)), \(b=4.0\pm 0.1\) for (\(\alpha =4\) and \(H_3\)), and \(b=3.3\pm 0.3\) for (\(\alpha =4\) and \(H_4\)). Summarizing, we can thus clearly distinguish the \(1/f^2\)noise from the \(1/f^4\)noise, with a precision of about \(0.10.3\) for the scenario \(H_3\) and slightly smaller for \(H_4\) in agreement with the bounds derived in “Relation with the Kofman–Kurizki decoherence universal formula” section from the informationtheoretical aproach as well as from the filterfunction approach for the example with 1/fnoise.
State transfer
Then, we consider a more general case, where the initial and target states are chosen randomly. We thus examine 50 different random pairs of initial and target states for each set of investigated parameters; we choose the scenario \(H_4\) and we fix the power of the control pulse by setting \(\omega _x=2\pi \times 5\). Our aim is to find the optimal choice of the control pulse that minimizes the error of the control problem for different values of the control bandwidth and for \(1/f^2\) and \(1/f^4\)noise. In Fig. 4 we show the numerical results for the maximum error over all the instances of random initial and target states for both types of noise and each value of the bandwidth \(\Delta \Omega \in 2\pi [1,10]\). We expect that the control error scales as \(\varepsilon \propto 1/(\Delta \Omega )^a\). Numerically, we find instead \(a=1.3\) and \(a=1.9\) for \(\alpha =2\) and \(\alpha =4\), respectively. Thus, due to the more complex dynamics, we do not recover exactly the scaling as in Fig. 3 or a similar analytic prediction. However, we still find a clear difference in the error scaling for the two types of noise, since the fast modulations of the system suppress the lowfrequency noise more efficiently than the highfrequency noise. As a consequence, we can conclude that the control resources are used to operate the quantum system in a regime where it is less affected by the noise. In particular, if the noise power spectral density is decreasing with increasing frequency, increasing the bandwidth of the control (and thus its information content) allows to decrease the control error. Moreover, if the noise decreases faster, also the error scaling is more advantageous, and less resources are required to obtain the same control error compared to a slowly decreasing noise power spectral density.
Conclusions
We have studied the error scaling of a quantum control problem as a function of the noise level and control resources from an information theoretical perspective, as well as from a dynamic perspective both analytically and numerically. We have shown that the two approaches lead to the same scaling and thus are consistent. To achieve the results we have extended the information theoretical model of Ref.^{72} to colored noise and we have performed numerical examples for both white noise and colored noise to investigate the relationship between the information theoretical error bounds with the results of optimal control solutions. Furthermore, we have also analytically investigated the dynamics of a quantum system coupled to a temporally correlated environment, with the help of the Kofman–Kurizki universal formula, and then recovered the same scaling of the control error with the control modulation as predicted by the information theoretical bounds. A generalization of these results to the case of quantum gate optimization seems possible by replacing the dimension of the reachable states with the dimension of the special unitary group containing the gates. This could be investigated in a future work.
We expect that our results can pave the way towards an improved design of optimized control pulses for open quantum systems, whereby the optimization is performed also with respect to some environmental features. High fidelity control of open quantum systems, indeed, is an extremely important ingredient in the emerging field of quantum technologies, where one needs to perform precise operations under realistic (noisy) settings.
Data availibility
The datasets used for this article are available from the corresponding author on reasonable request.
References
Breuer, H. & Petruccione, F. The Theory of Open Quantum Systems (Oxford University Press, 2003).
Caruso, F., Giovannetti, V., Lupo, C. & Mancini, S. Quantum channels and memory effects. Rev. Mod. Phys. 86, 1203 (2014).
Davies, E. B. & Lewis, J. T. An operational approach to quantum probability. Commun. Math. Phys. 17, 239 (1970).
Wiseman, H. M. Quantum trajectories and quantum measurement theory. Quantum Semiclass. Opt. 8, 205–222 (1996).
Rivas, A. & Huelga, S. Open Quantum Systems: An Introduction (Springer Verlag, 2012).
Gherardini, S. et al. Stochastic quantum Zeno by large deviation theory. New J. Phys. 18, 013048 (2016).
Müller, M. M., Gherardini, S. & Caruso, F. Quantum Zeno dynamics through stochastic protocols. Annalen der Physik 529(9), 1600206 (2017).
Rossi, M. A. C. et al. Effective description of the shorttime dynamics in open quantum systems. Phys. Rev. A 96, 032116 (2017).
Weissman, M. B. \(1/f\) noise and other slow, nonexponential kinetics in condensed matter. Rev. Mod. Phys. 60, 537 (1988).
Bosman, G. ed. Noise in Physical Systems and 1/f Fluctuations (Proceedings of the 16th International Conference (2001).
Paladino, E., Galperin, Y. M., Falci, G. & Altshuler, B. L. 1/f noise: Implications for solidstate quantum information. Rev. Mod. Phys. 86, 361 (2004).
Borregaard, J. & Sørensen, A. S. Efficient atomic clocks operated with several atomic ensembles. Phys. Rev. Lett. 111, 090802 (2013).
Norcia, M. A. et al. Secondsscale coherence on an optical clock transition in a tweezer array. Science 366(6461), 93–97 (2019).
Dörscher, S. et al. Dynamical decoupling of laser phase noise in compound atomic clocks. Commun. Phys. 3, 185 (2020).
Müller, M. M., Gherardini, S., Smerzi, A. & Caruso, F. Fisher information from stochastic quantum measurements. Phys. Rev. A 94, 042322 (2016).
Müller, M. M., Gherardini, S. & Caruso, F. Stochastic quantum Zenobased detection of noise correlations. Sci. Rep. 6, 38650 (2016).
Degen, C. L., Reinhard, F. & Cappellaro, P. Quantum sensing. Rev. Mod. Phys. 89, 035002 (2017).
Szankowski, P., Ramon, G., Krzywda, J., Kwiatkowski, D. & Cywinski, L. Environmental noise spectroscopy with qubits subjected to dynamical decoupling. J. Phys.: Condens. Matter 29, 333001 (2017).
Paris, M. & Rehaćek, J. Quantum State Estimation (Springer, 2004).
Ronnow, T. F. et al. Defining and detecting quantum speedup. Science 345(6195), 420–424 (2014).
Viola, L., Knill, E. & Lloyd, S. Dynamical decoupling of open quantum systems. Phys. Rev. Lett. 82, 2417 (1999).
Kofman, A. G. & Kurizki, G. Acceleration of quantum decay processes by frequent observations. Nature 405, 546–550 (2000).
Kofman, A. G. & Kurizki, G. Universal dynamical control of quantum mechanical decay: Modulation of the coupling to the continuum. Phys. Rev. Lett. 87, 270405 (2001).
Gordon, G., Erez, N. & Kurizki, G. Universal dynamical decoherence control of noisy single and multiqubit systems. J. Phys. B 40, 75 (2007).
Biercuk, M. J., Doherty, A. C. & Uys, H. Dynamical decoupling construction as a filterdesign problem. J. Phys. B: At. Mol. Opt. Phys. 44, 154002 (2011).
Green, T. J., Sastrawan, J., Uys, H. & Biercuk, M. J. Arbitrary quantum control of qubits in the presence of universal noise. New J. Phys. 15, 095004 (2013).
PazSilva, G. A. & Viola, L. General transferfunction approach to noise filtering in openloop quantum control. Phys. Rev. Lett. 113, 250501 (2014).
Gordon, G., Kurizki, G. & Lidar, D. A. Optimal dynamical decoherence control of a qubit. Phys. Rev. Lett. 101, 010403 (2008).
Clausen, J., Bensky, G. & Kurizki, G. Taskoptimized control of open quantum systems. Phys. Rev. A 85, 052105 (2012).
Müller, M. M., Gherardini, S. & Caruso, F. Noiserobust quantum sensing via optimal multiprobe spectroscopy. Sci. Rep. 8, 14278 (2018).
Poggiali, F., Cappellaro, P. & Fabbri, N. Optimal control for onequbit quantum sensing. Phys. Rev. X 8(2), 021059 (2018).
Jurdjevic, V. Geometric Control Theory (Cambridge University Press, 1996).
D’Alessandro, D. Introduction to Quantum Control and Dynamics (Chapman and Hall/CRC, 2007).
Brif, C., Chakrabarti, R. & Rabitz, H. Control of quantum phenomena: Past, present and future. New J. Phys. 12, 075008 (2010).
Glaser, S. J. et al. Training Schrödinger’s cat: Quantum optimal control. Eur. Phys. J. D 69, 279 (2015).
Müller, M. M., Said, R. S., Jelezko, F., Calarco, T. & Montangero, S. One decade of quantum optimal control in the chopped random basis. Rep. Prog. Phys. 85, 076001 (2022).
Koch, C. P. Controlling open quantum systems: Tools, achievements, and limitations. J. Phys. Condens. Matter 28, 213001 (2016).
Stefanatos, D., Khaneja, N. & Glaser, S. J. Optimal control of coupled spins in the presence of longitudinal and transverse relaxation. Phys. Rev. A 69, 022319 (2004).
Schmidt, R., Negretti, A., Ankerhold, J., Calarco, T. & Stockburger, J. T. Optimal control of open quantum systems: Cooperative effects of driving and dissipation. Phys. Rev. Lett. 107, 130404 (2011).
Mukherjee, V. et al. Speeding up and slowing down the relaxation of a qubit by optimal control. Phys. Rev. A 88(6), 062326 (2013).
Hoyer, S. et al. Realistic and verifiable coherent control of excitonic states in a lightharvesting complex. New J. Phys. 16, 045007 (2014).
Kallush, S., Kashin, M. & Kosloff, R. Quantum control with noisy fields, computational complexity versus sensitivity to noise. New J. Phys. 16, 015008 (2014).
Stefanatos, D. Optimal efficiency of a noisy quantum heat engine. Phys. Rev. E 90, 012119 (2014).
Pawela, L. & Puchala, Z. Quantum control robust with respect to coupling with an external environment. Quantum Inf. Process. 14, 437–446 (2015).
Reich, D. M., Katz, N. & Koch, C. P. Exploiting nonMarkovianity for quantum control. Sci. Rep. 5, 12430 (2015).
Mukherjee, V. et al. Efficiency of quantum controlled nonMarkovian thermalization. New J. Phys. 17, 063031 (2015).
Lovecchio, C. et al. Optimal preparation of quantum states on an atomchip device. Phys. Rev. A 93(1), 010304 (2016).
Konnov, A. & Krotov, V. F. On global methods for the successive improvement of control processes. Avtomatika i Telemekhanika 10, 77–88 (1999).
Khaneja, N., Reiss, T., Kehlet, C., SchulteHerbrüggen, T. & Glaser, S. J. Optimal control of coupled spin dynamics: Design of NMR pulse sequences by gradient ascent algorithms. J. Magn. Reson. 172, 296 (2005).
Doria, P., Calarco, T. & Montangero, S. Optimal control technique for manybody quantum dynamics. Phys. Rev. Lett. 106(19), 190501 (2011).
Caneva, T., Calarco, T. & Montangero, S. Chopped randombasis quantum optimization. Phys. Rev. A 84(2), 022326 (2011).
Rach, N., Müller, M. M., Calarco, T. & Montangero, S. Dressing the choppedrandombasis optimization: A bandwidthlimited access to the trapfree landscape. Phys. Rev. A 92, 062343 (2015).
Reich, D. M., Palao, J. P. & Koch, C. P. Optimal control under spectral constraints: Enforcing multiphoton absorption pathways. J. Mod. Opt. 61, 822 (2014).
Motzoi, F., Gambetta, J. M., Merkel, S. T. & Wilhelm, F. K. Optimal control methods for rapidly timevarying Hamiltonians. Phys. Rev. A 84, 022307 (2011).
Machnes, S., Assémat, E., Tannor, D. & Wilhelm, F. K. Gradient optimization of analytic controls: The route to high accuracy quantum optimal control. Phys. Rev. Lett. 120, 150401 (2018).
Lucarelli, D. Quantum optimal control via gradient ascent in function space and the timebandwidth quantum speed limit. Phys. Rev. A 97, 062346 (2018).
Sørensen, J. J. W. H., Aranburu, M. O., Heinzel, T. & Sherson, J. F. Quantum optimal control in a chopped basis: Applications in control of Bose–Einstein condensates. Phys. Rev. A 98, 022119 (2018).
van Frank, S. et al. Interferometry with nonclassical motional states of a Bose–Einstein condensate. Nat. Commun. 5, 4009 (2014).
Omran, A. et al. Generation and manipulation of Schrödinger cat states in Rydberg atom arrays. Science 365, 570–574 (2019).
Rosi, S. et al. Fast closedloop optimal control of ultracold atoms in an optical lattice. Phys. Rev. A 88(2), 021601 (2013).
Frank, F. et al. Autonomous calibration of single spin qubit operations. npj Quantum Inf. 3, 48 (2017).
Heck, R. et al. Remote optimization of an ultracold atoms experiment by experts and citizen scientists. Proc. Natl. Acad. Sci. 115(48), E11231–E11237 (2018).
Weidner, C. A. & Anderson, Dana Z. Experimental demonstration of shakenlattice interferometry. Phys. Rev. Lett. 120, 263201 (2018).
Oshnik, N. et al. Robust magnetometry with single NV centers via twostep optimization. Phys. Rev. A 106, 013107 (2022).
Marshall, A., Reisser, T., Rembold, P., Müller, C., Scheuer, J., Gierse, M., Eichhorn, T., Steiner, J. M., Hautle, P., Calarco, T., Jelezko, F., Plenio, M. B., Montangero, S., Schwartz, I., Müller, M. M. & Neumann, P. Eprint arXiv:2112.15021 (2021).
Margolus, N. & Levitin, L. B. The maximum speed of dynamical evolution. Physica D 120(1–2), 188–195 (1998).
Deffner, S. & Campbell, S. Quantum speed limits: From Heisenberg’s uncertainty principle to optimal quantum control. J. Phys. A: Math. Theor. 50, 453001 (2017).
Deffner, S. & Lutz, E. Quantum speed limit for nonMarkovian dynamics. Phys. Rev. Lett. 111, 010402 (2013).
Caneva, T. et al. Optimal control at the quantum speed limit. Phys. Rev. Lett. 103, 240501 (2009).
Moore, K. W. & Rabitz, H. Exploring constrained quantum control landscapes. J. Chem. Phys. 137, 134113 (2012).
Caneva, T. et al. Complexity of controlling quantum manybody dynamics. Phys. Rev. A 89, 04322 (2014).
Lloyd, S. & Montangero, S. Information theoretical analysis of quantum optimal control. Phys. Rev. Lett. 113, 010502 (2014).
Cover, T. M. & Thomas, J. A. Elements of Information Theory (WileyInterscience, 2006).
Shannon, C. E. A mathematical theory of communication. Bell Syst. Tech. J. 27, 623–656 (1948).
Shannon, C. E. Communication in the presence of noise. Proc. IRE 37(1), 10–21 (1949).
Wu, R., Brif, C., James, M. & Rabitz, H. Limits of optimal control yields achievable with quantum controllers. Phys. Rev. A 91, 042327 (2015).
Gherardini, S., Müller, M. M., Montangero, S., Calarco, T. & Caruso, F. Information flow and error scaling for fullyquantum control. Phys. Rev. Res. 4(2), 023027 (2022).
Bylicka, B., Chruscinski, D. & Maniscalco, S. NonMarkovianity and reservoir memory of quantum channels: A quantum information theory perspective. Sci. Rep. 4, 5720 (2014).
Uhlmann, A. The “transition probability’’ in the state space of a \(^\ast \)algebra. Rep. Math. Phys. 9(2), 273–279 (1976).
Nelder, J. A. & Mead, R. A simplex method for function minimization. Comput. J. 7(4), 308–313 (1965).
Chakrabarti, R. & Rabitz, H. Quantum control landscapes. Int. Rev. Phys. Chem. 26(4), 671–735 (2007).
Van Kampen, N. G. Stochastic Processes in Physics and Chemistry 3rd edn. (Elsevier, 2007).
Gorini, V. & Kossakowski, A. Nlevel system in contact with a singular reservoir. J. Math. Phys. 17, 1298 (1976).
Kay, S. M. Fundamentals of Statistical Signal Processing (Prentice Hall, 2001).
Hartley, R. V. L. Transmission of information 1. Bell Syst. Tech. J. 7, 535–563 (1928).
Gronwall, T. H. Note on the derivatives with respect to a parameter of the solutions of a system of differential equations. Ann. Math. 20(2), 292–296 (1919).
Zwick, A., Alvarez, G. A. & Kurizki, G. Maximizing information on the environment by dynamically controlled qubit probes. Phys. Rev. Appl. 5, 014007 (2016).
Yuge, T., Sasaki, S. & Hirayama, Y. Measurement of the noise spectrum using a multiplepulse sequence. Phys. Rev. Lett. 107, 170504 (2011).
Alvarez, G. A. & Suter, D. Measuring the spectrum of colored noise by dynamical decoupling. Phys. Rev. Lett. 107, 230501 (2011).
Bylander, J. et al. Noise spectroscopy through dynamical decoupling with a superconducting flux qubit. Nat. Phys. 7, 565–570 (2011).
Norris, L. M., PazSilva, G. A. & Viola, L. Qubit noise spectroscopy for nonGaussian dephasing environments. Phys. Rev. Lett. 116, 150503 (2016).
Frey, V. M. et al. Application of optimal bandlimited control protocols to quantum noise sensing. Nat. Commun. 8, 2189 (2017).
Do, H.V. et al. Experimental proof of quantum Zenoassisted noise sensing. New J. Phys. 21, 113056 (2019).
Martina, S., Gherardini, S., & Caruso, F. Machine learning approach for quantum nonMarkovian noise classification. Eprint arXiv:2101.03221v2 (2021).
Wise, D. F., Morton, J. J. L. & Dhomkar, S. Using deep learning to understand and mitigate the qubit noise environment. PRX Quantum 2, 010316 (2021).
Acknowledgements
M.M.M and T.C. acknowledge funding from the European Union’s Horizon 2020 research and innovation programme under Grant Agreement No. 817482 (PASQuanS), as well as from the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy—Cluster of Excellence Matter and Light for Quantum Computing (ML4Q) EXC 2004/1—390534769 and from the German Federal Ministry of Education and Research (BMBF Project No. 13N16210, SPINNING). S.G. and F.C. acknowledge funding from the European Union’s Horizon 2020 research and innovation programme under Grant Agreement No. 828946 (PATHOS), and from University of Florence through the Project QCODYCES. S.G. acknowledges The Blanceflor Foundation for financial support through the Project “The theRmodynamics behInd thE meaSuremenT postulate of quantum mEchanics (TRIESTE)”. S.M. acknowledges support from the European Union’s Horizon 2020 research and innovation programme under the Marie SkłodowskaCurie grant agreement No. 765267 (QuSCo), and No. 817482 (PASQuanS), by the Italian PRIN 2017 and the CARIPARO Project QUASAR.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Contributions
M.M.M. and S.G. have carried out the calculations and written the manuscript. M.M.M. has performed the numerical simulation. S.M., T.C. and F.C. have supervised the work. All authors have contributed to the idea and discussed the work as well as contributed to the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary Information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Müller, M.M., Gherardini, S., Calarco, T. et al. Information theoretical limits for quantum optimal control solutions: error scaling of noisy control channels. Sci Rep 12, 21405 (2022). https://doi.org/10.1038/s41598022257706
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598022257706
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.