Information theoretical limits for quantum optimal control solutions: error scaling of noisy control channels

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 (information-time 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 information-time 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.

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 non-unitary operator^1,2. The semi-classical 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–8. An example of a relevant noise source—especially in biological, solid-state systems and atomic clocks—is provided by the 1/f noise^9–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–18, e.g., by means of quantum estimation methods¹⁹, is going to play a key role to enhance the performance of quantum technology devices²⁰.

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²¹. This approach allows to enhance or suppress certain desired interaction modes^22–27 and the protocols can also be optimized by analytic or numeric optimization algorithms^28–31. A different approach, also followed in this article, is the extension of quantum optimal control (QOC) methods^32–36 to open quantum systems^37–47. Commonly used algorithms for QOC include Krotov⁴⁸ gradient ascent pulse engineering (GRAPE)⁴⁹ and optimization in the chopped random basis (CRAB)^36,50,51, e.g., using the dressed CRAB (dCRAB) algorithm⁵². 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 gradient-free 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 gradient-based 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 bandwidth-limited solution that is given by an ansatz implementing a basis with the desired properties. Such a spectrally-limited control has been achieved also with gradient-based QOC algorithms such as Krotov⁵³ and GRAPE⁵⁴. Alternatively, also the CRAB-ansatz can be combined with gradient optimization. The gradient-based algorithms of the CRAB family are known as Gradient Optimization of AnalyTic controls (GOAT)⁵⁵, Gradient Ascent in Function Space (GRAFS)⁵⁶ or Gradient Optimization Using Parametrization (GROUP)⁵⁷ and a comparison among these algorithms is undertaken in Ref.⁵⁷. In this paper, we employ the dCRAB algorithm^36,50–52, which has been successfully demonstrated experimentally on different quantum platforms^47,58,59, including the use of closed-loop optimization^60–65.

An important limit for any quantum control solution is given by the time-energy bound known as quantum speed limit (QSL)^66,67 that fundamentally reflects the time-energy uncertainty relation. The latter can be formulated also for open quantum systems⁶⁸ and its effects can be observed in QOC applications when the pulse operation time approaches the theoretical QSL⁶⁹.

Another bound describing QOC performance is provided by the information content of the control pulse: in Ref.⁷⁰ the so-called “$2M-2$-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 many-body systems⁷¹. Specifically, for a perfect state transfer in an M-dimensional system, $2M-2$ 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 ($2M-2$) 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⁷². In fact, by using the tools from classical and quantum information theory^2,73–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 (fully-quantum 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 system-noise field interactions, as for example in⁷⁸ where correlated quantum dynamics (also leading to non-Markovian 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 non-deterministic 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)

$$\begin{array}{c}\hfill \dot{\rho }(t)=-i[H(t),\rho (t)],\end{array}$$ 1

with $\hslash$, reduced Planck constant, set to 1. Here, the Hamiltonian

$$\begin{array}{c}\hfill H(t)=H_d+f(t)H_c+\xi (t)H_n\end{array}$$ 2

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 $\widehat{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 $\widehat{f}(t)$ does not necessarily have an exact solution. This necessarily entails a non-zero control error $\epsilon$, 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 $\epsilon$-ball around the target state⁷². The control error $\epsilon$ is commonly expressed as a function of the Uhlmann fidelity $\mathfrak{F}({\rho }_T,\rho (T))$ between the target and the final states⁷⁹. In our context, the latter is slightly modified as

$$\begin{array}{c}\hfill \mathfrak{F}({\rho }_T,⟨\rho (T)⟩)\equiv {\left(\text{Tr},\sqrt{\sqrt{{\rho }_T}⟨\rho (T)⟩\sqrt{{\rho }_T}}\right)}^2\end{array}$$ 3

that compares the target state ${\rho }_T$ and the average final state $⟨\rho (T)⟩$ such that $\epsilon \equiv 1-\mathfrak{F}({\rho }_T,⟨\rho (T)⟩)$, where the averaging $⟨·⟩$ 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⁵² to solve the optimization problem. This algorithm makes an ansatz for the optimal solution of the form

$$\begin{array}{c}\hfill f(t)=\sum _{i=1}^{N_c}{c}_i{f}_i(t),\end{array}$$ 4

where the basis functions $f_i(t)$ span a subspace of the (infinite-dimensional) 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 Nelder-Mead simplex algorithm⁸⁰ to find the optimal set of coefficients $c_i$ $(i=1,\cdots 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:

$$\begin{array}{c}\hfill f^j(t)=c_0^j{f}^{j-1}(t)+\sum _{i=1}^{N_c}{c}_i^j{f}_i^j(t),\end{array}$$ 5

where $f_i^j(t)$ are the new basis functions, and $f^{j-1}(t)$ is the optimal solution from the ($j-1$)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,\cdots ,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.

Time-continuous 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):

$$\begin{array}{c}\hfill \dot{\rho }(t)=-i[H(t),\rho (t)]=-i[H_s(t),\rho (t)]-i[H_p(t),\rho (t)],\end{array}$$ 6

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

$$\begin{array}{c}\hfill \rho (t)=\rho (0)-i{\int }_0^t[H(t^{\prime }),\rho (t^{\prime })]d{t}^{\prime },\end{array}$$ 7

can be re-inserted into the differential equation (6), thus leading to

$$\begin{array}{c}\hfill {\displaystyle \dot{\rho }(t)=-i[H_s(t),\rho (t)]-i[\xi (t)H_n,\left(\rho ,(0),-,i,{\int }_0^t,[H(t^{\prime }),\rho (t^{\prime })],d,t^{\prime }\right)].}\end{array}$$ 8

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 $⟨\xi (t)⟩\equiv {\int }_{\xi }{p}_t(\xi )\xi d\xi$ and

$$\begin{array}{c}\hfill R_{\xi }(t,t^{\prime })\equiv \langle \xi (t)\xi (t^{\prime })\rangle \equiv {\int }_{\xi }{\int }_{{\xi }^{\prime }}{p}_{t,t^{\prime }}(\xi ,{\xi }^{\prime })\xi {\xi }^{\prime }d\xi d{\xi }^{\prime }.\end{array}$$ 9

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 $⟨\xi (t)⟩=0$ (see Supplementary Information for more details in its derivation):

$$\begin{array}{c}\hfill ⟨\dot{\rho }(t)⟩=-i\left[H_s,(t),,,⟨\rho (t)⟩\right]-\left[H_n,,,\left[H_n,,,{\int }_0^t,R_{\xi },(t,t^{\prime }),⟨\rho (t^{\prime })⟩,d,t^{\prime }\right]\right].\end{array}$$ 10

For the sake of clarity, in the right-hand-side 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⟨\xi (t)\xi (t^{\prime })\rho (t^{\prime })⟩d{t}^{\prime }\approx {\int }_0^t⟨\xi (t)\xi (t^{\prime })⟩⟨\rho (t^{\prime })⟩d{t}^{\prime }={\int }_0^t{R}_{\xi }(t,t^{\prime })⟨\rho (t^{\prime })⟩d{t}^{\prime }$. As a consequence, the non-coherent 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 $⟨\rho ⟩$. 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^{\prime })$ 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⁸²:

• (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^{\prime }}(\xi )\xi d\xi$ $\forall t^{\prime }\in \mathbb{R}$.
• (ii)The correlation function is translation-invariant: $R_{\xi }(t,t^{\prime })=R_{\xi }(t+t^{\prime \prime },t^{\prime }+t^{\prime \prime })$ $\forall t^{\prime \prime }\in \mathbb{R}$. This implies that we can write $R_{\xi }(t,t^{\prime })=R_{\xi }(\tau )$ with $\tau \equiv t-t^{\prime }$.
• (iii)The second moment of $\xi$ is finite: $\int p_t(\xi ){\xi }^{2}d\xi <\infty$ $\forall t^{\prime }\in \mathbb{R}$.

As a result, the master equation (10) reads

$$\begin{array}{c}\hfill ⟨\dot{\rho }(t)⟩=-i\left[H_s,(t),,,⟨\rho (t)⟩\right]-\left[H_n,,,\left[H_n,,,{\int }_0^t,R_{\xi },(t-t^{\prime }),⟨\rho (t^{\prime })⟩,d,t^{\prime }\right]\right].\end{array}$$ 11

It is worth noting that the case of non-stationary noise terms, albeit here it is not addressed, can be obtained by considering ${\{\xi \}}_{t\in \mathbb{R}}$ as a piece-wise stationary stochastic process. From here on, we will omit the symbol $⟨·⟩$ 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 $⟨\xi (t)⟩$ and correlation function

$$\begin{array}{c}\hfill R_{\xi }(t-t^{\prime })=2\gamma \delta (t-t^{\prime }),\end{array}$$ 12

which is frequently employed to model thermal noise in electronic devices. Then, the master equation (11) reduces to

$$\begin{array}{c}\hfill \dot{\rho }(t)=-i[H_s(t),\rho (t)]-\gamma \left[H_n,,,[H_n,\rho (t)]\right]\end{array}$$ 13

where the parameter $\gamma$ denotes the noise strength. For instance, if we consider a two-level system and $H_n=\frac{1}{2}{\sigma }_z$ with ${\sigma }_z\equiv \left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)$ Pauli matrix, the master equation becomes

$$\begin{array}{c}\hfill \dot{\rho }(t)=-i[H_s(t),\rho (t)]+\mathcal{L}(\rho (t))\end{array}$$ 14

with

$$\begin{array}{c}\hfill \mathcal{L}(\rho (t))=\gamma \left(\begin{array}{cc}0& -{\rho }_{12}(t)\\ -{\rho }_{21}(t)& 0\end{array}\right).\end{array}$$ 15

Hence, also this approach can be employed to get the microscopic derivation of the pure-dephasing Gorini-Kossakowski-Sudarshan-Lindblad (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¹

$$\begin{array}{c}\hfill \mathcal{L}(\rho (t))=\gamma \left(\begin{array}{cc}{\rho }_{22}(t)& -\frac{1}{2}{\rho }_{12}(t)\\ -\frac{1}{2}{\rho }_{21}(t)& -{\rho }_{22}(t)\end{array}\right).\end{array}$$ 16

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 \left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$ and ${\sigma }_y\equiv \left(\begin{array}{cc}0& -i\\ i& 0\end{array}\right)$. 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}(t-t^{\prime })=2{\gamma }_k\delta (t-t^{\prime })$ 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

$$\begin{array}{c}\hfill \dot{\rho }(t)=-i[H_s(t),\rho (t)]+\gamma \left(\begin{array}{cc}{\rho }_{22}(t)-\frac{1}{2}& -\frac{1}{2}{\rho }_{12}(t)\\ -\frac{1}{2}{\rho }_{21}(t)& \frac{1}{2}-{\rho }_{22}(t)\end{array}\right)\end{array}$$ 17

where the non-coherent part of the right-hand-side of Eq. (17) is straightforwardly ascribable to the GKSL operator (16).

Measures of signals information content

Signal-to-noise ratio

The signal-to-noise ratio is a measure used in statistical signal processing to compare the powers of a desired signal and a noise source⁸⁴. It is usually characterized in the frequency domain. By properly formalizing the signal-to-noise 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 time-dependent 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 signal-to-noise 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 ${\mathrm{\Sigma }}_{\xi }$ the power of the stochastic noise field $\xi (t)$, we can define

$$\begin{array}{c}\hfill S=P_f||H_c{||}^2\text{and}N={\mathrm{\Sigma }}_{\xi }||H_n{||}^2,\end{array}$$ 18

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 signal-to-noise ratio can be written as

$$\begin{array}{c}\hfill \frac{S}{N}=\frac{P_f}{{\mathrm{\Sigma }}_{\xi }}.\end{array}$$ 19

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 signal-to-noise ratio is reduced accordingly. Moreover, if more than one control term is present, one could calculate the signal-to-noise ratio for each control term individually. In Eq. (19), the power $P_f$ of the control field is defined as

$$\begin{array}{c}\hfill P_f\equiv \frac{1}{T}{\int }_0^T{|f(t)|}^{2}dt,\end{array}$$ 20

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.,

$$\begin{array}{c}\hfill P_f=\frac{1}{2\pi }{\int }_{-\infty }^{\infty }{\varphi }_f(\omega )d\omega .\end{array}$$ 21

In Eq. (21), ${\varphi }_f(\omega )$ denotes the power spectral density of f(t), namely the Fourier transform of its auto-correlation function $R_f(\tau )\equiv {\int }_0^{\infty }f(t)f(t-\tau )dt$:

$$\begin{array}{c}\hfill {\varphi }_f(\omega )={\int }_{-\infty }^{\infty }{R}_f(\tau )e^{-i\omega \tau }d\tau .\end{array}$$ 22

Likewise, we can define the power spectral density of the stochastic noise field as

$$\begin{array}{c}\hfill {\phi }_{\xi }(\omega )={\int }_{-\infty }^{\infty }{R}_{\xi }(\tau )e^{-i\omega \tau }d\tau \end{array}$$ 23

and consequently the power ${\mathrm{\Sigma }}_{\xi }$ of the stochastic noise field as

$$\begin{array}{c}\hfill {\mathrm{\Sigma }}_{\xi }=\frac{1}{2\pi }{\int }_{-\infty }^{\infty }{\phi }_{\xi }(\omega )d\omega .\end{array}$$ 24

In conclusion, the signal-to-noise ratio can be generally written as

$$\begin{array}{c}\hfill \frac{S}{N}=\frac{{\displaystyle {\int }_{-\infty }^{\infty }{\varphi }_f(\omega )d\omega }}{{\displaystyle {\int }_{-\infty }^{\infty }{\phi }_{\xi }(\omega )d\omega }}.\end{array}$$ 25

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 ${\phi }_{\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 ${\phi }_{\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,

$$\begin{array}{c}\hfill {\mathrm{\Sigma }}_{\xi }\approx \frac{\gamma }{\pi }{\int }_{-\overline{\omega }}^{\overline{\omega }}d\omega =\frac{2}{\pi }\gamma \overline{\omega }\end{array}$$ 26

such that

$$\begin{array}{c}\hfill \frac{S}{N}\approx \frac{\pi }{2}\frac{||H_c{||}^2}{||H_n{||}^2}\frac{1}{\gamma \overline{\omega }T}{\int }_0^T{|f(t)|}^{2}dt.\end{array}$$ 27

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 time-grid. However, we will circumvent the problem of setting a specific value for $\overline{\omega }$ by considering only the proportionality

$$\begin{array}{c}\hfill \frac{S}{N}\propto \frac{1}{\gamma }{\int }_0^T{|f(t)|}^{2}dt\end{array}$$ 28

that is sufficient to investigate the scaling of the control error as a function of the signal-to-noise-ratio.

Channel capacity

According to the Shannon information theory, a channel can asymptotically transmit a message without errors at the maximum rate $\mathcal{C}$, channel capacity⁷³. 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 \mathcal{C}T$, with T the duration of the signal. The channel capacity thus quantifies the information carried by the maximum number $\mathcal{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⁸⁵. In such case, what prevents $\mathcal{M}$ (the maximum number of distinguishable messages) from being infinite are (i) a finite dynamic range $\mathrm{\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

$$\begin{array}{c}\hfill \mathcal{C}=\mathrm{\Delta }\mathrm{\Omega }{log}_2(\mathcal{M})=\mathrm{\Delta }\mathrm{\Omega }{log}_2\left(1,+,\frac{\mathrm{\Delta }f}{\delta f}\right),\end{array}$$ 29

where $\mathrm{\Delta }f/\delta f$ is generally denoted as the resolution of the pulse f(t), while $\mathrm{\Delta }\mathrm{\Omega }={\omega }_{\text{max}}-{\omega }_{\text{min}}$ is the channel bandwidth given by the minimal and maximal frequency of the control field, ${\omega }_{\text{min}}$ and ${\omega }_{\text{max}}$, respectively.

Gaussian noise channels

Shannon showed^73–75 that also in the presence of noise, there exists a non-zero value for the channel capacity $\mathcal{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 $\mathrm{\Delta }\mathrm{\Omega }$ and the power of the noise fields. More formally, the capacity $\mathcal{C}$ of this noisy channel is equal to

$$\begin{array}{c}\hfill \mathcal{C}={\int }_{{\omega }_{\text{min}}}^{{\omega }_{\text{max}}}{log}_2\left(1,+,\frac{{\varphi }_f(\omega )}{{\phi }_{\xi }(\omega )}\right)d\omega .\end{array}$$ 30

Therefore, for Gaussian white noise, Eq. (30) reduces to

$$\begin{array}{c}\hfill \mathcal{C}=\mathrm{\Delta }\mathrm{\Omega }{log}_2\left(1,+,\frac{S}{N}\right),\end{array}$$ 31

where S/N is given by Eq. (25). The result of Eq. (31) is commonly known as the Shannon-Hartley 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⁷⁵, 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 lower-bounds 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⁷² (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⁷², we first introduce $\mathcal{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. $\mathcal{W}$ is also denoted as the set of reachable states and depends on the initial state $\rho (0)$. $\mathcal{W}$ has dimension $dim\mathcal{W}\equiv D_{\mathcal{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 bang-bang control pulses ²¹ or proportional to the bandwidth or sampling points of f(t). In⁷² 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_{\mathcal{W}}$ and $-{log}_2(\epsilon )$, i.e., $I_f\ge -D_{\mathcal{W}}{log}_2(\epsilon )$, where for a control error $\epsilon \in [0,1]$, with $\epsilon =1-\mathfrak{F}$, $-{log}_2(\epsilon )$ represents the self-information of $\epsilon$. It is worth observing that the inequality $I_f\ge -D_{\mathcal{W}}{log}_2(\epsilon )$ can be rewritten as a lower bound for the control error $\epsilon$:

$$\begin{array}{c}\hfill \epsilon \ge 2^{-\frac{I_f}{D_{\mathcal{W}}}}.\end{array}$$ 32

Hence, from $I_f\equiv \mathcal{C}T$, one finds that the minimal time needed to reach a given target state ${\rho }_T$ within $D_{\mathcal{W}}$ with precision $\epsilon$ is

$$\begin{array}{c}\hfill T\ge -\frac{D_{\mathcal{W}}}{\mathcal{C}}{log}_2(\epsilon ).\end{array}$$ 33

Eq. (33) can be interpreted as follows: The amount of information necessary to solve the QOC problem with precision $\epsilon$ under a finite channel capacity $\mathcal{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 $\mathcal{C}$ is provided by Hartley’s law: $\mathcal{C}=\mathrm{\Delta }\mathrm{\Omega }{log}_2(1+\mathrm{\Delta }f/\delta f)$. Hence, $I_f=T\mathrm{\Delta }\mathrm{\Omega }{log}_2(1+\mathrm{\Delta }f/\delta f)=D{log}_2(1+\mathrm{\Delta }f/\delta f)$ where $D=\mathrm{\Delta }\mathrm{\Omega }T$, since the bandwidth $\mathrm{\Delta }\mathrm{\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

$$\begin{array}{c}\hfill \epsilon \ge {\left(1,+,\frac{\mathrm{\Delta }f}{\delta f}\right)}^{-\frac{D}{D_{\mathcal{W}}}}.\end{array}$$ 34

Error bound for Gaussian white noise

Let us now consider a Gaussian white noise source. According to the Shannon-Hartley theorem, the information carried by the control pulse is $I_f=D{log}_2(1+S/N)$, where S/N is the signal-to-noise ratio defined above. This entails the following expression for the control error bound:

$$\begin{array}{c}\hfill \epsilon \ge {\left(1,+,\frac{S}{N}\right)}^{-\frac{D}{D_{\mathcal{W}}}}.\end{array}$$ 35

Note that both bounds (34) and (35) have been already introduced in Ref. ⁷², 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 $\mathcal{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, non-white) random sequences sampled over time by a Gaussian distribution. This means that the information carried by the control pulse is

$$\begin{array}{c}\hfill I_f=T{\int }_{{\omega }_{\text{min}}}^{{\omega }_{\text{max}}}{log}_2\left(1,+,\frac{{\varphi }_f(\omega )}{{\phi }_{\xi }(\omega )}\right)d\omega .\end{array}$$ 36

Hence, in this case a lower bound for the control error $\epsilon$ is provided by the relation

$$\begin{array}{c}\hfill {log}_2\epsilon \ge -\frac{T}{D_{\mathcal{W}}}{\int }_{{\omega }_{\text{min}}}^{{\omega }_{\text{max}}}{log}_2\left(1,+,\frac{{\varphi }_f(\omega )}{{\phi }_{\xi }(\omega )}\right)d\omega .\end{array}$$ 37

Let us observe that all the presented lower bounds for $\epsilon$, 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 $\epsilon$, 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 right-hand-side of the considered lower bound, as done for instance in Ref. ⁷⁷. Still, we will show in “Examples with Gaussian white noise” and “Examples with Gaussian colored noise” section that the scaling of the control error $\epsilon$ 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.,

$$\begin{array}{c}\hfill H(t)=H_s(t)+H_p(t),\end{array}$$ 38

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⟩⟨{\psi }_0|$, we obtain a Schrödinger equation with solution ${\rho }_s(t)=|\psi (t)⟩⟨\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)⟩⟨\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.²⁹, 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

$$\begin{array}{c}\hfill {\tilde{H}}_p(t)=U_s^{†}(t)H_p(t)U_s(t),\end{array}$$ 39

while the state evolution of the perturbed system becomes

$$\begin{array}{c}\hfill \tilde{\rho }(t)=U_s^{†}(t)\rho (t)U_s(t)=|\tilde{\psi }(t)⟩⟨\tilde{\psi }(t)|.\end{array}$$ 40

Thus, in the interaction picture, the Schrödinger equation is provided by

$$\begin{array}{c}\hfill \dot{\tilde{\rho }}(t)=-i\left[{\tilde{H}}_p,(t),,,\tilde{\rho },(t)\right],\end{array}$$ 41

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 ${\epsilon }_p$ of the perturbed (noisy) system can be expressed as

$$\begin{array}{c}\hfill {\epsilon }_p=1-F_p^2=1-{|⟨{\psi }_0|\tilde{\psi }(T)⟩|}^2,\end{array}$$ 42

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))=|⟨{\psi }_s(T)|\psi (T)⟩{|}^2={|⟨{\psi }_0|\tilde{\psi }(T)⟩|}^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

$$\begin{array}{c}\hfill |\tilde{\psi }(t)⟩\approx (1-i{\int }_0^t{\tilde{H}}_p(t_1)d{t}_1)|{\psi }_0⟩.\end{array}$$ 43

Exploiting this first-order Dyson expansion we thus obtain

$$\begin{array}{c}\hfill \Vert |{\psi }_s(T)⟩-|\psi (T)⟩\Vert =\Vert |{\psi }_0⟩-|\tilde{\psi }(T)⟩\Vert \approx ∥|,{\psi }_0,⟩-,\left(1,-,i,{\int }_0^T,{\tilde{H}}_p,(t_1),d,t_1\right),|{\psi }_0⟩∥\le \Vert H_p\Vert T,\end{array}$$ 44

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)⟩-|{\psi }_p(T)⟩\Vert \lesssim N/S$. Furthermore, with some algebra one has that

$$\begin{array}{cc}\hfill \Vert |{\psi }_s{(T)⟩-|\psi (T)⟩\Vert }^2=& 2-2\text{Re}\left(⟨,{\psi }_s,(T),|,\psi ,(T),⟩\right)\hfill \end{array}$$ 45

$$\begin{array}{cc}\hfill \ge & 2-2F_p,\hfill \end{array}$$ 46

where $\text{Re}(·)$ stands for the real part of $(·)$. Thus, for the fidelity $F_p$, it holds that

$$\begin{array}{c}\hfill F_p^2\ge (1-\frac{1}{2}\Vert |{\psi }_s{(T)⟩-|\psi (T)⟩\Vert }^2{)}^2\approx 1-\Vert |{\psi }_s{(T)⟩-|\psi (T)⟩\Vert }^2.\end{array}$$ 47

This entails that, by resolving for the operation error ${\epsilon }_p\equiv 1-F_p^2$, the following upper bound can be obtained:

$$\begin{array}{cc}\hfill {\epsilon }_p\lesssim & \Vert H_p{\Vert }^2{T}^2\propto N/S.\hfill \end{array}$$ 48

The same result can be achieved also by exploiting the Gronwall’s lemma ⁸⁶. Specifically, one gets

$$\begin{array}{c}\hfill \Vert |{\psi }_s(T)⟩-|\psi (T)⟩\Vert \le \frac{\Vert H_p\Vert }{\Vert H_s\Vert }\left(exp,\left\{{\int }_0^T,\Vert H_s(t)\Vert ,d,t\right\},-,1\right)\end{array}$$ 49

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 ${\epsilon }_p\equiv 1-F_p^2$ (operation error) with $F_p^2\ge 1-\Vert |{\psi }_s{(T)⟩-|\psi (T)⟩\Vert }^2$ [Eq. (47)], in this case we end-up to the upper bound

$$\begin{array}{cc}\hfill {\epsilon }_p\lesssim & \frac{\Vert H_p{\Vert }^2}{\Vert H_s{\Vert }^2}{\left(exp,\left\{{\int }_0^T,\Vert H_s(t)\Vert ,d,t\right\},-,1\right)}^2.\hfill \end{array}$$ 50

As a result, we can thus state that the operation error ${\epsilon }_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)⟩⟨{\psi }_s(T)|={\rho }_T$, then the control error is bounded by $\epsilon \le {\epsilon }_p$ and the right-hand-side of Eq. (48) is also an upper bound of the control error $\epsilon$ 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 so-called Kofman–Kurizki universal formula²³. The open dynamics originating from the interaction between a finite-dimensional quantum system and a reservoir leads to decoherence, i.e., the asymptotic loss of the quantum system coherence. We have already seen in “Time-continuous 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–31. Therefore, we phenomenologically expect that the information-time 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 Kofma-Kurizki 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:

$$\begin{array}{c}\hfill |\tilde{\psi }(t)⟩\approx (1-i{\int }_0^t{\tilde{H}}_p(t_1)d{t}_1-{\int }_0^t{\int }_0^{t_1}{\tilde{H}}_p(t_1){\tilde{H}}_p(t_2)d{t}_{1}d{t}_2)|{\psi }_0⟩.\end{array}$$ 51

Therefore, by performing the Taylor expansion of $|⟨{\psi }_0|\tilde{\psi }(T)⟩{|}^2$ (similarly to what done in “The small noise approximation” section), averaging over the noise realizations and substituting $⟨\xi (t)⟩=0$, one gets

$$\begin{array}{c}\hfill {\epsilon }_p\approx 2\text{Re}({\int }_0^T{\int }_0^{t_1}⟨{\psi }_0|{\tilde{H}}_n(t_1){\tilde{H}}_n(t_2)|{\psi }_0⟩\times ⟨\xi (t_1)\xi (t_2)⟩d{t}_{1}d{t}_2).\end{array}$$ 52

Thus, if we also introduce the filter function

$$\begin{array}{c}\hfill F(\omega )\equiv \frac{1}{\pi }\text{Re}({\int }_0^T{\int }_0^{t_1}⟨{\psi }_0|{\tilde{H}}_n(t_1){\tilde{H}}_n(t_2)|{\psi }_0⟩\times e^{-i\omega (t_1-t_2)}d{t}_{1}d{t}_2),\end{array}$$ 53

the right-hand-side of Eq. (52) can be written as the overlap of $F(\omega )$ and the noise spectrum ${\phi }_{\xi }(\omega )$, i.e.,

$$\begin{array}{c}\hfill {\epsilon }_p\approx |{\int }_{-\infty }^{\infty }F(\omega ){\phi }_{\xi }(\omega )d\omega |.\end{array}$$ 54

In quantum noise spectroscopy and dynamical decoupling^{21,25–27,30,88–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 bang-bang 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²⁸) and with a small bandwidth if compared to the power spectral density of the stochastic noise field. Thus, we can make the approximation

$$\begin{array}{c}\hfill {\epsilon }_p\approx C_0{\phi }_{\xi }({\omega }_c),\end{array}$$ 55

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 signal-to-noise ratio (evaluated in dB) exceeds a minimum threshold (at least 10-20 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 ${\varphi }_f(\omega )/{\phi }_{\xi }(\omega )\gg 1$ $\forall \omega$ such that ${log}_2\left(1,+,{\varphi }_f,(\omega ),/,{\phi }_{\xi },(\omega )\right)\approx {log}_2\left({\varphi }_f,(\omega ),/,{\phi }_{\xi },(\omega )\right)$. As a result,

$$\begin{array}{c}\hfill {log}_2\epsilon \gtrsim -\frac{T}{D_{\mathcal{W}}}{\int }_{{\omega }_{\text{min}}}^{{\omega }_{\text{max}}}{log}_2\left(\frac{{\varphi }_f(\omega )}{{\phi }_{\xi }(\omega )}\right)d\omega .\end{array}$$ 56

Then, let us again consider that the bandwidth of the control field is smaller than the frequency variation of the power spectral density ${\phi }_{\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({\varphi }_f,(\omega ),/,{\phi }_{\xi },(\omega )\right)d\omega$ can be approximated by its integrand $\mathrm{\Delta }\mathrm{\Omega }{log}_2\left(C_1,/,{\phi }_{\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 ${\varphi }_f(\omega )$. As a consequence,

$$\begin{array}{c}\hfill \epsilon \gtrsim {\left(\frac{{\phi }_{\xi }({\omega }_c)}{C_1}\right)}^{\frac{\mathrm{\Delta }\mathrm{\Omega }T}{D_{\mathcal{W}}}}\approx C_2{\phi }_{\xi }({\omega }_c),\end{array}$$ 57

with $D=\mathrm{\Delta }\mathrm{\Omega }T$ chosen to be approximately equal to $D_{\mathcal{W}}$ and such that $C_2\approx 1/C_1$ is a constant. The assumption $D\approx D_{\mathcal{W}}$ is justified by considering that for a value of D smaller than $D_{\mathcal{W}}$, even without noise, one may not have full control over the quantum system; while, for a value of D substantially larger than $D_{\mathcal{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 signal-to-noise 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/f-noise

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–11. As explained in Refs. ^9–11, the power spectral density of the $1/f^{\alpha }$-noise decays as a power-law with the frequency, i.e., ${\phi }_{\xi }(\omega )\propto 1/{\omega }^{\alpha }$ where the exponent $\alpha$ typically belongs to the range $0<\alpha <2$ (see also Refs. ⁴). The case of $\alpha =1$ is also called pink noise (1/f-noise). 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 $\epsilon$ decays as $\epsilon \approx C_0/{\omega }_c^{\alpha }$. Likewise, if we consider the error-bound arising from the Shannon-Hartley theorem, Eq. (57), we find that $\epsilon \gtrsim C_2/{\omega }_c^{\alpha }$, thus confirming the result.

Examples with Gaussian white noise

In this section we numerically examine the state-transfer control of a two-level 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 $\epsilon$ is studied as a function of the signal-to-noise ratio for a system subject to dephasing, while in ’Decay channel” section we study $\epsilon$ 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 two-level system with Hamiltonian $H_s(t)$ given by

$$\begin{array}{c}\hfill H_1(t)\equiv f(t){\sigma }_x+{\omega }_y{\sigma }_y+{\omega }_z{\sigma }_z,\end{array}$$ 58

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 signal-to-noise 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 signal-to-noise 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⟩⟨0|$ to the target state ${\rho }_T=|1⟩⟨1|$, by imposing a fixed bandwidth $\mathrm{\Delta }\mathrm{\Omega }$ of the control field f(t), where $|0⟩$ and $|1⟩$ are the eigenstates of ${\sigma }_z$. In the simulations $D_{\mathcal{W}}=2$, where in this case $D_{\mathcal{W}}$ represents the dimension of the reachable qubit (pure) states with disregard of the global phase, and $D=\frac{\mathrm{\Delta }\mathrm{\Omega }}{2\pi }T$. Figure 1 shows the resulting control error obtained by dCRAB optimization with control bandwidth $\mathrm{\Delta }\mathrm{\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 $\epsilon$ is dominated by the signal-to-noise ratio S/N. From Eq. (35) we thus expect that

$$\begin{array}{c}\hfill {\epsilon }_1\gtrsim b_1\frac{1}{1+a_1\frac{P_f}{\gamma }}\end{array}$$ 59

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 “Signal-to-noise ratio” section, and $D/D_{\mathcal{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 ${\epsilon }_2=b_{2}exp(-a_2\frac{P_f}{\gamma })+c_2$. If the fit for the first model produces a lower root-mean-square of the residuals (RMS), then this effectively proves our prediction for the scaling of the error (i.e., a power-law instead of an exponential scaling). In Fig. 1 we show the fit of ${\epsilon }_1$, for which we obtain a RMS of 0.00094, with $a_1=0.0745$ and $b_1=0.443$. Instead, for ${\epsilon }_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_{\mathcal{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_{\mathcal{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 small-noise approximation of “The small noise approximation” section.

Figure 1.

Dephasing channel (“Dephasing channel” section): Control error scaling with respect to the signal-to-noise ratio $S/N\propto P_f/\gamma$ for different values of D. For the parameters involved in the simulations, we have chosen the values $T=1$, ${\omega }_y=2\pi \times 0.5$, ${\omega }_z=2\pi \times 0.5$. Then, in each iteration of the optimization, the noise strength $\gamma$ is chosen as a function of the control pulse power $P_f$ to set the value of S/N. The data points plotted in the figure represent the minimum error from 10 optimization runs for each value of D, namely ($D=2$, blue squares), ($D=5$, yellow circles), ($D=10$, red triangles), and ($D=20$, green crosses). Finally, the fit curve (grey line, ‘fit’) is the result of the fit provided by Eq. (59) in the main text, with $a_1=0.0754$ and $b_1=0.443$.

Decay channel

As a second example, we consider a two-level quantum system, where the Hamiltonian $H_s(t)$ is provided by

$$\begin{array}{c}\hfill H_2(t)\equiv f(t){\sigma }_x+{\omega }_z{\sigma }_z,\end{array}$$ 60

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 signal-to-noise 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 $\mathrm{\Delta }\mathrm{\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.

Figure 2.

Decay channel (“Decay channel” section): Control error scaling with respect to the maximum bandwidth $\mathrm{\Delta }\mathrm{\Omega }$. The control error $\epsilon$ is reduced when a higher bandwidth allows faster transitions between the two states. The figure shows the maximal control error over 100 random instances of input and target states (blue squares). If the bandwidth is too low, then we do not have any control over the quantum system and the maximal error is given by the form of the error function (in our case $\epsilon \in [0,1]$). Then, we fit the remaining data points (grey solid line, ’fit’) with the error model of Eq. (61), as described in the text, with $a_1=0.51$, $b_1=0.039$ and $c_1=0.098$.

Again, we consider two models for the scaling of the control error $\epsilon$. Specifically, from Eq. (35), one can employ the model

$$\begin{array}{c}\hfill {\epsilon }_1\gtrsim a_{1}exp(-b_1\mathrm{\Delta }\mathrm{\Omega })+c_1\end{array}$$ 61

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 $\mathrm{\Delta }\mathrm{\Omega }$ that can be considered as an outlier. Indeed, for a small bandwidth of the control pulse (virtually a constant pulse), the control error $\epsilon$ takes the maximal possible value 1. The same procedure is carried out also for the alternative model ${\epsilon }_2=a_2{(\mathrm{\Delta }\mathrm{\Omega })}^{-b_2}+c_2$. For the fit of ${\epsilon }_1$, shown in Fig. 2, we obtain a RMS of 0.017, while for ${\epsilon }_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 power-law scaling in agreement with Eq. (35).

As a remark, let us note here that the bandwidth $\mathrm{\Delta }\mathrm{\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 decoherence-free subspace (or more precisely in the non-decaying state $|0⟩⟨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 bandwidth-dependence of the control error as predicted by the information-theoretical 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

$$\begin{array}{c}\hfill H_3(t)\equiv f(t){\sigma }_x+\xi (t){\sigma }_z,\end{array}$$ 62

where $\xi (t)$ is a colored noise field with spectrum ${\phi }_{\xi }(\omega )$, and the quantum dynamics generated by the Hamiltonian

$$\begin{array}{c}\hfill H_4(t)\equiv f(t){\sigma }_x+{\omega }_y{\sigma }_y+({\omega }_z+\xi (t)){\sigma }_z.\end{array}$$ 63

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,⟩,+,|,1,⟩\right)\left(⟨,0,|,+,⟨,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=\text{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 $\epsilon$ follows the power-law behaviour corresponding to the noise coefficient $\alpha$, i.e., $\epsilon \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(\epsilon )=a+blog({\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.1-0.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 information-theoretical aproach as well as from the filter-function approach for the example with 1/f-noise.

Figure 3.

State protection (“State protection” section): Control error scaling with respect to the Rabi frequency ${\omega }_x$ of the driving field for $1/f^2$- and $1/f^4$-noise and state preservation in $\frac{|0⟩+|1⟩}{\sqrt{2}}$. For both types of noise, we investigated separately the evolution of the quantum system according to the Hamiltonians $H_3$ and $H_4$. The Hamiltonian $H_3$ includes only a noise and a control term, and in such a scenario just a constant pulse already encodes all the information to carry out the control problem. We can observe that the control error scales with the expected $1/{\omega }_x^{\alpha }$ law provided by both the information theoretical bound and the analytic decoherence formula. In the second scenario the dynamics is governed by $H_4$ that includes also static terms in the Hamiltonian; thus, a time-modulated control pulse is needed. Yet, the scaling with ${\omega }_x^{\alpha }$ is still roughly maintained.

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 $\mathrm{\Delta }\mathrm{\Omega }\in 2\pi [1,10]$. We expect that the control error scales as $\epsilon \propto 1/{(\mathrm{\Delta }\mathrm{\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 low-frequency noise more efficiently than the high-frequency 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.

Figure 4.

State transfer (“State transfer” section): Control error scaling with respect to the bandwidth $\mathrm{\Delta }\mathrm{\Omega }$ of the control pulse for the $1/f^2$- and $1/f^4$-noise and state transfer between two random states. The time evolution is given by the Hamiltonian $H_4$. For each pair of $\alpha$ and $\mathrm{\Delta }\mathrm{\Omega }$, the figure shows the maximum control error over all pairs of random initial and target states. For $\alpha \in \{2,4\}$ we fit the scaling of the control error $\epsilon \propto 1/{(\mathrm{\Delta }\mathrm{\Omega })}^a$, whereby we have obtained $a=1.3$ and $a=1.9$ for $\alpha =2$ and $\alpha =4$, respectively.

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.⁷² 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.

Author 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.

Funding

Open Access funding enabled and organized by Projekt DEAL.

Data availibility

The datasets used for this article are available from the corresponding author on reasonable request.

Competing interests

The authors declare no competing interests.

Supplementary Information

The online version contains supplementary material available at 10.1038/s41598-022-25770-6.