
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.

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.

This paper introduces the notion of weak rigidity to characterize a framework
by pairwise inner products of interagent displacements. Compared to
distancebased rigidity, weak rigidity requires fewer constrained edges in the
graph to determine a geometric shape in an arbitrarily dimensional space. A
necessary and sufficient graphical condition for infinitesimal weak rigidity of
planar frameworks is derived. As an application of the proposed weak rigidity
theory, a gradient based control law and a nongradient based control law are
designed for a group of singleintegrator modeled agents to stabilize a desired
formation shape, respectively. Using the gradient control law, we prove that an
infinitesimally weakly rigid formation is locally exponentially stable. In
particular, if the number of agents is one greater than the dimension of the
space, a minimally infinitesimally weakly rigid formation is almost globally
asymptotically stable. In the literature of rigid formation, the sensing graph
is always required to be rigid. Using the nongradient control law based on
weak rigidity theory, the sensing graph is unnecessary to be rigid for local
exponential stability of the formation. A numerical simulation is performed for
illustrating effectiveness of our main results.

The purpose of this paper is to study the structure of quantum linear systems
in terms of their Kalman canonical form, which was proposed in a recent paper.
Physical realizability conditions for the Kalman canonical form are given,
which shed light on various relations among the components of the system
matrices for the Kalman canonical form. These relations are used to explore the
structure of the spectrum of quantum linear systems. The spectral structure
obtained indicates that a quantum linear system is both controllable and
observable if it is Hurwitz stable. A new parameterization method for quantum
linear systems is proposed. This new parameterization is designed for the
Kalman canonical form directly. Consequently, the parameters involved are in a
blockwise form in correspondence with the blockwise structure of the Kalman
canonical form. This parameter structure can be used to simplify various
quantum control design problems. For example, necessary and sufficient
conditions for the realization of backaction evading (BAE) measurements are
given in terms of these new parameters that specify the Kalman canonical form.
Due to their blockwise nature, a small number of parameters are required for
realizing BAE measurements. Moreover, it is shown that a refined structure of
these physical parameters reveals the noiseless subsystem and invariant
subsystems of a given quantum linear system.

The purpose of this paper is to study the dynamics of a quantum coherent
feedback network composed of two twolevel systems (qubits) driven by two
counterpropagating photons. The coherent feedback network is a marginally
stable system, and the spectral entanglement of photons could be enhanced as a
consequence of the continuing twophoton interaction inside the feedback loop.
By means of quantum stochastic calculus and the inputoutput framework, the
analytic form of the steadystate output field states are derived in the
Heisenberg picture for the first time. Based on the analytic form, significant
enhancement of photonphoton interaction can be observed. In particular, we
demonstrate that the famous HongOuMandel effect can be created using this
coherent feedback structure. The proposed framework is also applicable in the
singlephoton scenario.

This paper presents an anglebased approach for distributed formation shape
stabilization of multiagent systems in the plane. We develop an angle rigidity
theory to study whether a planar framework can be determined by angles between
segments uniquely up to translations, rotations, scalings and reflections. The
proposed angle rigidity theory is applied to the formation stabilization
problem, where multiple singleintegrator modeled agents cooperatively achieve
an angleconstrained formation. During the formation process, the global
coordinate system is unknown for each agent and wireless communications between
agents are not required. Moreover, by utilizing the advantage of high degrees
of freedom, we propose a distributed control law for agents to stabilize a
desired formation shape with desired orientation and scale. Two simulation
examples are performed for illustrating effectiveness of the proposed control
strategies.

The problem of photonphoton interaction controlled by a twolevel system is
studied in this paper. Specifically, we have proposed two scenarios: Case 1,
how a twolevel system changes the pulse shapes of two initially uncorrelated
input photons in a single input channel; and Case 2, how a twolevel system
entangles two counterpropagating photons, one in each input channel. The
steadystate output field states for both cases are derived explicitly. For
Case 1, the Wigner spectrum is used to exhibit the interesting properties of
the output field state. For Case 2, the nonlinear property of the interaction
between the twolevel system and the two input photons has been revealed by the
probabilities of observing photons in the output channels. In addition,
twophoton interference, similar to HongOuMandel effect, occurs when the two
input photons are chosen with the same pulse shape.

The singlephoton quantum filtering problems have been investigated recently
with applications in quantum computing. In practice, the detector responds with
a quantum efficiency of less than unity since there exists some mode mismatch
between the detector and the system, and the singlephoton signal may be
corrupted by quantum white noise. Consequently, quantum filters based on
multiple measurements are designed in this paper to improve the estimation
performance. More specifically, the filtering equations for a twolevel quantum
system driven by a singlephoton input state and under multiple measurements
are presented in this paper. Four scenarios, 1) two diffusive measurements with
QP quadrature form, 2) two diffusive measurements with QQ quadrature form, 3)
diffusive plus Poissonian measurements, and 4) two Poissonian measurements, are
considered. It is natural to compare the filtering results, i.e., measuring
single channel or both channels, which one is better? By the simulation where
we use a single photon to excite an atom, it seems that multiple measurements
enable us to excite the atom with higher probability than only measuring single
channel. In addition, measurement backaction phenomenon is revealed by the
simulation results.

The geometric measure of entanglement of a pure quantum state is defined to
be its distance to the space of product (seperable) states. Given an
$n$partite system composed of subsystems of dimensions $d_1,\ldots, d_n$, an
upper bound for maximally allowable entanglement is derived in terms of
geometric measure of entanglement. This upper bound is characterized
exclusively by the dimensions $d_1,\ldots, d_n$ of composite subsystems.
Numerous examples demonstrate that the upper bound appears to be reasonably
tight.

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.

In this paper, we investigate the dynamics of quantum linear systems where
the input signals are multichannel multiphoton states, namely states
determined by a definite number of photons superposed in multiple input
channels. In contrast to most existing studies on separable input states in the
literature, we allow the existence of quantum correlation (for example quantum
entanglement) in these multichannel multiphoton input states. Due to the
prevalence of quantum correlations in the quantum regime, the results presented
in this paper are very general. Moreover, the multichannel multiphoton states
studied here are reasonably mathematically tractable. Three types of
multiphoton states are considered: 1) $m$ photons superposed among $m$
channels, 2) $N$ photons superposed among $m$ channels where $N\geq m$, and 3)
$N$ photons superposed among $m$ channels where $N$ is an arbitrary positive
integer. Formulae for intensities and states of output fields are derived.
Examples are used to demonstrate the effectiveness of the results.

The effects of different quantum feedback types on the estimation precision
of the detection efficiency are studied. It is found that the precision can be
more effective enhanced by a certain feedback type through comparing these
feedbacks and the precision has a positive relation with detection efficiency
for the optimal feedback when the system reach the state of dynamic balance. In
addition, the bigger the proportion of is the higher the precision is and we
will not obtain any information about the parameter to be estimated if is
chosen as initial state for the feedback type {\lambda}{\sigma}_z.

A spin$j$ state can be represented by a symmetric tensor of order $N=2j$ and
dimension $4$. Here, $j$ can be a positive integer, which corresponds to a
boson; $j$ can also be a positive halfinteger, which corresponds to a fermion.
In this paper, we introduce regularly decomposable tensors and show that a
spin$j$ state is classical if and only if its representing tensor is a
regularly decomposable tensor. In the evenorder case, a regularly decomposable
tensor is a completely decomposable tensor but not vice versa; a completely
decomposable tensors is a sumofsquares (SOS) tensor but not vice versa; an
SOS tensor is a positive semidefinite (PSD) tensor but not vice versa. In the
oddorder case, the first row tensor of a regularly decomposable tensor is
regularly decomposable and its other row tensors are induced by the regular
decomposition of its first row tensor. We also show that complete
decomposability and regular decomposability are invariant under orthogonal
transformations, and that the completely decomposable tensor cone and the
regularly decomposable tensor cone are closed convex cones. Furthermore, in the
evenorder case, the completely decomposable tensor cone and the PSD tensor
cone are dual to each other. The Hadamard product of two completely
decomposable tensors is still a completely decomposable tensor. Since one may
apply the positive semidefinite programming algorithm to detect whether a
symmetric tensor is an SOS tensor or not, this gives a checkable necessary
condition for classicality of a spin$j$ state. Further research issues on
regularly decomposable tensors are also raised.

The purpose of this paper is to study the mixed linear quadratic Gaussian
(LQG) and $H_\infty$ optimal control problem for linear quantum stochastic
systems, where the controller itself is also a quantum system, often referred
to as "coherent feedback controller". A lower bound of the LQG control is
proved. Then two different methods, rank constrained linear matrix inequality
(LMI) method and genetic algorithm are proposed for controller design. A
passive system (cavity) and a nonpassive one (degenerate parametric amplifier,
DPA) demonstrate the effectiveness of these two proposed algorithms.

Structurefrommotion (SfM) largely relies on feature tracking. In image
sequences, if disjointed tracks caused by objects moving in and out of the
field of view, occasional occlusion, or image noise, are not handled well,
corresponding SfM could be affected. This problem becomes severer for
largescale scenes, which typically requires to capture multiple sequences to
cover the whole scene. In this paper, we propose an efficient nonconsecutive
feature tracking (ENFT) framework to match interrupted tracks distributed in
different subsequences or even in different videos. Our framework consists of
steps of solving the feature `dropout' problem when indistinctive structures,
noise or large image distortion exists, and of rapidly recognizing and joining
common features located in different subsequences. In addition, we contribute
an effective segmentbased coarsetofine SfM algorithm for robustly handling
large datasets. Experimental results on challenging video data demonstrate the
effectiveness of the proposed system.

The Kalman decomposition for Linear Quantum Stochastic Systems in the real
quadrature operator representation, that was derived indirectly in [1] by the
authors, is derived here directly, using the "onesided symplectic" SVDlike
factorization of [2] on the observability matrix of the system.

Single photons are very useful resources in quantum information science. In
real applications it is often required that the photons have a welldefined
spectral (or equivalently temporal) modal structure. For example, a rising
exponential pulse is able to fully excite a twolevel atom while a Gaussian
pulse cannot. This motivates the study of continuousmode singlephoton Fock
states. Such states are characterized by a spectral (or temporal) pulse shape.
In this paper we investigate the statistical property of continuousmode
singlephoton Fock states. Instead of the commonly used normal ordering (Wick
order), the tool we proposed is the Wigner spectrum. The Wigner spectrum has
two advantages: 1) it allows to study continuousmode singlephoton Fock states
in the time domain and frequency domain simultaneously; 2) because it can deal
with the Dirac delta function directly, it has the potential to provide more
information than the normal ordering where the Dirac delta function is always
discarded. We also show how various control methods in particular coherent
feedback control can be used to manipulate the pulse shapes of continuousmode
singlephoton Fock states.

Entangled systems with large quantum Fisher information (QFI) can be used to
outperform the standard quantum limit of the separable systems in quantum
metrology. However, the interaction between the system and the environments
inevitably leads to decoherence and decrease of the QFI, and it is not clear
whether the entanglement systems can be better resource than separable systems
in the realistic physical condition. In this work, we study the steady QFI of
two driven and collectively damped qubits with homodynemediated feedback. We
show that the steady QFI can be significantly enhanced both in the cases of
symmetric feedback and nonsymmetric feedback, and the shotnoise limit of
separable states can be surpassed in both cases. The QFI can even achieve the
Heisenberg limit for appropriate feedback parameters and initial conditions in
the case of symmetric feedback. We also show that an
initialconditionindependent steady QFI can be obtained by using nonsymmetric
feedback.

We introduce the quantum stochastic differential equation (QSDE) approach to
exactly analyze of the response of quantum systems to a continuousmode
twophoton input. The QSDE description of the twophoton process allows us to
integrate the inputoutput analysis with the quantum network theory, and so the
analytical computability of the output state of a general quantum system can be
addressed within this framework. We show that the timedomain twophoton output
states can be exactly calculated for a large class of quantum systems including
passive linear networks, optomechanical oscillators and twolevel emitter in
waveguide systems. In particular, we propose to utilize the results for the
exact simulation of the stimulated emission as well as the study of the
scattering of twomode photon wave packets.

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.

The biased Dicke model describes a system of biased twolevel atoms coupled
to a bosonic field, and is expected to produce new phenomena that are not
present in the original Dicke model. In this paper, we study the critical
properties of the biased Dicke model in the classical oscillator limits. For
the finitebiased case in this limit, We present analytical results
demonstrating that the excitation energy does not vanish for arbitrary
coupling. This indicates that the second order phase transition is avoided in
the biased Dicke model, which contrasts to the original Dicke model. We also
analyze the squeezing and the entanglement in the ground state, and find that a
finite bias will strongly modify their behaviors in the vicinity of the
critical coupling point.

The purpose of this paper is to derive filters for an arbitrary open quantum
system driven by a light wavepacket prepared in a continuousmode multiphoton
state. A continuousmode multiphoton state is a state of a travelling light
wavepacket that contains a definite number of photons and is characterised by a
temporal (or equivalently spectral) profile. After the interaction with the
system, the outgoing light can be monitored by means of homodyne detection or
photodetection. Filters for both measurement schemes are derived in this paper.
Unlike the vacuum or the coherent state case, the annihilation operator of the
light field acting on a multiphoton state changes the state by annihilating a
photon, and this makes the traditional filtering techniques inapplicable. To
circumvent this difficulty, we adopt a nonMarkovian embedding technique
proposed in \cite{gough:2013} for the study of the singlephoton filtering
problem. However, the multiphoton nature of the problem addressed in this
paper makes the study much more mathematically involved. Moreover, as
demonstrated by an example  a twolevel system driven by a continuousmode
twophoton state, multiphoton filters can reveal interesting strong nonlinear
optical phenomena absent in both the singlephoton state case and the
continuousmode Fock state case.

In this paper, we derive the stochastic master equations for quantum systems
driven by a singlephoton input state which is contaminated by quantum vacuum
noise. To improve estimation performance, quantum filters based on
multiplechannel measurements are designed. Two cases, namely diffusive plus
Poissonian measurements and two diffusive measurements, are considered.

The purpose of this paper is to examine stochastic Markovian models for
circuits in phase space for which the drift term is equivalent to the standard
circuit equations. In particular we include dissipative components
corresponding to both a resistor and a memristor in series. We obtain a
dilation of the problem for which is canonical in the sense that the underlying
Poisson Brackets structure is preserved under the stochastic flow. We do this
first of all for standard Wiener noise, but also treat the problem using a new
concept of symplectic noise where the Poisson structure is extended to the
noise as well as the circuit variables, and in particular where we have
canonically conjugate noises. Finally we construct a dilation which describes
the quantum mechanical analogue.

The anisotropic Rabi model, which was proposed recently, differs from the
original Rabi model: the rotating and counterrotating terms are governed by
two different coupling constants. This feature allows us to vary the
counterrotating interaction independently and explore the effects of it on
some quantum properties. In this paper, we eliminate the counterrotating terms
approximately and obtain the analytical energy spectrums and wavefunctions.
These analytical results agree well with the numerical calculations in a wide
range of the parameters including the ultrastrong coupling regime. In the weak
counterrotating coupling limit we find out that the counterrotating terms can
be considered as the shifts to the parameters of the JaynesCummings model.
This modification shows the validness of the rotatingwave approximation on the
assumption of nearresonance and relatively weak coupling. Moreover, the
analytical expressions of several physics quantities are also derived, and the
results show the breakdown of the U(1)symmetry and the deviation from the
JaynesCummings model.