🔢 mathematics

Proof of hiding conjecture in Gaussian boson sampling

यह शोध पत्र सभी इनपुट मोड्स स्क्वीज़्ड (squeezed) वाले गाऊसी बोसन सैंपलिंग के लिए "हाइडिंग कंजेक्चर" (hiding conjecture) का पहला कठोर प्रमाण प्रदान करता है, जो यह स्थापित करता है कि एक रैंडम सर्कुलर ऑर्थोगोनल एनसेम्बल मैट्रिक्स के एक छोटे सबमैट्रिक्स को एक कॉम्प्लेक्स सिमेट्रिक गाऊसी मैट्रिक्स द्वारा अच्छी तरह से अनुमानित किया जा सकता है, जिससे इस प्रयोगात्मक रूप से कार्यान्वित क्वांटम प्रोटोकॉल की शास्त्रीय कठिनाई (classical hardness) के सैद्धांतिक आधार को सुदृढ़ किया जा सके।

मूल लेखक: Laura Shou, Sarah H. Miller, Victor Galitski

प्रकाशित 2026-10-05

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

CC BY 4.0

मूल लेखक: Laura Shou, Sarah H. Miller, Victor Galitski

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

क्वांटम कंप्यूटर शास्त्रीय मशीनों के लिए असंभव कार्य कर सकते हैं, इसे सिद्ध करने की खोज में, वैज्ञानिकों ने प्रकाश से जुड़े एक विशिष्ट प्रकार के प्रयोग की ओर रुख किया है। एक दर्पणों और बीम स्प्लिटर (beam splitters) के जटिल भूलभुलैया की कल्पना करें, एक ऐसा नेटवर्क जहाँ प्रकाश के व्यक्तिगत कणों, जिन्हें फोटॉन कहा जाता है, को भेजा जाता है और उन्हें एक-दूसरे के साथ हस्तक्षेप (interfere) करने दिया जाता है। लक्ष्य यह मापना है कि ये फोटॉन इस भूलभुलैया से कैसे बाहर निकलते हैं। हालाँकि यह संयोग के एक सरल खेल जैसा लग सकता है, लेकिन इसके परिणाम की भविष्यवाणी करने वाली अंतर्निहित गणितीय गणना अविश्वसनीय रूप से कठिन है। इस प्रयोग के एक मानक संस्करण के लिए, कठिनाई दर्पणों की व्यवस्था से जुड़ी एक विशिष्ट संख्या की गणना करने से आती है। एक अधिक उन्नत संस्करण के लिए, जिसे गाऊसी बोसन सैंपलिंग (Gaussian boson sampling) के रूप में जाना जाता है, गणित में एक अलग, समान रूप से कठिन गणना शामिल है जिसे हाफनियन (hafnian) कहा जाता है। यह गणना इतनी कठिन है कि सबसे शक्तिशाली सुपरकंप्यूटर भी पर्याप्त बड़े सिस्टम के लिए इसे हल करने में ब्रह्मांड की आयु से अधिक समय लेंगे। यह कठिनाई ही उस दावे की नींव है कि क्वांटम मशीनें एक कम्प्यूटेशनल लाभ रखती हैं।

हालाँकि, इस लाभ को अचूक होने के लिए, शोधकर्ताओं को यह सुनिश्चित करना होगा कि क्वांटम मशीन द्वारा उत्पन्न यादृच्छिक पैटर्न (random patterns) वास्तव में यादृच्छिक हैं और प्रयोग के सेटअप के तरीके से गुप्त रूप से पक्षपाती नहीं हैं। एक महत्वपूर्ण पहेली का हिस्सा, जिसे "हाइडिंग कंजेक्चर" (hiding conjecture) कहा जाता है, यह दावा करता है कि क्वांटम डिवाइस द्वारा उत्पन्न एक जटिल, यादृच्छिक मैट्रिक्स प्रभावी रूप से स्वयं को एक मानक, शुद्ध यादृच्छिक गणितीय वस्तु के रूप में छिपा सकता है। यदि यह छिपाने का गुण सत्य होता है, तो यह सिद्ध करता है कि कोई भी चतुर शास्त्रीय एल्गोरिदम पर्दे के पीछे झाँककर असंभव गणना किए बिना परिणाम की भविष्यवाणी नहीं कर सकता। इस प्रमाण के बिना, क्वांटम लाभ का तर्क सैद्धांतिक रूप से कमजोर रहता है।

भौतिकविदों की एक टीम ने अब कठोर प्रमाण प्रदान किया है कि यह छिपाने का गुण वर्तमान में उपलब्ध सबसे मांग वाले प्रयोगात्मक सेटअप में काम करता है। हाल के वर्षों में, प्रयोगात्मककर्ताओं ने ऐसे उपकरण सफलतापूर्वक बनाए हैं जहाँ प्रत्येक इनपुट चैनल को प्रकाश की एक विशेष अवस्था, जिसे स्क्वीज्ड स्टेट (squeezed state) कहा जाता है, से भरा जाता है, बजाय इसके कि कुछ चैनलों को खाली छोड़ दिया जाए। यह "ऑल-स्क्वीज्ड" (all-squeezed) विन्यास ही वह क्षेत्र है जहाँ सबसे बड़े और सबसे प्रभावशाली क्वांटम लाभ प्रदर्शन हुए हैं। शोधकर्ताओं ने सिद्ध किया कि इस विशिष्ट, पूरी तरह से भरे हुए सेटिंग में, क्वांटम नेटवर्क द्वारा निर्मित जटिल मैट्रिक्स एक मानक यादृच्छिक मैट्रिक्स के समान सांख्यिकीय रूप से अविभेद्य है, भले ही नेटवर्क बहुत बड़ा हो। उन्होंने दिखाया कि जैसे-जैसे सिस्टम का आकार बढ़ता है, क्वांटम आउटपुट और एक शुद्ध यादृच्छिक गणितीय मॉडल के बीच का अंतर पूरी तरह से समाप्त हो जाता है।

यह खोज महत्वपूर्ण है क्योंकि यह क्वांटम वर्चस्व (quantum supremacy) के तर्क में एक बड़ी कमी को दूर करती है। पहले, यह प्रमाण कि क्वांटम मशीन अपनी जटिलता को छिपा रही थी, उन धारणाओं पर निर्भर था जो केवल तभी काम करती थीं जब प्रकाश स्रोतों की संख्या नेटवर्क के आकार की तुलना में कम होती थी। लेकिन आज के सबसे शक्तिशाली प्रयोग वहां उतने ही प्रकाश स्रोतों का उपयोग करते हैं जितने कि नेटवर्क में चैनल हैं। नया कार्य प्रदर्शित करता है कि छिपाने का गुण इस भीड़भाड़ वाले, उच्च-घनत्व वाले वातावरण में भी बना रहता है। शोधकर्ताओं ने स्थापित किया कि क्वांटम डिवाइस अपनी जटिल आंतरिक संरचना को सफलतापूर्वक छिपा लेता है, जिससे आउटपुट बिल्कुल वैसा ही दिखता है जैसा कि एक यादृच्छिक प्रक्रिया से अपेक्षित होता है। यह पुष्टि करता है कि इन प्रयोगों का अनुकरण करने की शास्त्रीय कठिनाई एक विशिष्ट, विरल (sparse) सेटअप का परिणाम नहीं है, बल्कि वर्तमान में निर्मित तकनीक की एक मौलिक विशेषता है।

यह प्रमाण नेटवर्क के माध्यम से प्रकाश की यात्रा का वर्णन करने वाले मैट्रिसेस के सांख्यिकीय गुणों का विश्लेषण करने पर आधारित है। टीम ने दिखाया कि क्वांटम डिवाइस द्वारा उत्पन्न विशिष्ट गणितीय वस्तु, जो एक यादृच्छिक यूनिटरी मैट्रिक्स के भागों को गुणा करके बनाई जाती है, एक ज्ञात यादृच्छिक मैट्रिक्स वितरण की ओर अभिसरित (converge) होती है। उन्होंने प्रायिकता वितरणों के बीच अंतर के एक सटीक माप का उपयोग करके इस अभिसरण को प्रदर्शित किया, जिससे यह सुनिश्चित हुआ कि वे व्यावहारिक उद्देश्यों के लिए प्रभावी रूप से समान हैं। यह परिणाम गाऊसी बोसन सैंपलिंग के अनुकरण की कठिनाई को मूल बोसन सैंपलिंग प्रस्ताव की कठिनाई के स्तर पर रखता है, जिससे इन प्रयोगों के लिए सैद्धांतिक आधार मजबूत होता है।

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

इस तथ्य की पुष्टि करके कि हाइडिंग कंजेक्चर प्रयोगात्मक रूप से प्रासंगिक क्षेत्र में लागू होता है, यह शोध पत्र क्वांटम लाभ के दावे की वैधता के बारे में एक लंबे समय से चल रहे संदेह को दूर करता है। यह वैज्ञानिक समुदाय को आश्वस्त करता है कि इन बड़े पैमाने के प्रयोगों में देखी गई जटिलता वास्तविक है। यह कार्य एक कठोर सत्यापन के रूप में खड़ा है कि क्वांटम मशीन वास्तव में एक ऐसा कार्य कर रही है जो शास्त्रीय कंप्यूटरों के लिए असाध्य (intractable) है, सेटअप में किसी चाल के कारण नहीं, बल्कि इसमें शामिल गणित की मौलिक प्रकृति के कारण। यह शोधकर्ताओं को आगे बढ़ने का विश्वास देता है, यह जानते हुए कि उनके सबसे उन्नत प्रयोगों के सैद्धांतिक आधार सुदृढ़ हैं।

तकनीकी सारांश: गॉसियन बोस सैंपलिंग में हाइडिंग कंजेक्चर का प्रमाण

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

गॉसियन बोस सैंपलिंग (GBS) क्वांटम कम्प्यूटेशनल एडवांटेज प्रदर्शित करने के लिए एक प्रमुख दावेदार है। GBS को सिम्युलेट करने की शास्त्रीय कठिनाई (classical hardness) का तर्क दो मुख्य घटकों पर निर्भर करता है: एक मैट्रिक्स के हाफ़नियन (hafnian) को अनुमानित करने की अनुमानित औसत-मामले की कठिनाई (average-case hardness), और हाइडिंग कंजेक्चर (hiding conjecture)।

हाइडिंग कंजेचर यह दावा करता है कि एक जटिल गॉसियन मैट्रिक्स (विशेष रूप से स्वतंत्र प्रविष्टियों वाला) एक हॉर-रैंडम यूनिटरी मैट्रिक्स के सिमेट्रिक प्रोडक्ट के भीतर एक सबमैट्रिक्स के रूप में "छिपा" (hide) जा सकता है, ताकि दोनों वितरण टोटल वेरिएशन (TV) डिस्टेंस में अविभेदनीय (indistinguishable) हों। यह गुण अत्यंत महत्वपूर्ण है क्योंकि यह एक विशिष्ट कठिन-से-गणना योग्य मैट्रिक्स $Z$ को GBS आउटपुट डिस्ट्रीब्यूशन में एम्बेड करने की अनुमति देता है, जिससे कोई भी विरोधी (या शास्त्रीय सिम्युलेटर) संभाव्यता अनुमान को खराब करने के लिए $Z$ के स्थान की पहचान नहीं कर पाता है।

जबकि मानक (फॉक) बोस सैंपलिंग के लिए हाइडिंग प्रॉपर्टी को स्पार्स (sparse) रिजीम में स्थापित किया गया था, हाल के बड़े पैमाने के GBS प्रयोगों के लिए प्रासंगिक रिजीम—जहाँ सभी $M$ इनपुट मोड्स स्क्वीज़्ड हैं ( $K=M$ )—अभी तक अप्रामाणिक था। इस रिजीम में, प्रासंगिक सबमैट्रिक्स एक हॉर यूनिटरी का $N \times M$ आयताकार ब्लॉक है, जो ज्ञात है कि रो-नॉर्मलाइजेशन बाधाओं के कारण TV डिस्टेंस में गॉसियन मैट्रिक्स जैसा नहीं दिखता है। खुला प्रश्न यह था कि क्या इस गैर-गॉसियन सबमैट्रिक्स का सिमेट्रिक प्रोडक्ट ( $U_{N,M}U_{N,M}^T$ ) फिर भी TV डिस्टेंस में एक जटिल सिमेट्रिक गॉसियन मैट्रिक्स की ओर अभिसरित (converge) होता है या नहीं।

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

लेखक $K=M$ वाले मामले के लिए एक कठोर प्रमाण प्रदान करते हैं। कार्यप्रणाली का मुख्य भाग निम्नलिखित है:

रैंडम मैट्रिक्स थ्योरी फॉर्मूलेशन: समस्या को एक $M \times M$ सर्कुलर ऑर्थोगोनल एनसेम्बल (COE) रैंडम मैट्रिक्स के ऊपरी-बाएँ $N \times N$ सबमैट्रिक्स $A$ को (जो $U$ के रूप में हॉर-रैंडम है, $UU^T$ के रूप में वितरित) $\sqrt{M}$ द्वारा स्केल करने पर एक जटिल सिमेट्रिक गॉसियन मैट्रिक्स $G \sim \mathcal{G}^{\text{sym}}_N$ की ओर अभिसरण दिखाने के रूप में मैप किया गया है।
KL डाइवर्जेंस के माध्यम से टोटल वेरिएशन डिस्टेंस: प्रत्यक्ष कपलिंग के बजाय, लेखक पिंस्कर की असमानता (Pinsker's inequality) का उपयोग करके TV डिस्टेंस को बांधते हैं, जो दो वितरणों के बीच कुलरबैक-लीब्लर (KL) डाइवर्जेंस से संबंधित है।
डेंसिटी विश्लेषण:
- COE सबमैट्रिक्स के प्रायिकता घनत्व फलन (PDF) को मौजूदा साहित्य (हुआ, 1963; कीबर्ग एट अल., 2013) से प्राप्त किया गया है, जिसमें एक डिटर्मिनेंट टर्म $\det(I - Z^\dagger Z/M)^{(M-2N-1)/2}$ शामिल है।
- लक्षित गॉसियन मैट्रिक्स का PDF मानक जटिल सिमेट्रिक गॉसियन है।
नॉर्मलाइजेशन कांस्टेंट्स को संभालना: एक प्रमुख तकनीकी नवाचार, COE डेंसिटी के लिए जटिल नॉर्मलाइजेशन कांस्टेंट की स्पष्ट गणना से बचना है। इसके बजाय, लेखक एक स्केलिंग फैक्टर $\zeta$ पेश करते हैं और सिद्ध करते हैं कि मैट्रिसेस के सिंगुलर मानों (singular values) पर बाउंड का उपयोग करके $M \to \infty$ होने पर $\zeta \to 1$ होता है। यह उन्हें नॉर्मलाइजेशन कांस्टेंट के कठिन एसिम्प्टोटिक एक्सपेंशन को दरकिनार करते हुए अभिसरण प्रमाण की वैधता बनाए रखने की अनुमति देता है।
मोमेंट बाउंड्स: प्रमाण में सिंगुलर मानों ( $A^\dagger A$ के आइजनवैल्यू) के मोमेंट्स की गणना के लिए वेइंगेट कैलकुलस (Weingarten calculus) का उपयोग किया जाता है और बड़े आइजनवैल्यू की संभावना को बांधने के लिए कंसंट्रेशन इनइक्वेलिटीज (सबगॉसियन कंसंट्रेशन) का उपयोग किया जाता है, जिससे यह सुनिश्चित होता है कि लॉग-डेंसिटी टर्म्स का टेलर एक्सपेंशन वैध बना रहे।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

थ्योरम 1.1 / थ्योरम 1.2 (मुख्य परिणाम):
लेखक सभी इनपुट मोड्स स्क्वीज़्ड ( $K=M$ ) वाले GBS के लिए हाइडिंग कंजेक्चर को सिद्ध करते हैं। विशेष रूप से, वे दिखाते हैं कि $N = o(\sqrt{M})$ के लिए, स्केल्ड COE सबमैट्रिक्स $\sqrt{M}A$ और जटिल सिमेट्रिक ग meskipun गॉसियन मैट्रिक्स $G$ के बीच का टोटल वेरिएशन डिस्टेंस $M \to \infty$ होने पर शून्य हो जाता है:
$d_{\text{TV}}(\sqrt{M}A, G) \leq O\left(\frac{N}{\sqrt{M}}\right)$
यह स्थापित करता है कि सिमेट्रिक प्रोडक्ट $U_{N,M}U_{N,M}^T$ एक जटिल सिमेट्रिक गॉसियन मैट्रिक्स द्वारा अच्छी तरह से अनुमानित है।

कोरोलरी 1.1:
लेखक प्रदर्शित करते हैं कि जटिल सिमेट्रिक गॉसियन मैट्रिक्स $G$ (स्वतंत्र प्रविष्टियों के साथ) और आयताकार गॉसियन मैट्रिसेस के सिमेट्रिक प्रोडक्ट $GG^T$ एंट्रीवाइज मैक्सिमम नॉर्म (entrywise maximum norm) में (और इस प्रकार पर्याप्त छोटे $N$ के लिए TV डिस्टेंस में) करीब हैं। इसका तात्पर्य है कि $\text{Haf}(G)$ को अनुमानित करने की कठिनाई, प्रासंगिक रिजीम में $\text{Haf}(GG^T)$ को अनुमानित करने के लगभग समान है।

थ्योरम 1.3 (मल्टीप्लिकेटिव एस्टीमेट):
पेपर डेंसिटी फंक्शन्स पर एक मल्टीप्लिकेटिव बाउंड प्रदान करता है: $f(Z) \leq (1 + O(N^3/M))g(Z)$ । यह परिणाम "इंस्टेंस जनरेटिंग" विधि के लिए आवश्यक है जिसका उपयोग हार्डनेस प्रमाणों में किया जाता है, जिससे एक विशिष्ट गॉसियन मैट्रिक्स को छिपे हुए सबमैट्रिक्स के रूप में रखने वाले रैंडम यूनिटरी को जेनरेट करना संभव होता है।

थ्योरम 1.5 और 1.6 (स्पार्स रिजीम एक्सटेंशन):
पेपर हाइडिंग प्रॉपर्टी को स्पार्स रिजीम ( $NK = o(M)$ ) तक विस्तारित करता है, यह पुष्टि करते हुए कि $K < M$ के लिए हाइडिंग कंजेचर इस रिजीम में बना रहता है और फॉक बोस सैंपलिंग के लिए ज्ञात बाउंड्स को अधिकतम आकार $N = o(\sqrt{M})$ तक सुधारता है।

4. महत्व और दावे (Significance and Claims)

पेपर दावा करता है कि यह पूर्णतः स्क्वीज़्ड इनपुट मोड्स ( $K=M$ ) वाले प्रयोगात्मक रूप से प्रासंगिक रिजीम में गॉसियन बोस सैंपलिंग के लिए हाइडिंग प्रॉपर्टी का पहला कठोर प्रमाण प्रदान करता है।

हार्डनेस तर्क: हाइडिंग कंजेचर को सिद्ध करके, लेखक GBS के सिम्युलेशन की शास्त्रीय कठिनाई के तर्क को पारंपरिक फॉक बोस सैंपलिंग (आरोंसन और अर्किपोव, 2013) की कठिनाई के तर्क के "तुलनीय स्तर" पर रखते हैं।
प्रयोगात्मक प्रासंगिकता: यह परिणाम हाल के बड़े पैमाने के GBS प्रयोगों (जैसे मैडसन एट अल., नेचर 2022) के जटिलता-सैद्धांतिक औचित्य का सीधा समर्थन करता है जो पूर्ण स्क्वीज़्ड इनपुट स्टेट्स का उपयोग करते हैं।
सैद्धांतिक सूक्ष्मता: लेखक इस बात पर जोर देते हैं कि प्रमाण सबमैट्रिक्स के नहीं, बल्कि उसके सिमेट्रिक प्रोडक्ट के वितरण पर निर्भर करता है। सबमैट्रिक्स $U_{N,M}$ TV डिस्टेंस में गॉसियन से बहुत दूर है, लेकिन इसका सिमेट्रिक प्रोडक्ट $U_{N,M}U_{N,M}^T$ एक गॉसियन मैट्रिक्स की ओर अभिसरित होता है। यह अंतर महत्वपूर्ण है, क्योंकि फॉक बोस सैंपलिंग की हाइडिंग प्रॉपर्टीज से GBS हार्डनेस निकालने के पिछले प्रयास इस घने (dense) रिजीम में विफल रहे थे।

पेपर निष्कर्ष निकालता है कि जबकि $K=M$ का मामला हल हो गया है, मध्यवर्ती मामलों ( $K=cM$ जहाँ $c<1$ ) के लिए हाइडिंग कंजेचर इस विशिष्ट कार्य में खुला है (हालांकि लेखक उल्लेख करते हैं कि इसे बाद के फॉलो-अप कार्य [47] में हल कर दिया गया है)। यह कार्य सख्ती से कोलिजन-फ्री रिजीम ( $N \ll M$ ) का पालन करता है और हाफ़नियन एप्रोक्सिमेशन की औसत-मामले की कठिनाई के संबंध में मानक जटिलता-सैद्धांतिक धारणाओं पर निर्भर करता है।

तकनीकी सारांश: गॉसियन बोस सैंपलिंग में हाइडिंग कंजेक्चर का प्रमाण

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

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

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

4. महत्व और दावे (Significance and Claims)

इसी तरह के और पेपर