Troyer-Wiese 2005 sign-problem NP-hard; modern complex-Langevin + Lefschetz-thimble + tensor-network workarounds.