A further investigation on covering systems with odd moduli

तकनीकी सारांश: विषम मापांकों (Odd Moduli) के साथ कवरिंग सिस्टम पर एक विस्तृत जांच

समस्या विवरण
यह शोध पत्र "विषम कवरिंग समस्या" (odd covering problem) को संबोधित करता है, जो पॉल अर्दोश द्वारा 1950 में पेश की गई संख्या सिद्धांत की एक केंद्रीय खुली समस्या है। एक विषम कवरिंग सिस्टम को सर्वांगसमताओं (congruences) के एक परिमित संग्रह के रूप में परिभाषित किया गया है जहाँ प्रत्येक पूर्णांक कम से कम एक सर्वांगसमता को संतुष्ट करता है, और सभी मापांक (moduli) 1 से बड़े भिन्न विषम पूर्णांक हैं। ऐसे सिस्टम का अस्तित्व अभी तक सिद्ध नहीं हुआ है।

हालिया शोध विशिष्ट विषम पूर्णांक $k$ को एक मापांक के रूप में कितनी बार दोहराया जा सकता है, इस पर केंद्रित है, जबकि अन्य सभी मापांक 1 से बड़े भिन्न विषम पूर्णांक बने रहते हैं। मान लीजिए कि $t_k$ वह लघुतम गैर-ऋणात्मक पूर्णांक है जिससे एक ऐसा कवरिंग सिस्टम मौजूद है जहाँ $k$ को $t_k$ सर्वांगसमताओं में एक मापांक के रूप में दोहराया जाता है, और अन्य सभी मापांक भिन्न विषम पूर्णांक $>1$ हैं। यदि कोई विषम कवरिंग सिस्टम मौजूद है, तो सभी विषम $k$ के लिए $t_k \le 1$ होगा। हैरिंगटन, सन और वोंग के पिछले कार्यों ने $p$ (एक अभाज्य संख्या) के लिए $t_p$ की ऊपरी सीमाओं को स्थापित किया (जैसे, $11 \le p \le 19$ के लिए $t_p \le p-4$)।

कार्यप्रणाली
लेखक $t_k$ के मौजूदा बंधों (bounds) में सुधार करने के लिए रचनात्मक संयोजनवाद (constructive combinatorics) और मॉड्यूलर अंकगणित के संयोजन का उपयोग करते हैं।

1. पुनरावर्ती निर्माण (Recursive Construction - प्रमेय 2.2): यह शोध पत्र मौजूदा सिस्टम के आधार पर दोहराए गए मापांकों वाले कवरिंग सिस्टम उत्पन्न करने की एक विधि प्रस्तुत करता है। यदि एक ऐसा सिस्टम मौजूद है जहाँ मापांक $k$ को $t$ बार दोहराया गया है, तो लेखक यह प्रदर्शित करते हैं कि कैसे एक ऐसा सिस्टम बनाया जा सकता है जहाँ मापांक $km$को अधिकतम$m(t-1)+1$बार (या$(m-1)(t-1)+1$बार यदि$\gcd(k,m)=1$) दोहराया जाता है। यह अभाज्य संख्याओं से भाज्य संख्याओं तक बंधों के विस्तार की अनुमति देता है।
2. ट्री डायग्राम नोटेशन (Tree Diagram Notation): जटिल कवरिंग सिस्टमों को प्रस्तुत करने के लिए, लेखक हैरिंगटन, सन और वोंग द्वारा स्थापित ट्री डायग्राम नोटेशन का उपयोग और परिशोधन करते हैं। यह नोटेशन मापांकों को आधार सेट के उपसमुच्चयों के गुणनफल के रूप में व्यवस्थित रूप से सूचीबद्ध करता है, जो कवरेज सुनिश्चित करने के लिए एक विशिष्ट क्रम में व्यवस्थित होते हैं।
3. प्रत्यक्ष निर्माण (Direct Construction): विशिष्ट भाज्य संख्याओं ($9, 15, 21, 25$) और बड़े अभाज्य संख्याओं ($p \ge 17$) के लिए, लेखक ट्री डायग्राम का उपयोग करके कवरिंग सिस्टम के स्पष्ट निर्माण प्रदान करते हैं। ये निर्माण आवश्यक सर्वांगसमताओं को उत्पन्न करने के लिए विशिष्ट अभाज्य संख्याओं$q$(जहाँ$q$ पर्याप्त रूप से बड़ा है) के चयन पर निर्भर करते हैं।
4. उपसमुच्चय कवरिंग अनुप्रयोग (Subset Covering Application): शोध पत्र विशिष्ट अवशेषों (residues) के साथ दोहराए गए मापांकों का उपयोग करके पूर्णांकों के विशिष्ट उपसमुच्चयों के लिए विषम कवरिंग प्राप्त करने के लिए दोहराए गए मापांकों की अवधारणा को लागू करता है। एक विशिष्ट अवशेषों के साथ दोहराए गए मापांक $k$ वाले कवरिंग सिस्टम का निर्माण करके, लेखक दिखाते हैं कि इन अवशेषों के पूरक को भिन्न विषम मापांकों द्वारा कवर किया जा सकता है।

प्रमुख योगदान और परिणाम
मुख्य योगदान विभिन्न विषम पूर्णांकों $k$ के लिए ज्ञात ऊपरी सीमाओं ($t_k$) में सुधार करना है। परिणामों का सारांश इस प्रकार है:

• भाज्य संख्याएँ (Composite Numbers):
  • $t_9 \le 3$ (प्रमेय 2.5)
  • $t_{15} \le 4$ (प्रमेय 2.6)
  • $t_{21} \le 5$ (प्रमेय 2.7)
  • $t_{25} \le 8$ (प्रमेय 2.8)
  • $k=p^2$ के लिए जहाँ $11 \le p \le 13$, $t_k \le p(p-5)$ (अनुप्रमेय 2.3)।
  • $k=p^2$ के लिए जहाँ $p \ge 17$, $t_k \le p(p-6)$ (प्रमेय 2.2 और 2.4)।
• बड़े अभाज्य (Large Primes):
  • किसी भी अभाज्य $p \ge 17$ के लिए, $t_p \le p-5$ (प्रमेय 2.4)। यह इस सीमा के लिए पिछले $p-4$ के बंध में सुधार करता है।
  • महत्वपूर्ण रूप से, $p \ge 17$ के लिए निर्माणों में $p^2$ को मापांक के रूप में उपयोग नहीं किया गया है, जिससे प्रमेय 2.2 का पुनरावर्ती अनुप्रयोग संभव होता है।

पूर्णांक उपसमुच्चयों पर अनुप्रयोग
इन परिणामों का एक महत्वपूर्ण अनुप्रयोग यह प्रदर्शन है कि पूर्णांकों के कई विशिष्ट उपसमुच्चयों का संघ (union) एक विषम कवरिंग रखता है। $t_9 \le 3$ के लिए कवरिंग सिस्टम (विशेष रूप से अवशेष $0, 3, 6 \pmod 9$) का उपयोग करके, लेखक सिद्ध करते हैं कि पूर्णांकों का कोई भी उपसमुच्चय जिसमें सेट $S = \{a \in \mathbb{Z} : \text{यदि } 3|a \text{ तो } 9|a\}$ के बाहर केवल परिमित संख्या में पद हैं, उसका विषम कवरिंग है।

परिणामस्वरूप, यह शोध पत्र स्थापित करता है कि निम्नलिखित सेटों (और उनके संघों) के पास विषम कवरिंग है:

• दो वर्गों का योग (Sums of two squares)
• दो घनों का योग (Sums of two cubes)
• शक्तिशाली संख्याएँ (Powerful numbers)
• अभाज्य और अभाज्य की घातें (Primes and powers of primes)
• विस्थापन की संख्या (Numbers of derangements)
• फर्माट संख्याएँ (Fermat numbers)
• पूर्ण संख्याएँ (Perfect numbers)

महत्व और सीमाएँ
शोध पत्र "दोहराए गए मापांक" वाली विषम कवरिंग समस्या के बंधों को कड़ा करने में अपनी महत्ता का दावा करता है, जो उस दहलीज के करीब ले जाता है जहाँ सभी $k$ के लिए $t_k=1$ होता है। $t_9 \le 3$ के लिए स्पष्ट निर्माण विशेष रूप से उल्लेखनीय हैं क्योंकि वे डेरेंजमेंट्स (derangements) और घनों के योग जैसी जटिल संयोजी अनुक्रमों को कवर करने में सक्षम बनाते हैं।

लेखक विषम कवरिंग समस्या के अंतिम समाधान के संबंध में विनम्र दृष्टिकोण रखते हैं। वे नोट करते हैं कि हालांकि उनके परिणाम कई उपसमुच्चयों को कवर करते हैं, फिर भी वे अभी तक संपूर्ण पूर्णांकों के सेट के लिए विषम कवरिंग सिस्टम के अस्तित्व को सिद्ध नहीं करते हैं। इसके अलावा, वे खुले दिशा-निर्देशों को रेखांकित करते हैं, जैसे कि क्या $t_9$ को 2 तक कम किया जा सकता है (जो बेल संख्याओं को कवर करेगा) या क्या अन्य विशिष्ट अवशेष विन्यास (जैसे तीन घनों का योग) के लिए कवरिंग सिस्टम मौजूद हैं। यह कार्य विषम मापांकों वाले कवरिंग सिस्टम के संरचनात्मक बाधाओं को समझने की दिशा में एक कदम के रूप में प्रस्तुत किया गया है।