V. Nebendahl

We identify gauge freedoms in quantum error correction (QEC) codes and introduce strategies for optimal control algorithms to find the gauges which allow the easiest experimental realization. Hereby, the optimal gauge depends on the underlying physical system and the available means to manipulate it. The final goal is to obtain optimal decompositions of QEC codes into elementary operations which can be realized with high experimental fidelities. In the first part of this paper, this subject is studied in a general fashion, while in the second part, a system of trapped ions is treated as a concrete example. A detailed optimization algorithm is explained and various decompositions are presented for the three qubit code, the five qubit code and the seven qubit Steane code.

Optimal control techniques are applied for the decomposition of unitary quantum operations into a sequence of single-qubit gates and entangling operations. To this end, we modify a gradient-ascent algorithm developed for systems of coupled nuclear spins in molecules to make it suitable for trapped ion quantum computing. We decompose unitary operations into entangling gates that are based on a nonlinear collective spin operator and complemented by global spinflip and local light shift gates. Among others, we provide explicit decompositions of controlled-NOT and Toffoli gates, and a simple quantum error correction protocol.

We propose a geometric phase gate of two ion qubits that are encoded in two levels linked by an optical dipole-forbidden transition. Compared to hyperfine geometric phase gates mediated by electric dipole transitions, the gate has many interesting properties, such as very low spontaneous emission rates, applicability to magnetic field insensitive states, and use of a co-propagating laser beam geometry. We estimate that current technology allows for infidelities of around 10$^{-4}$.