🔢 mathematics

The small Davenport constant of the Heisenberg group of order 125

यह शोधपत्र घातांक- $p$ हीजनबर्ग समूहों के लिए लघु डैवेनपोर्ट स्थिरांक (small Davenport constant) के पहले खुले मामले को, एडिटिव कॉम्बिनेटरिक्स (additive combinatorics) में सैद्धांतिक न्यूनीकरण और व्यापक, मशीन-जांची गई कंप्यूटर सत्यापन के संयोजन के माध्यम से $\mathsf{d}(H_{125})=12$ को सिद्ध करके सुलझाता है, साथ ही यह भी पहचानता है कि प्रस्तावित सामान्य सूत्र $p \ge 7$ के लिए क्यों विफल होता है।

मूल लेखक: Patrick White

प्रकाशित 2026-07-17

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

CC BY 4.0

मूल लेखक: Patrick White

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

ताश की गड्डी की पहेली

कल्पना कीजिए कि आप ताश की एक गड्डी के साथ एक खेल खेल रहे हैं, लेकिन इसमें केवल लाल और काले रंगों के बजाय, हर कार्ड का एक गुप्त कोड होता है जो उन्हें पकड़ने के क्रम के आधार पर बदल जाता है। गणित में, यह खेल "समूहों" (groups) के साथ खेला जाता है, जो वस्तुओं के ऐसे संग्रह हैं जिन्हें जोड़ा जा सकता है (जैसे संख्याओं को गुणा करना या ताश के पत्तों को फेंटना) ताकि नई वस्तुएं बनाई जा सकें। इस क्षेत्र में एक प्रसिद्ध प्रश्न, जिसे डेवनपोर्टंत (Davenport constant) कहा जाता है, पूछता है: "आपको गड्डी से कितने कार्ड निकालने होंगे जिससे आपको यह गारंटी मिले कि एक छिपा हुआ संयोजन मिलेगा जो सब कुछ शून्य कर देगा और आपको वापस शून्य पर ले आएगा?"

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

सफलता: 125 के कोड को तोड़ना

इस शोध पत्र में, शोधकर्ता 125 के क्रम वाले हाइजनबर्ग समूह (इस अराजक डेक के एक विशिष्ट आकार) पर काम करते हैं। उन्होंने एक "प्रोडक्ट-वन" अनुक्रम (एक ऐसा अनुक्रम जहाँ तत्वों को, किसी भी क्रम में गुणा करने पर, 'आइडेंटिटी' यानी गणितीय रूप से "कुछ नहीं" या "शून्य" के बराबर होता है) को मजबूर करने के लिए आवश्यक तत्वों की सटीक संख्या खोजने का लक्ष्य रखा।

टीम ने पाया कि उत्तर 12 है। इसका अर्थ यह है कि यदि आप इस समूह से 12 विशिष्ट तत्व चुनते हैं, तो उन्हें इस तरह व्यवस्थित किया जा सकता है कि वे कितनी भी बार उन्हें फेंटें, वे कभी भी शून्य होकर समाप्त नहीं होंगे। हालाँकि, जैसे ही आप 13वाँ तत्व चुनते हैं, आप गणितीय रूप से उन 13 तत्वों के एक उप-समूह (sub-group) को खोजने के लिए मजबूर हो जाते हैं जिन्हें शून्य तक पहुँचने के लिए व्यवस्थित किया जा सकता है।

इसे सिद्ध करने के लिए, लेखकों ने दो काम किए। पहले, उन्होंने 12 वस्तुओं की एक विशिष्ट सूची दिखाई (एक प्रकार की चार प्रतियां, दूसरी की चार, और तीसरी की चार) जो जिद्दी रूप से शून्य होने से इनकार करती है, जिससे यह सिद्ध होता है कि संख्या कम से कम 12 है। दूसरा, और बहुत अधिक कठिन कार्य, उन्हें यह सिद्ध करना था कि 13 वस्तुओं की कोई भी सूची अनिवार्य रूप से विफल हो जाएगी। वे एक साधारण सूत्र का उपयोग नहीं कर सकते थे क्योंकि यह समूह बहुत जटिल है। इसके बजाय, उन्होंने एक चतुर गणितीय "फ़िल्टर" बनाया जिसने इस जटिल, नॉन-कम्यूटेटिव समस्या को 25 संख्याओं के क्षेत्र (field) पर एक सरल गिनती की समस्या में बदल दिया।

इसके बाद उन्होंने इन 13 वस्तुओं के प्रत्येक संभावित संयोजन की जाँच करने के लिए एक कंप्यूटर प्रोग्राम लिखा। यह खोज विशाल थी, जिसमें लगभग 18 मिलियन अलग-अलग परिदृश्य शामिल थे, लेकिन कंप्यूटर ने पुष्टि की कि हर एक मामले में, एक "प्रोडक्ट-वन" अनुक्रम पाया जा सकता है। यह सुनिश्चित करने के लिए कि कोई गलती न हो, उन्होंने दो अलग-अलग तरीकों का उपयोग करके खोज को दो बार चलाया, और दोनों बार परिणाम एक ही था: 13 वह निर्णायक बिंदु है।

यह क्यों महत्वपूर्ण है (और यह कठिन क्यों है)

यह परिणाम एक बड़ी उपलब्धि है क्योंकि यह इस प्रकार के समूह के लिए पहले खुले मामले को हल करता है। इससे पहले, गणितज्ञों को इस समूह के छोटे संस्करण (क्रम 27) के लिए उत्तर पता था, और उनके पास एक सामान्य नियम का अनुमान था, लेकिन 125 के क्रम वाले मामले में रहस्य बना हुआ था। यह शोध पत्र पुष्टि करता है कि इस आकार के लिए उनका अनुमान सही था: "प्रोडक्ट-वन-फ्री" अनुक्रम की अधिकतम लंबाई $3p - 3$ है (जहाँ $p=5$ , इसलिए $3 \times 5 - 3 = 12$ )।

हालाँकि, यह शोध पत्र एक मोड़ भी प्रकट करता है। 125 के मामले को हल करने के लिए उपयोग की गई विधि एक विशिष्ट गणितीय शॉर्टकट पर निर्भर करती है जो संख्या 5 के लिए तो पूरी तरह से काम करती है, लेकिन बड़ी संख्याओं के लिए टूट जाती है। जब शोधकर्ताओं ने अपने तर्क को अगले आकार (क्रम 343) पर लागू करने की कोशिश की, तो उन्हें एक "अवरोध" मिला। उन्होंने संख्याओं की एक विशिष्ट व्यवस्था की पहचान की जो उस शॉर्टकट को धोखा देती है, जिसका अर्थ है कि उनका प्रमाण बड़े समूहों के लिए काम नहीं करता है। इसलिए, भले ही उन्होंने 125 के लिए कोड तोड़ दिया है, 343 के लिए उत्तर अभी भी एक रहस्य बना हुआ है, और वास्तविक संख्या संभवतः 18 और 24 के बीच कहीं है।

संक्षेप में, यह शोध पत्र सिद्ध करता है कि 125 के क्रम वाले हाइजनबर्ग समूह के लिए, जादुई संख्या 12 है। यह एक विशिष्ट मामले की जीत है, जिसे चतुर सिद्धांत और एक विशाल, दो बार जाँची गई कंप्यूटर खोज के मिश्रण के माध्यम से प्राप्त किया गया है, लेकिन यह भविष्य में हल होने वाले और भी बड़े पहेलियों के लिए द्वार खुला छोड़ देता है।

तकनीकी सारांश: हाइजेनबर्ग समूह (Heisenberg Group) $H_{125}$ का लघु डावेनपोर्ट स्थिरांक (Small Davenport Constant)

समस्या विवरण
यह शोध पत्र परिमित क्षेत्र $\mathbb{F}_p$ पर क्रम $p^3$ वाले हाइजेनबर्ग समूह $H_p^3$ के लघु डावेनपोर्ट स्थिरांक, $d(G)$ , के निर्धारण को संबोधित करता है। $d(G)$ को $G$ पर एक 'प्रोडक्ट-वन-फ्री' (product-one-free) अनुक्रम की अधिकतम लंबाई के रूप में परिभाषित किया गया है (एक ऐसा अनुक्रम जहाँ कोई भी गैर-रिक्त उप-अनुक्रम एक ऐसा क्रम नहीं रखता जिसका गुणनफल तत्समक (identity) हो)। जबकि गोडाड़ा और सरकार ने स्थापित किया कि $p=3$ के लिए $d(H_{27}) = 6$ है और सभी विषम अभाज्य संख्याओं $p$ के लिए $d(H_p^3) = 3p - 3$ का अनुमान लगाया था, $p \ge 5$ का मामला खुला रह गया था। यह कार्य विशेष रूप से पहले खुले मामले को हल करता है: $p=5$ के लिए $d(H_{125})$ का निर्धारण।

कार्यप्रणाली
प्रमाण संरचनात्मक समूह सिद्धांत (structural group theory) को व्यापक कम्प्यूटेशनल सत्यापन (exhaustive computational verification) के साथ जोड़ता है, जो एक गैर-आबेली (non-commutative) समस्या को $\mathbb{F}_p$ पर योगात्मक संयोजन विज्ञान (additive combinatorics) में बदल देता है।

प्रोडक्ट-वन मानदंड (Product-One Criterion): लेखक एक आवश्यक और पर्याप्त स्थिति स्थापित करते हैं जिसके लिए एक अनुक्रम में प्रोडक्ट-वन क्रम मौजूद होता है। एक अनुक्रम $I$ के लिए जिसमें तत्व $g_i = M(a_i, b_i, c_i)$ हैं, एक प्रोडक्ट-वन क्रम तभी मौजूद होता है जब:
- भागफल सदिशों (quotient vectors) का योग शून्य हो: $\sum (a_i, b_i) = (0, 0)$ ।
- केंद्रीय निर्देशांकों (central coordinates) का ऋणात्मक योग, $-\sum c_i$ , "क्रॉस-सम सेट" $\Omega(I)$ के भीतर हो। यह सेट सभी क्रमपरिवर्तन $\sigma$ के ऊपर $\sum_{s<t} a_{\sigma(s)}b_{\sigma(t)}$ के सभी संभावित मानों का सेट है।
- यह मानदंड गैर-आबेली समस्या को $\mathbb{F}_p^2$ में भागफल सदिशों की ज्यामिति और केंद्रीय निर्देशांकों के अंकगणित के विश्लेषण में बदल देता है।
योगात्मक संयोजन विज्ञान में न्यूनीकरण (Reduction to Additive Combinatorics):
- लाइन कैप्स (Line Caps): $C_p^2$ के डावेनपोर्ट स्थिरांक पर ओल्सन के परिणाम का उपयोग करते हुए, लेखक एक "लाइन कैप" सीमा प्राप्त करते हैं: $\mathbb{F}_p^2$ में मूल बिंदु से गुजरने वाली किसी भी रेखा $L$ के लिए, $L$ पर भागफल वाले गैर-केंद्रीय पदों की संख्या और केंद्रीय पदों की संख्या का योग $2p-2$ द्वारा सीमित है।
- सेंट्रल फोर्सिंग (Central Forcing): एक लेम्मा सिद्ध किया गया है कि यदि एक अनुक्रम में केंद्रीय पदों का एक शून्य-योग-मुक्त (zero-sum-free) सेट $Z$ और शून्य-भागफल-योग ब्लॉकों का एक संग्रह $B_j$ शामिल है, तो एक प्रोडक्ट-वन उप-अनुक्रम तब अनिवार्य हो जाता है यदि $|\Sigma_0(Z)| + \sum (|\Omega(B_j)| - 1) \ge p$ हो। यहाँ $\Sigma_0(Z)$ , केंद्रीय निर्देशांकों के उपसमुच्चय योगों (subset sums) का सेट है।
स्प्रेड बाउंड (Spread Bound) और व्यापक खोज (Exhaustive Search):
- ऊपरी सीमा के प्रमाण का मुख्य आधार एक "स्प्रेड" पैरामीटर, $\sigma(Q)$ , है, जिसे भागफल मल्टीसेट $Q$ के विलगित (disjoint) शून्य-योग ब्लॉकों पर $\sum (|\Omega(B_j)| - 1)$ के अधिकतम मान के रूप में परिभाषित किया गया है।
- $p=5$ के लिए, लेखक $d(H_{125}) \le 12$ को सिद्ध करने की समस्या को एक एकल परिमित कथन को सत्यापित करने में बदल देते हैं: प्रपोजिशन 2। यह प्रपोजिशन यह दावा करता है कि $\mathbb{F}_5^2$ के 24 गैर-शून्य सदिशों पर किसी भी लंबाई $13-z$ (जहाँ $z$ केंद्रीय पदों की संख्या है) वाले मल्टीसेट $Q$ के लिए, जो लाइन कैप बाधाओं को पूरा करता है, $\sigma(Q) \ge 4-z$ होगा।
- इस प्रपोजिशन को C में एक व्यापक, मेमोरी-फ्लैट डेप्थ-फर्स्ट सर्च के माध्यम से सत्यापित किया गया है। खोज $\mathbb{F}_5^2$ के सभी वैध मल्टीसेट्स को सूचीबद्ध करती है, जो उन शाखाओं को हटा देती है (pruning) जो स्प्रेड आवश्यकता को पूरा करने में विफल रहती हैं। परिणाम (शून्य "बैड लीव्स") को एक अलग प्रूनिंग रणनीति के साथ दूसरे कार्यान्वयन द्वारा स्वतंत्र रूप से पुनरुत्पादित किया गया था।
सत्यापन की कठोरता (Verification Rigor): प्रत्येक संख्यात्मक दावे, जिसमें समूह गुणन तर्क, प्रोडक्ट-वन मानदंड और सहायक लेम्मा शामिल हैं, को मशीन-चेक किया गया है। लेखक स्पष्ट रूप से नोट करते हैं कि हालांकि परिणाम को प्रूफ असिस्टेंट में औपचारिक रूप से सत्यापित नहीं किया गया है, लेकिन स्वतंत्र रूप से पुनरुत्पादित खोज और मशीन-चेक किए गए लेम्मा, पुनरुत्पादकता की गारंटी के रूप में कार्य करते हैं।

मुख्य परिणाम

थ्योरम 1: $d(H_{125}) = 12$ $d (H_{125}) = 12$ ।
- निम्न सीमा (Lower Bound): अनुक्रम $x^4 y^4 v^4$ (लंबाई 12) को स्पष्ट रूप से प्रोडक्ट-वन-फ्री दिखाया गया है।
- ऊपरी सीमा (Upper Bound): $H_{125}$ पर लंबाई 13 का प्रत्येक अनुक्रम एक प्रोडक्ट-वन उप-अनुक्रम को समाहित करता है। इसे यह दिखाकर सिद्ध किया गया है कि ऐसा कोई भी अनुक्रम सेंट्रल फोर्सिंग लेम्मा की शर्तों को पूरा करेगा, जो सत्यापित स्प्रेड बाउंड (प्रपोजिशन 2) द्वारा गारंटीकृत है।
$p \ge 7$ के लिए सीमाएँ: लेखक प्रदर्शित करते हैं कि यह विधि सीधे $p=7$ के लिए सामान्यीकृत नहीं होती है। एक विशिष्ट काउंटर-एग्जांपल मल्टीसेट $Q_0$ की पहचान की गई है जहाँ शेवली-वॉरिंग (Chevalley–Warning) प्रमेय एक शून्य-योग ब्लॉक को मजबूर करता है, लेकिन वह ब्लॉक कोलीनियर (collinear) है (जिससे $|\Omega|=1$ होता है) न कि "वाइड" (जिससे $|\Omega|=p$ होता है)। फलस्वरूप, स्प्रेड को केवल बहुपद विधियों (polynomial methods) द्वारा मजबूर नहीं किया जा सकता है, और खोज का स्थान कम्प्यूटेशनल रूप से अव्यवहार्य ( $\sim 10^{16}$ मल्टीसेट्स) हो जाता है। यह $18 \le d(H_{343}) \le 24$ की सीमा को खुला छोड़ देता है।

महत्व और दावे
यह शोध पत्र $p=3$ के बाद हाइजेनबर्ग समूह डावेनपोर्ट स्थिरांक अनुमान ( $d(H_p^3) = 3p-3$ ) के खुले मामले के पहले समाधान का दावा करता है।

नवीनता: योगदान नए सिद्धांतों (Cauchy–Davenport, Chevalley–Warning, और Olson के परिणाम मानक हैं) के परिचय में नहीं है, बल्कि एक गैर-आबेली लक्ष्य को संबोधित करने के लिए उनके विशिष्ट संयोजन और $p=5$ के लिए गैप को बंद करने वाले कठोर परिमित सत्यापन में है।
विशिष्टता: तर्क को "वास्तविक रूप से $p$ -विशिष्ट" बताया गया है। लेखक उस सटीक चरण की पहचान करते हैं जहाँ तर्क $p \ge 7$ के लिए विफल हो जाता है (एक वाइड, गैर-कोलीनियर ब्लॉक को मजबूर करने में शेवली-वॉरिंग की अक्षमता), जो उनकी विधि की सीमाओं का एक ईमानदार मूल्यांकन प्रदान करता है।
पुनरुत्पादकता: शोध पत्र कम्प्यूटेशनल सत्यापन की भूमिका पर जोर देता है, यह नोट करते हुए कि ऊपरी सीमा का "निर्णय" एक व्यापक खोज से प्राप्त एक अनुभवजन्य तथ्य है, जिसे शुद्धता सुनिश्चित करने के लिए स्वतंत्र रूप से पुनरुत्पादित किया गया है।
श्रेय (Attribution): शोध पत्र स्पष्ट रूप से खुलासा करता है कि परिणाम एक AI अनुसंधान सहयोग के माध्यम से प्राप्त किए गए थे, जिसमें विशिष्ट कार्यों (समस्या फ्रेमिंग, सत्यापन उपकरण, और अंतिम लेखन) को मानव निर्देशन के तहत एक AI सिस्टम को सौंपा गया था, जबकि तार्किक न्यूनीकरण और प्रारंभिक परिकल्पनाओं का सुधार एक "कोल्ड, टूल-फ्री" (cold, tool-free) तर्ककर्ता द्वारा किया गया था।

ताश की गड्डी की पहेली

सफलता: 125 के कोड को तोड़ना

यह क्यों महत्वपूर्ण है (और यह कठिन क्यों है)

तकनीकी सारांश: हाइजेनबर्ग समूह (Heisenberg Group) H125H_{125}H125​ का लघु डावेनपोर्ट स्थिरांक (Small Davenport Constant)

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

तकनीकी सारांश: हाइजेनबर्ग समूह (Heisenberg Group) $H_{125}$ का लघु डावेनपोर्ट स्थिरांक (Small Davenport Constant)