Engineering complex non-Abelian anyon models with simple physical systems is
crucial for topological quantum computation. Unfortunately, the simplest
systems are typically restricted to Majorana zero modes (Ising anyons). Here we
go beyond this barrier, showing that the Z4 parafermion model of
non-Abelian anyons can be realized on a qubit lattice. Our system additionally
contains the Abelian D(Z4) anyons as low-energetic excitations. We
show that braiding of these parafermions with each other and with the
D(Z4) anyons allows the entire d=4 Clifford group to be
generated. The error correction problem for our model is also studied in
detail, guaranteeing fault-tolerance of the topological operations. Crucially,
since the non-Abelian anyons are engineered through defect lines rather than as
excitations, non-Abelian error correction is not required. Instead the error
correction problem is performed on the underlying Abelian model, allowing high
noise thresholds to be realized.Comment: 11+10 pages, 14 figures; v2: accepted for publication in Phys. Rev.
X; 4 new figures, performance of phase-gate explained in more detai