Graph-theoretical proof of nonintegrability in quantum many-body systems: Application to the PXP modelRemoveHaRu K. Park and SungBin LeePhys. Rev. B 111, L081101 (2025)
