1: \begin{abstract}

2: Quantum phenomena of interest in connection with applications to

3: computation and communication almost always  involve generating specific

4: transfers between

5: eigenstates, and their linear superpositions. For some quantum systems, 

6: such as spin systems, the quantum evolution equation

7: (the Schr\"{o}dinger equation) is finite-dimensional and old

8: results on controllability of systems defined on on Lie groups and

9: quotient spaces

10: provide most of what is needed insofar as

11: controllability of non-dissipative systems is concerned. However,

12: in an infinite-dimensional setting, controlling the evolution of quantum

13: systems often presents

14: difficulties, both conceptual and technical.  In this paper

15: we present a systematic approach to a class of such problems for which

16: it is possible to avoid some of the technical issues.  In particular, we

17: analyze controllability for infinite-dimensional bilinear systems under

18: assumptions that make controllability  possible using  trajectories

19: lying in a nested family of  pre-defined subspaces.  This result,  which

20: we call the  Finite Controllability Theorem,  provides a set of

21: sufficient conditions for controllability in an infinite-dimensional

22: setting.  We consider specific physical systems that are of interest for quantum

23: computing, and provide insights into the types of quantum operations (gates) that may be developed.

24: \end{abstract}

25: