Dynamically Correcting a CNOT Gate for any Systematic Logical Error

We derive a set of composite pulse sequences that generates cnot gates and correct all systematic errors within the logical subspace to arbitrary order. These sequences are applicable for any two-qubit interaction Hamiltonian and make no assumptions about the underlying noise mechanism except that it is constant on the time scale of the operation. We do assume access to high-fidelity single-qubit gates, so single-qubit gate imperfections eventually limit the achievable fidelity. However, since single-qubit gates generally have much higher fidelities than two-qubit gates in practice, these pulse sequences offer useful dynamical correction for a wide range of coupled qubit systems.