---
address: |
    $^{1}$ Dipartimento di Fisica and MECENAS - Università di Bari, I-70126 Bari, Italy\
    $^{2}$ INFN, Sezione di Bari, I-70126 Bari, Italy\
    $^{3}$ Istituto Nazionale di Ottica - Consiglio Nazionale delle Ricerche (INO-CNR), I-50125 Firenze, Italy
---

Introduction
============

Quantum control is a relatively novel discipline, in which one seeks to control the evolution or the final state of a quantum system or to determine the output of a quantum process. The main objective is to counter the detrimental effects of (uncontrollable) noise and environment. The inspiration goes back to classical control, where one would make some measurement of the output and then use the results of such measurement to obtain the desired outcome (feedback mechanism). Similar ideas (but different techniques) motivated the development, in the 1970s and 1980s, of nuclear magnetic resonance imaging, towards very successful applications in medical diagnosis. The objective in that case was to control (spin) coherence.

In quantum mechanics and quantum applications things become more involved, because a quantum measurement collapses the wave function, thereby strongly affecting the quantum evolution. The question becomes: what can one actually do to a quantum system (from carefully tailoring measurements to accurately designing Hamiltonians or even Lindbladians) that will enable some control of the output? In an even more recent twist, some researchers have also considered the option of engineering the environment itself, towards specific quantum goals.

The quantum control problem translates to rotating a vector state from a specified initial direction to a desired final direction in a certain time. In a more general setting, this means evolving a generic state (density matrix) from a given initial state to a desired final state in a certain time. This is a difficult task, which essentially consists in the construction of a suitable transformation, in agreement with the guiding principles of quantum mechanics. We highlight in this article two main techniques that are studied nowadays.

Divide et impera (Divide and conquer)
=====================================

History
-------

In 1948 Feynman, working on his path-integral formulation of quantum mechanics [@ref:Feynman(1948); @ref:FeynmanHibbs(1965); @Schulman1981] noticed that one can obtain the quantum evolution by applying the following formula $$\begin{aligned}
\label{eq:feynman}
U_N (t)
& = & \underbrace{ 
\left(\e^{-\ii \frac{t}{N} T} \e^{-\ii \frac{t}{N} V}\right)
\left(\e^{-\ii \frac{t}{N}T } \e^{-\ii \frac{t}{N} V}\right)
\cdots 
\left(\e^{-\ii \frac{t}{N} T} \e^{-\ii \frac{t}{N} V}\right)}_{N \; \mathrm{times}} 
\nonumber \\
& = & \left(\e^{-\ii \frac{t}{N} T} \e^{-\ii \frac{t}{N} V}\right)^N 
\to \e^{-\ii t (T+V)}
= \e^{-\ii t H},  \qquad \text{as } N\to\infty,\end{aligned}$$ where $H=T+V$ is the Hamiltonian of the system, $T$ and $V$ being respectively the kinetic and potential energy. Feynman strived to bypass a crucial difficulty that plagues (exponentiated) quantum operators. Formula (\[eq:feynman\]) is valid although $T$ and $V$ do not commute: the key observation is that the error one makes in approximating the evolution with the $N$-product is of order $1/N$, and disappears in taking the limit.

Feynman built on a crucial observation that Dirac had made 15 years earlier [@ref:Dirac1933], concerning the infinitesimal expression of the quantum propagator. Feynman made no attempt at rigor (beyond the reasonable level of theoretical physics), unlike (presumably) Dirac, who did not dare to go beyond infinitesimal evolutions.

In fact, mathematicians independently worked on what they called product formulae. Trotter in 1959 [@ref:Trotter] and Kato in 1978 [@ref:KatoTrotter] investigated the limits of products of the following type $$\begin{aligned}
\label{eq:trotter}
V_N (t) 
& = & \underbrace{ 
\left(\e^{A/N} \e^{B/N}\right)
\left(\e^{A/N} \e^{B/N}\right) 
\cdots 
\left(\e^{A/N} \e^{B/N}\right)}_{N \; \mathrm{times}} 
\nonumber \\
& = & \left(\e^{A/N} \e^{B/N}\right)^N  
\to \e^{A+B} ,  \qquad \text{as } N\to\infty,\end{aligned}$$ and proved convergence for certain unbounded (linear) operators $A$ and $B$. Both Trotter and Kato were extending results by Lie [@ref:Lie], who had proved the validity of Eq. (\[eq:trotter\]) for $n \times n$ matrices.

Zeno
----

Misra and Sudarshan’s formulation of the quantum Zeno effect [@ref:QZEMisraSudarshan; @ref:QZEreview-JPA] makes use of the following formula $$\begin{aligned}
\label{eq:zenoms}
U_N (t)
& = & \underbrace{ 
\left(\e^{-\ii \frac{t}{N} H} P\right)
\left(\e^{-\ii \frac{t}{N} H} P\right)
\cdots 
\left(\e^{-\ii \frac{t}{N} H} P\right)}_{N \; \mathrm{times}} 
\nonumber \\
& = & \left(\e^{-\ii \frac{t}{N}  H} P\right)^N  
\to \e^{-\ii t H_\textrm{Z}} P,  \qquad \text{as } N\to\infty,\end{aligned}$$ where $P$ is a projection operator and $H_\textrm{Z}=PHP$ the “Zeno” Hamiltonian [@ref:QZS]. Notice that in general $U_N (t)$ is not unitary on the range of $P$, while the limit is, under suitable conditions and in particular cases, such as bounded $H$ or finite-dimensional $P$ [@ref:artzeno]. A general proof of the above formula is still missing, together with a rigorous definition of the Zeno Hamiltonian for infinite-dimensional projections and unbounded Hamiltonian.

Interestingly, the above formula can be re-written in terms of an absorbing “optical potential”. Let $P+Q=1$, with both $P$ and $Q$ projections. Then, by making use of the identity (valid in general, but we take $\gamma >0$) $$\label{eq:pq}
\e^{-\gamma Q} = P + \e^{-\gamma} Q ,$$ one gets $$\begin{aligned}
\label{eq:zenogamma}
U_N (t)
& = & \underbrace{ 
\left(\e^{-\ii \frac{t}{N} H} \e^{- \gamma Q}\right)
\left(\e^{-\ii \frac{t}{N} H} \e^{- \gamma Q}\right)
\cdots 
\left(\e^{-\ii \frac{t}{N} H} \e^{- \gamma Q}\right)}_{N \; \mathrm{times}} 
\nonumber \\
& = & \left(\e^{-\ii \frac{t}{N} H} \e^{- \gamma Q}\right)^N 
\to  \e^{-\ii t H_\textrm{Z}} P, \qquad \text{as } N\to\infty,\end{aligned}$$ which is essentially the same as (\[eq:zenoms\]). In a few words, the above formula works because the imaginary optical potential $\ii \gamma Q$ quickly (on a timescale $1/N\gamma$) absorbs away the unwanted component of the wave function, acting as a projection $P$.

Observe also that formula (\[eq:zenoms\]) is at the basis of the Faddeev-Popov method [@ref:FaddeevPopov] to quantize gauge quantum field theories within the framework of the path integral formulation. In this case, the projection imposes the gauge condition.

The afore-mentioned formulas are at the basis of the “pulsed” formulation of quantum control. Physically, the validity of the constraint is preserved during the evolution, but the quantum system is free to move within the (Zeno) subspaces of the (multidimensional constraint) [@ref:QZS]. In applications, $P$ must be designed in such a way as to reduce (or hinder) decoherence.

Kicks {#sec-kickform}
-----

In a similar spirit, physically equivalent dynamics can be obtained for a quantum system undergoing repeated unitary “kicks”, the physical duration of the kick being the shortest timescale of the problem (notice the analogy with a projection, that is also supposed to take place instantaneously). The evolution reads $$\begin{aligned}
U_N(t) &=&
\underbrace{\left( \e^{-\ii \frac{t}{N} H} U_{\mathrm{kick}}
\right)\left(\e^{-\ii \frac{t}{N} H} U_{\mathrm{kick}}
\right)\cdots \left(\e^{-\ii \frac{t}{N} H} U_{\mathrm{kick}}
\right)}_{N\; \mathrm{times}} \nonumber \\
& = &
\left(\e^{-\ii \frac{t}{N} H} U_{\mathrm{kick}} \right)^N
\sim \e^{-\ii t H_{\mathrm{Z}}} U_{\mathrm{kick}}^N, 
 \qquad \text{as } N\to\infty,
\label{eq:BBevol}\end{aligned}$$ where $$\label{eq:eqHz}
H_{\mathrm{Z}} = \sum_n P_n H P_n$$ is the Zeno Hamiltonian and $P_n$ the spectral projections of the kick (taken with a discrete spectrum) $$U_{\mathrm{kick}}=\sum_n \mathrm{e}^{-\ii\lambda_n} P_n . \quad
(\mathrm{e}^{-\ii\lambda_n}\neq \mathrm{e}^{-\ii\lambda_l}, \; \mbox{for} \; n\neq l.)
\label{eq:specdec}$$ This is again a Zeno dynamics. The Zeno subspaces are now a consequence of rapidly oscillating phases between different eigenspaces of the kick, yielding a superselection rule. This phenomenon was discovered in chemical physics, where it is known as NMR [@anderson; @ernst; @freeman; @levitt], and (re)baptized “bang-bang” control in the quantum-information literature [@viola98]. A very nice review is [@lidarrev].

Finally, we mention that the same formulas are of crucial importance in the study of quantum chaos [@ref:CasatiChaos; @ref:BerryChaos; @ref:Gutzwiller]. Set $t= N \tau$, keep $\tau$ fixed, and let $U_{\mathrm{kick}}=\e^{-\ii \tau_0 {V}}$, where $\tau_0$ is needed for dimensional purposes. The evolution is $$\begin{aligned}
\label{eq:qchaos}
& & \underbrace{ 
\left(\e^{-\ii \tau T} \e^{-\ii \tau_0 {V}}\right)
\left(\e^{-\ii \tau T} \e^{-\ii \tau_0 {V}}\right)
\cdots 
\left(\e^{-\ii \tau T} \e^{-\ii \tau_0 {V}}\right)}_{N \; \mathrm{times}} 
  =\left(\e^{-\ii \tau T} \e^{-\ii \tau_0 {V}}\right)^N ,  \qquad \text{as } N\to\infty,\end{aligned}$$ where $T$ is a kinetic energy operator and $V$ a potential. In the above formula $V$ is not divided by $N$, so that the evolution is governed by a singular time-dependent Hamiltonian $H=T + \tau_0  \sum_n \delta (t - n\tau) V$. Notice that unlike in formula (\[eq:BBevol\]), since $\tau$ is kept fixed, this is a large-time limit $t=N\tau \to \infty$. Alternatively, the evolution (\[eq:qchaos\]) can be thought as a sequence of purely kinetic and purely potential motions in which alternately the force is switched off (for a time $\tau$) and the mass made infinite (for a time $\tau_0$) [@ref:BerryChaos].

Persuade et rege (Persuade and rule) {#sec-contform}
====================================

Short timescales are physically associated with strong couplings. It must therefore be possible to rephrase the above evolutions in terms of a strong (continuous) coupling. Let $$H_K= H + K H_{\mathrm{c}} ,
 \label{eq:HKcoup}$$ where $H$ is the Hamiltonian of the system, $H_{\mathrm{c}}$ an interaction Hamiltonian performing a “continuous measurement” and $K$ a coupling constant.

We are interested in the $K\to\infty$ limit of the evolution operator $$\begin{aligned}
U_{K}(t) = \e^{-\ii t H_K } 
\sim \e^{-\ii t H_{\mathrm{Z}}}  \e^{-\ii t K H_{\mathrm{c}}},
 \qquad \text{as } K\to\infty,
\label{eq:measinter}\end{aligned}$$ where $H_{\mathrm{Z}}$ is given in Eq. (\[eq:eqHz\]), $P_n$ being the spectral projection of $H_{\mathrm{c}}$ (taken with a discrete spectrum) $$\label{eq:diagevol}
H_{\mathrm{c}} = \sum_n \eta_n P_n, \qquad (\eta_n\neq\eta_m,
\quad \mbox{for} \; n\neq m) \ .$$ These results are consequences of the adiabatic theorem [@ref:KatoAdiabatic]. The Zeno subspaces are again a consequence of the wildly oscillating phases between different eigenspaces. One can interpret the above results by saying that the external field/potential takes a steady, “persuading gaze” at the system.

Equivalence between continuous and pulsed formulations {#sec-unitequiv}
======================================================

The similarity between the “kicked” and “continuous” formulations, outlined in Secs. \[sec-kickform\] and \[sec-contform\], is in fact even more profound. The two procedures are physically equivalent, and only differ in the order in which two limits are computed [@ref:BBZeno].

The continuous case considers Eq. (\[eq:HKcoup\]) in the strong coupling limit $K\rightarrow \infty$, while the kicked dynamics is generated by the time-dependent Hamiltonian $$H_{\mathrm{kick}} =H+\tau_{0} \sum_n \delta (t - n\tau) H_{\mathrm{c}}, 
 \label{eq:puls}$$ where $\tau$ is the period between two kicks and $U_{\mathrm{kick}}=\exp
(-\ii\tau_0 H_{\mathrm{c}})$. The $N\rightarrow \infty$ limit in (\[eq:BBevol\]) corresponds to $\tau\rightarrow 0$. The Hamiltonians (\[eq:HKcoup\]) and (\[eq:puls\]) are both limiting cases of the following one $$H(\tau,K) = H+K
  \sum_{n}g\big( t-n(\tau+\tau_0/K) \big) H_{\mathrm{c}} ,
\label{eq:contpuls}$$ where $g(t)=\chi_{[-\tau_0/2 K,\tau_0/2 K ]}(t)$, with a fixed $\tau_0>0$. In Eq. (\[eq:contpuls\]) the period between two kicks is $\tau_{0}/K+\tau$, while the kick lasts for a time $\tau_{0}/K$. By taking the limit $\tau\rightarrow 0$ in Eq. (\[eq:contpuls\]) (a sequence of pulses of finite duration $\tau_0/K$ without any time interval among them), one recovers the continuous case (\[eq:HKcoup\]): $H(\tau, K) \to H_K$, as $\tau\to 0$. One takes afterwards the strong coupling limit $K\rightarrow \infty $ and gets the Zeno dynamics and subspaces. Let us now invert the order of the limits: first take the $K\rightarrow \infty $ limit (short pulses, but with the same global—integral—effect), to obtain the kicked case (\[eq:puls\]): $H(\tau, K) \to H_{\mathrm{kick}}$, as $K\to\infty$. Then, take the vanishing time interval limit $\tau\rightarrow 0$ to get again the Zeno dynamics and subspaces.

In short, by denoting with $U_{\tau, K}(t)$ the unitary evolution generated by $H(\tau,K)$, the formal equivalence between the two protocols is expressed by the relation $$\label{eq:limits}
  \lim_{K\rightarrow \infty }\;\lim_{\tau \rightarrow
    0} U_{\tau,K}(t)
  =\lim_{\tau\rightarrow 0}\;\lim_{K\rightarrow \infty }U_{\tau,K}(t),$$ with the left (right) side expressing the continuous (pulsed) case. This equivalence is only valid in the limit. It is physically legitimate if the inverse Zeno regime [@ref:InverseZeno] is avoided. In practice, for finite $N$ and $K$, there can be important differences [@ref:ControlDecoZeno].

Comments and conclusions
========================

The above discussion hinged upon Schrödinger equations, unitary dynamics, and projections *à la* von Neumann. This is only a part of the whole picture. Most results can be generalized to master (GKLS [@ref:GKLS-DariuszSaverio]) equations, quantum semigroups, and sequences of generic quantum operations [@ref:ZanardiDFS-PRL2014; @ref:ZanardiDFS-PRA2017; @ref:unity1; @ref:unity2]. Moreover, the analysis can be extended to multidimensional spaces, highlighting interesting relations with geometry [@ref:berry; @ref:geo] and complexity [@ref:plato].

American composer Harold Budd once said: “But that’s fine, because I like to have control of the ambience.” Lucky him. Physicists and mathematicians can only endeavor to control the system, out of the (often detrimental) effects of the environment.

[99]{}

R. P. Feynman, Space-Time Approach to Non-Relativistic Quantum Mechanics. [ [*Rev. Mod. Phys.*]{} [**1948**]{}, [*20*]{}, 367-387.](https://doi.org/10.1103/RevModPhys.20.367)

R. P. Feynman and A. R. Hibbs, [ [*Quantum Mechanics and Path Integrals*]{}; McGraw-Hill: New York, 1965.](https://www.amazon.com/Quantum-Mechanics-Integrals-Richard-Feynman/dp/0070206503)

L. S. Schulman, [ *Techniques & Applications of Path Integration*; John Wiley & Sons: New York, 1981.](http://store.doverpublications.com/0486445283.html)

P. A. M. Dirac, The Lagrangian in Quantum Mechanics. [ [*Physikalische Zeitschrift der Sowjetunion*]{} **1933**, [*3*]{}, 64-72.](http://www.hep.anl.gov/czachos/soysoy/Dirac33.pdf)

H. F. Trotter, On the product of semi-groups of operators. [ *Proc. Am. Math. Soc.* **1959**, *10*, 545-551.](http://www.ams.org/journals/proc/1959-010-04/S0002-9939-1959-0108732-6/home.html)

T. Kato, Trotter’s product formula for an arbitrary pair of self-adjoint contraction semigroups, In [ *Topics in functional analysis (essays dedicated to M. G. Kreĭn on the occasion of his 70th birthday), Adv. in Math. Suppl. Stud. 3*, Academic Press: Boston, MA, 1978; pp. 185-195.](https://mathscinet.ams.org/mathscinet-getitem?mr=0538020)

S. Lie and F. Engel, [*Theorie der Transformationsgruppen*, 2nd ed.](https://arxiv.org/abs/1003.3202v1) (AMS Chelsea Publishing, 1970) ISBN 0828402329.

B. Misra and E. C. G. Sudarshan, The Zeno’s Paradox in Quantum Theory, [ *J. Math. Phys.* **1977**, *18*, 756.](https://doi.org/10.1063/1.523304)

P. Facchi and S. Pascazio, Quantum Zeno Dynamics: Mathematical and Physical Aspects, [ *J. Phys. A: Math. Theor.* **2008**, *41*, 493001.](https://doi.org/10.1088/1751-8113/41/49/493001)

P. Facchi and S. Pascazio, Quantum Zeno Subspaces, [ *Phys. Rev. Lett.* **2002** *89*, 080401.](https://doi.org/10.1103/PhysRevLett.89.080401)

P. Facchi and M. Ligabò, [Quantum Zeno Effect and Dynamics]{}, [*J. Math. Phys.* **2010**, *51*, 022103](https://doi.org/10.1063/1.3290971).

L. D. Faddeev and V. Popov, Feynman diagrams for the Yang-Mills field, [ *Phys. Lett. B* **1967** *25*, 29.](https://www.sciencedirect.com/science/article/pii/0370269367900676?via%3Dihub)

W. A. Anderson and F. A. Nelson, Removal of Residual Splitting in Nuclear Magnetic Double Resonance, [*J. Chem. Phys.* **1963**, *39*, 183.](https://doi.org/10.1063/1.1734000)

R. R. Ernst, Nuclear Magnetic Double Resonance with an Incoherent Radio-Frequency Field, [*J. Chem. Phys.* **1966**, *45*, 3845.](https://doi.org/10.1063/1.1727409)

R. Freeman, S. P. Kempsell and M. H. Levitt, Broadband decoupling and scaling of heteronuclear spin-spin interactions in high-resolution NMR, [*J. Magn. Reson.* **1979**, *35*, 447.](https://doi.org/10.1016/0022-2364(79)90067-2)

M. H. Levitt, R. Freeman and T. A. Frenkiel, Broadband heteronuclear decoupling, [*J. Magn. Reson.* **1982**, 47, 328.](https://doi.org/10.1016/0022-2364(82)90124-X)

L. Viola and S. Lloyd, Dynamical suppression of decoherence in two-state quantum systems, [*Phys. Rev.* A **1998**, *58*, 2733.](https://doi.org/10.1103/PhysRevA.58.2733)

D. A. Lidar and K. B. Whaley, Decoherence-Free Subspaces and Subsystems, [in *Irreversible Quantum Dynamics* F. Benatti and R. Floreanini Eds. **2003**, *622*, 83 (Springer Lecture Notes in Physics Berlin).](https://doi.org/10.1007/3-540-44874-8_5)

G. Casati, B. V. Chirikov, F. M. Izraelev, and J. Ford, Stochastic behavior of a quantum pendulum under a periodic perturbation, in [ *Stochastic Behavior in Classical and Quantum Hamiltonian Systems, Lecture Notes in Physics*, Springer, Berlin, **1979**; *93*, 334-352. ](https://link.springer.com/book/10.1007/BFb0021732)

M. V. Berry, N. L. Balazs, M. Tabor, and A. Voros, Quantum maps, [ *Ann. Phys. N.Y.* **1979**, *122*, 26-63.](https://www.sciencedirect.com/science/article/pii/0003491679902963)

M. C. Gutzwiller, [ [*Chaos in Classical and Quantum Mechanics*]{}; Springer-Verlag: New York, 1990.](https://doi.org/10.1007/978-1-4612-0983-6)

T. Kato, On the Adiabatic Theorem of Quantum Mechanics, [ *J. Phys. Soc. Jpn.* **1950**, *5*, 435.](https://doi.org/10.1143/JPSJ.5.435)

P. Facchi, D. A. Lidar, and S. Pascazio, Unification of Dynamical Decoupling and the Quantum Zeno Effect, [*Phys. Rev. A* **2004**, *69*, 032314](https://doi.org/10.1103/PhysRevA.69.032314).

P. Facchi, H. Nakazato, and S. Pascazio, From the Quantum Zeno to the Inverse Quantum Zeno Effect, [*Phys. Rev. Lett.* **2001**, *86*, 2699](https://doi.org/10.1103/PhysRevLett.86.2699).

P. Facchi, S. Tasaki, S. Pascazio, H. Nakazato, A. Tokuse, and D. A. Lidar, [Control of Decoherence: Analysis and Comparison of Three Different Strategies]{}, [*Phys. Rev. A* **2005**, *71*, 022302](https://doi.org/10.1103/PhysRevA.71.022302).

D. Chruściński and S. Pascazio, A Brief History of the GKLS Equation, [*Open Sys. Inf. Dyn.* **2017**, *24*, 1740001](https://doi.org/10.1142/S1230161217400017).

P. Zanardi and L. Campos Venuti, [Coherent Quantum Dynamics in Steady-State Manifolds of Strongly Dissipative Systems]{}, [*Phys. Rev. Lett.* **2014**, *113*, 240406](https://doi.org/10.1103/PhysRevLett.113.240406).

J. Marshall, L. Campos Venuti, and P. Zanardi, [Noise Suppression via Generalized-Markovian Processes]{}, [*Phys. Rev. A* **2017**, *96*, 052113](https://doi.org/10.1103/PhysRevA.96.052113).

D. Burgarth, P. Facchi, H. Nakazato, S. Pascazio, and K. Yuasa, [Generalized Adiabatic Theorem and Strong Coupling Limits]{}, [**2018**, [arXiv:1807.02036 \[quant-ph\]]{}](https://arxiv.org/abs/1807.02036).

D. Burgarth, P. Facchi, H. Nakazato, S. Pascazio, and K. Yuasa, [Quantum Zeno dynamics from general quantum operations ]{}, [**2018**, [arXiv:1809.09570 \[quant-ph\]]{}](http://arxiv.org/abs/1809.09570).

P. Facchi, A. G. Klein, S. Pascazio, L. S. Schulman, Berry phase from a quantum Zeno effect, [*Phys. Lett. A* **1999**, *257*, 232.](http://dx.doi.org/10.1016/S0375-9601(99)00323-0)

P. Facchi and S. Pascazio The geometry of the quantum Zeno effect, [*Int.l J. Geom. Meth. Mod. Phys.* **2012**, *9* 1260024.](https://doi.org/10.1142/S0219887812600249)

D. Burgarth, P. Facchi, V. Giovannetti, H. Nakazato, S. Pascazio, K. Yuasa, Exponential rise of dynamical complexity in quantum computing through projections, [*Nat. Commun.* **2014**, *5*, 5173.](http://dx.doi.org/10.1038/ncomms6173)
