
Given a linear open quantum system which is described by a Lindblad master
equation, we detail the calculation of the moment evolution equations from this
master equation. We stress that the moment evolution equations are wellknown,
but their explicit derivation from the master equation cannot be found in the
literature to the best of our knowledge, and so we provide this derivation for
the interested reader.

An approximate exponential quantum projection filtering scheme is developed
for a class of open quantum systems described by Hudson Parthasarathy quantum
stochastic differential equations, aiming to reduce the computational burden
associated with online calculation of the quantum filter. By using a
differential geometric approach, the quantum trajectory is constrained in a
finitedimensional differentiable manifold consisting of an unnormalized
exponential family of quantum density operators, and an exponential quantum
projection filter is then formulated as a number of stochastic differential
equations satisfied by the finitedimensional coordinate system of this
manifold. A convenient design of the differentiable manifold is also presented
through reduction of the local approximation errors, which yields a
simplification of the quantum projection filter equations. It is shown that the
computational cost can be significantly reduced by using the quantum projection
filter instead of the quantum filter. It is also shown that when the quantum
projection filtering approach is applied to a class of open quantum systems
that asymptotically converge to a pure state, the inputtostate stability of
the corresponding exponential quantum projection filter can be established.
Simulation results from an atomic ensemble system example are provided to
illustrate the performance of the projection filtering scheme. It is expected
that the proposed approach can be used in developing more efficient quantum
control methods.

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.

We present a systems theory approach to the proof of a result bounding the
required level of added quantum noise in a phaseinsensitive quantum amplifier.
We also present a synthesis procedure for constructing a quantum optical
phaseinsensitive quantum amplifier which adds the minimum level of quantum
noise and achieves a required gain and bandwidth. This synthesis procedure is
based on a singularly perturbed quantum system and leads to an amplifier
involving two squeezers and two beamsplitters.

This paper is concerned with networks of interacting linear systems at sites
of a multidimensional lattice. The systems are governed by linear ODEs with
constant coefficients driven by external inputs, and their internal dynamics
and coupling with the other component systems are translation invariant. Such
systems occur, for example, in finitedifference models of largescale flexible
structures manufactured from homogeneous materials. Using the spatiotemporal
transfer function of this translation invariant network, we establish
conditions for its positive realness in the sense of energy dissipation. The
latter is formulated in terms of block Toeplitz bilinear forms of the input and
output variables of the composite system. We also discuss quadratic stability
of the network in isolation from the environment and phonon theoretic
dispersion relations.

This paper considers links between the original risksensitive performance
criterion for quantum control systems and its recent quadraticexponential
counterpart. We discuss a connection between the minimization of these cost
functionals and robustness with respect to uncertainty in systemenvironment
quantum states whose deviation from a nominal state is described in terms of
the quantum relative entropy. These relations are similar to those in minimax
LQG control for classical systems. The results of the paper can be of use in
providing a rational choice of the risksensitivity parameter in the context of
robust quantum control with entropy theoretic quantification of statistical
uncertainty in the systemfield state.

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.

Sufficient and necessary conditions for the stability of positive feedback
interconnections of negative imaginary systems are derived via an integral
quadratic constraint (IQC) approach. The IQC framework accommodates
distributedparameter systems with irrational transfer function
representations, while generalising existing results in the literature and
allowing exploitation of flexibility at zero and infinite frequencies to reduce
conservatism in the analysis. The main results manifest the important property
that the negative imaginariness of systems gives rise to a certain form of IQCs
on positive frequencies that are bounded away from zero and infinity. Two
additional sets of IQCs on the DC and instantaneous gains of the systems are
shown to be sufficient and necessary for closedloop stability along a homotopy
of systems.

This paper is concerned with risksensitive performance analysis for linear
quantum stochastic systems interacting with external bosonic fields. We
consider a cost functional in the form of the exponential moment of the
integral of a quadratic polynomial of the system variables over a bounded time
interval. An integrodifferential equation is obtained for the time evolution
of this quadraticexponential functional, which is compared with the original
quantum risksensitive performance criterion employed previously for
measurementbased quantum control and filtering problems. Using multipoint
Gaussian quantum states for the past history of the system variables and their
first four moments, we discuss a quartic approximation of the cost functional
and its infinitehorizon asymptotic behaviour. The computation of the
asymptotic growth rate of this approximation is reduced to solving two
algebraic Lyapunov equations. We also outline further approximations of the
cost functional, based on higherorder cumulants and their growth rates,
together with large deviations estimates. For comparison, an auxiliary
classical Gaussian Markov diffusion process is considered in a complex
Euclidean space which reproduces the quantum system variables at the level of
covariances but has different higherorder moments relevant to the
risksensitive criteria. The results of the paper are also demonstrated by a
numerical example and may find applications to coherent quantum risksensitive
control problems, where the plant and controller form a fully quantum
closedloop system, and other settings with nonquadratic cost functionals.

The identification of an unknown quantum gate is a significant issue in
quantum technology. In this paper, we propose a quantum gate identification
method within the framework of quantum process tomography. In this method, a
series of pure states are inputted to the gate and then a fast state tomography
on the output states is performed and the data are used to reconstruct the
quantum gate. Our algorithm has computational complexity $O(d^3)$ with the
system dimension $d$. The algorithm is compared with maximum likelihood
estimation method for the running time, which shows the efficiency advantage of
our method. An error upper bound is established for the identification
algorithm and the robustness of the algorithm against the purity of input
states is also tested. We perform quantum optical experiment on singlequbit
Hadamard gate to verify the effectiveness of the identification algorithm.

A direct coupling coherent observer is constructed for a linear quantum plant
which has oscillatory solutions. It is shown that a finite time moving average
of the quantum observer output can provide an estimate of the quantum plant
output without disturbing this plant signal. By choosing a sufficiently small
averaging time and a sufficiently large observer gain, the observer tracking
error can be made arbitrarily small.

This paper is concerned with the generation of Gaussian invariant states in
cascades of open quantum harmonic oscillators governed by linear quantum
stochastic differential equations. We carry out infinitesimal perturbation
analysis of the covariance matrix for the invariant Gaussian state of such a
system and the related purity functional subject to inaccuracies in the energy
and coupling matrices of the subsystems. This leads to the problem of balancing
the statespace realizations of the component oscillators through symplectic
similarity transformations in order to minimize the mean square sensitivity of
the purity functional to small random perturbations of the parameters. This
results in a quadratic optimization problem with an effective solution in the
case of cascaded onemode oscillators, which is demonstrated by a numerical
example. We also discuss a connection of the sensitivity index with classical
statistical distances and outline infinitesimal perturbation analysis for
translation invariant cascades of identical oscillators. The findings of the
paper are applicable to robust state generation in quantum stochastic networks.

This paper studies the Kalman decomposition for linear quantum systems.
Contrary to the classical case, the coordinate transformation used for the
decomposition must belong to a specific class of transformations as a
consequence of the laws of quantum mechanics. We propose a construction method
for such transformations that put the system in a Kalman canonical form.
Furthermore, we uncover an interesting structure for the obtained
decomposition. In the case of passive systems, it is shown that there exist
only controllable/observable and uncontrollable/unobservable subsystems. In the
general case, controllable/unobservable and uncontrollable/observable
subsystems may also be present, but their respective system variables must be
conjugate variables of each other. This decomposition naturally exposes
decoherencefree modes, quantumnondemolition modes, quantummechanicsfree
subsystems, and backaction evasion measurements in the quantum system, which
are useful resources for quantum information processing, and quantum
measurements. The theory developed is applied to physical examples.

A scheme making use of an isolated feedback loop was recently proposed in
\cite{GP_} for creating an arbitrary bilinear Hamiltonian interaction between
two multimode Linear Quantum Stochastic Systems (LQSSs). In this work we
examine the presence of an isolated feedback loop in a general SLH network, and
derive the modified Hamiltonian of the network due to the presence of the loop.
In the case of a bipartite network with an isolated loop running through both
parts, this results in modified Hamiltonians for each subnetwork, as well as a
Hamiltonian interaction between them. As in the LQSS case, by engineering
appropriate ports in each subnetwork, we may create desired interactions
between them. Examples are provided that illustrate the general theory.

The absorption of a single photon that excites a quantum system from a low to
a high energy level is an elementary process of lightmatter interaction, and a
route towards realizing pure singlephoton absorption has both fundamental and
practical implications in quantum technology. Due to nonlinear optical effects,
however, the probability of pure singlephoton absorption is usually very low,
which is particularly pertinent in the case of strong ultrafast laser pulses
with broad bandwidth. Here we demonstrate theoretically a counterintuitive
coherent singlephoton absorption scheme by eliminating nonlinear interactions
of ultrafast laser pulses with quantum systems. That is, a completely linear
response of the system with respect to the spectral energy density of the
incident light at the transition frequency can be obtained for all transition
probabilities between 0 and 100% in a multilevel quantum systems. To that end,
a new multiobjective optimization algorithm is developed to find an optimal
spectral phase of an ultrafast laser pulse, which is capable of eliminating all
possible nonlinear optical responses while maximizing the probability of
singlephoton absorption between quantum states. This work not only deepens our
understanding of lightmatter interactions, but also offers a new way to study
photophysical and photochemical processes in the "absence" of nonlinear optical
effects.

We study robust $H_\infty$ coherentclassical estimation for a class of
physically realizable linear quantum systems with parameter uncertainties. Such
a robust coherentclassical estimator, with or without coherent feedback, can
yield better disturbancetoerror performance than the corresponding robust
purelyclassical estimator for an uncertain plant. Moreover, coherent feedback
allows for such a robust coherentclassical estimator to be more robust to
uncertainty in comparison to the robust classicalonly estimator.

We consider classical estimators for a class of physically realizable linear
quantum systems. Optimal estimation using a complex Kalman filter for this
problem has been previously explored. Here, we study robust $H_\infty$
estimation for uncertain linear quantum systems. The estimation problem is
solved by converting it to a suitably scaled $H_\infty$ control problem. The
solution is obtained in the form of two algebraic Riccati equations. Relevant
examples involving dynamic squeezers are presented to illustrate the efficacy
of our method.

Quantum parameter estimation plays a key role in many fields like quantum
computation, communication and metrology. Optimal estimation allows one to
achieve the most precise parameter estimates, but requires accurate knowledge
of the model. Any inevitable uncertainty in the model parameters may heavily
degrade the quality of the estimate. It is therefore desired to make the
estimation process robust to such uncertainties. Robust estimation was
previously studied for a varying phase, where the goal was to estimate the
phase at some time in the past, using the measurement results from both before
and after that time within a fixed time interval up to current time. Here, we
consider a robust guaranteedcost filter yielding robust estimates of a varying
phase in real time, where the current phase is estimated using only past
measurements. Our filter minimizes the largest (worstcase) variance in the
allowable range of the uncertain model parameter(s) and this determines its
guaranteed cost. It outperforms in the worst case the optimal Kalman filter
designed for the model with no uncertainty, that corresponds to the center of
the possible range of the uncertain parameter(s). Moreover, unlike the Kalman
filter, our filter in the worst case always performs better than the best
achievable variance for heterodyne measurements, that we consider as the
tolerable threshold for our system. Furthermore, we consider effective quantum
efficiency and effective noise power, and show that our filter provides the
best results by these measures in the worst case.

Given any covariance matrix corresponding to a socalled pure Gaussian state,
a linear quantum system can be designed to achieve the assigned covariance
matrix. In most cases, however, one might obtain a system that is difficult to
realize in practice. In this paper, we restrict our attention to a special
class of linear quantum systems, i.e., systems with diagonal passive
Hamiltonian and a single dissipative channel. The practical implementation of
such a system would be relatively simple. We then parametrize the class of pure
Gaussian state covariance matrices that can be achieved by this particular type
of linear quantum system.

We study a coherentclassical estimation scheme for a class of linear quantum
systems, where the estimator is a mixed quantumclassical system that may or
may not involve coherent feedback. We show that when the quantum plant or the
quantum part of the estimator (coherent controller) is an annihilation operator
only system, coherentclassical estimation without coherent feedback can
provide no improvement over purelyclassical estimation. Otherwise,
coherentclassical estimation without feedback can be better than
classicalonly estimation for certain homodyne detector angles, although the
former is inferior to the latter for the best choice of homodyne detector
angle. Moreover, we show that coherentclassical estimation with coherent
feedback is no better than classicalonly estimation, when both the plant and
the coherent controller are annihilation operator only systems. Otherwise,
coherentclassical estimation with coherent feedback can be superior to
purelyclassical estimation, and in this case, the former is better than the
latter for the optimal choice of homodyne detector angle.

This paper presents an augmented Markovian system model for nonMarkovian
quantum systems. In this augmented system model, ancillary systems are
introduced to play the role of internal modes of the nonMarkovian environment
converting white noise to colored noise. Consequently, nonMarkovian dynamics
are represented as resulting from direct interaction of the principal system
with the ancillary system. To demonstrate the utility of the proposed augmented
system model, it is applied to design whitening quantum filters for
nonMarkovian quantum systems. Examples are presented to illustrate how
whitening quantum filters can be utilized for estimating nonMarkovian linear
quantum systems and qubit systems. In particular, we showed that the augmented
Markovian formulation can be used to theoretically model the environment for an
observed nonMarkovian behavior in a recent experiment on quantum dots [ Phys.
Rev. Lett., 108:046807, 2012]

This paper presents a survey of some new applications of algebraic Riccati
equations. In particular, the paper surveys some recent results on the use of
algebraic Riccati equations in testing whether a system is negative imaginary
and in synthesizing state feedback controllers which make the closed loop
system negative imaginary. The paper also surveys the use of Riccati equation
methods in the control of quantum linear systems including coherent $H^\infty$
control.

This paper proposes a direct coupling coherent quantum observer for a quantum
plant which consists of a two level quantum system. The quantum observer, which
is a quantum harmonic oscillator, includes homodyne detection measurements. It
is shown that the observer can be designed so that it does not affect the
quantum variable of interest in the quantum plant and that measured output
converges in a given sense to the plant variable of interest. Also, the plant
variable of interestobserver system can be described by a set of linear
quantum stochastic differential equations. A minimum variance unbiased
estimator form of the Kalman filter is derived for linear quantum systems and
applied to the direct coupled coherent quantum observer.

A filtering problem for a class of quantum systems disturbed by a classical
stochastic process is investigated in this paper. The classical disturbance
process, which is assumed to be described by a linear stochastic differential
equation, is modeled by a quantum cavity model. Then the hybrid
quantumclassical system is described by a combined quantum system consisting
of two quantum cavity subsystems. Quantum filtering theory and a quantum
extended Kalman filter method are employed to estimate the states of the
combined quantum system. An estimate of the classical stochastic process is
derived from the estimate of the combined quantum system. The effectiveness and
performance of the proposed methods are illustrated by numerical results.

This paper is concerned with a linear fractional representation approach to
the synthesis of linear coherent quantum controllers for a given linear quantum
plant. The plant and controller represent open quantum harmonic oscillators and
are modelled by linear quantum stochastic differential equations. The feedback
interconnections between the plant and the controller are assumed to be
established through quantum bosonic fields. In this framework, conditions for
the stabilization of a given linear quantum plant via linear coherent quantum
feedback are addressed using a stable factorization approach. The class of all
stabilizing quantum controllers is parameterized in the frequency domain.
Coherent quantum weighted H_2 and H_\infty control problems for linear quantum
systems are formulated in the frequency domain. Finally, a projected gradient
descent scheme is outlined for the coherent quantum weighted H_2 control
problem.