A Greatest Common Divisor Criterion of Certain Binomial Coefficients

तकनीकी सारांश: कुछ द्विपद गुणांकों का महत्तम समापवर्तक मानदंड

समस्या विवरण
यह शोध पत्र द्विपद गुणांकों (binomial coefficients) के एक चयनित परिवार के महत्तम समापवर्तक (gcd) से संबंधित एक विशिष्ट संख्या-सिद्धांत संबंधी समस्या को संबोधित करता है। एक पूर्णांक $k \ge 2$ के लिए, लेखक परिभाषित करते हैं:
$$D(k) = \gcd_{2 \le q \le k+1} \binom{qk}{k}$$
इसका उद्देश्य उन पूर्णांकों $k$ को अभिलक्षणिक रूप से वर्णित करना है जिनके लिए $D(k) = 1$ है। यह समस्या OEIS अनुक्रम A080170 के अनुरूप है और इसे राल्फ स्टीफन के संग्रह Prove or Disprove: 100 Conjectures from the OEIS में पूर्व में 'कन्जेक्चर (17)' के रूप में प्रस्तुत किया गया था। यह अनुमान $n = k + 1$ के प्राइम-पावर गुणनखंडन (prime-power factorization) पर आधारित एक मानदंड प्रस्तावित करता है। विशेष रूप से, यदि $P$ $n$ का सबसे बड़ा सटीक प्राइम-पावर घटक है (अर्थात $P = \text{ppart}(n)$, जहाँ $p^a \parallel n$), तो अनुमान कहता है कि $D(k) = 1$ यदि और केवल यदि $n/P > P$ हो।

कार्यप्रणाली
प्रमाण शास्त्रीय संख्या सिद्धांत और संयोजनपरक तर्कों के संयोजन के माध्यम से आगे बढ़ता है, जो कई तार्किक चरणों में संरचित है:

1. अभाज्य विभाजक प्रतिबंध (Prime Divisor Restriction): एक परिमित-अंतर तर्क (finite-difference argument/Newton interpolation) का उपयोग करते हुए, लेखक पहले यह स्थापित करते हैं कि $D(k)$ का कोई भी अभाज्य विभाजक $k+1$ को विभाजित करता है (अर्थात $p \mid n$)। यह समस्या को $n$ को विभाजित करने वाले अभाज्य संख्याओं द्वारा $D(k)$ के विभाज्यता के विश्लेषण तक सीमित कर देता है।
2. लकास प्रमेय अनुप्रयोग (Lucas' Theorem Application): एक अभाज्य $p \mid n$ के लिए, समस्या को लकास प्रमेय का उपयोग करके अंक-वार (digit-wise) विश्लेषण में बदल दिया जाता है। $\binom{N}{K} \not\equiv 0 \pmod p$ की स्थिति को $N$ और $K$ के आधार-$p$ अंकों पर बाधाओं में अनुवादित किया जाता है।
3. डिजिट बॉक्स विश्लेषण (Digit Box Analysis): लेखक एक "डिजिट बॉक्स" $D_c$ की अवधारणा पेश करते हैं, जो एक सीमा $c$ के सापेक्ष आधार-$p$ अंकों पर बाधाओं द्वारा परिभाषित पूर्णांकों का एक सेट है। वे $D_c$ के तत्वों के बीच अंतराल के संबंध में एक "गैप बाउंड" (Gap Bound) लेम्मा और एक "नो नॉनजीरो ट्रांसलेशन" (No Nonzero Translation) लेम्मा सिद्ध करते हैं।
4. स्टेबलाइज़र थ्योरम (Stabilizer Theorem): एक केंद्रीय परिणाम (थ्योरम 7) डिजिट बॉक्स के गुणात्मक स्टेबलाइजर्स (multiplicative stabilizers) को अभिलक्षणिक करता है। यह बताता है कि एक सह-अभाज्य गुणक $s$ के लिए, शर्त $[sy]_P \in \{1, \dots, c\}$ कि सभी गैर-शून्य $y \in D_c$ के लिए सत्य है, यदि और केवल यदि $s \equiv 1 \pmod{p^{L-\text{ord}_p(c)}}$ हो।
5. जीरो-रन लेम्मा (Zero-Run Lemma): यह लेम्मा द्विपद विभाज्यता के एक अनुक्रम को मॉड्यूलर निष्कर्ष से जोड़ता है। यदि $\binom{m+tM}{m} \equiv 0 \pmod p$ का एक रेंज के लिए $t$ के लिए सत्य है, तो यह $M$ के लिए $p$ की एक घात के मॉड्यूलो एक विशिष्ट सर्वांगसमता (congruence) को दर्शाता है।
6. प्राथमिक मानदंड संश्लेषण (Primary Criterion Synthesis): उपरोक्त को संयोजित करते हुए, लेखक एक $p$-प्राथमिक मानदंड व्युत्पन्न करते हैं: $n = p^a b$ के लिए जहाँ $p \nmid b$, $p \mid D(k)$ यदि और केवल यदि $b \le p^a$ हो। अंतिम प्रमेय यह देखते हुए अनुसरण करता है कि $D(k)=1$ के लिए इस असमानता का सभी प्राइम-पावर घटकों के लिए सत्य होना आवश्यक है, जो कि सबसे बड़े घटक $P$ से संबंधित स्थिति के समतुल्य है।

मुख्य योगदान

• OEIS A080170 का प्रमाण: यह शोध पत्र OEIS अनुक्रम A080170 के काल्पनिक विवरण का एक कठोर गणितीय प्रमाण प्रदान करता है, जिससे राल्फ स्टीफन के संग्रह में सूचीबद्ध एक समस्या का समाधान होता है।
• Lean में औपचारिकीकरण (Formalization in Lean): एक महत्वपूर्ण योगदान इस प्रमाण का Lean 4 थ्योर प्रूवर में पूर्ण औपचारिकीकरण है। प्राकृतिक-भाषा प्रमाण और Lean कोड दोनों को "मेक-मैथ एजेंट टीम" (MechMath Agent Team) द्वारा उत्पन्न किया गया था, जो लेखकों द्वारा विकसित एक AI एजेंट है।
• बेंचमार्क में प्रगति: यह कार्य "फॉर्मल कन्जेक्चर" बेंचमार्क (विशेष रूप से उपसमुच्चय FC100OpenSet1) को अपडेट करता है। थ्योरम gcdCondition_iff_primePowerCondition पहले एक खुला शोध प्रश्न था; इसके औपचारिकीकरण और सत्यापन ने इस उपसमुच्चय की स्थिति को 96 खुले/4 हल किए गए से बदलकर 95 खुले/5 हल किए गए में बदल दिया है।

परिणाम
मुख्य परिणाम थ्योरम 1 है, जो औपचारिक रूप से बताता है:
मान लीजिए $k \ge 2$ और $n = k + 1$। मान लीजिए $P = \text{ppart}(n)$ $n$ का सबसे बड़ा सटीक प्राइम-पावर घटक है। तब:
$$\gcd_{2 \le q \le k+1} \binom{qk}{k} = 1 \iff \frac{n}{P} > P$$
प्रमाण पुष्टि करता है कि gcd 1 तभी होता है जब $k+1$ का सबसे बड़ा प्राइम-पावर गुणनखंड, उस प्राइम पावर द्वारा $k+1$ के सहखंड (cofactor) से छोटा होता है।

महत्व
शोध पत्र दो प्राथमिक क्षेत्रों में महत्व का दावा करता है:

1. गणितीय समाधान: यह द्विपद गुणांकों के संबंध में एक विशिष्ट, खुले अनुमान को हल करता है जिसे OEIS और स्टीफन के संग्रह में दर्ज किया गया था लेकिन जिसका प्रमाण उपलब्ध नहीं था।
2. स्वचालित थ्योरम प्रूविंग (Automated Theorem Proving): यह "फॉर्मल कन्जेक्चर" प्रोजेक्ट के लिए एक परीक्षण मामला (test case) के रूप में कार्य करता है, जो यह प्रदर्शित करता है कि एक AI-संचालित एजेंट (MechMath) एक मानव-पठनीय गणितीय प्रमाण और एक मशीन-चेकेबल Lean औपचारिकीकरण दोनों उत्पन्न कर सकता है। बेंचमार्क रिपॉजिटरी में Lean आर्टिफैक्ट की सफल स्वीकृति एजेंट की जटिल संख्या-सिद्धांत संबंधी तर्क और औपचारिक सत्यापन को संभालने की क्षमता को प्रमाणित करती है।