Randomized control of open quantum systems

The problem of open-loop dynamical control of generic open quantum systems is addressed. In particular, I focus on the task of effectively switching off environmental couplings responsible for unwanted decoherence and dissipation effects. After revisiting the standard framework for dynamical decoupling via deterministic controls, I describe a different approach whereby the controller intentionally acquires a random component. An explicit error bound on worst-case performance of stochastic decoupling is presented.Comment: 6 pages, no figure, requires IEEEtran LaTe

Analytic Controllability of Time-Dependent Quantum Control Systems

The question of controllability is investigated for a quantum control system in which the Hamiltonian operator components carry explicit time dependence which is not under the control of an external agent. We consider the general situation in which the state moves in an infinite-dimensional Hilbert space, a drift term is present, and the operators driving the state evolution may be unbounded. However, considerations are restricted by the assumption that there exists an analytic domain, dense in the state space, on which solutions of the controlled Schrodinger equation may be expressed globally in exponential form. The issue of controllability then naturally focuses on the ability to steer the quantum state on a finite-dimensional submanifold of the unit sphere in Hilbert space -- and thus on analytic controllability. A relatively straightforward strategy allows the extension of Lie-algebraic conditions for strong analytic controllability derived earlier for the simpler, time-independent system in which the drift Hamiltonian and the interaction Hamiltonia have no intrinsic time dependence. Enlarging the state space by one dimension corresponding to the time variable, we construct an augmented control system that can be treated as time-independent. Methods developed by Kunita can then be implemented to establish controllability conditions for the one-dimension-reduced system defined by the original time-dependent Schrodinger control problem. The applicability of the resulting theorem is illustrated with selected examples.Comment: 13 page

Differentially flat nonlinear control systems

Differentially flat systems are underdetermined systems of (nonlinear) ordinary differential equations (ODEs) whose solution curves are in smooth one-one correspondence with arbitrary curves in a space whose dimension equals the number of equations by which the system is underdetermined. For control systems this is the same as the number of inputs. The components of the map from the system space to the smaller dimensional space are referred to as the flat outputs. Flatness allows one to systematically generate feasible trajectories in a relatively simple way. Typically the flat outputs may depend on the original independent and dependent variables in terms of which the ODEs are written as well as finitely many derivatives of the dependent variables. Flatness of systems underdetermined by one equation is completely characterised by Elie Cartan's work. But for general underdetermined systems no complete characterisation of flatness exists. In this dissertation we describe two different geometric frameworks for studying flatness and provide constructive methods for deciding the flatness of certain classes of nonlinear systems and for finding these flat outputs if they exist. We first introduce the concept of "absolute equivalence" due to Cartan and define flatness in this frame work. We provide a method of testing for the flatness of systems, which involves making a guess for all but one of the flat outputs after which the problem is reduced to the case solved by Cartan. Secondly we present an alternative geometric approach to flatness which uses "jet bundles" and present a theorem which partially characterises flat outputs that depend only on the original variables but not on their derivatives, for the case of systems described by two independent one-forms in arbitrary number of variables. Finally, for the class of Lagrangian mechanical systems whose number of control inputs is one less than the number of degrees of freedom, we provide a characterisation of flat outputs that depend only on the configuration variables, but not on their derivatives. This characterisation makes use of the Riemannian metric provided by the kinetic energy of the system