P
Initializing...
Bravyi--Smith--Smolin: $\chi(|H^{\otimes 6}\rangle)\le 7$ · Prove2Me