• ### Representation and Network Synthesis for a Class of Mixed Quantum-Classical Linear Stochastic Systems(1403.6928)

May 23, 2018 quant-ph
The purpose of this paper is to present a network realization theory for a class of mixed quantum-classical linear stochastic systems. Two forms, the standard form and the general form, of this class of linear mixed quantum-classical 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 quantum-classical 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 Exponential Quantum Projection Filter for Open Quantum Systems(1705.09114)

April 18, 2018 quant-ph, math-ph, math.MP
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 finite-dimensional 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 finite-dimensional 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 input-to-state 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.
• ### Weak Rigidity Theory and its Application to Multi-agent Formation Stabilization(1804.02795)

April 9, 2018 cs.SY
This paper introduces the notion of weak rigidity to characterize a framework by pairwise inner products of inter-agent displacements. Compared to distance-based 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 non-gradient based control law are designed for a group of single-integrator 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 non-gradient 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.
• ### Structural characterization of linear quantum systems with application to back-action evading measurement(1803.09419)

March 26, 2018 quant-ph
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 back-action 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.
• ### On dynamics of a two-qubit coherent feedback network driven by two photons(1803.05630)

March 15, 2018 quant-ph
The purpose of this paper is to study the dynamics of a quantum coherent feedback network composed of two two-level systems (qubits) driven by two counter-propagating 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 two-photon interaction inside the feedback loop. By means of quantum stochastic calculus and the input-output framework, the analytic form of the steady-state output field states are derived in the Heisenberg picture for the first time. Based on the analytic form, significant enhancement of photon-photon interaction can be observed. In particular, we demonstrate that the famous Hong-Ou-Mandel effect can be created using this coherent feedback structure. The proposed framework is also applicable in the single-photon scenario.
• ### Angle-based Shape Determination Theory of Planar Graphs with Application to Formation Stabilization(1803.04276)

March 12, 2018 cs.SY
This paper presents an angle-based approach for distributed formation shape stabilization of multi-agent 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 single-integrator modeled agents cooperatively achieve an angle-constrained 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.
• ### Controlling nonlinear photon-photon interaction via a two-level system(1801.03675)

Jan. 11, 2018 quant-ph
The problem of photon-photon interaction controlled by a two-level system is studied in this paper. Specifically, we have proposed two scenarios: Case 1, how a two-level system changes the pulse shapes of two initially uncorrelated input photons in a single input channel; and Case 2, how a two-level system entangles two counter-propagating photons, one in each input channel. The steady-state 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 two-level system and the two input photons has been revealed by the probabilities of observing photons in the output channels. In addition, two-photon interference, similar to Hong-Ou-Mandel effect, occurs when the two input photons are chosen with the same pulse shape.
• ### Single-photon quantum filtering with multiple measurements(1801.03267)

Jan. 10, 2018 quant-ph, math.OC
The single-photon 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 single-photon 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 two-level quantum system driven by a single-photon input state and under multiple measurements are presented in this paper. Four scenarios, 1) two diffusive measurements with Q-P quadrature form, 2) two diffusive measurements with Q-Q 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 back-action phenomenon is revealed by the simulation results.
• ### How entangled can a multi-party system possibly be?(1710.02267)

Oct. 6, 2017 quant-ph
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.
• ### The Kalman Decomposition for Linear Quantum Systems(1606.05719)

June 10, 2017 quant-ph, math.OC
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 decoherence-free modes, quantum-nondemolition modes, quantum-mechanics-free subsystems, and back-action 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.
• ### Dynamical analysis of quantum linear systems driven by multi-channel multi-photon states(1609.09191)

May 10, 2017 quant-ph
In this paper, we investigate the dynamics of quantum linear systems where the input signals are multi-channel multi-photon 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 multi-channel multi-photon input states. Due to the prevalence of quantum correlations in the quantum regime, the results presented in this paper are very general. Moreover, the multi-channel multi-photon states studied here are reasonably mathematically tractable. Three types of multi-photon 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 operator types on the parameter precision of detection efficiency in optimal quantum estimation(1702.06229)

Feb. 21, 2017 quant-ph
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.
• ### Regularly Decomposable Tensors and Classical Spin States(1612.02638)

Dec. 8, 2016 quant-ph
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 half-integer, 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 even-order case, a regularly decomposable tensor is a completely decomposable tensor but not vice versa; a completely decomposable tensors is a sum-of-squares (SOS) tensor but not vice versa; an SOS tensor is a positive semi-definite (PSD) tensor but not vice versa. In the odd-order 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 even-order 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 semi-definite 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.
• ### Mixed LQG and $H_\infty$ Coherent Feedback Control for Linear Quantum Systems(1611.04140)

Nov. 13, 2016 quant-ph
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 non-passive one (degenerate parametric amplifier, DPA) demonstrate the effectiveness of these two proposed algorithms.
• ### ENFT: Efficient Non-Consecutive Feature Tracking for Robust Structure-from-Motion(1510.08012)

Oct. 12, 2016 cs.CV
Structure-from-motion (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 large-scale scenes, which typically requires to capture multiple sequences to cover the whole scene. In this paper, we propose an efficient non-consecutive 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 segment-based coarse-to-fine 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(1609.05982)

Sept. 20, 2016 quant-ph
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 "one-sided symplectic" SVD-like factorization of [2] on the observability matrix of the system.
• ### Wigner spectrum and coherent feedback control of continuous-mode single-photon Fock states(1608.08303)

Aug. 30, 2016 quant-ph
Single photons are very useful resources in quantum information science. In real applications it is often required that the photons have a well-defined spectral (or equivalently temporal) modal structure. For example, a rising exponential pulse is able to fully excite a two-level atom while a Gaussian pulse cannot. This motivates the study of continuous-mode single-photon Fock states. Such states are characterized by a spectral (or temporal) pulse shape. In this paper we investigate the statistical property of continuous-mode single-photon 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 continuous-mode single-photon 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 continuous-mode single-photon Fock states.
• ### Surpassing the shot-noise limit by homodyne-mediated feedback(1608.01493)

Aug. 4, 2016 quant-ph
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 homodyne-mediated feedback. We show that the steady QFI can be significantly enhanced both in the cases of symmetric feedback and nonsymmetric feedback, and the shot-noise 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 initial-condition-independent steady QFI can be obtained by using nonsymmetric feedback.
• ### Exact Analysis of the Response of Quantum Systems to Two Photons Using a QSDE Approach(1509.06934)

March 4, 2016 quant-ph
We introduce the quantum stochastic differential equation (QSDE) approach to exactly analyze of the response of quantum systems to a continuous-mode two-photon input. The QSDE description of the two-photon process allows us to integrate the input-output 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 time-domain two-photon output states can be exactly calculated for a large class of quantum systems including passive linear networks, optomechanical oscillators and two-level 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 two-mode photon wave packets.
• ### Analysis and Control of Quantum Finite-level Systems Driven by Single-photon Input States(1412.1273)

March 4, 2016 quant-ph
Single-photon states, which carry quantum information and coherently interact with quantum systems, are vital to the realization of all-optical engineered quantum networks. In this paper we derive the analytical form of the output field state for a large class of quantum finite-level systems driven by single-photon input field states using a transfer function approach. Single-photon pulse shaping via coherent feedback is also studied.
• ### Quantum Criticality in the Biased Dicke Model(1512.06531)

Dec. 21, 2015 quant-ph
The biased Dicke model describes a system of biased two-level 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 finite-biased 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.
• ### Continuous-mode multi-photon filtering(1307.7367)

Dec. 4, 2015 quant-ph
The purpose of this paper is to derive filters for an arbitrary open quantum system driven by a light wavepacket prepared in a continuous-mode multi-photon state. A continuous-mode multi-photon 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 multi-photon state changes the state by annihilating a photon, and this makes the traditional filtering techniques inapplicable. To circumvent this difficulty, we adopt a non-Markovian embedding technique proposed in \cite{gough:2013} for the study of the single-photon filtering problem. However, the multi-photon nature of the problem addressed in this paper makes the study much more mathematically involved. Moreover, as demonstrated by an example --- a two-level system driven by a continuous-mode two-photon state, multi-photon filters can reveal interesting strong nonlinear optical phenomena absent in both the single-photon state case and the continuous-mode Fock state case.
• ### Quantum filtering for multiple measurements driven by fields in single-photon states(1511.08335)

Nov. 26, 2015 quant-ph, math.OC
In this paper, we derive the stochastic master equations for quantum systems driven by a single-photon input state which is contaminated by quantum vacuum noise. To improve estimation performance, quantum filters based on multiple-channel measurements are designed. Two cases, namely diffusive plus Poissonian measurements and two diffusive measurements, are considered.
• ### Classical and Quantum Stochastic Models of Resistive and Memristive Circuits(1510.08243)

Oct. 28, 2015 quant-ph, math-ph, math.MP, math.DS, math.OC
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.
• ### Analytical Solution for the Anisotropic Rabi Model: Effects of Counter-Rotating Terms(1503.06538)

March 23, 2015 quant-ph
The anisotropic Rabi model, which was proposed recently, differs from the original Rabi model: the rotating and counter-rotating terms are governed by two different coupling constants. This feature allows us to vary the counter-rotating interaction independently and explore the effects of it on some quantum properties. In this paper, we eliminate the counter-rotating 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 counter-rotating coupling limit we find out that the counter-rotating terms can be considered as the shifts to the parameters of the Jaynes-Cummings model. This modification shows the validness of the rotating-wave approximation on the assumption of near-resonance and relatively weak coupling. Moreover, the analytical expressions of several physics quantities are also derived, and the results show the break-down of the U(1)-symmetry and the deviation from the Jaynes-Cummings model.