Performance Analysis and Coherent Guaranteed Cost Control for Uncertain Quantum Systems

Performance Analysis and Coherent Guaranteed Cost Control for Uncertain Quantum Systems

Abstract

This paper presents several results on performance analysis for a class of uncertain linear quantum systems subject to either quadratic or non-quadratic perturbations in the system Hamiltonian. Also, coherent guaranteed cost controllers are designed for the uncertain quantum systems to achieve improved control performance. The coherent controller is realized by adding a control Hamiltonian to the quantum system and its performance is demonstrated by an example.

\IEEEoverridecommandlockouts\overrideIEEEmargins\IEEEpeerreviewmaketitle

1 Introduction

Recent years have seen a rapid development of quantum technology and consequently there has been a considerable amount of research focusing on the area of quantum feedback control systems; e.g., see [1]-[7], [10]-[12]. In this research, robustness plays a vital role; e.g., see [5], [11], [12]. Several robust control methods that are widely used in classical systems have been adopted in quantum control areas. For example, control theory has been used to solve a robust feedback controller synthesis problem for quantum systems [5]. A transfer function approach has also been used to analyse robustness in the feedback control of quantum systems[11], [12]. The small gain theorem has been used to analyse the stability and robustness of quantum feedback networks [14]. In this paper, we extend some results in classical control on system performance analysis and guaranteed cost control design to quantum systems.

A majority of existing papers in quantum feedback control only consider the case where the controller is a classical system. That is, the controller may be implemented via analog or digital electronics and quantum measurements are involved. However, some recent results have shown that the controller itself can be a quantum system, which is often referred to as coherent quantum control [5], [11], [12], [14], [15]. The advantage of using coherent quantum control is its ability to achieve improved system performance, since quantum measurements inherently involve the destruction of quantum information. Such controllers are often defined by linear quantum stochastic differential equations (QSDEs) and require physical realizability conditions so that they represent physically implementable systems; e.g., [5], [15], [16]. The coherent quantum controller, designed in this paper uses the framework involving triples , where is a scattering matrix, is a vector of coupling operators and is a Hamiltonian operator [7]. The matrix , together with the vector , specifies the interface between the system and the fields and the parameter describes the self-energy of the system. To control such a quantum system, we add a controller Hamiltonian to the system. In this approach, we do not need to consider physical realizability conditions for the controller system, since a triple automatically represents a physically realizable quantum system. This paramerization for open quantum systems is used in some recent papers, e.g., see [4], [5], [6] and [13], but few controller design methods have been established based on the approach.

The paper [4] presents conditions of dissipativity and stability for this class of quantum systems. Then, the paper [1] built on the result of [4] to provide stability conditions for a class of uncertain quantum systems subject to unknown perturbations. Based on [6] and [4], we extend the guaranteed cost control method to the quantum domain and provide a performance guarantee for the given system when the system Hamiltonian is in the form of , where is a known nominal Hamiltonian and is a perturbation Hamiltonian. Furthermore, motivated by [8] and [9], we add a quantum controller in the system Hamiltonian of the given system not only to guarantee that the system is stable but also to obtain an adequate level of performance.

We begin in Section 2 by presenting the general class of uncertain quantum system models under consideration. In particular, we specify the underlying systems as linear quantum systems. In Section 3, we present a class of quadratic perturbation Hamiltonians and a general class of non-quadratic perturbation Hamiltonians. In Section 4, we present the performance analysis problem for the given systems in terms of a strict bounded real condition. In Section 5, we add a quantum controller to the original system to achieve stability and a guaranteed performance level. In Section 6, we provide an example to illustrate the theory which has been developed in this paper. Conclusions are presented in Section 7.

2 Quantum Systems

The open quantum systems under consideration are defined by parameters where the system Hamiltonian is decomposed as . Here is a known nominal Hamiltonian and is a perturbation Hamiltonian contained in a specified set of Hamiltonians ; e.g., [1], [4] and [7]. We define the corresponding generator operator

(1)

where . Here, describes the commutator between two operators and the notation refers to the adjoint transpose of a vector of operators. and are two self-adjoint operators on the underlying Hilbert space. By introducing a quantum stochastic differential equation, the Heisenberg evolution of an operator is defined by the triple together with the corresponding generators[4]. The results presented in this paper will build on the following results from [3].

Lemma 1

[3] Consider an open quantum system defined by and suppose there exist non-negative self-adjoint operators and on the underlying Hilbert space such that

(2)

where is a real number. Then for any plant state, we have

(3)

Here denotes the Heisenberg evolution of the operator and denotes quantum expectation; e.g., see [3] and [4].

In this paper, we consider nominal systems corresponding to linear quantum systems. We assume that is in the following form

(4)

where is a Hermitian matrix and has the following form with and

(5)

Here is a vector of annihilation operators on the underlying Hilbert space and is the corresponding vector of creation operators. In the case of matrices, the 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. The commutation relations between annihilation and creation operators are described as follows

(6)

where [6].

The coupling vector is assumed to be of the form

(7)

where and . We also write

(8)

We consider a self-adjoint ”Lyapunov” operators of the form

(9)

where is a positive definite Hermitian matrix of the form

(10)

We then consider the set of non-negative self-adjoint operators defined as

(11)

3 Perturbations of the Hamiltonian

3.1 Quadratic Hamiltonian Perturbations

For the set of non-negative self-adjoint operators and given real parameters , a particular set of perturbation Hamiltonians is defined in terms of commutator decomposition

(12)

for , where and are given vectors of operators. is then defined in terms of sector bound condition:

(13)

We define

(14)

We then consider a set of quadratic perturbation Hamiltonians that is in the form of

(15)

where and is a Hermitian matrix of the form

(16)

with and . The matrix is subject to the norm bound

(17)

where refers to the matrix induced norm.

We define

(18)

Since the nominal system is linear, we use the relationship:

(19)

Then

(20)

In [1], it has been proven that for any set of self-adjoint operators ,

(21)

3.2 Non-quadratic Hamiltonian Perturbations

For the set of non-negative self-adjoint operators and given real parameters , and , a particular set of perturbation Hamiltonians is defined in terms of commutator decomposition

(22)

for , where and are given scalar operators. Here, the notation refers to the adjoint of an operator. The set is defined in terms of the sector bound condition

(23)

and the condition

(24)

We define

(25)

We consider a set of non-quadratic perturbation Hamiltonians . For the set of non-negative self-adjoint operators and given real parameters , , , a set of non-quadratic perturbation Hamiltonians is defined in terms of the following power series.

(26)

where , , and is a scalar operator on the underlying Hilbert space. Also

(27)

Hence, is self-adjoint operator. We define

(28)
(29)

We consider the sector bound condition

(30)

and the condition

(31)

We define

(32)

From [1], we have the fact that for any set of self-adjoint operators ,

(33)

In the nominal linear system, we define

(34)

The following result has been proven in [1].

Lemma 2

(See Lemma 5 of[1]) Given any ,

(35)

where .

4 Performance Analysis

In this section, we present several results on performance analysis for the two classes of quantum systems defined above. We define the associated cost function for a quantum system as

(36)

where . We denote that

(37)

In order to prove the following theorems on performance analysis, we require some algebraic identities.

Lemma 3

(See Lemma 3 of[1]) Consider is of the form (4) and is of the form (7). Then

(38)
(39)
(40)

Now we present two theorems which can be used to analyse the performance of quantum systems subject to quadratic Hamiltonian perturbations and non-quadratic Hamiltonian perturbations, respectively.

4.1 Quadratic Hamiltonian Perturbations

Theorem 1

Consider an uncertain quantum system , where , is in the form of (4), is of the form (7) and . If is Hurwitz, and

(41)

has a solution in the form of (10) and , then

(42)

where

(43)

In order to prove this theorem, we need the following two lemmas.

Lemma 4

Consider an open quantum system where and , and the set of non-negative self-adjoint operators . If there exists a and real constants , such that

(44)

then

(45)

Proof: Since and ,

(46)

Also,

(47)

Substituting (46) into (47) and using the sector bound condition (13), the following inequality is obtained:

(48)

Hence,

(49)

Consequently, the conclusion in the lemma follows from Lemma 1.

Lemma 5

For and defined in (19),

(50)
(51)
(52)

Proof: The proof follows from Lemma 3.
Proof of Theorem 1: Using the Schur complement, the inequality (41) is equivalent to

(53)

If the Riccati inequality (53) has a solution of the form (10) and , according to Lemma 3 and Lemma 5, we have

(54)

Therefore, it follows from (41) that condition (44) will be satisfied with

(55)

Then, according to the relationship (21) and Lemma 4, we have

(56)

4.2 Non-quadratic Hamiltonian Perturbations

Theorem 2

Consider an uncertain quantum system , where , is in the form of (4), is of the form (7) and . If is Hurwitz, and

(57)

has a solution of the form (10) and , then

(58)

where

(59)

and is defined as in (35).

In order to prove this theorem, we need the following two lemmas.

Lemma 6

Consider an open quantum system where and , and the set of non-negative self-adjoint operators . For any , is a constant. If there exist real constants and such that

(60)

then

(61)

Proof: Since and ,

(62)

Also,

(63)

Furthermore,

(64)

Substituting (63) and (64) into (4.2), the following inequality is obtained.

(65)

Hence, using (60), it follows that

(66)

Consequently, the conclusion in the lemma follows from Lemma 1.

Lemma 7

For and defined in (34),

(67)
(68)
(69)

Proof: The proof follows from Lemma 3.
Proof of Theorem 2: Using the Schur complement, the inequality (57) is equivalent to

(70)

If the Riccati inequality (70) has a solution in the form of (10) and , according to Lemma 3 and Lemma 7, we have

(71)

Therefore, it follows from (57) that condition (60) will be satisfied with

(72)

According to the relationship (33) and Lemma 6, we have

(73)

5 Coherent Guaranteed Cost Controller Design

In some applications, it is desirable to design a quantum control system which is not only stable but also guarantees an adequate level of performance. In this section, we design a coherent guaranteed cost controller for quantum systems subject to quadratic or non-quadratic Hamiltonian perturbations. The coherent controller is realized by adding a term to the nominal system Hamiltonian. Assume that the controller Hamiltonian is of the form

(74)

where is a Hermitian matrix of the form

(75)

and , . Associated with this system is the cost function

(76)

where is a weighting factor. We let

(77)

The following sections present our main results on coherent guaranteed cost controller design for quantum systems subject to quadratic and non-quadratic Hamiltonian perturbations, respectively.

5.1 Quadratic Hamiltonian Perturbations

Theorem 3

Consider an uncertain quantum system , where , is in the form of (4), is of the form (7), and the controller Hamiltonian is in the form of (74). With , and , if there exist a matrix ( is a constant and is identity matrix), a Hermitian matrix and a constant , such that

(78)

where , then the associated cost function satisfies the bound

(79)

where

(80)

Proof: Suppose the conditions of the theorem are satisfied. Using the Schur complement, (78) is equivalent to

(81)

Applying the Schur complement again, it is clear that (81) is equivalent to

(82)

and (82) is equivalent to

(83)

Substituting into (83), we obtain

(84)

Since , premultiplying and postmultiplying this inequality by the matrix , we have

(85)

We know and . Hence

(86)

Therefore, we have the following fact

(87)

We also know that

(88)

According to the relationship (21) and Lemma 4, we have

(89)

where

(90)

Remark 1

In order to design a coherent controller which minimizes the cost bound (79) in the above theorem, we need to formulate an inequality

(91)

We know that and apply Schur complement to inequality (91), so that we have

(92)

where