
In this article we study physical realizability for a class of nonlinear
quantum stochastic differential equations (QSDEs). Physical realizability is a
property in which a QSDE corresponds to the dynamics of an open quantum system.
We derive a sufficient and necessary condition for a nonlinear QSDE to be
physically realizable.

In this article, we propose a Lyapunov stability approach to analyze the
convergence of the density operator of a quantum system. In contrast to many
previously studied convergence analysis methods for invariant density operators
which use weak convergence, in this article we analyze the convergence of
density operators by considering the set of density operators as a subset of
Banach space. We show that the set of invariant density operators is both
closed and convex, which implies the impossibility of having multiple isolated
invariant density operators. We then show how to analyze the stability of this
set via a candidate Lyapunov operator.

A stochastic filter uses a series of measurements over time to produce
estimates of unknown variables based on a dynamic model. For a quantum system,
such an algorithm is provided by a quantum filter, which is also known as a
stochastic master equation (SME). For a linear quantum system subject to linear
measurements and Gaussian noise, the quantum filter reduces to a quantum Kalman
filter. In this article, we introduce a quantum extended Kalman filter (quantum
EKF), which applies a commutative approximation and a timevarying
linearization to noncommutative quantum stochastic differential equations
(QSDEs). We will show that there are conditions under which a filter similar to
the classical EKF can be implemented for quantum systems. The boundedness of
estimation errors and the filtering problems with `statedependent' covariances
for process and measurement noises are also discussed. We demonstrate the
effectiveness of the quantum EKF by applying it to systems which involve
multiple modes, nonlinear Hamiltonians and simultaneous jumpdiffusive
measurements.

We provide a rigorous derivation of a quantum filter for the case of multiple
measurements being made on a quantum system. We consider a class of measurement
processes which are functions of bosonic field operators, including
combinations of diffusive and Poissonian processes. This covers the standard
cases from quantum optics, where homodyne detection may be described as a
diffusive process and photon counting may be described as a Poissonian process.
We obtain a necessary and sufficient condition for any pair of such
measurements taken at different output channels to satisfy a commutation
relationship. Then, we derive a general, multiple measurement quantum filter as
an extension of a singlemeasurement quantum filter. As an application we
explicitly obtain the quantum filter corresponding to homodyne detection and
photon counting at the output ports of a beam splitter, correcting an earlier
result.