In the study of open quantum systems modeled by a unitary evolution of a bipartite Hilbert space, we address the question of which parts of the environment can be said to have a "classical action" on the system, in the sense of acting as a classical stochastic process. Our method relies on the definition of the Environment Algebra, a relevant von Neumann algebra of the environment. With this algebra we define the classical parts of the environment and prove a decomposition between a maximal classical part and a quantum part. Then we investigate what other information can be obtained via this algebra, which leads us to define a more pertinent algebra: the Environment Action Algebra. This second algebra is linked to the minimal Stinespring representations induced by the unitary evolution on the system. Finally in finite dimension we give a characterization of both algebras in terms of the spectrum of a certain completely positive map acting on the states of the environment.
In the study of open quantum systems modeled by a unitary evolution of a bipartite Hilbert space, we address the question of which parts of the environment can be said to have a "classical action" on the system, in the sense of acting as a classical stochastic process. Our method relies on the definition of the Environment Algebra, a relevant von Neumann algebra of the environment. With this algebra we define the classical parts of the environment and prove a decomposition between a maximal classical part and a quantum part. Then we investigate what other information can be obtained via this algebra, which leads us to define a more pertinent algebra: the Environment Action Algebra. This second algebra is linked to the minimal Stinespring representations induced by the unitary evolution on the system. Finally in finite dimension we give a characterization of both algebras in terms of the spectrum of a certain completely positive map acting on the states of the environment.
In the thesis, models of quantum systems characterized by discrete time dynamics are presented and applied to different problems. More specifically, aspects of excitation transport, quantum state transfer and thermalization are investigated mainly within the framework of quantum cellular automata (QCA), which are discrete time evolution quantum systems defined on a regular lattice of, in this case, qubits. The peculiarities of QCA, together with the restriction to the first excitation sector of the Hilbert space, make it possible to define a transport dynamics on a one dimensional lattice that encompasses all classical Markov chains, as well as maps where quantum coherence between sites can build up over time. This allows for the possibility to make a direct comparison between a fully classical dynamics and a dynamics affected by quantum effects, which is of relevance both in the field of quantum biology, especially regarding the transport of electronic excitations in photosynthetic systems, and in quantum computing when dealing with the transport of an unknown quantum state. In a quantum thermodynamics context, instead, QCA can serve the purpose to validate arguments of tipicality that have been brought forward in recent years in order to demonstrate the thermalization of closed quantum systems (i.e. the tendency of any small subsystems to evolve towards the maximally mixed state). Numerical results concerning this issue are presented. Finally, a modelization of scattering-like processes, where the scattering consists of random unitary interactions between an environment and part of a quantum bipartite system is discussed. Relevant properties of the resulting state such as its mean purity and the correlations between the interacting and the “sheltered” part of the system can be analitically evaluated, and their fluctuations bounded.
In this paper we return to the problem of reduced-state dynamics in the presence of an interacting environment. The question we investigate is how to appropriately model a particular system evolution given some knowledge of the system-environment interaction. When the experimenter takes into account certain known features of the interaction such as its invariant subspaces or its non-local content, it may not be possible to consistently model the system evolution over a certain time interval using a standard Stinespring dilation, which assumes the system and environment to be initially uncorrelated. Simple examples demonstrating how restrictions can emerge are presented below. When the system and environment are qubits, we completely characterize the set of unitaries that always generate reduced dynamics capable of being modeled using a consistent Stinespring dilation. Finally, we show how any initial correlations between the system and environment can be certified by observing the system transformation alone during certain joint evolutions.
Based on the superposition principle, any two states of a quantum system may be coherently superposed to yield a novel state. Such a simple construction is at the heart of genuinely quantum phenomena such as interference of massive particles or quantum entanglement. Yet, these superpositions are susceptible to environmental influences, eventually leading to a complete disappearance of the system's quantum character. In principle, two distinct mechanisms responsible for this process of decoherence may be identified. In a classical decoherence setting, on the one hand, stochastic fluctuations of classical, ambient fields are the relevant source. This approach leads to a formulation in terms of stochastic Hamiltonians; the dynamics is unitary, yet stochastic. In a quantum decoherence scenario, on the other hand, the system is described in the language of open quantum systems. Here, the environmental degrees of freedom are to be treated quantum mechanically, too. The loss of coherence is then a direct consequence of growing correlations between system and environment. The purpose of the present thesis is to clarify the distinction between classical and quantum decoherence. It is known that there exist decoherence processes that are not reconcilable with the classical approach. We deem it desirable to have a simple, feasible model at hand of which it is known that it cannot be understood in terms of fluctuating fields. Indeed, we find such an example of true quantum decoherence. The calculation of the norm distance to the convex set of classical dynamics allows for a quantitative assessment of the results. In order to incorporate genuine irreversibility, we extend the original toy model by an additional bath. Here, the fragility of the true quantum nature of the dynamics under increasing coupling strength is evident. The geometric character of our findings offers remarkable insights into the geometry of the set of non-classical decoherence maps. We give a very intuitive geometrical measure---a volume---for the quantumness of dynamics. This enables us to identify the decoherence process of maximum quantumness, that is, having maximal distance to the convex set of dynamics consistent with the stochastic, classical approach. In addition, we observe a distinct correlation between the decoherence potential of a given dynamics and its achievable quantumness. In a last step, we study the notion of quantum decoherence in the context of a bipartite system which couples locally to the subsystems' respective environments. A simple argument shows that in the case of a separable environment the resulting dynamics is of classical nature. Based on a realistic experiment, we analyze the impact of entanglement between the local environments on the nature of the dynamics. Interestingly, despite the variety of entangled environmental states scrutinized, no single instance of true quantum decoherence is encountered. In part, the identification of the classical nature relies on numerical schemes. However, for a large class of dynamics, we are able to exclude analytically the true quantum nature.
Using techniques from the theory of von Neumann algebras, we propose a framework for addressing questions of controllability of bilinear systems on infinite dimensional Hilbert spaces. In the setup, we assume only that the drift and control terms arising in a bilinear control system are affiliated with a von Neumann algebra of finite type acting on the same Hilbert space. When the control terms satisfy basic norm bound conditions, we prove existence of time-optimal controls. In the more general setting where all operators may be unbounded, we show how the dynamical Lie algebra for the system is still well-defined and may be used to check approximate controllability of the system in question. We discuss how this approach can be applied to classical dynamical systems through the Koopman operator formalism, and investigate potential candidates for the von Neumann algebra which may guide the choice of controls. We illustrate how an affiliation relation naturally arises in both classical and quantum control systems with a few examples.
Stationary quantum stochastic process j is introduced as a *-homomorphism embedding an involutive graded algebra K~=⊕i=1∞Ki into a ring of (abelian) cohomologies of the one-parameter group α consisting of *-automorphisms of certain operator algebra in a Hilbert space such that every x from Ki is translated into an additive i−α-cocycle j(x). It is shown that (noncommutative) multiplicative markovian cocycle defines a perturbation of the stationary quantum stochastic process in the sense of such definition. The E0-semigroup β~ on the von Neumann algebra N associated with the markovian perturbation of K-flow j posseses the restriction β~∣N0,N0⊂N, which is conjugate to the flow of Powers shifts β associated with j. It yields for β~ an analogue of the Wold decomposition for classical stochastic process on completely nondeterministic and deterministic parts. The examples of quantum stationary stochastic processes on the algebras of canonical commutation, anticommutation and square of white noise relations are considered. In the model situation of the space L2(R) all markovian cocycles of the group of shifts are described up to unitary equivalence of perturbations.
Given a representation of a unital C∗ -algebra A on a Hilbert space H , together with a bounded linear map V:K→H from some other Hilbert space, one obtains a completely positive map on A via restriction using the adjoint action associated to V . We show this restriction forms a natural transformation from a functor of C∗ -algebra representations to a functor of completely positive maps. We exhibit Stinespring's construction as a left adjoint of this restriction. Our Stinespring adjunction provides a universal property associated to minimal Stinespring dilations and morphisms of Stinespring dilations. We use these results to prove the purification postulate for all finite-dimensional C∗ -algebras.