Lovász Meets Lieb-Schultz-Mattis: Complexity in Approximate Quantum Error Correction | Synapse