Abstract
This chapter presents a realization/network synthesis theory for linear quantum systems. This theory addresses the question of how one can go from an abstract description of a linear quantum system to a concrete realization of the system using quantum optical devices. Two distinct types of realization problems are introduced and treated: the strict (or hard) realization problem and the transfer function (or soft) realization problem. The system to be realized is decomposed into simpler subsystems, and how these subsystems can be realized, at least approximately, in the quantum optical setting is developed. In particular, it is shown that simpler realizations can be obtained for completely passive linear quantum systems.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
The Introduction, Sect. 3.1 and the associated appendices contain materials adapted from [3] Copyright \(\copyright \) 2009 Society for Industrial and Applied Mathematics. Reprinted with permission. All rights reserved.
Section 3.2 and the associated appendices contain some materials reprinted, with permission, from [13] \(\copyright \) 2010 IEEE.
Section 3.3 contain materials reprinted, with permission, from [16] \(\copyright \) 2010 IEEE.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
J.C. Willems, J.W. Polderman, Introduction to Mathematical Systems Theory: A Behavioral Approach. Texts in Applied Mathematics, vol. 26 (Springer, Berlin, 1998)
B.D.O. Anderson, S. Vongpanitlerd, Network Analysis and Synthesis: A Modern Systems Theory Approach. Networks Series (Prentice-Hall Inc, Upper Saddle River, 1973)
H.I. Nurdin, M.R. James, A.C. Doherty, Network synthesis of linear dynamical quantum stochastic systems. SIAM J. Control Optim. 48(4), 2686–2718 (2009), \(\copyright \) 2009 Society for Industrial and Applied Mathematics. Reprinted with permission. All rights reserved
U. Leonhardt, Quantum physics of simple optical instruments. Rep. Prog. Phys. 66, 1207–1249 (2003)
J. Gough, M.R. James, The series product and its application to quantum feedforward and feedback networks. IEEE Trans. Autom. Control 54(11), 2530–2544 (2009)
J. Gough, M.R. James, Quantum feedback networks: Hamiltonian formulation. Commun. Math. Phys. 287, 1109–1132 (2009)
C.W. Gardiner, P. Zoller, Quantum Noise: A Handbook of Markovian and Non-Markovian Quantum Stochastic Methods with Applications to Quantum Optics, 3rd edn. (Springer, Berlin, 2004)
C.M. Caves, B.L. Schumaker, New formalism for two-photon quantum optics. I. Quadrature phases and squeezed states. Phys. Rev. A 31, 3068–3092 (1985)
B. Schumaker, C.M. Caves, New formalism for two-photon quantum optics. ii. Mathematical foundation and compact notation. Phys. Rev. A 31, 3093–3111 (1985)
U. Leonhardt, A. Neumaier, Explicit effective Hamiltonians for linear quantum-optical networks. J. Opt. B 6, L1–L4 (2004)
H.M. Wiseman, G.J. Milburn, Quantum theory of field-quadrature measurements. Phys. Rev. A 47(1), 642–663 (1993)
L. Bouten, R. van Handel, A. Silberfarb, Approximation and limit theorems for quantum stochastic models with unbounded coefficients. J. Funct. Anal. 254, 3123–3147 (2008)
H.I. Nurdin, Synthesis of linear quantum stochastic systems via quantum feedback networks. IEEE Trans. Autom. Control 55(4), 1008–1013 (2010). Reprinted, with permission, \(\copyright \) 2010 IEEE. Extended preprint version available at arXiv:0905.0802
M.R. James, H.I. Nurdin, I.R. Petersen, \(H^{\infty }\) control of linear quantum stochastic systems. IEEE Trans. Autom. Control 53(8), 1787–1803 (2008)
H.I. Nurdin, M.R. James, I.R. Petersen, Coherent quantum LQG control. Automatica 45, 1837–1846 (2009)
H.I. Nurdin, On synthesis of linear quantum stochastic systems by pure cascading. IEEE Trans. Autom. Control 55(10), 2439–2444 (2010) \(\copyright \) 2010 IEEE
I.R. Petersen, Cascade cavity realization for a class of complex transfer functions arising in coherent quantum feedback control, in Proceedings of the 2009 European Control Conference (Budapest, Hungary, 23–26 August 2009), pp. 190–195
I.R. Petersen, Cascade cavity realization for a class of complex transfer functions arising in coherent quantum feedback control. Automatica 47(8), 1757–1763 (2011)
G. Linblad, Brownian motion of harmonic oscillators: existence of a subdynamics. J. Math. Phys. 39(5), 2763–2780 (1998)
H.I. Nurdin, S. Grivopoulos, I.R. Petersen, The transfer function of generic linear quantum stochastic systems has a pure cascade realization. Automatica, pp. 324–333 (2016)
H.I. Nurdin, Structures and transformations for model reduction of linear quantum stochastic systems. IEEE Trans. Autom. Control 59(9), 2413–2425 (2014)
O. Techakesari, H.I. Nurdin, On the quasi-balanceable class of linear quantum stochastic systems. Syst. Control Lett. 78, 25–31 (2015)
O. Techakesari, H.I. Nurdin, Tangential interpolatory projection for model reduction of linear quantum stochastic systems. IEEE Trans. Autom. Control 62(1), 5–17 (2017)
H.I. Nurdin, On synthesis of linear quantum stochastic systems by pure cascading (2010). arXiv:0905.0802 (arXiv preprint)
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendices
Appendix A: Adiabatic Elimination of Coupled Cavity Modes
In this section, we shall derive formulas for two coupled cavity modes in which one of the cavity has very fast dynamics compared to the other and can be adiabatically eliminated, leaving only the dynamics of the slow cavity mode. The cavities are each coupled to separate bosonic fields and are interacting with one another in a classically pumped nonlinear crystal. A mathematically rigorous theory for the type of adiabatic elimination/singular perturbation that we are interested in here was developed in [12].
The two cavity modes will be denoted by a and b, each defined on two distinct copies of the Hilbert space \(\ell ^2\) of square-integrable sequences (\(\mathbb {Z}_+\) denotes the set of all nonnegative integers). Thus, the composite Hilbert space for the two cavity modes is \(\mathcal {H}=\ell ^2(\mathbb {Z}_+) \otimes l^2(\mathbb {Z}_+)\). The interaction in a nonlinear crystal is given, in some rotating frame, by an interaction Hamiltonian \(H_{ab}\) of the form \(H_{ab}=\alpha a^*b+\beta a^*b^*+ \alpha ^* ab^*+\beta ^* ab\), for some complex constants \(\alpha \) and \(\beta \). The mode a is coupled to a bosonic field \(\mathcal {A}_1\), while b is coupled to the bosonic field \(\mathcal {A}_2\), both fields in the vacuum state. The fields \(\mathcal {A}_1\) and \(\mathcal {A}_2\) live the boson Fock space \(\mathcal {F}_2=\mathcal {F}_1 \otimes \mathcal {F}_1\). We take a to be the slow mode to be retained and b to be the fast mode to be eliminated.
We consider a sequence of linear quantum systems \(G_k=(I,\tilde{L}^{(k)},H_{ab}^{(k)})\) with \(\tilde{L}^{(k)}=(\sqrt{\gamma _1} a,k\sqrt{\gamma _2}b)^{\top }\) and \(H_{ab}^{(k)}=\Delta _1 a^*a + k^2\Delta _2 b^*b+ k(\alpha a^*b+\beta a^*b^*+ \alpha ^* ab^*+\beta ^* ab)\) each evolving according to the unitary \(U_k\) satisfying the left Hudson–Parthasarathy (H–P) QSDE (as opposed to the conventional right H–P QSDE in (2.2)):
Here, we are using the left QSDE following the convention used in [12] (see Remark 3 therein) so that the Heisenberg picture dynamics of an operator x is given by \(x(t)=U_k(t)xU_k(t)^*\). We shall use the results of [12] to show, in a similar treatment to Sect. 3.2 therein, that in the limit as \(k \rightarrow \infty \):
for any fixed time \(T>0\), where \(\mathcal {H}_0\) is an appropriate Hilbert subspace of \(\mathcal {H}\) (to be precisely specified in the next paragraph) for a limiting unitary U(t) (again as a left H–P QSDE) satisfying:
on \(\mathcal {H}_0 \otimes \mathcal {F}\). Note that (3.17) is a left H–P QSDE corresponding to the right form in Sect. 2.1.4 by noting that we may write:
with \(\tilde{L}_1=\sqrt{\gamma _1}a\) and \(\tilde{L}_2=\imath \sqrt{\gamma _2}(-\imath \Delta _2 - \frac{\gamma _2}{2} )^{-1}(\alpha ^* a +\beta a^*)\). As such it satisfies the H–P Condition 1 of [12].
Let \(\phi _0,\phi _1,\ldots \) be the standard orthogonal bases of \(\ell ^2\), i.e., \(\phi _l\) is an infinite sequence (indexed starting from 0) of complex numbers with all zeros except a 1 in the lth place. First, let us specify that \(\mathcal {H}_0=\ell ^2 \otimes \mathbb {C}\phi _0\), and this is the subspace of \(\mathcal {H}\) where the slow dynamics of the system will evolve. Next, we define a dense domain \(\mathcal {D}=\mathrm{span}\{\phi _j \otimes \phi _l;\,j,l=0,1,2,\ldots \}\) of \(\mathcal {H}\). The strategy is to show that [12, Assumptions 2–3] are satisfied from which the desired result will follow from [12, Theorem 3].
From the definition of \(H_{ab}^{(k)}\), \(\tilde{L}^{(k)}\) and \(U_k\) given above, we can define the operators \(Y,A,B,G_1,G_2\), and \(W_{jl}\;(j,l=1,2)\) in [12, Assumption 1] as: \(Y=(i\Delta _2-\frac{\gamma _2}{2})b^*b,A=i(\alpha a^*b+ \alpha ^* ab^* + \beta a ^*b^* + \beta ^* ab),B=(i\Delta _1-\frac{\gamma _1}{2}) a^*a, G_1=\sqrt{\gamma _1}a^*,G_2=0,F_1=0,F_2=\sqrt{\gamma _2}b^*, W_{jl}=\delta _{jl}\). Then, we can define the operators \(K^{(k)}\), \(L_j^{(k)}\) in this assumption as:
Let \(P_0\) be the projection operator to \(\mathcal {H}_{0}\). Let us now address Assumption 2. From our definition of \(\mathcal {H}_0\), it is clear that we have that (a) \(P_0\mathcal {D} \subset \mathcal {D}\). Any element of \(P_0 \mathcal {D}\) is of the form \(f \otimes \phi _{0}\) for some \(f \in \mathrm{span}\{\phi _l;\,l=0,1,2,\ldots \}\); therefore, since \(Y=(\imath \Delta _2-\frac{\gamma _2}{2})b^*b\) and \(b \phi _{0}=0\), we find that (b) \(YP_0 d=0\) for all \(d \in \mathcal {D}\). Define the operator \(\tilde{Y}\) on \(\mathcal {D}\) by \(\tilde{Y} f \otimes \phi _0=0\) and \(\tilde{Y} f \otimes \phi _l= l^{-1}(\imath \Delta _2-\frac{\gamma _2}{2})^{-1} f \otimes \phi _l\) for \(l=1,2,\ldots \) (\(\tilde{Y}\) can then be defined to all of \(\mathcal {D}\) by linear extension). From the definition of Y and \(\tilde{Y}\), it is easily inspected that (c1) \(Y\tilde{Y} f=\tilde{Y} Y f=P_1 f\) for all \(f \in \mathcal {D}\), where \(P_1=I-P_0\) (i.e., the projection onto the subspace of \(\mathcal {H}\) complementary to \(\mathcal {H}_0\)). Moreover, because of the simple form of \(\tilde{Y}\), it is also readily inspected that (c2) \(\tilde{Y}\) has an adjoint \(\tilde{Y}^*\) with a dense domain that contains \(\mathcal {D}\). Since \(F_1=0\), we have that (d1) \(F_1^* P_0=0\) on \(\mathcal {D}\), while since \(F_2^* f \otimes \phi _0 = \sqrt{\gamma _2}b f \otimes \phi _0 = 0\;\forall f \in \ell ^2\), we also have (d2) \(F_2^* P_0 =0\) on \(\mathcal {D}\). Finally, from the expression for A and the orthogonality of the bases \(\phi _0,\phi _1,\ldots \), a little algebra reveals that (e) \(P_0 A P_0 d =0\) for all \(d \in \mathcal {D}\). From (a), (b), (c1–c2), (d1–d2), and (e), we have now verified that Assumption 2 is satisfied.
Finally, we verify that the limiting operator coefficients \(K,L_1,L_2,M_1,M_2\), \(N_{jk}\;(i,j=1,2)\) (as operators on \(\mathcal {H}_0\)) of Assumption 3 coincide with the corresponding coefficients of (3.17). These operator coefficients are defined as \(K=P_0(B-A \tilde{Y} A)P_0\), \(L_j=P_0(G_j-A \tilde{Y} F_j)P_0\), \(M_j=-\sum _{r=1}^{2}P_0 W_{jr}(G_r^*-F_r^*\tilde{Y} A)P_0\) and \(N_{jl}=\sum _{r=1}^{2}P_0 W_{jr}(F_r^*\tilde{Y} F_l + \delta _{rl})P_0\). From these definitions and some straightforward algebra, we find that for all \(f \in \mathrm{span}\{\phi _l;\,l=0,1,2,\ldots \}\):
and
Therefore, we see that U(t) may be written as:
Since we have already verified that (3.17) is bona fide left QSDE equation, it now follows that Assumption 3 of [12] is satisfied. Now (3.16) follows from [12, Theorem 3] and the proof is complete.
Moreover, we can observe from the derivation above that the coupling of a to \(\mathcal {A}_2(t)\) after adiabatic elimination will not change if a is also coupled to other cavities modes \(b_3,\ldots ,b_m\) via an interaction Hamiltonian of the form \(\sum _{i=j}^{m}(\alpha _{j1} ab_j^*+ \alpha _{j1}^* a^*b_j + \alpha _{j2} a^*b_j^* + \alpha _{j2}^* a b_j)\), and each additional mode may also be linearly coupled to distinct bosonic fields \(\mathcal {A}_3,\ldots ,\mathcal {A}_m\), respectively, as long as these other modes are not interacting with b and with one another (this amounts to just introducing additional operators \(F_j,G_j\), \(j \ge 3\), etc.). Moreover, under these conditions, one can also adiabatically eliminate any of the additional modes and the only effect will be the presence of additional sum terms in U(t) that do not involve b, \(\mathcal {A}_1(t)\) and \(\mathcal {A}_2(t)\). \(\Box \)
Appendix B: Proof of Theorem 3.4
For this proof, it will be convenient to interchange some rows and columns of the model matrix M to form another model matrix \(\tilde{M}\) to avoid complicated bookkeeping and thus reduce unnecessary clutter. Hereby, “rows” and “columns” we mean, respectively, block rows and block columns of M formed with respect to its specified partitioning. This interchange is as follows.
First, we permute rows of M such that the first \(2n-1\) rows from top to bottom are the rows labeled (while column labels are kept fixed as they are) \(s_{00}\), \(s_{12}\), \(s_{21}\), \(s_{13}\), \(s_{31}\), \(\ldots \), \(s_{1n}\), \(s_{n1}\), the next \(2(n-2)\) rows, respectively, are the rows labeled \(s_{23}\), \(s_{32}\), \(s_{24}\), \(s_{42}\), \(\ldots \), \(s_{2n}\), \(s_{n2}\), and so on in the same pattern until we get to the last n rows that are, respectively, those rows labeled \(s_{11}\), \(s_{22}\), \(\ldots \), \(s_{nn}\). Call the intermediate matrix resulting from this row permutation \(\hat{M}\). Then fixing the row labels of \(\hat{M}\), we permute its columns such that the first \(2n-1\) columns from left to right are, respectively, the columns of \(\hat{M}\) labeled \(r_{00}\), \(r_{12}\), \(r_{21}\), \(r_{13}\), \(r_{31}\), \(\ldots \), \(r_{1n}\), \(r_{n1}\), the next \(2(n-2)\) columns are, respectively, the columns labeled \(r_{23}\), \(r_{32}\), \(r_{24}\), \(r_{42}\), \(\ldots \), \(r_{2n}\), \(r_{n2}\), and so on in the same pattern until the final n columns that are, respectively, the columns labeled \(r_{11}\), \(r_{22}\), \(\ldots \), \(r_{nn}\). The resulting matrix after this permutation of columns is \(\tilde{M}\).
It is important to note here that since the same permutation is applied to the rows and columns, M and \(\tilde{M}\) are model matrix representations of the same physical system. That is to say that if M is the model matrix of \(G=(S,L,H)\), then \(\tilde{M}\) is the model matrix of \(\tilde{G}=(PSP^{\top },PL,H)\) for some suitable constant real permutation matrix P, while it is clear that G and \(\tilde{G}\) are representations of the same physical system. Thus with the same internal connections made, a reduced model matrix for \(\tilde{M}\) is also a reduced model matrix for M, up to a possible relabeling of uneliminated ports.
Let \(\tilde{L}=PL\) and \(\tilde{S}=PSP^{\top }\). Then, \(\tilde{L}\) can be partitioned as \(\tilde{L}=(\tilde{L}_\mathrm{i}^{\top },\tilde{L}_\mathrm{e}^{\top })^{\top }\), where \(\tilde{L}_\mathrm{i}\) is the first \(n(n-1)+1\) rows of \(\tilde{L}\), while \(\tilde{L}_\mathrm{e}\) is the last n rows of \(\tilde{L}\). They are of the form:
Similarly, \(\tilde{S}\) can be partitioned as \(\tilde{S}=\left[ \begin{array}{cc} \tilde{S}_\mathrm{ii} &{} \tilde{S}_\mathrm{ie} \\ \tilde{S}_\mathrm{ei}&{} \tilde{S}_\mathrm{ee} \end{array} \right] \), with \(\tilde{S}_\mathrm{ii}\) and \(\tilde{S}_\mathrm{ee}\) being block diagonal:
and \(\tilde{S}_\mathrm{ei}\) and \(\tilde{S}_\mathrm{ie}\) both being zero matrices. Then, \(\tilde{M}\) has a partitioning of the form (3.13) by identifying \(S_\mathrm{ii}\), \(S_\mathrm{ie}\), \(S_\mathrm{ei}\), \(S_\mathrm{ee}\), \(L_\mathrm{i}\) and \(L_\mathrm{e}\) with \(\tilde{S}_\mathrm{ii}\), \(\tilde{S}_\mathrm{ie}\), \(\tilde{S}_\mathrm{ei}\), \(\tilde{S}_\mathrm{ee}\) and \(\tilde{L}_\mathrm{i}\), and \(\tilde{L}_\mathrm{e}\), respectively. The reduced model matrix resulting from the subsequent simultaneous elimination of all internal edges \((s_{jk},r_{kj})\) \(j,k=1,\ldots ,n,j\ne k\), can be conveniently determined by using the adjacency matrix \(\eta \) defined by:
(Recall that \(c_{jk}=c_{kj}\)). Hence, according to Theorem 3.3, the reduced model matrix \(\tilde{M}_\mathrm{red}\) obtained after elimination of the internal edges \( \{(s_{jk},r_{kj});\, j,k=1,\ldots ,n,j\ne k\}\) has parameters given by (recalling that \(\tilde{S}_\mathrm{ei}\) and \(\tilde{S}_\mathrm{ie}\) are zero matrices):
Since M and \(\tilde{M}\) are model matrix representations of the same physical system and the external fields have the same ordering and labeling in both representations, the reduced model matrix of \(M_\mathrm{red}\) and \(\tilde{M}_\mathrm{red}\) of M and \(\tilde{M}\), respectively, after elimination of internal edges \((s_{jk},r_{kj})\), coincide. Hence, also the linear quantum stochastic systems \(G_\mathrm{red}\) and \(\tilde{G}_\mathrm{red}\) associated with M and \(\tilde{M}\), respectively, coincide. This completes the proof. \(\Box \)
Appendix C: Proof of Lemma 3.1
We begin by noting that
with \(\Delta =\frac{S_{21}}{1-S_{21}S_{12}}-\frac{S_{12}^*}{1-S_{21}^*S_{12}^*}=2\frac{S_{21}-S_{12}^*}{|1-S_{21}S_{12}|^2}\) (exploiting the fact that \(S_{12}S_{12}^*=1=S_{21}S_{21}^*\)). Now, set \(K_1=[\begin{array}{cc} \kappa&\imath \kappa \end{array}]\) for an arbitrary nonzero real constant \(\kappa \), and note that \(S_{21}S_{12} \ne 1\) implies that \(\Delta \ne 0\) and:
and therefore for any real matrix V, \(2\imath [\begin{array}{cc} -K_1^{*}\Delta ^*&K_1^{\top }\Delta \end{array}]^{-1}V=\left[ \begin{array}{c} Z \\ Z^{\#}\end{array}\right] \) for some complex row vector Z. Therefore, given any R, we see that we may solve the equation
for \(K_2\) and this solution is as given in the statement of the corollary.
Alternatively, we could also have started by setting \(K_2=[\begin{array}{cc} \kappa&\imath \kappa \end{array}]\) and analogously solving for \(K_1\) for a given R. It is then an easy exercise that the solution for \(K_1\) in this case is as stated in the corollary. \(\Box \)
Appendix D: Proof of Corollary 3.1
With \(c_{jk}\), \(S_{jk}\), \(R_{jk}\), and \(K_{jk}\), \(j,k=1,\ldots ,n\), as defined in the statement of the corollary, from Theorem 3.4 and Lemma 3.1 we have that \(S_\mathrm{red}=I_{nm}\), \(L_\mathrm{red}=(L_{11}^{\top },L_{22}^{\top },\ldots ,L_{nn}^{\top })^{\top }\) with \(L_{jj}=K_jx_j\), and
Expanding, we have:
where \(\mathrm{sym}(A)=(1/2)(A+A^{\top })\), and \(R=[R_{jk}]_{j,k=1,\ldots ,n}\) and \(R_{kj}=R_{jk}^{\top }\). From this, it is clear that using the concatenation product we can decompose \(G_\mathrm{red}\) as \(G_\mathrm{red}=(0,0,H_\mathrm{red}) \boxplus \boxplus _{j=1}^{n} (I_m,L_{jj},0)\). Let \(G_{\mathrm{red},0}=(0,0,H_\mathrm{red})\) and \(G_{\mathrm{red},j}=(I_m,L_{jj},0)\), \(j=1,\ldots ,n\). Now, using the series product rule, we easily compute that
Therefore, \(G_\mathrm{net}\) realizes a linear quantum stochastic system with parameters \(S_\mathrm{net}\), \(L_\mathrm{net}\) and \(H_\mathrm{net}\), as claimed.\(\Box \)
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Nurdin, H.I., Yamamoto, N. (2017). Realization Theory for Linear Dynamical Quantum Systems. In: Linear Dynamical Quantum Systems. Communications and Control Engineering. Springer, Cham. https://doi.org/10.1007/978-3-319-55201-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-55201-9_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-55199-9
Online ISBN: 978-3-319-55201-9
eBook Packages: EngineeringEngineering (R0)