Quantum Polymorphisms and the Complexity of Quantum Constraint Satisfaction
Die Arbeit führt den Begriff der Quantenpolymorphismen ein, um einen algebraischen Rahmen für Quanten-CSPs zu etablieren, die Existenz von Kommutativitäts-Gadgets vollständig zu charakterisieren und die Undecidierbarkeit bestimmter Quanten-CSPs nachzuweisen.