Undecidability in tensor network states - Morton, J. (2016)
10.1103/PhysRevA.86.030301