Guaranteed Non-quadratic Performance for Quantum Systems with Nonlinear Uncertainties
This paper presents a robust performance analysis result for a class of uncertain quantum systems containing sector bounded nonlinearities arising from perturbations to the system Hamiltonian. An LMI condition is given for calculating a guaranteed upper bound on a non-quadratic cost function. This result is illustrated with an example involving a Josephson junction in an electromagnetic cavity.
A number of papers have considered in recent years, the feedback control of systems governed by the laws of quantum mechanics rather than systems governed by the laws of classical mechanics; e.g., see [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19]. In particular, the papers [10, 20] consider a framework of quantum systems defined in terms of a triple where is a scattering matrix of operators, is a vector of coupling operators and is a Hamiltonian operator. All operators are on an underlying Hilbert space.
The paper  considers a quantum system defined by a triple such that the quantum system Hamiltonian is written as . Here is a known nominal Hamiltonian and is a perturbation Hamiltonian, which is contained in a set of Hamiltonians . The paper  considers a problem of absolute stability for such uncertain quantum systems for the case in which the nominal Hamiltonian is a quadratic function of annihilation and creation operators and the coupling operator vector is a linear function of annihilation and creation operators. Such as nominal quantum system is said to be a linear quantum system; e.g., see [4, 5, 7, 8, 14]. However, the perturbation Hamiltonian is assumed to be contained in a set of non-quadratic Hamiltonians corresponding to a sector bounded nonlinearity. Then, the paper  obtains a frequency domain robust stability result. Extensions of the approach of  can be found in the papers [22, 23, 24, 25, 26, 27, 28] in which similar robust stability results are of obtain for uncertain quantum systems with different classes of uncertainty and different applications to specific quantum systems. Also, in the paper  a problem of robust performance analysis as well as robust stability analysis is considered.
In this paper, we extend the results of [21, 24, 25] by considering a problem of robust performance analysis with a non-quadratic cost functional for the class of uncertain quantum systems of the form considered in [21, 25]. The motivation for considering robust performance of a quantum system with a non-quadratic cost function arises from the fact that the presence of nonlinearities in the quantum system allows for the possibility of a non-Gaussian system state; e.g., see . Such non-Gaussian system states include important non-classical states such as the Schrödinger cat state (also known as a superposition state, e.g., see ). These non-classical quantum states are useful in areas such as quantum information and quantum communications; e.g., see . The presence of such non-classical states can be verified by obtaining a suitable bound on a non-quadratic cost function (such as the Wigner function, e.g., see [29, 30]). Our approach to obtaining a bound on the non-quadratic cost function is to extend the sector bound method considered in  to bound both the nonlinearity and non-quadratic cost function together. It is important that these two quantities are bounded together since the non-Gaussian state only arises due to the presence of the nonlinearity in the quantum system dynamics. Then, by applying a similar approach to that in [21, 24] we are able to derive a guaranteed upper bound on the non-quadratic cost function in terms of an LMI problem. In order to illustrate this result, it is applied to an example of a quantum system consisting of a Josephson junction in an electromagnetic cavity. The robust stability of a similar system was previously considered in the paper . In this paper, we consider the robust performance of this system with respect to a non-quadratic cost functional.
A future application of the robust performance analysis approach proposed in this paper would be to use it to develop a method for the design of coherent quantum feedback controllers for quantum systems to achieve a certain closed loop performance bound in terms of a non-quadratic cost functional. In such a coherent quantum feedback control scheme both the plant and controller are quantum systems; e.g., see . This would be useful in the generation of non-classical quantum states which are needed in areas of quantum computing and quantum information; e.g., see .
Ii Quantum Systems with Nonlinear Uncertainties
The parameters will be considered to define an uncertain nonlinear quantum system. Here, is the scattering matrix, which is chosen as the identity matrix, L is the coupling operator vector and is the system Hamiltonian operator. is assumed to be of the form
Here, is an -dimensional vector of annihilation operators on the underlying Hilbert space and is the corresponding vector of creation operators. Also, is a Hermitian matrix of the form
and , . In the case of vectors of operators, the notation refers to the transpose of the vector of adjoint operators and in the case of matrices, this notation refers to the complex conjugate transpose of a matrix. In the case of vectors of operators, the notation refers to the vector of adjoint operators and in the case of complex matrices, this notation refers to the complex conjugate matrix. Also, the notation denotes the adjoint of an operator. The matrix is assumed to be known and defines the nominal quadratic part of the system Hamiltonian. Furthermore, we assume the uncertain non-quadratic part of the system Hamiltonian is defined by a formal power series of the form
which is assumed to converge in some suitable sense. Here , , and is a known scalar operator defined by
i.e., the vector is a known complex vector.
The term is referred to as the perturbation Hamiltonian. It is assumed to be unknown but is contained within a known set which will be defined below.
We assume the coupling operator vector is known and is of the form
Here, , are known matrices. Also, we write
The annihilation and creation operators and are assumed to satisfy the canonical commutation relations:
Also, we will consider a non-quadratic cost defined as
where is a suitable non-quadratic function. Here , , denotes the Heisenberg evolution of the operators , and denotes quantum expectation; e.g., see . The non-quadratic function is assumed to satisfy the following quadratic upper bound condition:
where , are given constants. will also be used in the definition of the set of allowable perturbation Hamiltonians .
To define the set of allowable perturbation Hamiltonians , we first define the following formal partial derivatives:
and for given constants , , , , , we consider the sector bound conditions
and the condition
Then we define the set of perturbation Hamiltonians as follows:
Note that the condition (13) effectively amounts to a global Lipschitz condition on the quantum nonlinearity.
Our main result, which gives an upper bound on the non-quadratic cost function (7), will be given in terms of the following LMI condition dependent on a parameter :
where , and the quantity is defined as
Consider an uncertain open nonlinear quantum system defined by and a non-quadratic cost function such that is of the form (1), is of the form (5) and . Also, assume that defined in (7) is such that (8) is satisfied. Furthermore, assume that there exists a constant such that the LMI (15) has a solution . Then the cost satisfies the bound:
In order to prove this theorem, we require the following lemmas.
Lemma 1 (See Lemma 2 of )
Consider an open quantum system defined by and suppose there exists a non-negative self-adjoint operator on the underlying Hilbert space such that
where and are real numbers. Then for any system state, we have
We will consider quadratic “Lyapunov” operators of the form
where is a positive-definite Hermitian matrix of the form
Hence, we consider a set of non-negative self-adjoint operators defined as
Given any , then
and the constant is defined as in (17).
Also, it follows from Lemma 4 that
Furthermore, and hence,
Also, we can write
Hence using Lemma 4, we obtain
We now observe that applying the Schur complement to the LMI (15) implies that the matrix inequality
Also, it follows from Lemma 3 that
Furthermore, since is self-adjoint. Therefore, for
Also, it follows from (13) that
Combining these equations with (8), it follows that
Hence, if , it follows from (II) that
Similarly, if , it follows from (II) that
Iii Illustrative Example
To illustrate the main result of this paper, we consider an illustrative example consisting of a Josephson junction in an electromagnetic resonant cavity. This system was considered in the paper  using a model derived from a model presented in . The system is illustrated in Figure 1.
In the paper , a model for this system of the form considered in Section II is derived and we consider the same model but with simplified parameter values for the purposes of this illustration. That is, we consider a Hamiltonian of the form (1) where
where . Hence,
Also, we consider a coupling operator vector of the form (5)
In addition, we consider a non-quadratic cost function of the form (7) where
Furthermore, we calculate
From this it follows that
and hence, (11) is satisfied with and . Also,
and hence, (12) is satisfied with and . Moreover,
and hence (13) is satisfied with .
-  M. Yanagisawa and H. Kimura, “Transfer function approach to quantum control-part I: Dynamics of quantum feedback systems,” IEEE Transactions on Automatic Control, vol. 48, no. 12, pp. 2107–2120, 2003.
-  ——, “Transfer function approach to quantum control-part II: Control concepts and applications,” IEEE Transactions on Automatic Control, vol. 48, no. 12, pp. 2121–2132, 2003.
-  N. Yamamoto, “Robust observer for uncertain linear quantum systems,” Phys. Rev. A, vol. 74, pp. 032 107–1 – 032 107–10, 2006.
-  M. R. James, H. I. Nurdin, and I. R. Petersen, “ control of linear quantum stochastic systems,” IEEE Transactions on Automatic Control, vol. 53, no. 8, pp. 1787–1803, 2008.
-  H. I. Nurdin, M. R. James, and I. R. Petersen, “Coherent quantum LQG control,” Automatica, vol. 45, no. 8, pp. 1837–1846, 2009.
-  J. Gough, R. Gohm, and M. Yanagisawa, “Linear quantum feedback networks,” Physical Review A, vol. 78, p. 062104, 2008.
-  A. I. Maalouf and I. R. Petersen, “Bounded real properties for a class of linear complex quantum systems,” IEEE Transactions on Automatic Control, vol. 56, no. 4, pp. 786 – 801, 2011.
-  ——, “Coherent control for a class of linear complex quantum systems,” IEEE Transactions on Automatic Control, vol. 56, no. 2, pp. 309–319, 2011.
-  N. Yamamoto, H. I. Nurdin, M. R. James, and I. R. Petersen, “Avoiding entanglement sudden-death via feedback control in a quantum network,” Physical Review A, vol. 78, no. 4, p. 042339, 2008.
-  J. Gough and M. R. James, “The series product and its application to quantum feedforward and feedback networks,” IEEE Transactions on Automatic Control, vol. 54, no. 11, pp. 2530–2544, 2009.
-  J. E. Gough, M. R. James, and H. I. Nurdin, “Squeezing components in linear quantum feedback networks,” Physical Review A, vol. 81, p. 023804, 2010.
-  H. M. Wiseman and G. J. Milburn, Quantum Measurement and Control. Cambridge University Press, 2010.
-  H. Bachor and T. Ralph, A Guide to Experiments in Quantum Optics, 2nd ed. Weinheim, Germany: Wiley-VCH, 2004.
-  I. R. Petersen, “Quantum linear systems theory,” in Proceedings of the 19th International Symposium on Mathematical Theory of Networks and Systems, Budapest, Hungary, July 2010.
-  A. J. Shaiju and I. R. Petersen, “A frequency domain condition for the physical realizability of linear quantum systems,” IEEE Transactions on Automatic Control, vol. 57, no. 8, pp. 2033 – 2044, 2012.
-  I. R. Petersen, “Cascade cavity realization for a class of complex transfer functions arising in coherent quantum feedback control,” Automatica, vol. 47, no. 8, pp. 1757–1763, 2011.
-  ——, “Singular perturbation approximations for a class of linear quantum systems,” IEEE Transactions on Automatic Control, vol. 58, no. 1, pp. 193–198, 2013.
-  ——, “Low frequency approximation for a class of linear quantum systems using cascade cavity realization,” Systems and Control Letters, vol. 61, no. 1, pp. 173–179, 2012.
-  ——, “Realization of single mode quantum linear systems using static and dynamic squeezers,” in Proceedings of the 8th Asian Control Conference, Kaohsiung, Taiwan, May 2011.
-  M. James and J. Gough, “Quantum dissipative systems and feedback control design by interconnection,” IEEE Transactions on Automatic Control, vol. 55, no. 8, pp. 1806 –1821, August 2010.
-  I. R. Petersen, V. Ugrinovskii, and M. R. James, “Robust stability of uncertain quantum systems,” in Proceedings of the 2012 American Control Conference, Montreal, Canada, June 2012.
-  ——, “Robust stability of uncertain linear quantum systems,” Philosophical Transactions of the Royal Society A, vol. 370, no. 1979, pp. 5354–5363, 2012.
-  ——, “Robust stability of quantum systems with a nonlinear coupling operator,” in Proceedings of the 51st IEEE Conference on Decision and Control, Maui, December 2012.
-  M. R. James, I. R. Petersen, and V. Ugrinovskii, “A Popov stability condition for uncertain linear quantum systems,” in Proceedings of the 2013 American Control Conference, Washington, DC, June 2013.
-  I. R. Petersen, “Quantum robust stability of a small Josephson junction in a resonant cavity,” in 2012 IEEE Multi-conference on Systems and Control, Dubrovnik, Croatia, October 2012.
-  ——, “Quantum Popov robust stability analysis of an optical cavity containing a saturated Kerr medium,” in Proceedings of the 2013 European Control Conference, Zurich, Switzerland, July 2013.
-  ——, “Robust stability analysis of an optical parametric amplifier quantum system,” in Proceedings of the 2013 Asian Control Conference, Istanbul, Turkey, July 2013.
-  ——, “Robust stability of quantum systems with nonlinear dynamic uncertainties,” in Proceedings of the 52nd IEEE Conference on Decision and Control, Florence, Italy, December 2013, to appear, accepted 19 July 2013.
-  C. Gardiner and P. Zoller, Quantum Noise. Berlin: Springer, 2000.
-  D. F. Walls and G. J. Milburn, Quantum Optics, 2nd ed. Berlin: Springer-Verlag, 2008.
-  M. Nielsen and I. Chuang, Quantum Computation and Quantum Information. Cambridge, UK: Cambridge University Press, 2000.
-  S. Boyd, L. El Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory. Philadelphia, Pennsylvania: SIAM, 1994.
-  G. Balas, R. Chiang, A. Packard, and M. Safonov, Robust Control Toolbox, Version 3. The MathWorks, Inc., Natick, MA, 2005.
-  W. Al-Saidi and D. Stroud, “Eigenstates of a small Josephson junction coupled to a resonant cavity,” Physical Review B, vol. 65, p. 014512, 2001.