Computational complexity and 3-manifolds and zombies

Greg Kuperberg, Eric Samperton

We show the problem of counting homomorphisms from the fundamental group of a homology $3$-sphere $M$ to a finite, non-abelian simple group $G$ is #P-complete, in the case that $G$…