🔢 mathematics

Parity of the partition function in quadratic progressions

यह शोधपत्र ट्विस्टेड बोर्चर्ड्स प्रोडक्ट्स (twisted Borcherds products), सीएम पॉइंट्स (CM points) और गैलॉइस रिप्रेजेंटेशन्स (Galois representations) से जुड़े एक नवीन ज्यामितीय दृष्टिकोण का उपयोग करते हुए द्विघात प्रगति (quadratic progressions) में विभाजन फलन (partition function) की समता (parity) के संबंध में 2010 के एक अनुमान को सिद्ध करता है ताकि यह प्रदर्शित किया जा सके कि उनके मानों में अनंत सम और विषम पद सम्मिलित हैं।

मूल लेखक: Ken Ono, Ashvin Swaminathan

प्रकाशित 2026-08-13

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

CC0 1.0

मूल लेखक: Ken Ono, Ashvin Swaminathan

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

एक विशाल, अनंत पुस्तकालय की कल्पना करें जहाँ प्रत्येक पुस्तक एक संख्या है, और प्रत्येक पुस्तक के भीतर, उसके पृष्ठों को पुनर्व्यवस्थित करने के अनगिनत तरीके हैं। गणित की दुनिया में, यह "पार्टिशन" (विभाजन) का क्षेत्र है। एक 'पार्टिशन' सरल रूप से एक पूर्ण संख्या को छोटे धनात्मक संख्याओं के योग में तोड़ने का एक तरीका है। उदाहरण के लिए, संख्या 4 को पाँच अलग-अलग तरीकों से तोड़ा जा सकता है: 4, 3+1, 2+2, 2+1+1, और 1+1+1+1। गणितज्ञ इन तरीकों की कुल संख्या को "पार्टिशन फंक्शन" कहते हैं, जिसे अक्सर $p(n)$ के रूप में लिखा जाता है।

एक शताब्दी से अधिक समय से, गणितज्ञ इन संख्याओं में छिपी लय से मंत्रमुग्ध रहे हैं। उन्होंने पाया है कि यदि आप कुछ विशेष पैटर्न देखते हैं, तो उत्तर अक्सर सख्त नियमों का पालन करते हैं, जैसे कि 5 या 7 से विभाजित होने पर हमेशा शून्य पर समाप्त होना। लेकिन एक जिद्दी, अराजक रहस्य है जिसने नियंत्रण करने के सभी प्रयासों का विरोध किया है: इन संख्याओं की "पैरिटी" (समता)। पैरिटी का अर्थ केवल यह है कि कोई संख्या सम (even) है या विषम (odd)। क्या विभाजन संख्याओं का अनुक्रम बेतरतीब ढंग से सम और विषम के बीच बदलता रहता है, या यह एक पैटर्न में फंस जाता है? लंबे समय तक, कोई यह सिद्ध नहीं कर सका कि संख्याएँ वास्तव में यादृच्छिक थीं या वे गुप्त रूप से किसी एक पक्ष की ओर झुकी हुई थीं। यह शोध पत्र इस अराजकता की गहराई में उतरता है, विशेष रूप से एक विशेष द्विघात सूत्र (quadratic formula) द्वारा निर्मित संख्याओं पर ध्यान केंद्रित करता है, यह देखने के लिए कि क्या सम और विषम मान एक साथ नृत्य करते हैं या एक साथी पूरे नृत्य का नेतृत्व करता है।

इस शोध पत्र के लेखक, केन ओनो और अश्विन स्वामीनाथन ने अंततः इस नृत्य के बारे में एक विशिष्ट, लंबे समय से चले आ रहे अनुमान (conjecture) को हल कर दिया है। उन्होंने सिद्ध किया कि $Dm^2 + 1$ (जहाँ $D$ एक विशिष्ट प्रकार की संख्या है और $m$ एक पूर्णांक है) द्वारा उत्पन्न संख्याओं के एक विशेष परिवार के लिए, विभाजन मान पूरी तरह से सम या पूरी तरह से विषम नहीं होते हैं। इसके बजाय, उन्होंने सिद्ध किया कि सम और विषम दोनों मान अनंत बार प्रकट होते हैं।

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

मुख्य अंतर्दृष्टि ज्यामितीय थी। उन्होंने संख्याओं की कल्पना एक विशेष मानचित्र के रूप में की जिसे "मॉड्यूलर कर्व" कहा जाता है। उन्होंने पाया कि विभाजन संख्याओं की "समता" या "विषमता" इस मानचित्र पर विशिष्ट बिंदुओं के व्यवहार में समाहित है, जिन्हें "सीएम पॉइंट्स" (CM points) के रूप में जाना जाता है। लेखकों ने दिखाया कि यदि आप इन बिंदुओं को एक विशेष लेंस के माध्यम से देखते हैं (जिसे 'मॉड्यूलो 2' के रूप में कम करना कहा जाता है, जो यह जांचने जैसा है कि कोई संख्या सम है या विषम), तो बिंदु विशिष्ट बने रहते हैं और एक दूसरे में समाहित नहीं होते हैं। यह विशिष्टता अत्यंत महत्वपूर्ण है। यदि बिंदु विशिष्ट बने रहते, तो इसका अर्थ होता कि विभाजन संख्याएँ सभी एक ही पैरिटी की नहीं हो सकतीं; उन्हें भिन्न होना ही होगा।

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

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

तकनीकी सारांश: द्विघातीय प्रगति (Quadratic Progressions) में विभाजन फलन (Partition Function) की समता (Parity)

समस्या विवरण
विभाजन फलन $p(n)$ की समता (parity), जो धनात्मक पूर्णांकों के योग के रूप में एक धनात्मक पूर्णांक $n$ को लिखने के तरीकों की संख्या को गिनता है, विभाजन सिद्धांत (partition theory) में एक अत्यंत कठिन और अनसुलझी समस्या बनी हुई है। जबकि रामनुजन के सर्वांगसमताओं (congruences) ने 5, 7, और 11 के मापांक (modulo) में नियमितता स्थापित की, $p(n)$ का 2 के मापांक में वितरण अभी भी अपर्याधर (poorly understood) है। पार्किन-शैंक्स अनुमान (Parkin–Shanks conjecture) यह प्रस्तावित करता है कि $p(n)$ की प्राकृतिक घनत्व (natural density) के रूप में सम और विषम होने की संभावना $1/2$ है, लेकिन अनकंडीशनल बाउंड्स (unconditional bounds) अभी भी कमजोर हैं।

एक विशिष्ट मामला जहाँ इस कठिनाई का सामना करना पड़ता है, वह है $p(n)$ के तर्क (argument) को द्विघातीय प्रगति (quadratic progressions) तक सीमित करना। 2010 में, प्रथम लेखक ने अनुमान लगाया था कि प्रत्येक वर्ग-मुक्त पूर्णांक (square-free integer) $D > 1$ के लिए, जहाँ $D \equiv 23 \pmod{24}$ है, अनुक्रम
$p\left(\frac{Dm^2 + 1}{24}\right)$
जब $m$ धनात्मक पूर्णांकों के रूप में चलता है जो 6 के साथ सह-अभाज्य (coprime to 6) हैं, में अनंत सम और अनंत विषम पद शामिल होते हैं। इस कार्य से पूर्व, घात $\ge 2$ वाले बहुपदों (polynomials) के लिए लगभग कुछ भी ज्ञात नहीं था।

कार्यप्रणाली और मुख्य विचार
लेखक एक ज्यामितीय ढांचे (geometric framework) को पेश करके इस अनुमान को हल करते हैं जो मॉड्यूलर कर्व्स (modular curves) और CM बिंदुओं की ज्यामिति के साथ विभाजन फलन के अंकगणित को जोड़ता है। कार्यप्रणाली तीन मुख्य चरणों में आगे बढ़ती है:

मॉक थीटा फंक्शन्स और बोर्चर्ड्स प्रोडक्ट्स (Mock Theta Functions and Borcherds Products):
लेखक इस तथ्य का उपयोग करते हैं कि रामनुजन का तृतीय-क्रम का मॉक थीटा फंक्शन $f(q)$ , $p(n)$ को 4 के मापांक में एनकोड करता है। विशेष रूप से, जनरेटिंग फंक्शन $P(q) = \sum p(n)q^n$ इस प्रकार संतुष्ट होता है: $P(q) \equiv f(q) \pmod 4$ । वे ब्रुइनियर और प्रथम लेखक के ट्विस्टेड बोर्चर्ड्स लिफ्ट (twisted Borcherds lift) का उपयोग करके $\Gamma_0(6)$ के लिए एक वेट 0 मेरोमोर्फिक मॉड्यूलर फॉर्म $\Psi_D$ का निर्माण करते हैं। $\Psi_D$ के डिवेटर (divisor) में $-D$ के डिस्क्रीमिनेन्ट (discriminant) वाले CM बिंदुओं के दो पैकेट शामिल हैं। इस उत्पाद का लॉगरिदमिक डेरिवेटिव (logarithmic derivative), जिसे $\omega_D = \frac{1}{\sqrt{-D}} d \log \Psi_D$ द्वारा दर्शाया गया है, एक वेट 2 मेरोमोर्फिक डिफरेंशियल (meromorphic differential) है।
विशेषता 2 (Characteristic 2) में ज्यामितीय विश्लेषण:
मुख्य नवाचार विशेषता 2 में $\omega_D$ का विश्लेषण है। लेखक स्थापित करते हैं कि:

$\Psi_D$ के डिवेटर में मौजूद CM बिंदुओं के दो पैकेट एक सामान्य "2-ओरिएंटेशन" साझा करते हैं (विशेष रूप से, उनके ऑर्डर-2 लेवल सबग्रुप्स CM फील्ड $K = \mathbb{Q}(\sqrt{-D})$ में 2 के ऊपर स्थित समान अभाज्य $\mathfrak{p}_2$ के अनुरूप हैं)।
कैनोनिकल लिफ्ट्स (canonical lifts) की कठोरता (rigidity) के कारण (सेरे-टेट सिद्धांत/Serre–Tate theory), इस सामान्य ओरिएंटेशन वाले भिन्न CM बिंदु रेडक्शन मोड्यूलो 2 के बाद भी भिन्न बने रहते हैं।
$\omega_D$ के इन CM बिंदुओं पर रेसिड्यू (residues) 2-एडिक यूनिट्स हैं। फलस्वरूप, $\omega_D$ के सिंपल पोल्स (simple poles) $X_0(6)$ के स्पेशल फाइबर के ऑर्डिनरी कंपोनेंट $C_\infty$ पर रेडक्शन मोड्यूलो 2 के दौरान जीवित रहते हैं।

आइजनस्टीन सीरीज़ (Eisenstein Series) के साथ तुलना:
$\infty$ कुस्प (cusp) पर $\omega_D$ के फूरियर विस्तार (Fourier expansion) में एक लैम्बर्ट सीरीज़ (Lambert series) होती है जो विभाजन मानों की पैरिटी (parity) को एनकोड करती है। लेखक इस विस्तार की तुलना एक होलोमॉर्फिक वेट 2 आइजनस्टीन सीरीज़ $E_D$ से करते हैं, जिसे "सभी विषम" (all odd) परिदृश्य से मेल खाने के लिए बनाया गया है।

यदि सभी विभाजन मान सम होते, तो $\omega_D$ का रेडक्शन पूर्णतः शून्य हो जाता, जो CM पोल्स के अस्तित्व के विपरीत होता।
यदि सभी विभाजन मान विषम होते, तो $\omega_D$ का रेडक्शन $E_D$ के रेडक्शन के अनुरूप होता। हालाँकि, $E_D$ इन CM बिंदुओं पर होलोमॉर्फिक (नियमित) है, जबकि $\omega_D$ का रेडक्शन वहां सिंपल पोल्स रखता है। यह विरोधाभास निरंतर विषम पैरिटी (constant odd parity) को खारिज करता है।

मुख्य परिणाम
यह शोध पत्र निम्नलिखित को सिद्ध करता है:

प्रमेय 1: प्रत्येक वर्ग-मुक्त $D > 1$ $D > 1$ के लिए, जहाँ $D \equiv 23 \pmod{24}$ $D \equiv 23 (mod 24)$ है, $(m, 6)=1$ $(m, 6) = 1$ के लिए $p\left(\frac{Dm^2 + 1}{24}\right)$ $p (\frac{D m ^{2} + 1}{24})$ के मानों में अनंत सम और अनंत विषम पद शामिल हैं।
- इसके अतिरिक्त, पेपर प्रत्येक पैरिटी की पहली उपस्थिति के लिए क्लास नंबर $h(-D)$ के संदर्भ में प्रभावी बाउंड्स (effective bounds) प्रदान करता है:
  $m_{\text{odd}} \le 12h(-D) + 2$
  $m_{\text{even}} \le (12h(-D) + 2) \prod_{\ell|D} (\ell + 1)$
प्रमेय 2: एक सामान्यीकृत 'नॉन-कॉन्स्टेंसी क्राइटेरियन' (nonconstancy criterion) स्थापित किया गया है जो सामान्यीकृत ट्विस्टेड बोर्चर्ड्स प्रोडक्ट्स से उत्पन्न अनुक्रमों के लिए है। यह प्रमेय उन आवश्यक ज्यामितीय इनपुट्स को अलग करता है (डिफरेंशियल की इंटीग्रलिटी, सिंपल CM पोल्स के अस्तित्व, यूनिट रेसिड्यू के साथ, और एक मैचिंग होलोमॉर्फिक मॉड्यूलर फॉर्म का अस्तित्व) जो किसी अनुक्रम को 2 के मापांक में नॉन-कॉस्टेंट (non-constant) सिद्ध करने के लिए आवश्यक हैं।

महत्व और दावे
यह शोध पत्र एक विशिष्ट, लंबे समय से चले आ रहे अनुमान को हल करने का दावा करता है जो द्विघातीय प्रगति में विभाजन फलन की पैरिटी से संबंधित है, एक ऐसा मामला जहाँ पिछले तरीकों से कोई परिणाम प्राप्त नहीं हुआ था। इसकी महत्ता इसके "ज्यामितीय" स्वरूप में निहित है:

यह एक कॉम्बिनेटोरियल समस्या को मॉड्यूलर डिफरेंशियल्स के पोल्स के व्यवहार की समस्या में पुनर्गठित करता है।
यह प्रदर्शित करता है कि CM पोल्स का रेडक्शन मोड्यूलो 2 के तहत "उत्तरजीविता" (survival), कैनोनिकल लिफ्ट्स की विशिष्टता के साथ मिलकर, निरंतर पैरिटी पैटर्न को खारिज करने के लिए एक मजबूत तंत्र प्रदान करती है।
लेखक नोट करते हैं कि जबकि ज्यामितीय तर्क (प्रमेय 2) नॉन-कॉन्स्टेंसी (अर्थात, "सभी सम" या "सभी विषम" को खारिज करना) स्थापित करता है, "एक उपस्थिति" से "अनंतता" तक का कदम हीगेके बीजगणित (Hecke algebra) और गैलवा प्रतिनिधित्व (Galois representation) से जुड़े अलग से अंकगणितीय प्रसार परिणामों (arithmetic propagation results) पर निर्भर करता है (विशेष रूप से, कुछ हीगेके ऑपरेटर्स की लोकल निलपोटेंसी/local nilpotence)। अतः, यह शोध पत्र यह दावा नहीं करता कि केवल ज्यामितीय विधि ही सामान्य बोर्चर्ड्स डेटा के लिए अनंतता प्रदान करती है, बल्कि यह कि यह महत्वपूर्ण 'नॉन-कॉन्स्टेंसी स्टेप' प्रदान करती है, जो ज्ञात अंकगणितीय प्रसार प्रमेयों के साथ मिलकर पूर्ण परिणाम देता है।

इस प्रमाण के अंतर्निहित बीजगणितीय कूटों (algebraic identities) को AxiomProver द्वारा Lean में औपचारिक रूप दिया गया और सत्यापित किया गया, जिससे जटिल कॉम्बिनेटोरियल और मॉड्यूलर फॉर्म गणनाओं की शुद्धता सुनिश्चित हुई।

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