Quantum Polymorphisms and the Complexity of Quantum Constraint Satisfaction
यह शोध पत्र क्वांटम बाधाओं के समाधान (quantum constraint satisfaction) के लिए एक बीजगणितीय ढांचे को स्थापित करने हेतु क्वांटम पॉलीमॉर्फिज्म की अवधारणा प्रस्तुत करता है, जो कम्यूटेटिविटी गैजेट्स (commutativity gadgets) का पूर्णतः लक्षण वर्णन करता है और विषम चक्रों (odd cycles) तथा सिग्र्स क्लॉज़ (Sigglers clauses) द्वारा पैरामीटराइज़्ड विशिष्ट क्वांटम CSPs की अनडिसाइडेबिलिटी (undecidability) को सिद्ध करता है।