Showing 1–28 of 28 results for author: Pellegrini, C

Quantum model reduction for continuous-time quantum filters

Authors: Tommaso Grigoletto, Clément Pellegrini, Francesco Ticozzi

Abstract: The use of quantum stochastic models is widespread in dynamical reduction, simulation of open systems, feedback control and adaptive estimation. In many applications only part of the information contained in the filter's state is actually needed to reconstruct the target observable quantities; thus, filters of smaller dimensions could be in principle implemented to perform the same task.In this wo… ▽ More The use of quantum stochastic models is widespread in dynamical reduction, simulation of open systems, feedback control and adaptive estimation. In many applications only part of the information contained in the filter's state is actually needed to reconstruct the target observable quantities; thus, filters of smaller dimensions could be in principle implemented to perform the same task.In this work, we propose a systematic method to find, when possible, reduced-order quantum filters that are capable of exactly reproducing the evolution of expectation values of interest. In contrast with existing reduction techniques, the reduced model we obtain is exact and in the form of a Belavkin filtering equation, ensuring physical interpretability.This is attained by leveraging tools from the theory of both minimal realization and non-commutative conditional expectations. The proposed procedure is tested on prototypical examples, laying the groundwork for applications in quantum trajectory simulation and quantum feedback control. △ Less

Submitted 4 February, 2025; v1 submitted 23 January, 2025; originally announced January 2025.

Dark Subspaces and Invariant Measures of Quantum Trajectories

Authors: Tristan Benoist, Clément Pellegrini, Anna Szczepanek

Abstract: Quantum trajectories are Markov processes describing the evolution of a quantum system subject to indirect measurements. They can be viewed as place dependent iterated function systems or the result of products of dependent and non identically distributed random matrices. In this article, we establish a complete classification of their invariant measures. The classification is done in two steps. F… ▽ More Quantum trajectories are Markov processes describing the evolution of a quantum system subject to indirect measurements. They can be viewed as place dependent iterated function systems or the result of products of dependent and non identically distributed random matrices. In this article, we establish a complete classification of their invariant measures. The classification is done in two steps. First, we prove a Markov process on some linear subspaces called dark subspaces, defined in (Maassen, Kümmerer 2006), admits a unique invariant measure. Second, we study the process inside the dark subspaces. Using a notion of minimal family of isometries from a reference space to dark subspaces, we prove a set of measures indexed by orbits of a unitary group is the set of ergodic measures of quantum trajectories. △ Less

Submitted 27 September, 2024; originally announced September 2024.

Comments: 54 pages, 6 figures

MSC Class: 60J05; 81P16; 81R05; 22E70

Exponentially fast selection of sectors for quantum trajectories beyond non demolition measurements

Authors: Tristan Benoist, Linda Greggio, Clément Pellegrini

Abstract: We show that, in long time, quantum trajectories select an invariant subspace of the Hilbert space of the system being indirectly measured. This selection is shown to be exponentially fast in an almost sure sense and in average. This result generalizes a known result for non demolition measurements to arbitrary repeated indirect measurements. Our proofs are based on the introduction of a deformati… ▽ More We show that, in long time, quantum trajectories select an invariant subspace of the Hilbert space of the system being indirectly measured. This selection is shown to be exponentially fast in an almost sure sense and in average. This result generalizes a known result for non demolition measurements to arbitrary repeated indirect measurements. Our proofs are based on the introduction of a deformation of the original instrument to an equivalent one with a unique invariant state. △ Less

Submitted 11 July, 2025; v1 submitted 26 July, 2024; originally announced July 2024.

Comments: Revised version of the article incorporating a clearer definition of 'sector', following a suggestion from an anonymous reviewer

MSC Class: 81P15; 81P16

Quantum trajectory of the one atom maser

Authors: Tristan Benoist, Laurent Bruneau, Clément Pellegrini

Abstract: The evolution of a quantum system undergoing repeated indirect measurements naturally leads to a Markov chain on the set of states which is called a quantum trajectory. In this paper we consider a specific model of such a quantum trajectory associated to the one-atom maser model. It describes the evolution of one mode of the quantized electromagnetic field in a cavity interacting with two-level at… ▽ More The evolution of a quantum system undergoing repeated indirect measurements naturally leads to a Markov chain on the set of states which is called a quantum trajectory. In this paper we consider a specific model of such a quantum trajectory associated to the one-atom maser model. It describes the evolution of one mode of the quantized electromagnetic field in a cavity interacting with two-level atoms. When the system is non-resonant we prove that this Markov chain admits a unique invariant probability measure. We moreover prove convergence in the Wasserstein metric towards this invariant measure. These results rely on a purification theorem: almost surely the state of the system approaches the set of pure states. Compared to similar results in the literature, the system considered here is infinite dimensional. While existence of an invariant measure is a consequence of the compactness of the set of states in finite dimension, in infinite dimension existence of an invariant measure is not free. Furthermore usual purification criterions in finite dimension have no straightforward equivalent in infinite dimension. △ Less

Submitted 29 March, 2024; originally announced March 2024.

MSC Class: 60J05; 81P15; 81P16

Quantum Trajectories. Spectral Gap, Quasi-compactness & Limit Theorems

Authors: Tristan Benoist, Arnaud Hautecoeur, Clément Pellegrini

Abstract: Quantum trajectories are Markov processes modeling the evolution of a quantum system subjected to repeated independent measurements. Inspired by the theory of random products of matrices, it has been shown that these Markov processes admit a unique invariant measure under a purification and an irreducibility assumptions. This paper is devoted to the spectral study of the underlying Markov operator… ▽ More Quantum trajectories are Markov processes modeling the evolution of a quantum system subjected to repeated independent measurements. Inspired by the theory of random products of matrices, it has been shown that these Markov processes admit a unique invariant measure under a purification and an irreducibility assumptions. This paper is devoted to the spectral study of the underlying Markov operator. Using Quasi-compactness, it is shown that this operator admits a spectral gap and the peripheral spectrum is described in a precise manner. Next two perturbations of this operator are studied. This allows to derive limit theorems (Central Limit Theorem, Berry-Esseen bounds and Large Deviation Principle) for the empirical mean of functions of the Markov chain as well as the Lyapounov exponent of the underlying random dynamical system. △ Less

Submitted 24 March, 2025; v1 submitted 6 February, 2024; originally announced February 2024.

Comments: with respect to v1, shorter proof of former Theorem 3.3 (on the advice of anonymous referee) and minor corrections. Former Appendix B has been deleted accordingly. To be published in JFA

Algebra of Nonlocal Boxes and the Collapse of Communication Complexity

Authors: Pierre Botteron, Anne Broadbent, Reda Chhaibi, Ion Nechita, Clément Pellegrini

Abstract: Communication complexity quantifies how difficult it is for two distant computers to evaluate a function f(X,Y), where the strings X and Y are distributed to the first and second computer respectively, under the constraint of exchanging as few bits as possible. Surprisingly, some nonlocal boxes, which are resources shared by the two computers, are so powerful that they allow to collapse communicat… ▽ More Communication complexity quantifies how difficult it is for two distant computers to evaluate a function f(X,Y), where the strings X and Y are distributed to the first and second computer respectively, under the constraint of exchanging as few bits as possible. Surprisingly, some nonlocal boxes, which are resources shared by the two computers, are so powerful that they allow to collapse communication complexity, in the sense that any Boolean function f can be correctly estimated with the exchange of only one bit of communication. The Popescu-Rohrlich (PR) box is an example of such a collapsing resource, but a comprehensive description of the set of collapsing nonlocal boxes remains elusive. In this work, we carry out an algebraic study of the structure of wirings connecting nonlocal boxes, thus defining the notion of the "product of boxes" $P\boxtimes Q$, and we show related associativity and commutativity results. This gives rise to the notion of the "orbit of a box", unveiling surprising geometrical properties about the alignment and parallelism of distilled boxes. The power of this new framework is that it allows us to prove previously-reported numerical observations concerning the best way to wire consecutive boxes, and to numerically and analytically recover recently-identified noisy PR boxes that collapse communication complexity for different types of noise models. △ Less

Submitted 14 June, 2024; v1 submitted 1 December, 2023; originally announced December 2023.

Comments: 32 + 3 pages, 13 figures

Journal ref: Quantum 8, 1402 (2024)

Exponential Selection and Feedback Stabilization of Invariant Subspaces of Quantum Trajectories

Authors: Nina H. Amini, Maël Bompais, Clément Pellegrini

Abstract: We show that quantum trajectories become exponentially fast supported by one of their minimal invariant subspaces. Exponential convergence is shown in expectation using Lyapunov techniques. The proof is based on an in-depth study of the identifiability of the probability distributions generated in the different subspaces. We furthermore introduce a feedback control strategy that allows for the tar… ▽ More We show that quantum trajectories become exponentially fast supported by one of their minimal invariant subspaces. Exponential convergence is shown in expectation using Lyapunov techniques. The proof is based on an in-depth study of the identifiability of the probability distributions generated in the different subspaces. We furthermore introduce a feedback control strategy that allows for the targeted convergence towards a desired subspace. This convergence is also achieved at exponential speed. △ Less

Submitted 6 October, 2023; originally announced October 2023.

Limit theorems for Quantum Trajectories

Authors: Tristan Benoist, Jan-Luka Fatras, Clément Pellegrini

Abstract: Quantum trajectories are Markov processes modeling the evolution of a quantum system subjected to repeated independent measurements. Under purification and irreducibility assumptions, these Markov processes admit a unique invariant measure - see Benoist et al. Probab. Theory Relat. Fields 2019. In this article we prove, finer limit theorems such as Law of Large Numbers (LLN), Functional Central Li… ▽ More Quantum trajectories are Markov processes modeling the evolution of a quantum system subjected to repeated independent measurements. Under purification and irreducibility assumptions, these Markov processes admit a unique invariant measure - see Benoist et al. Probab. Theory Relat. Fields 2019. In this article we prove, finer limit theorems such as Law of Large Numbers (LLN), Functional Central Limit Theorem, Law of Iterated Logarithm and Moderate Deviation Principle. The proof of the LLN is based on Birkhoff's ergodic theorem and an analysis of harmonic functions. The other theorems are proved using martingale approximation of empirical sums. △ Less

Submitted 12 July, 2023; v1 submitted 13 February, 2023; originally announced February 2023.

Comments: 24 pages, no figures, minor modifications after reviewers comments

Emergence of jumps in quantum trajectories via homogeneization

Authors: Tristan Benoist, Cédric Bernardin, Raphaël Chetrite, Reda Chhaibi, Joseph Najnudel, Clément Pellegrini

Abstract: In the strong noise regime, we study the homogeneization of quantum trajectories i.e. stochastic processes appearing in the context of quantum measurement. When the generator of the average semi-group can be separated into three distinct time scales, we start by describing a homogenized limiting semi-group. This result is of independent interest and is formulated outside of the scope of quantum… ▽ More In the strong noise regime, we study the homogeneization of quantum trajectories i.e. stochastic processes appearing in the context of quantum measurement. When the generator of the average semi-group can be separated into three distinct time scales, we start by describing a homogenized limiting semi-group. This result is of independent interest and is formulated outside of the scope of quantum trajectories. Going back to the quantum context, we show that, in the Meyer-Zheng topology, the time-continuous quantum trajectories converge weakly to the discontinuous trajectories of a pure jump Markov process. Notably, this convergence cannot hold in the usual Skorokhod topology. △ Less

Submitted 25 October, 2021; v1 submitted 2 March, 2021; originally announced March 2021.

Comments: 48 pages, no figures. v1: Preliminary version. v2: Minor changes in presentation, submitted version

Journal ref: Commun. Math. Phys. 387, 1821-1867 (2021)

Classical Noises Emerging from Quantum Environments

Authors: Stephane Attal, Julien Deschamps, Clement Pellegrini

Abstract: In the framework of quantum open systems, that is, simple quantum systems coupled to quantum baths, our aim is to characterize those actions of the quantum environment which give rise to dynamics dictated by classical noises. First, we consider the discrete time scheme, through the model of repeated quantum interactions. We explore those unitary interactions which make the environment acting as if… ▽ More In the framework of quantum open systems, that is, simple quantum systems coupled to quantum baths, our aim is to characterize those actions of the quantum environment which give rise to dynamics dictated by classical noises. First, we consider the discrete time scheme, through the model of repeated quantum interactions. We explore those unitary interactions which make the environment acting as if it were a classical noise, that is, dynamics which ought to random walks on the unitary group of the small system. We show that this characterization is intimately related to the notion of complex obtuse random variables. These particular random variables have an associated 3-tensor whose symmetries make it diagonalizable in some orthonormal basis. We show how this diagonalisation entirely describes the behavior of the random walk associated to the action of the environment. In particular this 3-tensor and its diagonalization characterize the behavior of the continuous-time limits; they characterize the directions along which the limit process is of diffusive or of Poisson nature. △ Less

Submitted 22 July, 2019; originally announced July 2019.

Comments: 33 pages

MSC Class: 35Q99; 81S25; 60Gxx

Invariant measure for stochastic Schrödinger equations

Authors: Tristan Benoist, Martin Fraas, Yan Pautrat, Clément Pellegrini

Abstract: Quantum trajectories are Markov processes that describe the time-evolution of a quantum system undergoing continuous indirect measurement. Mathematically, they are defined as solutions of the so-called "Stochastic Schrödinger Equations", which are nonlinear stochastic differential equations driven by Poisson and Wiener processes. This paper is devoted to the study of the invariant measures of quan… ▽ More Quantum trajectories are Markov processes that describe the time-evolution of a quantum system undergoing continuous indirect measurement. Mathematically, they are defined as solutions of the so-called "Stochastic Schrödinger Equations", which are nonlinear stochastic differential equations driven by Poisson and Wiener processes. This paper is devoted to the study of the invariant measures of quantum trajectories. Particularly, we prove that the invariant measure is unique under an ergodicity condition on the mean time evolution, and a "purification" condition on the generator of the evolution. We further show that quantum trajectories converge in law exponentially fast towards this invariant measure. We illustrate our results with examples where we can derive explicit expressions for the invariant measure. △ Less

Submitted 21 March, 2020; v1 submitted 19 July, 2019; originally announced July 2019.

Comments: As accepted in Ann. Henri Poincaré

Recurrence and transience of continuous-time open quantum walks

Authors: Ivan Bardet, Hugo Bringuier, Yan Pautrat, Clement Pellegrini

Abstract: This paper is devoted to the study of continuous-time processes known as continuous-time open quantum walks (CTOQWs). A CTOQW represents the evolution of a quantum particle constrained to move on a discrete graph, but also has internal degrees of freedom modeled by a state (in the quantum mechanical sense), and contain as a special case continuous-time Markov chains on graphs. Recurrence and trans… ▽ More This paper is devoted to the study of continuous-time processes known as continuous-time open quantum walks (CTOQWs). A CTOQW represents the evolution of a quantum particle constrained to move on a discrete graph, but also has internal degrees of freedom modeled by a state (in the quantum mechanical sense), and contain as a special case continuous-time Markov chains on graphs. Recurrence and transience of a vertex are an important notion in the study of Markov chains, and it is known that all vertices must be of the same nature if the Markov chain is irreducible. In the present paper we address the corresponding results in the context of irreducible CTOQWs. Because of the "quantum" internal degrees of freedom, CTOQWs exhibit non standard behavior, and the classification of recurrence and transience properties obeys a "trichotomy" rather than the classical dichotomy. Essential tools in this paper are the so-called "quantum trajectories" which are jump stochastic differential equations which can be associated with CTOQWs. △ Less

Submitted 9 March, 2018; originally announced March 2018.

Quantum non demolition measurements: parameter estimation for mixtures of multinomials

Authors: Tristan Benoist, F Gamboa, C Pellegrini

Abstract: In Quantum Non Demolition measurements, the sequence of observations is distributed as a mixture of multinomial random variables. Parameters of the dynamics are naturally encoded into this family of distributions. We show the local asymptotic mixed normality of the underlying statistical model and the consistency of the maximum likelihood estimator. Furthermore, we prove the asymptotic optimality… ▽ More In Quantum Non Demolition measurements, the sequence of observations is distributed as a mixture of multinomial random variables. Parameters of the dynamics are naturally encoded into this family of distributions. We show the local asymptotic mixed normality of the underlying statistical model and the consistency of the maximum likelihood estimator. Furthermore, we prove the asymptotic optimality of this estimator as it saturates the usual Cramér Rao bound. △ Less

Submitted 19 July, 2017; originally announced July 2017.

Invariant Measure for Quantum Trajectories

Authors: Tristan Benoist, Martin Fraas, Yan Pautrat, Clément Pellegrini

Abstract: We study a class of Markov chains that model the evolution of a quantum system subject to repeated measurements. Each Markov chain in this class is defined by a measure on the space of matrices. It is then given by a random product of correlated matrices taken from the support of the defining measure. We give natural conditions on this support that imply that the Markov chain admits a unique invar… ▽ More We study a class of Markov chains that model the evolution of a quantum system subject to repeated measurements. Each Markov chain in this class is defined by a measure on the space of matrices. It is then given by a random product of correlated matrices taken from the support of the defining measure. We give natural conditions on this support that imply that the Markov chain admits a unique invariant probability measure. We moreover prove the geometric convergence towards this invariant measure in the Wasserstein metric. Standard techniques from the theory of products of random matrices cannot be applied under our assumptions, and new techniques are developed, such as maximum likelihood-type estimations. △ Less

Submitted 31 March, 2017; originally announced March 2017.

Comments: 21 pages, no figures

Exponential Stability of Subspaces for Quantum Stochastic Master Equations

Authors: Tristan Benoist, Clément Pellegrini, Francesco Ticozzi

Abstract: We study the stability of quantum pure states and, more generally, subspaces for stochastic dynamics that describe continuously--monitored systems. We show that the target subspace is almost surely invariant if and only if it is invariant for the average evolution, and that the same equivalence holds for the global asymptotic stability. Moreover, we prove that a strict linear Lyapunov function for… ▽ More We study the stability of quantum pure states and, more generally, subspaces for stochastic dynamics that describe continuously--monitored systems. We show that the target subspace is almost surely invariant if and only if it is invariant for the average evolution, and that the same equivalence holds for the global asymptotic stability. Moreover, we prove that a strict linear Lyapunov function for the average evolution always exists, and latter can be used to derive sharp bounds on the Lyapunov exponents of the associated semigroup. Nonetheless, we also show that taking into account the measurements can lead to an improved bound on stability rate for the stochastic, non-averaged dynamics. We discuss explicit examples where the almost sure stability rate can be made arbitrary large while the average one stays constant. △ Less

Submitted 17 January, 2017; v1 submitted 2 December, 2015; originally announced December 2015.

Comments: Structure and style update after review

Journal ref: Annales Henri Poincare', 18:2045, 2017

On some classes of bipartite unitary operators

Authors: Julien Deschamps, Ion Nechita, Clement Pellegrini

Abstract: We investigate unitary operators acting on a tensor product space, with the property that the quantum channels they generate, via the Stinespring dilation theorem, are of a particular type, independently of the state of the ancilla system in the Stinespring relation. The types of quantum channels we consider are those of interest in quantum information theory: unitary conjugations, constant channe… ▽ More We investigate unitary operators acting on a tensor product space, with the property that the quantum channels they generate, via the Stinespring dilation theorem, are of a particular type, independently of the state of the ancilla system in the Stinespring relation. The types of quantum channels we consider are those of interest in quantum information theory: unitary conjugations, constant channels, unital channels, mixed unitary channels, PPT channels, and entanglement breaking channels. For some of the classes of bipartite unitary operators corresponding to the above types of channels, we provide explicit characterizations, necessary and/or sufficient conditions for membership, and we compute the dimension of the corresponding algebraic variety. Inclusions between these classes are considered, and we show that for small dimensions, many of these sets are identical. △ Less

Submitted 7 October, 2015; v1 submitted 22 September, 2015; originally announced September 2015.

Comments: v2: references [14,15] added, as well as various comments and clarifications

Journal ref: J. Phys. A: Math. Theor. 49 335301 (2016)

Complex Obtuse Random Walks and their Continuous-Time Limits

Authors: S. Attal, J. Deschamps, C. Pellegrini

Abstract: We study a particular class of complex-valued random variables and their associated random walks: the complex obtuse random variables. They are the generalization to the complex case of the real-valued obtuse random variables which were introduced in \cite{A-E} in order to understand the structure of normal martingales in $\RR^n$.The extension to the complex case is mainly motivated by considerati… ▽ More We study a particular class of complex-valued random variables and their associated random walks: the complex obtuse random variables. They are the generalization to the complex case of the real-valued obtuse random variables which were introduced in \cite{A-E} in order to understand the structure of normal martingales in $\RR^n$.The extension to the complex case is mainly motivated by considerations from Quantum Statistical Mechanics, in particular for the seek of a characterization of those quantum baths acting as classical noises. The extension of obtuse random variables to the complex case is far from obvious and hides very interesting algebraical structures. We show that complex obtuse random variables are characterized by a 3-tensor which admits certain symmetries which we show to be the exact 3-tensor analogue of the normal character for 2-tensors (i.e. matrices), that is, a necessary and sufficient condition for being diagonalizable in some orthonormal basis. We discuss the passage to the continuous-time limit for these random walks and show that they converge in distribution to normal martingales in $\CC^N$. We show that the 3-tensor associated to these normal martingales encodes their behavior, in particular the diagonalization directions of the 3-tensor indicate the directions of the space where the martingale behaves like a diffusion and those where it behaves like a Poisson process. We finally prove the convergence, in the continuous-time limit, of the corresponding multiplication operators on the canonical Fock space, with an explicit expression in terms of the associated 3-tensor again. △ Less

Submitted 27 February, 2014; v1 submitted 13 December, 2013; originally announced December 2013.

Entanglement of Bipartite Quantum Systems driven by Repeated Interactions

Authors: S. Attal, J. Deschamps, C. Pellegrini

Abstract: We consider a non-interacting bipartite quantum system $\mathcal H_S^A\otimes\mathcal H_S^B$ undergoing repeated quantum interactions with an environment modeled by a chain of independant quantum systems interacting one after the other with the bipartite system. The interactions are made so that the pieces of environment interact first with $\mathcal H_S^A$ and then with $\mathcal H_S^B$. Even tho… ▽ More We consider a non-interacting bipartite quantum system $\mathcal H_S^A\otimes\mathcal H_S^B$ undergoing repeated quantum interactions with an environment modeled by a chain of independant quantum systems interacting one after the other with the bipartite system. The interactions are made so that the pieces of environment interact first with $\mathcal H_S^A$ and then with $\mathcal H_S^B$. Even though the bipartite systems are not interacting, the interactions with the environment create an entanglement. We show that, in the limit of short interaction times, the environment creates an effective interaction Hamiltonian between the two systems. This interaction Hamiltonian is explicitly computed and we show that it keeps track of the order of the successive interactions with $\mathcal H_S^A$ and $\mathcal H_S^B$. Particular physical models are studied, where the evolution of the entanglement can be explicitly computed. We also show the property of return of equilibrium and thermalization for a family of examples. △ Less

Submitted 13 December, 2013; originally announced December 2013.

Large Time Behaviour and Convergence Rate for Non Demolition Quantum Trajectories

Authors: Tristan Benoist, Clement Pellegrini

Abstract: A quantum system S undergoing continuous time measurement is usually described by a jump-diffusion stochastic differential equation. Such an equation is called a stochastic master equation and its solution is called a quantum trajectory. This solution describes actually the evolution of the state of S. In the context of Quantum Non Demolition measurement, we investigate the large time behavior of… ▽ More A quantum system S undergoing continuous time measurement is usually described by a jump-diffusion stochastic differential equation. Such an equation is called a stochastic master equation and its solution is called a quantum trajectory. This solution describes actually the evolution of the state of S. In the context of Quantum Non Demolition measurement, we investigate the large time behavior of this solution. It is rigorously shown that, for large time, this solution behaves as if a direct Von Neumann measurement has been performed at time 0. In particular the solution converges to a random pure state which is related to the wave packet reduction postulate. Using theory of Girsanov transformation, we determine precisely the exponential rate of convergence towards this random state. The important problem of state estimation (used in experiment) is also investigated. △ Less

Submitted 6 June, 2013; originally announced June 2013.

Journal ref: Commun. Math. Phys. 331, 703-723 (2014)

A universal set of qubit quantum channels

Authors: Daniel Braun, Olivier Giraud, Ion Nechita, Clement Pellegrini, Marko Znidaric

Abstract: We investigate the set of quantum channels acting on a single qubit. We provide an alternative, compact generalization of the Fujiwara-Algoet conditions for complete positivity to non-unital qubit channels, which we then use to characterize the possible geometric forms of the pure output of the channel. We provide universal sets of quantum channels for all unital qubit channels as well as for all… ▽ More We investigate the set of quantum channels acting on a single qubit. We provide an alternative, compact generalization of the Fujiwara-Algoet conditions for complete positivity to non-unital qubit channels, which we then use to characterize the possible geometric forms of the pure output of the channel. We provide universal sets of quantum channels for all unital qubit channels as well as for all extremal (not necessarily unital) qubit channels, in the sense that all qubit channels in these sets can be obtained by concatenation of channels in the corresponding universal set. We also show that our universal sets are essentially minimal. △ Less

Submitted 6 March, 2014; v1 submitted 3 June, 2013; originally announced June 2013.

Comments: 34 pages of revtex, 3 figures. v2: minor typos corrected

Journal ref: J. Phys. A: Math. Theor. 47 135302 (2014)

Random pure quantum states via unitary Brownian motion

Authors: Ion Nechita, Clément Pellegrini

Abstract: We introduce a new family of probability distributions on the set of pure states of a finite dimensional quantum system. Without any a priori assumptions, the most natural measure on the set of pure state is the uniform (or Haar) measure. Our family of measures is indexed by a time parameter $t$ and interpolates between a deterministic measure ($t=0$) and the uniform measure ($t=\infty$). The meas… ▽ More We introduce a new family of probability distributions on the set of pure states of a finite dimensional quantum system. Without any a priori assumptions, the most natural measure on the set of pure state is the uniform (or Haar) measure. Our family of measures is indexed by a time parameter $t$ and interpolates between a deterministic measure ($t=0$) and the uniform measure ($t=\infty$). The measures are constructed using a Brownian motion on the unitary group $\mathcal U_N$. Remarkably, these measures have a $\mathcal U_{N-1}$ invariance, whereas the usual uniform measure has a $\mathcal U_N$ invariance. We compute several averages with respect to these measures using as a tool the Laplace transform of the coordinates. △ Less

Submitted 25 January, 2012; originally announced January 2012.

Journal ref: Electron. Commun. Probab. 18 (2013), no. 27, 1-13

Stochastic Master Equations in Thermal Environment

Authors: S Attal, C Pellegrini

Abstract: We derive the stochastic master equations which describe the evolution of open quantum systems in contact with a heat bath and undergoing indirect measurements. These equations are obtained as a limit of a quantum repeated measurement model where we consider a small system in contact with an infinite chain at positive temperature. At zero temperature it is well-known that one obtains stochastic di… ▽ More We derive the stochastic master equations which describe the evolution of open quantum systems in contact with a heat bath and undergoing indirect measurements. These equations are obtained as a limit of a quantum repeated measurement model where we consider a small system in contact with an infinite chain at positive temperature. At zero temperature it is well-known that one obtains stochastic differential equations of jump-diffusion type. At strictly positive temperature, we show that only pure diffusion type equations are relevant. △ Less

Submitted 20 April, 2010; originally announced April 2010.

Return to equilibrium for some quantum trajectories

Authors: S Attal, C Pellegrini

Abstract: We consider the situation of a two-level quantum system undergoing a continuous indirect measurement, giving rise to so-called "quantum trajectories". We first describe these quantum trajectories in a physically realistic discrete-time setup and we then justify, by going to the continuous-time limit, the "stochastic Schrödinger equation" attached to this model. We prove return to equilibrium prope… ▽ More We consider the situation of a two-level quantum system undergoing a continuous indirect measurement, giving rise to so-called "quantum trajectories". We first describe these quantum trajectories in a physically realistic discrete-time setup and we then justify, by going to the continuous-time limit, the "stochastic Schrödinger equation" attached to this model. We prove return to equilibrium properties for these equations. △ Less

Submitted 20 April, 2010; originally announced April 2010.

Comments: 24 pages

Quantum Trajectories in Random Environment: the Statistical Model for a Heat Bath

Authors: Ion Nechita, Clément Pellegrini

Abstract: In this article, we derive the stochastic master equations corresponding to the statistical model of a heat bath. These stochastic differential equations are obtained as continuous time limits of discrete models of quantum repeated measurements. Physically, they describe the evolution of a small system in contact with a heat bath undergoing continuous measurement. The equations obtained in the p… ▽ More In this article, we derive the stochastic master equations corresponding to the statistical model of a heat bath. These stochastic differential equations are obtained as continuous time limits of discrete models of quantum repeated measurements. Physically, they describe the evolution of a small system in contact with a heat bath undergoing continuous measurement. The equations obtained in the present work are qualitatively different from the ones derived in \cite{A1P1}, where the Gibbs model of heat bath has been studied. It is shown that the statistical model of a heat bath provides clear physical interpretation in terms of emissions and absorptions of photons. Our approach yields models of random environment and unravelings of stochastic master equations. The equations are rigorously obtained as solutions of martingale problems using the convergence of Markov generators. △ Less

Submitted 19 August, 2009; originally announced August 2009.

Journal ref: Confluentes Mathematici 1, 2 (2009) 249-289

Diffusion Approximation of Stochastic Master Equations with Jumps

Authors: Clement Pellegrini, Francesco Petruccione

Abstract: In the presence of quantum measurements with direct photon detection the evolution of open quantum systems is usually described by stochastic master equations with jumps. Heuristically, from these equations one can obtain diffusion models as approximation. A necessary condition for a general diffusion approximation for jump master equations is presented. This approximation is rigorously proved b… ▽ More In the presence of quantum measurements with direct photon detection the evolution of open quantum systems is usually described by stochastic master equations with jumps. Heuristically, from these equations one can obtain diffusion models as approximation. A necessary condition for a general diffusion approximation for jump master equations is presented. This approximation is rigorously proved by using techniques for Markov process which are based upon the convergence of Markov generators and martingale problems. This result is illustrated by rigorously obtaining the diffusion approximation for homodyne and heterodyne detection. △ Less

Submitted 23 September, 2009; v1 submitted 23 July, 2009; originally announced July 2009.

Comments: 15 pages

Non Markovian Quantum Repeated Interactions and Measurements

Authors: C Pellegrini, F Petruccione

Abstract: A non-Markovian model of quantum repeated interactions between a small quantum system and an infinite chain of quantum systems is presented. By adapting and applying usual pro jection operator techniques in this context, discrete versions of the integro-differential and time-convolutioness Master equations for the reduced system are derived. Next, an intuitive and rigorous description of the ind… ▽ More A non-Markovian model of quantum repeated interactions between a small quantum system and an infinite chain of quantum systems is presented. By adapting and applying usual pro jection operator techniques in this context, discrete versions of the integro-differential and time-convolutioness Master equations for the reduced system are derived. Next, an intuitive and rigorous description of the indirect quantum measurement principle is developed and a discrete non Markovian stochastic Master equation for the open system is obtained. Finally, the question of unravelling in a particular model of non-Markovian quantum interactions is discussed. △ Less

Submitted 23 March, 2009; originally announced March 2009.

Comments: 22 pages

Existence, uniqueness and approximation for stochastic Schrodinger equation: the Poisson case

Authors: Clement Pellegrini

Abstract: In quantum physics, recent investigations deal with the so-called "quantum trajectory" theory. Heuristic rules are usually used to give rise to "stochastic Schrodinger equations" which are stochastic differential equations of non-usual type describing the physical models. These equations pose tedious problems in terms of mathematical justification: notion of solution, existence, uniqueness, just… ▽ More In quantum physics, recent investigations deal with the so-called "quantum trajectory" theory. Heuristic rules are usually used to give rise to "stochastic Schrodinger equations" which are stochastic differential equations of non-usual type describing the physical models. These equations pose tedious problems in terms of mathematical justification: notion of solution, existence, uniqueness, justification... In this article, we concentrate on a particular case: the Poisson case. Random measure theory is used in order to give rigorous sense to such equations. We prove existence and uniqueness of a solution for the associated stochastic equation. Furthermore, the stochastic model is physically justified by proving that the solution can be obtained as a limit of a concrete discrete time physical model. △ Less

Submitted 6 March, 2009; v1 submitted 24 September, 2007; originally announced September 2007.

Comments: 35 pages

Existence, uniqueness and approximation of a stochastic Schrödinger equation: the diffusive case

Authors: Clément Pellegrini

Abstract: Recent developments in quantum physics make heavy use of so-called "quantum trajectories." Mathematically, this theory gives rise to "stochastic Schrödinger equations", that is, perturbation of Schrödinger-type equations under the form of stochastic differential equations. But such equations are in general not of the usual type as considered in the literature. They pose a serious problem in term… ▽ More Recent developments in quantum physics make heavy use of so-called "quantum trajectories." Mathematically, this theory gives rise to "stochastic Schrödinger equations", that is, perturbation of Schrödinger-type equations under the form of stochastic differential equations. But such equations are in general not of the usual type as considered in the literature. They pose a serious problem in terms of justifying the existence and uniqueness of a solution, justifying the physical pertinence of the equations. In this article we concentrate on a particular case: the diffusive case, for a two-level system. We prove existence and uniqueness of the associated stochastic Schrödinger equation. We physically justify the equations by proving that they are a continuous-time limit of a concrete physical procedure for obtaining a quantum trajectory. △ Less

Submitted 21 January, 2009; v1 submitted 11 September, 2007; originally announced September 2007.

Comments: Published in at http://dx.doi.org/10.1214/08-AOP391 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP391 MSC Class: 60F05; 60G35 (Primary); 60J60 (Secondary)

Journal ref: Annals of Probability 2008, Vol. 36, No. 6, 2332-2353