Plethysm is in #BQP

ब्रह्मांड की कल्पना एक विशाल, ब्रह्मांडीय लेगो (Lego) सेट के रूप में करें। इस सेट में, सबसे मौलिक निर्माण खंड केवल ईंटें नहीं हैं, बल्कि समरूपता (symmetry) के पैटर्न हैं। गणितज्ञों और भौतिकविदों को लंबे समय से पता है कि जब आप इन पैटर्नों को मिलाते हैं—जैसे दो लेगो संरचनाओं को आपस में जोड़ना—तो आपको एक नई, बड़ी संरचना प्राप्त होती है। लेकिन यहाँ पेचीदा हिस्सा यह है: यह समझना कि पुरानी संरचनाओं से नई संरचना वास्तव में कैसे बनाई गई है, समुद्र तट पर रेत के हर एक कण को गिनने की कोशिश करने जैसा है जबकि ज्वार आ रहा हो। यह क्षेत्र, जिसे 'रिप्रेजेंटेशन थ्योरी' (representation theory) कहा जाता है, इन समरूपताओं का अध्ययन है। यह महत्वपूर्ण है क्योंकि यह हमें उप-परमाणु कणों के व्यवहार से लेकर कंप्यूटर एल्गोरिदम की जटिलता तक सब कुछ समझने में मदद करता है।

दशकों से, वैज्ञानिक इस क्षेत्र के भीतर एक विशिष्ट पहेली को हल करने की कोशिश कर रहे हैं: "मल्टीप्लिसिटीज" (multiplicities) को गिनना। मल्टीप्लिसिटी को एक रेसिपी कार्ड की तरह समझें जो आपको ठीक-ठीक बताता है कि एक विशाल, जटिल लेगो महल के अंदर विशिष्ट छोटे लेगो पैटर्न की कितनी प्रतियां छिपी हुई हैं। कुछ रेसिपी आसानी से पढ़ी जा सकती हैं; अन्य इतनी जटिल हैं कि सबसे स्मार्ट कंप्यूटर भी उन्हें हल करने के लिए संघर्ष करते हैं। बड़ा सवाल यह था: क्या हम इन छिपे हुए पैटर्न को कुशलतापूर्वक गिनने का कोई तरीका खोज सकते हैं? यदि हम ऐसा कर सकते हैं, तो यह इस बात की कुंजी खोल देगा कि कंप्यूटर क्या कर सकते हैं और ब्रह्मांड कैसे व्यवस्थित है।

यहीं पर डेनमार्क, अमेरिका, जर्मनी और नीदरलैंड के विश्वविद्यालयों के शोधकर्ताओं की एक टीम एक नए, क्वांटम-संचालित दृष्टिकोण के साथ आती है। उन्होंने "प्लेथिज्म कोएफिशिएंट्स" (plethysm coefficients) नामक एक विशेष रूप से जिद्दी प्रकार के रेसिपी कार्ड को हल किया। हालांकि यह पहले से ही ज्ञात था कि क्वांटेशनल कंप्यूटर इन गुणांकों के कुछ विशेष मामलों की कुशलता से गणना कर सकते हैं, लेकिन सामान्य समस्या एक बड़ी चुनौती बनी हुई थी। लेखकों ने केवल गिनने का एक नया तरीका नहीं खोजा; उन्होंने एक एकीकृत ढांचा विकसित किया जो पिछले कार्यों का विस्तार, सरलीकरण और एकीकरण करता है, और यह सिद्ध करता है कि सामान्य प्लेथिज्म समस्या—और संबंधित समस्याओं का एक विस्तृत वर्ग—वास्तव में एक क्वांटम कंप्यूटर द्वारा 'पॉलीनोमियल टाइम' (polynomial time) में हल किया जा सकता है।

यहाँ उनकी खोज की कहानी है, जिसे भारी गणित के बिना समझाया गया है।

छिपे हुए पैटर्न की पहेली

यह समझने के लिए कि इन शोधकर्ताओं ने क्या किया, आइए एक उपमा का उपयोग करें। कल्पना कीजिए कि आपके पास एक विशाल, जादुई पुस्तकालय है। इसके अंदर, लाखों पुस्तकें हैं (जो "रिप्रेजेंटेशन" नामक गणितीय संरचनाओं का प्रतिनिधित्व करती हैं)। कुछ पुस्तकें सरल हैं, जैसे एक एकल वाक्य। अन्य विश्वकोश हैं। जब आप दो पुस्तकों को मिलाते हैं, तो आपको केवल एक बड़ी पुस्तक नहीं मिलती; आपको एक नई पुस्तक मिलती है जो दोनों का मिश्रण होती है।

समस्या यह है कि जब आप उन्हें मिलाते हैं, तो नई पुस्तक में मूल पुस्तकों के छिपे हुए अध्याय होते हैं। एक "मल्टीप्लिसिटी" केवल उस संख्या को दर्शाती है जितनी बार एक विशिष्ट अध्याय (मान लीजिए "अध्याय लैम्डा") उस नई मिश्रित पुस्तक में दिखाई देता है।

कुछ सरल मिश्रणों के लिए, हमारे पास एक स्पष्ट मानचित्र होता है। हम पुस्तक को देख सकते हैं और कह सकते हैं, "आह, अध्याय लैम्डा यहाँ ठीक तीन बार मौजूद है।" यह टोकरी में सेब गिनने जैसा है; यह आसान है। लेकिन अधिक जटिल मिश्रणों के लिए, मानचित्र गायब होता है। हम जानते हैं कि अध्याय वहाँ मौजूद हैं, लेकिन हम हर एक पन्ना पढ़े बिना उन्हें नहीं गिन सकते, जिसमें बहुत समय लगता है। कंप्यूटर की दुनिया में, यह एक दुःस्वप्न है। यह घास के ढेर में एक विशिष्ट सुई खोजने की कोशिश करने जैसा है जो लगातार बढ़ता जा रहा है।

शोधकर्ताओं ने एक विशेष, बहुत कठिन प्रकार के मिश्रण पर ध्यान केंद्रित किया जिसे "प्लेथिज्म" (plethysm) कहा जाता है। कल्पना कीजिए कि आप एक पुस्तक लेते हैं, उसे उल्टा कर देते हैं, और फिर उस उल्टे संस्करण का उपयोग करके एक नई पुस्तक लिखते हैं। यह प्रक्रिया इतनी जटिल है कि लंबे समय तक किसी को नहीं पता था कि क्या कोई कंप्यूटर अंतिम परिणाम में अध्यायों को गिनने के दौरान अनंत लूप (infinite loop) में फंसे बिना कभी गिन पाएगा।

क्वांटम कुंजी

टीम को एहसास हुआ कि जबकि क्लासिकल कंप्यूटर (वे जिन्हें आपके लैपटॉप में उपयोग किया जाता है) इन पैटर्नों को गिनने में फंस जाते हैं, क्वांटम कंप्यूटर के पास एक गुप्त हथियार हो सकता है। क्वांटम कंप्यूटर केवल एक-एक करके नहीं गिनते; वे एक साथ कई संभावनाओं को एक्सप्लोर कर सकते हैं, जैसे एक भूत एक ही समय में भूलभुलैया की सभी दीवारों के माध्यम से चल रहा हो।

लेखकों ने दिखाया कि इन गिनती वाली समस्याओं के एक व्यापक वर्ग के लिए, जिसमें सामान्य प्लेथिज्म गुणांक शामिल हैं, एक क्वांटम एल्गोरिदम है जो काम करता है। उन्होंने केवल अनुमान नहीं लगाया; उन्होंने एक क्वांटिक सर्किट का सैद्धांतिक ब्लूप्रिंट बनाया जो एक अत्यंत बुद्धिमान लाइब्रेरियन की तरह कार्य करता है।

यहाँ उनका "क्वांटम लाइब्रेरियन" कैसे काम करता है, पेपर के तर्क का उपयोग करते हुए:

1. सेटअप: वे एक "विटनेस" (witness) से शुरू करते हैं, जो मिश्रित पुस्तक का एक विशिष्ट पृष्ठ है जिसे उपयोगकर्ता जांचना चाहता है।
2. अनपैकिंग: वे "शूर ट्रांसफॉर्म" (Schur transform) नामक एक गणितीय उपकरण का उपयोग करते हैं। इसे एक जादुari डिकोडर रिंग समझें। यह बिखरी हुई, मिश्रित पुस्तक को लेता है और उसे एक व्यवस्थित शेल्फ में पुनर्व्यवस्थित करता है जहाँ प्रत्येक अध्याय को उसके प्रकार के अनुसार छाँटा जाता है।
3. चेक: एक बार जब पुस्तक छँट जाती है, तो क्वांटम कंप्यूटर शेल्फ को देखता है। यदि विशिष्ट अध्याय (जिसे हम गिन रहे हैं) वहाँ है, तो कंप्यूटर चमक उठता है और कहता है, "हाँ!" यदि वह नहीं है, तो वह अंधेरा रहता है।
4. गिनती: क्योंकि क्वांटम कंप्यूटर एक साथ कई अवस्थाओं (states) को धारण कर सकते हैं, यह प्रक्रिया प्रभावी रूप से गिनती है कि मूल बिखरी हुई मिश्रण में वह अध्याय कितनी बार दिखाई देता है।

पेपर यह सिद्ध करता है कि यह प्रक्रिया क्वांटम कंप्यूटर के लिए पर्याप्त तेज़ है ताकि इसे 'पॉलीनोमियल टाइम' में कुशल माना जा सके। कंप्यूटर विज्ञान की भाषा में, उन्होंने दिखाया कि ये समस्याएँ #BQP नामक वर्ग से संबंधित हैं। यह "कठिन लेकिन हल करने योग्य गिनती वाली समस्याओं" का क्वांटम संस्करण है जिसे पॉलीनोमियल टाइम में हल किया जा सकता है।

यह क्यों मायने रखता है (और क्या नहीं)

शोधकर्ता इस बात को लेकर बहुत स्पष्ट थे कि उन्होंने क्या हासिल किया और क्या अभी भी रहस्य बना हुआ है। उन्होंने सिद्ध किया कि ये गुणांक #BQP में हैं, जिसका अर्थ है कि एक क्वांटम कंप्यूटर उन्हें पॉलीनोमियल टाइम में कुशलतापूर्वक हल कर सकता है। यह एक बड़ी बात है क्योंकि यह पिछले कई परिणामों को एकीकृत करता है। इससे पहले, हम जानते थे कि क्वांटम कंप्यूटर इन समस्याओं के कुछ विशिष्ट, आसान संस्करणों को हल कर सकते हैं, लेकिन सामान्य मामला एक ब्लैक बॉक्स बना हुआ था। अब, हमें पता है कि उस ब्लैक बॉक्स की एक कुंजी है।

हालाँकि, उन्होंने यह स्पष्ट करने में भी सावधानी बरती कि उन्होंने क्या नहीं किया। उन्होंने यह सिद्ध नहीं किया कि ये समस्याएँ क्लासिकल कंप्यूटरों (जो आज हम उपयोग करते हैं) के लिए आसान हैं। वास्तव में, इनमें से कई समस्याओं के लिए, अभी भी यह माना जाता है कि क्लासिकल कंप्यूटर हमेशा संघर्ष करेंगे। उन्होंने यह भी हल नहीं किया कि एक सरल, मानव-पठनीय सूत्र (जैसे कि "पॉजिटिव कॉम्बिनेटोरियल इंटरप्रिटेशन") कैसे खोजा जाए जो यह समझा सके कि संख्याएँ वैसी क्यों हैं जैसी वे हैं। उन्होंने केवल यह दिखाया कि एक क्वांटम मशीन उन्हें जल्दी से गिन सकती है।

पेपर "GapP" नामक एक संबंधित अवधारणा पर भी चर्चा करता है, जो उन समस्याओं का एक वर्ग है जिन्हें क्लासिकल कंप्यूटरों द्वारा हल किया जा सकता है लेकिन इसमें बड़ी संख्याओं को एक-दूसरे से घटाने की आवश्यकता हो सकती है, जिससे परिणाम को सटीक रूप से बताना कठिन हो जाता है। उन्होंने दिखाया कि ये गुणांक इस श्रेणी में भी आते हैं, जो हमें यह पूर्ण चित्र देता है कि ये संख्याएँ जटिलता के परिदृश्य में कहाँ स्थित हैं।

निष्कर्ष

तो, इस पेपर ने वास्तव में क्या किया? इसने गणितीय पहेलियों के एक ऐसे समूह को लिया जिसे माना जाता था कि क्लासिकल कंप्यूटरों के लिए कुशलतापूर्वक हल करना बहुत कठिन है, और दिखाया कि उन्हें क्वांटम कंप्यूटरों द्वारा कुशलतापूर्वक हल किया जा सकता है। "अन-एंटैंगलमेंट" (un-entanglement) और "री-एंटैंगलमेंट" (re-entanglement) चरणों (शूर ट्रांसफॉर्म) के एक चतुर अनुक्रम का उपयोग करके, लेखकों ने जटिल समरूपताओं की बिखरी हुई दुनिया और क्वांटम गिनती की स्वच्छ दुनिया के बीच एक पुल बनाया।

उन्होंने केवल एक पहेली हल नहीं की; उन्होंने दिखाया कि पहेलियों का एक पूरा परिवार, जिसमें प्रसिद्ध प्लेथिज्म गुणांक भी शामिल हैं, एक क्वांटम कंप्यूटर द्वारा सुलझाया जा सकता है। जबकि हमारे पास अभी भी इन संख्याओं के लिए कोई सरल पेन-और-पेपर सूत्र नहीं है, और जबकि क्लासिकल कंप्यूटर अभी भी संघर्ष कर सकते हैं, क्वांटम मशीनों के लिए भारी काम करने का दरवाजा अब खुल गया है। यह एक याद दिलाता है कि कभी-कभी, अनगिनत को गिनने के लिए, आपको केवल एक बड़े कैलकुलेटर की आवश्यकता नहीं होती; आपको पूरी तरह से एक अलग प्रकार की मशीन की आवश्यकता होती है।