In this chapter, we discuss exact-controllability problems for quantum systems. Our main focus is on quantum models whose state can be described by a finite number of degrees of freedom. However, a discussion on controllability results for infinite-dimensional quantum models is presented in the last section of this chapter.
Quantum phenomena of interest in connection with computation and communication often deal with transfers between eigenstates. For systems having only a finite number of states, the quantum evolution equation is finite-dimensional and the results on controllability on Lie groups as worked out decades ago provide most of what is needed in so far as controllability of dissipationless systems is concerned. However, for infinite-dimensional evolution of quantum systems, many difficulties, both conceptual and technical, remain. In this paper we organize some recent results from the physics literature in control theoretic terms and emphasize the type of analysis needed to go beyond what basic differential geometry can provide. In particular, we analyze from a controllability point of view the important results of Law and Eberly, and discuss the problem of controllability of quantum systems subject to the constraint that the trajectories must lie in pre-defined subspaces. The study of this problem is motivated by recent work on the design of quantum computers that avoid loss of coherence by operating in decoherence free subspaces.
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-dimensional manifolds, and draw the main result on approximate strong smooth controllability. This is a nontrivial extension of the existing controllability results based on the analysis over finite-dimensional vector spaces to analysis over infinite-dimensional manifolds. It also opens up many interesting problems for future studies.
Solid-state systems, by their very nature, have a vast number of different possible quantum degrees of freedom. In Chapter 11, we saw that some of these degrees of freedom make good qubits. However, there are plenty more which are less suitable, since they cannot easily be localized and externally controlled. Once the qubit has been chosen, it is important to think about how it interacts with the other, uncontrolled quantum excitations in its environment. Such an interaction leads to unpredictable behaviour and can cause decoherence – the irretrievable loss of quantum information from the qubit – and this will be the topic of this chapter. The most obvious decoherence mechanism for any optical manipulation scheme is the spontaneous emission of photons. The theory behind this follows analogously from the theory we discussed in Chapter 7, with a suitable definition of a transition dipole for the relevant transitions. However, solid-state systems bring with them lattice vibrations, or phonons, which have no direct atomic analogue. We will therefore focus on phonons in this chapter, first discussing how we model them, and second how they interact with the electron-based qubit that we discussed in the last chapter. Later, we will see how this leads to a loss of coherence, and how optical methods can be used to slow the rate of coherence loss. Phonon interactions are complex and not easy to model exactly, but we will show that with certain approximations very successful theories can be developed.