🔢 mathematics

Degree-Four Vector-Coordinate SoS Cannot Detect the MUB Upper Bound

यह शोधपत्र स्थापित करता है कि वेक्टर-कोऑर्डिनेट (vector-coordinate) फॉर्मुलेशन का उपयोग करने वाले डिग्री-फोर सम-ऑफ-स्क्वायर्स (Sum-of-Squares) रिलैक्सेशन, परस्पर अनबायस्ड बेसिस (mutually unbiased bases) की ज्ञात ऊपरी सीमा का पता लगाने में विफल रहते हैं (यहाँ तक कि $m > d+1$ के लिए भी), जबकि प्रोजेक्टर-कोऑर्डिनेट (projector-coordinate) फॉर्मुलेशन उसी डिग्री पर इस सीमा को सफलतापूर्वक प्राप्त कर लेते हैं।

मूल लेखक: Shreyhaan Sarkar

प्रकाशित 2026-06-15

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

CC BY 4.0

मूल लेखक: Shreyhaan Sarkar

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

यहाँ सरल भाषा और रचनात्मक उपमाओं का उपयोग करके शोध पत्र (paper) का स्पष्टीकरण दिया गया है।

बड़ी तस्वीर: "पूरी तरह से निष्पक्ष" दोस्तों का एक खेल

कल्प‌ना कीजिए कि आप एक उच्च-आयामी कमरे (एक $d$ आयामों वाला स्थान) में एक पार्टी आयोजित करने की कोशिश कर रहे हैं। आप लोगों के समूहों (bases) को विशिष्ट पैटर्न में खड़े होने के लिए आमंत्रित करना चाहते हैं।

एक "परस्पर निष्पक्ष आधार" (Mutually Unbiased Basis - MUB) के लिए नियम एक पूर्ण संतुलन के खेल जैसा है:

एक समूह के भीतर: हर कोई एक-दूसरे के साथ बिल्कुल समकोण (right angles) पर खड़ा होना चाहिए (orthonormal)।
समूहों के बीच: यदि आप समूह A से एक व्यक्ति और समूह B से एक व्यक्ति चुनते हैं, तो उनके बीच का "कोण" हर संभावित जोड़ी के लिए बिल्कुल एक समान होना चाहिए। वे एक-दूसरे के प्रति "निष्पक्ष" (unbiased) हैं।

गणितज्ञों को इस खेल की एक कठिन सीमा पता है: आप कभी भी $d + 1$ से अधिक ऐसे समूह नहीं रख सकते। उदाहरण के लिए, एक 6-आयामी कमरे ( $d=6$ ) में, आप अधिकतम 7 समूह रख सकते हैं। यह एक प्रसिद्ध खुला रहस्य है कि क्या आप वास्तव में 6-आयामी कमरे में उस 7 की सीमा तक पहुँच सकते हैं, या क्या नियम वहां पहुँचने से पहले ही टूट जाते हैं।

समस्या: क्या एक कंप्यूटर "सीमा" देख सकता है?

यह शोध पत्र सम-वर्ग (Sum-of-Squares - SoS) नामक एक प्रकार के कंप्यूटर एल्गोरिदम के बारे में एक विशिष्ट प्रश्न पूछता है। SoS को एक बहुत ही स्मार्ट, लेकिन थोड़े संकीर्ण दृष्टि वाले जासूस के रूप में सोचें। यह लोगों की स्थितियों को वर्णित करने वाले गणितीय समीकरणों को देखकर यह सिद्ध करने की कोशिश करता है कि एक निश्चित व्यवस्था असंभव है।

जासूस की एक "डिग्री" (degree) सीमा होती है। एक डिग्री-4 वाला जासूस केवल चार चरों (variables) के बीच के संबंधों को देख सकता है (जैसे कि चार लोगों की स्थितियों के बीच कैसे अंतःक्रिया होती है)।

विशिष्ट प्रश्न (Open Problem 23 से) यह था: क्या एक डिग्री-4 का जासूस यह सिद्ध कर सकता है कि 6-आयामी कमरे में 7 समूहों का अस्तित्व संभव नहीं है?

खोज: जासूस गलत मानचित्र (Map) का उपयोग कर रहा है

लेखक, श्रेयान सरकार ने पाया कि यह पूरी तरह से इस बात पर निर्भर करता है कि आप जासूस को लोगों का वर्णन कैसे करते हैं।

1. "वेक्टर" मानचित्र (असफलता)

पहले तरीके में, जासूस को हर व्यक्ति के सिर, हाथ और पैरों के कच्चे निर्देशांक (vectors के वास्तविक और काल्पनिक भाग) दिए जाते हैं।

चाल: लेखक ने लोगों के यादृच्छिक (random), स्वतंत्र समूहों का उपयोग करके एक "नकली वास्तविकता" का निर्माण किया। इस नकली दुनिया में, समूह सख्त अर्थों में पूरी तरह से निष्पक्ष नहीं हैं, लेकिन यदि आप उन्हें केवल "डिग्री-4 के लेंस" के माध्यम से देखते हैं, तो वे पूरी तरह से निष्पक्ष दिखते हैं।
उपमा: कल्पना कीजिए कि आप भीड़ की एक धुंधली फोटो देख रहे हैं। दूर से देखने पर (डिग्री 4 से), भीड़ पूरी तरह संतुलित और यादृच्छिक दिखती है। जासूस गणित की जाँच करता है, देखता है कि सब कुछ शून्य में जुड़ रहा है, और कहता है, "अरे, यह व्यवस्था संभव है!"
परिणाम: क्योंकि जासूस इस "नकली वास्तविकता" (जिसे pseudoexpectation कहा जाता है) से धोखा खा सकता है, इसलिए वह यह सिद्ध नहीं कर सकता कि 7 समूह असंभव हैं। यह $d+1$ की सीमा को देख ही नहीं पाता। इसे लगता है कि 6D कमरे में 100 समूह भी संभव हो सकते हैं, जबकि हम जानते हैं कि यह गलत है।

2. "प्रोजेक्टर" मानचित्र (सफलता)

इसके बाद लेखक ने लोगों को वर्णित करने का एक दूसरा तरीका आजमाया। लोगों के अंगों के निर्देशांक देने के बजाय, उन्होंने जासूस को प्रत्येक व्यक्ति द्वारा डाली गई परछाई या प्रक्षेप (projection) का विवरण दिया (गणितीय रूप से, $P = vv^*$ )।

अंतर: इस "प्रोजेक्टर" भाषा में, "निष्पक्षता" के नियम बहुत सरल (quadratic के बजाय quartic) हो जाते हैं।
परिणाम: जब जासूस इस मानचित्र का उपयोग करता है, तो "नकली वास्तविकता" वाली चाल अब काम नहीं करती। डिग्री-4 का जासूस अब गणितीय विरोधाभास को स्पष्ट रूप से देख सकता है। यह सफलतापूर्वक सिद्ध करता है कि आप $d+1$ से अधिक समूह नहीं रख सकते।

मुख्य निष्कर्ष

शोध पत्र यह निष्कर्ष निकालता है कि समस्या को हल करने में विफलता इसलिए नहीं है कि गणित बहुत कठिन है; बल्कि इसलिए है क्योंकि विवरण बहुत कमजोर था।

वेक्टर निर्देशांक (Vector Coordinates): पहेली के टुकड़ों को एक-एक करके देखने की कोशिश करने जैसा। डिग्री-4 का जासूस भ्रमित हो जाता है और सोचता है कि पहेली हल करने योग्य है, जबकि वह नहीं है।
प्रोजेक्टर निर्देशांक (Projector Coordinates): पहेली के डिब्बे पर बनी तस्वीर को देखने जैसा। डिग्री-4 का जासूस तुरंत पैटर्न देख सकता है और समझ सकता है कि पहेली असंभव है।

यह विशिष्ट प्रश्न के लिए क्यों महत्वपूर्ण है?

यह शोध पत्र विशेष रूप से "Randomstrasse101 Open Problem 23" को संबोधित करता है, जो उन दो "वेक्टर" तरीकों के बारे में था।

उत्तर: नहीं। उन विशिष्ट वेक्टर विवरणों का उपयोग करके एक डिग्री-4 Sum-of-Squares प्रमाण यह सिद्ध नहीं कर सकता कि 6 आयामों में 7 Mutually Unbiased Bases मौजूद नहीं हैं।
चेतावनी: इसका मतलब यह नहीं है कि कोई प्रमाण मौजूद नहीं है। इसका मतलब सिर्फ यह है कि समस्या को लिखने का यह विशिष्ट, सीधा तरीका बहुत कमजोर है। यदि आप समस्या को "प्रोजेक्टर" तरीके से लिखते हैं, तो एल्गोरिदम इतना मजबूत हो जाता है कि वह सीमा को खोज सके।

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

तकनीकी सारांश: डिग्री-फोर वेक्टर-कोऑर्डिनेट SoS, MUB अपर बाउंड का पता नहीं लगा सकता

समस्या विवरण
यह शोध पत्र Randomstrasse101 ओपन प्रॉब्लम 23 को संबोधित करता है, जो यह पूछता है कि क्या $\mathbb{C}^6$ में सात म्यूचुअली अनबायस्ड बेसेस (MUBs) का अस्तित्व नहीं है, इसे प्रदर्शित करने के लिए एक डिग्री-फोर सम-ऑफ-स्क्वायर्स (SoS) प्रमाण मौजूद है। इस समस्या को दो विशिष्ट वेक्टर-कोऑर्डिनेट एनकोडिंग्स का उपयोग करके फ्रेम किया गया है:

क्वार्टिक इक्वेलिटी फॉर्मूलेशन (Quartic Equality Formulation): बाधाओं को वेक्टर घटकों के वास्तविक और काल्पनिक भागों पर क्वार्टिक संबंधों के रूप में एनकोड किया गया है, विशेष रूप से $|\langle v, w \rangle|^2 = 1/d$ ।
$2 \times 2$ हर्मिटियन सेमीडेफिनेट (Hermitian Semidefinite) फॉर्मूलेशन: क्रॉस-बेसिस स्थितियों को $\langle v, w \rangle$ के द्विघाती इनर प्रोडक्ट वाले $2 \times 2$ हर्मिटियन मैट्रिसेस पर सेमीडेफिनेट बाधाओं के रूप में एनकोड किया गया है।

व्यापक संदर्भ में $m \le d + 1$ के लिए ज्ञात अपर बाउंड शामिल है, जहाँ डाइमेंशन $d$ के लिए MUBs की संख्या है। जबकि प्राइम पावर डाइमेंशन्स के लिए समानता बनी रहती है, $d=6$ का मामला खुला है, जिसमें यह अनुमान (conjecture) है कि $m=7$ असंभव है।

कार्यप्रणाली (Methodology)
लेखक डिग्री-फोर सोएस रिलैक्सेशन की शक्ति का विश्लेषण करने के लिए डिग्री-फोर स्यूडोएक्सपेक्टेशन (pseudoexpectations) का निर्माण करते हैं। एक डिग्री-फोर स्यूडोएक्सपेक्टेशन एक लीनियर फंक्शनल $\tilde{\mathbb{E}}$ है जो अधिकतम डिग्री चार के पॉलिनोमिअल्स पर आधारित है जो पॉजिटिविटी ( $\tilde{\mathbb{E}}[f^2] \ge 0$ ) और बाधाओं के साथ निरंतरता (consistency) को संतुष्ट करता है। यदि किसी सिस्टम के लिए ऐसा स्यूडोएक्सपेक्टेशन मौजूद है, तो कोई डिग्री-फोर SoS रिफ्यूटेशन (असंभवता का प्रमाण) मौजूद नहीं है।

मुख्य कार्यप्रणाली निम्नलिखित है:

हायर-रैंडम (Haar-Random) निर्माण: लेखक स्वतंत्र हायर-रैंडम यूनिटरी मैट्रिसेस पर एक्सपेक्टेशन के आधार पर एक स्यूडोएक्सस्पेक्टेशन को परिभाषित करते हैं। विशेष रूप से, $m$ बेसेस के लिए, वेक्टर्स को स्वतंत्र रैंडम यूनिटरी मैट्रिसेस के कॉलम्स के रूप में लिया जाता है।
बाधाओं का सत्यापन (Verification of Constraints):
- सेम-बेसिस बाधाएं (Same-basis constraints): रैंडम निर्माण के लिए ऑर्थोनॉर्मलिटी (orthonormality) पॉइंटवाइज (सटीक रूप से) बनी रहती है।
- क्रॉस-बेसिस बाधाएं (Cross-basis constraints): स्वतंत्र हायर-रैंडम यूनिट वेक्टर्स $x, y$ के लिए, $\mathbb{E}[|\langle x, y \rangle|^2] = 1/d$ होता है।
एफाइन मल्टीप्लायर एनालिसिस (Affine Multiplier Analysis): सेमीडेफिनेट फॉर्मूलेशन के लिए, लेखक इनर प्रोडक्ट $z = \langle x, y \rangle$ द्वारा एफाइन-लीनियर फंक्शन्स पर क्रिया करने वाले ऑपरेटर नॉर्म पर एक विशिष्ट बाउंड सिद्ध करते हैं। वे दिखाते हैं कि $|\mathbb{E}[p z q]| \le \frac{1}{d} \sqrt{\mathbb{E}[|p|^2]\mathbb{E}[|q|^2]}$ ।
फॉर्मूलेशन तुलना: पेपर वेक्टर-कोऑर्डिनेट फॉर्मूलेशन की तुलना एक प्रोजेक्टर-कोऑर्डिनेट फॉर्मूलेशन से करता है जहाँ वेरिएबल्स रैंक-वन प्रोजेक्टर्स $P = vv^*$ हैं। इस सेटिंग में, क्रॉस-अनबायस्डनेस स्थिति द्विघाती ( $\text{Tr}(P_i^{(k)} P_j^{(\ell)}) = 1/d$ ) हो जाती है।

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

वेक्टर-कोऑर्डिनेट फॉर्मूलेशन के लिए लोअर बाउंड:
मुख्य परिणाम (थ्योरम 5.1 और 7.1) यह स्थापित करता है कि किसी भी डाइमेंशन $d$ और किसी भी प्रस्तावित संख्या $m$ के लिए, मानक वेक्टर-कोऑर्डिनेट MUB सिस्टम एक डिग्री-फोर स्यूडोएक्सपेक्टेशन स्वीकार करता है जो स्वतंत्र हायर-रैंडम बेसेस से प्राप्त होता है।
- क्वार्टिक इक्वेलिटी: स्यूडोएक्सपेक्टेशन क्वार्टिक बाधाओं को संतुष्ट करता है क्योंकि क्वार्टिक टर्म $|\langle x, y \rangle|^2 - 1/d$ का अपेक्षित मान शून्य है। चूंकि बाधाएं डिग्री चार की हैं, SoS केवल स्थिरांकों (constants) से गुणा कर सकता है, जिन्हें स्यूडोएक्सपेक्टेशन शून्य कर देता है।
- सेमीडेफिनेट फॉर्मूलेशन: एफाइन मल्टीप्लायर बाउंड (थ्योरम 6.1) का उपयोग करते हुए, लेखक दिखाते हैं कि स्यूडोएक्सपेक्टेशन $2 \times 2$ हर्मिटियन मैट्रिसेस के लिए डिग्री-फोर लोकलाइजिंग बाधाओं को संतुष्ट करता है।
- परिणाम: डिग्री-फोर SoS इन वेक्टर-कोऑर्डिनेट फॉर्मूलेशन में $m$ MUBs के अस्तित्व को खंडित (refute) नहीं कर सकता, भले ही $m > d + 1$ हो (जहाँ MUBs ज्ञात या अनुमानित रूप से असंभव हैं)। विशेष रूप से, $d=6, m=7$ के लिए, इन एनकोडिंग्स में गैर-अस्तित्व का कोई डिग्री-फोर SoS प्रमाण मौजूद नहीं है।
फॉर्मूलेशन सेपरेशन (प्रोजेक्टर बनाम वेक्टर):
पेपर यह प्रदर्शित करता है कि यह विफलता वेक्टर-कोऑर्डिनेट एनकोडिंग के लिए विशिष्ट है। प्रोजेक्टर-कोऑर्डिनेट फॉर्मूलेशन (थ्योरम 8.1) में, जहाँ वेरिएबल्स सेंटर्ड प्रोजेक्टर्स $Q = P - I/d$ हैं, क्रॉस-अनबायस्डनेस बाधाएं द्विघाती हैं।
- लेखक $m > d + 1$ होने पर प्रत्येक बार एक डिग्री-फोर SoS रिफ्यूटेशन का निर्माण करते हैं।
- यह रिफ्यूटेशन प्रोजेक्टर्स के वर्ग के योग के ट्रेस से जुड़े ग्राम मैट्रिक्स आइडेंटिटी पर निर्भर करता है, जो $m > d + 1$ होने पर बाधाओं के मोड्यूलो एक ऋणात्मक स्थिरांक देता है।
- परिणाम: डिग्री-फोर SoS प्रोजेक्टर फॉर्मूलेशन में ज्ञात अपर बाउंड $m \le d + 1$ को सफलतापूर्वक प्राप्त कर सकता है।

महत्व और दावे
पेपर MUB समस्या के लिए लो-डिग्री SoS पदानुक्रमों (hierarchies) की शक्ति में एक फॉर्मूलेशन-डिपेंडेंट सेपरेशन का दावा करता है:

ओपन प्रॉब्लम 23 का नकारात्मक उत्तर: वर्णित दो विशिष्ट वेक्टर-कोऑर्डिनेट एनकोडिंग्स के लिए, उत्तर नकारात्मक है। डिग्री-फोर SoS बुनियादी काउंटिंग ऑब्स्ट्रक्शन ( $m \le d + 1$ ) का पता लगाने के लिए स्वाभाविक रूप से बहुत कमजोर है।
फॉर्मूलेशन संवेदनशीलता: वेक्टर-कोऑर्डिनेट एनकोडिंग की अक्षमता विधि की सार्वभौमिक सीमा नहीं है, बल्कि डायरेक्ट वेक्टर-कोऑर्डिनेट रिलैक्सेशन की सीमा है। समान डिग्री का रिलैक्सेशन प्रोजेक्टर कोऑर्डिनेट्स पर लागू होने पर काफी मजबूत होता है, जहाँ यह ज्ञात अपर बाउंड को सफलतापूर्वक प्राप्त करता है।
$d=6$ के लिए निहितार्थ: जबकि प्रोजेक्टर फॉर्मूलेशन $d=6$ के लिए $m \le 7$ को रिकवर करता है, पेपर नोट करता है कि $d=6, m=7$ का मामला इस बाउंड की "टाइट" सीमा है। इसलिए, सेपरेशन का परिणाम यह निश्चित रूप से उत्तर नहीं देता कि क्या एक मजबूत प्रोजेक्टर-वेरिएबल डिग्री-फोर प्रमाण सटीक रूप से $\mathbb{C}^6$ में सात MUBs को खारिज कर सकता है, केवल यह कि यह आठ या अधिक को खारिज कर सकता है।

यह कार्य वेक्टर-कोऑर्डिनेट SoS के लिए एक विशिष्ट डिग्री-फोर ऑब्स्ट्रक्शन को अलग करता है, जिससे पता चलता है कि किसी भी सफल लो-डिग्री SoS दृष्टिकोण को (प्रोजेक्टर्स जैसे) लिफ्टेड फॉर्मूलेशन का उपयोग करना चाहिए, न कि सीधे वेक्टर कोऑर्डिनेट्स का।