1 Introduction

Entanglement is a special notion that had been considered as a “spooky” correlation [1]. However, over recent decades it has gained a positive impression mainly thanks to its central role in quantum information science [2, 3]. A particularly important application of entanglement in our context is the quantum metrology [4, 5]. The basic configuration is depicted in Fig. 1. The goal is to estimate an unknown parameter \(\vartheta \) of the system. A standard estimation method is first to send a known input state and then measure the output state containing the information about \(\vartheta \) (Fig. 1a); in this case, the estimation error has a strict lower bound called the standard quantum limit (SQL) with respect to the input energy. In the quantum metrology schematic depicted in Fig. 1b, on the other hand, an entangled state is chosen as an input so that one portion passes through the system while the other portion does not; then by measuring the combined output, we obtain more information about \(\vartheta \) than the standard case (Fig. 1a) and thus can beat the SQL in the estimation error. This schematic has been experimentally demonstrated in several settings, e.g., [6,7,8,9]. Note that the entanglement-assisted method is not a unique approach for beating the SQL; particularly in the case where \(\vartheta \) is the parameter of a force applied to a mechanical oscillator (e.g., a gravitational wave force), several alternative estimation schemes beating the SQL have been developed, such as the squeezed probe scheme [10,11,12,13] and the variational measurement technique [14] for back-action evasion.

Fig. 1
figure 1

a Standard setup for estimating an unknown parameter \(\vartheta \). b Quantum metrology setup using an entangled input

What we learn from the theory of quantum metrology is the fact that, in a broad sense, a quantum estimator could have better performance if assisted by entanglement. Therefore, it is a reasonable idea to employ an entanglement-assisted estimation strategy for the measurement-based quantum feedback control [15, 16], which is now well established based on the quantum filtering theory [17, 18]. Actually, in a similar configuration depicted in Fig. 1b, it is expected that the quantum filter (i.e., the best continuous-time estimator) brings us more information, and as consequence we will have chance to construct a better controller than in the standard case without entanglement. The idea of entanglement-assisted feedback control is briefly mentioned in [19], but there has been no quantitative analysis of this control strategy. That is, we are interested in the following questions; (i) How much does the entanglement-assisted strategy improve the control performance in a realistic setup? (ii) In what situation is the entanglement-assisted feedback control really beneficial? Note that the answers to these questions are non-trivial, because, for a realistic noisy system, the entanglement-assisted feedback control will not always outperform the standard one without entanglement, due to the fragile nature of entangled states.

Fig. 2
figure 2

General feedback control configuration via an entangled input field. \({\hat{W}}_1 and {\hat{W}}_2\) are field annihilation operators representing a squeezed state with phase \(\theta \) and a coherent (or vacuum) state, respectively. \({\hat{W}}_3\) represents a vacuum field. \(\beta _1^2, \beta _2^2\), and \(\delta ^2\) denote the reflectivity of the beam splitters; in particular \(\delta \) corresponds to an optical loss of the system’s output field. \(\phi _1\) and \(\phi _2\) are the phases of Homodyne detectors

In this paper, we consider the setup illustrated in Fig. 2. The system to be controlled is a general linear quantum system such as an optical amplifier and an opto-mechanical oscillator [20,21,22,23,24,25]. The probe input is given by an optical entangled state generated by combining a squeezed field and a coherent field [26] at a beam splitter; one portion of this entangled field couples to the system while the other portion does not, as in the scheme shown in Fig. 1b; and then the combined output field is continuously measured by Homodyne detectors. Finally, based on the measurement signal, we construct the quantum filter and then apply a feedback control to the system. The point of this setting is that the system state is always Gaussian, and as a result the quantum filter is simplified to the quantum Kalman filter [27], which enables us to compute the exact real-time estimate of the system variables. Furthermore, in this paper, we consider the quantum linear quadratic Gaussian (LQG) optimal control problem, meaning that the control goal is to minimize a quadratic-type cost function. Fortunately, again thanks to the Gaussianity of the system state, this problem can be analytically solved by almost the same way as in the classical case [28, 29]. An important fact in this formulation is that a strict lower bound of the cost, which is ideally achievable by employing the so-called cheap control [30,31,32], is represented by a function of only the estimation error. Therefore, this ultimate limit of the LQG control cost has the meaning of SQL, when the input is given by a coherent or a vacuum field.

In the above-described framework, first, this paper proves that, thanks to the entangled probe input, the filter certainly gains additional information which may improve the control performance. Next, we study a feedback cooling problem of an opto-mechanical oscillator [33,34,35,36,37,38] and provide answers to the above-posed questions by conducting detailed numerical simulations. In particular, it is shown that, by carefully choosing the system parameters (\(\theta , \beta _1, \beta _2, \phi _1, \phi _2\); see Fig. 2), the entanglement-assisted feedback control can lower the stationary occupation number of the oscillator below the SQL in the sense of cheap control mentioned above, and moreover, it outperforms the control with an optimized squeezed probe field [13].

Finally, we note that the scheme presented in this paper differs from that studied in [36], which considers the use of system’s internal entanglement to enhance cooling for an opto-mechanical system.

Notation: \(\mathfrak {R}\) and \(\mathfrak {I}\) denote the real and imaginary parts, respectively. \(I_n: n\times n\) identity matrix. \(O_n: n\times n\) zero matrix. \(0_{n\times m}: n\times m\) zero matrix.

2 Quantum Kalman filtering, LQG control, and cheap control

We here review the general theory of quantum Kalman filtering, LQG optimal control, and the cheap control.

2.1 Quantum linear systems

In this paper, we consider a linear quantum system, whose general form is described as follows (see [15, 16, 21, 24] for more details). The system variables are collected in a vector of operators \({\hat{x}} :=[{\hat{q}}_1, {\hat{p}}_1, \ldots , {\hat{q}}_n, {\hat{p}}_n]^\top \), where \({\hat{q}}_i\) and \({\hat{p}}_i\) are position and momentum operators. They satisfy the canonical commutation relation \({\hat{q}}_i{\hat{p}}_j - {\hat{p}}_j {\hat{q}}_i=i\delta _{ij}\) (we set \(\hbar =1\)), which is summarized as

$$\begin{aligned} {\hat{x}} {\hat{x}}^\top -({\hat{x}} {\hat{x}}^\top )^\top = i \varSigma _n, \end{aligned}$$
(1)

where \(\varSigma _n\) is the following \(2n\times 2n\) block diagonal matrix:

$$\begin{aligned} \varSigma _n=\mathrm{diag}\{\sigma , \ldots , \sigma \},~~ \sigma = \left[ \begin{array}{cc} 0 &{} 1 \\ -1 &{} 0 \end{array}\right] . \end{aligned}$$

The system variables are governed by the linear dynamics

$$\begin{aligned} d{\hat{x}}_t =A{\hat{x}}_t dt+Fu_tdt + B d{\hat{W}}_t. \end{aligned}$$
(2)

Note that, in order to preserve Eq. (1) for all t, the matrix A must be of the following form:

$$\begin{aligned} A=\varSigma _n(G+\varSigma _n^\top B \varSigma _m B^\top \varSigma _n/2), \end{aligned}$$
(3)

where G is a \(2n\times 2n\) real symmetric matrix determining the system Hamiltonian by \({\hat{H}}={\hat{x}}^\top G{\hat{x}}/2\). Also B is a \(2n \times 2m\) real matrix determined from the system–field coupling. F is a real matrix, and \(u_t\) is the vector of classical (i.e., non-quantum) signal representing the control input. The system couples with m probe or environment bosonic fields, with vector of noise operators \({\hat{W}}_t :=[{\hat{Q}}_1, {\hat{P}}_1, \ldots , {\hat{Q}}_m, {\hat{P}}_m]^\top \). This satisfies the quantum Ito rule \(d{\hat{W}}_t d{\hat{W}}_t^\top =\varTheta dt\), with zero mean: \(\langle {d{\hat{W}}_t}\rangle =0\). The correlation matrix \(\varTheta \) is \(2m\times 2m\) block diagonal Hermitian, and their jth block matrix (i.e., the correlation matrix of \({\hat{Q}}_j\) and \({\hat{P}}_j\)) is in general written as

$$\begin{aligned} \varTheta _j = \left[ \begin{array}{cc} N_j+\mathfrak {R}(M_j)+1/2 &{} \mathfrak {I}(M_j)+i/2 \\ \mathfrak {I}(M_j)-i/2 &{} N_j-\mathfrak {R}(M_j)+1/2 \\ \end{array}\right] . \end{aligned}$$
(4)

The parameters \(N_j\in {{\mathbb {R}}}\) and \(M_j\in {{\mathbb {C}}}\) satisfy \(N_j(N_j+1)\ge |M_j|^2\). Note that \(N_j\) represents the average excitation number of the probe quanta, and \(M_j\) is related to squeezing of the field; if \(N_j(N_j+1)=|M_j|^2\) is satisfied, the probe field state is a pure squeezed state,Footnote 1 while if \(M_j = 0\) it is not squeezed. Also note that \(d{\hat{Q}}_j d{\hat{P}}_j - d{\hat{P}}_j d{\hat{Q}}_j=idt\).

For this system, we perform a (joint) Homodyne measurement on \(\ell ~(\le m)\) output probe fields, which generates the classical measurement signal

$$\begin{aligned} d y_t = C{\hat{x}}_t dt + D d{\hat{W}}_t. \end{aligned}$$
(5)

Note that, due to the unitarity of the system–field coupling, the \(\ell \times 2n\) real matrix C and the \(\ell \times 2m\) real matrix D satisfy the following specific structure:

$$\begin{aligned} C=D\varSigma _m B^\top \varSigma _n, ~~~D\varSigma _m D^\top =0. \end{aligned}$$
(6)

In this paper, we assume that A is Hurwitz, meaning that the real parts of all the eigenvalues of A are negative; hence, in this case the mean of the system variables, \(\langle {{\hat{x}}_t}\rangle \), which obeys the dynamics \(d\langle {{\hat{x}}_t}\rangle /dt=A\langle {{\hat{x}}_t}\rangle \), converges to zero in the long time limit, i.e., \(\langle {{\hat{x}}_t}\rangle \rightarrow 0\). Note that the opto-mechanical system studied in Sect. 4 is Hurwitz.

2.2 Quantum Kalman filter

Let us consider the situation where we want to perform a real-time estimate of the system variable \({\hat{x}}_t\) based on the measurement signal \(y_t\). The solution is provided by the quantum filtering theory; that is, we can rigorously define the quantum conditional expectation \(\pi ({\hat{x}}_t):={{\mathbb {E}}}({\hat{x}}_t\,|\,{{\mathcal {Y}}}_t)\), where \({{\mathcal {Y}}}_t\) is the \(\sigma \)-algebra composed of the measurement signal \(\{ y_s\,|\,0\le s\le t\}\). In fact the classical random variable \(\pi ({\hat{x}}_t)\) is the least mean squared estimate of \({\hat{x}}_t\). The recursive equation updating \(\pi ({\hat{x}}_t)\) is given by the quantum Kalman filter [27,28,29]:

$$\begin{aligned} d\pi ({\hat{x}}_t)= & {} A\pi ({\hat{x}}_t)dt + Fu_tdt + K_t(dy_t -C\pi ({\hat{x}}_t)dt), \nonumber \\ K_t= & {} (V_t C^\top + B\mathfrak {R}(\varTheta )D^\top )(D\mathfrak {R}(\varTheta ) D^\top )^{-1}, \end{aligned}$$
(7)

where the initial condition is \(\pi ({\hat{x}}_0)=\langle {{\hat{x}}_0}\rangle \) with \(\langle {\bullet }\rangle \) the unconditional expectation. \(V_t\) is the estimation error covariance matrix defined as

$$\begin{aligned} V_t:=\langle {\varDelta \hat{x}_t\varDelta \hat{x}_t^\top +(\varDelta \hat{x}_t\varDelta \hat{x}_t^\top )^\top }\rangle /2,~~ \varDelta \hat{x}_t:=\hat{x}_t-\pi ({\hat{x}}_t), \end{aligned}$$

which evolves in time according to the following Riccati differential equation:

$$\begin{aligned} \dot{V}_t = AV_t + V_tA^\top + B\mathfrak {R}(\varTheta )B^\top -K_t D\mathfrak {R}(\varTheta ) D^\top K_t^\top . \end{aligned}$$
(8)

Under the assumption A being Hurwitz,Footnote 2 this equation has a unique steady solution \(V_\infty >0\).

2.3 Quantum LQG control

In the infinite horizon quantum LQG control problem, we consider the following cost function:

$$\begin{aligned} J[u] = \lim _{T\rightarrow \infty } \frac{1}{T} \biggl \langle \int _0^T ({{\hat{x}}}_t^\top Q {{\hat{x}}}_t +u_t^{\top }Ru_t )\hbox {d}t \biggr \rangle , \end{aligned}$$
(9)

where \(Q\ge 0\) and \(R>0\) are real weighting matrices. The goal is to design the feedback control law \(u_t\) as a function of \(y_t\) that minimizes the cost (9) under condition (2), i.e., \(u_t^*=\mathrm{arg}\min _u J[u]\). The point is that, due to the tower property \(\langle {{\hat{x}}_t}\rangle =\langle {\pi (\hat{x}_t)}\rangle =\langle {{{\mathbb {E}}}({\hat{x}}_t\,|\,{{\mathcal {Y}}}_t)}\rangle \), the cost can be represented in terms of only the filter variable as follows. That is, due to the relation \({{\mathbb {E}}}(\hat{x}_t\hat{x}_t^\top \,|\, {{\mathcal {Y}}}_t) =V_t + i\varSigma _n/2 + \pi (\hat{x}_t)\pi (\hat{x}_t)^\top \), we have

$$\begin{aligned}&\biggl \langle \int _0^T (\hat{x}_t^\top Q \hat{x}_t + u_t^\top R u_t )\hbox {d}t \biggr \rangle = \biggl \langle \int _0^T \Big ( \mathrm{Tr}[Q{{\mathbb {E}}}(\hat{x}_t\hat{x}_t^\top \,|\,{{\mathcal {Y}}}_t)] + u_t^\top R u_t \Big )\hbox {d}t \biggr \rangle \nonumber \\&\quad = \biggl \langle \int _0^T \Big ( \pi (\hat{x}_t)^\top Q \pi (\hat{x}_t) + u_t^\top Ru_t \Big )\hbox {d}t \biggr \rangle + \int _0^T\mathrm{Tr}\Big [Q\Big (V_t+\frac{i}{2}\varSigma _n\Big )\Big ]\hbox {d}t, \end{aligned}$$

where we have used the fact that \(V_t\) obeys the deterministic time evolution (8). Hence, this equation leads to

$$\begin{aligned} J[u] = \lim _{T\rightarrow \infty } \frac{1}{T} \biggl \langle \int _0^T \Big ( \pi (\hat{x}_t)^\top Q \pi (\hat{x}_t) + u_t^\top Ru_t \Big )\hbox {d}t \biggr \rangle + \mathrm{Tr}(QV_\infty ). \end{aligned}$$
(10)

Note that the second term is constant. As a result, our problem is to find \(u_t\) minimizing the first term of Eq. (10) under condition (7). This is exactly the classical LQG control problem and can be analytically solved as follows (see [40] or “Appendix A”); the optimal control input is given by

$$\begin{aligned} u^*_t=-R^{-1}F^\top P_t\pi (\hat{x}_t), \end{aligned}$$
(11)

where \(P_t\) is the solution of the following Riccati equation:

$$\begin{aligned} {\dot{P}}_t+P_tA + A^\top P_t - P_tFR^{-1}F^\top P_t + Q = 0. \end{aligned}$$
(12)

Likewise the case of Eq. (8), because A is Hurwitz,Footnote 3 this equation has a unique steady solution \(P_\infty \ge 0\). The minimum value of the cost, which is reached by the optimal control (11), is given by

$$\begin{aligned} J[u^*] = \mathrm{Tr}(K_\infty D\mathfrak {R}(\varTheta ) D^\top K_\infty ^\top P_\infty ) + \mathrm{Tr}(QV_\infty ). \end{aligned}$$
(13)

Note that \(u^*_t\) is a function of the optimal estimate \(\pi ({\hat{x}}_t)\). Thus, we can design the optimal estimate and control separately; this is called the separation principle as in the classical case [41].

2.4 Lower bound of the minimum cost: the cheap control

Let us set \(R=\epsilon ^2 I\) for the cost function (9), where \(\epsilon >0\) is a positive scalar, and use \(P_\epsilon \) to denote the solution of the Riccati equation (12). Then, it was proven in [30] that \(P_\epsilon \) monotonically decreases as \(\epsilon \) goes to zero. Moreover, we have that \(\lim _{\epsilon \rightarrow 0}P_\epsilon =0\), if and only if the system characterized by \((A, F, \bar{Q})\) is minimum phase and right invertible; see “Appendix B” for the definitions of this condition (\(\bar{Q}\) is a real matrix satisfying \(Q=\bar{Q}^\top \bar{Q}\)). In this case, the steady solution of the Riccati equation (12) takes the form \(P_\infty =\epsilon \bar{P}+O(\epsilon ^2)\). Then, the minimum cost (13) becomes

$$\begin{aligned} J[u^*] = \epsilon \mathrm{Tr}(K_\infty D\mathfrak {R}(\varTheta ) D^\top K_\infty ^\top \bar{P}) + \mathrm{Tr}(QV_\infty ) + O(\epsilon ^2), \end{aligned}$$
(14)

and the optimal control input (11) is given by \(u^*_t=-\epsilon ^{-1}F^\top \bar{P}\pi (\hat{x}_t)\) at steady state. Now we consider the situation where the actuator is allowed to have a large control gain (e.g., the case \(\epsilon \approx 0\)); in particular, the control input in the ideal limit \(\epsilon \rightarrow +0\), meaning that no penalty is imposed on it, is called the cheap control [30,31,32]. We then see that this ultimate feedback control perfectly suppresses the fluctuation of the estimated variables \(\pi (\hat{x}_t)\), i.e., the first term of Eq. (14), and as a result the total cost is limited only by the optimal estimation error. Therefore, we can take \(J^*[u^*] = \mathrm{Tr}(QV_\infty )\) as a fundamental quantity that is reasonably used for evaluating the performance of feedback control, because it cannot be further decreased by any control. In particular, we define the SQL as the value of \(J^*[u^*]\) when the probe input is given by a coherent or a vacuum field. Finally note that, when \(\epsilon \rightarrow +0\), Eq. (9) equals to the stationary energy \(\langle {{\hat{x}}_\infty ^\top Q {\hat{x}}_\infty }\rangle \), and this can be ultimately reduced, by the ideal cheap control, to \(J^*[u^*] = \mathrm{Tr}(QV_\infty )\).

3 Configuration of the entanglement-assisted feedback control

3.1 Model

The entanglement-assisted feedback control configuration considered in this paper is depicted in Fig. 2. This model has the following four features.

(i) The system is linear and couples with a single probe field.

(ii) The entangled optical field is produced by combining a fixed squeezed field \({\hat{W}}_1\) and a fixed coherent field \({\hat{W}}_2\), at a beam splitter (BS1). The correlation matrices (4) of these fields are, respectively, given by

$$\begin{aligned} \varTheta _1 = \frac{1}{2} \left[ \begin{array}{cc} \cos \theta &{} -\sin \theta \\ \sin \theta &{} \cos \theta \\ \end{array} \right] \left[ \begin{array}{cc} e^{-r} &{} i \\ -i &{} e^r \\ \end{array} \right] \left[ \begin{array}{cc} \cos \theta &{} \sin \theta \\ -\sin \theta &{} \cos \theta \\ \end{array} \right] ,~~~ \varTheta _2 = \frac{1}{2} \left[ \begin{array}{cc} 1 &{} i \\ -i &{} 1 \\ \end{array} \right] , \end{aligned}$$

where r is the squeezing level and \(\theta \) represents the phase of the squeezed state in the phase space; see Fig. 2 and footnote in page 5. The reflectivity of BS1 is, for simplicity, set to \(\beta _1^2\) with \(0\le \beta _1\le 1\). Note that, for all \(\beta _1\in (0,1)\), the output fields of BS1 are entangled (see “Appendix C”). As shown in the figure, one portion of this entangled field couples with the system, while the other portion does not. The degree of entanglement can be changed by tuning \(\beta _1\), while maintaining the total amount of energy for producing this entangled field. Hence, we can conduct a fair comparison of the entanglement-assisted control method (the case \(0< \beta _1< 1\)) and the standard method without entanglement (the case \(\beta _1=0, 1\)), given the same amount of resources. In particular, note that the SQL corresponds to the case \(\beta _1=1\).

(iii) We assume that the system’s output field is subjected to an optical loss, which can be modeled by introducing a fictitious beam splitter with reflectivity \(\delta ^2\); if \(\delta =0\), then there is no optical loss. \({\hat{W}}_3\) denotes the vacuum noise field coming into this fictitious beam splitter, whose correlation matrix is the same as that of \({\hat{W}}_2\), i.e., \(\varTheta _3 = \varTheta _2\). As a consequence, the overall system contains three input fields \({\hat{W}}_1, {\hat{W}}_2\), and \({\hat{W}}_3\), implying that \(m=3\) in the system equations (2) and (5). The total correlation matrix is thus given by

$$\begin{aligned} \varTheta =\mathrm{diag}\{\varTheta _1, \varTheta _2, \varTheta _3\}. \end{aligned}$$

Note again that \({\hat{W}}_1\) and \({\hat{W}}_2\) represent the probe fields, while \({\hat{W}}_3\) denotes the unwanted noise field.

(iv) The system’s output field after being subjected to the optical loss meets the other portion of the entangled input field, at the second beam splitter (BS2) with reflectivity \(\beta _2^2\); again for simplicity, we assume \(0\le \beta _2 \le 1\). Then the final output fields are measured by two Homodyne detectors with phase \(\phi _1\) and \(\phi _2\), which generate two output signals \(y_1\) and \(y_2\). Note that, if \(\beta _2=0\) or \(\beta _2=1\), the two optical fields are not combined at BS2 and are measured independently; this type of measurement is called the local measurement. The other case with \(0<\beta _2<1\) is called the global measurement.

The overall system dynamics realizing the above setup is given as follows. First, we use the fact that, for a general open linear system interacting with a single probe field, the system–field coupling is represented by an operator (the so-called Lindblad operator) of the form \({\hat{L}}=c^\top {\hat{x}}\) with c the 2n-dimensional complex column vector, and this determines the B matrix in Eq. (2) as follows (see e.g., [15, 16, 24]). That is, by defining the \(2\times 2n\) real matrix

$$\begin{aligned} \bar{C}= \sqrt{2}\left[ \begin{array}{cc} \mathfrak {R}(c)^\top \\ \mathfrak {I}(c)^\top \\ \end{array} \right] , \end{aligned}$$
(15)

we can specify the B matrix in the following form:

$$\begin{aligned} B = [ \alpha _1\varSigma _n\bar{C}^\top \varSigma _1, \beta _1\varSigma _n\bar{C}^\top \varSigma _1, 0_{2n\times 2} ], \end{aligned}$$
(16)

where \(\alpha _1=\sqrt{1-\beta _1^2}\). Then the A matrix is determined by Eq. (3) with G specified by the system Hamiltonian \({\hat{H}}={\hat{x}}^\top G {\hat{x}}/2\). The C matrix is also specified by Eq. (6) and is now given by

$$\begin{aligned} C = D\varSigma _3 B^\top \varSigma _n = D \left[ \begin{array}{c} \alpha _1 \bar{C} \\ \beta _1 \bar{C} \\ 0_{2\times 2n} \\ \end{array} \right] . \end{aligned}$$
(17)

Here D is a \(2\times 6\) real matrix of the form

$$\begin{aligned} D = [D_1, D_2, O_2]T_2 T_L T_1, \end{aligned}$$

where

$$\begin{aligned} D_1 = \left[ \begin{array}{cc} \cos \phi _1 &{} \sin \phi _1 \\ 0 &{} 0 \\ \end{array} \right] ,~~~ D_2 = \left[ \begin{array}{cc} 0 &{} 0 \\ \cos \phi _2 &{} \sin \phi _2 \\ \end{array} \right] \end{aligned}$$

and

$$\begin{aligned} T_k=\left[ \begin{array}{ccc} \alpha _k I_2&{} \beta _k I_2 &{} O_2 \\ -\beta _k I_2&{} \alpha _k I_2 &{} O_2 \\ O_2 &{} O_2 &{} I_2 \\ \end{array} \right] ~~(k=1,2),~~~ T_L=\left[ \begin{array}{ccc} \sqrt{1-\delta ^2} I_2 &{} O_2 &{} \delta I_2 \\ O_2 &{} I_2 &{} O_2 \\ -\delta I_2 &{} O_2 &{} \sqrt{1-\delta ^2} I_2 \\ \end{array} \right] , \end{aligned}$$

with \(\alpha _2=\sqrt{1-\beta _2^2}\). Note that \(T_1\) and \(T_2\) represent the scattering process at BS1 and BS2, respectively. Also \(T_L\) corresponds to the optical loss in the system’s output field. \(D_1\) and \(D_2\) represent the Homodyne measurements with phase \(\phi _1\) and \(\phi _2\), respectively.

3.2 Information gain via entanglement

This subsection is devoted to show that, in a special setup, an additional information about the system is indeed obtained through the second path in the interferometer, which may improve the control performance. That is, we consider the case where the system’s output field completely diminishes, i.e., \(\delta =1\). In this case, the D matrix is given by

$$\begin{aligned} D=[-\beta _1(\beta _2 D_1+\alpha _2 D_2), ~ \alpha _1(\beta _2 D_1+\alpha _2 D_2), ~ \alpha _2 D_1-\beta _2 D_2], \end{aligned}$$

and as a result \(C=0\) for any choice of \(\bar{C}\). Then the system equations (2) and (5) are given by

$$\begin{aligned} d{\hat{x}}_t =A{\hat{x}}_t dt+Fu_tdt + B d{\hat{W}}_t, ~~ d y_t = D d{\hat{W}}_t. \end{aligned}$$
(18)

Hence, as expected, the measurement output \(y_t\) does not explicitly contain any information about the system. However, interestingly, the observer can implicitly gain information; intuitively, this is because the observer knows that the same noise \(\hat{W}_t\) enters into the system and the detector; in other words, the observer exactly knows the noise that drives the system and thus can track the estimate of the system’s time evolution. Actually, the quantum Kalman filter equation (7) is now given by

$$\begin{aligned} d\pi ({\hat{x}}_t) = A\pi ({\hat{x}}_t)dt + Fu_tdt + B\mathfrak {R}(\varTheta )D^\top (D\mathfrak {R}(\varTheta ) D^\top )^{-1}dy_t, \end{aligned}$$
(19)

which means that the observer can update the estimate \(\pi ({\hat{x}}_t)\) using the measurement result \(y_t\). Also the estimation error covariance matrix follows

$$\begin{aligned} \dot{V}_t = AV_t + V_tA^\top + B\mathfrak {R}(\varTheta )B^\top -B\mathfrak {R}(\varTheta )D^\top (D\mathfrak {R}(\varTheta ) D^\top )^{-1} D\mathfrak {R}(\varTheta )B^\top . \end{aligned}$$
(20)

Now, because A is Hurwitz, \(V_t\) has a steady solution, meaning that the estimation error is bounded. The above two equations indicate that the important term bringing the information to the filter (19) and (20) is \(B\mathfrak {R}(\varTheta )D^\top \), which is now calculated as

$$\begin{aligned} B\mathfrak {R}(\varTheta )D^\top = \frac{\alpha _1\beta _1}{2}\varSigma _n \bar{C}^\top \varSigma _1 [I_2-2\mathfrak {R}(\varTheta _1)] \Big ( \beta _2 D_1^\top + \alpha _2 D_2^\top \Big ). \end{aligned}$$

If there is no entanglement (i.e., \(r=0\) or \(\alpha _1\beta _1=0\)), then \(B\mathfrak {R}(\varTheta )D^\top =0\), and the filter equations are reduced to

$$\begin{aligned} d\pi ({\hat{x}}_t) = A\pi ({\hat{x}}_t)dt + Fu_tdt, ~~~ \dot{V}_t = AV_t + V_tA^\top + B\mathfrak {R}(\varTheta )B^\top . \end{aligned}$$

These are simply the dynamics of unconditional expectation \(\pi ({\hat{x}}_t)=\langle {{\hat{x}}_t}\rangle \) and the error covariance matrix, which correspond to the master equation describing the statistical time evolution of the system without measurement. Therefore, it is now clear that the entanglement-assisted filter gains additional information about the system through the entangled input field. However, note that an additional information does not always improve the control performance, because, as demonstrated in Sect. 4.5, an entangled probe field is generally fragile and as a result the system’s output field becomes more noisy compared to the case of coherent input.

Remark

The measurement output \(dy_t=Dd\hat{W}_t\) in Eq. (18) has the form of no-knowledge measurement [42], which can be used to cancel decoherence. Interestingly, unlike the measurement scheme presented here, the no-knowledge one does not provide any information to the observer; actually for the setup of [42], it can be proven that A is not Hurwitz and the estimation error diverges.

4 Entanglement-assisted feedback for opto-mechanical oscillator

In this section, we conduct detailed numerical simulations to evaluate how much the proposed entanglement-assisted feedback control scheme is effective in a practical setup.

4.1 System model

Fig. 3
figure 3

Opto-mechanical oscillator coupled to the entangled probe field

The system of interest is an opto-mechanical oscillator shown in Fig. 3. Let \(({\hat{q}}_1, {\hat{p}}_1)\) be the position and momentum operators of the mechanical oscillator, and \({\hat{a}}_2\) be the annihilation operator of the optical cavity. The system Hamiltonian is given by

$$\begin{aligned} {\hat{H}} = \frac{\omega }{2}({\hat{q}}_1^2 + {\hat{p}}_1^2) + \frac{\varDelta }{2}({\hat{q}}_2^2 + {\hat{p}}_2^2) - \lambda {\hat{q}}_1 {\hat{q}}_2, \end{aligned}$$
(21)

where \(\omega \) is the resonant frequency of the oscillator and \(\varDelta \) is the frequency detuning of the cavity mode in the rotating frame of the driving laser frequency; see [33, 36, 43] for more detailed description. Note \({\hat{q}}_2=({\hat{a}}_2+{\hat{a}}_2^\dagger )/\sqrt{2}\) and \({\hat{p}}_2=({\hat{a}}_2-{\hat{a}}_2^\dagger )/\sqrt{2}i\). The third term is the linearized radiation pressure force with strength \(|\lambda |\), representing the interaction between the oscillator and the cavity field. From the relation \({\hat{H}} = {\hat{x}}^\top G{\hat{x}}/2\) with \({\hat{x}} = [{\hat{q}}_1, {\hat{p}}_1, {\hat{q}}_2, {\hat{p}}_2]^\top \), we have

$$\begin{aligned} G = \left[ \begin{array}{cc|cc} \omega &{} 0 &{} -\lambda &{} 0 \\ 0 &{} \omega &{} 0 &{} 0 \\ \hline -\lambda &{} 0 &{} \varDelta &{} 0 \\ 0 &{} 0 &{} 0 &{} \varDelta \\ \end{array} \right] . \end{aligned}$$

The system couples to the driving laser field at the partially reflective end-mirror of the cavity, with strength \(\kappa \); this coupling is represented by the following operator:

$$\begin{aligned} {\hat{L}} = \sqrt{\kappa } {\hat{a}}_2 = \sqrt{\frac{\kappa }{2}}({\hat{q}}_2 + i {\hat{p}}_2) = \sqrt{\frac{\kappa }{2}}[0, 0, 1, i] {\hat{x}}. \end{aligned}$$

Thus, Eq. (15) yields

$$\begin{aligned} \bar{C} = \sqrt{\kappa } \left[ \begin{array}{cc|cc} 0 &{} 0 &{} 1 &{} 0 \\ 0 &{} 0 &{} 0 &{} 1 \\ \end{array} \right] . \end{aligned}$$

This determines the system’s B and C matrices from Eqs. (16) and (17), respectively, and the A matrix from Eq. (3). In addition, we assume that the oscillator is subjected to a thermal environment with mean photon number \(\bar{n}_\mathrm{th}\). Then the system matrices are modified as follows; we need to change the A matrix to \(A-\gamma \varGamma /2\) and the constant term in the Riccati equation (8), \(B\mathfrak {R}(\varTheta )B^\top \), to \(B\mathfrak {R}(\varTheta )B^\top + \gamma (\bar{n}_\mathrm{th}+1/2)\varGamma \), where \(\gamma \) represents the system–environment coupling strength and \(\varGamma =\mathrm{diag}\{1, 1, 0, 0\}\). Note that \(A-\gamma \varGamma /2\) is Hurwitz, meaning that both the Riccati equations (8) and (12) have a unique steady solution. The oscillator can be directly controlled by implementing a piezo-actuator [44] (the case shown in Fig. 3) or indirectly controlled by modulating the input probe field. In both cases, it can be shown that the system satisfies the conditions for the cheap control described in Sect. 2.4; see “Appendix B.”

4.2 Control goal

The control goal is to cool the oscillator toward its motional ground state; i.e., we want to minimize the stationary mechanical occupation number

$$\begin{aligned} \bar{n} = \langle {{\hat{a}}_{1,\infty }^\dagger {\hat{a}}_{1,\infty }}\rangle = (\langle {{\hat{q}}_{1,\infty }^2}\rangle +\langle {{\hat{p}}_{1,\infty }^2}\rangle -1)/2. \end{aligned}$$

As described in Sect. 2.4, this can be ultimately reduced, by the ideal cheap control, to

$$\begin{aligned} \bar{n}^*=(\mathrm{Tr}(\varGamma V_\infty )-1)/2, \end{aligned}$$
(22)

where again \(\varGamma =\mathrm{diag}\{1, 1, 0, 0\}\) and \(V_\infty \) is the steady solution of the Riccati equation (8).

The system parameters are set to the following typical values (in the unit \(\omega =1\)) in the feedback cooling setup (e.g., [36]). First we assume the resonant driving \(\varDelta =0\), meaning that the oscillator’s position and momentum can be best estimated by the filter and accordingly controlled efficiently. Also the cavity line width is set to \(\kappa =2\) (bad cavity regime), so that the intra-cavity field immediately leaks to outside and as a consequence the oscillator dynamics can be well observed by the filter. The oscillator is subjected to a thermal noise with mean photon number \(\bar{n}_\mathrm{th}=1\times 10^5\) with coupling strength \(\gamma =1\times 10^{-7}\). The squeezing level of the probe field is set to \(r=2.3\) (10 dB squeezing), which is accessible with the current technology.

In this setting, the task is to optimize the parameters \((\beta _1, \beta _2, \phi _1, \phi _2, \theta )\) so that Eq. (22) is minimized. To see how to find those optimal parameters, let us assume the lossless setup (i.e., \(\delta =0\)) and focus on only the oscillator mode, where the cavity mode is adiabatically eliminated. This dynamical equation is obtained by setting \(d{\hat{q}}_2=0\) and \(d{\hat{p}}_2=0\) due to \(\kappa \gg \gamma \) and eventually eliminating \(({\hat{q}}_2, {\hat{p}}_2)\) from the whole dynamical equation;

$$\begin{aligned} d\hat{q}_1= & {} -\frac{\gamma }{2} {\hat{q}}_1 dt + \omega {\hat{p}}_1 dt -\sqrt{\gamma }d{\hat{Q}}_\mathrm{th}, \end{aligned}$$
(23)
$$\begin{aligned} d\hat{p}_1= & {} -\omega {\hat{q}}_1 dt -\frac{\gamma }{2} {\hat{p}}_1 dt + udt -\frac{2\lambda }{\sqrt{\kappa }} (\alpha _1 d{\hat{Q}}_1 + \beta _1 d{\hat{Q}}_2) -\sqrt{\gamma }d{\hat{P}}_\mathrm{th}, \end{aligned}$$
(24)
$$\begin{aligned} dy_1= & {} \frac{2\alpha _2\lambda \sin \phi _1}{\sqrt{\kappa }} {\hat{q}}_1 dt - (\alpha _1 \alpha _2 + \beta _1\beta _2 ) ( \cos \phi _1 d{\hat{Q}}_1 + \sin \phi _1 d{\hat{P}}_1) \nonumber \\&+\, (\alpha _1 \beta _2 - \beta _1\alpha _2 ) ( \cos \phi _1 d{\hat{Q}}_2 + \sin \phi _1 d{\hat{P}}_2 ), \end{aligned}$$
(25)
$$\begin{aligned} dy_2= & {} -\frac{2\beta _2\lambda \sin \phi _2}{\sqrt{\kappa }} {\hat{q}}_1 dt + (\alpha _1 \beta _2 - \beta _1\alpha _2 ) ( \cos \phi _2 d{\hat{Q}}_1 + \sin \phi _2 d{\hat{P}}_1 ) \nonumber \\&+\, (\alpha _1 \alpha _2 + \beta _1\beta _2 ) (\cos \phi _2 d{\hat{Q}}_2 + \sin \phi _2 d{\hat{P}}_2 ), \end{aligned}$$
(26)

where u represents the magnitude of the force applied to a piezo-actuator mounted on the oscillator and \(({\hat{Q}}_\mathrm{th}, {\hat{P}}_\mathrm{th})\) are the quadrature of the thermal field. These equations lead to a rough guide for choosing the parameters, as follows.

  1. 1.

    First, the bigger the first terms in Eqs. (25) and (26) become, the more information the observer gains. Hence, it would be reasonable to make the terms \(\sin \phi _1\) and \(\sin \phi _2\) bigger or equivalently take \(\phi _1\approx \pi /2\) and \(\phi _2\approx \pi /2\).

  2. 2.

    The above choice of \((\phi _1, \phi _2)\) implies that the measurement outputs are dominantly affected by the phase quadrature noise \(({\hat{P}}_1, {\hat{P}}_2)\) rather than the amplitude quadrature noise \(({\hat{Q}}_1, {\hat{Q}}_2)\). Then by squeezing \({\hat{P}}_1\), we can improve the signal-to-noise ratio in both \(y_1\) and \(y_2\). This means that \(\theta \approx \pi /2\) would be a proper choice.

  3. 3.

    The coefficients of the noise terms related to \({\hat{W}}_1=[{\hat{Q}}_1, {\hat{P}}_1]^\top \) and \({\hat{W}}_2=[{\hat{Q}}_2, {\hat{P}}_2]^\top \) in \(y_1\) and \(y_2\) cannot be simultaneously reduced, because they satisfy \((\alpha _1 \alpha _2 + \beta _1\beta _2 )^2 + (\alpha _1 \beta _2 - \beta _1\alpha _2 )^2=1\). Then, because \({\hat{W}}_2\) is not a tunable noise field, meaning that \(\langle {(\cos \phi _1 d{\hat{Q}}_2 + \sin \phi _1 d{\hat{P}}_2)^2}\rangle =dt\) and \(\langle {(\cos \phi _2 d{\hat{Q}}_2 + \sin \phi _2 d{\hat{P}}_2)^2}\rangle =dt\), it would be reasonable to choose the BS parameters so that the coefficient of \({\hat{W}}_2\) is reduced; more precisely, \(\alpha _1 \beta _2 - \beta _1\alpha _2\approx 0\) if \(y_1\) is mainly used (i.e., \(\alpha _2\approx 1\)), or \(\alpha _1 \alpha _2 + \beta _1\beta _2\approx 0\) if \(y_2\) is mainly used (i.e., \(\beta _2\approx 1\)). This leads to \((\alpha _1, \beta _1, \alpha _2, \beta _2)\approx (1, 0, 1, 0)\) or \((\alpha _1, \beta _1, \alpha _2, \beta _2)\approx (1, 0, 0, 1)\).

Of course, the above intuitive observation, particularly the last one, would not be necessarily true. In fact, we have now arrived at \((\alpha _1, \beta _1)\approx (1, 0)\), but this means that the input probe field is nearly a separable state where the squeezed component is injected to the system, and the entanglement property is not effectively used. Moreover, when \((\alpha _1, \beta _1)\approx (1, 0)\), the back-action noise on \({\hat{p}}_1\) (i.e., the fourth term in the right-hand side of Eq. (24)) is dominated by \(d{\hat{Q}}_1\); however, because now \({\hat{Q}}_1\) is nearly anti-squeezed (due to \(\theta \approx \pi /2\)), this parameter choice induces a bigger back-action noise. Therefore, the parameters have to be carefully chosen, via detailed numerical simulations taking into account the trade-off between the back-action noise and the signal-to-noise ratio for the measurement outputs \(y_1\) and \(y_2\).

4.3 Effectiveness of the entanglement-assisted feedback control

Fig. 4
figure 4

a Achievable lowest mechanical occupation number, \(\bar{n}^*\), versus \(\beta _1^2\) (the reflectivity of BS1) for several values of \(\beta _2^2\), for the case \(\lambda =0.3\) and \(\delta =0\). At each point of \(\beta _1\), the phase of the squeezed field and the Homodyne detection, \((\theta , \phi _1, \phi _2)\), are optimized. The black box indicates the minimum of \(\bar{n}^*\). b The optimal phase \(\theta \) of the squeezed field at each \(\beta _1\) for the case \(\beta _2^2=0.8\)

First, let us see if the entanglement would actually bring any advantage to the feedback control. Figure 4a shows \(\bar{n}^*\) as a function of the reflectivity of BS1, \(\beta _1^2\), in the case \(\lambda =0.3\) (weak coupling regime) and \(\delta =0\) (the system’s output field has no loss). \(\bar{n}^*\) is calculated from Eq. (22) together with the steady solution \(V_\infty \) of the Riccati equation (8). Furthermore, it is minimized with respect to the phase of the probe squeezed field, \(\theta \), and the phases of the two Homodyne detectors, \((\phi _1,\phi _2)\), at each \(\beta _1\); Fig. 4b illustrates the optimal \(\theta \) at each \(\beta _1\) for the case \(\beta _2^2=0.8\). The reflectivity \(\beta _1^2\) represents how much the squeezed field \({\hat{W}}_1\) is split into two arms, which determines the amount of entanglement. Note that when \(\beta _1=0\) or \(\beta _1=1\), the input fields are not entangled. In particular, \(\beta _1=1\) corresponds to the standard case where only the coherent field is injected to the system; hence, the value of \(\bar{n}^*\) in this case has the meaning of SQL, which is now \(\bar{n}^*_\mathrm{SQL}\approx 0.119\) as indicated in Fig. 4a. The five solid curves in Fig. 4a show \(\bar{n}^*\) for several values of \(\beta _2^2\), the reflectivity of BS2; recall that \(\beta _2=0\) means the case of local measurement, while the cases \(\beta _2\ne 0\) correspond to the global measurement (see (iv) in Sect. 3.1). Importantly, in all cases the minimum of \(\bar{n}^*\), which is indicated by the black box, is smaller than the SQL and is attained at a certain point of \(\beta _1\in (0,1)\), where the input field is entangled. In particular, the most effective feedback cooling is carried out when we use the highly entangled probe field with \(\beta _1^2=0.4\) and perform the global measurement with \(\beta _2^2=0.8\), in which case the minimum of \(\bar{n}^*\) is about 0.06. As a conclusion, the entanglement-assisted feedback control is in fact effective and realizes further cooling of the oscillator below the SQL. The followings are the list of other notable features of this system.

  • For the cases \(\beta _1^2=0.4, 0.6, 0.8\), the optimal phase of the squeezed field is \(\theta =\pi /2\). The optimality of \(\theta =\pi /2\) was indeed expected in the second observation in Sect. 4.2 (page 13), but \(\beta _1\) is not nearly zero, which is not consistent with the third observation in Sect. 4.2. Therefore, the numerical solver has actually chosen a non-trivial set of parameters that balances the back-action noise on \({\hat{p}}_1\) and the measurement noise on \((y_1, y_2)\).

  • The minimum of \(\bar{n}^*\) is reached at \(\beta _1^2\ne 0.5\) and \(\theta =\pi /2\). This means that the maximal entangled field is not the best probe for the estimation and feedback control; see “Appendix C.”

  • The entanglement-assisted method outperforms the control with the optimized squeezed probe field [13], which corresponds to the case \(\beta _1=0\).

4.4 Coupling strength and optimal probe

Fig. 5
figure 5

Achievable lowest mechanical occupation number, \(\bar{n}^*\), as a function of \(\theta \) (phase of the squeezed field) and \(\beta _2^2\) (reflectivity of BS2), for \(\delta =0\) and several values of \(\lambda \) (strength of the radiation pressure): a \(\lambda \) = 0.3, b \(\lambda \) = 0.5, c \(\lambda \) = 0.7, and d \(\lambda \) = 0.9. The black box indicates the minimum of \(\bar{n}^*\). The achieved \(\bar{n}_\mathrm{min}^*\) and the \(\mathrm{SQL}\, \bar{n}_\mathrm{SQL}^*\) are respectively a (0.060, 0.119), b (0.058, 0.084), c (0.058, 0.018), d (0.060, 0.145)

Here we study how much the minimum occupation number \(\bar{n}^*_\mathrm{min}\) changes with respect to the coupling strength \(\lambda \). Figure 5 shows \(\bar{n}^*\) as a function of \(\theta \) and \(\beta _2\), for \(\delta =0\) and several values of \(\lambda \): (a) \(\lambda \)= 0.3, (b) \(\lambda \) = 0.5, (c) \(\lambda \) = 0.7, and (d) \(\lambda \) = 0.9. In each Fig. 5a–d, \(\bar{n}^*\) is already minimized with respect to \((\beta _1, \phi _1, \phi _2)\). In particular, in each figure, the optimal value of \(\beta _1\) has been chosen as: (a) \(\beta _1^2=0.40\), (b) \(\beta _1^2=0.65\), (c) \(\beta _1^2=0.55\), and (d) \(\beta _1^2=0.50\), implying that the input probe field is highly entangled in all cases. Hence, we end up with the same conclusion that the entanglement-assisted feedback control cools the oscillator below the SQL and even performs better than the case with optimized squeezed probe field.

Note here that, as implied by Eqs. (24), (25), and (26), making \(\lambda \) bigger improves the signal-to-noise ratio in the measurement output, but at the same time this induces a bigger back-action noise on \({\hat{p}}_1\). Hence, \(\bar{n}^*_\mathrm{SQL}\) does not monotonically change with respect to \(\lambda \); interestingly, \(\bar{n}^*_\mathrm{min}\) takes almost the same value for all \(\lambda \), which suggests that there would exist a fundamental lower bound of \(\bar{n}^*_\mathrm{min}\) that is independent to \(\lambda \). Another remarkable fact is that, for small values of \(\lambda \), the optimal phase of the squeezed field is \(\theta =\pi /2\), as seen in the previous subsection; however, this does not hold when \(\lambda \) becomes large. This is because, for a large \(\lambda \), it is more important to reduce the back-action noise \((2\lambda /\sqrt{\kappa })\alpha _1 d{\hat{Q}}_1\) than to improve the signal-to-noise ratio in the measurement process, and thus, the squeezed field with \(\langle {d{\hat{Q}}_1^2}\rangle <\langle {d{\hat{P}}_1^2}\rangle \) is chosen.

4.5 The case of lossy output field

Fig. 6
figure 6

Achievable lowest mechanical occupation number, \(\bar{n}^*\), versus \(\beta _1^2\) (the reflectivity of BS1) for several values of \(\beta _2^2\), for the case \(\lambda =0.3\) and \(\delta ^2=0.1\). At each point of \(\beta _1\), the phase of the squeezed light field and the Homodyne detection, \((\theta , \phi _1, \phi _2)\), are optimized. The numbers indicated along the curves are the values of \(\beta _2^2\), as in the case of Fig. 4

Next let us consider the case where the system’s output field is subjected to the optical loss. Figure 6 shows the plot of \(\bar{n}^*\) with the same setting as in Fig. 4 (i.e., \(\lambda =0.3\) and \((\theta , \phi _1, \phi _2)\) are optimized), except that the loss parameter is now set to \(\delta ^2=0.1\). As in the lossless case \(\delta =0\), we find that the minimum of \(\bar{n}^*\) is reached when the input probe field is entangled (\(\beta _1^2\approx 0.8\)) and the global measurement (\(\beta _2^2=0.8\)) is performed. However, notably, the difference between the minimum value of \(\bar{n}^*\) and the SQL given at \(\beta _1=1\) (i.e., how much the control performance is improved by entanglement) is smaller than the case when \(\delta =0\). That is, the entanglement-assisted feedback is less effective if the system’s output field is lossy. Another notable feature is that there is a case where the control performance becomes worse than the SQL via the entanglement-assisted feedback control. This happens when \(\beta _1\) takes a small value, in which case the portion injected into the system is nearly a pure squeezed field. This result makes sense, because, as is well known, a squeezed field is fragile to noise and the system’s output field loses more information than the standard case, which cannot be compensated by the additional information gained from the second path of the interferometer.

Finally, Fig. 7 shows the plot of \(\bar{n}^*\) as a function of \(\theta \) and \(\beta _2\), for \(\lambda =0.3\) and several values of \(\delta \): (a) \(\delta ^2\) = 0.0, (b) \(\delta ^2\) = 0.1, (c) \(\delta ^2\) = 0.2, and (d) \(\delta ^2\) = 0.3. As in the case of Fig. 5, \(\bar{n}^*\) is already minimized with respect to \((\beta _1, \phi _1, \phi _2)\). Note that Fig. 7a is the same as Fig. 5a. A notable point is that the optimal values of \(\theta \) and \(\beta _2\) in the case \(\delta ^2=0.1\) are the same as those for \(\delta =0\). This means that the optimal input probe field and measurement are independent to the system’s output loss \(\delta \). This is a desirable fact because an exact value of \(\delta \) is hard to estimate in practice, but the same input probe field and measurement can be used without respect to \(\delta \) as long as the system’s output loss is enough suppressed. However, Fig. 7c, d shows that the probe and measurement have to be changed when \(\delta \) becomes bigger. In this sense, the optimal probe field is not robust for a system with lossy output.

Fig. 7
figure 7

Achievable lowest mechanical occupation number, \(\bar{n}^*\), as a function of \(\theta \) (phase of the squeezed light field) and \(\beta _2^2\) (reflectivity of BS2), for \(\lambda =0.3\) and several values of \(\delta \) (loss in the system’s output field): a \(\delta ^2\) = 0.0, b \(\delta ^2\) = 0.1, c \(\delta ^2\) = 0.2, and d \(\delta ^2\) = 0.3. The black box indicates the minimum of \(\bar{n}^*\). The achieved \(\bar{n}_\mathrm{min}^*\) and the \(\mathrm{SQL}\, \bar{n}_\mathrm{SQL}^*\) are respectively a (0.060, 0.119), b (0.123, 0.151), c (0.172, 0.190), d (0.201, 0.236)

5 Conclusion

In this paper, we have formulated the entanglement-assisted feedback control method for general linear quantum systems, which involves optimization of the amount of entanglement, the phase of the probe squeezed field, and the Homodyne measurement. Thanks to the linear setting, the strict lower bound of LQG cost function, which is achievable by the ideal cheap control, can be explicitly obtained, and it is used to evaluate the control performance. In the detailed numerical simulation studying the cooling problem of an opto-mechanical oscillator, it was shown that the entanglement-assisted controller works better than the standard method without entanglement, i.e., the control with a coherent probe field and even that with an optimized squeezed probe field. Although the improvement is not so drastic especially when the system’s output field is lossy, we expect that a significant advantage of the entanglement-assisted method would appear for some nonlinear systems. In fact, it was shown in [45] that, in a different measurement configuration, an entangled probe field can be used to significantly improve the detection efficiency for a qubit system; an extension of this study to the feedback control problem is an interesting future work.