
The purpose of this paper is to present a network realization theory for a
class of mixed quantumclassical linear stochastic systems. Two forms, the
standard form and the general form, of this class of linear mixed
quantumclassical systems are proposed. Necessary and sufficient conditions for
their physical realizability are derived. Based on these physical realizability
conditions, a network synthesis theory for this class of linear mixed
quantumclassical systems is developed, which clearly exhibits the quantum
component, the classical component, and their interface. An example is used to
illustrate the theory presented in this paper.

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 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.

A Bell inequality is a fundamental test to rule out local hidden variable
model descriptions of correlations between two physically separated systems.
There have been a number of experiments in which a Bell inequality has been
violated using discretevariable systems. We demonstrate a violation of Bells
inequality using continuous variable quadrature measurements. By creating a
fourmode entangled state with homodyne detection, we recorded a clear
violation with a Bell value of $B = 2.31 \pm 0.02$. This opens new
possibilities for using continuous variable states for device independent
quantum protocols.

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.

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 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]

We derive the explicit analytical form of the timedependent coupling
parameter to an external field for perfect absorption of traveling single
photon fields with arbitrary temporal profiles by a tunable single inputoutput
open quantum system, which can be realized as either a single qubit or single
resonator system. However, the timedependent coupling parameter for perfect
absorption has a singularity at $t=0$ and constraints on real systems prohibit
a faithful physical realization of the perfect absorber. A numerical example is
included to illustrate the absorber's performance under practical limitations
on the coupling strength.

Effective state transfer is one of the most important problems in quantum
information processing. Typically, a quantum information device is composed of
many subsystems with multiinput ports. In this paper, we develop a general
theory describing the condition for perfect state transfer from the multiinput
ports to the internal system components, for general passive linear quantum
systems. The key notion used is the zero of the transfer function matrix.
Application to entanglement generation and distribution in a quantum network is
also discussed.

We present the theory for connecting quantum Markov components into a network
with quantum input processes in a Gaussian state (including thermal and
squeezed), not necessarily vacuum fields.One would expect on physical grounds
that the connection rules should be independent of the state of the input to
the network. To compute statistical properties, we use a version of Wicks'
Theorem involving fictitious vacuum fields (Fock space based representation of
the fields) and while this aids computation, and gives a rigorous formulation,
the various representations need not be unitarily equivalent. In particular, a
naive application of the connection rules would lead to the wrong answer. We
establish the correct interconnection rules, and show that while the quantum
stochastic differential equations of motion display explicitly the covariances
(thermal and squeezing parameters) of the Gaussian input fields We introduce
the WickStratonovich form which leads to a way of writing these equations that
does not depend on these covariances and so corresponds to the universal
equations written in terms of formal quantum input processes. We show that a
wholly consistent theory of quantum open systems in series can be developed in
this way, and as required physically, is universal and in particular
representationfree.

We consider a basic quantum hybrid network model consisting of a number of
nodes each holding a qubit, for which the aim is to drive the network to a
consensus in the sense that all qubits reach a common state. Projective
measurements are applied serving as control means, and the measurement results
are exchanged among the nodes via classical communication channels. We show how
to carry out centralized optimal path planning for this network with alltoall
classical communications, in which case the problem becomes a stochastic
optimal control problem with a continuous action space. To overcome the
computation and communication obstacles facing the centralized solutions, we
also develop a distributed Pairwise Qubit Projection (PQP) algorithm, where
pairs of nodes meet at a given time and respectively perform measurements at
their geometric average. We show that the qubit states are driven to a
consensus almost surely along the proposed PQP algorithm, and that the expected
qubit density operators converge to the average of the network's initial
values.

Singlephoton states, which carry quantum information and coherently interact
with quantum systems, are vital to the realization of alloptical engineered
quantum networks. In this paper we derive the analytical form of the output
field state for a large class of quantum finitelevel systems driven by
singlephoton input field states using a transfer function approach.
Singlephoton pulse shaping via coherent feedback is also studied.

In this paper we present a linear quadratic Gaussian (LQG) feedback control
strategy for a class of linear nonMarkovian quantum systems. The feedback
control law is designed based on the estimated states of a whitening quantum
filter for an augmented Markovian model of the nonMarkovian open quantum
systems. In this augmented Markovian model, an ancillary system plays the role
of internal modes of the environment converting white noise into Lorentzian
noise and a principal system obeys nonMarkovian dynamics due to the direct
interaction with the ancillary system. The simulation results show the LQG
controller with the whitening filter obtains a better control performance than
that with a Markovian filter in the problem of minimizing the photon numbers of
the principal system when the ancillary system is disturbed by thermal noise.

In this paper we present a Markovian representation approach to constructing
quantum filters for a class of nonMarkovian quantum systems disturbed by
Lorenztian noise. An ancillary system is introduced to convert white noise into
Lorentzian noise which is injected into a principal system via a direct
interaction. The resulting dynamics of the principal system are nonMarkovian,
which are driven by the Lorentzian noise. By probing the principal system, a
quantum filter for the augmented system can be derived from standard theory,
where the conditional state of the principal system can be obtained by tracing
out the ancillary system. An example is provided to illustrate the
nonMarkovian dynamics of the principal system.

Quantum control could be implemented by varying the system Hamiltonian.
According to adiabatic theorem, a slowly changing Hamiltonian can approximately
keep the system at the ground state during the evolution if the initial state
is a ground state. In this paper we consider this process as an interpolation
between the initial and final Hamiltonians. We use the mean value of a single
operator to measure the distance between the final state and the ideal ground
state. This measure could be taken as the error of adiabatic approximation. We
prove under certain conditions, this error can be precisely estimated for an
arbitrarily given interpolating function. This error estimation could be used
as guideline to induce adiabatic evolution. According to our calculation, the
adiabatic approximation error is not proportional to the average speed of the
variation of the system Hamiltonian and the inverse of the energy gaps in many
cases. In particular, we apply this analysis to an example on which the
applicability of the adiabatic theorem is questionable.

Control by dissipation, or environment engineering, constitutes an important
methodology within quantum coherent control which was proposed to improve the
robustness and scalability of quantum control systems. The systemenvironment
coupling, often considered to be detrimental to quantum coherence, also
provides the means to steer the system to desired states. This paper aims to
develop the theory for engineering of the dissipation, based on a groundstate
Lyapunov stability analysis of open quantum systems via a Heisenbergpicture
approach. Algebraic conditions concerning the groundstate stability and
scalability of quantum systems are obtained. In particular, Lyapunov stability
conditions expressed as operator inequalities allow a purely algebraic
treatment of the environment engineering problem, which facilitates the
integration of quantum components into a largescale quantum system and draws
an explicit connection to the classical theory of vector Lyapunov functions and
decompositionaggregation methods for control of complex systems. The
implications of the results in relation to dissipative quantum computing and
state engineering are also discussed in this paper.

We previously extended Luenberger's approach for observer design to the
quantum case, and developed a class of coherent observers which tracks linear
quantum stochastic systems in the sense of mean values. In light of the fact
that the Luenberger observer is commonly and successfully applied in classical
control, it is interesting to investigate the role of coherent observers in
quantum feedback. As the first step in exploring observerbased coherent
control, in this paper we study poleplacement techniques for quantum systems
using coherent observers, and in such a fashion, poles of a closedloop quantum
system can be relocated at any desired locations. In comparison to classical
feedback control design incorporating the Luenberger observer, here direct
coupling between a quantum plant and the observerbased controller are allowed
to enable a greater degree of freedom for the design of controller parameters.
A separation principle is presented, and we show how to design the observer and
feedback independently to be consistent with the laws of quantum mechanics. The
proposed scheme is applicable to coherent feedback control of quantum systems,
especially when the transient dynamic response is of interest, and this issue
is illustrated in an example.

In this paper, a quantum filter for estimating the states of a nonMarkovian
qubit system is presented in an augmented Markovian system framework including
both the qubit system of interest and multiancillary systems for representing
the internal modes of the nonMarkovian environment. The colored noise
generated by the multiancillary systems disturbs the qubit system via a direct
interaction. The resulting nonMarkovian dynamics of the qubit is determined by
a memory kernel function arising from the dynamics of the ancillary system. In
principle, colored noise with arbitrary power spectrum can be generated by a
combination of Lorentzian noises. Hence, the quantum filter can be constructed
for the qubit disturbed by arbitrary colored noise and the conditional state of
the qubit system can be obtained by tracing out the multiancillary systems. An
illustrative example is given to show the nonMarkovian dynamics of the qubit
system with Lorentzian noise.

The purpose of this paper is to study the problem of generalizing the
BelavkinKalman filter to the case where the classical measurement signal is
replaced by a fully quantum noncommutative output signal. We formulate a least
mean squares estimation problem that involves a noncommutative system as the
filter processing the noncommutative output signal. We solve this estimation
problem within the framework of noncommutative probability. Also, we find the
necessary and sufficient conditions which make these noncommutative estimators
physically realizable. These conditions are restrictive in practice.

In quantum optimal control theory, kinematic bounds are the minimum and
maximum values of the control objective achievable for any physically
realizable system dynamics. For a given initial state of the system, these
bounds depend on the nature and state of the controller. We consider a general
situation where the controlled quantum system is coupled to both an external
classical field (referred to as a classical controller) and an auxiliary
quantum system (referred to as a quantum controller). In this general
situation, the kinematic bound is between the classical kinematic bound (CKB),
corresponding to the case when only the classical controller is available, and
the quantum kinematic bound (QKB), corresponding to the ultimate physical limit
of the objective's value. Specifically, when the control objective is the
expectation value of a quantum observable (a Hermitian operator on the system's
Hilbert space), the QKBs are the minimum and maximum eigenvalues of this
operator. We present, both qualitatively and quantitatively, the necessary and
sufficient conditions for surpassing the CKB and reaching the QKB, through the
use of a quantum controller. The general conditions are illustrated by examples
in which the system and controller are initially in thermal states. The
obtained results provide a basis for the design of quantum controllers capable
of maximizing the control yield and reaching the ultimate physical limit.

In this paper, we investigate the evolution of the network entropy for
consensus dynamics in classical or quantum networks. We show that in the
classical case, the network entropy decreases at the consensus limit if the
node initial values are i.i.d. Bernoulli random variables, and the network
differential entropy is monotonically nonincreasing if the node initial values
are i.i.d. Gaussian. While for quantum consensus dynamics, the network's von
Neumann entropy is in contrast nondecreasing. In light of this inconsistency,
we compare several gossiping algorithms with random or deterministic
coefficients for classical or quantum networks, and show that quantum gossiping
algorithms with deterministic coefficients are physically related to classical
gossiping algorithms with random coefficients.

In this paper, we propose feedback designs for manipulating a quantum state
to a target state by performing sequential measurements. In light of Belavkin's
quantum feedback control theory, for a given set of (projective or
nonprojective) measurements and a given time horizon, we show that finding the
measurement selection policy that maximizes the probability of successful state
manipulation is an optimal control problem for a controlled Markovian process.
The optimal policy is Markovian and can be solved by dynamical programming.
Numerical examples indicate that making use of feedback information
significantly improves the success probability compared to classical scheme
without taking feedback. We also consider other objective functionals including
maximizing the expected fidelity to the target state as well as minimizing the
expected arrival time. The connections and differences among these objectives
are also discussed.

In this paper, we study a general linear networked system that contains a
tunable memory subsystem; that is, it is decoupled from an optical field for
state transportation during the storage process, while it couples to the field
during the writing or reading process. The input is given by a single photon
state or a coherent state in a pulsed light field. We then completely and
explicitly characterize the condition required on the pulse shape achieving the
perfect state transfer from the light field to the memory subsystem. The key
idea to obtain this result is the use of zerodynamics principle, which in our
case means that, for perfect state transfer, the output field during the
writing process must be a vacuum. A useful interpretation of the result in
terms of the transfer function is also given. Moreover, a fournodes network
composed of atomic ensembles is studied as an example, demonstrating how the
input field state is transferred to the memory subsystem and how the input
pulse shape to be engineered for perfect memory looks like.

Quantum Markovian systems, modeled as unitary dilations in the quantum
stochastic calculus of Hudson and Parthasarathy, have become standard in
current quantum technological applications. This paper investigates the
stability theory of such systems. Lyapunovtype conditions in the Heisenberg
picture are derived in order to stabilize the evolution of system operators as
well as the underlying dynamics of the quantum states. In particular, using the
quantum Markov semigroup associated with this quantum stochastic differential
equation, we derive sufficient conditions for the existence and stability of a
unique and faithful invariant quantum state. Furthermore, this paper proves the
quantum invariance principle, which extends the LaSalle invariance principle to
quantum systems in the Heisenberg picture. These results are formulated in
terms of algebraic constraints suitable for engineering quantum systems that
are used in coherent feedback networks.

We introduce a new class of continuous matrix product (CMP) states and
establish the stochastic master equations (quantum filters) for an arbitrary
quantum system probed by a bosonic input field in this class of states. We show
that this class of CMP states arise naturally as outputs of a Markovian model,
and that input fields in these states lead to master and filtering (quantum
trajectory) equations which are matrixvalued. Furthermore, it is shown that
this class of continuous matrix product states include the (continuousmode)
single photon and timeordered multiphoton states.