What can one do with a given tunable quantum device? We provide complete symmetry criteria deciding whether some effective target interaction(s) can be simulated by a set of given interactions. Symmetries lead to a better understanding of simulation
and permit a reasoning beyond the limitations of the usual explicit Lie closure. Conserved quantities induced by symmetries pave the way to a resource theory for simulability. On a general level, one can now decide equality for any pair of compact Lie algebras just given by their generators without determining the algebras explicitly. Several physical examples are illustrated, including entanglement invariants, the relation to unitary gate membership problems, as well as the central-spin model.
We treat control of several two-level atoms interacting with one mode of the electromagnetic field in a cavity. This provides a useful model to study pertinent aspects of quantum control in infinite dimensions via the emergence of infinite-dimensiona
l system algebras. Hence we address problems arising with infinite-dimensional Lie algebras and those of unbounded operators. For the models considered, these problems can be solved by splitting the set of control Hamiltonians into two subsets: The first obeys an abelian symmetry and can be treated in terms of infinite-dimensional Lie algebras and strongly closed subgroups of the unitary group of the system Hilbert space. The second breaks this symmetry, and its discussion introduces new arguments. Yet, full controllability can be achieved in a strong sense: e.g., in a time dependent Jaynes-Cummings model we show that, by tuning coupling constants appropriately, every unitary of the coupled system (atoms and cavity) can be approximated with arbitrarily small error.
General dynamic properties like controllability and simulability of spin systems, fermionic and bosonic systems are investigated in terms of symmetry. Symmetries may be due to the interaction topology or due to the structure and representation of the
system and control Hamiltonians. In either case, they obviously entail constants of motion. Conversely, the absence of symmetry implies irreducibility and provides a convenient necessary condition for full controllability much easier to assess than the well-established Lie-algebra rank condition. We give a complete lattice of irreducible simple subalgebras of su(2^n) for up to n=15 qubits. It complements the symmetry condition by allowing for easy tests solving homogeneous linear equations to filter irreducible unitary representations of other candidate algebras of classical type as well as of exceptional types. --- The lattice of irreducible simple subalgebras given also determines mutual simulability of dynamic systems of spin or fermionic or bosonic nature. We illustrate how controlled quadratic fermionic (and bosonic) systems can be simulated by spin systems and in certain cases also vice versa.
