Source author record

Pierre Rouchon

Pierre Rouchon 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

61works
18topics
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

61 published item(s)

preprint2023arXiv

Correlation functions for realistic continuous quantum measurement

We propose a self-contained and accessible derivation of an exact formula for the $n$-point correlation functions of the signal measured when continuously observing a quantum system. The expression depends on the initial quantum state and on the Stochastic Master Equation (SME) governing the dynamics. This derivation applies to both jump and diffusive evolutions and takes into account common imperfections of realistic measurement devices. We show how these correlations can be efficiently computed numerically for commonly filtered and integrated signals available in practice.

preprint2022arXiv

A tutorial introduction to quantum stochastic master equations based on the qubit/photon system

From the key composite quantum system made of a two-level system (qubit) and a harmonic oscillator (photon) with resonant or dispersive interactions, one derives the corresponding quantum Stochastic Master Equations (SME) when either the qubits or the photons are measured. Starting with an elementary discrete-time formulation based on explicit formulae for the interaction propagators, one shows how to include measurement imperfections and decoherence. This qubit/photon quantum system illustrates the Kraus-map structure of general discrete-time SME governing the dynamics of an open quantum system subject to measurement back-action and decoherence induced by the environment. Then, on the qubit/photon system, one explains the passage to a continuous-time mathematical model where the measurement signal is either a continuous real-value signal (typically homodyne or heterodyne signal) or a discontinuous and integer-value signal obtained from a counter. During this derivation, the Kraus map formulation is preserved in an infinitesimal way. Such a derivation provides also an equivalent Kraus-map formulation to the continuous-time SME usually expressed as stochastic differential equations driven either by Wiener or Poisson processes. From such Kraus-map formulation, simple linear numerical integration schemes are derived that preserve the positivity and the trace of the density operator, i.e. of the quantum state.

preprint2020arXiv

Adding virtual measurements by PWM-induced signal injection

We show that for PWM-operated devices, it is possible to benefit from signal injection \emph{without an external probing signal}, by suitably using the excitation provided by the PWM itself. As in the usual signal injection framework conceptualized in [1], an extra "virtual measurement" can be made available for use in a control law, but without the practical drawbacks caused by an external signal.

preprint2020arXiv

Quantum adiabatic elimination at arbitrary order for photon number measurement

Adiabatic elimination is a perturbative model reduction technique based on timescale separation and often used to simplify the description of composite quantum systems. We here analyze a quantum experiment where the perturbative expansion can be carried out to arbitrary order, such that: (i) we can formulate in the end an exact reduced model in quantum form; (ii) as the series provides accuracy for ever larger parameter values, we can discard any condition on the timescale separation, thereby analyzing the intermediate regime where the actual experiment is performing best; (iii) we can clarify the role of some gauge degrees of freedom in this model reduction technique.

preprint2020arXiv

Sensorless rotor position estimation by PWM-induced signal injection

We demonstrate how the rotor position of a PWM-controlled PMSM can be recovered from the measured currents, by suitably using the excitation provided by the PWM itself. This provides the benefits of signal injection, in particular the ability to operate even at low velocity, without the drawbacks of an external probing signal. We illustrate the relevance of the approach by simulations and experimental results.

preprint2016arXiv

Adding virtual measurements by signal injection

We propose a method to "create" a new measurement output by exciting the system with a high-frequency oscillation. This new "virtual" measurement may be useful to facilitate the design of a suitable control law. The approach is especially interesting when the observability from the actual output degenerates at a steady-state regime of interest. The proposed method is based on second-order averaging and is illustrated by simulations on a simple third-order system.

preprint2016arXiv

Adiabatic elimination for open quantum systems with effective Lindblad master equations

We consider an open quantum system described by a Lindblad-type master equation with two times-scales. The fast time-scale is strongly dissipative and drives the system towards a low-dimensional decoherence-free space. To perform the adiabatic elimination of this fast relaxation, we propose a geometric asymptotic expansion based on the small positive parameter describing the time-scale separation. This expansion exploits geometric singular perturbation theory and center-manifold techniques. We conjecture that, at any order, it provides an effective slow Lindblad master equation and a completely positive parameterization of the slow invariant sub-manifold associated to the low-dimensional decoherence-free space. By preserving complete positivity and trace, two important structural properties attached to open quantum dynamics, we obtain a reduced-order model that directly conveys a physical interpretation since it relies on effective Lindbladian descriptions of the slow evolution. At the first order, we derive simple formulae for the effective Lindblad master equation. For a specific type of fast dissipation, we show how any Hamiltonian perturbation yields Lindbladian second-order corrections to the first-order slow evolution governed by the Zeno-Hamiltonian. These results are illustrated on a composite system made of a strongly dissipative harmonic oscillator, the ancilla, weakly coupled to another quantum system.

preprint2016arXiv

Asymptotic expansions of Laplace integrals for quantum state tomography

Bayesian estimation of a mixed quantum state can be approximated via maximum likelihood (MaxLike) estimation when the likelihood function is sharp around its maximum. Such approximations rely on asymptotic expansions of multi-dimensional Laplace integrals. When this maximum is on the boundary of the integration domain, as it is the case when the MaxLike quantum state is not full rank, such expansions are not standard. We provide here such expansions, even when this maximum does not belong to the smooth part of the boundary, as it is the case when the rank deficiency exceeds two. These expansions provide, aside the MaxLike estimate of the quantum state, confidence intervals for any observable. They confirm the formula proposed and used without precise mathematical justifications by the authors in an article recently published in Physical Review A.

preprint2016arXiv

Manipulating Fock states of a harmonic oscillator while preserving its linearity

We present a new scheme for controlling the quantum state of a harmonic oscillator by coupling it to an anharmonic multilevel system (MLS) with first to second excited state transition frequency on-resonance with the oscillator. In this scheme that we call "ef-resonant", the spurious oscillator Kerr non-linearity inherited from the MLS is very small, while its Fock states can still be selectively addressed via an MLS transition at a frequency that depends on the number of photons. We implement this concept in a circuit-QED setup with a microwave 3D cavity (the oscillator, with frequency 6.4 GHz and quality factor QO=2E-6) embedding a frequency tunable transmon qubit (the MLS). We characterize the system spectroscopically and demonstrate selective addressing of Fock states and a Kerr non-linearity below 350 Hz. At times much longer than the transmon coherence times, a non-linear cavity response with driving power is also observed and explained.

preprint2016arXiv

Well-posedness and convergence of the Lindblad master equation for a quantum harmonic oscillator with multi-photon drive and damping

We consider the model of a quantum harmonic oscillator governed by a Lindblad master equation where the typical drive and loss channels are multi-photon processes instead of single-photon ones; this implies a dissipation operator of order 2k with integer k>1 for a k-photon process. We prove that the corresponding PDE makes the state converge, for large time, to an invariant subspace spanned by a set of k selected basis vectors; the latter physically correspond to so-called coherent states with the same amplitude and uniformly distributed phases. We also show that this convergence features a finite set of bounded invariant functionals of the state (physical observables), such that the final state in the invariant subspace can be directly predicted from the initial state. The proof includes the full arguments towards the well-posedness of the corresponding dynamics in proper Banach spaces of Hermitian trace-class operators equipped with adapted nuclear norms. It relies on the Hille-Yosida theorem and Lyapunov convergence analysis.

preprint2015arXiv

Adaptive low-rank approximation and denoised Monte-Carlo approach for high-dimensional Lindblad equations

We present a twofold contribution to the numerical simulation of Lindblad equations. First, an adaptive numerical approach to approximate Lindblad equations using low-rank dynamics is described: a deterministic low-rank approximation of the density operator is computed, and its rank is adjusted dynamically, using an on-the-fly estimator of the error committed when reducing the dimension. On the other hand, when the intrinsic dimension of the Lindblad equation is too high to allow for such a deterministic approximation, we combine classical ensemble averages of quantum Monte Carlo trajectories and a denoising technique. Specifically, a variance reduction method based upon the consideration of a low-rank dynamics as a control variate is developed. Numerical tests for quantum collapse and revivals show the efficiency of each approach, along with the complementarity of the two approaches.

preprint2015arXiv

An analysis of the benefits of signal injection for low-speed sensorless control of induction motors

We analyze why low-speed sensorless control of the IM is intrinsically difficult, and what is gained by signal injection. The explanation relies on the control-theoretic concept of observability applied to a general model of the saturated IM. We show that the IM is not observable when the stator speed is zero in the absence of signal injection, but that observability is restored thanks to signal injection and magnetic saturation. The analysis also reveals that existing sensorless algorithms based on signal injection may perform poorly for some IMs under particular operating conditions. The approach is illustrated by simulations and experimental data.

preprint2015arXiv

Anatomy of Fluorescence: Quantum trajectory statistics from continuously measuring spontaneous emission

We investigate the continuous quantum measurement of a superconducting qubit undergoing fluorescence. The fluorescence of the qubit is detected via a phase-preserving heterodyne measurement, giving the fluorescence quadrature signals as two continuous qubit readout results. By using the stochastic path integral approach to the measurement physics, we derive most likely paths between boundary conditions on the state, and compute approximate time correlation functions between all stochastic variables via diagrammatic perturbation theory. We focus on paths that increase in energy during the continuous measurement. Our results are compared to Monte Carlo numerical simulation of the trajectories, and we find close agreement between direct simulation and theory. We generalize this analysis to arbitrary diffusive quantum systems that are continuously monitored.

preprint2015arXiv

Convergence and adiabatic elimination for a driven dissipative quantum harmonic oscillator

We prove that a harmonic oscillator driven by Lindblad dynamics where the typical drive and loss channels are two-photon processes instead of single-photon ones, converges to a protected subspace spanned by two coherent states of opposite amplitude. We then characterize the slow dynamics induced by a perturbative single-photon loss on this protected subspace, by performing adiabatic elimination in the Lindbladian dynamics.

preprint2015arXiv

Efficient Quantum Filtering for Quantum Feedback Control

We discuss an efficient numerical scheme for the recursive filtering of diffusive quantum stochastic master equations. We show that the resultant quantum trajectory is robust and may be used for feedback based on inefficient measurements. The proposed numerical scheme is amenable to approximation, which can be used to further reduce the computational burden associated with calculating quantum trajectories and may allow real-time quantum filtering. We provide a two-qubit example where feedback control of entanglement may be within the scope of current experimental systems.

preprint2015arXiv

Models and Feedback Stabilization of Open Quantum Systems

At the quantum level, feedback-loops have to take into account measurement back-action. We present here the structure of the Markovian models including such back-action and sketch two stabilization methods: measurement-based feedback where an open quantum system is stabilized by a classical controller; coherent or autonomous feedback where a quantum system is stabilized by a quantum controller with decoherence (reservoir engineering). We begin to explain these models and methods for the photon box experiments realized in the group of Serge Haroche (Nobel Prize 2012). We present then these models and methods for general open quantum systems.

preprint2015arXiv

Null controllability of one-dimensional parabolic equations by the flatness approach

We consider linear one-dimensional parabolic equations with space dependent coefficients that are only measurable and that may be degenerate or singular.Considering generalized Robin-Neumann boundary conditions at both extremities, we prove the null controllability with one boundary control by following the flatness approach, which providesexplicitly the control and the associated trajectory as series. Both the control and the trajectory have a Gevrey regularity in time related to the $L^p$ class of the coefficient in front of $u\_t$.The approach applies in particular to the (possibly degenerate or singular) heat equation $(a(x)u\_x)\_x-u\_t=0$ with $a(x)\textgreater{}0$ for a.e. $x\in (0,1)$ and $a+1/a \in L^1(0,1)$, or to the heat equation with inverse square potential $u\_{xx}+(μ / |x|^2)u-u\_t=0$with $μ\ge 1/4$.

preprint2015arXiv

On the reachable states for the boundary control of the heat equation

We are interested in the determination of the reachable states for the boundary control of the one-dimensional heat equation. We consider either one or two boundary controls. We show that reachable states associated with square integrable controls can be extended to analytic functions onsome square of C, and conversely, that analytic functions defined on a certain disk can be reached by using boundary controlsthat are Gevrey functions of order 2. The method of proof combines the flatness approach with some new Borel interpolation theorem in some Gevrey class witha specified value of the loss in the uniform estimates of the successive derivatives of the interpolating function.

preprint2015arXiv

Parameter estimation from measurements along quantum trajectories

The dynamics of many open quantum systems are described by stochastic master equations. In the discrete-time case, we recall the structure of the derived quantum filter governing the evolution of the density operator conditioned to the measurement outcomes. We then describe the structure of the corresponding particle quantum filters for estimating constant parameter and we prove their stability. In the continuous-time (diffusive) case, we propose a new formulation of these particle quantum filters. The interest of this new formulation is first to prove stability, and also to provide an efficient algorithm preserving, for any discretization step-size, positivity of the quantum states and parameter classical probabilities. This algorithm is tested on experimental data to estimate the detection efficiency for a superconducting qubit whose fluorescence field is measured using a heterodyne detector.

preprint2015arXiv

Quantum state tomography with non-instantaneous measurements, imperfections and decoherence

Tomography of a quantum state is usually based on positive operator-valued measure (POVM) and on their experimental statistics. Among the available reconstructions, the maximum-likelihood (MaxLike) technique is an efficient one. We propose an extension of this technique when the measurement process cannot be simply described by an instantaneous POVM. Instead, the tomography relies on a set of quantum trajectories and their measurement records. This model includes the fact that, in practice, each measurement could be corrupted by imperfections and decoherence, and could also be associated with the record of continuous-time signals over a finite amount of time. The goal is then to retrieve the quantum state that was present at the start of this measurement process. The proposed extension relies on an explicit expression of the likelihood function via the effective matrices appearing in quantum smoothing and solutions of the adjoint quantum filter. It allows to retrieve the initial quantum state as in standard MaxLike tomography, but where the traditional POVM operators are replaced by more general ones that depend on the measurement record of each trajectory. It also provides, aside the MaxLike estimate of the quantum state, confidence intervals for any observable. Such confidence intervals are derived, as the MaxLike estimate, from an asymptotic expansion of multi-dimensional Laplace integrals appearing in Bayesian Mean estimation. A validation is performed on two sets of experimental data: photon(s) trapped in a microwave cavity subject to quantum non-demolition measurements relying on Rydberg atoms; heterodyne fluorescence measurements of a superconducting qubit.

preprint2015arXiv

Stabilization of photon-number states via single-photon corrections: a first convergence analysis under an ideal set-up

This paper presents a first mathematical convergence analysis of a Fock states feedback stabilization scheme via single-photon corrections. This measurement-based feedback has been developed and experimentally tested in 2012 by the cavity quantum electrodynamics group of Serge Haroche and Jean-Michel Raimond. Here, we consider the infinite-dimensional Markov model corresponding to the ideal set-up where detection errors and feedback delays have been disregarded. In this ideal context, we show that any goal Fock state can be stabilized by a Lyapunov-based feedback for any initial quantum state belonging to the dense subset of finite rank density operators with support in a finite photon-number sub-space. Closed-loop simulations illustrate the performance of the feedback law.

preprint2014arXiv

A Flat Triangular Form for Nonlinear Systems with Two Inputs: Necessary and Sufficient Conditions

The present work establishes necessary and sufficient conditions for a nonlinear system with two inputs to be described by a specific triangular form. Except for some regularity conditions, such triangular form is flat. This may lead to the discovery of new flat systems. The proof relies on well-known results for driftless systems with two controls (the chained form) and on geometric tools from exterior differential systems. The paper also illustrates the application of its results on an academic example and on a reduced order model of an induction motor.

preprint2014arXiv

Controllability of the 1D Schrodinger equation by the flatness approach

We derive in a straightforward way the exact controllability of the 1-D Schrodinger equation with a Dirichlet boundary control. We use the so-called flatness approach, which consists in parameterizing the solution and the control by the derivatives of a "flat output". This provides an explicit control input achieving the exact controllability in the energy space. As an application, we derive an explicit pair of control inputs achieving the exact steering to zero for a simply-supported beam.

preprint2014arXiv

Energy-based modeling of electric motors

We propose a new approach to model electrical machines based on energy considerations and construction symmetries of the motor. We detail the approach on the Permanent-Magnet Synchronous Motor and show that it can be extended to Synchronous Reluctance Motor and Induction Motor. Thanks to this approach we recover the usual models without any tedious computation. We also consider effects due to non-sinusoidal windings or saturation and provide experimental data.

preprint2013arXiv

Contraction and stability analysis of steady-states for open quantum systems described by Lindblad differential equations

For discrete-time systems, governed by Kraus maps, the work of D. Petz has characterized the set of universal contraction metrics. In the present paper, we use this characterization to derive a set of quadratic Lyapunov functions for continuous-time systems, governed by Lindblad differential equations, that have a steady-state with full rank. An extremity of this set is given by the Bures metric, for which the quadratic Lyapunov function is obtained by inverting a Sylvester equation. We illustrate the method by providing a strict Lyapunov function for a Lindblad equation designed to stabilize a quantum electrodynamic "cat" state by reservoir engineering. In fact we prove that any Lindblad equation on the Hilbert space of the (truncated) harmonic oscillator, which has a full-rank equilibrium and which has, among its decoherence channels, a channel corresponding to the photon loss operator, globally converges to that equilibrium.

preprint2013arXiv

Feedback stabilization of discrete-time quantum systems subject to non-demolition measurements with imperfections and delays

We consider a controlled quantum system whose finite dimensional state is governed by a discrete-time nonlinear Markov process. In open-loop, the measurements are assumed to be quantum non-demolition (QND). The eigenstates of the measured observable are thus the open-loop stationary states: they are used to construct a closed-loop supermartingale playing the role of a strict control Lyapunov function. The parameters of this supermartingale are calculated by inverting a Metzler matrix that characterizes the impact of the control input on the Kraus operators defining the Markov process. The resulting state feedback scheme, taking into account a known constant delay, provides the almost sure convergence of the controlled system to the target state. This convergence is ensured even in the case where the filter equation results from imperfect measurements corrupted by random errors with conditional probabilities given as a left stochastic matrix. Closed-loop simulations corroborated by experimental data illustrate the interest of such nonlinear feedback scheme for the photon box, a cavity quantum electrodynamics system.

preprint2013arXiv

Inertial-sensor bias estimation from brightness/depth images and based on SO(3)-invariant integro/partial-differential equations on the unit sphere

Constant biases associated to measured linear and angular velocities of a moving object can be estimated from measurements of a static scene by embedded brightness and depth sensors. We propose here a Lyapunov-based observer taking advantage of the SO(3)-invariance of the partial differential equations satisfied by the measured brightness and depth fields. The resulting asymptotic observer is governed by a non-linear integro/partial differential system where the two independent scalar variables indexing the pixels live on the unit sphere of the 3D Euclidian space. The observer design and analysis are strongly simplified by coordinate-free differential calculus on the unit sphere equipped with its natural Riemannian structure. The observer convergence is investigated under C^1 regularity assumptions on the object motion and its scene. It relies on Ascoli-Arzela theorem and pre-compactness of the observer trajectories. It is proved that the estimated biases converge towards the true ones, if and only if, the scene admits no cylindrical symmetry. The observer design can be adapted to realistic sensors where brightness and depth data are only available on a subset of the unit sphere. Preliminary simulations with synthetic brightness and depth images (corrupted by noise around 10%) indicate that such Lyapunov-based observers should be robust and convergent for much weaker regularity assumptions.

preprint2013arXiv

Null controllability of the 1D heat equation using flatness

We derive in a straightforward way the null controllability of a 1-D heat equation with boundary control. We use the so-called {\em flatness approach}, which consists in parameterizing the solution and the control by the derivatives of a "flat output". This provides an explicit control law achieving the exact steering to zero. We also give accurate error estimates when the various series involved are replaced by their partial sums, which is paramount for an actual numerical scheme. Numerical experiments demonstrate the relevance of the approach.

preprint2013arXiv

Null Controllability of the 2D Heat Equation Using Flatness

We derive in a direct and rather straightforward way the null controllability of a 2-D heat equation with boundary control. We use the so-called flatness approach, which consists in parameterizing the solution and the control by the derivatives of a "flat output". This provides an explicit control law achieving the exact steering to zero. Numerical experiments demonstrate the relevance of the approach.

preprint2013arXiv

Null controllability of the heat equation using flatness

We derive in a direct and rather straightforward way the null controllability of the N-dimensional heat equation in a bounded cylinder with boundary control at one end of the cylinder. We use the so-called flatness approach, which consists in parameterizing the solution and the control by the derivatives of a "flat output". This yields an explicit control law achieving the exact steering to zero. Replacing the involved series by partial sums we obtain a simple numerical scheme for which we give explicit error bounds. Numerical experiments demonstrate the relevance of the approach.

preprint2013arXiv

Quantum Gate Generation by T-Sampling Stabilization

This paper considers right-invariant and controllable driftless quantum systems with state X(t) evolving on the unitary group U(n) and m inputs. The T-sampling stabilization problem is introduced and solved: given any initial condition X(0) any goal state Xg find a feedback law such that X(jT) converges to Xg as the integer j tends to infinity. The purpose is to generate arbitrary quantum gates corresponding to Xg. This is achieved by the tracking of T-periodic reference trajectories that pass by Xg using the framework of Coron's Return Method. The T-periodic reference trajectories are generated by applying open-loop controls that are a sum of a finite number M of odd T-periodic function whose amplitudes are parameterized by a vector. The main result establishes that, for M big enough, X(jT) exponentially converges towards Xg for almost all fixed amplitude vectors, with explicit and completely constructive control laws. This paper also establishes a stochastic version of this deterministic control law. The key idea is to randomly choose a different amplitude vector at each sampling time jT, and keeping it fixed until the next sampling time (j+1)T. It is also shown that X(jT) exponentially converges towards Xg almost surely. Simulation results have indicated that the convergence speed may be significantly improved with such stochastic technique. This is illustrated in the generation of the C--NOT quantum logic gate on U(4).

preprint2013arXiv

Stability of continuous-time quantum filters with measurement imperfections

The fidelity between the state of a continuously observed quantum system and the state of its associated quantum filter, is shown to be always a submartingale. The observed system is assumed to be governed by a continuous-time Stochastic Master Equation (SME), driven simultaneously by Wiener and Poisson processes and that takes into account incompleteness and errors in measurements. This stability result is the continuous-time counterpart of a similar stability result already established for discrete-time quantum systems and where the measurement imperfections are modeled by a left stochastic matrix.

preprint2013arXiv

Trajectory control of a bipedal walking robot with inertial disc

In this paper we exploit some interesting properties of a class of bipedal robots which have an inertial disc. One of this properties is the ability to control every position and speed except for the disc position. The proposed control is designed in two hierarchic levels. The first will drive the robot geometry, while the second will control the speed and also the angular momentum. The exponential stability of this approach is proved around some neighborhood of the nominal trajectory defining the geometry of the step. This control will not spend energy to adjust the disc position and neither to synchronize the trajectory with the time. The proposed control only takes action to correct the essential aspects of the walking gait. Computational simulations are presented for different conditions, serving as a empirical test for the neighborhood of attraction.

preprint2012arXiv

Low rank approximation for the numerical simulation of high dimensional Lindblad and Riccati equations

A systematic numerical approach to approximate high dimensional Lindblad equations is described. It is based on a deterministic rank m approximation of the density operator, the rank m being the only parameter to adjust. From a known initial value, this rank m approximation gives at each time-step an estimate of the largest m eigen-values with their eigen-vectors of the density operator. A numerical scheme is proposed. Its numerical efficiency in the case of a rank 12 approximation is demonstrated for oscillation revivals of 50 atoms interacting resonantly with a slightly damped coherent quantized field of 200 photons. The approach may be employed for other similar equations. We in particularly show how to adapt such low-rank approximation for Riccati differential equations appearing in Kalman filtering.

preprint2012arXiv

Robust open-loop stabilization of Fock states by time-varying quantum interactions

A quantum harmonic oscillator (spring subsystem) is stabilized towards a target Fock state by reservoir engineering. This passive and open-loop stabilization works by consecutive and identical Hamiltonian interactions with auxiliary systems, here three-level atoms (the auxiliary ladder subsystem), followed by a partial trace over these auxiliary atoms. A scalar control input governs the interaction, defining which atomic transition in the ladder subsystem is in resonance with the spring subsystem. We use it to build a time-varying interaction with individual atoms, that combines three non-commuting steps. We show that the resulting reservoir robustly stabilizes any initial spring state distributed between 0 and 4n+3 quanta of vibrations towards a pure target Fock state of vibration number n. The convergence proof relies on the construction of a strict Lyapunov function for the Kraus map induced by this reservoir setting on the spring subsystem. Simulations with realistic parameters corresponding to the quantum electrodynamics setup at Ecole Normale Superieure further illustrate the robustness of the method.

preprint2012arXiv

Sensorless position estimation of Permanent-Magnet Synchronous Motors using a saturation model

Sensorless control of Permanent-Magnet Synchronous Motors (PMSM) at low velocity remains a challenging task. A now well-established method consists in injecting a high-frequency signal and use the rotor saliency, both geometric and magnetic-saturation induced. This paper proposes a clear and original analysis based on second-order averaging of how to recover the position information from signal injection; this analysis blends well with a general model of magnetic saturation. It also proposes a simple parametric model of the saturated PMSM, based on an energy function which simply encompasses saturation and cross-saturation effects. Experimental results on a surface-mounted PMSM and an interior magnet PMSM illustrate the relevance of the approach.

preprint2012arXiv

Signal injection and averaging for position estimation of Permanent-Magnet Synchronous Motors

Sensorless control of Permanent-Magnet Synchronous Motors at low velocity remains a challenging task. A now well-established method consists in injecting a high-frequency signal and use the rotor saliency, both geometric and magnetic-saturation induced. This paper proposes a clear and original analysis based on second-order averaging of how to recover the position information from signal injection; this analysis blends well with a general model of magnetic saturation. It also experimentally demonstrates the relevance for position estimation of a simple parametric saturation model recently introduced by the authors.

preprint2012arXiv

Stabilization of an arbitrary profile for an ensemble of half-spin systems

We consider the feedback stabilization of a variable profile for an ensemble of non interacting half spins described by the Bloch equations. We propose an explicit feedback law that stabilizes asymptotically the system around a given arbitrary target profile. The convergence proof is done when the target profile is entirely in the south hemisphere or in the north hemisphere of the Bloch sphere. The convergence holds for initial conditions in a H^1 neighborhood of this target profile. This convergence is shown for the weak H^1 topology. The proof relies on an adaptation of the LaSalle invariance principle to infinite dimensional systems. Numerical simulations illustrate the efficiency of these feedback laws, even for initial conditions far from the target profile.

preprint2011arXiv

Approximate stabilization of an infinite dimensional quantum stochastic system

We propose a feedback scheme for preparation of photon number states in a microwave cavity. Quantum Non-Demolition (QND) measurements of the cavity field and a control signal consisting of a microwave pulse injected into the cavity are used to drive the system towards a desired target photon number state. Unlike previous work, we do not use the Galerkin approximation of truncating the infinite-dimensional system Hilbert space into a finite-dimensional subspace. We use an (unbounded) strict Lyapunov function and prove that a feedback scheme that minimizes the expectation value of the Lyapunov function at each time step stabilizes the system at the desired photon number state with (a pre-specified) arbitrarily high probability. Simulations of this scheme demonstrate that we improve the performance of the controller by reducing "leakage" to high photon numbers.

preprint2011arXiv

Design and Stability of Discrete-Time Quantum Filters with Measurement Imperfections

This work considers the theory underlying a discrete-time quantum filter recently used in a quantum feedback experiment. It proves that this filter taking into account decoherence and measurement errors is optimal and stable. We present the general framework underlying this filter and show that it corresponds to a recursive expression of the least-square optimal estimation of the density operator in the presence of measurement imperfections. By measurement imperfections, we mean in a very general sense unread measurement performed by the environment (decoherence) and active measurement performed by non-ideal detectors. However, we assume to know precisely all the Kraus operators and also the detection error rates. Such recursive expressions combine well known methods from quantum filtering theory and classical probability theory (Bayes' law). We then demonstrate that such a recursive filter is always stable with respect to its initial condition: the fidelity between the optimal filter state (when the initial filter state coincides with the real quantum state) and the filter state (when the initial filter state is arbitrary) is a sub-martingale.

preprint2011arXiv

Design of Strict Control-Lyapunov Functions for Quantum Systems with QND Measurements

We consider discrete-time quantum systems subject to Quantum Non-Demolition (QND) measurements and controlled by an adjustable unitary evolution between two successive QND measures. In open-loop, such QND measurements provide a non-deterministic preparation tool exploiting the back-action of the measurement on the quantum state. We propose here a systematic method based on elementary graph theory and inversion of Laplacian matrices to construct strict control-Lyapunov functions. This yields an appropriate feedback law that stabilizes globally the system towards a chosen target state among the open-loop stable ones, and that makes in closed-loop this preparation deterministic. We illustrate such feedback laws through simulations corresponding to an experimental setup with QND photon counting.

preprint2011arXiv

Estimation of Saturation of Permanent-Magnet Synchronous Motors Through an Energy-Based Model

We propose a parametric model of the saturated Permanent-Magnet Synchronous Motor (PMSM) together with an estimation method of the magnetic parameters. The model is based on an energy function which simply encompasses the saturation effects. Injection of fast-varying pulsating voltages and measurements of the resulting current ripples then permit to identify the magnetic parameters by linear least squares. Experimental results on a surface-mounted PMSM and an interoir magnet PMSM illustrate the relevance of the approach.

preprint2011arXiv

Fidelity is a sub-martingale for discrete-time quantum filters

Fidelity is known to increase through any Kraus map: the fidelity between two density matrices is less than the fidelity between their images via a Kraus map. We prove here that, in average, fidelity is also increasing for any discrete-time quantum filter: fidelity between the density matrix of the underlying Markov chain and the density matrix of its associated quantum filter is a sub-martingale. This result is not restricted to pure states. It also holds true for mixed states.

preprint2011arXiv

Hamiltonian identification through enhanced observability utilizing quantum control

This paper considers Hamiltonian identification for a controllable quantum system with non-degenerate transitions and a known initial state. We assume to have at our disposal a single scalar control input and the population measure of only one state at an (arbitrarily large) final time T. We prove that the quantum dipole moment matrix is locally observable in the following sense: for any two close but distinct dipole moment matrices, we construct discriminating controls giving two different measurements. Such discriminating controls are constructed to have three well defined temporal components, as inspired by Ramsey interferometry. This result suggests that what may appear at first to be very restrictive measurements are actually rich for identification, when combined with well designed discriminating controls, to uniquely identify the complete dipole moment of such systems. The assessment supports the employment of quantum control as a promising means to achieve high quality identification of a Hamiltonian.

preprint2011arXiv

Non-classical field state stabilization in a cavity by reservoir engineering

We propose an engineered reservoir inducing the relaxation of a cavity field towards non-classical states. It is made up of two-level atoms crossing the cavity one at a time. Each atom-cavity interaction is first dispersive, then resonant, then dispersive again. The reservoir pointer states are those produced by an effective Kerr Hamiltonian acting on a coherent field. We thereby stabilize squeezed states and quantum superpositions of multiple coherent components in a cavity having a finite damping time. This robust method could be implemented in state-of-the-art experiments and lead to interesting insights into mesoscopic quantum state superpositions and into their protection against decoherence.

preprint2011arXiv

Null controllability of the structurally damped wave equation with moving point control

We investigate the internal controllability of the wave equation with structural damping on the one dimensional torus. We assume that the control is acting on a moving point or on a moving small interval with a constant velocity. We prove that the null controllability holds in some suitable Sobolev space and after a fixed positive time independent of the initial conditions.

preprint2011arXiv

Observer-based quantum state estimation by continuous weak measurement

We propose to apply the Back and Forth Nudging (BFN) method used for geophysical data assimilations to estimate the initial state of a quantum system. We consider a cloud of atoms interacting with a magnetic field while a single observable is being continuously measured over time using homodyne detection. The BFN method relies on designing an observer forward and backwards in time. The state of the BFN observer is continuously updated by the measured data and tends to converge to the systems state. The proposed estimator seems to be globally asymptotically convergent when the system is observable. A detailed convergence proof and simulations are given in the 2-level case. A discussion on the extension of the algorithm to the multilevel case is also presented.

preprint2011arXiv

On stability of continuous-time quantum-filters

We prove that the fidelity between the quantum state governed by a continuous time stochastic master equation driven by a Wiener process and its associated quantum-filter state is a sub-martingale. This result is a generalization to non-pure quantum states where fidelity does not coincide in general with a simple Frobenius inner product. This result implies the stability of such filtering process but does not necessarily ensure the asymptotic convergence of such quantum-filters.

preprint2011arXiv

Real-time quantum feedback prepares and stabilizes photon number states

Feedback loops are at the heart of most classical control procedures. A controller compares the signal measured by a sensor with the target value. It adjusts then an actuator in order to stabilize the signal towards its target. Generalizing this scheme to stabilize a micro-system's quantum state relies on quantum feedback, which must overcome a fundamental difficulty: the measurements by the sensor have a random back-action on the system. An optimal compromise employs weak measurements providing partial information with minimal perturbation. The controller should include the effect of this perturbation in the computation of the actuator's unitary operation bringing the incrementally perturbed state closer to the target. While some aspects of this scenario have been experimentally demonstrated for the control of quantum or classical micro-system variables, continuous feedback loop operations permanently stabilizing quantum systems around a target state have not yet been realized. We have implemented such a real-time stabilizing quantum feedback scheme. It prepares on demand photon number states (Fock states) of a microwave field in a superconducting cavity and subsequently reverses the effects of decoherence-induced field quantum jumps. The sensor is a beam of atoms crossing the cavity which repeatedly performs weak quantum non-demolition measurements of the photon number. The controller is implemented in a real-time computer commanding the injection, between measurements, of adjusted small classical fields in the cavity. The microwave field is a quantum oscillator usable as a quantum memory or as a quantum bus swapping information between atoms. By demonstrating that active control can generate non-classical states of this oscillator and combat their decoherence, this experiment is a significant step towards the implementation of complex quantum information operations.

preprint2011arXiv

Semi-Global Approximate stabilization of an infinite dimensional quantum stochastic system

In this paper we study the semi-global (approximate) state feedback stabilization of an infinite dimensional quantum stochastic system towards a target state. A discrete-time Markov chain on an infinite-dimensional Hilbert space is used to model the dynamics of a quantum optical cavity. We can choose an (unbounded) strict Lyapunov function that is minimized at each time-step in order to prove (weak-$\ast$) convergence of probability measures to a final state that is concentrated on the target state with (a pre-specified) probability that may be made arbitrarily close to 1. The feedback parameters and the Lyapunov function are chosen so that the stochastic flow that describes the Markov process may be shown to be tight (concentrated on a compact set with probability arbitrarily close to 1). We then use Prohorov's theorem and properties of the Lyapunov function to prove the desired convergence result.

preprint2011arXiv

SO(3)-invariant asymptotic observers for dense depth field estimation based on visual data and known camera motion

In this paper, we use known camera motion associated to a video sequence of a static scene in order to estimate and incrementally refine the surrounding depth field. We exploit the SO(3)-invariance of brightness and depth fields dynamics to customize standard image processing techniques. Inspired by the Horn-Schunck method, we propose a SO(3)-invariant cost to estimate the depth field. At each time step, this provides a diffusion equation on the unit Riemannian sphere that is numerically solved to obtain a real time depth field estimation of the entire field of view. Two asymptotic observers are derived from the governing equations of dynamics, respectively based on optical flow and depth estimations: implemented on noisy sequences of synthetic images as well as on real data, they perform a more robust and accurate depth estimation. This approach is complementary to most methods employing state observers for range estimation, which uniquely concern single or isolated feature points.

preprint2010arXiv

A Separation Principle on Lie Groups

For linear time-invariant systems, a separation principle holds: stable observer and stable state feedback can be designed for the time-invariant system, and the combined observer and feedback will be stable. For non-linear systems, a local separation principle holds around steady-states, as the linearized system is time-invariant. This paper addresses the issue of a non-linear separation principle on Lie groups. For invariant systems on Lie groups, we prove there exists a large set of (time-varying) trajectories around which the linearized observer-controler system is time-invariant, as soon as a symmetry-preserving observer is used. Thus a separation principle holds around those trajectories. The theory is illustrated by a mobile robot example, and the developed ideas are then extended to a class of Lagrangian mechanical systems on Lie groups described by Euler-Poincare equations.

preprint2010arXiv

Adiabatic passage and ensemble control of quantum systems

This paper considers population transfer between eigenstates of a finite quantum ladder controlled by a classical electric field. Using an appropriate change of variables, we show that this setting can be set in the framework of adiabatic passage, which is known to facilitate ensemble control of quantum systems. Building on this insight, we present a mathematical proof of robustness for a control protocol -- chirped pulse -- practiced by experimentalists to drive an ensemble of quantum systems from the ground state to the most excited state. We then propose new adiabatic control protocols using a single chirped and amplitude shaped pulse, to robustly perform any permutation of eigenstate populations, on an ensemble of systems with badly known coupling strengths. Such adiabatic control protocols are illustrated by simulations achieving all 24 permutations for a 4-level ladder.

preprint2010arXiv

Consensus in non-commutative spaces

Convergence analysis of consensus algorithms is revisited in the light of the Hilbert distance. Tsitsiklis Lyapunov function is shown to be the Hilbert distance to consensus in log coordinates. Birkhoff theorem, which proves contraction of the Hilbert metric for any positive homogeneous monotone map, provides an early yet general convergence result for consensus algorithms. Because Birkhoff theorem holds in arbitrary cones, we extend consensus algorithms to the cone of positive definite matrices. The proposed generalization finds applications in the convergence analysis of quantum stochastic maps, which are a generalization of stochastic maps to non-commutative probability spaces.

preprint2010arXiv

Stabilization for an ensemble of half-spin systems

Feedback stabilization of an ensemble of non interacting half spins described by Bloch equations is considered. This system may be seen as a prototype for infinite dimensional systems with continuous spectrum. We propose an explicit feedback law that stabilizes asymptotically the system around a uniform state of spin +1/2 or -1/2. The proof of the convergence is done locally around the equilibrium in the H^1 topology. This local convergence is shown to be a weak asymptotic convergence for the H^1 topology and thus a strong convergence for the C^0 topology. The proof relies on an adaptation of the LaSalle invariance principle to infinite dimensional systems. Numerical simulations illustrate the efficiency of these feedback laws, even for initial conditions far from the equilibrium

preprint2010arXiv

Stabilization of a delayed quantum system: the photon box case-study

We study a feedback scheme to stabilize an arbitrary photon number state in a microwave cavity. The quantum non-demolition measurement of the cavity state allows a non-deterministic preparation of Fock states. Here, by the mean of a controlled field injection, we desire to make this preparation process deterministic. The system evolves through a discrete-time Markov process and we design the feedback law applying Lyapunov techniques. Also, in our feedback design we take into account an unavoidable pure delay and we compensate it by a stochastic version of a Smith predictor. After illustrating the efficiency of the proposed feedback law through simulations, we provide a rigorous proof of the global stability of the closed-loop system based on tools from stochastic stability analysis. A brief study of the Lyapunov exponents of the linearized system around the target state gives a strong indication of the robustness of the method.

preprint2009arXiv

Controllability issues for continuous-spectrum systems and ensemble controllability of Bloch Equations

We study the controllability of the Bloch equation, for an ensemble of non interacting half-spins, in a static magnetic field, with dispersion in the Larmor frequency. This system may be seen as a prototype for infinite dimensional bilinear systems with continuous spectrum, whose controllability is not well understood. We provide several mathematical answers, with discrimination between approximate and exact controllability, and between finite time or infinite time controllability: this system is not exactly controllable in finite time $T$ with bounded controls in $L^2(0,T)$, but it is approximately controllable in $L^\infty$ in finite time with unbounded controls in $L^{\infty}_{loc}([0,+\infty))$. Moreover, we propose explicit controls realizing the asymptotic exact controllability to a uniform state of spin +1/2 or -1/2.

preprint2009arXiv

Euler-Lagrange models with complex currents of three-phase electrical machines and observability issues

A new Lagrangian formulation with complex currents is developed and yields a direct and simple method for modeling three-phase permanent-magnet and induction machines. The Lagrangian is the sum a mechanical one and of a magnetic one. This magnetic Lagrangian is expressed in terms of rotor angle, complex stator and rotor currents. A complexification procedure widely used in quantum electrodynamic is applied here in order to derive the Euler-Lagrange equations with complex stator and rotor currents. Such complexification process avoids the usual separation into real and imaginary parts and simplifies notably the calculations. Via simple modifications of such magnetic Lagrangians we derive new dynamical models describing permanent-magnet machines with both saturation and saliency, and induction machines with both magnetic saturation and space harmonics. For each model we also provide its Hamiltonian thus its magnetic energy. This energy is also expressed with complex currents and can be directly used in Lyapunov and/or passivity based control. Further, we briefly investigate the observability of this class of Euler-Lagrange models, in the so-called sensorless case when the measured output is the stator current and the load torque is constant but unknown. For all the dynamical models obtained via such variational principles, we prove that their linear tangent systems are unobservable around a one-dimensional family of steady-states attached to the same constant stator voltage and current. This negative result explains why sensorless control of three-phase electrical machines around zero stator frequency remains yet a difficult control problem.

preprint2009arXiv

Feedback generation of quantum Fock states by discrete QND measures

A feedback scheme for preparation of photon number states in a microwave cavity is proposed. Quantum Non Demolition (QND) measurement of the cavity field provides information on its actual state. The control consists in injecting into the cavity mode a microwave pulse adjusted to maximize the population of the desired target photon number. In the ideal case (perfect cavity and measures), we present the feedback scheme and its detailed convergence proof through stochastic Lyapunov techniques based on super-martingales and other probabilistic arguments. Quantum Monte-Carlo simulations performed with experimental parameters illustrate convergence and robustness of such feedback scheme.

preprint2009arXiv

Parameter estimation of a 3-level quantum system with a single population measurement

An observer-based Hamiltonian identification algorithm for quantum systems has been proposed recently by Bonnabel et al. The later paper provided a method to estimate the dipole moment matrix of a quantum system requiring the measurement of the populations on all states, which could be experimentally difficult to achieve. We propose here an extension to a 3-level quantum system, having access to the population of the ground state only. By more adapted choice of the control field, we will show that a continuous measurement of this observable, alone, is enough to identify the field coupling parameters (dipole moment).