🔢 mathematics

Additive Bases from Primitive Dyck Words: Regular Underapproximations, Motzkin Coding, and Digit Lifting

यह शोध पत्र यह स्थापित करता है कि प्रत्येक धनात्मक सम पूर्णांक को (जिसमें 46 शामिल है, जिसे आठ की आवश्यकता होती है और 848 के तीक्ष्ण अंतिम सीमा सहित) पूर्णांकों के एक परिमित सेट को छोड़कर, डाइक पथों (Dyck paths) और मोट्ज़किन कोडिंग (Motzkin coding) के बीच एक नवीन संबंध का लाभ उठाकर डिजिट-लिफ्टिंग प्रमेयों और जनरेशन सीमाओं को सिद्ध करने के माध्यम से, अधिकतम छह प्रिमिटिव डाइक शब्दों (primitive Dyck words) के योग के रूप में निरूपित किया जा सकता है।

मूल लेखक: Takayuki Kuriyama

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

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

CC BY 4.0

मूल लेखक: Takayuki Kuriyama

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

कल्पना कीजिए कि आप एक जासूस हैं जो एक बहुत ही विशिष्ट प्रकार की संख्या पहेली को सुलझाने की कोशिश कर रहे हैं। गणित की दुनिया में, योगात्मक संख्या सिद्धांत (additive number theory) नामक एक शाखा है, जो एक सरल लेकिन पेचीदा प्रश्न पूछती है: क्या आप कुछ विशेष "बिल्डिंग ब्लॉक" संख्याओं को जोड़कर एक निश्चित समूह की प्रत्येक संख्या का निर्माण कर सकते हैं? इसे एक खेल की तरह सोचें जहाँ आपके पास लेगो (Lego) ब्रिक्स का एक सीमित सेट है, और आप जानना चाहते हैं कि क्या आप केवल उन ब्रिक्स का उपयोग करके हर संभव टावर की ऊंचाई बना सकते हैं। कभी-कभी, आपको केवल दो ब्रिक्स की आवश्यकता होगी; अन्य समय में, आपको दस की आवश्यकता हो सकती है। इस खेल का "क्रम" (order) वह अधिकतम संख्या है जितने ब्रिक्स की आपको किसी भी टावर को बनाने के लिए कभी आवश्यकता होती है।

इस खेल को खेलने के लिए, गणितज्ञ इस कहानी में एक बहुत ही विशिष्ट सेट के बिल्डिंग ब्लॉक्स का उपयोग करते हैं। ये वे संख्याएँ हैं जो, जब उन्हें बाइनरी (0 और 1 की कंप्यूटर भाषा) में लिखा जाता है, तो वे पूरी तरह से संतुलित कोष्ठकों (parentheses) की तरह दिखती हैं। गणित में, इन्हें डिक वर्ड्स (Dyck words) कहा जाता है। उदाहरण के लिए, 1100 एक वैध ब्लॉक है क्योंकि यदि आप 1 को "ऊपर" जाने वाले कदम और 0 को "नीचे" जाने वाले कदम के रूप में मानते हैं, तो पथ दो बार ऊपर जाता है और दो बार नीचे आता है, और कभी भी शुरुआती रेखा से नीचे नहीं गिरता है। वे इनके एक विशेष उपसमूह पर ध्यान केंद्रित करते हैं जिन्हें प्रिमिटिव (primitive) ब्लॉक कहा जाता है, जो वे "परमाणु" टुकड़े हैं जिन्हें छोटे संतुलित जोड़ों में तोड़ा नहीं जा सकता। वे जिस बड़े सवाल का समाधान करते हैं वह यह है: किसी भी सम संख्या (even number) को बनाने के लिए आपको कितने प्रिमिटिव ब्लॉक्स को जोड़ने की आवश्यकता है?

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

द स्टोरी ऑफ द बाइनरी बैलेंसर

आइए इस रोमांच में डूब जाएँ। लेखक, ताकायाुकी कुरियामा के नेतृत्व में, संख्याओं के एक ऐसे सेट की जांच कर रहे हैं जो संतुलित बाइनरी स्ट्रिंग्स की भाषा से आते हैं। कल्पना कीजिए कि आपके पास रोशनी की एक स्ट्रिंग है, कुछ लाल (1) और कुछ नीली (0)। एक "डिक वर्ड" (Dyck word) एक ऐसी स्ट्रिंग है जहाँ आपके पास लाल और नीली रोशनी की समान संख्या है, और यदि आप उन्हें बाएँ से दाएँ गिनते हैं, तो आपके पास किसी भी बिंदु पर नीली रोशनी की संख्या लाल से अधिक नहीं होगी। यह एक नृत्य की तरह है जहाँ आप तब तक मंच से नीचे नहीं उतर सकते जब तक कि आपने अपने हर कदम को एक नीचे जाने वाले कदम के साथ मैच न कर लिया हो।

लेखक "प्रिमिटिव" नर्तकों में रुचि रखते हैं। ये वे स्ट्रिंग्स हैं जो केवल अंत में शुरुआती रेखा (शून्य ऊंचाई) पर वापस आती हैं। यदि कोई स्ट्रिंग बीच में ही शून्य पर लौट आती है, तो वह केवल दो छोटे नृत्यों का जुड़ा हुआ रूप है, न कि एक प्रिमिटिव वाला। वे इन स्ट्रिंग्स को संख्याओं (इन्हें बाइनरी के रूप में पढ़ते हुए) के रूप में देखते हैं और पूछते हैं कि किसी भी सम संख्या को प्राप्त करने के लिए हमें कितने प्रिमिटिव नंबरों को जोड़ने की आवश्यकता है।

गुप्त कोड: बाइनरी से आधार-4 तक
इस शोध पत्र में शानदार चाल यह महसूस करना है कि इन बाइनरी स्ट्रिंग्स की एक छिपी हुई संरचना है। यदि आप बिट्स (00, 01, 10, 11) को एक जोड़े में रखते हैं, तो वे आधार-4 प्रणाली (0, 1, 2, 3) में अंकों की तरह कार्य करते हैं। लेखकों ने एक पूर्ण मानचित्र खोजा: प्रत्येक प्रिमिटिव डिक नंबर (सबसे छोटी संख्या, जो 2 है, को छोड़कर) एक आधार-4 संख्या के अनुरूप होता है जो 3 से शुरू होता है, 0 पर समाप्त होता है, और बीच में एक "मोटज़किन" शब्द रखता है।

एक मोटज़किन शब्द को एक पथ के रूप में सोचें जो ऊपर, नीचे या समतल (flat) जा सकता है, लेकिन कभी भी जमीन से नीचे नहीं जा सकता। यह संबंध इस शोध पत्र का "रोसेटा स्टोन" (Rosetta Stone) है। यह लेखकों को एक कठिन समस्या को, जो जटिल बाइनरी स्ट्रिंग्स के बारे में है, आधार-4 संख्याओं और इन समतल चलने वाले पथों के बारे में एक स्वच्छ समस्या में अनुवाद करने की अनुमति देता है। यह अनुवाद प्रकट करता है कि वे जिस संख्याओं के सेट का अध्ययन कर रहे हैं वह "डिजिटली क्लोज्ड" (digitally closed) है, जिसका अर्थ है कि यदि आपके पास एक संख्या सेट में है, तो आप विशिष्ट अंकों को जोड़कर नई संख्याएँ उत्पन्न कर सकते हैं।

दो-ट्रैक रणनीति
पहेली को हल करने के लिए, लेखक दो-तरफा हमला करते हैं, संख्याओं को इस आधार पर वर्गीकृत करते हैं कि वे 4 से विभाजित होने पर कैसा व्यवहार करती हैं।

"आसान" ट्रैक (4 के गुणज): उन संख्याओं के लिए जो 4 से पूरी तरह विभाज्य हैं, लेखक एक "नियमित अंडर-एप्रोक्सिमेशन" (regular underapproximation) का उपयोग करते हैं। यह एक फैंसी तरीका है यह कहने का कि उन्होंने संख्याओं का एक सरल, अनुमानित उपसमूह खोजा है जिसके साथ काम करना आसान है। उन्होंने सिद्ध किया कि यह सरल सेट पर्याप्त शक्तिशाली है ताकि वे छह ब्लॉक्स का उपयोग करके सभी बड़े 4 के गुणजों को बना सकें।
"कठिन" ट्रैक (2 mod 4 वाली संख्याएँ): उन संख्याओं के लिए जो 4 से विभाजित करने पर 2 शेष छोड़ती हैं (जैसे 6, 10, 14), सरल सेट पर्याप्त नहीं है। यहाँ, वे पूर्ण "मोटज़किन-कोडेड" परिवार की शक्ति का उपयोग करते हैं। उन्होंने सिद्ध किया कि यह बड़ा, अधिक जटिल परिवार इन संख्याओं को केवल पाँच ब्लॉक्स का उपयोग करके बना सकता है।

"लिफ्टिंग" जादू
वे कैसे जानते हैं कि यह सभी बड़ी संख्याओं के लिए काम करता है, न कि केवल उनके लिए जिन्हें उन्होंने जांचा है? वे डिजिट लिफ्टिंग (digit lifting) नामक एक तकनीक का उपयोग करते हैं। कल्पना कीजिए कि आपके पास एक छोटी सीढ़ी है जो एक निश्चित ऊंचाई तक पहुँच सकती है। लेखकों ने एक प्रमेय सिद्ध किया कि: यदि आप एक निश्चित संख्या में ब्लॉक्स के साथ संख्याओं की एक निरंतर श्रृंखला बना सकते हैं, तो आप ब्लॉक्स के सिरों पर विशिष्ट अंक जोड़कर उन सभी बड़ी संख्याओं को बनाने की अपनी क्षमता को "लिफ्ट" (ऊपर उठा) सकते हैं। यह एक जादुई नियम की तरह है जो कहता है, "यदि आप ऊंचाई 100 का टावर बना सकते हैं, तो आप स्वचालित रूप से टावर की ऊंचाई 400, 401, 402, और इसी तरह बना सकते हैं।" यह उन्हें सत्यापित संख्याओं की एक परिमित सूची से अनंत तक पैटर्न को सिद्ध करने की अनुमति देता है।

परिणाम: जिद्दी संख्याएँ
अपने उपकरणों को स्थापित करने के बाद, लेखक अपवादों को वर्गीकृत करने के लिए काम पर लगे। उन्होंने पाया कि जबकि अधिकांश सम संख्याएँ बनाना आसान है, एक विशिष्ट "जिद्दी" संख्याओं की सूची है जिन्हें बनाने के लिए अधिक ब्लॉक्स की आवश्यकता होती है।

कठिनाई का चैंपियन: संख्या 46 सबसे कठिन है। इसे सात या उससे कम ब्लॉक्स से नहीं बनाया जा सकता; इसके लिए सख्ती से आठ ब्लॉक्स की आवश्यकता होती है।
रनर-अप्स (दूसरे स्थान वाले): दस अन्य संख्याएँ हैं जिन्हें सात ब्लॉक्स की आवश्यकता होती है: 34, 44, 98, 154, 198, 202, 206, 838, 842, और 846।
सीमा (Threshold): लेखकों ने सिद्ध किया कि 848 वह जादुई संख्या है। 848 और उससे ऊपर की प्रत्येक सम संख्या को छह या कम ब्लॉक्स के साथ बनाया जा सकता है।

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

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

उन्होंने यह भी खोजा कि खेल का "क्रम" नियमों के आधार पर बदल जाता है। यदि आप केवल 4 के गुणजों को देखते हैं, तो आपको केवल 5 ब्लॉक्स की आवश्यकता होती है। लेकिन यदि आप 2 mod 4 वाली संख्याओं को शामिल करते हैं, तो आवश्यकता बढ़कर 6 हो जाती है। और यदि आप पूर्णतः सबसे खराब स्थिति (संख्या 46 सहित) को देखते हैं, तो आपको 8 की आवश्यकता होती है।

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

तकनीकी सारांश: प्रिमिटिव डिक शब्दों से योगात्मक आधार (Additive Bases)

समस्या विवरण
यह शोध पत्र धनात्मक सम पूर्णांकों के योगात्मक निरूपण की जांच करता है, जिसमें योगों (summands) के लिए $N_pD$ समुच्चय से तत्वों का उपयोग किया जाता है। यह समुच्चय शून्य और बाइनरी संख्याओं के रूप में व्याख्यायित प्रिमिटिव डिक शब्दों (primitive Dyck words) के पूर्णांक मानों से बना है। एक डिक शब्द 1s (up-steps) और 0s (down-steps) का एक संतुलित अनुक्रम है; एक शब्द तब प्रिमिटिव कहलाता है जब उसका संबद्ध पथ केवल अंत में ही ऊंचाई शून्य पर वापस आता है। केंद्रीय प्रश्न इस समुच्चय के योगात्मक क्रम (additive order) को निर्धारित करना है: विशेष रूप से, वह न्यूनतम पूर्णांक $h$ क्या है जिससे प्रत्येक पर्याप्त बड़े सम पूर्णांक को $N_pD$ के अधिकतम $h$ तत्वों के योग के रूप में व्यक्त किया जा सकता है, और उन "अपवादस्वरूप" पूर्णांकों को वर्गीकृत करना जो दिए गए संख्या में अधिक योगों की आवश्यकता रखते हैं।

कार्यप्रणाली
लेखक औपचारिक भाषा सिद्धांत (formal language theory), संयोजन संख्या सिद्धांत (combinatorial number theory) और रचनात्मक एल्गोरिदम को संयोजित करने वाला एक हाइब्रिड दृष्टिकोण अपनाते हैं:

पोजीशनल ब्लॉक कोडिंग (Positional Block Coding): मुख्य संरचनात्मक अंतर्दृष्टि प्रिमिटिव डिक शब्दों और दो-रंगीन मोटज़किन शब्दों (two-coloured Motzkin words) के बीच एक आधार-4 ब्लॉक कोडिंग के माध्यम से एक एकैकी संबंध (bijection) है। क्रमिक बाइनरी अंकों को युग्मित करके, लेखक प्रिमिटिव डिक शब्दों (शब्द "10" को छोड़कर) को आधार-4 के उन शब्दों में मैप करते हैं जो $3w0$ के रूप में होते हैं, जहाँ $w$ एक दो-रंगीन मोटज़किन शब्द है। यह लेखकों को गैर-नियमित (non-regular) डिक भाषा को आधार-4 पोजीशनल अंकगणित के अनुकूल संरचना में अनुवाद करने की अनुमति देता है।
नियमित अल्पअनुमान (Regular Underapproximation): $0 \pmod 4$ के अनुरूप पूर्णांकों को संभालने के लिए, लेखक प्रिमिटिव डिक भाषा का एक स्पष्ट नियमित अल्पअनुमान निर्मित करते हैं। नियमित अभिव्यक्ति $11(01|10)^*00$ द्वारा परिभाषित यह उपसमुच्चय, केवल $\{1, 2\}$ अंकों से बने मोटज़किन शब्दों के अनुरूप है। यह नियमित उपसमुच्चय परिमित ऑटोमेटा विधियों के लिए अनुकूल है और 4 के गुणजों के लिए एक आवरण (covering) प्रदान करता है।
डिजिट लिफ्टिंग और प्रोपेगेशन (Digit Lifting and Propagation): यह शोध पत्र एक इंटरवल डिजिट-लिफ्टिंग प्रमेय (Interval Digit-Lifting Theorem) प्रस्तुत करता है। यह प्रमेय सिद्ध करता है कि यदि एक सेट $A$ एक क्लोजर प्रॉपर्टी (विशेष रूप से $4A + \{1, 2\} \subseteq A$ ) को संतुष्ट करता है, तो एक प्रतिनिधित्व योग्य संख्याओं का एक परितित अंतराल (finite interval) को पुनरावर्ती रूप से एक अनंत पूंछ (infinite tail) तक विस्तारित किया जा सकता है। यह लेखकों को छोटे जनरेटर के योग-समुच्चयों (sumsets) के रूप में परिमित कम्प्यूटेशनल प्रमाणों को पर्याप्त बड़े पूर्णांकों के प्रतिनिधित्व के प्रमाण में बदलने की अनुमति देता है।
परिमित प्रमाण और व्यापक खोज (Finite Certificates and Exhaustive Search): प्रमाण छोटे जनरेटरों के योग-समुच्चयों की गणना करने के लिए सटीक पूर्णांक अंकगणित पर निर्भर करता है। लेखक उन विशिष्ट अंतरालों को सत्यापित करते हैं जहाँ नियमित परिवार (4 के गुणजों के लिए) और पूर्ण मोटज़किन-कोडेड परिवार (पूर्णांक $\equiv 2 \pmod 4$ के लिए) के योग-समुच्चय पर्याप्त रूप से ओवरलैप होते हैं ताकि डिजिट-लिफ्टिंग प्रोपेगेशन को ट्रिगर किया जा सके।

मुख्य योगदान

सटीक आधार-4 लक्षण वर्णन: शोध पत्र पहचान $DP = \{10\} \cup \phi(3 \cdot \text{Motz} \cdot 0)$ स्थापित करता है, जहाँ $\phi$ एक समान मॉर्फिज्म (uniform morphism) है जो आधार-4 अंकों को बाइनरी जोड़े में मैप करता है। यह प्रिमिटिव डिक शब्दों और कैनोनिकल पोजीशनल मानों को संरक्षित करने वाले मोटज़किन पथों के बीच एक सटीक संरचनात्मक संबंध प्रदान करता है।
अपवादस्वरूप पूर्णांकों का वर्गीकरण: लेखक उन धनात्मक सम पूर्णांकों का पूर्ण वर्गीकरण करते हैं जिन्हें छह से अधिक योगों की आवश्यकता होती है।
- पूर्णांक 46 एकमात्र सम पूर्णांक है जिसे आठ योगों की आवश्यकता है।
- पूर्णांक 34, 44, 98, 154, 198, 202, 206, 838, 842, और 846 को ठीक सात योगों की आवश्यकता है।
- अन्य प्रत्येक धनात्मक सम पूर्णांक को अधिकतम छह योगों की आवश्यकता होती है।
तीक्ष्ण सीमाएँ (Sharp Thresholds): यह शोध पत्र 848 को तीक्ष्ण अंतिम सीमा (sharp eventual threshold) के रूप में पहचानता है: प्रत्येक सम पूर्णांक $N \ge 848$ छह प्रिमिटिव डिक संख्याओं का योग है।
अनंत क्रम विश्लेषण (Asymptotic Order Analysis): लेखक "सापेक्ष क्रम" (सभी सम पूर्णांकों के लिए) और "अनंत क्रम" (पर्याप्त बड़े पूर्णांकों के लिए) के बीच अंतर करते हैं।
- $N_pD$ सम पूर्णांकों के लिए एक सापेक्ष योगात्मक आधार है जिसका क्रम 8 है (46 के अपवाद के कारण)।
- सापेक्ष अनंत (asymptotic) क्रम 6 है।
- "हाफ्ड" परिवार $P$ (जहाँ $N_pD = \{0, 2\} \cup 4P$ है) का अनंत योगात्मक क्रम 5 है।
रचनात्मक एल्गोरिदम: डिजिट-लिफ्टिंग तंत्र $O(\log n)$ पुनरावर्ती चरणों में बड़े पूर्णांकों के प्रतिनिधित्व को उत्पन्न करने के लिए एक रचनात्मक एल्गोरिदम प्रदान करता है, जो परिमित बीज (seed) प्रतिनिधित्व को अनंत पूंछ में परिवर्तित करता है।

परिणाम और महत्व

यह शोध पत्र प्रदर्शित करता है कि जबकि प्रिमिटिव डिक शब्दों की भाषा नियतात्मक संदर्भ-मुक्त (deterministic context-free) है (और इस प्रकार नियमित नहीं है), इसकी योगात्मक विशेषताओं का विश्लेषण अवशेष वर्गों (residue classes) के आधार पर समस्या को अलग करके प्रभावी ढंग से किया जा सकता है।

$N \equiv 0 \pmod 4$ के लिए, यह सिद्ध करने के लिए कि छह योग अंततः पर्याप्त हैं, एक नियमित अल्पअनुमान पर्याप्त है।
$N \equiv 2 \pmod 4$ के लिए, प्रमाण के लिए पूर्ण मोटज़किन-कोडेड परिवार और पांच-योग आवरण की आवश्यकता होती है, जो '2' के विषम संख्या में उपयोग की आवश्यकता के साथ मिलकर, अनंत सीमा को छह तक बढ़ा देता है।

इस कार्य का महत्व एक गैर-नियमित भाषा के लिए नियमित अल्पअनुमानों के सफल अनुप्रयोग में निहित है। यह एक ठोस उदाहरण प्रदान करता है जहाँ औपचारिक भाषा संरचना (डिक बनाम मोटज़किन) और पोजीशनल न्यूमरेशन सिस्टम के बीच परस्पर क्रिया सटीक, गणनीय सीमाओं को प्राप्त करती है। लेखक स्पष्ट रूप से उल्लेख करते हैं कि छह का बंधन अनंत रूप से इष्टतम (asymptotically optimal) है, क्योंकि अनुक्रम $N_k = 10 \cdot 4^{k+1} - 6$ के लिए प्रत्येक $k \ge 2$ के लिए ठीक छह योगों की आवश्यकता होती है।

सभी परिमित प्रमाण और अपवादों का वर्गीकरण सटीक पूर्णांक अंकगणित का उपयोग करने वाले पूरक प्रोग्रामों द्वारा सत्यापित किया गया है, जो परिणामों की पुनरुत्पादकता सुनिश्चित करता है। शोध पत्र निष्कर्ष निकालता है कि 848 वह न्यूनतम सम पूर्णांक है कि सभी बड़े सम पूर्णांक अधिकतम छह प्रिमिटिव डिक संख्याओं द्वारा प्रतिनिधित्व योग्य हैं, जबकि 46 आठ योगों की आवश्यकता वाला एकमात्र अपवाद बना हुआ है।

द स्टोरी ऑफ द बाइनरी बैलेंसर

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