Force Tracking in Cavity Optomechanics with a Two-Level Quantum System by Kalman Filtering
Beili Gong, Daoyi Dong, Weizhou Su, Wei Cui

TL;DR
This paper develops a Kalman filtering approach for accurately estimating time-varying forces in cavity optomechanical systems affected by backaction noise, with theoretical analysis and numerical validation.
Contribution
It introduces a Kalman filtering method for waveform estimation of forces in two-level optomechanical systems, including theoretical accuracy analysis and numerical demonstration.
Findings
Kalman filter effectively estimates time-varying forces
Theoretical mean squared error matches numerical results
Proposed method handles backaction noise in optomechanics
Abstract
This paper investigates waveform estimation (tracking) of the time-varying force in a two-level optomechanical system with backaction noise by Kalman filtering. It is assumed that the backaction and measurement noises are Gaussian and white. By discretizing the continuous-time optomechanical system, the state of the resulting system can be estimated by the unbiased minimum variance Kalman filtering. Then an estimator of the time-varying force is obtained, provided that the external force is also in discrete time. Furthermore, the accuracy of the force estimation, described by the mean squared error, is derived theoretically. Finally, the feasibility of the proposed algorithm is illustrated by comparing the theoretical accuracy with the numerical accuracy in a numerical example.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMechanical and Optical Resonators · Force Microscopy Techniques and Applications · Quantum Information and Cryptography
Force Tracking in Cavity Optomechanics with
a Two-Level Quantum System by Kalman Filtering
Beili Gong [email protected]
Daoyi Dong [email protected]
Weizhou Su [email protected]
Wei Cui [email protected] School of Automation Science and Engineering, South China University of Technology, Guangzhou 510641, China
School of Engineering and Information Technology, University of New South Wales, Canberra, ACT 2600, Australia
Abstract
This paper investigates waveform estimation (tracking) of the time-varying force in a two-level optomechanical system with backaction noise by Kalman filtering. It is assumed that the backaction and measurement noises are Gaussian and white. By discretizing the continuous-time optomechanical system, the state of the resulting system can be estimated by the unbiased minimum variance Kalman filtering. Then an estimator of the time-varying force is obtained, provided that the external force is also in discrete time. Furthermore, the accuracy of the force estimation, described by the mean squared error, is derived theoretically. Finally, the feasibility of the proposed algorithm is illustrated by comparing the theoretical accuracy with the numerical accuracy in a numerical example.
keywords:
Force estimation; Optomechanical system; Unbiased minimum variance Kalman filtering; Mean squared error.
††thanks: This work was supported by the National Natural Science Foundation of China under Grant 61873317, Grant 61828303, and Grant 61833010 and in part by the Fundamental Research Funds for the Central Universities. (Corresponding author: Wei Cui)
, , ,
1 Introduction
Quantum cavity optomechanics, coupling the optical field to the mechanical resonator by radiation pressure or photothermal force, has been widely investigated in the past decade [1, 2, 3, 4, 5]. It is not only a platform for investigating the fundamental questions on the quantum behavior of macroscopic systems [6, 7], but also a novel quantum device for high precision measurements [8, 9, 10]. Moreover, an optomechanical system can be used as an optomechanical force sensor to measure external force, which is also called stochastic force as a sum of thermal noise and external signal. Over the last few decades, many endeavors have been taken to study force estimation for optomechanical force sensors [11, 12, 13, 14, 15]. However, the majority of the results focus on the limit of estimation accuracy, instead of providing an estimator for external force.
In recent years, how to obtain an estimator of external force in quantum optomechanical systems has attracted many attentions. In a quantum-enhanced interferometer, the optomechanical motion and force measurements have been demonstrated experimentally [16]. Based on the measurement, the estimation of the external stochastic force has been achieved by optical phase tracking and quantum smoothing techniques. A statistical framework for the problem of parameter estimation from a noisy optomechanical system has been proposed [17]. In this framework, three algorithms, namely, averaging algorithm, radiometer algorithm, and expectation maximization algorithm, have been applied to obtain an estimator of the noise power of the external stochastic force. However, the algorithms become unavailable when the external force to be estimated is deterministic but time-varying. In an optomechanical force sensor, the backaction noise introduced by quantum radiation-pressure fluctuations inevitably affects the dynamics of quantum system and further influences force estimation [18, 19, 20, 21]. In aforementioned papers, the effects of backaction noise are not taken into account in force estimation. That is, the estimation of time-varying force in quantum cavity optomechanics with backaction noise is still an open problem.
Note that the dynamic of a quantum optomechanical system can be described by a dissipationless linear Gaussian equation under quantum nondemolition measurements [22, 23, 24]. Inspired by the applications of Kalman filter in quantum sensors, e.g., estimating the phase of a light beam [25], estimating the waveform in a paradigmatic atomic sensor [26], and estimating the quantum state of an optomechanical oscillator in real time [27, 28], it is natural to apply the filtering theory on linear Gaussian systems to obtain an estimator of time-varying force. This paper aims at proposing an algorithm to estimate the time-varying force for a quantum optomechanical system with backaction noise. According to the Heisenberg equation, the evolution of quantum optomechanics with a two-level system is described by a linear stochastic equation. Suppose that all noises of backaction and measurement are Gaussian and white [26, 29, 30]. The measurement output is assumed discrete in time. We convert the continuous-time system into a discrete-time linear Gaussian system. Then the problem of the force estimation of an optomechanical system becomes a problem of input estimation of a linear Gaussian system. Subsequently, the unbiased minimum variance Kalman filtering is applied to achieve an unbiased estimate of the system state, albeit the time-varying force is unknown. Based on the estimated state, an unbiased estimator of the external force is obtained. The theoretical accuracy, i.e., the mean squared error, of the force estimator is given as well. Finally, an example is proposed to demonstrate the feasibility of the estimation method.
This paper is organized as follows. In Section 2, a brief introduction to optomechanical systems and a stochastic differential equation are presented. In Section 3, we consider the estimation of the time-varying force for a quantum optomechanical system. Based on the unbiased minimum variance Kalman filtering, the estimators of the system state and the external force are presented and the theoretical accuracy of the force estimator is derived. This section also considers an example illustrating the force estimation. We summarize our conclusion in Section 4.
Notation
A matrix is positive definite (semi-definite) if for any , such that , where denotes the conjugate transpose of . Write an matrix for a diagonal matrix whose diagonal entries are .
2 Model
Consider an optomechanical force sensor, as depicted in Fig. 1, in which a quantum harmonic oscillator is coupled to a Fabry-Pérot cavity with a moving mirror [22, 31]. On the left of the partial transmission mirror, the optical cavity is pumped on-resonance with the input beam , and represents the output beam. The mirror is simulated optically as perfectly reflecting and mechanically as a quantum harmonic oscillator with position operator , momentum operator , mass , and resonant frequency [11, 18, 23]. The signal is the external force acting on the mirror.
This framework is a basic model for more complex optomechanical force detectors with configurations, such as complex optical and mechanical mode structures and detuning cavity excitation.
Generally speaking, is measured to infer whether or not disturbs the movement of the mirror in optomechanical force sensor. Based on input-output formalism, the force detection sensitivity has been investigated; see, for example, [12, 32]. Since the motion of the mirror is observable, one can also extract information about the force by continuously measuring the position of mirror. It is assumed that the optical cavity dynamics can be adiabatically eliminated and the optomechanical system experiences no dissipation. Subsequently, the Hamiltonian of the optomechanical system is written as [11, 23]
[TABLE]
where is the time-varying force to be estimated, and satisfy the canonical commutation relation with . Under quantum nondemolition position measurement, the backaction noise acts on the momentum only. Accordingly, the Heisenberg equation of single motion can be described by [11, 17]
[TABLE]
and the observation process can be given by
[TABLE]
where is measurement noise.
Let be the state of the optomechanical system and be the backaction noise vector. The system evolution (1) with the measurement output (2) can be rewritten as a stochastic differential equations, i.e,
[TABLE]
Here, the matrices , and are given by
[TABLE]
Note that has full column rank.
Assumption 1**.**
The measurement noise and backaction noise are assumed to be zero-mean Gaussian and white [26, 29, 30], such that and
[TABLE]
where and are positive definite, is positive semi-definite, and is the Dirac delta function.
Based on the above settings, the optomechanical system given by (3) can be considered as a linear Gaussian system, and the external force in (1) can be regarded as the input of the system. In this case, the estimation of the external force can be converted into an estimation problem of the input for a linear Gaussian system.
3 Force Estimation and Accuracy
A key task in parameter estimation is to maximize estimation accuracy and obtain an estimator that approaches to the limit of estimation accuracy [16, 33, 34]. When an estimation problem related to Gaussian systems, the efficient methods are the well-known Kalman filtering and its extensions [26, 35, 36], which are real-time algorithms to obtain the state estimate, provided that the input of the systems is known. However, it is hard to estimate the state in continuous-time linear system when the input is time-varying and unknown, not to mention constructing an estimator for the unknown input only by measurement output. Inspired by the autoregressive input estimation using robust two-stage Kalman filtering in [37], we can first obtain the state estimate by the unbiased minimum variance Kalman filtering based on the measurement output, and then construct an estimator for the external force according to the relationship between the system state and the external force. In this section, an unbiased estimator for the external force is explicitly given and the theoretical accuracy of the estimated result is derived.
3.1 Discretization
Note that the Kalman-Bucy filter is proposed to solve the state estimation problem in continuous-time [26, 38], and this filter works well only if the input dynamics and the statistical information of the noise are known. In other words, the Kalman-Bucy filter becomes invalid when the dynamics of the input signal are not provided. Since the measurement signals are discrete in time when obtaining by some digital devices, it is reasonable to convert an estimation problem from continuous time to discrete time. With assuming zero-order hold for the input and continuous integration for the measurement and backaction noises, the continuous-time state-space model (3) can be discretized to
[TABLE]
with the sampling period . In this discrete-time state-space equation, represents the system state at time , represents the system input which may be deterministic or stochastic, and is the measurement output. Also, are sequences of white noise with zero mean and covariance and , respectively. Here the system matrices are given in terms of and :
[TABLE]
where is the transpose of .
3.2 Force Estimation
One of the well-known algorithms to solve the unknown input dynamics problem is the unbiased minimum variance Kalman filtering, in which the input of the system is treated as a disturbance [37, 39, 40, 41].
Lemma 2**.**
(Unbiased Minimum Variance Kalman Filtering) Consider a linear stochastic system described by (4) with the input being unknown, the unbiased minimum-variance state estimate is given by [39]
[TABLE]
where is the Kalman gain given by
[TABLE]
with
[TABLE]
Here is referred to as the error covariance matrix that
[TABLE]
Although there is an unknown input with untraceable property, such filtering is still capable of achieving unbiased state estimates. Moreover, this filtering provides an accurate state estimate to maintain the trait of being unbiased , which has been proved in [39].
Theorem 3**.**
Since have full column rank, an unbiased estimator of the external force can be given by
[TABLE]
where represents the Moore-Penrose inverse of the matrix , i.e., .
{pf}
According to Lemma 2, the state estimate can be obtained. Together with the discrete-time state-space equation (4), one can obtain an estimator of the external force from
[TABLE]
where consists of the driven noise and the innovation. Note that is white and is full column rank. It is clear that (7) is an unbiased estimator of the force . A similar derivation can be found in [37].
3.3 Estimation Accuracy
The accuracy of an estimator is used to quantify the difference between the estimated values and what is estimated. A well-known performance index of the accuracy is the mean squared error, which measures the average of the squares of the errors. The mean squared error of an estimator with respect to an unknown parameter is defined as
[TABLE]
From the definition, we have .
Theorem 4**.**
The mean squared errors of the force and state estimators, namely and , satisfy
[TABLE]
where , and and are, respectively, the variances of the backaction noise and measurement noise in the discrete-time state-space equation (4).
{pf}
According to the definition of mean squared error, it is clear that
[TABLE]
Substituting (5) into (7) yields
[TABLE]
Define for convenience. From (4), can be further expressed as
[TABLE]
Taking expectation on the both sides of (10) shows
[TABLE]
since and .
Due to (10), can be written as
[TABLE]
where
[TABLE]
Note that the estimators of the system state and the external force are unbiased. One can obtain the expectations of , respectively,
[TABLE]
since are uncorrelated with and at time . Therefore, the expectation of is
[TABLE]
which follows from the definition of mean squared error of and the fact .
Additionally, it can be shown that
[TABLE]
since are uncorrelated with at time and .
After substituting (11) and (12) into (9), the mean squared error of the force estimator becomes
[TABLE]
The proof is then completed.
Theorem 4 analytically provides the estimation accuracy of the force in the discrete time. Note that is a function of and is lower-bounded by .
3.4 Numerical Example
In this part, a numerical example is used to demonstrate the proposed method. Assume that the external force to be estimated is time-varying and obeys the Gaussian distribution with unit-mean and the variance being . Consider a quantum optomechanical system with its parameters . Let the initial state of system be with and , and the sampling period be . The variance matrices of all noises are and , where .
Based on the measurement outputs, the state estimate is obtained by Lemma 2. The estimated position and momentum are shown in Fig. 2, wherein the estimated values are close to the true values with small errors, indicating that the method of estimating the system state is feasible.
Accordingly, an estimator of the time-varying force is obtained by Theorem 3. On the top half of Fig. 3, the red solid curve represents the true force and the blue dash curve is the force estimator in a single experiment.
The orange curve in the bottom of Fig. 3 shows the error ( for each time ) between the true force and the estimated force. Note that the system in the numerical example is obviously of ergodicity. Define as an operator which takes average over time. Through simple computation, the time average of is given by , which reveals the unbiasedness of the force estimator and illustrates the effectiveness of estimation algorithm of the time-varying force proposed in Theorem 3.
It is worth calculating the accuracy of the estimation through a large number of experiments. Define the numerical accuracy [35] as
[TABLE]
where and are, respectively, the estimated value and the true value in the th simulation experiment, and is the total number of experiments. The numerical accuracy and the theoretical accuracy with respect to the time index are depicted in Fig. 4 with . It shows that the numerical accuracy is always larger than the theoretical accuracy, as a simple implication of Theorem 4. Combining Fig. 3 with Fig. 4 indicates that the proposed algorithm for estimating the time-varying force in an optomechanical system is effective and feasible.
4 Conclusion
In this paper, we have investigated the estimation problem of an time-varying force in a two-level quantum cavity optomechanics with backaction noise. Based on the Heisenberg equation and the observation process, the evolution of an ideal system, eliminating adiabatically any optical cavity dynamics and neglecting intrinsic mechanical losses, has been described by a linear stochastic differential equation. The estimation of the external force for the optomechanical system can be converted into the input estimation for a linear Gaussian system. Using the unbiased minimum variance Kalman filtering, we have given the state estimate whenever external force is unknown. Then an estimator for the external force has been constructed and the theoretical accuracy of the force estimation has been derived according to the relationship between the system state and the external force. Finally, a numerical example has illustrated the force estimation and demonstrated the feasibility of the estimation algorithm, by comparing the numerical accuracy with the theoretical accuracy.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] A. Dorsel, J. D. Mc Cullen, P. Meystre, E. Vignes, and H. Walther, “Optical bistability and mirror confinement induced by radiation pressure," Phys. Rev. Lett. , vol. 51, no. 17, pp. 1550–1553, Oct. 1983.
- 2[2] G. J. Milburn and M. J. Woolley, An introduction to quantum optomechanics, Acta. Physica. Slovaca. , vol. 61, no. 5, pp. 483–601, Oct. 2011.
- 3[3] M. Aspelmeyer, T. J. Kippenberg, and F. Marquardt, Cavity Optomechanics. Berlin: Springer-Verlag, 2014.
- 4[4] G. Li and X. Wang, “Heisenberg-limited estimation of the coupling rate in an optomechanical system with a two-level system," Phys. Rev. A , vol. 98, no. 1, pp. 013803, Jul. 2018.
- 5[5] M. Aspelmeyer, P. Meystre, and K. Schwab, “Quantum optomechanics," Phys. Today , vol. 65, no. 7, pp. 29, Jul. 2012.
- 6[6] Q. Zheng, Y. Yao, and Y. Li, “Optimal quantum parameter estimation in a pulsed quantum optomechanical system," Phys. Rev. A , vol. 93, no. 1, pp. 013848, Jan. 2016.
- 7[7] L. F. Buchmann, L. Zhang, A. Chiruvelli, and P. Meystre, “Macroscopic tunneling of a membrane in an optomechanical double-well potential," Phys. Rev. Lett. , vol. 108, no. 21, pp. 210403, May. 2012.
- 8[8] H. Tan, F. Bariani, G. Li, and P. Meystre, “Generation of macroscopic quantum superpositions of optomechanical oscillators by dissipation," Phys. Rev. A , vol. 88, no. 2, pp. 023817, Aug. 2013.
