Gruppe von Prof. Dr. Robert Raußendorf
Our work is in quantum information, specifically in `Models of quantum computation' and quantum faulttolerance.

Models of quantum computation: We study the oneway quantum computer, a scheme of quantum computation consisting of local measurements on an entangled universal resource state [Phys. Rev. Lett. 86, 5188 (2001)]. Unitary evolution and measurement are the two fundamental ways of evolving a quantum system in time, and they are very different. Unitary evolution is deterministic and reversible, measurement is probabilistic and irreversible. Universal quantum computation can be built on either unitary evolution or measurement. In the former case, one is led to the (standard) circuit model, in the latter to measurementbased quantum computation. The oneway quantum computer is one such measurementbased scheme. By shifting the focus from unitary evolution to measurement, it encourages us to reconsider what the fundamentals of quantum computation are. We thus ask: ``What are the elementary building blocks of the oneway quantum computer? What is their composition principle?'' The final goal of this line of research is to obtain clues for how to construct novel quantum algorithms.
Another computational model we study are quantum cellular automata (QCA). These devices are constrained by translationinvariance in space (and time), and usually have only shortrange interaction. Despite these stringent constraints, computational universal QCA can be constructed. By implementing quantum cellular automata, quantum systems which have the advantage of long decoherence times but the drawback of limited local control (= small number of knobs to turn) can be used for quantum information processing.

Coding theory and faulttolerant quantum computation: Errorcorrection is what a largescale quantum computer, once built, will spend most of its computation time with. It is therefore important to devise errorcorrection methods which allow for a high error threshold at a moderate operational overhead. One focus of our work on faulttolerance is in systems with a geometrical constraint, e.g. lowdimensional lattice systems, and in topological methods.
We have presented a faulttolerant oneway quantum computer [arXiv:quantph/0510135], and have described a method for faulttolerant quantum computation in a twodimensional lattice of qubits requiring local and translationinvariant nearestneighbor interaction only [arXiv:quantph/0610082], [arXiv:quantph/0703143] (joint work with Jim Harrington (formerly Los Alamos National Laboratory, now HRL Laboratories) and Kovid Goyal (Caltech)). The obtained error threshold is 0.75 percent per quantum gate, which is the highest known threshold for a twodimensional architecture with nearestneighbor interaction. A large value of the error threshold is important for realization of faulttolerant quantum computation because it relaxes the accuracy requirements of the experiment. The imposed constraint of nearestneighbor interaction in a twodimensional qubit array is suggested by experimental reality: Many physical systems envisioned for the realization of a quantum computer are confined to two dimensions and prefer shortrange interaction, for example optical lattices, arrays of superconducting qubits and quantum dots.

Quantum computation and foundations of quantum mechanics: David Deutsch, one of the founders of the field of quantum information, writes "[It is not] obvious a priori that any of the familiar recursive functions is in physical reality computable. The reason why we find it possible to construct, say, electronic calculators, and indeed why we can perform mental arithmetic, cannot be found in mathematics or logic. The reason is that the laws of physics 'happen to' permit the existence of physical models for arithmetic such as addition, subtraction and multiplication. If they did not, these familiar operations would be noncomputable functions. We might still know of them and invoke them in mathematical proofs (which would presumably be called 'nonconstructive') but we could not perform them." [D. Deutsch, Proc. Roy. Soc. A 400, 97 (1985).].
Now that quantum computation is based on the laws of quantum mechanics, we ask: "Which is the key feature of quantum mechanics that causes the quantum speedup?"  There is no shortage of candidates, for example: superposition and interference, entanglement, largeness of Hilbert space, and contextuality of quantum mechanics. They are, presumably, all part of the picture. However, a precise connection remains to be drawn.