💻 computer science

Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction

यह शोध पत्र एक ऐसे एल्गोरिदम को प्रस्तुत करता है जो संकलन (compilation) के दौरान शास्त्रीय गणना (classical computation) को अधिकतम करने के लिए जिराड के इंटरेक्शन की ज्योमेट्री (Girard's Geometry of Interaction) का लाभ उठाते हुए रैखिक क्वांटम $\lambda$ -टर्म्स को क्वांटम सर्किटों में संकलित करता है, जबकि उच्च-क्रम नियंत्रण प्रवाह (higher-order control flow) को एक प्रमुख चुनौती के रूप में पहचानता है और एक टाइप सिस्टम के माध्यम से कुशलतापूर्वक संकलनीय टर्म्स को अभिलक्षित करता है।

मूल लेखक: Kostia Chardonnet, Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone

प्रकाशित 2026-02-20

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Kostia Chardonnet, Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक कुशल वास्तुकार (architect) हैं जो एक जटिल, भविष्यवादी शहर का डिज़ाइन बना रहे हैं। यह शहर एक क्वांटम कंप्यूटर है।

क्वांटम कंप्यूटिंग की दुनिया में, इस शहर को बनाने के दो मुख्य तरीके हैं:

"लाइव कंट्रोल" विधि (QRAM): आप एक कंट्रोल टॉवर में खड़े हैं और आपके पास एक वॉकी-टॉकी है। आप क्वांटम श्रमिकों को निर्देश देते हैं, "यहाँ एक दीवार बनाओ," फिर "उस दीवार को मापो," और जो आप देखते हैं उसके आधार पर आप कहते हैं, "ठीक है, अब एक पुल बनाओ।" आप जो हो रहा है उसके आधार पर वास्तविक समय (real-time) में निर्णय ले रहे हैं।
"ब्लूप्रिंट" विधि (सर्किट): आप एक डेस्क पर बैठते हैं और काम शुरू होने से पहले कागज पर पूरे शहर का खाका (blueprint) खींच देते हैं। आप निर्माण दल को तैयार ब्लूप्रिंट सौंप देते हैं। वे काम करते समय आपसे आदेश नहीं ले सकते; वे बस उस कागज का पालन करते हैं।

समस्या:
अधिकांश आधुनिक क्वांटम कंप्यूटर दूसरे प्रकार के होते हैं। उन्हें काम शुरू करने से पहले एक पूर्ण ब्लूप्रिंट (एक सर्किट) की आवश्यकता होती है। लेकिन "लाइव कंट्रोल" विधि प्रोग्रामर के लिए लिखना बहुत आसान है क्योंकि यह स्वाभाविक महसूस होता है (जैसे एक सामान्य कंप्यूटर प्रोग्राम लिखना)।

बड़ा सवाल यह है कि: क्या हम एक "लाइव कंट्रोल" प्रोग्राम (जो मौके पर निर्णय लेता है) को स्वचालित रूप से एक आदर्श "ब्लूप्रिंट" (एक सर्किट) में बदल सकते हैं बिना ब्लूप्रिंट के अनंत रूप से विशाल हुए?

आमतौर पर, उत्तर "नहीं" होता है। यदि आपके प्रोग्राम में एक निर्णय है जो एक क्वांटम माप (जैसे क्वांटम सिक्का उछालना) पर निर्भर करता है, और वह निर्णय यह बदल देता है कि बाकी शहर कैसे बनाया जाए, तो एक मानक कंपाइलर एक ही कागज पर दोनों संभावनाओं को खींचने की कोशिश करता है। यदि आपके पास कई नेस्टेड (nested) निर्णय हैं, तो कागज तेजी से फैलता जाता है और अंततः फट जाता है।

समाधान: "जियोमेट्री ऑफ इंटरैक्शन" (GoI)

इस शोध पत्र के लेखकों ने इस समस्या को हल करने के लिए जियोमेट्री ऑफ इंटरऑक्शन (GoI) नामक एक गणितीय अवधारणा का उपयोग करके एक चतुर तरीका खोजा है।

लेखक यहाँ एक सादृश्य (analogy) का उपयोग करते हैं: टोकन मशीन।

कल्पना कीजिए कि आपका क्वांटम प्रोग्राम एक भूलभुलैया (maze) का नक्शा है।

टोकन: प्रोग्राम चलाने के बजाय, कंपाइलर नक्शे के माध्यम से छोटे "टोकन" (जैसे छोटी चींटियाँ या संदेशवाहक) भेजता है।
पथ (Path): ये टोकन कोड की रेखाओं के साथ चलते हैं।
सर्किट: जैसे-जैसे टोकन चलते हैं, वे "तारों" (wires) और "गेट्स" (gates) का एक निशान (ब्लूप्रिंट) छोड़ते जाते हैं।

यह "कठिन" निर्णयों को कैसे संभालता है

ट्रिकी हिस्सा तब आता है जब प्रोग्राम एक "रास्ते के मोड़" (एक if-then-else स्टेटमेंट) पर पहुँचता है जहाँ पथ एक क्वांटम माप पर निर्भर करता है।

नाइव तरीका (Asynchronous): टोकन अलग हो जाते हैं। कुछ बाईं ओर जाते हैं, कुछ दाईं ओर। वे दो अलग-अलग ब्लूप्रिंट बनाते हैं। यदि आपके पास 100 मोड़ हैं, तो आपके पास $2^{100}$ ब्लूप्रिंट होंगे। यह वह "घातांकीय विस्फोट" (exponential explosion) है जो चीजों को धीमा और असंभव बना देता है।
स्मार्ट तरीका (Synchronous): लेखकों की मशीन चतुर है। यह प्रतीक्षा करती है। यह मोड़ के दोनों ओर टोकन भेजती है, लेकिन उन्हें सिंक्रोनाइज़ (synchronized) रखती है। यह महसूस करती है कि अक्सर, मोड़ के दोनों पक्ष वास्तव में बहुत समान चीजें कर रहे होते हैं, बस एक अलग क्रम में। दो अलग-अलग विशाल ब्लूप्रिंट बनाने के बजाय, यह बीच में एक स्विच के साथ एक संक्षिप्त ब्लूप्रिंट बनाती है।

कैच (डेडलॉक):
कभी-कभी, टोकन फंस जाते हैं। कल्पना कीजिए कि श्रमिकों के दो समूह एक-दूसरे के काम पूरा करने का इंतजार कर रहे हैं। समूह A को समूह B के काम पूरा करने की आवश्यकता है, और समूह B को समूह A के काम पूरा करने की आवश्यकता है। यह एक डेडलॉक (deadlock) है। इस विशिष्ट परिदृश्य में, "स्मार्ट तरीका" विफल हो जाता है, और मशीन को "नाइव तरीके" (ब्लूप्रिंट को विभाजित करने) पर वापस जाना पड़ता है, जिससे परिणाम बहुत बड़ा हो सकता है।

"ट्रैफिक पुलिस" (टाइप सिस्टम)

यह सुनिश्चित करने के लिए कि "स्मार्ट तरीका" हमेशा काम करे और कभी न फंसे, लेखकों ने एक टाइप सिस्टम बनाया है।

इसे एक ट्रैफिक पुलिस या कोड इंस्पेक्टर के रूप में सोचें। कंपाइलिंग शुरू करने से पहले ही ट्रैफिक पुलिस आपके प्रोग्राम को देखती है।

यदि आपके प्रोग्राम की संरचना ऐसी है जो गारंटी देती है कि टोकन कभी भी एक घेरे (circle) में नहीं फंसेंगे (डेडलॉक), तो ट्रैफिक पुलिस आपको हरी झंडी दे देती है।
यदि प्रोग्राम ऐसा दिखता है जिससे ट्रैफिक जाम (circular dependency) लग सकता है, तो ट्रैफिक पुलिस कहती है, "नहीं, यह कुशलता से कंपाइल करने के लिए बहुत बड़ा होगा।"

यह एक बड़ी जीत है क्योंकि यह प्रोग्रामर को ठीक-ठीक बताता है कि कौन से प्रोग्राम कुशल क्वांटम सर्किट में बदले जा सकते हैं और कौन से नहीं, बिना प्रयास किए और विफल हुए।

जादू का सारांश

इनपुट: आप एक लचीला, उच्च-स्तरीय क्वांटम प्रोग्राम लिखते हैं (जैसे कि एक रेसिपी जिसमें लिखा हो "यदि केक बन गया है, तो इसे बाहर निकालें, अन्यथा प्रतीक्षा करें")।
प्रक्रिया: QCSIAM मशीन (कंपाइलर) आपकी रेसिपी के माध्यम से टोकन भेजती है।
ट्रिक: यह डेटा के प्रवाह को देखने के लिए जियोमेट्री ऑफ इंटरैक्शन का उपयोग करती है। यदि प्रवाह साफ है (कोई चक्रीय प्रतीक्षा नहीं), तो यह एक संक्षिप्त, कुशल सर्किट बनाती है जो "if/else" तर्क को पूरी तरह से संभालता है।
आउटपुट: एक क्वांटम सर्किट (एक ब्लूप्रिंट) जिसे वास्तविक क्वांटम कंप्यूटर को भेजा जा सकता है।
सुरक्षा जाल: एक टाइप सिस्टम एक फिल्टर के रूप में कार्य करता है, यह सुनिश्चित करता है कि आप केवल वही प्रोग्राम कंपाइल करने का प्रयास करें जो कुशल होने की गारंटी देते हैं।

संक्षेप में: यह शोध पत्र एक नया, स्मार्ट कंपाइलर प्रदान करता है जो लचीले, निर्णय लेने वाले क्वांटम कोड को कठोर, कुशल ब्लूप्रिंट में अनुवादित करता है, जो आकार के सामान्य विस्फोट से बचने के लिए "टोकन" प्रणाली का उपयोग करता है, और प्रक्रिया को कभी न फंसने के लिए एक "ट्रैफिक पुलिस" का उपयोग करता है।

यहाँ चार्डोनैट, डैलगो, होशिनो और पिस्तोने के शोध पत्र "Compiling Quantum $\lambda$ -Terms into Circuits via the Geometry of Interaction" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र उच्च-स्तरीय क्वांटम $\lambda$ -कैलकुलस प्रोग्रामों (विशेष रूपकर जो QRAM मॉडल का अनुसरण करते हैं जिनमें क्लासिकल कंट्रोल फ्लो होता है) को निम्न-स्तरीय क्वांटम सर्किट्स (QASM-शैली) में संकलित (compile) करने की चुनौती का समाधान करता है।

अंतराल (The Gap): वर्तमान क्वांटम प्रोग्रामिंग अक्सर QRAM मॉडल पर निर्भर करती है, जहाँ एक क्लासिकल कंप्यूटर क्वांटम प्रोसेसर को नियंत्रित करता है, जिससे डायनेमिक कंट्रोल फ्लो (जैसे, मेजरमेंट परिणामों के आधार पर if स्टेटमेंट्स) संभव होता है। हालाँकि, वास्तविक क्वांटम हार्डवेयर के लिए आमतौर पर एक स्टैटिक, प्री-कंपाइल्ड सर्किट की आवश्यकता होती है।
मुख्य कठिनाई (The Core Difficulty): हायर-ऑर्डर फंक्शन्स और कंडीशनल्स (विशेष रूप से वे जो हायर-ऑर्डर टाइप्स के होते हैं) को सर्किट्स में संकलित करना गैर-तुच्छ है।
- एक्सपोनेंशियल ब्लो-अप (Exponential Blow-up): एक साधारण संकलन रणनीति जो प्रत्येक कंडीशनल के लिए सर्किट की शाखाओं (branches) को डुप्लिकेट करती है, सर्किट के आकार में एक्सपोनेंशियल वृद्धि का कारण बनती है।
- डेडलॉक (Deadlocks): एक अधिक कुशल "सिनक्रोनस" (synchronous) रणनीति (शाखाओं को समानांतर में संकलित करना और उन्हें मर्ज करना) विफल हो सकती है क्योंकि यह कंडीशनल्स और क्वांटम गेट्स के बीच चक्रीय निर्भरता (circular dependencies) के कारण डेडलॉक उत्पन्न कर सकती है, जहाँ कंपाइलर निष्पादन क्रम (execution order) निर्धारित करने में असमर्थ हो जाता है।
लक्ष्य (Goal): एक ऐसा संकलन एल्गोरिदम विकसित करना जो:
1. एक $\lambda$ -टर्म से एकल क्वांटम सर्किट तैयार करे।
2. संकलन के समय (compile time) यथासंभव अधिक क्लासिकल कंप्यूटेशन करे।
3. जहाँ संभव हो, आकार में एक्सपोनेंशियल ब्लो-अप से बचे।
4. सभी वेल-टाइप्ड (well-typed) टर्म्स के लिए समाप्ति (termination) सुनिश्चित करे।

2. कार्यप्रणाली (Methodology)

लेखक जिरार्ड के ज्योमेट्री ऑफ इंटरैक्शन (GoI) पर आधारित दो-चरणीय संकलन प्रक्रिया प्रस्तावित करते हैं।

A. स्रोत भाषा (The Source Language: $\lambda_Q$ )

इनपुट एक लीनियर क्वांटम $\lambda$ -कैलकुलस ( $\lambda_Q$ ) है जिसमें निम्नलिखित शामिल हैं:

लीनियर टाइप्स (जो यह सुनिश्चित करते हैं कि क्यूबिट्स का क्लोनिंग या इरेज़िंग न हो)।
बेस टाइप्स: bit (क्लासिकल) और qbit (क्वांटम)।
ऑपरेशन्स: यूनिटरी गेट्स (जैसे, Hadamard, CNOT), क्यूबिट इनिशियलाइजेशन, और मेजरमेंट।
कंट्रोल फ्लो: कंडीशनल्स (if) और हायर-ऑर्डर फंक्शन्स।

B. संकलन इंजन (The Compilation Engine: QCSIAM)

मुख्य तंत्र क्वांटम सर्किट इंटरैक्शन एब्स्ट्रैक्ट मशीन (QCSIAM) है। यह सोर्स टर्म के टाइप डेरिवेशन पर "टोकेन्स" (tokens) का उपयोग करके कार्य करता है जो डेरिवेशन ट्री में यात्रा करते हैं।

टोकेन डायनेमिक्स (Token Dynamics): टोकेन्स डेटा फ्लो का प्रतिनिधित्व करते हैं। वे इनपुट पोजीशन (बेस टाइप्स के नेगेटिव ऑकरेंस) से शुरू होते हैं और आउटपुट पोजीशन (पॉजिटिव ऑकरेंस) तक यात्रा करते हैं।
सर्किट निर्माण (Circuit Construction): जैसे-जैसे टोकेन्स डेरिवेशन के माध्यम से यात्रा करते हैं, वे सर्किट गेट्स के निर्माण को ट्रिगर करते हैं।
- स्ट्रक्चरल रूल्स (Structural Rules): टोकेन्स को लॉजिकल कनेक्टिव्स (जैसे, $\otimes$ , $\multimap$ ) के माध्यम से बिना सर्किट संरचना बदले मूव करते हैं, केवल वायरों को रीलेबल करते हैं।
- गेट रूल्स (Gate Rules): जब टोकेन्स एक क्वांटम गेट (जैसे, CNOT) पर सिंक्रोनाइज़ होते हैं, तो गेट को सर्किट में जोड़ा जाता है।
- कंडीशनल हैंडलिंग (The Critical Innovation):
  - एसिंक्रोनस नियम (Asynchronous Rule - Naïve): यदि एक कंडीशनल मिलता है, तो मशीन टोकेन्स को डुप्लिकेट करती है और दोनों शाखाओं को स्वतंत्र रूप से एक्सप्लोर करती है। यह हमेशा सही होता है लेकिन एक्सपोनेंशियल ब्लो-अप (हर ब्रांच के लिए सर्किट को डुप्लिकेट करना) का कारण बन सकता है।
  - सिनक्रोनस नियम (Synchronous Rule - Optimized): मशीन तब तक प्रतीक्षा करती है जब तक कि सभी टोकेन्स कंडीशनल के नेगेटिव कंक्लूजन तक नहीं पहुँच जाते। इसके बाद, यह दोनों शाखाओं को रिकर्सिवली कंपाइल करती है और उन्हें एक एकल if-then-else सर्किट नोड में मर्ज करती है। यह कॉम्पैक्ट सर्किट्स बनाता है लेकिन यदि टोकेन्स एक चक्र में एक-दूसरे का इंतज़ार कर रहे हों, तो डेडलॉक का जोखिम रहता है।
हाइब्रिड रणनीति (Hybrid Strategy): प्रस्तावित मशीन, QCSIAM!, जब भी संभव हो सिनक्रोनस नियम का उपयोग करती है (दक्षता सुनिश्चित करने के लिए) और डेडलॉक का पता चलने पर ही एसिंक्रोनस नियम पर वापस आती है (पूर्णता सुनिश्चित करने के लिए)।

C. क्लासिकल कंट्रोल को हटाना (Eliminating Classical Control)

मशीन का प्रारंभिक आउटपुट एक "सर्किट विद कंट्रोल फ्लो" (जिसमें if-then-else नोड्स होते हैं) होता है। लेखक सिद्ध करते हैं (सेक्शन 4) कि ऐसे किसी भी सर्किट को कंट्रोल्ड-स्वैप गेट्स (फ्रेडकिन गेट्स) और मेजरमेंट-आधारित लॉजिक का उपयोग करके एक प्लेन सर्किट (बिना कंडीशनल्स के) में बदला जा सकता है, जो सेमैंटिक्स को सुरक्षित रखते हुए लीनियर साइज का होता है।

3. मुख्य योगदान (Key Contributions)

एक एकीकृत संकलन एल्गोरिदम (A Unified Compilation Algorithm): एक प्रक्रिया जो लीनियर क्वांटम $\lambda$ -टर्म्स को क्वांटम सर्किट्स में अनुवादित करती है, जो हायर-ऑर्डर फंक्शन्स और डायनेमिक कंट्रोल फ्लो (मेजरमेंट्स द्वारा नियंत्रित) को संभालती है।
GoI के माध्यम से दक्षता (Efficiency via GoI): ज्योमेट्री ऑफ इंटरैक्शन का उपयोग कंपाइलर को डेटा-फ्लो विश्लेषण करने की अनुमति देता है ताकि निर्भरता (dependencies) का पता लगाया जा सके। यह सिनक्रोनस नियम को सक्षम बनाता है, जो पिछले दृष्टिकोणों में सामान्य एक्सपोनेंशियल ब्लो-अप से बचाता है।
डेडलॉक समाधान (Deadlock Resolution): पेपर में पहचान की गई है कि कुछ टर्म्स के लिए चक्रीय निर्भरता (डेडलॉक) अपरिहार्य है (परिशिष्ट B में इम्पॉसिबिलिटी रिजल्ट के माध्यम से सिद्ध)। हाइब्रिड मशीन इसे आवश्यक होने पर एसिंक्रोनस विधि पर स्विच करके संभालती है, जिससे टोटल करेक्टनेस (यह किसी भी वेल-टाइप्ड टर्म को कंपाइल करती है) सुनिश्चित होती है।
कुशल संकलन का लक्षण वर्णन (Characterization of Efficient Compilation): लेखक एक टाइप सिस्टम ( $C\lambda_Q$ ) पेश करते हैं जो उन टर्म्स के उपसमुच्चय को स्टैटिक रूप से परिभाषित करता है जिनके लिए सिनक्रोनस संकलन बिना डेडलॉक के समाप्त होने की गारंटी देता है।
- वे टाइप डेरिवेशन के आधार पर एक डिपेंडेंसी ग्राफ ( $G_\pi$ ) को परिभाषित करते हैं।
- प्रपोजिशन 6.1: सिनक्रोनस संकलन कुशल (कोई एक्सपोनेंशियल ब्लो-अप नहीं) है यदि और केवल यदि $G_\pi$ एसाइक्लिक (acyclic) है।
- टाइप सिस्टम यह सुनिश्चित करता है कि वेल-टाइप्ड टर्म्स के डिपेंडेंसी ग्राफ एसाइक्लिक हों।

4. परिणाम और सैद्धांतिक गारंटी (Results and Theoretical Guarantees)

साउंडनेस (Soundness): संकलित सर्किट $C_M$ $C_{M}$ , सोर्स टर्म $M$ $M$ के सेमैंटिकली समकक्ष है। लेखक एक बिसिम्यूलेशन (bisimulation) के माध्यम से इसे सिद्ध करते हैं जो QCSIAM (डिटरमिनिस्टिक सर्किट बिल्डर) और एक प्रोबेबिलिस्टिक मशीन (QMSIAM) के बीच है, जो $\lambda_Q$ $λ_{Q}$ की ऑपरेशनल सेमैंटिक्स को क्वांटम रजिस्टर्स का उपयोग करके सिम्युलेट करती है।
- थ्योरम 5.7: सर्किट द्वारा इनपुट पर डाली गई मिक्स स्टेट, टर्म के डायरेक्ट इवैल्यूएशन द्वारा उत्पन्न स्टेट के वितरण (distribution) से मेल खाती है।
समाप्ति (Termination): QCSIAM! किसी भी वेल-टाइप्ड टर्म के लिए हमेशा समाप्त होता है (कोरोलरी 5.14)।
कन्फ्लुएंस (Confluence): परिणामी सर्किट सेमैंटिक इक्विवेलेंस के संदर्भ में अद्वितीय है (कोरोलरी 5.15)।
जटिलता (Complexity):
- उन टर्म्स के लिए जिनमें एसाइक्लिक डिपेंडेंसी ग्राफ हैं (टाइप सिस्टम द्वारा कैप्चर किए गए), संकलन कुशल (टर्म के सापेक्ष लीनियर या पॉलिनॉमियल साइज) है।
- साइक्लिक डिपेंडेंसी वाले टर्म्स के लिए, मशीन एसिंक्रोनस विधि पर वापस जाती है, जिसके परिणामस्वरूप एक्सपोनेंशियल साइज हो सकता है, जो उन विशिष्ट लॉजिकल स्ट्रक्चर्स के लिए अपरिहार्य है।

5. महत्व (Significance)

उच्च-स्तरीय और निम्न-स्तरीय के बीच सेतु बनाना (Bridging High-Level and Low-Level): यह कार्य कार्यात्मक क्वांटम भाषाओं (जैसे QRAM मॉडल में) को सीधे हार्डवेयर-एग्जीक्यूटेबल सर्किट्स में कंपाइल करने के लिए एक कठोर सैद्धांतिक आधार प्रदान करता है, जो वर्तमान में व्यावहारिक क्वांटम सॉफ्टवेयर स्टैक में एक अंतराल है।
हायर-ऑर्डर कंट्रोल को संभालना (Handling Higher-Order Control): यह हायर-ऑर्डर कंडीशनल्स को कंपाइल करने की विशिष्ट समस्या को हल करता है, जिन्हें एक्सपोनेंशियल ओवरहेड के बिना स्टैटिक सर्किट्स में मैप करना अत्यंत कठिन है।
दक्षता बनाम शुद्धता का ट्रेड-ऑफ (Optimization vs. Correctness Trade-off): यह पेपर दक्षता और शुद्धता के बीच संतुलन बनाने के लिए एक सिद्धांतपूर्ण तरीका प्रदान करता है। यह दिखाता है कि हालांकि सभी टर्म्स के लिए "परफेक्ट" कुशल संकलन असंभव है (इंडेफिनेट कॉज़ल ऑर्डर के संबंध में मौलिक क्वांटम सीमाओं के कारण), एक हाइब्रिड दृष्टिकोण सभी मामलों को संभाल सकता है जबकि अधिकांश को अनुकूलित (optimize) कर सकता है।
भविष्य के अनुप्रयोग (Future Applications): लेखक सुझाव देते हैं कि इस दृष्टिकोण को लीनियर हैस्केल (Linear Haskell) जैसी भाषाओं में लागू किया जा सकता है या कंडीशनल्स के सावधानीपूर्वक प्रबंधन के साथ अधिक अभिव्यंजक टाइप सिस्टम (एडिटिव्स/एक्सपोनेंशियल) का समर्थन करने के लिए विस्तारित किया जा सकता है।

संक्षेप में, यह शोध पत्र कार्यात्मक क्वांटम प्रोग्रामों के लिए एक नवीन, साउंड और कंप्लीट कंपाइलर प्रस्तुत करता है जो ज्योमेट्री ऑफ इंटरैक्शन का लाभ उठाकर अधिकतम क्लासिकल कंप्यूटेशन को अधिकतम करता है, जिससे डायनेमिक क्वांटम कंट्रोल फ्लो को प्रभावी रूप से स्टैटिक क्वांटम सर्किट्स में अनुवादित किया जाता है।