Universal measurement-based quantum computation with spin-2 Affleck-Kennedy-Lieb-Tasaki states

We demonstrate that the spin-2 Affleck-Kennedy-Lieb-Tasaki (AKLT) state on a square lattice is a universal resource for measurement-based quantum computation. Our proof is done by locally converting the AKLT to two-dimensional random planar graph states and by certifying that with a high probability the resulting random graphs are in the supercritical phase of percolation using Monte Carlo simulations. One key enabling point is the exact weight formula that we derive for arbitrary measurement outcomes according to a spin-2 positive operator-valued measure on all spins. We also argue that the spin-2 AKLT state on a three-dimensional diamond lattice is a universal resource, the advantage of which would be the possibility of implementing fault-tolerant quantum computation with topological protection. In addition, as we deform the AKLT Hamiltonian, there is a finite region in which the ground state can still support a universal resource before making a transition in its quantum computational power.