Adjacent comparison bounds and extremal sets for Ruzsa numbers

तकनीकी सारांश: आसन्न तुलना सीमाएँ और रुसा संख्याओं (Ruzsa Numbers) के लिए चरम समुच्चय

समस्या की परिभाषा
मान लीजिए कि $m$ एक धनात्मक पूर्णांक है और $\mathbb{Z}_m$ मोड्यूलो $m$ के अवशेष वर्ग वलय (residue class ring) है। $\mathbb{Z}_m$ के एक उपसमुच्चय $A \subset \mathbb{Z}_m$ के लिए, $\sigma_A(n)$ उन क्रमित युग्मों $(a, a') \in A^2$ की संख्या को दर्शाता है ताकि $a + a' \equiv n \pmod m$ हो। रुसा संख्या $R_m$ को न्यूनतम पूर्णांक $r$ के रूप में परिभाषित किया गया है ऐसा कि एक उपसमुच्चय $A \subset \mathbb{Z}_m$ मौजूद हो जो सभी $n \in \mathbb{Z}_m$ के लिए $1 \le \sigma_A(n) \le r$ को संतुष्ट करता हो। यह अवधारणा एडिक-टुरान अनुमान (Erdős-Turán conjecture) से प्रेरित है जो योगात्मक आधारों (additive bases) पर आधारित है। पिछले कार्यों ने स्थापित किया कि $R_m$ एक पूर्ण स्थिरांक द्वारा सीमित है, जिसमें ऊपरी सीमाओं को $C$ (रुसा) से $768$(तांग और चेन),$5120$(तांग और चेन), और अंततः$288$(चेन) तक सुधारा गया। हाल ही में, डिंग और झाओ (2024) ने ऊपरी सीमा को सुधारकर$R_m \le 192$कर दिया और यह अनुमान लगाया कि सभी$m$के लिए$|R_{m+1} - R_m| \le 1$ है।

कार्यप्रणाली
लेखक संयोजन संबंधी तुलना लेम्मा (combinatorial comparison lemmas), प्रतिनिधित्व फलनों (representation functions) से संबंधित विश्लेषणात्मक असमानताओं, और व्यापक गणनात्मक सत्यापन का उपयोग करते हैं।

1. तुलना लेम्मा (Comparison Lemmas): शोधपत्र एक नया तुलना लेम्मा (लेम्मा 3.2) प्रस्तुत करता है जो यह स्थापित करता है कि $R_m \le 4R_{m+1}$ और $R_{m+1} \le 4R_m$ है। यह $\mathbb{Z}_m$ में मौजूद आधारों से $\mathbb{Z}_{m+1}$ में आधारों का निर्माण करके (और इसके विपरीत) सेट ट्रांसलेशन (set translations) और यूनियन (unions) का उपयोग करके प्राप्त किया जाता है, फिर नए सेटों के प्रतिनिधित्व गणनाओं को सीमित किया जाता है।
2. विश्लेषणात्मक सीमाएँ (Analytic Bounds): चरम सेट $A$ (जहाँ $1 \le \sigma_A(n) \le R_m$) के आकार का अनुमान लगाने के लिए, लेखक लेव-सारकोज़ी असमानता (लेम्मा 2.1) का उपयोग करते हैं। $c$ के सापेक्ष $\sigma_A(n)$ के माध्य-वर्ग विचलन (mean-square deviation) का विश्लेषण करके, वे कार्डिनैलिटी $|A|$ को $m$ और $R_m$ से संबंधित द्विघातीय असमानताओं को व्युत्पन्न करते हैं।
3. गणनात्मक सत्यापन (Computational Verification): लेखक $m \le 100$ तक के सटीक मानों को निर्धारित करने के लिए प्रमाण-आधारित खोज (certificate-based search) करते हैं।
   • $m \le 45$ के लिए, वे दावा की गई $R_m$ से कम प्रतिनिधित्व सीमाओं वाले सेटों के अस्तित्व को सिद्ध करके सटीकता को सत्यापित करते हैं।
   • $m > 45$ के लिए, वे निचली सीमा प्रमाण ($R_m \ge 6$) पर भरोसा करते हैं और $\max \sigma_A(n) \le 6$ को संतुष्ट करने वाले सेटों की खोज करते हैं।
   • खोज में सेट ट्रांसलेशन, तत्व प्रतिस्थापन (element replacement), और प्रतिनिधित्व दोषों (representation defects) को कम करने के लिए बजट किए गए प्रयासों वाला एक ह्यूरिस्टिक अनुकूलन प्रक्रिया शामिल है।

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

• आसन्न तुलना सीमा (Adjacent Comparison Bound) (प्रमेय 1.1): लेखक सिद्ध करते हैं कि किसी भी धनात्मक पूर्णांक $m$ के लिए, $|R_{m+1} - R_m| \le 144$ है। यह नए तुलना लेम्मा और ज्ञात ऊपरी सीमा $R_m \le 192$ का उपयोग करके $186$(जो$192 - 6$ से प्राप्त हुआ था) की निरर्थक सीमा में सुधार करता है।
• सटीक मान और प्रति-उदाहरण (Exact Values and Counterexamples): शोधपत्र $2 \le m \le 100$ के लिए सभी $m$ के लिए $R_m$ के सटीक मानों की एक तालिका प्रदान करता है।
  • गणना से पता चलता है कि $R_{37} = 4$ और $R_{39} = 5$ है।
  • विशेष रूप से, $R_{36} = 6$ और $R_{37} = 4$ है, जो $m=36$ के लिए मूल डिंग-झाओ अनुमान ($|R_{m+1} - R_m| \le 1$) के लिए एक प्रति-उदाहरण के रूप में कार्य करता है।
  • लेखक एक संशोधित अनुमान प्रस्तावित करते हैं: सभी पर्याप्त बड़े $m$ के लिए $|R_{m+1} - R_m| \le 1$ सत्य है।
  • वे आगे यह अनुमान लगाते हैं कि सभी $m \ge 40$ के लिए $R_m = 6$ है (अनुमान 2.3)।
• चरम सेट आकार पर सीमाएँ (Bounds on Extremal Set Size) (प्रमेय 1.2): पर्याप्त बड़े $m$ और एक सेट $A$ के लिए जो रुसा संख्या प्राप्त करता है, लेखक $|A|^2$ के लिए गैर-तुच्छ सीमाएँ व्युत्पन्न करते हैं। मान लीजिए $s = \lfloor R_m/2 \rfloor$ है। आकार इस प्रकार संतुष्ट होता है:
  $$\left( s + \frac{1}{2} - \sqrt{\left(s+\frac{1}{2}\right)^2 - 4s - \epsilon} \right)m \le |A|^2 \le \left( s + \frac{1}{2} + \sqrt{\left(s+\frac{1}{2}\right)^2 - 4s + \epsilon} \right)m$$
  इसके परिणाम स्वरूप, यदि $R_m = 6$ है, तो $|A| \le \sqrt{191m}$।
• संरचनात्मक गुण (Structural Properties): शोधपत्र $A_m$ (वे उपसमुच्चय जो $R_m$ प्राप्त करते हैं) के गुणों की जांच करता है।
  • पैरिटी (Parity): प्रपोजिशन 5.5 यह प्रदान करता है कि जब $m$ सम हो, तो $A$ में सम तत्वों का अनुपात क्या होगा। यदि $R_m = 6$ है, तो सम तत्वों का अनुपात $1/2$ के $\approx 0.14$ के भीतर सीमित है।
  • अंकगणितीय प्रगति (Arithmetic Progressions): शोधपत्र $L_m$ को किसी भी $A \in A_m$ में निहित अंकगणितीय प्रगति की अधिकतम लंबाई के रूप में परिभाषित करता है। यह नोट किया गया है कि $L_m \le R_m$ है।
  • $A_m$ की कार्डिनैलिटी (Cardinality of $A_m$): प्रपोजिशन 5.6 ऐसे सेटों की संख्या, $|A_m|$, के लिए विषम (asymptotic) सीमाएं स्थापित करता है, जो दिखाता है कि $\frac{1}{2}\log m - C \le \log |A_m| \le \sqrt{191m} \log(\dots)$।

महत्व
यह शोधपत्र रुसा संख्याओं के व्यवहार की समझ को परिष्कृत करता है, विशेष रूप से आसन्न मोडुलस परिवर्तनों के तहत $R_m$ की स्थिरता को संबोधित करता है। छोटे $m$ के लिए सख्त $|R_{m+1} - R_m| \le 1$ अनुमान को गलत सिद्ध करके, जबकि इसके लिए पर्याप्त बड़े $m$ के लिए इसकी वैधता के लिए मजबूत साक्ष्य प्रदान करके, लेखक बीजगणितीय संरचना (मोडुलस गुण) और संयोजन संबंधी यादृच्छिकता (combinatorial randomness) के बीच परस्पर क्रिया को स्पष्ट करते हैं। $m \le 100$ के लिए सटीक मान प्रदान करना पिछले तालिकाओं का विस्तार करता है, और चरम सेटों के आकार के लिए व्युत्पन्न सीमाएँ चक्रीय समूहों (cyclic groups) में योगात्मक आधारों पर भविष्य के अनुसंधान के लिए नए प्रतिबंध प्रदान करती हैं। यह कार्य प्रतिनिधित्व मूल्यों के वितरण, चरम सेटों की संरचना, और ऐसे सेटों की संख्या के विकास के संबंध में कई खुले प्रश्न भी प्रस्तुत करता है।