Smoothing is a technique that is used to estimate the state of a system using measurement information both prior and posterior to the estimation time. Two notable examples of this technique are the Rauch-Tung-Striebel and Mayne-Fraser-Potter smoothing techniques for linear Gaussian systems, both resulting in the optimal smoothed estimate of the state. However, when considering a quantum system, classical smoothing techniques can result in an estimate that is not a valid quantum state. Consequently, a different smoothing theory was developed explicitly for quantum systems. This theory has since been applied to the special case of linear Gaussian quantum (LGQ) systems, where, in deriving the LGQ state smoothing equations, the Mayne-Fraser-Potter technique was utilized. As a result, the final equations describing the smoothed state are closely related to the classical Mayne-Fraser-Potter smoothing equations. In this paper, I derive the equivalent Rauch-Tung-Striebel form of the quantum state smoothing equations, which further simplify the calculation for the smoothed quantum state in LGQ systems, and I provide insight into the dynamics of the smoothed quantum state. This form of the LGQ smoothing equations brings to light a property of the smoothed quantum state that was hidden in the Mayne-Fraser-Potter form, namely the nondifferentiability of the smoothed mean. By identifying the nondifferentiable part of the smoothed mean, I am then able to derive a necessary and sufficient condition for the quantum smoothed mean to be differentiable in the steady-state regime.
Smoothing is a technique that is used to estimate the state of a system using measurement information both prior and posterior to the estimation time. Two notable examples of this technique are the Rauch-Tung-Striebel and Mayne-Fraser-Potter smoothing techniques for linear Gaussian systems, both resulting in the optimal smoothed estimate of the state. However, when considering a quantum system, classical smoothing techniques can result in an estimate that is not a valid quantum state. Consequently, a different smoothing theory was developed explicitly for quantum systems. This theory has since been applied to the special case of linear Gaussian quantum (LGQ) systems, where, in deriving the LGQ state smoothing equations, the Mayne-Fraser-Potter technique was utilized. As a result, the final equations describing the smoothed state are closely related to the classical Mayne-Fraser-Potter smoothing equations. In this paper, I derive the equivalent Rauch-Tung-Striebel form of the quantum state smoothing equations, which further simplify the calculation for the smoothed quantum state in LGQ systems, and I provide insight into the dynamics of the smoothed quantum state. This form of the LGQ smoothing equations brings to light a property of the smoothed quantum state that was hidden in the Mayne-Fraser-Potter form, namely the nondifferentiability of the smoothed mean. By identifying the nondifferentiable part of the smoothed mean, I am then able to derive a necessary and sufficient condition for the quantum smoothed mean to be differentiable in the steady-state regime.
Quantum state smoothing is a technique to construct an estimate of the quantum state at a particular time, conditioned on a measurement record from both before and after that time. The technique assumes that an observer, Alice, monitors part of the environment of a quantum system and that the remaining part of the environment, unobserved by Alice, is measured by a secondary observer, Bob, who may have a choice in how he monitors it. The effect of Bob's measurement choice on the effectiveness of Alice's smoothing has been studied in a number of recent papers. Here we expand upon the Letter which introduced linear Gaussian quantum (LGQ) state smoothing [Phys. Rev. Lett. 122, 190402 (2019)]. In the current paper we provide a more detailed derivation of the LGQ smoothing equations and address an open question about Bob's optimal measurement strategy. Specifically, we develop a simple hypothesis that allows one to approximate the optimal measurement choice for Bob given Alice's measurement choice. By ``optimal choice'' we mean the choice for Bob that will maximize the purity improvement of Alice's smoothed state compared to her filtered state (an estimated state based only on Alice's past measurement record). The hypothesis, that Bob should choose his measurement so that he observes the back-action on the system from Alice's measurement, seems contrary to one's intuition about quantum state smoothing. Nevertheless, we show that it works even beyond a linear Gaussian setting.
Quantum state smoothing is a technique for assigning a valid quantum state to a partially observed dynamical system, using measurement records both prior and posterior to an estimation time. We show that the technique is greatly simplified for linear Gaussian quantum systems, which have wide physical applicability. We derive a closed-form solution for the quantum smoothed state, which is more pure than the standard filtered state, while still being described by a physical quantum state, unlike other proposed quantum smoothing techniques. We apply the theory to an on-threshold optical parametric oscillator, exploring optimal conditions for purity recovery by smoothing. The role of quantum efficiency is elucidated, in both low and high efficiency limits.
Smoothing is a technique for estimating the state of an imperfectly monitored open system by combining both prior and posterior measurement information. In the quantum regime, current approaches to smoothing either give unphysical outcomes, due to the non-commutativity of the measurements at different times, or require assumptions about how the environment is measuring the system, which with current technology is unverifiable. We propose a novel definition of the smoothed quantum state based on quantum Bayesian retrodiction, which mirrors the classical retrodictive approach to smoothing. This approach always yields physical results and does not require any assumption on the environment. We show that this smoothed state has, on average, greater purity than the state reconstructed using just the prior information. Finally, we make a connection with the smoothing theory of Guevara and Wiseman in a well-studied regime, and describe from a purely quantum perspective how it conditions on the posterior information.
Quantum state smoothing is a technique to estimate an unknown true state of an open quantum system based on partial measurement information both prior and posterior to the time of interest. In this paper, we show that the smoothed quantum state is an optimal Bayesian state estimator, that is, it minimizes a Bayesian expected cost function. Specifically, we show that the smoothed quantum state is optimal with respect to two cost functions: the trace-square deviation from and the relative entropy to the unknown true state. However, when we consider a related cost function, the linear infidelity, we find, contrary to what one might expect, that the smoothed state is not optimal. For this case, we derive the optimal state estimator, which we call the lustrated smoothed state. It is a pure state, the eigenstate of the smoothed quantum state with the largest eigenvalue. We illustrate these estimates with a simple system, the driven, damped two-level atom.
Bayesian quantum estimation provides a robust formalism for quantum technologies, particularly in scenarios with limited data and minimal prior information. Yet, its application to continuous-variable systems has remained limited and largely numerical due to the difficulty of the underlying parameter integrals. Here, we introduce a variational framework that restricts the optimisation over all measurements and estimators to a finite-dimensional subspace, reducing the problem to a linear system of equations with closed-form solutions. These solutions have a geometric interpretation as orthogonal projections of the global optimum onto the chosen subspace. For Gaussian states, a natural subspace is spanned by operators polynomial in the canonical quadratures, whose moments are computable from the first and second moments of the state. We further derive a necessary and sufficient condition for global optimality, and show that post-processing with the posterior mean, rather than using the estimator obtained from the subspace, improves performance towards the global optimum. Through single-shot examples, we show that the framework yields experimentally feasible strategies based on Gaussian operations and quadrature measurements that are either optimal or near-optimal.
State smoothing is a technique to estimate a state at a particular time, conditioned on information obtained both before (past) and after (future) that time.For a classical system, the smoothed state is a normalized product of the filtered state (a state conditioned only on the past measurement information and the initial preparation) and the retrofiltered effect (depending only on the future measurement information).For the quantum case, while there are well-established analogues of the filtered state (ρ F ) and the retrofiltered effect ( ÊR ), their product does not, in general, provide a valid quantum state for smoothing.However, this procedure does seem to work when ρ F and ÊR are mutually diagonalizable.This fact has been used to obtain smoothed quantum states-purer than the filtered states-in a number of experiments on continuously monitored quantum systems, in cavity QED and atomic systems.In this paper we show that there is an implicit assumption underlying this technique: that if all the information were known to the observer, the true system state would be one of the diagonal basis states.This assumption does not necessarily hold, as the missing information is quantum information.It could be known to the observer only if it were turned into a classical measurement record, but then its nature would depend on the choice of measurement.We show by a simple model that, depending on that measurement choice, the smoothed quantum state can: agree with that from the classical method, disagree with it but still be co-diagonal with it, or not even be co-diagonal with it.That is, just because filtering and retrofiltering appear classical does not mean classical smoothing theory is applicable in quantum experiments.