The controllability condition for finite dimensional quantum systems, the Lie Algebra Rank Condition, has been stated assuming that the right invariant differential system under consideration is bilinear. We remark that this assumption is not necessary and discuss the extension to the general case.
Bilinear systems, matrix systems and right-invariant systems are distinguished first. Then controllability theorems of such three different systems are summarized, the key points focus on the necessary and sufficient controllability conditions for right-invariant systems, and the relation with bilinear systems. Controllability theorems of these three different systems are especially emphasized by using Lie groups and Lie algebra. Different controllability theorems of quantum systems using similar method are analyzed in detail. Corresponding relations of controllability between quantum systems with bilinear systems are pointed out by means of comparison, and each type of controllability applied to different situations are also given. Relationships among different notions of controllability of quantum systems are established.
In finite dimensions, controllability of bilinear quantum control systems can be decided quite easily in terms of the "Lie algebra rank condition" (LARC), such that only the systems Lie algebra has to be determined from a set of generators. In this paper we study how this idea can be lifted to infinite dimensions. To this end we look at control systems on an infinite dimensional Hilbert space which are given by an unbounded drift Hamiltonian H0and bounded control Hamiltonians H1,...,HN. The drift H0is assumed to have empty continuous spectrum. We use recurrence methods and the theory of Abelian von Neumann algebras to develop a scheme, which allows us to use an approximate version of LARC, in order to check approximate controllability of the control sysPtem in question.
The systems-theoretic concept of controllability is elaborated for quantum-mechanical systems, sufficient conditions being sought under which the state vector ψ can be guided in time to a chosen point in the Hilbert space ℋ of the system. The Schrödinger equation for a quantum object influenced by adjustable external fields provides a state-evolution equation which is linear in ψ and linear in the external controls (thus a bilinear control system). For such systems the existence of a dense analytic domain 𝒟ω in the sense of Nelson, together with the assumption that the Lie algebra associated with the system dynamics gives rise to a tangent space of constant finite dimension, permits the adaptation of the geometric approach developed for finite-dimensional bilinear and nonlinear control systems. Conditions are derived for global controllability on the intersection of 𝒟ω with a suitably defined finite-dimensional submanifold of the unit sphere Sℋ in ℋ. Several soluble examples are presented to illuminate the general theoretical results.
The property of controllability of quantum systems is explored, and conditions for controllability based on Lie-algebraic properties are enunciated. Due consideration is given to the unbounded character of some of the operators that arise and to the generally noncompact nature of the operator algebras associated with the system. Results for both finite and infinite-dimensional systems are provided; in the latter case the results are not limited to cases having purely discrete spectra. The applicability of the results to systems with both bound and scattering states is demonstrated through examples, namely the Poschl-Teller potential and the repulsive radial oscillator, which reveal some of the subtleties of the controllability issue. Attention is also directed to transitivity of the pertinent Lie algebra of a system without drift as a necessary and sufficient condition for its controllability.
Knowledge about to what extent quantum dynamical systems can be steered by coherent controls is indispensable for future developments in quantum technology. The purpose of this paper is to analyze such controllability aspects for finite dimensional bilinear quantum control systems. We use a unified approach based on Lie-algebraic methods from nonlinear control theory to revisit known and to establish new results for closed and open quantum systems. In particular, we provide a simplified characterization of different notions of controllability for closed quantum systems described by the Liouville-von Neumann equation. We derive new necessary and sufficient conditions for accessibility of open quantum systems modelled by the Lindblad-Kossakowski master equation. To this end, we exploit a well-studied topic of differential geometry, namely the classification of all matrix Lie-groups which act transitively on the Grassmann manifold or the punctured Euclidean space. For the special case of coupled spin-1/2 systems, we obtain a remarkably simple characterization of accessibility. These accessibility results correct and refine previous statements in the quantum control literature.