arxiv: v1 [quant-ph] 20 Jun 2017

Transcription

1 A Direct Couling Coherent Quantum Observer for an Oscillatory Quantum Plant Ian R Petersen arxiv:76648v quant-h Jun 7 Abstract A direct couling coherent observer is constructed for a linear quantum lant which has oscillatory solutions It is shown that a finite time moving average of the quantum observer outut can rovide an estimate of the quantum lant outut without disturbing this lant signal By choosing a sufficiently small averaging time and a sufficiently large observer gain, the observer tracking error can be made arbitrarily small I INRODUCION In recent years, a number of aers have considered the roblem of constructing a coherent quantum observer for a linear quantum system 9 In this roblem, the quantum lant is a linear quantum system and the quantum observer is another linear quantum system which is couled to the quantum lant in some way hen, the quantum observer is constructed in such a way that it rovides an estimate for some of the variables in the quantum lant In the above aers, the quantum lant under consideration is a linear quantum system In recent years, there has been considerable interest in the modeling and feedback control of linear quantum systems; eg, see 3 Such linear quantum systems commonly arise in the area of quantum otics; eg, see 4, 5 For such linear quantum system models an imortant class of quantum control roblems are referred to as coherent quantum feedback control roblems; eg, see,, 6 5 In these coherent quantum feedback control roblems, both the lant and the controller are quantum systems and the controller is tyically to be designed to otimize some erformance index he advantage of coherent quantum controllers is that they do not require quantum measurements which inherently lead to the loss of quantum information he coherent quantum observer roblem can be regarded as a secial case of the coherent quantum feedback control roblem in which the objective of the observer is to estimate the system variables of the quantum lant In some of the revious aers on quantum observers such as,, 6, the couling between the lant and the observer is via a field couling his enables a one way connection between the quantum lant and the quantum observer Also, since both the quantum lant and the quantum observer his work was suorted by the Air Force Office of Scientific Research (AFOSR), under agreement number FA Some of the research resented in this aer was also suorted by the Australian Research Council under grant FL Ian R Petersen is with the Research School of Engineering, he Australian National University, Canberra AC 6, Australia iretersen@gmailcom are oen quantum systems, they are both subject to quantum noise However in the aer 8, a coherent quantum control roblem is considered in which both field couling and direct couling is considered between the quantum lant and the quantum controller Also, the aers 4 7, 9 consider the construction of a coherent quantum observer in which there is only direct couling between quantum lant and the quantum observer Furthermore in these aers, both the quantum lant and the quantum observer are assumed to be closed quantum systems which means that they are not subject to quantum noise and are urely deterministic systems It is shown in these aers that the quantum observer can be constructed to estimate some but not all of the system variables of the quantum lant However, because of the fact that linear closed quantum systems cannot be asymtotically stable, the observer variables in these aers converge to the lant variables in a time averaged sense One significant restriction imosed in the aers 4 7, 9 is that the lant dynamics are such that the lant variables remain constant In this aer, we investigate whether this restriction can be relaxed and allow for quantum linear lants which have oscillatory solutions Indeed, the main result of this aer is an extension of the result of 4 to the case of a two mode linear quantum lant which is constructed in such a way that oscillatory solutions exist and these can be estimated by a directly couled quantum observer without disturbing the lant variables of interest In order to achieve this, we relace the long term time average of the observer outut considered in 4 with a moving average such that the averaging time is sufficiently short hen the direct couled quantum observer is constructed as a linear quantum system using ideas from standard observer theory; eg, see 7 In this case, the averaged outut of the quantum observer does not asymtotically track the lant outut but rather it is shown that with a suitably short averaging time and a suitably large observer gain, the observer tracking error can be made arbitrarily small his result is illustrated with a numerical examle II QUANUM SYSEMS In the quantum observer network roblem under consideration, both the quantum lant and the quantum observer network are linear quantum systems; see also, 8, 8 We will restrict attention to closed linear quantum systems which do not interact with an external environment he quantum mechanical behavior of a linear quantum system is described in terms of the system observables which are

2 self-adjoint oerators on an underlying infinite dimensional comlex Hilbert sace H he commutator of two scalar oerators x and y on H is defined as x,y xy yx Also, for a vector of oerators x on H, the commutator of x and a scalar oerator y on H is the vector of oerators x,y xy yx, and the commutator of x and its adjoint x is the matrix of oerators x,x xx (x # x ), where x # (x x x n ) and denotes the oerator adjoint he dynamics of the closed linear quantum systems under consideration are described by non-commutative differential equations of the form ẋ Ax; x() x () where A is a real matrix in R n n, and x x x n is a vector of system observables; eg, see Here n is assumed to be an even number and n is the number of modes in the quantum system he initial system variables x() x are assumed to satisfy the commutation relations x j (),x k () iθ jk, j,k,,n, () where Θ is a real skew-symmetric matrix with comonents Θ jk In the case of a single quantum harmonic oscillator, we will choose x (x,x ) where x q is the osition oerator, and x is the momentum oerator he commutation relations are q, i In general, the matrix Θ is assumed to be of the form Θ diag(j,j,,j) (3) where J denotes the real skew-symmetric matrix J he system dynamics () are determined by the system Hamiltonian which is a self-adjoint oerator on the underlying Hilbert sace H For the linear quantum systems under consideration, the system Hamiltonian will be a quadratic form H x() Rx(), where R is a real symmetric matrix hen, the corresonding matrix A in () is given by A ΘR (4) where Θ is defined as in (3); eg, see In this case, the system variables x will satisfy the commutation relations at all times: x,x iθ for all t (5) hat is, the system will be hysically realizable; eg, see Quantum Plant In our roosed direct couling coherent quantum observer network, the quantum lant is a two mode linear quantum system of the form () described by the noncommutative differential equations ẋ A x ; x () x ; z C x (6) where z denotes the vector of system variables to be estimated by the observer network and A R 4 4, C R 4 It is also assumed that this quantum lant corresonds to a lant Hamiltonian H x () R x () such that R is of the form Rc R Rc ; R c / / J (7) where > It follows from (4) that A Θ R where the matrix Θ is of the form (3) Hence, J Rc A J Rc JRc JRc I (8) I From this it follows that the lant equations (6) will have an oscillatory solution Indeed (6) imlies where Letting x x x e At x x e At x (),t Icos t Isin t Isin t Icos t, it follows that we can write x x ()cos t+x ()sin t x ()sin t+x ()cos t In addition, we assume that C is of the form where C R herefore C C (9) z C x ()cos t+c x ()sin t is also a sinusoidally varying quantity Furthermore, it follows from (8) that we can write ż C x z () where z C x Furthermore again using (8) z C ẋ C x z () Equations () and () are the defining equations for z and can be written in matrix form where z z Ā z ; z C z (), Ā z J and C z

3 he sinusoidal form of the quantity to be estimated z will aly if the lant is not couled to the observer However, when the lant is couled to the quantum observer, this may no longer be the case We will show that if the quantum observer is suitably designed, the lant quantity to be estimated z will be unaffected by the resence of the observer Quantum Observer We now describe a single quantum harmonic oscillator system which will corresond to the quantum observer; see also, 8, 8 his system is described by a noncommutative differential equation of the form ẋ o A o x o ; C o x o (3) where the observer outut is the observer estimate variable and C o R Also, A o R We assume that the lant variables commute with the observer variables he system dynamics (3) are determined by the system Hamiltonian which is a self-adjoint oerator on the underlying infinite dimensional Hilbert sace for the system H o For the single quantum harmonic oscillator system under consideration, the system Hamiltonian is given by the quadratic form H o x() R o x(), where R o is a real symmetric matrix hen, the corresonding matrix A o in (3) is given by A o JR o (4) In our roosed direct couling coherent quantum observer, the quantum lant (6) will be directly couled to the coherent quantum observer (3) by introducing a couling Hamiltonian H c x () R c x o ()+ x o() R c x () (5) where R c R 4 he augmented quantum linear system consisting of the quantum lant and the direct couled quantum observer is then a quantum system of the form () described by the total Hamiltonian H a H +H c +H o x a R ax a (6) x R R where x a and R x a c o Rc hen, using R o (4), it follows that the augmented quantum linear system is described by the equations ẋ x A ẋ o a ; x x o () x ; x o () x o ; z C x ; C o x o (7) where A a Θ a R a Here Θ Θ a J We wish to construct the quantum observer so that the time averaged quantity t t (τ)dτ rovides a good aroximation to the quantity z for a suitable choice of the averaging time III CONSRUCING HE DIREC COUPLING COHEREN QUANUM OBSERVER We now describe the construction of the direct couled linear quantum observer We suose that the matrices R o, R c, C o are such that R c αβ, α C, R o > (8) where β R herefore, it follows from (9) that R a J/ αβ J/ β α R o where α C Hence, the augmented system equations (7) describing the combined lant-observer system become It follows that ẋ x +J αβ x o ; ẋ x ; ẋ o Jβz +JR o x o ; z C x ; C o x o (9) ż C x + α J αβ x o C x since α J α Furthermore, z () z C ẋ C x z () Equations () and () are the same as equations () and () hat is, when the quantum observer is connected to the quantum lant, the equations describing z are not changed Now in order to construct suitable values for the quantities β and R o, we note that we can write down equations for augmented system involving only the variables z and x o as follows: z Ā z ; ẋ o JR o x o +Jβ C z ; C o x o ; z C z () hese equations are of the form z z ẋ o Āa x o where ; C o z x o z C z x o Ā a Ā Jβ C A o ; (3)

4 Furthermore, the equations () are in the form of the standard lant-observer equations if we choose R o > such that A o JR o Ā L C ; L Jβ (4) where L R is the observer gain; eg, see 7 hen, letting e x o z, it follows that ė ẋ o z Āx o L C x o +LC z Ā z ( Ā L C ) e A o e (5) Now it follows from (4) that JR o J Jβ C and hence, R o I β C However, we require that R o is symmetric and ositivedefinite Hence, we choose β to be of the form β µ C µ (6) where µ > herefore R o µ I + his defines A o in (3) as A o JR o µ+ µ > (7) Also, since we want to rovide an estimate of z, we choose C o C (8) We now calculate the averaged value of the estimation error z C o e It follows from (5) that we can write the averaged value of the estimation error in the form t ( (τ) z (τ))dτ g e ()+g e () (9) t for all t Indeed, it follows from (5) and the fact that A o is nonsingular that t ( (τ) z (τ))dτ t t C o e(τ)dτ C o e Aoτ e()dτ C o eaot( I e Ao) A o e() (3) for all t Also, we can calculate e Aot cos t o sin t ; µ+ sin t cos t A µ+ o where (µ+ ) > Hence using (3), we calculate t ( (τ) z (τ))dτ t C o cos t sin t µ+ sin t cos t cos o sin µ+ sin cos µ+ e() coso t sin t sin coso µ+ cos sin e() (cos tsin +sin t( cos )) e () ( + o sin tsin cos ) ot( cos ) µ+ e () g e ()+g e () (3) for all t Also, we note that as µ hen, using the formula (3), we obtain the following lemma Lemma : Consider the quantum lant and quantum observer constructed above hen for any ǫ > and any averaging time >, there exits a constant µ > defining the observer gain such that the average estimation error given in (9) satisfies for all t g +g ǫ his lemma shows that given any averaging time >, we can always find an observer with an arbitrarily small averaged estimation error (9) We now show that for sufficiently small >, the quantity t t z (τ)dτ will rovide a good aroximation to z It follows from (), () that we can write the difference between the averaged lant outut and the lant outut in the form t z (τ)dτ z h z ()+h z () (3) t for all t Indeed, it follows from (), () and the fact

5 that Ā is nonsingular that t z (τ)dτ z t C eāτ z ()dτ C eāt z () C eāt( I e Ā) Ā z () C eāt z () (Ā ) C eāt e Ā A I z () (33) for all t Also, we can calculate cos t sin eāt t sin t cos t A o Hence using (3), we calculate t z (τ)dτ z ; (Ā C eāt e Ā A I z () cos t sin t ( sin ( cos ) ( cos ) sin z () h z ()+h z () (34) for all t From this formula, we obtain the following Lemma Lemma : Consider the quantum lant defined as above hen for any ǫ >, there exits an averaging time > such that the difference between the averaged lant outut and the lant outut given in (3) satisfies h +h ǫ for all t Combining Lemma and Lemma, we obtain the following theorem which is the main result of this aer heorem : Consider a quantum lant described by equations (6), (7), (8), (9) and a quantum observer described by equations (3), (8), (6), (7), (8) hen for any ǫ > there exists an averaging time > and a constant µ > defining the observer gain such that the difference between the averaged observer outut and the lant outut is of the form where t (τ)dτ z g e ()+g e ()+h z ()+h z () g x o ()+g x o () +(h g )z ()+(h g ) z () ) g +g +h +h ǫ ) for all t his theorem shows that we can always construct a direct couled quantum observer and corresonding averaging time > such that the averaged outut of the direct couled quantum observer is arbitrarily close to the outut of the lant to be estimated IV ILLUSRAIVE EXAMPLE We now resent an examle to illustrate the direct couled quantum observer described in the revious section We consider a quantum lant which is a modification of the examle considered in 4 to allow for an oscillatory lant with a nonlinear Hamiltonian In articular, we consider a quantum lant of the form described by equations (6), (7), (8), (9) with and C Also, we consider a quantum observer defined by equations (3), (8), (6), (7), (8) with µ > to be secified hen the corresonding augmented lant-observer system can be described by the equations (3) Now it follows from (3) that the lant outut can be written in the form z C eāt z () f z ()+f z () and the observer outut can be written in the form C o e Ā a t z () x o () k z ()+k z () +k 3 x o ()+k 4 x o () In simulating the quantum lant and observer system, we cannot lot the quantitiesz, since these are oerator functions of time However, we can lot the real quantities f, f, k, k, k 3, k 4 he lots of these quantities are shown in Figures -4 for µ 5, µ 5, µ 5 f, k Fig, 5, 5, 5 z ime s Coefficient functions f and k defining z and From these figures, we can see that there is no overall imrovement in the observer estimation as we vary the

6 f, k Fig f 3, k 3 -, 5, 5, 5 z ime s Fig 3 f 4, k 4 Coefficient functions f and k defining z and, 5, 5, 5 z ime s Fig 4 Coefficient functions f 3 and k 3 defining z and, 5, 5, 5 z ime s Coefficient functions f 4 and k 4 defining z and constant µ Hence, as indicated by the theory develoed above, we consider the averaged observer oututav with an averaging time of In order to lot this quantity over the entire time interval being considered, we define { av t (τ)dτ for t,); t t (τ)dτ for t hen as above, this quantity can be written in the form av Co e Ā aτ z () dτ t x o () Co ( )Ā z () t eāt I x o () l z ()+l z () for t,) and +l 3 x o ()+l 4 x o () av Co e Ā aτ t Co l z ()+l z () z () x o () eā t ( I e Ā) Ā +l 3 x o ()+l 4 x o () dτ z () x o () for t hen we lot the quantities f, f, l, l, l 3, l 4 as shown in Figures 5-8 for µ 5, µ 5, µ 5 f, l Fig 5, 5, 5, 5 z ime s Coefficient functions f and l defining z and av hese figures show that for the given value of, increasing the value of the arameter µ leads to the averaged observer outut signal av roviding an imroved estimate of the lant outut signal z as exected from the theory derived in the revious section V CONCLUSIONS In this aer, we have described the construction of a direct couling coherent quantum observer to rovide an

7 f, l Fig 6 f 3, l 3 -, 5, 5, 5 z ime s Coefficient functions f and l defining z and av, 5, 5, 5 z ime s Fig 7 Coefficient functions f 3 and l 3 defining z and av f 4, l , 5, 5, 5 z ime s Fig 8 Coefficient functions f 4 and l 4 defining z and av estimate of an outut of a given quantum lant which exhibits oscillatory behaviour he quantum observer estimate is a finite time average of the observer outut signal he main result of the aer shows that if the averaging time is made sufficiently small and a arameter µ defining the observer gain is made sufficiently large, then an arbitrarily small estimation error can be achieved REFERENCES Z Miao, M R James, and I R Petersen, Coherent observers for linear quantum stochastic systems, Automatica, vol 7, 64 7, 6 I Vladimirov and I R Petersen, Coherent quantum filtering for hysically realizable linear quantum lants, in Proceedings of the 3 Euroean Control Conference, Zurich, Switzerland, July 3 3 I G Vladimirov and I R Petersen, Directly couled observers for quantum harmonic oscillators with discounted mean square cost functionals, in Proceedings of the 6 IEEE Conference on Norbert Wiener in the st Century, Melbourne, Australia, July 6, to aear, acceted 3 Aril 6 4 I R Petersen, A direct couling coherent quantum observer, in Proceedings of the 4 IEEE Multi-conference on Systems and Control, Antibes, France, October 4, also available arxiv , ime averaged consensus in a direct couled distributed coherent quantum observer, in Proceedings of the 5 American Control Conference, Chicago, IL, July 5 6, ime averaged consensus in a direct couled coherent quantum observer network for a single qubit finite level quantum system, in Proceedings of the th ASIAN CONROL CONFERENCE 5, Kota Kinabalu, Malaysia, May 5 7 I R Petersen and E H Huntington, A ossible imlementation of a direct couling coherent quantum observer, in Proceedings of 5 Australian Control Conference, Gold Coast, Australia, November 5 8 I R Petersen and E Huntington, Imlementation of a direct couling coherent quantum observer including observer measurements, in Proceedings of the 6 American Control Conference, Boston, MA, July 6 9 I R Petersen and E H Huntington, A reduced order direct couling coherent quantum observer for a comlex quantum lant, in Proceedings of the Euroean Control Conference 6, Aalborg, Denmark, June 6 M R James, H I Nurdin, and I R Petersen, H control of linear quantum stochastic systems, IEEE ransactions on Automatic Control, vol 53, no 8, , 8 H I Nurdin, M R James, and I R Petersen, Coherent quantum LQG control, Automatica, vol 45, no 8, , 9 A J Shaiju and I R Petersen, A frequency domain condition for the hysical realizability of linear quantum systems, IEEE ransactions on Automatic Control, vol 57, no 8, 33 44, 3 I R Petersen, Quantum linear systems theory, Oen Automation and Control Systems Journal, vol 8, 67 93, 6 4 C Gardiner and P Zoller, Quantum Noise Berlin: Sringer, 5 H Bachor and Ralh, A Guide to Exeriments in Quantum Otics, nd ed Weinheim, Germany: Wiley-VCH, 4 6 A I Maalouf and I R Petersen, Bounded real roerties for a class of linear comlex quantum systems, IEEE ransactions on Automatic Control, vol 56, no 4, 786 8, 7 H Mabuchi, Coherent-feedback quantum control with a dynamic comensator, Physical Review A, vol 78, 333, 8 8 G Zhang and M James, Direct and indirect coulings in coherent feedback control of linear quantum systems, IEEE ransactions on Automatic Control, vol 56, no 7, , 9 I G Vladimirov and I R Petersen, A quasi-searation rincile and Newton-like scheme for coherent quantum LQG control, Systems & Control Letters, vol 6, no 7, , 3, arxiv:35 I Vladimirov and I R Petersen, A dynamic rogramming aroach to finite-horizon coherent quantum LQG control, in Proceedings of the Australian Control Conference, Melbourne, November, arxiv:5574 R Hamerly and H Mabuchi, Advantages of coherent feedback for cooling quantum oscillators, Physical Review Letters, vol 9, 736,

8 N Yamamoto, Coherent versus measurement feedback: Linear systems theory for quantum information, Physical Review X, vol 4, no 49, 4 3 C Xiang, I R Petersen, and D Dong, Coherent robust H-infinity control of linear quantum systems with uncertainties in the Hamiltonian and couling oerators, Automatica, vol 8, 8, 7 4, Performance analysis and coherent guaranteed cost control for uncertain quantum systems using small gain and Poov methods, IEEE ransactions on Automatic Control, vol 6, no 3, 54 59, 7 5 S L Vuglar and I R Petersen, Quantum noises, hysical realizability and coherent quantum feedback control, IEEE ransactions on Automatic Control, vol 6, no, 998 3, 7 6 Z Miao, L A D Esinosa, I R Petersen, V Ugrinovskii, and M R James, Coherent quantum observers for n-level quantum systems, in Australian Control Conference, Perth, Australia, November 3 7 J P Hesanha, Linear Systems heory Princeton, New Jersey: Princeton Press, Se 9 8 J Gough and M R James, he series roduct and its alication to quantum feedforward and feedback networks, IEEE ransactions on Automatic Control, vol 54, no, , 9