arxiv: v2 [quant-ph] 13 Sep 2014

Transcription

1 Coherent-Clssicl Estimtion versus Purely-Clssicl Estimtion for Liner Quntum Systems Shibds Roy* In R Petersen nd Elnor H Huntington rxiv: v2 qunt-ph 13 Sep 2014 Abstrct We consider coherent-clssicl estimtion scheme for clss of liner quntum systems It comprises n estimtor tht is mixed quntum-clssicl system without involving coherent feedbck The estimtor yields clssicl estimte of vrible for the quntum plnt We demonstrte tht for pssive plnt tht cn be chrcterized by nnihiltion opertors only such coherent-clssicl estimtion provides no improvement over purely-clssicl estimtion An exmple is lso given which shows tht if the plnt is not ssumed to be n nnihiltion opertor only quntum system it is possible to get better estimtes with such coherent-clssicl estimtion compred with purely-clssicl estimtion I INTRODUCTION Estimtion nd control problems for quntum systems hve been of significnt interest in recent yers 1 13 An importnt clss of quntum systems re liner quntum systems tht describe quntum opticl devices such s opticl cvities liner quntum mplifiers 15 nd finite bndwidth squeezers 15 Much recent work hs considered coherent feedbck control for liner quntum systems where the feedbck controller itself is lso quntum system A relted coherent-clssicl estimtion problem hs been considered by one of the uthors in Ref 25 where the estimtor consists of clssicl prt which produces the desired finl estimte nd quntum prt which my lso involve coherent feedbck Note tht this is different from the problem considered in Ref 26 which involves constructing quntum observer A quntum observer is purely quntum system tht produces quntum estimte of vrible for the quntum plnt On the other hnd coherent-clssicl estimtor is mixed quntum-clssicl system tht produces clssicl estimte of vrible for the quntum plnt In this pper we consider specil cse of the coherentclssicl estimtion problem ie one tht does not involve coherent feedbck We first formulte the optiml coherentclssicl estimtion problem without ny ssumptions We then illustrte tht if the quntum plnt is ssumed to be physiclly relizble nnihiltion opertor only quntum system there is no improvement in the ccurcy of the estimte with coherent-clssicl estimtor over tht with clssiclonly estimtor We present n exmple where this is the cse to illustrte this result However if the quntum plnt is physiclly relizble but not ssumed to be chrcterized This work ws supported by the Austrlin Reserch Council (ARC) The uthors re with the School of Engineering nd Informtion Technology University of New South Wles t the Austrlin Defence Force Acdemy Cnberr ACT 2600 Austrli *shibdsroy t studentdfeduu by nnihiltion opertors only it is possible to get more precise estimte with coherent-clssicl estimtor when compred with purely-clssicl estimtor s demonstrted by n exmple which is presented II LINEAR QUANTUM SYSTEMS AND PHYSICAL REALIZABILITY The clss of liner quntum systems we consider here re described by the quntum stochstic differentil equtions (QSDEs) : d da(t) d # = F # dt+g da(t) # (t) (t) # = H where # dt+k F = (F 1 F 2 ) G = (G 1 G 2 ) da(t) da(t) # H = (H 1 H 2 ) K = (K 1 K 2 ) Here = 1 (t) n (t) T is vector of nnihiltion opertors The djoint of the opertor i is clled cretion opertor denoted by i Also the nottion (F 1F 2 ) denotes the mtrix F1 F 2 F # 2 F # Here F 1 F 2 C n n G 1 1 G 2 C n m H 1 H 2 C m n nd K 1 K 2 C m m Moreover # denotes the djoint of vector of opertors or the complex conjugte of complex mtrix Furthermore denotes the djoint trnspose of vector of opertors or the complex conjugte trnspose of complex mtrix In ddition the vector A = A 1 A m T represents collection of externl independent quntum field opertors nd the vector A out represents the corresponding vector of output field opertors Definition 1: (See ) A complex liner quntum system of the form (1) (2) is sid to be physiclly relizble if there exists complex commuttion mtrix Θ = Θ complex Hmiltonin mtrixm = M nd coupling mtrix N such tht Θ = TJT (3) I 0 where J = T = (T 0 I 1 T 2 ) is non-singulr M nd N re of the form (1) (2) M = (M 1 M 2 ) N = (N 1 N 2 ) (4)

2 nd F = ιθm 1 2 ΘN JN G = ΘN J H = N K = I Here the commuttion mtrix Θ stisfies the following commuttion reltion: # # = # # = Θ ( # T ) T # # Theorem 1: (See 20 27) The liner quntum system (1) (2) is physiclly relizble if nd only if there exists complex mtrix Θ = Θ such tht Θ is of the form in (3) nd FΘ+ΘF +GJG = 0 G = ΘH J K = I If the system (1) is physiclly relizble then the mtrices M nd N define complex open hrmonic oscilltor with coupling opertor L = N 1 N 2 # nd Hmiltonin opertor H = 1 T M 2 # A Annihiltion Opertor Only Liner Quntum Systems Annihiltion opertor only liner quntum systems re specil cse of the bove clss of liner quntum systems where the QSDEs (1) cn be described purely in terms of the vector of nnihiltion opertors 8 9 In this cse we consider Hmiltonin opertors of the form H = M nd coupling vectors of the form L = N where M is Hermitin mtrix nd N is complex mtrix The commuttion reltion (6) in this cse tkes the form: = Θ (8) (5) (6) (7) Theorem 2: (See 8 20) An nnihiltion opertor only liner quntum system of the form (9) is physiclly relizble if nd only if there exists complex mtrix Θ > 0 such tht FΘ+ΘF +GG = 0 G = ΘH K = I B Liner Quntum System from Quntum Optics (11) An exmple of liner quntum system from quntum optics is dynmic squeezer tht is n opticl cvity with non-liner opticl element inside s shown in Fig 1 Upon suitble lineriztions nd pproximtions such n opticl squeezer cn be described by the following quntum stochstic differentil equtions 25: d = γ 2 dt χ dt κ 1 da 1 κ 2 da 2 1 = κ 1 dt+da 1 2 = κ 2 dt+da 2 (12) where κ 1 κ 2 > 0 χ C nd is single nnihiltion opertor of the cvity mode This leds to liner quntum system of the form (1) s follows: d d = da out 1 (t) 1 (t) # da out 2 (t) 2 (t) # γ 2 χ χ γ 2 da1 (t) κ 1 da 1 (t) # dt da2 (t) κ 2 da 2 (t) # = κ 1 = κ 2 dt+ da1 (t) dt+ da 1 (t) # da2 (t) da 2 (t) # (13) The bove quntum system requires γ = κ 1 +κ 2 in order for the system to be physiclly relizble Also the bove quntum opticl system cn be described purely in terms of the nnihiltion opertor only if χ = 0 ie there is no squeezing in which cse it reduces to pssive opticl cvity This leds to liner quntum system of the form (9) s follows: where Θ > 0 Also the corresponding QSDEs re given by: d = Fdt+GdA = Hdt+KdA Definition 2: (See 8 20) A liner quntum system of the form (9) is physiclly relizble if there exist complex mtrices Θ > 0 M = M N such tht the following is stisfied: ( F = Θ ιm 1 ) 2 N N (9) d = γ 2 dt κ 1 da 1 κ 2 da 2 1 = κ 1 dt+da 1 2 = κ 2 dt+da 2 (14) G = ΘN H = N K = I (10) Fig 1 Schemtic digrm of dynmic opticl squeezer

3 where gin the system is physiclly relizble when we hve γ = κ 1 +κ 2 III PURELY-CLASSICAL ESTIMATION The schemtic digrm of purely-clssicl estimtion scheme is provided in Fig 2 We consider quntum plnt which is quntum system of the form (1) (2) defined s follows: d d # = F # dy(t) dy(t) # = H # dt+k z = C # da(t) dt+g da(t) # da(t) da(t) # (15) Herez denotes sclr opertor on the underlying Hilbert spce nd represents the quntity to be estimted Also Y(t) represents the vector of output fields of the plnt nd A(t) represents vector of quntum noises cting on the plnt In the cse of purely-clssicl estimtor qudrture of ech component of the vector Y(t) is mesured using homodyne detection to produce corresponding clssicl signl y i : dy 1 = cos(θ 1 )dy 1 +sin(θ 1 )dy 1 dy m = cos(θ m )dy m +sin(θ m )dy m (16) Here the ngles θ 1 θ m determine the qudrture mesured by ech homodyne detector The vector of clssicl signls y = y 1 y m T is then used s the input to clssicl estimtor defined s follows: dx e = F e x e dt+g e dy ẑ = H e x e (17) Here ẑ is sclr clssicl estimte of the quntity z The estimtion error corresponding to this estimte is e = z ẑ (18) Then the optiml clssicl estimtor is defined s the system (17) tht minimizes the quntity J c = lim t e (t)e(t) (19) which is the men-squre error of the estimte Here denotes the quntum expecttion over the joint quntumclssicl system defined by (15) (16) (17) The optiml clssicl estimtor is given by the stndrd (complex) Klmn filter defined for the system (15) (16) This optiml clssicl estimtor is obtined from the solution to the lgebric Riccti eqution: where F Pe + P e F +G G (G K + P e H )L (LK K L ) 1 L(G K + P e H ) = 0 F = F G = G H = H K = K L = L 1 L 2 cos(θ 1 ) cos(θ 2 ) 0 L 1 = cos(θm) sin(θ 1 ) sin(θ 2 ) 0 L 2 = sin(θm) (20) (21) Here we hve ssumed tht the quntum noise A is purely cnonicl ie dada = Idt nd hence K = I Eq (20) thus becomes: F P e + P e F +GG (G+ P e H )L L(G+ P e H ) = 0 (22) The vlue of the cost (19) is given by J c = C P e C (23) IV COHERENT-CLASSICAL ESTIMATION The schemtic digrm of the coherent-clssicl estimtion scheme under considertion is provided in Fig 3 In this cse the plnt output Y(t) does not directly drive bnk of homodyne detectors s in (16) Rther this output is fed into nother quntum system clled coherent controller which is defined s follows: dc (t) d c (t) # d Ỹ(t) dỹ(t)# = F c c (t) c (t) # = H c c (t) c (t) # dy(t) dt+g c dy(t) # dy(t) dt+k c dy(t) # (24) A qudrture of ech component of the vectorỹ(t) is mesured using homodyne detection to produce corresponding Fig 2 Schemtic digrm of purely-clssicl estimtion Fig 3 Schemtic digrm of coherent-clssicl estimtion

4 clssicl signl ỹ i : dỹ 1 = cos( θ 1 )dỹ1 +sin( θ 1 )dỹ 1 dỹ m = cos( θ m )dỹ m +sin( θ m )dỹ m (25) Then the corresponding optiml clssicl estimtor (26) is defined by the equtions: F e = F G e LH G e = (G K + P e H )L (LK K L ) 1 H e = C 0 (29) Here the ngles θ 1 θ m determine the qudrture mesured by ech homodyne detector The vector of clssicl signls ỹ = ỹ 1 ỹ m T is then used s the input to clssicl estimtor defined s follows: d x e = F e x e dt+ G e dỹ ẑ = H e x e (26) Here ẑ is sclr clssicl estimte of the quntity z Corresponding to this estimte is the estimtion error (18) Then the optiml coherent-clssicl estimtor is defined s the systems (24) (26) which together minimize the quntity (19) We cn now combine the quntum plnt (15) nd the coherent controller (24) to yield n ugmented quntum liner system defined by the following QSDEs: d d # d c d # c d Ỹ dỹ# = F 0 G ch F c = K ch H c # c # c # c # c dt+ G G ck da da # da dt+kck da # (27) The optiml clssicl estimtor is given by the stndrd (complex) Klmn filter defined for the system (27) (25) This optiml clssicl estimtor is obtined from the solution P e to n lgebric Riccti eqution of the form (20) where F = F 0 G G c H F = c G G c K H = K c H H c K = K c K L = L1 L2 cos( θ 1 ) cos( θ 2 ) 0 L 1 = cos( θ m) sin( θ 1 ) sin( θ 2 ) 0 L 2 = sin( θ m) (28) where since the quntum noise A is ssumed to be purely cnonicl ie dada = Idt we hve K = K c K = I which requires K c = I too s K = I We write: P1 P 2 P e = P 2 P 3 (30) where P 1 is of the sme dimension s P e Then the vlue of the corresponding cost of the form (19) is then given by J c = C 0 C Pe = CP 0 1 C (31) Also we clculte: G G GG GG c = G cg G cg c G K + P eh G+P1H +P = 2H c G c +P 2 H +P 3H c FP 1 FP 2 F Pe = G chp 1 +F cp 2 G chp 2 +F cp 3 P ef P1F P = 1H G c +P 2F c P 2 F P 2 H G c +P 3F c (32) Thus upon expnding the Riccti eqution (20) we get the following set of equtions: FP 1 +P 1F +GG (G+P 1H +P 2H c)l L(G+P 1H +P 2H c) = 0 FP 2 +P 1H G c +P 2F c +GG c (G+P 1H +P 2H c)l L(G c +P 2H +P 3H c) = 0 G chp 2 +P 2H G c +F cp 3 +P 3F c +G cg c (G c +P 2 H +P 3H c)l L(G c +P 2 H +P 3H c) = 0 (33) V MAIN RESULT Our min result is the following theorem Theorem 3: Consider coherent-clssicl estimtion scheme defined by (9) (A out being Y) (24) (25) nd (26) such tht the plnt is physiclly relizble with the estimtion error cost Jc defined in (31) Also consider the corresponding purely-clssicl estimtion scheme defined by (9) (16) nd (17) such tht the plnt is physiclly relizble with the estimtion error cost Jc defined in (23) Then J c = J c (34) Proof: We first consider the form of the system (15) under the ssumption tht the plnt cn be chrcterized purely by nnihiltion opertors This essentilly implies tht the plnt is pssive quntum system A quntum system (1) (2) is chrcterized by nnihiltion opertors only when F 2 G 2 H 2 K 2 = 0

5 Then the equtions for the nnihiltion opertors in (15) tke the form: d = F 1 dt+g 1 da dy = H 1 dt+k 1 da (35) The corresponding equtions for the cretion opertors re then: d = F # 1 dt+g # 1 da# dy # = H # 1 dt+k # 1 da# Hence the plnt is described by (15) where: F1 0 G1 0 F = 0 F # G = 1 0 G # 1 H1 0 K1 0 H = 0 H # K = 1 0 K # 1 (36) (37) Next we use the ssumption tht the plnt is physiclly relizble Then by pplying Theorem 2 to (35) there exists mtrix Θ 1 > 0 such tht: Hence F 1 Θ 1 +Θ 1 F 1 +G 1G 1 = 0 G 1 = Θ 1 H 1 K 1 = I F # 1 Θ# 1 +Θ# 1 FT 1 +G# 1 GT 1 = 0 Combining (38) nd (39) we get: FΘ+ΘF +GG = 0 (38) G # 1 = Θ# 1 HT 1 (39) K # 1 = I G = ΘH (40) K = I Θ1 0 where Θ = 0 Θ # > 0 1 Substituting P e = Θ in the left-hnd side of the Riccti eqution (22) we get: FΘ+ΘF +GG (G+ΘH )L L(G+ΘH ) which is clerly zero owing to (40) Thus Θ stisfies (22) Θ 0 Also it follows from the bove tht Pe = 0 P 3 stisfies (20) for the cse of coherent-clssicl estimtion since (33) is stisfied owing to (40) by substituting P 1 = Θ nd P 2 = 0 to yield: FΘ+ΘF +GG (G+ΘH )L L(G+ΘH ) = 0 (G+ΘH )G c (G+ΘH )L L(G c +P 3H c) = 0 F cp 3 +P 3F c +G cg c (G c +P 3H c)l L(G c +P 3H c) = 0 (41) where P 3 > 0 is simply the error-covrince of the purelyclssicl estimtion of the coherent controller lone Thus we get Jc = J c = CΘC Remrk 1: We note tht the Klmn gin of the purelyclssicl estimtor is zero when P e = Θ This implies tht the Klmn stte estimte is independent of the mesurement This is consistent with Corollry 1 of Ref 20 which sttes tht for physiclly relizble nnihiltion opertor quntum system with only quntum noise inputs ny output field contins no informtion bout the internl vribles of the system Remrk 2: Theorem 3 implies tht coherent-clssicl estimtion of physiclly relizble quntum plnt tht cn be described purely by nnihiltion opertors performs exctly identicl to nd no better thn purely-clssicl estimtion of the plnt This is so becuse the output field of the quntum plnt s observed bove contins no informtion bout the internl vribles of the plnt nd therefore serves simply s quntum white noise input for the coherent controller It is interesting to sk t this point tht if the plnt is not pssive quntum system nd therefore cnnot be described purely by nnihiltion opertors is it possible to get better estimte with coherent-clssicl estimtor thn tht with purely-clssicl estimtor? It turns out tht it is possible to get lower estimtion error with coherentclssicl estimtion (even without the coherent feedbck used in 25) thn with clssicl-only estimtion We will see n exmple in the following section where this is the cse VI DYNAMIC SQUEEZER EXAMPLE In this section we consider exmples involving dynmic squeezers First we present n exmple to illustrte Theorem 3 Let us consider the quntum plnt to be described by the QSDEs: d d = dy(t) dy(t) # = κ γ χ 2 χ γ 2 dt+ z = da(t) da(t) # dt da(t) κ da(t) # (42) Here we choose γ = 4 κ = 4 nd χ = 0 Note tht this system is physiclly relizble since γ = κ nd is nnihiltion opertor only since χ = 0 In fct this system corresponds to pssive opticl cvity The mtrices corresponding to the system (15) re: F = G = K = IC = H = 0 2 We then clculte the optiml clssicl-only stte estimtor nd the error J c of (23) for this system using the stndrd Klmn filter equtions corresponding to homodyne detector ngles vrying from θ = 0 to θ = 180 We next consider the cse where dynmic squeezer is used s the coherent controller in coherent-clssicl

6 estimtion scheme In this cse the coherent controller (24) is described by the QSDEs: d γ χ d = 2 χ γ 2 dỹ(t) = κ dỹ(t)# dt+ dy(t) dy(t) # dt dy(t) κ dy(t) # (43) Here we choose γ = 16 κ = 16 nd χ = 2 so tht the system is physiclly relizble The mtrices corresponding to the system (24) re: 8 2 F c = 2 8 H c = 4 0 G c = K c = I Then the clssicl estimtor for this cse is clculted ccording to (27) (28) (20) (29) for the homodyne detector ngle vrying from θ = 0 to θ = 180 The resulting vlue of the cost Jc in (31) longwith the cost for the purelyclssicl estimtor cse is shown in Fig 4 It is cler from the figure tht both the clssicl-only nd coherent-clssicl estimtors hve the sme estimtion error cost for ll homodyne ngles This illustrtes Theorem 3 proved in the previous section Now we shll illustrte n exmple where both the plnt nd controller re physiclly relizble but the plnt hs χ 0 ie it is not nnihiltion opertor only In (42) we choose γ = 4 κ = 4 nd χ = 1 Note tht this system is physiclly relizble since γ = κ The mtrices corresponding to the system (15) re: F = G = K = IC = H = 0 2 We then clculte the optiml clssicl estimtor s bove for the homodyne detector ngle vrying from θ = 0 to θ = 180 Next in (43) we choose γ = 16 κ = 16 nd χ = 4 Note tht this system is lso physiclly relizble since γ = κ The mtrices corresponding to the system (24) re: 8 4 F c = 4 8 H c = G c = K c = I The clssicl estimtor for this cse is clculted s bove for the homodyne detector ngle vrying from θ = 0 to θ = 180 The resulting vlue of the cost Jc in (31) longwith the cost Jc in (23) for the purely-clssicl estimtor cse is shown in Fig 5 From this figure we cn see tht the coherent-clssicl estimtor cn perform better thn the purely-clssicl estimtor eg for homodyne detector ngle of θ = 40 It however ppers tht for the best choice of homodyne detector ngle the clssicl-only estimtor lwys outperforms the coherentclssicl estimtor VII CONCLUSION In this pper we hve demonstrted tht coherentclssicl estimtion scheme without coherent feedbck cnnot provide better estimtes thn clssicl-only estimtion scheme when the quntum plnt is ssumed to be physiclly relizble nnihiltion opertor only quntum system We hve lso presented n exmple where such coherentclssicl estimtion is better thn purely-clssicl estimtion if the plnt is not ssumed to be n nnihiltion opertor only quntum system REFERENCES 1 H M Wisemn nd G J Milburn Quntum Mesurement nd Control Cmbridge University Press M Yngisw nd H Kimur Trnsfer function pproch to quntum control-prt I: Dynmics of quntum feedbck systems IEEE Trnsctions on Automtic Control vol 48 no 12 pp M Yngisw nd H Kimur Trnsfer function pproch to quntum control-prt II: Control concepts nd pplictions IEEE Trnsctions on Automtic Control vol 48 no 12 pp X: 40 Y: 0156 Estimtion error J c J c Estimtion error X: 40 Y: J c J c θ (degrees) θ (degrees) Fig 4 Estimtion error vs homodyne detection ngle θ in the cse of n nnihiltion opertor only plnt Fig 5 Estimtion error vs homodyne detection ngle θ in the cse of squeezer plnt

7 4 N Ymmoto Robust observer for uncertin liner quntum systems Physicl Review A vol 74 p M R Jmes H I Nurdin nd I R Petersen H control of liner quntum stochstic systems IEEE Trnsctions on Automtic Control vol 53 no 8 pp H I Nurdin M R Jmes nd I R Petersen Coherent quntum LQG control Automtic vol 45 no 8 pp J Gough R Gohm nd M Yngisw Liner quntum feedbck networks Physicl Review A vol 78 p A I Mlouf nd I R Petersen Bounded rel properties for clss of liner complex quntum systems IEEE Trnsctions on Automtic Control vol 56 no 4 pp A I Mlouf nd I R Petersen Coherent H control for clss of liner complex quntum systems IEEE Trnsctions on Automtic Control vol 56 no 2 pp N Ymmoto H I Nurdin M R Jmes nd I R Petersen Avoiding entnglement sudden-deth vi feedbck control in quntum network Physicl Review A vol 78 no 4 p J Gough nd M R Jmes The series product nd its ppliction to quntum feedforwrd nd feedbck networks IEEE Trnsctions on Automtic Control vol 54 no 11 pp J E Gough M R Jmes nd H I Nurdin Squeezing components in liner quntum feedbck networks Physicl Review A vol 81 p I R Petersen Quntum liner systems theory in Proceedings of the 19th Interntionl Symposium on Mthemticl Theory of Networks nd Systems Budpest Hungry July D F Wlls nd G J Milburn Quntum Optics Berlin New York: Springer-Verlg C Grdiner nd P Zoller Quntum Noise Berlin: Springer H M Wisemn nd A C Doherty Optiml unrvellings for feedbck control in liner quntum systems Physicl Review Letters vol 94 p H I Nurdin M R Jmes nd A C Doherty Network synthesis of liner dynmicl quntum stochstic systems SIAM Journl on Control nd Optimiztion vol 48 no 4 pp H Mbuchi Coherent-feedbck quntum control with dynmic compenstor Physicl Review A vol 78 p G Srm A Silberfrb nd H Mbuchi Quntum stochstic clculus pproch to modeling double-pss tom-field coupling Physicl Review A vol 78 p I R Petersen Notes on coherent feedbck control for liner quntum systems in Proceedings of the Austrlin Control Conference Perth Austrli November H Bchor nd T Rlph A Guide to Experiments in Quntum Optics 2nd ed Weinheim Germny: Wiley-VCH H M Wisemn nd G J Milburn All-opticl versus electro-opticl quntum-limited feedbck Physicl Review A vol 49 no 5 pp S Lloyd Coherent quntum feedbck Physicl Review A vol 62 p J E Gough nd S Wildfeuer Enhncement of field squeezing using coherent feedbck Physicl Review A vol 80 p I R Petersen Coherent-clssicl estimtion for quntum liner systems in Proceedings of the Austrlin Control Conference Perth Austrli November Z Mio nd M R Jmes Quntum observer for liner quntum stochstic systems in Proceedings of the 51st IEEE Conference on Decision nd Control Mui Hwii December A J Shiju nd I R Petersen A frequency domin condition for the physicl relizbility of liner quntum systems IEEE Trnsctions on Automtic Control vol 57 no 8 pp