In many experiments, a target quantum mechanical system is controlled and-or measured indirectly using an auxiliary quantum system. In the case of control, this means that the control action only affects the auxiliary system while the evolution of the target system is affected indirectly through the interaction with the auxiliary system. In the case of measurement, only the state of the auxiliary system can be measured, providing information on the initial state of the target system. Indirect controllability is the property of the target system of being driven between two arbitrary states while indirect observability refers to the possibility of extracting all the information on the state of the target system by measuring the auxiliary system. This paper has three main goals. First, we summarize recent notions and results introduced by us on the study of indirect controllability. Then, we present some new technical results on indirect controllability. In particular, we present a counterexample to the converse of a criterion for indirect controllability, which shows that the Lie algebraic condition introduced in this criterion is necessary but not sufficient for indirect controllability. This gives an open problem which is how to strengthen this condition to obtain a necessary and sufficient condition for indirect controllability. Lastly, we present a parallel treatment of indirect observability, give the relevant notions and definitions and relate the properties of indirect controllability and observability. Our final result says that strong notions of indirect controllability and observability are equivalent properties to complete controllability of the system. We discuss examples of physical systems which are controlled and-or measured indirectly. The research is motivated by experimental schemes of current interest
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, are two-dimensional (qubits). In particular, we characterize the dynamical Lie algebra associated with S+A, extending previous results, and prove that complete controllability of S+A and an appropriate notion of indirect controllability are equivalent properties for this system. We also prove several further indirect controllability properties for the system of two qubits, and illustrate the role of the Lie algebraic analysis in the study of reachable states.
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, are two-dimensional (qubits). In particular, we characterize the dynamical Lie algebra associated with S + A, extending previous results, and prove that complete controllability of S + A and an appropriate notion of indirect controllability are equivalent properties for this system. We also prove several further indirect controllability properties for the system of two qubits, and illustrate the role of the Lie algebraic analysis in the study of reachable states.
We consider a bipartite open quantum system constituted by two interacting qubits
Aand
B, assuming that the former is coupled to the environment and is directly affected by coherent control, while the latter does not interact directly with the environment and the control fields. We are interested in the controllability properties of the subsystem
B. In this paper, we give a first analysis of the problem and provide some negative answers
In several quantum control schemes, a target quantum system
S is put in contact with an auxiliary system
A and the coherent control can directly affect only
A. The system
S is controlled indirectly through the interaction with
A. The system
S is said to be indirectly controllable if every unitary transformation can be performed on the state of
S with this scheme. The indirect controllability of
S will depend on the dynamical Lie algebra
L characterizing the dynamics of the total system
S+A and on the initial state of the auxiliary system
A. In this paper, we describe this characterization exactly. A natural assumption is that the auxiliary system
A is minimal, which means that there is no part of
A that is not coupled to
S, and we denote by
nA the dimension of such a minimal
A, which we assume to be fully controllable. We show that if
nA is greater than or equal to
3, indirect controllability of
S is verified if and only if complete controllability of the total system
S+A is verified, i.e.,
L=su(nSnA) or
L=u(nSnA), where
nS denotes the dimension of the system
S. If
nA=2, it is possible to have indirect controllability without having complete controllability. The exact condition for that to happen is given in terms of a Lie algebra
LS which describes the evolution of the system
S only. We prove that indirect controllability is verified if and only if
LS=u(nS) and the initial state of the auxiliary system
A is pure.
This paper presents a constructive proof of complete kinematic state controllability of finite-dimensional open quantum systems whose dynamics are represented by Kraus maps. For any pair of states (pure or mixed) on the Hilbert space of the system, we explicitly show how to construct a Kraus map that transforms one state into another. Moreover, we prove by construction the existence of a Kraus map that transforms all initial states into a predefined target state (such a process may be used, for example, in quantum information dilution). Thus, in sharp contrast to unitary control, Kraus-map dynamics allows for the design of controls which are robust to variations in the initial state of the system. The capabilities of non-unitary control for population transfer between pure states illustrated for an example of a two-level system by constructing a family of non-unitary Kraus maps to transform one pure state into another. The problem of dynamic state controllability of open quantum systems (i.e., controllability of state-to-state transformations, given a set of available dynamical resources such as coherent controls, incoherent interactions with the environment, and measurements) is also discussed.