Source author record

Igor G. Vladimirov

Igor G. Vladimirov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

37works
19topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

37 published item(s)

preprint2022arXiv

Covariance-analytic performance criteria, Hardy-Schatten norms and Wick-like ordering of cascaded systems

This paper is concerned with linear stochastic systems whose output is a stationary Gaussian random process related by an integral operator to a standard Wiener process at the input. We consider a performance criterion which involves the trace of an analytic function of the spectral density of the output process. This class of "covariance-analytic" cost functionals includes the usual mean square and risk-sensitive criteria as particular cases. Due to the presence of the "cost-shaping" analytic function, the performance criterion is related to higher-order Hardy-Schatten norms of the system transfer function. These norms have links with the asymptotic properties of cumulants of finite-horizon quadratic functionals of the system output and satisfy variational inequalities pertaining to system robustness to statistically uncertain inputs. In the case of strictly proper finite-dimensional systems, governed in state space by linear stochastic differential equations, we develop a method for recursively computing the Hardy-Schatten norms through a recently proposed technique of rearranging cascaded linear systems, which resembles the Wick ordering of annihilation and creation operators in quantum mechanics. The resulting computational procedure involves a recurrence sequence of solutions to algebraic Lyapunov equations and represents the covariance-analytic cost as the squared $\mathcal{H}_2$-norm of an auxiliary cascaded system. These results are also compared with an alternative approach which uses higher-order derivatives of stabilising solutions of parameter-dependent algebraic Riccati equations.

preprint2022arXiv

Decoherence quantification through commutation relations decay for open quantum harmonic oscillators

This paper is concerned with multimode open quantum harmonic oscillators (OQHOs), described by linear quantum stochastic differential equations with multichannel external bosonic fields. We consider the exponentially fast decay in the two-point commutator matrix of the system variables as a manifestation of quantum decoherence. Such dissipative effects are caused by the interaction of the system with its environment and lead to a loss of specific features of the unitary evolution which the system would have in the case of isolated dynamics. These features are exploited as nonclassical resources in quantum computation and quantum information processing technologies. A system-theoretic definition of decoherence time in terms of the commutator matrix decay is discussed, and an upper bound for it is provided using algebraic Lyapunov inequalities. Employing spectrum perturbation techniques, we investigate the asymptotic behaviour of a related Lyapunov exponent for the oscillator when the system-field coupling is specified by a small coupling strength parameter and a given coupling shape matrix. The invariant quantum state of the system, driven by vacuum fields, in the weak-coupling limit is also studied. We illustrate the results for one- and two-mode oscillators with multichannel external fields and outline their application to a decoherence control problem for a feedback interconnection of OQHOs.

preprint2022arXiv

Infinite-horizon risk-sensitive performance criteria for translation invariant networks of linear quantum stochastic systems

This paper is concerned with networks of identical linear quantum stochastic systems which interact with each other and external bosonic fields in a translation invariant fashion. The systems are associated with sites of a multidimensional lattice and are governed by coupled linear quantum stochastic differential equations (QSDEs). The block Toeplitz coefficients of these QSDEs are specified by the energy and coupling matrices which quantify the Hamiltonian and coupling operators for the component systems. We discuss the invariant Gaussian quantum state of the network when it satisfies a stability condition and is driven by statistically independent vacuum fields. A quadratic-exponential functional (QEF) is considered as a risk-sensitive performance criterion for a finite fragment of the network over a bounded time interval. This functional involves a quadratic function of dynamic variables of the component systems with a block Toeplitz weighting matrix. Assuming the invariant state, we study the spatio-temporal asymptotic rate of the QEF per unit time and per lattice site in the thermodynamic limit of unboundedly growing time horizons and fragments of the lattice. A spatio-temporal frequency-domain formula is obtained for the QEF rate in terms of two spectral functions associated with the real and imaginary parts of the invariant quantum covariance kernel of the network variables. A homotopy method and asymptotic expansions for evaluating the QEF rate are also discussed.

preprint2022arXiv

Making Nonlinear Systems Negative Imaginary via State Feedback

This paper provides a state feedback stabilization approach for nonlinear systems of relative degree less than or equal to two by rendering them nonlinear negative imaginary (NI) systems. Conditions are provided under which a nonlinear system can be made a nonlinear NI system or a nonlinear output strictly negative imaginary (OSNI) system. Roughly speaking, an affine nonlinear system that has a normal form with relative degree less than or equal to two, after possible output transformation, can be rendered nonlinear NI and nonlinear OSNI. In addition, if the internal dynamics of the normal form are input-to-state stable, then there exists a state feedback input that stabilizes the system. This stabilization result is then extended to achieve stability for systems with a nonlinear NI uncertainty.

preprint2022arXiv

Negative Imaginary State Feedback Equivalence for a Class of Nonlinear Systems

In this paper, we investigate the necessary and sufficient conditions under which a class of nonlinear systems are state feedback equivalent to nonlinear negative imaginary (NI) systems with positive definite storage functions. The nonlinear systems of interest have a normal form of relative degree less than or equal to two. The nonlinearity of the system is restricted with respect to a subset of the state variables, which are the state variables that have external dynamics. Under mild assumptions, such systems are state feedback equivalent to nonlinear NI systems and nonlinear output strictly negative imaginary (OSNI) systems if and only if they are weakly minimum phase. Such a state feedback control approach can also asymptotically stabilize the systems in question against nonlinear OSNI system uncertainties. A numerical example is provided to show the process of the state feedback equivalence control and stabilization of uncertain systems.

preprint2022arXiv

State-space computation of quadratic-exponential functional rates for linear quantum stochastic systems

This paper is concerned with infinite-horizon growth rates of quadratic-exponential functionals (QEFs) for linear quantum stochastic systems driven by multichannel bosonic fields. Such risk-sensitive performance criteria impose an exponential penalty on the integral of a quadratic function of the system variables, and their minimization improves robustness properties of the system with respect to quantum statistical uncertainties and makes its behaviour more conservative in terms of tail distributions. We use a frequency-domain representation of the QEF growth rate for the invariant Gaussian quantum state of the system with vacuum input fields in order to compute it in state space. The QEF rate is related to a similar functional for a classical stationary Gaussian random process generated by an infinite cascade of linear systems. A truncation of this shaping filter allows the QEF rate to be computed with any accuracy by solving a recurrent sequence of algebraic Lyapunov equations together with an algebraic Riccati equation. The state-space computation of the QEF rate and its comparison with the frequency-domain results are demonstrated by a numerical example for an open quantum harmonic oscillator.

preprint2020arXiv

A homotopy approach to coherent quantum LQG control synthesis using discounted performance criteria

This paper is concerned with linear-quadratic-Gaussian (LQG) control for a field-mediated feedback connection of a plant and a coherent (measurement-free) controller. Both the plant and the controller are multimode open quantum harmonic oscillators governed by linear quantum stochastic differential equations. The control objective is to make the closed-loop system internally stable and to minimize the infinite-horizon quadratic cost involving the plant variables and the controller output subject to quantum physical realizability (PR) constraints. This coherent quantum LQG (CQLQG) control problem, which has been of active research interest for over ten years, does not admit a solution in the form of separation principle and independent Riccati equations known for its classical counterpart. We apply variational techniques to a family of discounted CQLQG control problems parameterized by an effective time horizon. This gives rise to a homotopy algorithm, which is initialized with a PR (but not necessarily stabilizing) controller and aims at a locally optimal stabilizing controller for the original problem in the limit.

preprint2020arXiv

Mean Square Optimal Control by Interconnection for Linear Stochastic Hamiltonian Systems

This paper is concerned with linear stochastic Hamiltonian (LSH) systems subject to random external forces. Their dynamics are modelled by linear stochastic differential equations, parameterised by stiffness, mass, damping and coupling matrices. A class of physical couplings is discussed for such systems using inerters, springs and dampers. We consider a problem of minimising a steady-state quadratic cost functional over the coupling parameters for the interconnection of two LSH systems, one of which plays the role of an analog controller. For this mean square optimal control-by-interconnection setting, we outline first-order necessary conditions of optimality which employ variational methods developed previously for constrained linear quadratic Gaussian control problems.

preprint2016arXiv

A Numerical Approach to Optimal Coherent Quantum LQG Controller Design Using Gradient Descent

This paper is concerned with coherent quantum linear quadratic Gaussian (CQLQG) control. The problem is to find a stabilizing measurement-free quantum controller for a quantum plant so as to minimize a mean square cost for the fully quantum closed-loop system. The plant and controller are open quantum systems interconnected through bosonic quantum fields. In comparison with the observation-actuation structure of classical controllers, coherent quantum feedback is less invasive to the quantum dynamics. The plant and controller variables satisfy the canonical commutation relations (CCRs) of a quantum harmonic oscillator and are governed by linear quantum stochastic differential equations (QSDEs). In order to correspond to such oscillators, these QSDEs must satisfy physical realizability (PR) conditions in the form of quadratic constraints on the state-space matrices, reflecting the CCR preservation in time. The symmetry of the problem is taken into account by introducing equivalence classes of coherent quantum controllers generated by symplectic similarity transformations. We discuss a modified gradient flow, which is concerned with norm-balanced realizations of controllers. A line-search gradient descent algorithm with adaptive stepsize selection is proposed for the numerical solution of the CQLQG control problem. The algorithm finds a local minimum of the LQG cost over the parameters of the Hamiltonian and coupling operators of a stabilizing coherent quantum controller, thus taking the PR constraints into account. A convergence analysis of the algorithm is presented. Numerical examples of designing locally optimal CQLQG controllers are provided in order to demonstrate the algorithm performance.

preprint2016arXiv

A Phase-space Formulation of the Belavkin-Kushner-Stratonovich Filtering Equation for Nonlinear Quantum Stochastic Systems

This paper is concerned with a filtering problem for a class of nonlinear quantum stochastic systems with multichannel nondemolition measurements. The system-observation dynamics are governed by a Markovian Hudson-Parthasarathy quantum stochastic differential equation driven by quantum Wiener processes of bosonic fields in vacuum state. The Hamiltonian and system-field coupling operators, as functions of the system variables, are represented in a Weyl quantization form. Using the Wigner-Moyal phase-space framework, we obtain a stochastic integro-differential equation for the posterior quasi-characteristic function (QCF) of the system conditioned on the measurements. This equation is a spatial Fourier domain representation of the Belavkin-Kushner-Stratonovich stochastic master equation driven by the innovation process associated with the measurements. We also discuss a more specific form of the posterior QCF dynamics in the case of linear system-field coupling and outline a Gaussian approximation of the posterior quantum state.

preprint2016arXiv

Directly Coupled Observers for Quantum Harmonic Oscillators with Discounted Mean Square Cost Functionals and Penalized Back-action

This paper is concerned with quantum harmonic oscillators consisting of a quantum plant and a directly coupled coherent quantum observer. We employ discounted quadratic performance criteria in the form of exponentially weighted time averages of second-order moments of the system variables. A coherent quantum filtering (CQF) problem is formulated as the minimization of the discounted mean square of an estimation error, with which the dynamic variables of the observer approximate those of the plant. The cost functional also involves a quadratic penalty on the plant-observer coupling matrix in order to mitigate the back-action of the observer on the covariance dynamics of the plant. For the discounted mean square optimal CQF problem with penalized back-action, we establish first-order necessary conditions of optimality in the form of algebraic matrix equations. By using the Hamiltonian structure of the Heisenberg dynamics and related Lie-algebraic techniques, we represent this set of equations in a more explicit form in the case of equally dimensioned plant and observer.

preprint2016arXiv

Face-to-diagonal reduction of Kramers-Wannier approximation for cubic lattice particle systems with nearest neighbour exclusion

The paper is concerned with interacting particle systems on the simple cubic lattice obeying the nearest neighbour exclusion (NNE). This constraint forbids any two neighbouring sites of the lattice to be simultaneously occupied, thus reducing the set of admissible configurations for the cubic cell and its subclusters such as edges and faces. This reduction extends applicability of Kikuchi's Cluster Variation Method (CVM) with higher-order clusters to systems with complex site configurations and short-range ordering, which would be impractical beyond the NNE framework because of the "curse of dimensionality". For edges of the cubic cell, which are the operational clusters of the Bethe-Peierls entropy approximation in the CVM hierarchy, the edge-to-site reduction of the entropy cumulants was studied previously. In extending the earlier results, we develop a face-to-diagonal reduction of the Kramers-Wannier entropy approximation of the CVM in the NNE setting. We also outline an application of the resulting approximation to thermodynamic modeling of disordered condensed media, such as liquid silicates, and discuss combinatorial and numerical aspects of the implementation of this approach.

preprint2015arXiv

A Gradient Descent Approach to Optimal Coherent Quantum LQG Controller Design

This paper is concerned with the Coherent Quantum Linear Quadratic Gaussian (CQLQG) control problem of finding a stabilizing measurement-free quantum controller for a quantum plant so as to minimize an infinite-horizon mean square performance index for the fully quantum closed-loop system. In comparison with the observation-actuation structure of classical controllers, the coherent quantum feedback is less invasive to the quantum dynamics and quantum information. Both the plant and the controller are open quantum systems whose dynamic variables satisfy the canonical commutation relations (CCRs) of a quantum harmonic oscillator and are governed by linear quantum stochastic differential equations (QSDEs). In order to correspond to such oscillators, these QSDEs must satisfy physical realizability (PR) conditions, which are organised as quadratic constraints on the controller matrices and reflect the preservation of CCRs in time. The CQLQG problem is a constrained optimization problem for the steady-state quantum covariance matrix of the plant-controller system satisfying an algebraic Lyapunov equation. We propose a gradient descent algorithm equipped with adaptive stepsize selection for the numerical solution of the problem. The algorithm finds a local minimum of the LQG cost over the parameters of the Hamiltonian and coupling operators of a stabilizing PR quantum controller, thus taking the PR constraints into account. A convergence analysis of the proposed algorithm is presented. A numerical example of a locally optimal CQLQG controller design is provided to demonstrate the algorithm performance.

preprint2015arXiv

A stochastic density matrix approach to approximation of probability distributions and its application to nonlinear systems

This paper outlines an approach to the approximation of probability density functions by quadratic forms of weighted orthonormal basis functions with positive semi-definite Hermitian matrices of unit trace. Such matrices are called stochastic density matrices in order to reflect an analogy with the quantum mechanical density matrices. The SDM approximation of a PDF satisfies the normalization condition and is nonnegative everywhere in contrast to the truncated Gram-Charlier and Edgeworth expansions. For bases with an algebraic structure, such as the Hermite polynomial and Fourier bases, the SDM approximation can be chosen so as to satisfy given moment specifications and can be optimized using a quadratic proximity criterion. We apply the SDM approach to the Fokker-Planck-Kolmogorov PDF dynamics of Markov diffusion processes governed by nonlinear stochastic differential equations. This leads to an ordinary differential equation for the SDM dynamics of the approximating PDF. As an example, we consider the Smoluchowski SDE on a multidimensional torus.

preprint2015arXiv

A transverse Hamiltonian variational technique for open quantum stochastic systems and its application to coherent quantum control

This paper is concerned with variational methods for nonlinear open quantum systems with Markovian dynamics governed by Hudson-Parthasarathy quantum stochastic differential equations. The latter are driven by quantum Wiener processes of the external boson fields and are specified by the system Hamiltonian and system-field coupling operators. We consider the system response to perturbations of these energy operators and introduce a transverse Hamiltonian which encodes the propagation of the perturbations through the unitary system-field evolution. This provides a tool for the infinitesimal perturbation analysis and development of optimality conditions for coherent quantum control problems. We apply the transverse Hamiltonian variational technique to a mean square optimal coherent quantum filtering problem for a measurement-free cascade connection of quantum systems.

preprint2015arXiv

Covariance Dynamics and Entanglement in Translation Invariant Linear Quantum Stochastic Networks

This paper is concerned with a translation invariant network of identical quantum stochastic systems subjected to external quantum noise. Each node of the network is directly coupled to a finite number of its neighbours. This network is modelled as an open quantum harmonic oscillator and is governed by a set of linear quantum stochastic differential equations. The dynamic variables of the network satisfy the canonical commutation relations. Similar large-scale networks can be found, for example, in quantum metamaterials and optical lattices. Using spatial Fourier transform techniques, we obtain a sufficient condition for stability of the network in the case of finite interaction range, and consider a mean square performance index for the stable network in the thermodynamic limit. The Peres-Horodecki-Simon separability criterion is employed in order to obtain sufficient and necessary conditions for quantum entanglement of bipartite systems of nodes of the network in the Gaussian invariant state. The results on stability and entanglement are extended to the infinite chain of the linear quantum systems by letting the number of nodes go to infinity. A numerical example is provided to illustrate the results.

preprint2015arXiv

Decentralized Coherent Quantum Control Design for Translation Invariant Linear Quantum Stochastic Networks with Direct Coupling

This paper is concerned with coherent quantum control design for translation invariant networks of identical quantum stochastic systems subjected to external quantum noise. The network is modelled as an open quantum harmonic oscillator and is governed by a set of linear quantum stochastic differential equations. The dynamic variables of this quantum plant satisfy the canonical commutation relations. Similar large-scale systems can be found, for example, in quantum metamaterials and optical lattices. The problem under consideration is to design a stabilizing decentralized coherent quantum controller in the form of another translation invariant quantum system, directly coupled to the plant, so as to minimize a weighted mean square functional of the dynamic variables of the interconnected networks. We consider this problem in the thermodynamic limit of infinite network size and present first-order necessary conditions for optimality of the controller.

preprint2015arXiv

Evolution of quasi-characteristic functions in quantum stochastic systems with Weyl quantization of energy operators

This paper considers open quantum systems whose dynamic variables satisfy canonical commutation relations and are governed by Markovian Hudson-Parthasarathy quantum stochastic differential equations driven by external bosonic fields. The dependence of the Hamiltonian and the system-field coupling operators on the system variables is represented using the Weyl functional calculus. This leads to an integro-differential equation (IDE) for the evolution of the quasi-characteristic function (QCF) which encodes the dynamics of mixed moments of the system variables. Unlike quantum master equations for reduced density operators, this IDE involves only complex-valued functions on finite-dimensional Euclidean spaces and extends the Wigner-Moyal phase-space approach for quantum stochastic systems. The dynamics of the QCF and the related Wigner quasi-probability density function (QPDF) are discussed in more detail for the case when the coupling operators depend linearly on the system variables and the Hamiltonian has a nonquadratic part represented in the Weyl quantization form. For this class of quantum stochastic systems, we also consider an approximate computation of invariant states and discuss the deviation from Gaussian quantum states in terms of the $χ^2$-divergence (or the second-order Renyi relative entropy) applied to the QPDF. The results of the paper may find applications to investigating different aspects of the moment stability, relaxation dynamics and invariant states in open quantum systems.

preprint2015arXiv

Parameterization of Stabilizing Linear Coherent Quantum Controllers

This paper is concerned with application of the classical Youla-Kučera parameterization to finding a set of linear coherent quantum controllers that stabilize a linear quantum plant. The plant and controller are assumed to represent open quantum harmonic oscillators modelled by linear quantum stochastic differential equations. The 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 stabilizing quantum controllers is parameterized in the frequency domain. Also, this approach is used in order to formulate coherent quantum weighted $H_2$ and $H_\infty$ control problems for linear quantum systems in the frequency domain. Finally, a projected gradient descent scheme is proposed to solve the coherent quantum weighted $H_2$ control problem.

preprint2015arXiv

Quantized linear systems on integer lattices: a frequency-based approach

The roundoff errors in computer simulations of continuous dynamical systems, caused by finiteness of machine arithmetic, can lead to qualitative discrepancies between phase portraits of the resulting spatially discretized systems and the original systems. These effects can be modelled on a multidimensional integer lattice by using a dynamical system obtained by composing the transition operator of the original system with a quantizer. Such models manifest pseudorandomness which can be studied using a rigorous probability theoretic approach. To this end, the lattice $\mathbb{Z}^n$ is endowed with a class of frequency measurable subsets and a spatial frequency functional as a finitely additive probability measure on them. Using a multivariate version of Weyl's equidistribution criterion, we introduce an algebra of frequency measurable quasiperiodic subsets of the lattice. This approach is applied to quantized linear systems with the transition operator $R \circ L$, where $L$ is a nonsingular matrix of the original linear system in $\mathbb{R}^n$, and the map $R$ commutes with the additive group of translations of the lattice. For almost every $L$, the events associated with the deviation of trajectories of the quantized and original systems are frequency measurable quasiperiodic subsets of the lattice whose frequencies involve geometric probabilities on finite-dimensional tori. Using the skew products of measure preserving toral automorphisms, we prove mutual independence and uniform distribution of the quantization errors and investigate statistical properties of invertibility loss for the quantized linear system, extending V.V.Voevodin's results. When $L$ is similar to an orthogonal matrix, we establish a functional central limit theorem for the deviations of trajectories of the quantized and original systems. These results are demonstrated for rounded-off planar rotations.

preprint2015arXiv

Robust Mean Square Stability of Open Quantum Stochastic Systems with Hamiltonian Perturbations in a Weyl Quantization Form

This paper is concerned with open quantum systems whose dynamic variables satisfy canonical commutation relations and are governed by quantum stochastic differential equations. The latter are driven by quantum Wiener processes which represent external boson fields. The system-field coupling operators are linear functions of the system variables. The Hamiltonian consists of a nominal quadratic function of the system variables and an uncertain perturbation which is represented in a Weyl quantization form. Assuming that the nominal linear quantum system is stable, we develop sufficient conditions on the perturbation of the Hamiltonian which guarantee robust mean square stability of the perturbed system. Examples are given to illustrate these results for a class of Hamiltonian perturbations in the form of trigonometric polynomials of the system variables.

preprint2015arXiv

Weyl variations and local sufficiency of linear observers in the mean square optimal coherent quantum filtering problem

This paper is concerned with the coherent quantum filtering (CQF) problem, where a quantum observer is cascaded in a measurement-free fashion with a linear quantum plant so as to minimize a mean square error of estimating the plant variables of interest. Both systems are governed by Markovian Hudson-Parthasarathy quantum stochastic differential equations driven by bosonic fields in vacuum state. These quantum dynamics are specified by the Hamiltonians and system-field coupling operators. We apply a recently proposed transverse Hamiltonian variational method to the development of first-order necessary conditions of optimality for the CQF problem in a larger class of observers. The latter is obtained by perturbing the Hamiltonian and system-field coupling operators of a linear coherent quantum observer along linear combinations of unitary Weyl operators, whose role here resembles that of the needle variations in the Pontryagin minimum principle. We show that if the observer is a stationary point of the performance functional in the class of linear observers, then it is also a stationary point with respect to the Weyl variations in the larger class of nonlinear observers.

preprint2014arXiv

A quantum mechanical version of Price's theorem for Gaussian states

This paper is concerned with integro-differential identities which are known in statistical signal processing as Price's theorem for expectations of nonlinear functions of jointly Gaussian random variables. We revisit these relations for classical variables by using the Frechet differentiation with respect to covariance matrices, and then show that Price's theorem carries over to a quantum mechanical setting. The quantum counterpart of the theorem is established for Gaussian quantum states in the framework of the Weyl functional calculus for quantum variables satisfying the Heisenberg canonical commutation relations. The quantum mechanical version of Price's theorem relates the Frechet derivative of the generalized moment of such variables with respect to the real part of their quantum covariance matrix with other moments. As an illustrative example, we consider these relations for quadratic-exponential moments which are relevant to risk-sensitive quantum control.

preprint2014arXiv

Anisotropy-based optimal filtering in linear discrete time invariant systems

This paper is concerned with a problem of robust filtering for a finite-dimensional linear discrete time invariant system with two output signals, one of which is directly observed while the other has to be estimated. The system is assumed to be driven by a random disturbance produced from the Gaussian white noise sequence by an unknown shaping filter. The worst-case performance of an estimator is quantified by the maximum ratio of the root-mean-square (RMS) value of the estimation error to that of the disturbance over stationary Gaussian disturbances whose mean anisotropy is bounded from above by a given parameter $a \ge 0$. The mean anisotropy is a combined entropy theoretic measure of temporal colouredness and spatial "nonroundness" of a signal. We construct an $a$-anisotropic estimator which minimizes the worst-case error-to-noise RMS ratio. The estimator retains the general structure of the Kalman filter, though with modified state-space matrices. Computing the latter is reduced to solving a set of two coupled algebraic Riccati equations and an equation involving the determinant of a matrix. In two limiting cases, where $a = 0$ or $a \to +\infty$, the $a$-anisotropic estimator leads to the standard steady-state Kalman filter or the $H_{\infty}$-optimal estimator, respectively.

preprint2014arXiv

Physical Realizability and Mean Square Performance of Translation Invariant Networks of Interacting Linear Quantum Stochastic Systems

This paper is concerned with translation invariant networks of linear quantum stochastic systems with nearest neighbour interaction mediated by boson fields. The systems are associated with sites of a one-dimensional chain or a multidimensional lattice and are governed by coupled linear quantum stochastic differential equations (QSDEs). Such interconnections of open quantum systems are relevant, for example, to the phonon theory of crystalline solids, atom trapping in optical lattices and quantum metamaterials. In order to represent a large-scale open quantum harmonic oscillator, the coefficients of the coupled QSDEs must satisfy certain physical realizability conditions. These are established in the form of matrix algebraic equations for the parameters of an individual building block of the network and its interaction with the neighbours and external fields. We also discuss the computation of mean square performance functionals with block Toeplitz weighting matrices for such systems in the thermodynamic limit per site for unboundedly increasing fragments of the lattice.

preprint2013arXiv

Coherent Quantum Filtering for Physically Realizable Linear Quantum Plants

The paper is concerned with a problem of coherent (measurement-free) filtering for physically realizable (PR) linear quantum plants. The state variables of such systems satisfy canonical commutation relations and are governed by linear quantum stochastic differential equations, dynamically equivalent to those of an open quantum harmonic oscillator. The problem is to design another PR quantum system, connected unilaterally to the output of the plant and playing the role of a quantum filter, so as to minimize a mean square discrepancy between the dynamic variables of the plant and the output of the filter. This coherent quantum filtering (CQF) formulation is a simplified feedback-free version of the coherent quantum LQG control problem which remains open despite recent studies. The CQF problem is transformed into a constrained covariance control problem which is treated by using the Frechet differentiation of an appropriate Lagrange function with respect to the matrices of the filter.

preprint2013arXiv

Modified Associate Formalism without Entropy Paradox: Part I. Model Description

A Modified Associate Formalism is proposed for thermodynamic modelling of solution phases. The approach is free from the entropy paradox described by Lück et al. (Z. Metallkd. 80 (1989) pp. 270--275). The model is considered in its general form for an arbitrary number of solution components and an arbitrary size of associates. Asymptotic behaviour of chemical activities of solution components in binary dilute solutions is also investigated.

preprint2012arXiv

Anisotropic Norm Bounded Real Lemma for Linear Discrete Time Varying Systems

We consider a finite horizon linear discrete time varying system whose input is a random noise with an imprecisely known probability law. The statistical uncertainty is described by a nonnegative parameter a which constrains the anisotropy of the noise as an entropy theoretic measure of deviation of the actual noise distribution from Gaussian white noise laws with scalar covariance matrices. The worst-case disturbance attenuation capabilities of the system with respect to the statistically uncertain random inputs are quantified by the a-anisotropic norm which is an appropriately constrained operator norm of the system. We establish an anisotropic norm bounded real lemma which provides a state-space criterion for the a-anisotropic norm of the system not to exceed a given threshold. The criterion is organized as an inequality on the determinants of matrices associated with a difference Riccati equation and extends the Bounded Real Lemma of the H-infinity-control theory. We also provide a necessary background on the anisotropy-based robust performance analysis.

preprint2012arXiv

Characterization and Moment Stability Analysis of Quasilinear Quantum Stochastic Systems with Quadratic Coupling to External Fields

The paper is concerned with open quantum systems whose Heisenberg dynamics are described by quantum stochastic differential equations driven by external boson fields. The system-field coupling operators are assumed to be quadratic polynomials of the system observables, with the latter satisfying canonical commutation relations. In combination with a cubic system Hamiltonian, this leads to a class of quasilinear quantum stochastic systems which retain algebraic closedness in the evolution of mixed moments of the observables. Although such a system is nonlinear and its quantum state is no longer Gaussian, the dynamics of the moments of any order are amenable to exact analysis, including the computation of their steady-state values. In particular, a generalized criterion is developed for quadratic stability of the quasilinear systems. The results of the paper are applicable to the generation of non-Gaussian quantum states with manageable moments and an optimal design of linear quantum controllers for quasilinear quantum plants.

preprint2012arXiv

Gaussian Stochastic Linearization for Open Quantum Systems Using Quadratic Approximation of Hamiltonians

This paper extends the energy-based version of the stochastic linearization method, known for classical nonlinear systems, to open quantum systems with canonically commuting dynamic variables governed by quantum stochastic differential equations with non-quadratic Hamiltonians. The linearization proceeds by approximating the actual Hamiltonian of the quantum system by a quadratic function of its observables which corresponds to the Hamiltonian of a quantum harmonic oscillator. This approximation is carried out in a mean square optimal sense with respect to a Gaussian reference quantum state and leads to a self-consistent linearization procedure where the mean vector and quantum covariance matrix of the system observables evolve in time according to the effective linear dynamics. We demonstrate the proposed Hamiltonian-based Gaussian linearization for the quantum Duffing oscillator whose Hamiltonian is a quadro-quartic polynomial of the momentum and position operators. The results of the paper are applicable to the design of suboptimal controllers and filters for nonlinear quantum systems.

preprint2012arXiv

Hardy-Schatten Norms of Systems, Output Energy Cumulants and Linear Quadro-Quartic Gaussian Control

This paper is concerned with linear stochastic control systems in state space. The integral of the squared norm of the system output over a bounded time interval is interpreted as energy. The cumulants of the output energy in the infinite-horizon limit are related to Schatten norms of the system in the Hardy space of transfer functions and the risk-sensitive performance index. We employ a novel performance criterion which seeks to minimize a combination of the average value and the variance of the output energy of the system per unit time. The resulting linear quadro-quartic Gaussian control problem involves the H2 and H4-norms of the closed-loop system. We obtain equations for the optimal controller and outline a homotopy method which reduces the solution of the problem to the numerical integration of a differential equation initialized by the standard linear quadratic Gaussian controller.

preprint2012arXiv

Minimum Relative Entropy State Transitions in Linear Stochastic Systems: the Continuous Time Case

This paper is concerned with a dissipativity theory for dynamical systems governed by linear Ito stochastic differential equations driven by random noise with an uncertain drift. The deviation of the noise from a standard Wiener process in the nominal model is quantified by relative entropy. We discuss a dissipation inequality for the noise relative entropy supply. The problem of minimizing the supply required to drive the system between given Gaussian state distributions over a specified time horizon is considered. This problem, known in the literature as the Schroedinger bridge, was treated previously in the context of reciprocal processes. A closed-form smooth solution is obtained for a Hamilton-Jacobi equation for the minimum required relative entropy supply by using nonlinear algebraic techniques.

preprint2012arXiv

Risk-sensitive Dissipativity of Linear Quantum Stochastic Systems under Lur'e Type Perturbations of Hamiltonians

This paper is concerned with a stochastic dissipativity theory using quadratic-exponential storage functions for open quantum systems with canonically commuting dynamic variables governed by quantum stochastic differential equations. The system is linearly coupled to external boson fields and has a quadratic Hamiltonian which is perturbed by nonquadratic functions of linear combinations of system variables. Such perturbations are similar to those in the classical Lur'e systems and make the quantum dynamics nonlinear. We study their effect on the quantum expectation of the exponential of a positive definite quadratic form of the system variables. This allows conditions to be established for the risk-sensitive stochastic storage function of the quantum system to remain bounded, thus securing boundedness for the moments of system variables of arbitrary order. These results employ a noncommutative analogue of the Doleans-Dade exponential and a multivariate partial differential version of the Gronwall-Bellman lemma.

preprint2012arXiv

State distributions and minimum relative entropy noise sequences in uncertain stochastic systems: the discrete time case

The paper is concerned with a dissipativity theory and robust performance analysis of discrete-time stochastic systems driven by a statistically uncertain random noise. The uncertainty is quantified by the conditional relative entropy of the actual probability law of the noise with respect to a nominal product measure corresponding to a white noise sequence. We discuss a balance equation, dissipation inequality and superadditivity property for the corresponding conditional relative entropy supply as a function of time. The problem of minimizing the supply required to drive the system between given state distributions over a specified time horizon is considered. Such variational problems, involving entropy and probabilistic boundary conditions, are known in the literature as Schroedinger bridge problems. In application to control systems, this minimum required conditional relative entropy supply characterizes the robustness of the system with respect to an uncertain noise. We obtain a dynamic programming Bellman equation for the minimum required conditional relative entropy supply and establish a Markov property of the worst-case noise with respect to the state of the system. For multivariable linear systems with a Gaussian white noise sequence as the nominal noise model and Gaussian initial and terminal state distributions, the minimum required supply is obtained using an algebraic Riccati equation which admits a closed-form solution. We propose a computable robustness index for such systems in the framework of an entropy theoretic formulation of uncertainty and provide an example to illustrate this approach.

preprint2012arXiv

The monomer-dimer problem and moment Lyapunov exponents of homogeneous Gaussian random fields

We consider an "elastic" version of the statistical mechanical monomer-dimer problem on the n-dimensional integer lattice. Our setting includes the classical "rigid" formulation as a special case and extends it by allowing each dimer to consist of particles at arbitrarily distant sites of the lattice, with the energy of interaction between the particles in a dimer depending on their relative position. We reduce the free energy of the elastic dimer-monomer (EDM) system per lattice site in the thermodynamic limit to the moment Lyapunov exponent (MLE) of a homogeneous Gaussian random field (GRF) whose mean value and covariance function are the Boltzmann factors associated with the monomer energy and dimer potential. In particular, the classical monomer-dimer problem becomes related to the MLE of a moving average GRF. We outline an approach to recursive computation of the partition function for "Manhattan" EDM systems where the dimer potential is a weighted l1-distance and the auxiliary GRF is a Markov random field of Pickard type which behaves in space like autoregressive processes do in time. For one-dimensional Manhattan EDM systems, we compute the MLE of the resulting Gaussian Markov chain as the largest eigenvalue of a compact transfer operator on a Hilbert space which is related to the annihilation and creation operators of the quantum harmonic oscillator and also recast it as the eigenvalue problem for a pantograph functional-differential equation.

preprint2011arXiv

A Dynamic Programming Approach to Finite-horizon Coherent Quantum LQG Control

The paper is concerned with the coherent quantum Linear Quadratic Gaussian (CQLQG) control problem for time-varying quantum plants governed by linear quantum stochastic differential equations over a bounded time interval. A controller is sought among quantum linear systems satisfying physical realizability (PR) conditions. The latter describe the dynamic equivalence of the system to an open quantum harmonic oscillator and relate its state-space matrices to the free Hamiltonian, coupling and scattering operators of the oscillator. Using the Hamiltonian parameterization of PR controllers, the CQLQG problem is recast into an optimal control problem for a deterministic system governed by a differential Lyapunov equation. The state of this subsidiary system is the symmetric part of the quantum covariance matrix of the plant-controller state vector. The resulting covariance control problem is treated using dynamic programming and Pontryagin's minimum principle. The associated Hamilton-Jacobi-Bellman equation for the minimum cost function involves Frechet differentiation with respect to matrix-valued variables. The gain matrices of the CQLQG optimal controller are shown to satisfy a quasi-separation property as a weaker quantum counterpart of the filtering/control decomposition of classical LQG controllers.

preprint2011arXiv

A Quasi-separation Principle and Newton-like Scheme for Coherent Quantum LQG Control

This paper is concerned with constructing an optimal controller in the coherent quantum Linear Quadratic Gaussian problem. A coherent quantum controller is itself a quantum system and is required to be physically realizable. The use of coherent control avoids the need for classical measurements, which inherently entail the loss of quantum information. Physical realizability corresponds to the equivalence of the controller to an open quantum harmonic oscillator and relates its state-space matrices to the Hamiltonian, coupling and scattering operators of the oscillator. The Hamiltonian parameterization of the controller is combined with Frechet differentiation of the LQG cost with respect to the state-space matrices to obtain equations for the optimal controller. A quasi-separation principle for the gain matrices of the quantum controller is established, and a Newton-like iterative scheme for numerical solution of the equations is outlined.