Quantum Circuit Synthesis Using an Exact T Library

तकनीकी सारांश: एक सटीक T लाइब्रेरी का उपयोग करके क्वांटम सर्किट संश्लेषण (Quantum Circuit Synthesis)

समस्या विवरण
फॉल्ट-टोलरेंट क्वांटम कंप्यूटिंग (FTQC) में, नॉन-क्लिफोर्ड गेट्स (non-Clifford gates), विशेष रूप से T गेट्स का निष्पादन, मैजिक-स्टेट डिस्टिलेशन और इंजेक्शन के ओवरहेड के कारण स्पेस-टाइम लागत पर हावी रहता है। जबकि क्लिफोर्ड गेट्स को नगण्य ओवरहेड के साथ ट्रांसवर्सली (transversally) निष्पादित किया जा सकता है, T गेट्स के लिए महंगी स्टेट कल्टिवेशन (state cultivation) की आवश्यकता होती है। फलस्वरूप, T काउंट को कम करना व्यावहारिक अनुप्रयोगों के लिए महत्वपूर्ण है।

मौजूदा संश्लेषण प्रवाह (synthesis flows) आमतौर पर बूलियन फलनों को $\{XOR, AND, NOT\}$ आधार (XAG) पर मैप करते हैं और T काउंट के प्रॉक्सी के रूप में AND गेट्स की संख्या को कम करते हैं। यह दृष्टिकोण मल्टीप्लिकेटिव कॉम्प्लेक्सिटी (MC) पर निर्भर करता है, जो क्लासिकल नॉन-लिनियरिटी को मापता है। हालांकि, शोध पत्र तर्क देता है कि MC, क्वांटम T लागत के लिए एक गलत प्रॉक्सी है क्योंकि यह उन फेज कैंसिलेशन (phase cancellations) और संरचनात्मक सरलीकरणों को ध्यान में रखने में विफल रहता है जो क्वांटम सर्किट के लिए विशिष्ट हैं (जैसे, Hadamard गेट्स द्वारा T ऑप्टिमाइज़ेशन को ब्लॉक करना)। परिणामस्वरूप, पारंपरिक प्रवाह अक्सर उप-इष्टतम (suboptimal) सर्किट उत्पन्न करते हैं जहाँ छूटे हुए संरचनात्मक अवसरों को पोस्ट-मैपिंग ऑप्टिमाइज़ेशन द्वारा प्राप्त नहीं किया जा सकता है।

कार्यप्रणाली (Methodology)
लेखक एक ऐसा संश्लेषण ढांचा प्रस्तावित करते हैं जो MC को प्रॉक्सी के रूप में उपयोग करने के बजाय सीधे सटीक T काउंट के लिए अनुकूलन करता है। कार्यप्रणाली के तीन मुख्य घटक हैं:

1. क्लिफोर्ड-इक्विवेलेंट कैनोनिकलाइजेशन (Clifford-Equivalent Canonicalization):
   लेखक क्लिफोर्ड इक्विवेलेंस के तहत द्विपक्षीय फलनों (bilinear functions) के लिए एक कैनोनिकल रूप प्रस्तुत करते हैं। क्लासिकल MC के विपरीत, जो इनपुट-आउटपुट कपलिंग को दर्शाने के लिए मल्टीप्लिकेशन टेंसर का उपयोग करता है, लेखक एक फेज पॉलीनोमियल टेंसर (phase polynomial tensor) का उपयोग करते हैं। यह टेंसर एक रिवर्सिबल सेटिंग में सभी तारों (इनपुट और आउटपुट) के बीच ट्रिपल-पैरिटी कपलिंग को कैप्चर करता है। यह फॉर्मूलेशन प्रकट करता है कि क्वांटम ऑपरेशंस इनपुट्स और आउटपुट्स को एंटेंगल कर सकते हैं, जिससे तीसरे क्रम की इंटरैक्शन (third-order interactions) पैदा होती है जो डीकंपोजिशन में "शॉर्टकट" बनाने की अनुमति देती है, जिससे क्लासिकल MC अनुमानों की तुलना में कम T लागत प्राप्त होती है।

2. सटीक T लाइब्रेरी संश्लेषण (Exact T Library Synthesis):
   लेखक सटीक T संश्लेषण समस्या को एक कंस्ट्रेंड इंटीजर प्रोग्रामिंग समस्या के रूप में तैयार करते हैं।

• इनपुट: एक द्विपक्षीय फलन $f$ जिसमें $n$ इनपुट और $m$ आउटपुट हैं, जिन्हें $N = n+m$ क्वबिट्स पर मैप किया गया है।
• बाधाएं (Constraints): समस्या एक चयन वेक्टर $s$ की खोज करती है जो T उम्मीदवारों (पैरिटी टर्म्स) का है ताकि उनका संयुक्त फेज पॉलीनोमियल, लक्ष्य फलन के फेज पॉलीनोमियल के बराबर (modulo 2) हो सके।
• अनुकूलन (Optimization): उद्देश्य $s$ की कार्डिनैलिटी (cardinality) को कम करना (T काउंट) है।
• डोंट-केयर कंडीशंस (Don't-Care Conditions): फॉर्मूलेशन "क्लीन एंसिला" (clean ancilla) क्वबिट्स (जो $|0\rangle$ पर इनिशियलाइज किए गए हैं) का उपयोग 'डोंट-केयर' स्थितियों के रूप में करता है। एंसिला अवस्थाओं पर फेज अनऑब्जर्वेबल होते हैं, जिससे T काउंट को और कम करने के लिए फ्री S गेट्स (जैसे विशिष्ट T संयोजनों को बदलना) के माध्यम से लागत-मुक्त क्लिफोर्ड रीराइट्स संभव होते हैं।
• एल्गोरिदम: एक कुशल लाइब्रेरी संश्लेषण एल्गोरिदम मैपिंग मैट्रिक्स और एक नल-स्पेस बेसिस को प्रीकंप्यूट करता है। यह सात वेरिएबल्स ($N \le 7$) वाले फलनों के लिए सटीक समाधान खोजने के लिए एक CUDA-एक्सेलेरेटेड सर्च का उपयोग करता है और बड़े इनपुट्स के लिए उप-इष्टतम समाधान प्रदान करता है।

3. कस्टमाइज्ड लाइब्रेरी मैपिंग (Customized Library Mapping):
   सटीक T लाइब्रेरी का पूर्ण लाभ उठाने के लिए, लेखकों ने एक कस्टमाइज्ड मैपर विकसित किया है जो XAG फ्लो के साथ एकीकृत होता है।

• द्विपक्षीय कट एन्यूमरेशन (Bilinear Cut Enumeration): मैपर उन कट्स को प्राथमिकता देता है जो द्विपक्षीय संरचनाओं (एल्जेब्रिक नॉर्मल फॉर्म में डिग्री-2 टर्म्स) को प्रकट करते हैं। यह उन कट्स को हटा देता है जो डिग्री-3 या उच्चกว่า मोनोमियल्स (monomials) पेश करेंगे, जो लाइब्रेरी द्वारा समर्थित नहीं हैं।
• लागत मॉडल (Cost Model): AND काउंट के माध्यम से लागत का अनुमान लगाने के बजाय, मैपर प्रत्येक वैध कट के लिए सटीक T लागत प्राप्त करने के लिए प्रीकंप्यूटेड 'एक्ज़ैक्ट T लाइब्रेरी' को क्वेरी करता है।
• डायनेमिक प्रोग्रामिंग: मैपर कट्स पर मानक एरिया-ओरिएंटेड डायनेमिक प्रोग्रामिंग करता है लेकिन अंतर्निहित लॉजिक नेटवर्क संरचना को बनाए रखते हुए कार्यान्वयन चुनने के लिए सटीक T स्कोर का उपयोग करता है।

प्रमुख योगदान

• सटीक T फॉर्मूलेशन: AND काउंट (MC) को कम करने से सटीक T काउंट को कम करने की ओर बदलाव, जो फेज पॉलीनोमियल टेंसरों का उपयोग करके क्लिफोर्ड इक्विवेलेंस के तहत बूलियन फलनों को कैनोनिकलाइज करता है।
• प्रीकंप्यूटेड लाइब्रेरी: सात वेरिएबल्स तक के द्विपक्षीय फलनों के लिए T-ऑप्टिमल कार्यान्वयन की एक लाइब्रेरी, जिसे क्लीन एंसिला डोंट-केयर कंडीशंस को ध्यान में रखते हुए इंटीजर प्रोग्रामिंग दृष्टिकोण का उपयोग करके सिंथेसाइज किया गया है।
• कस्टमाइज्ड मैपर: एक मैपिंग एल्गोरिदम जो कट एन्यूमेरेशन और रैंकिंग के दौरान द्विपक्षीय संरचनाओं को स्पष्ट रूप से सुरक्षित रखता है, और अनुकूलन निर्णयों को निर्देशित करने के लिए सटीक T लाइब्रेरी का उपयोग करता है।

प्रायोगिक परिणाम
लेखकों ने कई बेंचमार्क परिवारों पर अपने दृष्टिकोण का मूल्यांकन किया, जिसमें EPFL अरिथमेटिक बेंचमार्क, रैंडम QLUT ओरेकल, मॉड्यूलर एक्सपोनेंटिएशन (शोर का एल्गोरिदम), और AES के लिए GF($2^n$) मल्टीप्लायर शामिल हैं।

• EPFL बेंचमार्क: सटीक MC द्वारा संचालित पूर्व XAG मैपिंग फ्लो की तुलना में, प्रस्तावित विधि ने अरिथमेटिक बेंचमार्क (जैसे मल्टीप्लायर्स) पर T काउंट में 14.3% तक की कमी हासिल की। बेंचमार्क में ज्यामितीय माध्य (geometric mean) कमी 5.3% थी।
• क्रिप्टोग्राफिक मॉड्यूल: जब इसे एक पूर्ण संश्लेषण प्रवाह (रीसिंथेसिस सहित) में एकीकृत किया जाता है, तो यह दृष्टिकोण कई क्रिप्टोग्राफिक मॉड्यूल के लिए सर्वोत्तम-ज्ञात T काउंट को 40% तक कम कर देता है।
• स्टेट-ऑफ-द-आर्ट के साथ तुलना: विधि ने उच्च द्विपक्षीय संरचना वाले परिदृश्यों में, विशेष रूप से AlphaTensor और FastTODD जैसे स्टैंडअलोन T ऑप्टिमाइज़ेशन, साथ ही मौजूदा QROM और SelectSwap कार्यान्वयन से बेहतर प्रदर्शन किया।
• रनटाइम ओवरहेड: सटीक T लाइब्रेरी लुकअप और कस्टमाइज्ड मैपिंग द्वारा पेश किया गया अतिरिक्त कंप्यूटेशन कुल रनटाइम का अधिकतम 11.7% था, जिसे लेखक क्वांटम मॉड्यूल डिजाइनों के पुन: उपयोग पर एमॉर्टाइज (amortized) होने वाला एक वन-टाइम कॉस्ट बताते हैं।

महत्व
यह शोध दावा करता है कि AND गेट्स को एक निश्चित संख्या में T गेट्स में समान रूप से बदलने का अनुमान लगाना इष्टतमता (optimality) की अपूरणीय हानि है। XAG संरचना को सुरक्षित रखते हुए सटीक T लागतों के साथ तर्क देकर, प्रस्तावित दृष्टिकोण सर्किट की गुणवत्ता में ठोस सुधार लाता है। यह कार्य दर्शाता है कि क्लिफोर्ड-इक्विवेलेंट कैनोनिकल फॉर्म और एक कस्टमाइज्ड मैपर द्वारा सुगम सटीक T काउंट का प्रत्यक्ष अनुकूलन, फॉल्ट-टोलरेंट क्वांटम अनुप्रयोगों के लिए संसाधन ओवरहेड को काफी कम कर सकता है, जो क्लासिकल नॉन-लिनियरिटी प्रॉक्सी की सीमाओं से आगे बढ़ता है।