In this paper, we define four different notions of controllability of physical interest for multilevel quantum mechanical systems. These notions involve the possibility of driving the evolution operator as well as the state of the system. We establish the connections among these different notions as well as methods to verify controllability.
The paper also contains results on the relation between the controllability in arbitrary small time of a system varying on a compact transformation Lie group and the corresponding system on the associated homogeneous space. As an application, we prove that, for the system of two interacting spin 1/2 particles, not every state transfer can be obtained in arbitrary small time.
The controllability property of the unitary propagator of an N-level quantum mechanical system subject to a single control field is described using the structure theory of semisimple Lie algebras. Sufficient conditions are provided for the vector fields in a generic configuration as well as in a few degenerate cases.
This paper provides a framework for the control of quantum mechanical systems with scattering states, i.e., systems with continuous spectra. We present the concept and prove a criterion of the approximate strong smooth controllability. Our results make non-trivial extensions from quantum systems with finite dimensional control Lie algebras to those with infinite dimensions. It also opens up many interesting problems for future studies.
Manipulation of infinite dimensional quantum systems is important to controlling complex quantum dynamics with many practical physical and chemical backgrounds. In this paper, a general investigation is casted to the controllability problem of quantum systems evolving on infinite dimensional manifolds. Recognizing that such problems are related with infinite dimensional controllability algebras, we introduce an algebraic mathematical framework to describe quantum control systems possessing such controllability algebras. Then we present the concept of smooth controllability on infinite dimensio…
We consider a control scheme where a quantum system S is put in contact with an auxiliary quantum system A and the control can affect A only, while S is the system of interest. The system S is then controlled indirectly through the interaction with A. Complete controllability of S +A means that every unitary state transformation for the system S +A can be achieved with this scheme. Indirect controllability means that every unitary transformation on the system S can be achieved. We prove in this paper, under appropriate conditions and definitions, that these two notions are equivalent in finite…
This paper discusses the important role of controllability played on the complexity of optimizing quantum mechanical control systems. The study is based on a topology analysis of the corresponding quantum control landscape, which is referred to as the optimization objective as a functional of control fields. We find that the degree of controllability is closely relevant with the ruggedness of the landscape, which determines the search efficiency for global optima. This effect is demonstrated via the gate fidelity control landscape of a system whose controllability is restricted on a SU(2) dyna…
Various notions from geometric control theory are used to characterize the behavior of the Markovian master equation for N-level quantum mechanical systems driven by unitary control and to describe the structure of the sets of reachable states. It is shown that the system can be accessible but neither small-time controllable nor controllable in finite time. In particular, if the generators of quantum dynamical semigroups are unital, then the reachable sets admit easy characterizations as they monotonically grow in time. The two level case is treated in detail.
A quantum mechanical system S is indirectly controlled when the control affects an ancillary system A and the evolution of S is modified through the interaction with A only. A study of indirect controllability gives a description of the set of states that can be obtained for S with this scheme. In this paper, we study the indirect controllability of quantum systems in the finite dimensional case. After discussing the relevant definitions, we give a general necessary condition for controllability in Lie algebraic terms. We present a detailed treatment of the case where both systems, S and A, ar…
In a topological space, a family of continuous mappings is called universal if its action, in at least one element of the space, is dense. If the mappings are unitary or trace-preserving completely positive, the notion of universality is closely related to the notion of controllability in either closed or open quantum systems. Quantum controllability in infinite dimensions is discussed in this setting and minimal generators are found for full control universal families. Some of the requirements of the operators needed for control in infinite dimensions follow from the properties of the infinit…
A new notion of controllability, eigenstate controllability, is defined for finite-dimensional bilinear quantum mechanical systems which are neither strongly completely controllably nor completely controllable. And a quantum control algorithm based on Grover iteration is designed to perform a quantum control task of steering a system, which is eigenstate controllable but may not be (strongly) completely controllable, from an arbitrary state to a target state.
Controllability -- the possibility of performing any target dynamics by applying a set of available operations -- is a fundamental requirement for the practical use of any physical system. For finite-dimensional systems, as for instance spin systems, precise criterions to establish controllability, such as the so called rank criterion, are well known. However most physical systems require a description in terms of an infinite-dimensional Hilbert space whose controllability properties are poorly understood. Here, we investigate infinite-dimensional bosonic quantum systems -- encompassing quantu…
In this paper we present a solution of the Einstein's boxes paradox by modern Quantum Mechanics in which a notion of density matrix is equivalent to a notion of a quantum state of a system. We use a secondary quantization formalism in the attempt to make a description particularly clear. The aim of this paper is to provide pedagogical help to the students of quantum mechanics.
We study the dynamics of systems on networks from a linear algebraic perspective. The control theoretic concept of controllability describes the set of states that can be reached for these systems. Under appropriate conditions, there is a connection between the quantum (Lie theoretic) property of controllability and the linear systems (Kalman) controllability condition. We investigate how the graph theoretic concept of a zero forcing set impacts the controllability property. In particular, we prove that if a set of vertices is a zero forcing set, the associated dynamical system is controllable…
In this paper, we study the distributions and the affine distributions of the quantum mechanical system. Also, we discuss the controllability of the quantum mechanical system with the related question concerning the minimum time needed to steer a quantum system from a unitary evolution $U(0)=I$ of the unitary propagator to a desired unitary propagator $U_f$. Furthermore, the paper introduces a description of a $\mathfrak{k} \oplus \mathfrak{p}$ sub-Finsler manifold with its geodesics, which equivalents to the problem of driving the quantum mechanical system from an arbitrary initial state $U(0…
On classical phase spaces admitting just one complex-differentiable structure, there is no indeterminacy in the choice of the creation operators that create quanta out of a given vacuum. In these cases the notion of a quantum is universal, i.e., independent of the observer on classical phase space. Such is the case in all standard applications of quantum mechanics. However, recent developments suggest that the notion of a quantum may not be universal. Transformations between observers that do not agree on the notion of an elementary quantum are called dualities. Classical phase spaces admittin…
Fundamental limits on the controllability of quantum mechanical systems are discussed in the light of quantum information theory. It is shown that the amount of entropy-reduction that can be extracted from a quantum system by feedback controller is upper bounded by a sum of the decrease of entropy achievable in open-loop control and the mutual information between the quantum system and the controller. This upper bound sets a fundamental limit on the performance of any quantum controllers whose designs are based on the possibilities to attain low entropy states. An application of this approach …
Quantum physics has intrigued scientists and philosophers alike, because it challenges our notions of reality and locality--concepts that we have grown to rely on in our macroscopic world. It is an intriguing open question whether the linearity of quantum mechanics extends into the macroscopic domain. Scientific progress over the last decades inspires hope that this debate may be decided by table-top experiments.
In this article a notion of information is presented which stresses the contextuality of quantum objects and their measurement. Mathematically this is reached by a quantification of the quantum mechanical surplus knowledge which has been introduced by Weizsacker. This new formulation gives insight into relation between single quantum objects and ensembles of quantum objects. The goal is to provide an explanatory concept for teaching purposes, the description of quantum processes and measurement with aid of information.
The geometry of the classical phase space C of a finite number of degrees of freedom determines the possible duality symmetries of the corresponding quantum mechanics. Under duality we understand the relativity of the notion of a quantum with respect to an observer on C. We illustrate this property explicitly in the case when classical phase space is complex n-dimensional projective space. We also provide some examples of classical dynamics that exhibit these properties at the quantum level.
Regarded as one of the most fundamental concepts of classical mechanics and thermodynamics, work has received well-grounded definitions within the quantum framework since the 1970s, having being successfully applied to many contexts. Recent developments on the concept have taken place in the emergent field of quantum thermodynamics, where work is frequently characterized as a stochastic variable. Notwithstanding this remarkable progress, it is still debatable whether some sensible notion of work can be posed for a strictly quantum instance involving a few-particle system prepared in a pure sta…
By rigorously formalizing the Einstein-Podolsky-Rosen (EPR) argument, and Bohr's reply, one can appreciate that both arguments were technically correct. Their opposed conclusions about the completeness of quantum mechanics hinged upon an explicit difference in their criteria for when a measurement on Alice's system can be regarded as not disturbing Bob's system. The EPR criteria allow their conclusion (incompletness) to be reached by establishing the physical reality of just a single observable $q$ (not a conjugate pair $q$ and $p$), but I show that Bohr's definition of disturbance prevents th…
We examine the notion of nonclassicality in terms of quasiprobability distributions. In particular, we do not only ask if a specific quasiprobability can be interpreted as a classical probability density, but require that characteristic features of classical electrodynamics are resembled. We show that the only quasiprobabilities which correctly describe the superposition principle of classical electromagnetic fields are the $s$-parameterized quasiprobabilities. Furthermore, the Glauber-Sudarshan P function is the only quantum-mechanical quasiprobability which is transformed at a classical atte…
A new notion of controllability for quantum systems that takes advantage of the linear superposition of quantum states is introduced. We call such notion von Neumann controllabilty and it is shown that it is strictly weaker than the usual notion of pure state and operator controlability. We provide a simple and effective characterization of it by using tools from the theory of unitary representations of Lie groups. In this sense we are able to approach the problem of control of quantum states from a new perspective, that of the theory of unitary representations of Lie groups. A few examples of…
We construct a non-Grassmann spinning-particle model which, by analogy with quantum mechanics, does not admit the notion of a trajectory within the position space. The pseudo-classical character of the model allows us to avoid the inconsistencies arising in the quantum-mechanical interpretation of a one-particle sector of the Dirac equation.
A definition of quantum mechanical work is introduced in this dissertation, preserving the mathematical structure of the Classical Mechanics concept of work without, however, in any way invoking the notion of trajectory. By use of Gaussian states and the Caldirola-Kanai model, a case study is conducted through which the proposed quantum work is compared with another Quantum Thermodynamics well-known definition, both in quantum and semiclassical regimes, showing promising results. Finally the new definition is investigated in comparison with a classical-statistical approach for superposition an…
An input-output model of a two-level quantum system in the Heisenberg picture is of bilinear form with constant system matrices, which allows the introduction of the concepts of controllability and observability in analogy with those of quantum linear systems. By means of the notions of controllability and observability, coordinate transformations, which are rotation matrices, can be constructed explicitly that transform an input-output model to a new one. The new input-output model enables us to investigate many interesting properties of the two-level quantum system, such as steady-state solu…
The notion of (non)contextuality pertains to sets of properties measured one subset (context) at a time. We extend this notion to include so-called inconsistently connected systems, in which the measurements of a given property in different contexts may have different distributions, due to contextual biases in experimental design or physical interactions (signaling): a system of measurements has a maximally noncontextual description if they can be imposed a joint distribution on in which the measurements of any one property in different contexts are equal to each other with the maximal probabi…
The subjective and the objective aspects of probabilities are incorporated in a simple duality axiom inspired by observer participation in quantum theory. Transcending the classical notion of probabilities, it is proposed and demonstrated that all probabilities may be fundamentally quantum mechanical in the sense that they may all be derived from the corresponding amplitudes. The classical coin-toss and the quantum double slit interference experiments are discussed as illustrative prototype examples. Absence of multi-order quantum interference effects in multiple-slit experiments and the Exper…
