Showing 1–50 of 62 results for author: Sarlette, A

Explicit formulas for adiabatic elimination with fast unitary dynamics

Authors: Angela Riva, Alain Sarlette, Pierre Rouchon

Abstract: The so-called ``adiabatic elimination'' of fast decaying degrees of freedom in open quantum systems can be performed with a series expansion in the timescale separation. The associated computations are significantly more difficult when the remaining degrees of freedom (center manifold) follow fast unitary dynamics instead of just being slow. This paper highlights how a formulation with Sylvester's… ▽ More The so-called ``adiabatic elimination'' of fast decaying degrees of freedom in open quantum systems can be performed with a series expansion in the timescale separation. The associated computations are significantly more difficult when the remaining degrees of freedom (center manifold) follow fast unitary dynamics instead of just being slow. This paper highlights how a formulation with Sylvester's equation and with adjoint dynamics leads to systematic, explicit expressions at high orders for settings of physical interest. △ Less

Submitted 2 April, 2024; originally announced April 2024.

High-sensitivity AC-charge detection with a MHz-frequency fluxonium qubit

Authors: B. -L. Najera-Santos, R. Rousseau, K. Gerashchenko, H. Patange, A. Riva, M. Villiers, T. Briant, P. -F. Cohadon, A. Heidmann, J. Palomo, M. Rosticher, H. le Sueur, A. Sarlette, W. C. Smith, Z. Leghtas, E. Flurin, T. Jacqmin, S. Deléglise

Abstract: Owing to their strong dipole moment and long coherence times, superconducting qubits have demonstrated remarkable success in hybrid quantum circuits. However, most qubit architectures are limited to the GHz frequency range, severely constraining the class of systems they can interact with. The fluxonium qubit, on the other hand, can be biased to very low frequency while being manipulated and read… ▽ More Owing to their strong dipole moment and long coherence times, superconducting qubits have demonstrated remarkable success in hybrid quantum circuits. However, most qubit architectures are limited to the GHz frequency range, severely constraining the class of systems they can interact with. The fluxonium qubit, on the other hand, can be biased to very low frequency while being manipulated and read out with standard microwave techniques. Here, we design and operate a heavy fluxonium with an unprecedentedly low transition frequency of $1.8~\mathrm{MHz}$. We demonstrate resolved sideband cooling of the ``hot'' qubit transition with a final ground state population of $97.7~\%$, corresponding to an effective temperature of $23~μ\mathrm{K}$. We further demonstrate coherent manipulation with coherence times $T_1=34~μ\mathrm{s}$, $T_2^*=39~μ\mathrm{s}$, and single-shot readout of the qubit state. Importantly, by directly addressing the qubit transition with a capacitively coupled waveguide, we showcase its high sensitivity to a radio-frequency field. Through cyclic qubit preparation and interrogation, we transform this low-frequency fluxonium qubit into a frequency-resolved charge sensor. This method results in a charge sensitivity of $33~μ\mathrm{e}/\sqrt{\mathrm{Hz}}$, or an energy sensitivity (in joules per hertz) of $2.8~\hbar$. This method rivals state-of-the-art transport-based devices, while maintaining inherent insensitivity to DC charge noise. The high charge sensitivity combined with large capacitive shunt unlocks new avenues for exploring quantum phenomena in the $1-10~\mathrm{MHz}$ range, such as the strong-coupling regime with a resonant macroscopic mechanical resonator. △ Less

Submitted 26 July, 2023; originally announced July 2023.

Robust sparse IQP sampling in constant depth

Authors: Louis Paletta, Anthony Leverrier, Alain Sarlette, Mazyar Mirrahimi, Christophe Vuillot

Abstract: Between NISQ (noisy intermediate scale quantum) approaches without any proof of robust quantum advantage and fully fault-tolerant quantum computation, we propose a scheme to achieve a provable superpolynomial quantum advantage (under some widely accepted complexity conjectures) that is robust to noise with minimal error correction requirements. We choose a class of sampling problems with commuting… ▽ More Between NISQ (noisy intermediate scale quantum) approaches without any proof of robust quantum advantage and fully fault-tolerant quantum computation, we propose a scheme to achieve a provable superpolynomial quantum advantage (under some widely accepted complexity conjectures) that is robust to noise with minimal error correction requirements. We choose a class of sampling problems with commuting gates known as sparse IQP (Instantaneous Quantum Polynomial-time) circuits and we ensure its fault-tolerant implementation by introducing the tetrahelix code. This new code is obtained by merging several tetrahedral codes (3D color codes) and has the following properties: each sparse IQP gate admits a transversal implementation, and the depth of the logical circuit can be traded for its width. Combining those, we obtain a depth-1 implementation of any sparse IQP circuit up to the preparation of encoded states. This comes at the cost of a space overhead which is only polylogarithmic in the width of the original circuit. We furthermore show that the state preparation can also be performed in constant depth with a single step of feed-forward from classical computation. Our construction thus exhibits a robust superpolynomial quantum advantage for a sampling problem implemented on a constant depth circuit with a single round of measurement and feed-forward. △ Less

Submitted 1 May, 2024; v1 submitted 20 July, 2023; originally announced July 2023.

Journal ref: Quantum 8, 1337 (2024)

Quantum control of a cat-qubit with bit-flip times exceeding ten seconds

Authors: Ulysse Réglade, Adrien Bocquet, Ronan Gautier, Joachim Cohen, Antoine Marquet, Emanuele Albertinale, Natalia Pankratova, Mattis Hallén, Felix Rautschke, Lev-Arcady Sellem, Pierre Rouchon, Alain Sarlette, Mazyar Mirrahimi, Philippe Campagne-Ibarcq, Raphaël Lescanne, Sébastien Jezouin, Zaki Leghtas

Abstract: Quantum bits (qubits) are prone to several types of errors due to uncontrolled interactions with their environment. Common strategies to correct these errors are based on architectures of qubits involving daunting hardware overheads. A hopeful path forward is to build qubits that are inherently protected against certain types of errors, so that the overhead required to correct remaining ones is si… ▽ More Quantum bits (qubits) are prone to several types of errors due to uncontrolled interactions with their environment. Common strategies to correct these errors are based on architectures of qubits involving daunting hardware overheads. A hopeful path forward is to build qubits that are inherently protected against certain types of errors, so that the overhead required to correct remaining ones is significantly reduced. However, the foreseen benefit rests on a severe condition: quantum manipulations of the qubit must not break the protection that has been so carefully engineered. A recent qubit - the cat-qubit - is encoded in the manifold of metastable states of a quantum dynamical system, thereby acquiring continuous and autonomous protection against bit-flips. Here, in a superconducting circuit experiment, we implement a cat-qubit with bit-flip times exceeding 10 seconds. This is a four order of magnitude improvement over previous cat-qubit implementations. We prepare and image quantum superposition states, and measure phase-flip times above 490 nanoseconds. Most importantly, we control the phase of these quantum superpositions without breaking bit-flip protection. This experiment demonstrates the compatibility of quantum control and inherent bit-flip protection at an unprecedented level, showing the viability of these dynamical qubits for future quantum technologies. △ Less

Submitted 31 May, 2024; v1 submitted 13 July, 2023; originally announced July 2023.

Journal ref: Nature 629, 778-783 (2024)

Stabilization of approximate GHZ state with quasi-local couplings

Authors: Vincent Martin, Alain Sarlette

Abstract: We propose a reservoir design, composed of fixed dissipation operators acting each on few local subsystems, to stabilize an approximate GHZ state on n qubits. The main idea is to work out how a previously proposed sequence of two stabilization steps can be applied instead in appropriate (probabilistic) superposition. We examine alternatives to synchronize the superposition using local couplings on… ▽ More We propose a reservoir design, composed of fixed dissipation operators acting each on few local subsystems, to stabilize an approximate GHZ state on n qubits. The main idea is to work out how a previously proposed sequence of two stabilization steps can be applied instead in appropriate (probabilistic) superposition. We examine alternatives to synchronize the superposition using local couplings only, thanks to a chain of "clock" ancillas or to additional levels on the data subsystems. The practical value of these alternatives depends on experimental constraints. They all feature a design tradeoff between approximate stabilization fidelity and protection against perturbations. These proposals illustrate how simple autonomous automata can be implemented in quantum reservoir engineering to replace sequential state preparation procedures. Encoding automaton actions via additional data levels only, appears particularly efficient in this context. Our analysis method, reducing the Lindblad master equation to a Markov chain on virtual output signals, may be of independent interest. △ Less

Submitted 8 June, 2023; originally announced June 2023.

A GKP qubit protected by dissipation in a high-impedance superconducting circuit driven by a microwave frequency comb

Authors: Lev-Arcady Sellem, Alain Sarlette, Zaki Leghtas, Mazyar Mirrahimi, Pierre Rouchon, Philippe Campagne-Ibarcq

Abstract: We propose a novel approach to generate, protect and control GKP qubits. It employs a microwave frequency comb parametrically modulating a Josephson circuit to enforce a dissipative dynamics of a high impedance circuit mode, autonomously stabilizing the finite-energy GKP code. The encoded GKP qubit is robustly protected against all dominant decoherence channels plaguing superconducting circuits bu… ▽ More We propose a novel approach to generate, protect and control GKP qubits. It employs a microwave frequency comb parametrically modulating a Josephson circuit to enforce a dissipative dynamics of a high impedance circuit mode, autonomously stabilizing the finite-energy GKP code. The encoded GKP qubit is robustly protected against all dominant decoherence channels plaguing superconducting circuits but quasi-particle poisoning. In particular, noise from ancillary modes leveraged for dissipation engineering does not propagate at the logical level. In a state-of-the-art experimental setup, we estimate that the encoded qubit lifetime could extend two orders of magnitude beyond the break-even point, with substantial margin for improvement through progress in fabrication and control electronics. Qubit initialization, readout and control via Clifford gates can be performed while maintaining the code stabilization, paving the way toward the assembly of GKP qubits in a fault-tolerant quantum computing architecture. △ Less

Submitted 18 June, 2024; v1 submitted 3 April, 2023; originally announced April 2023.

Comments: 66 pages, 20 figures, 1 table. Updated version: reorganization of the paper, several clarifications, new sections about ancilla noise propagation and protected measurement of Pauli operators

Complete positivity violation of the reduced dynamics in higher-order quantum adiabatic elimination

Authors: Masaaki Tokieda, Cyril Elouard, Alain Sarlette, Pierre Rouchon

Abstract: This paper discusses quantum adiabatic elimination, which is a model reduction technique for a composite Lindblad system consisting of a fast decaying sub-system coupled to another sub-system with a much slower timescale. Such a system features an invariant manifold that is close to the slow sub-system. This invariant manifold is reached subsequent to the decay of the fast degrees of freedom, afte… ▽ More This paper discusses quantum adiabatic elimination, which is a model reduction technique for a composite Lindblad system consisting of a fast decaying sub-system coupled to another sub-system with a much slower timescale. Such a system features an invariant manifold that is close to the slow sub-system. This invariant manifold is reached subsequent to the decay of the fast degrees of freedom, after which the slow dynamics follow on it. By parametrizing invariant manifold, the slow dynamics can be simulated via a reduced model. To find the evolution of the reduced state, we perform the asymptotic expansion with respect to the timescale separation. So far, the second-order expansion has mostly been considered. It has then been revealed that the second-order expansion of the reduced dynamics is generally given by a Lindblad equation, which ensures complete positivity of the time evolution. In this paper, we present two examples where complete positivity of the reduced dynamics is violated with higher-order contributions. In the first example, the violation is detected for the evolution of the partial trace without truncation of the asymptotic expansion. The partial trace is not the only way to parametrize the slow dynamics. Concerning this non-uniqueness, it was conjectured in [R. Azouit, F. Chittaro, A. Sarlette, and P. Rouchon, Quantum Sci. Technol. 2, 044011 (2017)] that there exists a parameter choice ensuring complete positivity. With the second example, however, we refute this conjecture by showing that complete positivity cannot be restored in any choice of parametrization. We discuss these results in terms of unavoidable correlations, in the initial states on the invariant slow manifold, between the fast and the slow degrees of freedom. △ Less

Submitted 3 June, 2024; v1 submitted 8 March, 2023; originally announced March 2023.

Comments: 12+15 pages, 5+2 figures. Major updates include the addition of Figures 1 and 5, new references, and the expansion of Section V

Journal ref: Phys. Rev. A 109, 062206 (2024)

Designing High-Fidelity Zeno Gates for Dissipative Cat Qubits

Authors: Ronan Gautier, Mazyar Mirrahimi, Alain Sarlette

Abstract: Bosonic cat qubits stabilized with a driven two-photon dissipation are systems with exponentially biased noise, opening the door to low-overhead, fault-tolerant and universal quantum computing. However, current gate proposals for such qubits induce substantial noise of the unprotected type, whose poor scaling with the relevant experimental parameters limits their practical use. In this work, we pr… ▽ More Bosonic cat qubits stabilized with a driven two-photon dissipation are systems with exponentially biased noise, opening the door to low-overhead, fault-tolerant and universal quantum computing. However, current gate proposals for such qubits induce substantial noise of the unprotected type, whose poor scaling with the relevant experimental parameters limits their practical use. In this work, we provide a new perspective on dissipative cat qubits by reconsidering the reservoir mode used to engineer the tailored two-photon dissipation, and show how it can be leveraged to mitigate gate-induced errors. Doing so, we introduce four new designs of high-fidelity and bias-preserving cat qubit gates, and compare them to the prevalent gate methods. These four designs should give a broad overview of gate engineering for dissipative systems with different and complementary ideas. In particular, we propose both already achievable low-error gate designs and longer-term implementations. △ Less

Submitted 23 July, 2023; v1 submitted 1 March, 2023; originally announced March 2023.

Comments: 26 pages, 15 figures. All comments on the preprint are welcome

Journal ref: PRX Quantum 4.4, 040316 (2023)

Dynamically enhancing qubit-photon interactions with anti-squeezing

Authors: M. Villiers, W. C. Smith, A. Petrescu, A. Borgognoni, M. Delbecq, A. Sarlette, M. Mirrahimi, P. Campagne-Ibarcq, T. Kontos, Z. Leghtas

Abstract: The interaction strength of an oscillator to a qubit grows with the oscillator's vacuum field fluctuations. The well known degenerate parametric oscillator has revived interest in the regime of strongly detuned squeezing, where its eigenstates are squeezed Fock states. Owing to these amplified field fluctuations, it was recently proposed that squeezing this oscillator would dynamically boost qubit… ▽ More The interaction strength of an oscillator to a qubit grows with the oscillator's vacuum field fluctuations. The well known degenerate parametric oscillator has revived interest in the regime of strongly detuned squeezing, where its eigenstates are squeezed Fock states. Owing to these amplified field fluctuations, it was recently proposed that squeezing this oscillator would dynamically boost qubit-photon interactions. In a superconducting circuit experiment, we observe a two-fold increase in the dispersive interaction between a qubit and an oscillator at 5.5 dB of squeezing, demonstrating in-situ dynamical control of qubit-photon interactions. This work initiates the experimental coupling of oscillators of squeezed photons to qubits, and cautiously motivates their dissemination in experimental platforms seeking enhanced interactions. △ Less

Submitted 18 April, 2024; v1 submitted 9 December, 2022; originally announced December 2022.

Comments: 22 pages, 15 figures

Journal ref: PRX Quantum 5, 020306 (2024)

Complete Positivity Violation in Higher-order Quantum Adiabatic Elimination

Authors: Masaaki Tokieda, Cyril Elouard, Alain Sarlette, Pierre Rouchon

Abstract: When a composite Lindblad system consists of weakly coupled sub-systems with fast and slow timescales, the description of slow dynamics can be simplified by discarding fast degrees of freedom. This model reduction technique is called adiabatic elimination. While second-order perturbative expansion with respect to the timescale separation has revealed that the evolution of a reduced state is comple… ▽ More When a composite Lindblad system consists of weakly coupled sub-systems with fast and slow timescales, the description of slow dynamics can be simplified by discarding fast degrees of freedom. This model reduction technique is called adiabatic elimination. While second-order perturbative expansion with respect to the timescale separation has revealed that the evolution of a reduced state is completely positive, this paper presents an example exhibiting complete positivity violation in the fourth-order expansion. Despite the non-uniqueness of slow dynamics parametrization, we prove that complete positivity cannot be ensured in any parametrization. The violation stems from correlation in the initial state. △ Less

Submitted 20 November, 2022; originally announced November 2022.

Comments: 6 pages, submitted to IFAC for possible publication

Structurally stable subharmonic regime of a driven quantum Josephson circuit

Authors: Michiel Burgelman, Pierre Rouchon, Alain Sarlette, Mazyar Mirrahimi

Abstract: Driven quantum nonlinear oscillators, while essential for quantum technologies, are generally prone to complex chaotic dynamics that fall beyond the reach of perturbative analysis. By focusing on subharmonic bifurcations of a harmonically driven oscillator, we provide a recipe for the choice of the oscillator's parameters that ensures a regular dynamical behavior independently of the driving stren… ▽ More Driven quantum nonlinear oscillators, while essential for quantum technologies, are generally prone to complex chaotic dynamics that fall beyond the reach of perturbative analysis. By focusing on subharmonic bifurcations of a harmonically driven oscillator, we provide a recipe for the choice of the oscillator's parameters that ensures a regular dynamical behavior independently of the driving strength. We show that this suppression of chaotic phenomena is compatible with a strong quantum nonlinear effect reflected by the confinement rate in the degenerate manifold spanned by stable subharmonic orbits. △ Less

Submitted 12 August, 2022; v1 submitted 29 June, 2022; originally announced June 2022.

Journal ref: Phys. Rev. Applied 18 (2022): 064044

One hundred second bit-flip time in a two-photon dissipative oscillator

Authors: C. Berdou, A. Murani, U. Reglade, W. C. Smith, M. Villiers, J. Palomo, M. Rosticher, A. Denis, P. Morfin, M. Delbecq, T. Kontos, N. Pankratova, F. Rautschke, T. Peronnin, L. -A. Sellem, P. Rouchon, A. Sarlette, M. Mirrahimi, P. Campagne-Ibarcq, S. Jezouin, R. Lescanne, Z. Leghtas

Abstract: Current implementations of quantum bits (qubits) continue to undergo too many errors to be scaled into useful quantum machines. An emerging strategy is to encode quantum information in the two meta-stable pointer states of an oscillator exchanging pairs of photons with its environment, a mechanism shown to provide stability without inducing decoherence. Adding photons in these states increases the… ▽ More Current implementations of quantum bits (qubits) continue to undergo too many errors to be scaled into useful quantum machines. An emerging strategy is to encode quantum information in the two meta-stable pointer states of an oscillator exchanging pairs of photons with its environment, a mechanism shown to provide stability without inducing decoherence. Adding photons in these states increases their separation, and macroscopic bit-flip times are expected even for a handful of photons, a range suitable to implement a qubit. However, previous experimental realizations have saturated in the millisecond range. In this work, we aim for the maximum bit-flip time we could achieve in a two-photon dissipative oscillator. To this end, we design a Josephson circuit in a regime that circumvents all suspected dynamical instabilities, and employ a minimally invasive fluorescence detection tool, at the cost of a two-photon exchange rate dominated by single-photon loss. We attain bit-flip times of the order of 100 seconds for states pinned by two-photon dissipation and containing about 40 photons. This experiment lays a solid foundation from which the two-photon exchange rate can be gradually increased, thus gaining access to the preparation and measurement of quantum superposition states, and pursuing the route towards a logical qubit with built-in bit-flip protection. △ Less

Submitted 19 April, 2022; originally announced April 2022.

Journal ref: PRX Quantum 4, 020350 (2023)

Exponential convergence of a dissipative quantum system towards finite-energy grid states of an oscillator

Authors: Lev-Arcady Sellem, Philippe Campagne-Ibarcq, Mazyar Mirrahimi, Alain Sarlette, Pierre Rouchon

Abstract: Based on the stabilizer formalism underlying Quantum Error Correction (QEC), the design of an original Lindblad master equation for the density operator of a quantum harmonic oscillator is proposed. This Lindblad dynamics stabilizes exactly the finite-energy grid states introduced in 2001 by Gottesman, Kitaev and Preskill for quantum computation. Stabilization results from an exponential Lyapunov… ▽ More Based on the stabilizer formalism underlying Quantum Error Correction (QEC), the design of an original Lindblad master equation for the density operator of a quantum harmonic oscillator is proposed. This Lindblad dynamics stabilizes exactly the finite-energy grid states introduced in 2001 by Gottesman, Kitaev and Preskill for quantum computation. Stabilization results from an exponential Lyapunov function with an explicit lower-bound on the convergence rate. Numerical simulations indicate the potential interest of such autonomous QEC in presence of non-negligible photon-losses. △ Less

Submitted 8 September, 2022; v1 submitted 31 March, 2022; originally announced March 2022.

Comments: Submitted, 15 pages, 1 figures

Journal ref: IEEE-CDC 2022

Quantum dynamical decoupling by shaking the close environment

Authors: Michiel Burgelman, Paolo Forni, Alain Sarlette

Abstract: Quantum dynamical decoupling is a procedure to cancel the effective coupling between two systems by applying sequences of fast actuations, under which the coupling Hamiltonian averages out to leading order(s). One of its prominent uses is to drive a target system in such a way as to decouple it from a less protected one. The present manuscript investigates the dual strategy: acting on a noisy "env… ▽ More Quantum dynamical decoupling is a procedure to cancel the effective coupling between two systems by applying sequences of fast actuations, under which the coupling Hamiltonian averages out to leading order(s). One of its prominent uses is to drive a target system in such a way as to decouple it from a less protected one. The present manuscript investigates the dual strategy: acting on a noisy "environment" subsystem such as to decouple it from a target system. The potential advantages are that actions on the environment commute with system operations, and that imprecisions in the decoupling actuation are harmless to the target. We consider two versions of environment-side decoupling: adding an imprecise Hamiltonian drive which stirs the environment components; and, increasing the decoherence rates on the environment. The latter can be viewed as driving the environment with pure noise and our conclusions establish how, maybe counterintuitively, isolating the environment from noise sources as much as possible is often not the best option. We explicitly analyze the induced decoherence on the target system and establish how it is influenced by the parameters in both cases. The analysis combines Lindbladian derivation, adiabatic elimination, and Floquet modeling in a way that may be of independent interest. △ Less

Submitted 24 January, 2022; originally announced January 2022.

Combined Dissipative and Hamiltonian Confinement of Cat Qubits

Authors: Ronan Gautier, Alain Sarlette, Mazyar Mirrahimi

Abstract: Quantum error correction with biased-noise qubits can drastically reduce the hardware overhead for universal and fault-tolerant quantum computation. Cat qubits are a promising realization of biased-noise qubits as they feature an exponential error bias inherited from their non-local encoding in the phase space of a quantum harmonic oscillator. To confine the state of an oscillator to the cat qubit… ▽ More Quantum error correction with biased-noise qubits can drastically reduce the hardware overhead for universal and fault-tolerant quantum computation. Cat qubits are a promising realization of biased-noise qubits as they feature an exponential error bias inherited from their non-local encoding in the phase space of a quantum harmonic oscillator. To confine the state of an oscillator to the cat qubit manifold, two main approaches have been considered so far: a Kerr-based Hamiltonian confinement with high gate performances, and a dissipative confinement with robust protection against a broad range of noise mechanisms. We introduce a new combined dissipative and Hamiltonian confinement scheme based on two-photon dissipation together with a Two-Photon Exchange (TPE) Hamiltonian. The TPE Hamiltonian is similar to Kerr nonlinearity, but unlike the Kerr it only induces a bounded distinction between even- and odd-photon eigenstates, a highly beneficial feature for protecting the cat qubits with dissipative mechanisms. Using this combined confinement scheme, we demonstrate fast and bias-preserving gates with drastically improved performance compared to dissipative or Hamiltonian schemes. In addition, this combined scheme can be implemented experimentally with only minor modifications of existing dissipative cat qubit experiments. △ Less

Submitted 1 April, 2022; v1 submitted 10 December, 2021; originally announced December 2021.

Comments: 24 pages, 18 figures

Journal ref: PRX Quantum 3 (2022): 020339

Scaling up reservoir engineering for error-correcting codes

Authors: Vincent Martin, Alain Sarlette

Abstract: Error-correcting codes are usually envisioned to counter errors by operating unitary corrections depending on the projective measurement results of some syndrome observables. We here propose a way to use them in a more integrated way, where the error correction is applied continuously and autonomously by an engineered environment. We focus on a proposal for the repetition code that counters bit-fl… ▽ More Error-correcting codes are usually envisioned to counter errors by operating unitary corrections depending on the projective measurement results of some syndrome observables. We here propose a way to use them in a more integrated way, where the error correction is applied continuously and autonomously by an engineered environment. We focus on a proposal for the repetition code that counters bit-flip errors, and how to scale up the network encoding a logical quantum bit, towards stronger information protection. The challenge has been to devise a network architecture which allows to autonomously correct higher-order errors, while remaining realistic towards experimental realization by avoiding all-to-all or all-to-one coupling. △ Less

Submitted 6 October, 2020; originally announced October 2020.

Multiplexed photon number measurement

Authors: Antoine Essig, Quentin Ficheux, Théau Peronnin, Nathanaël Cottet, Raphaël Lescanne, Alain Sarlette, Pierre Rouchon, Zaki Leghtas, Benjamin Huard

Abstract: When a two-level system -- a qubit -- is used as a probe of a larger system, it naturally leads to answering a single yes-no question about the system state. Here we propose a method where a single qubit is able to extract, not a single, but many bits of information about the photon number of a microwave resonator using continuous measurement. We realize a proof-of-principle experiment by recordin… ▽ More When a two-level system -- a qubit -- is used as a probe of a larger system, it naturally leads to answering a single yes-no question about the system state. Here we propose a method where a single qubit is able to extract, not a single, but many bits of information about the photon number of a microwave resonator using continuous measurement. We realize a proof-of-principle experiment by recording the fluorescence emitted by a superconducting qubit reflecting a frequency comb, thus implementing multiplexed photon counting where the information about each Fock state -- from 0 to 8 -- is simultaneously encoded in independent measurement channels. Direct Wigner tomography of the quantum state of the resonator evidences the back-action of the measurement as well as the optimal information extraction parameters. Our experiment unleashes the full potential of quantum meters by replacing a sequential quantum measurements with simultaneous and continuous measurements separated in the frequency domain. △ Less

Submitted 2 July, 2021; v1 submitted 9 January, 2020; originally announced January 2020.

Comments: This new version of the manuscript adds several results compared to the first versions

Journal ref: Phys. Rev. X 11, 031045 (2021)

Quantum adiabatic elimination at arbitrary order for photon number measurement

Authors: Alain Sarlette, Pierre Rouchon, Antoine Essig, Quentin Ficheux, Benjamin Huard

Abstract: 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 fo… ▽ More 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. △ Less

Submitted 8 January, 2020; originally announced January 2020.

Exponential suppression of bit-flips in a qubit encoded in an oscillator

Authors: Raphaël Lescanne, Marius Villiers, Théau Peronnin, Alain Sarlette, Matthieu Delbecq, Benjamin Huard, Takis Kontos, Mazyar Mirrahimi, Zaki Leghtas

Abstract: A quantum system interacts with its environment, if ever so slightly, no matter how much care is put into isolating it. As a consequence, quantum bits (qubits) undergo errors, putting dauntingly difficult constraints on the hardware suitable for quantum computation. New strategies are emerging to circumvent this problem by encoding a qubit non-locally across the phase space of a physical system. S… ▽ More A quantum system interacts with its environment, if ever so slightly, no matter how much care is put into isolating it. As a consequence, quantum bits (qubits) undergo errors, putting dauntingly difficult constraints on the hardware suitable for quantum computation. New strategies are emerging to circumvent this problem by encoding a qubit non-locally across the phase space of a physical system. Since most sources of decoherence are due to local fluctuations, the foundational promise is to exponentially suppress errors by increasing a measure of this non-locality. Prominent examples are topological qubits which delocalize quantum information over real space and where spatial extent measures non-locality. In this work, we encode a qubit in the field quadrature space of a superconducting resonator endowed with a special mechanism that dissipates photons in pairs. This process pins down two computational states to separate locations in phase space. As we increase this separation, we measure an exponential decrease of the bit-flip rate while only linearly increasing the phase-flip rate. Since bit-flips are continuously and autonomously corrected at the single qubit level, only phase-flips are left to be corrected via a one-dimensional quantum error correction code. This exponential scaling demonstrates that resonators with non-linear dissipation are promising building blocks for universal fault-tolerant quantum computation with drastically reduced hardware overhead. △ Less

Submitted 26 July, 2019; originally announced July 2019.

Journal ref: Nature Physics (2020)

Exponential stabilization of quantum systems under continuous non-demolition measurements

Authors: Gerardo Cardona, Alain Sarlette, Pierre Rouchon

Abstract: We present a novel continuous-time control strategy to exponentially stabilize an eigenstate of a Quantum Non-Demolition (QND) measurement operator. In open-loop, the system converges to a random eigenstate of the measurement operator. The role of the feedback is to prepare a prescribed QND eigenstate with unit probability. To achieve this we introduce the use of Brownian motion to drive the unita… ▽ More We present a novel continuous-time control strategy to exponentially stabilize an eigenstate of a Quantum Non-Demolition (QND) measurement operator. In open-loop, the system converges to a random eigenstate of the measurement operator. The role of the feedback is to prepare a prescribed QND eigenstate with unit probability. To achieve this we introduce the use of Brownian motion to drive the unitary control actions; the feedback loop just adapts the amplitude of this Brownian noise input as a function of the system state. Essentially, it "shakes" the system away from undesired eigenstates by applying strong noise there, while relying on the open-loop dynamics to progressively reach the target. We prove exponential convergence towards the target eigenstate using standard stochastic Lyapunov methods. The feedback scheme and its stability analysis suggest the use of an approximate filter which only tracks the populations of the eigenstates of the measurement operator. Such reduced filters should play an increasing role towards advanced quantum technologies. △ Less

Submitted 18 June, 2019; originally announced June 2019.

Continuous-time Quantum Error Correction with Noise-assisted Quantum Feedback

Authors: Gerardo Cardona, Alain Sarlette, Pierre Rouchon

Abstract: We address the standard quantum error correction using the three-qubit bit-flip code, yet in continuous-time. This entails rendering a target manifold of quantum states globally attractive. Previous feedback designs could feature spurious equilibria, or resort to discrete kicks pushing the system away from these equilibria to ensure global asymptotic stability. We present a new approach that consi… ▽ More We address the standard quantum error correction using the three-qubit bit-flip code, yet in continuous-time. This entails rendering a target manifold of quantum states globally attractive. Previous feedback designs could feature spurious equilibria, or resort to discrete kicks pushing the system away from these equilibria to ensure global asymptotic stability. We present a new approach that consists of introducing controls driven by Brownian motions. Unlike the previous methods, the resulting closed-loop dynamics can be shown to stabilize the target manifold exponentially. We further present a reduced-order filter formulation with classical probabilities. The exponential property is important to quantify the protection induced by the closed-loop error-correction dynamics against disturbances. We study numerically the performance of this control law and of the reduced filter. △ Less

Submitted 17 June, 2019; v1 submitted 31 January, 2019; originally announced February 2019.

Comments: 7 pages, 3 figures. Minor modifications of the text and added references

About string stability of a vehicle chain with unidirectional controller

Authors: Arash Farnam, Alain Sarlette

Abstract: This paper deals with the problem of string stability in a chain of acceleration-controlled vehicles. It is known that string stability cannot be achieved, with any linear controller, when the vehicles' control inputs are based on relative distances to a fixed number of predecessors. We extend the set of impossible settings by including elements like dynamic sensor parts and local inter-vehicular… ▽ More This paper deals with the problem of string stability in a chain of acceleration-controlled vehicles. It is known that string stability cannot be achieved, with any linear controller, when the vehicles' control inputs are based on relative distances to a fixed number of predecessors. We extend the set of impossible settings by including elements like dynamic sensor parts and local inter-vehicular communication, as in cooperative adaptive cruise control. It is also known that a weaker form of string stability is achievable by adding absolute velocity measurements (e.g. "time-headway" policy). We show that a stronger property can also be achieved, provided steady-state control gain is infinite e.g. by using integral control. △ Less

Submitted 30 October, 2018; originally announced October 2018.

About strong string stability of a vehicle chain with time-headway control

Authors: Arash Farnam, Alain Sarlette

Abstract: This paper deals with the problem of string stability in a chain of acceleration-controlled vehicles, i.e. how input disturbances affect the distributed system for very long chains. There exist variants of string stability, like avoiding that a local disturbance gets amplified along the chain, or more strongly ensuring that the output vector's p-norm remains bounded for any bounded vector of input… ▽ More This paper deals with the problem of string stability in a chain of acceleration-controlled vehicles, i.e. how input disturbances affect the distributed system for very long chains. There exist variants of string stability, like avoiding that a local disturbance gets amplified along the chain, or more strongly ensuring that the output vector's p-norm remains bounded for any bounded vector of input disturbances independently of the string length. They are all impossible to achieve with any linear controller if the vehicles only use relative information of few vehicles in front. Previous work has shown that adding absolute velocity into the controller, allows to at least avoid amplification of a local disturbance. In this paper, we consider the stronger definitions of string stability, under this same relaxation of using absolute velocity in the controller. We prove that the influence from input vector to output vector cannot be bounded independently of chain length in the most popular 2-norm sense, with any bounded stabilizing linear controller; while a proportional derivative (PD) controller can guarantee it in the practically relevant infinity-norm sense. Moreover, we identify the disturbance acting on the leader as the main issue for string stability. △ Less

Submitted 30 October, 2018; originally announced October 2018.

Comments: presented at IEEE-CDC 2018, Miami; more complete version and correcting a few typos

Towards a comprehensive impossibility result for string stability

Authors: Arash Farnam, Alain Sarlette

Abstract: We provide a comprehensive impossibility result towards achieving string stability, i.e. kee** local relative errors in check with local controllers independently of the size of a chain of subsystems. We significantly extend existing results, from the LTI setting to any homogeneous controllers that can be nonlinear, time-varying, and locally communicating. We prove this impossibility for a set o… ▽ More We provide a comprehensive impossibility result towards achieving string stability, i.e. kee** local relative errors in check with local controllers independently of the size of a chain of subsystems. We significantly extend existing results, from the LTI setting to any homogeneous controllers that can be nonlinear, time-varying, and locally communicating. We prove this impossibility for a set of definitions with various norm choices, including the $L_2$-type which is more standard in the literature and a BIBO type criterion. All results hold for a general discrete-time controller which should cover most applications. △ Less

Submitted 25 October, 2018; v1 submitted 13 April, 2018; originally announced April 2018.

Quantum Fast-Forwarding: Markov Chains and Graph Property Testing

Authors: Simon Apers, Alain Sarlette

Abstract: We introduce a new tool for quantum algorithms called quantum fast-forwarding (QFF). The tool uses quantum walks as a means to quadratically fast-forward a reversible Markov chain. More specifically, with $P$ the Markov chain transition matrix and $D = \sqrt{P\circ P^T}$ its discriminant matrix ($D=P$ if $P$ is symmetric), we construct a quantum walk algorithm that for any quantum state… ▽ More We introduce a new tool for quantum algorithms called quantum fast-forwarding (QFF). The tool uses quantum walks as a means to quadratically fast-forward a reversible Markov chain. More specifically, with $P$ the Markov chain transition matrix and $D = \sqrt{P\circ P^T}$ its discriminant matrix ($D=P$ if $P$ is symmetric), we construct a quantum walk algorithm that for any quantum state $|v\rangle$ and integer $t$ returns a quantum state $ε$-close to the state $D^t|v\rangle/\|D^t|v\rangle\|$. The algorithm uses $O\Big(\|D^t|v\rangle\|^{-1}\sqrt{t\log(ε\|D^t|v\rangle\|)^{-1}}\Big)$ expected quantum walk steps and $O(\|D^t|v\rangle\|^{-1})$ expected reflections around $|v\rangle$. This shows that quantum walks can accelerate the transient dynamics of Markov chains, complementing the line of results that proves the acceleration of their limit behavior. We show that this tool leads to speedups on random walk algorithms in a very natural way. Specifically we consider random walk algorithms for testing the graph expansion and clusterability, and show that we can quadratically improve the dependency of the classical property testers on the random walk runtime. Moreover, our quantum algorithm exponentially improves the space complexity of the classical tester to logarithmic. As a subroutine of independent interest, we use QFF for determining whether a given pair of nodes lies in the same cluster or in separate clusters. This solves a robust version of $s$-$t$ connectivity, relevant in a learning context for classifying objects among a set of examples. The different algorithms crucially rely on the quantum speedup of the transient behavior of random walks. △ Less

Submitted 23 January, 2019; v1 submitted 6 April, 2018; originally announced April 2018.

Comments: 24 pages, 5 pages appendix. 2nd version: exponentially improved error dependency, added application to graph property testing

MSC Class: 05C85; 60G50; 60J10; 68R10 ACM Class: F.2; G.2.2

Adiabatic elimination for multi-partite open quantum systems with non-trivial zero-order dynamics

Authors: Paolo Forni, Alain Sarlette, Thibault Capelle, Emmanuel Flurin, Samuel Deléglise, Pierre Rouchon

Abstract: We provide model reduction formulas for open quantum systems consisting of a target component which weakly interacts with a strongly dissipative environment. The time-scale separation between the uncoupled dynamics and the interaction allows to employ tools from center manifold theory and geometric singular perturbation theory to eliminate the variables associated to the environment (adiabatic eli… ▽ More We provide model reduction formulas for open quantum systems consisting of a target component which weakly interacts with a strongly dissipative environment. The time-scale separation between the uncoupled dynamics and the interaction allows to employ tools from center manifold theory and geometric singular perturbation theory to eliminate the variables associated to the environment (adiabatic elimination) with high-order accuracy. An important specificity is to preserve the quantum structure: reduced dynamics in (positive) Lindblad form and coordinate map**s in Kraus form. We provide formulas of the reduced dynamics. The main contributions of this paper are (i) to show how the decomposition of the environment into $K$ components enables its efficient treatment, avoiding the quantum curse of dimension; and (ii) to extend the results to the case where the target component is subject to Hamiltonian evolution at the fast time-scale. We apply our theory to a microwave superconducting quantum resonator subject to material losses, and we show that our reduced-order model can explain the transmission spectrum observed in a recent pump probe experiment. △ Less

Submitted 14 September, 2018; v1 submitted 21 March, 2018; originally announced March 2018.

Exponential stochastic stabilization of a two-level quantum system via strict Lyapunov control

Authors: Gerardo Cardona, Alain Sarlette, Pierre Rouchon

Abstract: This article provides a novel continuous-time state feedback control strategy to stabilize an eigenstate of the Hermitian measurement operator of a two-level quantum system. In open loop, such system converges stochastically to one of the eigenstates of the measurement operator. Previous work has proposed state feedback that destabilizes the undesired eigenstates and relies on a probabilistic anal… ▽ More This article provides a novel continuous-time state feedback control strategy to stabilize an eigenstate of the Hermitian measurement operator of a two-level quantum system. In open loop, such system converges stochastically to one of the eigenstates of the measurement operator. Previous work has proposed state feedback that destabilizes the undesired eigenstates and relies on a probabilistic analysis to prove convergence. In contrast, we here associate the state observer to an adaptive version of so-called Markovian feedback (essentially, proportional control) and we show that this leads to a global exponential convergence property with a strict Lyapunov function. Furthermore, besides the instantaneous measurement output, our controller only depends on the single coordinate along the measurement axis, which opens the way to replacing the full state observer by lower-complexity filters in the future. △ Less

Submitted 1 August, 2018; v1 submitted 20 March, 2018; originally announced March 2018.

Comments: 8 pages, 2 figures,

Simulation of Quantum Walks and Fast Mixing with Classical Processes

Authors: Simon Apers, Alain Sarlette, Francesco Ticozzi

Abstract: We compare discrete-time quantum walks on graphs to their natural classical equivalents, which we argue are lifted Markov chains, that is, classical Markov chains with added memory. We show that these can simulate quantum walks, allowing us to answer an open question on how the graph topology ultimately bounds their mixing performance, and that of any stochastic local evolution. The results highli… ▽ More We compare discrete-time quantum walks on graphs to their natural classical equivalents, which we argue are lifted Markov chains, that is, classical Markov chains with added memory. We show that these can simulate quantum walks, allowing us to answer an open question on how the graph topology ultimately bounds their mixing performance, and that of any stochastic local evolution. The results highlight that speedups in mixing and transport phenomena are not necessarily diagnostic of quantum effects, although superdiffusive spreading is more prominent with quantum walks. △ Less

Submitted 5 December, 2017; originally announced December 2017.

Comments: main paper: 5 pages, 2 figures. supplemental material: 9 pages, 1 figure. comments welcome

MSC Class: 05C85; 60G50; 60J10; 68R10 ACM Class: F.2; G.2.2

Journal ref: Phys. Rev. A 98, 032115 (2018)

Bounding the convergence time of local probabilistic evolution

Authors: Simon Apers, Alain Sarlette, Francesco Ticozzi

Abstract: Isoperimetric inequalities form a very intuitive yet powerful characterization of the connectedness of a state space, that has proven successful in obtaining convergence bounds. Since the seventies they form an essential tool in differential geometry, graph theory and Markov chain analysis. In this paper we use isoperimetric inequalities to construct a bound on the convergence time of any local pr… ▽ More Isoperimetric inequalities form a very intuitive yet powerful characterization of the connectedness of a state space, that has proven successful in obtaining convergence bounds. Since the seventies they form an essential tool in differential geometry, graph theory and Markov chain analysis. In this paper we use isoperimetric inequalities to construct a bound on the convergence time of any local probabilistic evolution that leaves its limit distribution invariant. We illustrate how this general result leads to new bounds on convergence times beyond the explicit Markovian setting, among others on quantum dynamics. △ Less

Submitted 16 November, 2017; originally announced November 2017.

Comments: 8 pages, 2 figures

MSC Class: 60G50; 60J05; 68R10; 05C81; ACM Class: G.2.2; G.2.3; G.3; F.2.2

Journal ref: International Conference on Geometric Science of Information. Springer, Cham, 2017

Lifting Markov Chains To Mix Faster: Limits and Opportunities

Authors: Simon Apers, Francesco Ticozzi, Alain Sarlette

Abstract: Lifted Markov chains are Markov chains on graphs with added local "memory" and can be used to mix towards a target distribution faster than their memoryless counterparts. Upper and lower bounds on the achievable performance have been provided under specific assumptions. In this paper, we analyze which assumptions and constraints are relevant for mixing, and how changing these assumptions affects t… ▽ More Lifted Markov chains are Markov chains on graphs with added local "memory" and can be used to mix towards a target distribution faster than their memoryless counterparts. Upper and lower bounds on the achievable performance have been provided under specific assumptions. In this paper, we analyze which assumptions and constraints are relevant for mixing, and how changing these assumptions affects those bounds. Explicitly, we find that requesting mixing on either the original or the full lifted graph, and allowing for reducible lifted chains or not, have no essential influence on mixing time bounds. On the other hand, allowing for suitable initialization of the lifted dynamics and/or imposing invariance of the target distribution for any initialization do significantly affect the convergence performance. The achievable convergence speed for a lifted chain goes from diameter-time to no acceleration over a standard Markov chain, with conductance bounds limiting the effectiveness of the intermediate cases. In addition, we show that the relevance of imposing ergodic flows depends on the other criteria. The presented analysis allows us to clarify in which scenarios designing lifted dynamics can lead to better mixing, and provide a flexible framework to compare lifted walks with other acceleration methods. △ Less

Submitted 15 May, 2017; originally announced May 2017.

Comments: 15 pages, 5 figures. Comments welcome

MSC Class: 60J20

Discrete-time reservoir engineering with entangled bath and stabilizing squeezed states

Authors: Zibo Miao, Alain Sarlette

Abstract: This theoretical proposal investigates how resonant interactions occurring when a harmonic oscillator is fed with a stream of entangled qubits allow us to stabilize squeezed states of the harmonic oscillator. We show that the properties of the squeezed state stabilized by this engineered reservoir, including the squeezing strength, can be tuned at will through the parameters of the "input" qubits,… ▽ More This theoretical proposal investigates how resonant interactions occurring when a harmonic oscillator is fed with a stream of entangled qubits allow us to stabilize squeezed states of the harmonic oscillator. We show that the properties of the squeezed state stabilized by this engineered reservoir, including the squeezing strength, can be tuned at will through the parameters of the "input" qubits, albeit in tradeoff with the convergence rate. We also discuss the influence of the type of entanglement in the input, from a pairwise case to a more widely distributed case. This paper can be read in two ways: either as a proposal to stabilize squeezed states, or as a step towards treating quantum systems with time-entangled reservoir inputs. △ Less

Submitted 23 June, 2017; v1 submitted 25 April, 2017; originally announced April 2017.

Towards generic adiabatic elimination for bipartite open quantum systems

Authors: Remi Azouit, Francesca Chittaro, Alain Sarlette, Pierre Rouchon

Abstract: We consider a composite open quantum system consisting of a fast subsystem coupled to a slow one. Using the time-scale separation, we develop an adiabatic elimination technique to derive at any order the reduced model describing the slow subsystem. The method, based on an asymptotic expansion and geometric singular perturbation theory, ensures the physical interpretation of the reduced second-orde… ▽ More We consider a composite open quantum system consisting of a fast subsystem coupled to a slow one. Using the time-scale separation, we develop an adiabatic elimination technique to derive at any order the reduced model describing the slow subsystem. The method, based on an asymptotic expansion and geometric singular perturbation theory, ensures the physical interpretation of the reduced second-order model by giving the reduced dynamics in a Lindblad form and the state reduction in Kraus map form. We give explicit second-order formulas for Hamiltonian or cascade coupling between the two subsystems. These formulas can be used to engineer, via a careful choice of the fast subsystem, the Hamiltonian and Lindbald operators governing the dissipative dynamics of the slow subsystem. △ Less

Submitted 10 July, 2017; v1 submitted 3 April, 2017; originally announced April 2017.

Comments: Submitted

Loss-tolerant parity measurement for distant quantum bits

Authors: Alain Sarlette, Mazyar Mirrahimi

Abstract: We propose a scheme to measure the parity of two distant qubits, while ensuring that losses on the quantum channel between them does not destroy coherences within the parity subspaces. This capability enables deterministic preparation of highly entangled qubit states whose fidelity is not limited by the transmission loss. The key observation is that for a probe electromagnetic field in a particula… ▽ More We propose a scheme to measure the parity of two distant qubits, while ensuring that losses on the quantum channel between them does not destroy coherences within the parity subspaces. This capability enables deterministic preparation of highly entangled qubit states whose fidelity is not limited by the transmission loss. The key observation is that for a probe electromagnetic field in a particular quantum state, namely a superposition of two coherent states of opposite phases, the transmission loss stochastically applies a near-unitary back-action on the probe state. This leads to a parity measurement protocol where the main effect of the transmission losses is a decrease in the measurement strength. By repeating the non-destructive (weak) parity measurement, one achieves a high-fidelity entanglement in spite of a significant transmission loss. △ Less

Submitted 15 April, 2016; originally announced April 2016.

Journal ref: Phys. Rev. A 95, 032329 (2017)

Integral control on nonlinear spaces: two extensions

Authors: Zhifei Zhang, Zhihao Ling, Alain Sarlette

Abstract: This paper applies the recently developed framework for integral control on nonlinear spaces to two non-standard cases. First, we show that the property of perfect target stabilization in presence of actuation bias holds also if this bias is state dependent. This might not be surprising, but for practical purposes it provides an easy way to robustly cancel nonlinear dynamics of the uncontrolled pl… ▽ More This paper applies the recently developed framework for integral control on nonlinear spaces to two non-standard cases. First, we show that the property of perfect target stabilization in presence of actuation bias holds also if this bias is state dependent. This might not be surprising, but for practical purposes it provides an easy way to robustly cancel nonlinear dynamics of the uncontrolled plant. We specifically illustrate this for robust stabilization of a pendulum at arbitrary angle, a problem posed as non-trivial by some colleagues. Second, as previous work has been restricted to systems with as many control inputs as configuration dimensions, we here provide results for integral control of a non-holonomic system. More precisely, we design robust steering control of a rigid body under velocity bias. △ Less

Submitted 17 March, 2016; originally announced March 2016.

Comments: submitted to NOLCOS conference 2016

String Stability towards Leader thanks to Asymmetric Bidirectional Controller

Authors: Arash Farnam, Alain Sarlette

Abstract: This paper deals with the problem of string stability of interconnected systems with double-integrator open loop dynamics (e.g.~acceleration-controlled vehicles). We analyze an asymmetric bidirectional linear controller, where each vehicle is coupled solely to its immediate predecessor and to its immediate follower with different gains in these two directions. We show that in this setting, unlike… ▽ More This paper deals with the problem of string stability of interconnected systems with double-integrator open loop dynamics (e.g.~acceleration-controlled vehicles). We analyze an asymmetric bidirectional linear controller, where each vehicle is coupled solely to its immediate predecessor and to its immediate follower with different gains in these two directions. We show that in this setting, unlike with unidirectional or symmetric bidirectional controllers, string stability can be recovered when disturbances act only on a small ($N$-independent) set of leading vehicles. This improves existing results from the literature with this assumption. We also indicate that string stability with respect to arbitrarily distributed disturbances cannot be achieved with this controller. △ Less

Submitted 25 October, 2018; v1 submitted 17 March, 2016; originally announced March 2016.

Comments: Version 2 corrects a typo in the proof, and adds the proof of stability before string stability. Slightly longer than published version

Journal ref: interactive presentation at 2017 IFAC World Congress, Toulouse

Deterministic submanifolds and analytic solution of the stochastic differential master equation describing a qubit

Authors: Alain Sarlette, Pierre Rouchon

Abstract: This paper studies the stochastic differential equation (SDE) associated to a two-level quantum system (qubit) subject to Hamiltonian evolution as well as unmonitored and monitored decoherence channels. The latter imply a stochastic evolution of the quantum state (density operator), whose associated probability distribution we characterize. We first show that for two sets of typical experimental s… ▽ More This paper studies the stochastic differential equation (SDE) associated to a two-level quantum system (qubit) subject to Hamiltonian evolution as well as unmonitored and monitored decoherence channels. The latter imply a stochastic evolution of the quantum state (density operator), whose associated probability distribution we characterize. We first show that for two sets of typical experimental settings, corresponding either to weak quantum non demolition measurements or to weak fluorescence measurements, the three Bloch coordinates of the qubit remain confined to a deterministically evolving surface or curve inside the Bloch sphere. We explicitly solve the deterministic evolution, and we provide a closed-form expression for the probability distribution on this surface or curve. Then we relate the existence in general of such deterministically evolving submanifolds to an accessibility question of control theory, which can be answered with an explicit algebraic criterion on the SDE. This allows us to show that, for a qubit, the above two sets of weak measurements are essentially the only ones featuring deterministic surfaces or curves. △ Less

Submitted 8 July, 2016; v1 submitted 17 March, 2016; originally announced March 2016.

Adiabatic elimination for open quantum systems with effective Lindblad master equations

Authors: Remi Azouit, Alain Sarlette, Pierre Rouchon

Abstract: 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.… ▽ More 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. △ Less

Submitted 15 March, 2016; originally announced March 2016.

Comments: 9 pages, one figure

Incompatibility boundaries for properties of community partitions

Authors: Arnaud Browet, Julien M. Hendrickx, Alain Sarlette

Abstract: We prove the incompatibility of certain desirable properties of community partition quality functions. Our results generalize the impossibility result of [Kleinberg 2003] by considering sets of weaker properties. In particular, we use an alternative notion to solve the central issue of the consistency property. (The latter means that modifying the graph in a way consistent with a partition should… ▽ More We prove the incompatibility of certain desirable properties of community partition quality functions. Our results generalize the impossibility result of [Kleinberg 2003] by considering sets of weaker properties. In particular, we use an alternative notion to solve the central issue of the consistency property. (The latter means that modifying the graph in a way consistent with a partition should not have counterintuitive effects). Our results clearly show that community partition methods should not be expected to perfectly satisfy all ideally desired properties. We then proceed to show that this incompatibility no longer holds when slightly relaxed versions of the properties are considered, and we provide in fact examples of simple quality functions satisfying these relaxed properties. An experimental study of these quality functions shows a behavior comparable to established methods in some situations, but more debatable results in others. This suggests that defining a notion of good partition in communities probably requires imposing additional properties. △ Less

Submitted 2 March, 2016; originally announced March 2016.

Comments: 17 pages, 3 figures

Using Spontaneous Emission of a Qubit as a Resource for Feedback Control

Authors: P. Campagne-Ibarcq, S. Jezouin, N. Cottet, P. Six, L. Bretheau, F. Mallet, A. Sarlette, P. Rouchon, B. Huard

Abstract: Persistent control of a transmon qubit is performed by a feedback protocol based on continuous heterodyne measurement of its fluorescence. By driving the qubit and cavity with microwave signals whose amplitudes depend linearly on the instantaneous values of the quadratures of the measured fluorescence field, we show that it is possible to stabilize permanently the qubit in any targeted state. Usin… ▽ More Persistent control of a transmon qubit is performed by a feedback protocol based on continuous heterodyne measurement of its fluorescence. By driving the qubit and cavity with microwave signals whose amplitudes depend linearly on the instantaneous values of the quadratures of the measured fluorescence field, we show that it is possible to stabilize permanently the qubit in any targeted state. Using a Josephson mixer as a phase-preserving amplifier, it was possible to reach a total measurement efficiency $η$=35%, leading to a maximum of 59% of excitation and 44% of coherence for the stabilized states. The experiment demonstrates multiple-input multiple-output analog Markovian feedback in the quantum regime. △ Less

Submitted 8 August, 2016; v1 submitted 17 February, 2016; originally announced February 2016.

Comments: Supplementary material can be found as an ancillary object

Journal ref: Phys. Rev. Lett. 117, 060502 (2016)

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

Authors: Remi Azouit, Alain Sarlette, Pierre Rouchon

Abstract: 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 s… ▽ More 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. △ Less

Submitted 17 June, 2016; v1 submitted 12 November, 2015; originally announced November 2015.

Comments: 20 pages, submitted

MSC Class: 37L99; 47B44; 81Q93; 81S22; 81V10

Observing quantum state diffusion by heterodyne detection of fluorescence

Authors: P. Campagne-Ibarcq, P. Six, L. Bretheau, A. Sarlette, M. Mirrahimi, P. Rouchon, B. Huard

Abstract: A qubit can relax by fluorescence, which prompts the release of a photon into its electromagnetic environment. By counting the emitted photons, discrete quantum jumps of the qubit state can be observed. The succession of states occupied by the qubit in a single experiment, its quantum trajectory, depends in fact on the kind of detector. How are the quantum trajectories modified if one measures con… ▽ More A qubit can relax by fluorescence, which prompts the release of a photon into its electromagnetic environment. By counting the emitted photons, discrete quantum jumps of the qubit state can be observed. The succession of states occupied by the qubit in a single experiment, its quantum trajectory, depends in fact on the kind of detector. How are the quantum trajectories modified if one measures continuously the amplitude of the fluorescence field instead? Using a superconducting parametric amplifier, we have performed heterodyne detection of the fluorescence of a superconducting qubit. For each realization of the measurement record, we can reconstruct a different quantum trajectory for the qubit. The observed evolution obeys quantum state diffusion, which is characteristic of quantum measurements subject to zero point fluctuations. Independent projective measurements of the qubit at various times provide a quantitative validation of the reconstructed trajectories. By exploring the statistics of quantum trajectories, we demonstrate that the qubit states span a deterministic surface in the Bloch sphere at each time in the evolution. Additionally, we show that when monitoring fluorescence, coherent superpositions are generated during the decay from excited to ground state. Counterintuitively, measuring light emitted during relaxation can give rise to trajectories with increased excitation probability. △ Less

Submitted 4 November, 2015; originally announced November 2015.

Comments: Supplementary material can be found in the ancillary section

Journal ref: Phys. Rev. X 6, 011002 (2016)

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

Authors: Pierre Six, Philippe Campagne-Ibarcq, Igor Dotsenko, Alain Sarlette, Benjamin Huard, Pierre Rouchon

Abstract: 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 quan… ▽ More 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. △ Less

Submitted 27 November, 2015; v1 submitted 6 October, 2015; originally announced October 2015.

Comments: 11 pages, 4 figures, submitted

Journal ref: Phys. Rev. A 93, 012109 (2016)

Convergence and adiabatic elimination for a driven dissipative quantum harmonic oscillator

Authors: Rémi Azouit, Alain Sarlette, Pierre Rouchon

Abstract: 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… ▽ More 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. △ Less

Submitted 21 March, 2015; originally announced March 2015.

Comments: submitted to IEEE-CDC 2015

Accelerating Consensus by Spectral Clustering and Polynomial Filters

Authors: Simon Apers, Alain Sarlette

Abstract: It is known that polynomial filtering can accelerate the convergence towards average consensus on an undirected network. In this paper the gain of a second-order filtering is investigated. A set of graphs is determined for which consensus can be attained in finite time, and a preconditioner is proposed to adapt the undirected weights of any given graph to achieve fastest convergence with the polyn… ▽ More It is known that polynomial filtering can accelerate the convergence towards average consensus on an undirected network. In this paper the gain of a second-order filtering is investigated. A set of graphs is determined for which consensus can be attained in finite time, and a preconditioner is proposed to adapt the undirected weights of any given graph to achieve fastest convergence with the polynomial filter. The corresponding cost function differs from the traditional spectral gap, as it favors grou** the eigenvalues in two clusters. A possible loss of robustness of the polynomial filter is also highlighted. △ Less

Submitted 4 March, 2015; originally announced March 2015.

Adding a single state memory optimally accelerates symmetric linear maps

Authors: Alain Sarlette

Abstract: Previous papers have proposed to add memory registers to the dynamics of discrete-time linear systems in order to accelerate their convergence. In particular, it has been proved that adding one memory slot per agent allows faster convergence towards average consensus. We here prove that this situation \emph{cannot} be improved by adding more memory slots, when the knowledge about the self-adjoint… ▽ More Previous papers have proposed to add memory registers to the dynamics of discrete-time linear systems in order to accelerate their convergence. In particular, it has been proved that adding one memory slot per agent allows faster convergence towards average consensus. We here prove that this situation \emph{cannot} be improved by adding more memory slots, when the knowledge about the self-adjoint linear map to be accelerated reduces to bounds on its extreme eigenvalues. △ Less

Submitted 9 October, 2015; v1 submitted 1 December, 2014; originally announced December 2014.

Integral Control on Lie Groups

Authors: Zhifei Zhang, Alain Sarlette, Zhihao Ling

Abstract: In this paper, we extend the popular integral control technique to systems evolving on Lie groups. More explicitly, we provide an alternative definition of "integral action" for proportional(-derivative)-controlled systems whose configuration evolves on a nonlinear space, where configuration errors cannot be simply added up to compute a definite integral. We then prove that the proposed integral c… ▽ More In this paper, we extend the popular integral control technique to systems evolving on Lie groups. More explicitly, we provide an alternative definition of "integral action" for proportional(-derivative)-controlled systems whose configuration evolves on a nonlinear space, where configuration errors cannot be simply added up to compute a definite integral. We then prove that the proposed integral control allows to cancel the drift induced by a constant bias in both first order (velocity) and second order (torque) control inputs for fully actuated systems evolving on abstract Lie groups. We illustrate the approach by 3-dimensional motion control applications. △ Less

Submitted 5 February, 2015; v1 submitted 28 October, 2014; originally announced October 2014.

Comments: Resubmitted to Systems and Control Letters, February 2015

MSC Class: 93Bxx; 93Cxx

Symmetrization for Quantum Networks: a continuous-time approach

Authors: Francesci Ticozzi, Luca Mazarella, Alain Sarlette

Abstract: In this paper we propose a continuous-time, dissipative Markov dynamics that asymptotically drives a network of n-dimensional quantum systems to the set of states that are invariant under the action of the subsystem permutation group. The Lindblad-type generator of the dynamics is built with two-body subsystem swap operators, thus satisfying locality constraints, and preserve symmetric observables… ▽ More In this paper we propose a continuous-time, dissipative Markov dynamics that asymptotically drives a network of n-dimensional quantum systems to the set of states that are invariant under the action of the subsystem permutation group. The Lindblad-type generator of the dynamics is built with two-body subsystem swap operators, thus satisfying locality constraints, and preserve symmetric observables. The potential use of the proposed generator in combination with local control and measurement actions is illustrated with two applications: the generation of a global pure state and the estimation of the network size. △ Less

Submitted 14 March, 2014; originally announced March 2014.

Comments: submitted to MTNS 2014

Extending robustness & randomization from Consensus to Symmetrization Algorithms

Authors: Luca Mazzarella, Francesco Ticozzi, Alain Sarlette

Abstract: This work interprets and generalizes consensus-type algorithms as switching dynamics leading to symmetrization of some vector variables with respect to the actions of a finite group. We show how the symmetrization framework we develop covers applications as diverse as consensus on probability distributions (either classical or quantum), uniform random state generation, and open-loop disturbance re… ▽ More This work interprets and generalizes consensus-type algorithms as switching dynamics leading to symmetrization of some vector variables with respect to the actions of a finite group. We show how the symmetrization framework we develop covers applications as diverse as consensus on probability distributions (either classical or quantum), uniform random state generation, and open-loop disturbance rejection by quantum dynamical decoupling. Robust convergence results are explicitly provided in a group-theoretic formulation, both for deterministic and for randomized dynamics. This indicates a way to directly extend the robustness and randomization properties of consensus-type algorithms to more fields of application. △ Less

Submitted 16 June, 2015; v1 submitted 13 November, 2013; originally announced November 2013.

Control limitations from distributed sensing: theory and Extremely Large Telescope application

Authors: Alain Sarlette, Rodolphe Sepulchre

Abstract: We investigate performance bounds for feedback control of distributed plants where the controller can be centralized (i.e. it has access to measurements from the whole plant), but sensors only measure differences between neighboring subsystem outputs. Such "distributed sensing" can be a technological necessity in applications where system size exceeds accuracy requirements by many orders of magnit… ▽ More We investigate performance bounds for feedback control of distributed plants where the controller can be centralized (i.e. it has access to measurements from the whole plant), but sensors only measure differences between neighboring subsystem outputs. Such "distributed sensing" can be a technological necessity in applications where system size exceeds accuracy requirements by many orders of magnitude. We formulate how distributed sensing generally limits feedback performance robust to measurement noise and to model uncertainty, without assuming any controller restrictions (among others, no "distributed control" restriction). A major practical consequence is the necessity to cut down integral action on some modes. We particularize the results to spatially invariant systems and finally illustrate implications of our developments for stabilizing the segmented primary mirror of the European Extremely Large Telescope. △ Less

Submitted 25 September, 2013; v1 submitted 24 April, 2013; originally announced April 2013.

Comments: submitted to Automatica

Consensus for Quantum Networks: From Symmetry to Gossip Iterations

Authors: Luca Mazzarella, Alain Sarlette, Francesco Ticozzi

Abstract: This paper extends the consensus framework, widely studied in the literature on distributed computing and control algorithms, to networks of quantum systems. We define consensus situations on the basis of invariance and symmetry properties, finding four different probabilistic generalizations of classical consensus states. We then extend the gossip consensus algorithm to the quantum setting and pr… ▽ More This paper extends the consensus framework, widely studied in the literature on distributed computing and control algorithms, to networks of quantum systems. We define consensus situations on the basis of invariance and symmetry properties, finding four different probabilistic generalizations of classical consensus states. We then extend the gossip consensus algorithm to the quantum setting and prove its convergence properties, showing how it converges to symmetric states while preserving the expectation of permutation-invariant global observables. △ Less

Submitted 17 March, 2013; originally announced March 2013.

Comments: 14 pages, 2 figures

Journal ref: IEEE Transactions on Automatic Control, 60(1), 158 - 172, 2015