A Survey of Quantum Programming Languages

कल्पना कीजिए कि आप एक घर बनाने की कोशिश कर रहे हैं, लेकिन ईंट और लकड़ी के बजाय, आप "क्वांटम ईंटों" से निर्माण कर रहे हैं जो एक ही समय में दो जगहों पर मौजूद हो सकती हैं। इसे करने के लिए, आपको ब्लूप्रिंट (नक्शों) और एक भाषा की आवश्यकता होगी ताकि आप निर्माण दल को ठीक से निर्देश दे सकें कि उन्हें क्या करना है।

यह शोध पत्र उन "भाषाओं" का एक सर्वेक्षण है जिनका उपयोग प्रोग्रामर इन क्वांटम कंप्यूटरों के लिए निर्देश लिखने हेतु करते हैं। लेखक, जो UCLA की एक टीम है, यह पता लगाना चाहते थे कि कौन सी भाषाएँ इस काम के लिए सबसे अच्छे उपकरण हैं। उन्होंने केवल मैनुअल नहीं देखे; उन्होंने वास्तव में दस अलग-अलग भाषाओं का उपयोग करके एक ही तीन जटिल संरचनाओं (एल्गोरिदम) को बनाया ताकि यह देखा जा सके कि प्रत्येक के साथ काम करना कितना आसान या कठिन था।

यहाँ उनके निष्कर्षों का सरल उपमाओं (analogies) का उपयोग करके विवरण दिया गया है:

1. लक्ष्य: क्वांटम संरचनाओं का निर्माण करना

टीम ने भाषाओं का परीक्षण करने के लिए तीन विशिष्ट "निर्माण परियोजनाओं" को चुना:

• शोर का एल्गोरिदम (Shor's Algorithm): इसे एक मास्टर लॉक-पिकिंग टूल (ताला खोलने वाला औजार) के रूप में समझें। इसे विशाल संख्याओं को उनके अभाज्य गुणनखंडों (prime factors) में तोड़ने के लिए डिज़ाइन किया गया है (जैसे एक विशाल लेगो टावर को यह खोजने के लिए अलग करना कि उसमें किन विशिष्ट ईंटों का उपयोग किया गया था)। यह प्रसिद्ध है क्योंकि यह सैद्धांतिक रूप से वर्तमान इंटरनेट सुरक्षा को तोड़ सकता है।
• हैमिल्टनियन सिमुलेशन (Hamiltonian Simulation): यह एक जटिल मौसम प्रणाली या रासायनिक प्रतिक्रिया का अनुकरण करने जैसा है। इसका लक्ष्य यह अनुमान लगाना है कि सूक्ष्म कणों का एक समूह समय के साथ कैसे गति करेगा और परस्पर क्रिया करेगा। उन्होंने इसे करने के दो अलग-अलग तरीके आजमाए:
  • ट्रोटराइजेशन (Trotterization): कई छोटे, स्थिर कदम उठाकर एक लंबी पैदल यात्रा करने जैसा।
  • एलसीयू (LCU - Linear Combination of Unitaries): एक साथ कई अलग-अलग रास्तों को जोड़कर एक शॉर्टकट लेने जैसा, लेकिन इसके सेटअप के लिए थोड़े अधिक गणित की आवश्यकता होती है।

2. ढांचा: उन्होंने भाषाओं को कैसे परखा

दस भाषाओं (जैसे Cirq, Qiskit, Q#, Silq, आदि) की तुलना करने के लिए, लेखकों ने एक "रिपोर्ट कार्ड" बनाया जिसमें तीन मुख्य श्रेणियां थीं:

• प्रोग्रामिंग मॉडल (ब्लूप्रिंट शैली):

  • एम्बेडेड (Embedded): कल्पना करें कि आप एक रेसिपी (क्लासिकल कंप्यूटर वाला हिस्सा) लिख रहे हैं और, उस रेसिपी के अंदर, आप एक रोबोट के लिए एक अलग, विस्तृत निर्देश पुस्तिका लिख रहे हैं (क्वांटम वाला हिस्सा)। आपको एक शेफ और एक रोबोट प्रोग्रामर के बीच भूमिका बदलनी पड़ती है। अधिकांश वर्तमान भाषाएं इसी तरह काम करती हैं।
  • हाइब्रिड (Hybrid): कल्पना करें कि एक रसोई है जहाँ शेफ और रोबोट एक ही टीम में हैं, जो एक ही भाषा बोलते हैं। आप रोबोट को सब्जी काटने के लिए कह सकते हैं और फिर तुरंत शेफ को बर्तन चलाने के लिए कह सकते हैं, और यह सब एक निरंतर प्रवाह में होता है। यह अधिक सुचारू है लेकिन इसे बनाना कठिन है।

• अभिव्यक्ति क्षमता (टूलबॉक्स):
  क्या भाषा के पास काम को आसान बनाने के लिए सही उपकरण हैं?

  • पॉली मैनिपुलेशन (Pauli Manipulation): क्या इसमें आवश्यक भौतिकी गणित के लिए पहले से बने "लेगो ब्रिक्स" हैं, या आपको गणित को शून्य से बनाना पड़ता है?
  • क्लासिकल डेटा एनकोडिंग (Classical Data Encoding): क्या यह सामान्य संख्याओं को क्वांटम अवस्थाओं में आसानी से बदल सकता है?
  • क्वांटम पूर्णांक (Quantum Integers): क्या यह "क्वांटम नंबरों" (वे संख्याएं जो क्यूबिट्स से बनी होती हैं) के साथ वैसे ही गणित कर सकता है जैसे हम सामान्य संख्याओं के साथ करते हैं?
  • डायनेमिक एलोकेशन (Dynamic Allocation): क्या भाषा ज़रूरत पड़ने पर शेल्फ से एक नया उपकरण (क्यूबिट) उठा सकती है, और काम खत्म होने पर उसे वापस रख सकती है, बिना इस बात की गिनती किए कि आपको पहले से कितने उपकरणों की आवश्यकता होगी?

• सुरक्षा (सुरक्षा घेरा/Guardrails):

  • टाइप सेफ्टी (Type Safety): क्या भाषा आपको पेंच पर हथौड़ा चलाने की कोशिश करने से रोकती है? यह आपके कोड को चलाने से पहले ही जांच लेती है कि कहीं आप कोई मूर्खतापूर्ण गलती तो नहीं कर रहे हैं।
  • इनिशियलाइजेशन सेफ्टी (Initialization Safety): क्वांटम कंप्यूटिंग में, यदि आप एक "गंदे" उपकरण (एक क्यूबिट जिसका पहले उपयोग किया गया था) का पुन: उपयोग करते हैं, तो यह आपके नए प्रोजेक्ट को खराब कर सकता है। एक सुरक्षित भाषा उपकरण को स्वचालित रूप से साफ (uncompute) करती है ताकि वह नया और तैयार रहे।

3. परिणाम: कोई भी पूर्ण उपकरण नहीं

टीम ने दस अलग-अलग भाषाओं (गूगल के Cirq और माइक्रोसॉफ्ट के Q# जैसे उद्योग के उपकरणों और अकादमिक उपकरणों जैसे Silq का मिश्रण) में एक ही प्रोग्राम लिखे।

• बड़ी खोज: अभी तक कोई "परफेक्ट" भाषा नहीं है।

  • कुछ भाषाएँ सुरक्षा में बेहतरीन हैं (जैसे Silq, जो अपने उपकरणों को स्वचालित रूप से साफ करती है) लेकिन उनमें कुछ फैंसी गणितीय शॉर्टकट की कमी है।
  • कुछ भाषाएँ गणितीय शॉर्टकट में बेहतरीन हैं (जैसे CUDA-Q या Cirq) लेकिन उन्हें अपने उपकरणों का प्रबंधन करने के लिए बहुत सावधान रहना पड़ता है।
  • कुछ भाषाएँ "हाइब्रिड" (क्लासिकल और क्वांटम को सुचारू रूप से मिलाना) हैं, जबकि अन्य "एम्बेडेड" (उन्हें अलग रखना) हैं।

• "कोड की पंक्तियाँ" परीक्षण: उन्होंने प्रत्येक भाषा में एक ही संरचना बनाने के लिए आवश्यक कोड की पंक्तियों की गणना की।

  • Q# और Silq कुछ कार्यों के लिए बहुत संक्षिप्त (कम पंक्तियाँ) थे।
  • PyQuil और CUDA-Q को कभी-कभी अधिक पंक्तियों की आवश्यकता होती थी क्योंकि उन्हें उन चीजों को मैन्युअल रूप से बनाना पड़ता था जिन्हें अन्य भाषाएं स्वचालित रूप से करती हैं।
  • दिलचस्प बात यह है कि "LCU" सिमुलेशन पद्धति के लिए हमेशा "Trotterization" पद्धति की तुलना में अधिक कोड की आवश्यकता हुई, चाहे भाषा कोई भी हो।

4. निष्कर्ष

यह शोध पत्र निष्कर्ष निकालता है कि हालांकि हमारे पास चुनने के लिए कई भाषाएं हैं, लेकिन उनमें से किसी के पास भी वह सब कुछ नहीं है जिसकी हमें आवश्यकता है।

• यदि आप सुरक्षा चाहते हैं, तो आप उपयोग में आसानी खो सकते हैं।
• यदि आप शक्तिशाली गणितीय उपकरण चाहते हैं, तो आपको स्वयं अपने मेमोरी (क्यूबिट्स) का प्रबंधन करना पड़ सकता है।

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

संक्षेप में: क्वांटम प्रोग्रामिंग एक नए प्रकार की कार चलाने सीखने जैसा है। अभी, हमारे पास दस अलग-अलग मॉडल (भाषाएं) हैं। कुछ में बेहतरीन ब्रेक (सुरक्षा) हैं, कुछ में शक्तिशाली इंजन (अभिव्यक्ति क्षमता) हैं, लेकिन अभी तक किसी में भी इन विशेषताओं का सही संयोजन नहीं है। यह शोध पत्र यह समझने की दिशा में पहला कदम है कि वह आदर्श कार कैसी दिखनी चाहिए।