Linear equations mod are pseudo-telepathic
Dieses Papier beweist, dass unerfüllbare Systeme linearer Gleichungen modulo perfekte enddimensional-quantenmechanische Strategien zulassen können, indem es pseudo-telepathische Constraint-Sprachen vollständig charakterisiert, indem es das Fehlen eines natürlichen Transformations vom Quantenmonad zum Polymorphismus-Klon dieser Gleichungen demonstriert.