Counterexamples to the Minimum Period Conjecture for Restricted Partition Functions

तकनीकी सारांश: प्रतिबंधित विभाजन फलनों (Restricted Partition Functions) के लिए न्यूनतम आवर्तता अनुमान (Minimum Period Conjecture) के प्रति-उदाहरण

समस्या विवरण
यह शोध पत्र प्रतिबंधित विभाजन फलन $q_a(k)$ के व्यवहार को संबोधित करता है, जो $a_1x_1 + \dots + a_nx_n = k$ समीकरण के गैर-ऋणात्मक पूर्णांक समाधानों की संख्या को गिनता है, जहाँ $a = (a_1, \dots, a_n)$ धनात्मक पूर्णांकों का एक निश्चित अनुक्रम है। यह स्थापित तथ्य है कि $q_a(k)$, $n-1$ घात वाला एक अर्ध-बहुपद (quasi-polynomial) है, जिसे इस प्रकार व्यक्त किया जा सकता है:
$$q_a(k) = \sum_{j=0}^{n-1} c_j(k) k^j$$
जहाँ गुणांक $c_j(k)$ आवर्ती फलन (periodic functions) हैं।

2008 में, बेक, सैम और वुड्स ने इन गुणांक फलनों $c_j(k)$ के न्यूनतम आवर्तता (minimum period) के संबंध में एक अनुमान (conjecture) प्रस्तुत किया था। यदि $b_m$ अनुक्रम $a$ के उन तत्वों की संख्या है जो $m$ से विभाज्य हैं, तो यह अनुमान प्रस्तावित करता है कि $c_j(k)$ की न्यूनतम आवर्तता $p_j$ है:
$$p_j = \text{lcm}\{m \in \mathbb{Z}_{>0} : b_m > j\}$$
लेखक ध्यान देते हैं कि जबकि यह अनुमान एक स्पष्ट विभाज्यता ऊपरी सीमा (divisibility upper bound) प्रदान करता है, इसकी वैधता एक सटीक समानता (exact equality) के रूप में अभी तक कठोरता से सिद्ध या शून्य गुणांकों (vanishing coefficients) के संदर्भ में पूर्णतः अभिलक्षित नहीं की गई थी।

कार्यप्रणाली (Methodology)
लेखक $c_j(k)$ के गुणांक फलनों के लिए एक सटीक सूत्र प्राप्त करने के लिए जटिल विश्लेषण (complex analysis), विशेष रूप से अवशेष कलन (residue calculus), और विविक्त फूरियर विश्लेषण (discrete Fourier analysis) के संयोजन का उपयोग करते हैं।

1. मूल-इकाई सूत्र (Root-of-Unity Formula): जनरेटिंग फंक्शन $R_a(x) = \prod_{i=1}^n (1-x^{a_i})^{-1}$ का विश्लेषण करके, लेखक $c_j(k)$ के लिए एक स्पष्ट अभिव्यक्ति प्राप्त करते हैं जो मूल-इकाइयों (roots of unity) के योग के रूप में है। एक मूल-इकाई $\zeta$ के लिए जिसका गुणक क्रम (multiplicative order) $m$ है, $R_a(x)$ में $\zeta$ पर पोल (pole) की कोटि $s_\zeta$ को देखते हुए, लेखक एक सहायक विश्लेषिक फलन $\Phi_\zeta(t) = t^{s_\zeta} R_a(\zeta e^{-t})$ को परिभाषित करते हैं।
2. गुणांक निष्कर्षण (Coefficient Extraction): वे सिद्ध करते हैं कि:
   $$c_j(k) = \sum_{\zeta \in \mu_N, s_\zeta > j} \gamma_{\zeta, j} \zeta^{-k}$$
   जहाँ $\gamma_{\zeta, j} = \frac{1}{j!} [t^{s_\zeta - 1 - j}] \Phi_\zeta(t)$।
3. आवर्तता निर्धारण (Period Determination): फूरियर विस्तार की अद्वितीयता का उपयोग करते हुए, वे उन मूल-इकाइयों $\zeta$ के आदेशों के लघुत्तम समापवर्त्य (LCM) के रूप में $c_j(k)$ की न्यूनतम आवर्तता स्थापित करते हैं जिनके लिए गुणांक $\gamma_{\zeta, j}$ गैर-शून्य है।
4. प्रति-उदाहरण निर्माण (Counterexample Construction): लेखक पहचानते हैं कि बेक-सैम-वुड्स अनुमान ठीक तब विफल होता है जब $\zeta$ के लिए $s_\zeta > j$ होने पर भी $\gamma_{\zeta, j} = 0$ हो जाता है। वे एक विशिष्ट दो-प्राचल (two-parameter) जनरेटिंग फंक्शन परिवार $R_{u,M}(x) = (1-x^2)^{-4}(1-x)^{-u}(1-x^M)^{-1}$ (जहाँ $M$ विषम है) का निर्माण करते हैं और $u$ तथा $M$ के लिए एक दिया गया दियाफैंते (Diophantine) सिद्धांत व्युत्पन्न करते हैं जिससे मूल $\zeta = -1$ के संगत गुणांक शून्य हो जाता है।
5. अनंत परिवार निर्माण (Infinite Family Generation): शून्य गुणांकों की स्थिति को एक ऋणात्मक पेल समीकरण (negative Pell equation) ($Y^2 - 3X^2 = -26$) में परिवर्तित किया जाता है। पुनरावृत्ति संबंधों (recurrence relations) का उपयोग करके इस समीकरण को हल करके, वे $(u, M)$ के अनंत युग्म उत्पन्न करते हैं जो प्रति-उदाहरण की शर्तों को पूरा करते हैं।

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

• सटीक आवर्तता सूत्र (प्रमेय 1.2): यह शोध पत्र $\Phi_\zeta(t)$ के टेलर विस्तार के गैर-शून्य गुणांकों के संदर्भ में $c_j(k)$ की न्यूनतम आवर्तता के लिए पहला सटीक सूत्र प्रदान करता है। यह सूत्र प्रकट करता है कि आवर्तता केवल पोल की उपस्थिति ($s_\zeta > j$) पर ही नहीं, बल्कि इस पर भी निर्भर करती है कि विशिष्ट टेलर गुणांक शून्य होते हैं या नहीं।
• तीक्ष्ण विभाज्यता सीमाएँ (प्रमेय 1.3): लेखक सिद्ध करते हैं कि $c_j(k)$ की न्यूनतम आवर्तता $per(c_j)$ इस प्रकार संतुष्ट होती है:
  $$\text{lcm}\{m : j+1 \le b_m \le j+2\} \mid per(c_j) \mid \text{lcm}\{m : b_m > j\}$$
  दाहिनी ओर का भाग बेक-सैम-वुड्स द्वारा अनुमानित मान $p_j$ है। शोध पत्र प्रदर्शित करता है कि दोनों सीमाएँ तीक्ष्ण (sharp) हैं, लेकिन वास्तविक आवर्तता उनके बीच में हो सकती है।
• अनुमान का खंडन (प्रमेय nya 1.4): यह शोध पत्र बेक-सैम-वुड्स अनुमान के प्रति-उदाहरणों का एक अनंत परिवार निर्मित करता है। विशेष रूप से, $R_{u,M}(x)$ द्वारा परिभाषित अनुक्रम के लिए, यदि $u$ और $M$ व्युत्पन्न दियाफैंते समीकरण को संतुष्ट करते हैं, तो $c_0(k)$ की न्यूनतम आवर्तता $M$ है, जबकि अनुमान $2M$ की भविष्यवाणी करता है।
  • विशिष्ट उदाहरण: $(u, M) = (2, 13)$ के लिए, भागों का अनुक्रम चार 2's, दो 1's और एक 13 से बना है। अनुमानित आवर्तता $p_0 = \text{lcm}(1, 2, 13) = 26$ है, लेकिन वास्तविक न्यूनतम आवर्तता $13$ है।
• विविधताएँ (Variations): लेखक ऐसे अतिरिक्त प्रति-उदाहरण प्रदान करते हैं जहाँ सभी $a_i > 1$, $a_i$ परस्पर भिन्न हैं, और $\gcd(a)=1$ है, जो विभिन्न बाधाओं के तहत इस घटना की सुदृढ़ता (robustness) को प्रदर्शित करते हैं।

महत्व और दावे
यह शोध पत्र यह दावा करते हुए प्रतिबंधित विभाजन फलनों के लिए न्यूनतम आवर्तता के प्रश्न को हल करता है कि बेक-सैम-वुड्स अनुमान, एक सही ऊपरी सीमा प्रदान करने के बावजूद, समानता के रूप में सार्वभौमिक रूप से सत्य नहीं है। इसका महत्व निम्नलिखित में निहित है:

1. सिद्धांत का परिशोधन: केवल पोल के क्रम पर आधारित अनुमान से विशिष्ट टेलर गुणांकों के शून्य होने के संबंध में एक सटीक अभिलक्षण (characterization) की ओर बढ़ना।
2. रिकॉर्ड सुधारना: विभाजन फलनों और अर्ध-बहुपदों के क्षेत्र में एक लंबे समय से चले आ रहे अनुमान के पहले ज्ञात प्रति-उदाहरण प्रदान करना।
3. पद्धतिगत अंतर्दृष्टि: यह प्रदर्शित करना कि "वेव फंक्शन" दृष्टिकोण (सिल्वेस्टर के कार्य से संबंधित) और अवशेष कलकन दृष्टिकोण समान परिणाम देते हैं, लेकिन बाद वाला $\gamma_{\zeta, j}$ के गुणांकों की स्पष्ट गणना करके आवर्तता निर्धारित करने के लिए अधिक सटीक उपकरण प्रदान करता है।

लेखक विनम्रतापूर्वक निष्कर्ष निकालते हैं कि उनका कार्य प्रस्तावित समानता के स्थान पर एक सटीक सूत्र प्रदान करता है और यह स्थापित करता है कि अनुमानित मान $p_j$ एक तीक्ष्ण सार्वभौमिक ऊपरी सीमा बना रहता है, भले ही यह हमेशा सटीक आवर्तता न हो।