A Complete Equational Presentation of Qudit Circuits via Polycontrolled PROPs
यह शोध पत्र सटीक यूनिटरी क्वडिट (qudit) सर्किट के लिए प्रथम परिमित, आयाम-समान (dimension-uniform) समीकरण सिद्धांत प्रस्तुत करता है, जो विशिष्ट क्वडिट आयाम से स्वतंत्र आरेखीय तर्क (diagrammatic reasoning) को सक्षम करने के लिए प्रिमिटिव वैल्यू-कंट्रोल्स का उपयोग करता है।