Small complete 3-term progression free sets in cyclic groups and vector spaces

तकनीकी सारांश: चक्रीय समूहों और सदिश स्थानों में लघु पूर्ण 3-पद प्रगति मुक्त समुच्चय (Small Complete 3-Term Progression Free Sets in Cyclic Groups and Vector Spaces)

समस्या विवरण
यह शोध पत्र बीजगणितीय संरचनाओं, विशेष रूप से चक्रीय समूहों ($\mathbb{Z}_m$) और परिमित सदिश स्थानों ($\mathbb{F}_p^n$) में एक पूर्ण 3-पद अंकगणितीय प्रगति (3-AP) मुक्त समुच्चय के न्यूनतम आकार को निर्धारित करने की समस्या को संबोधित करता है। जबकि 3-AP-मुक्त समुच्चयों का अधिकतम आकार एक केंद्रीय विषय है (जैसे, रोथ का प्रमेय, क्रूट-लेव-पैक, एलेनबर्ग-गिज्विएट), एक पूर्ण समुच्चय (एक ऐसा समुच्चय जिसे 3-AP बनाने के बिना बढ़ाया नहीं जा सकता) का न्यूनतम आकार इसके निम्न-स्तरीय अनुरूप को दर्शाता है। एक सरल गणना तर्क यह स्थापित करता है कि इस न्यूनतम आकार का क्रम (order of magnitude) संरचना के कार्डिनैलिटी (cardinality) के वर्गमूल से कम से कम अधिक होता है। लेखक यह जांचते हैं कि क्या चक्रीय समूहों में $O(\sqrt{|G|})$ और सदिश स्थानों में $p^{n/2}$ के आकार वाले ऐसे समुच्चय अस्तित्व में हैं, जो एक खुला प्रश्न है।

कार्यप्रणाली
लेखक स्पष्ट कॉम्बिनेटरियल निर्माण (explicit combinatorial constructions), मॉड्यूलर रिडक्शन तकनीकों और परिमित क्षेत्रों पर बीजगणितीय ज्यामिति (algebraic geometry) के संयोजन का उपयोग करते हैं।

1. चक्रीय समूह ($\mathbb{Z}_m$):

   • सुदृढ़ गुण (Stronger Property): लेखक पूर्ण (2, -1)-अवरोधक (avoiding) समुच्चयों पर ध्यान केंद्रित करते हैं। एक समुच्चय $A$ (2, -1)-अवरोधक है यदि $A \cap (2A \dot{-} A) = \emptyset$ (जहाँ $2A \dot{-} A = \{2a - b : a, b \in A, a \neq b\}$)। यह पूर्ण होने के लिए यह शर्त है कि $G = A \cup (2A \dot{-} A)$ हो। यह गुण पूर्ण 3-AP-मुक्त होने की तुलना में अधिक सुदृढ़ है, क्योंकि यह प्रत्येक बाहरी बिंदु को प्रगति के एक अंत बिंदु (endpoint) के रूप में होने के लिए मजबूर करता है, न कि इसे एक मध्य बिंदु (midpoint) बनने की अनुमति देता है।
   • R-पूर्ण समुच्चय (R-Complete Sets): निर्माण "R-पूर्ण" समुच्चयों पर आधारित है—जो $[0, R]$ के पूर्णांक उपसमुच्चय हैं जो आंतरिक रूप से (2, -1)-अवरोधक हैं और अंतराल $[-R, 2R]$ को संतृप्त (saturate) करते हैं।
   • बाइनरी डिजिट निर्माण: एक सामान्यीकृत बाइनरी डिजिट निर्माण (लेम्मा 3.3) का उपयोग करके, लेखक $2^n$ आकार के समुच्चय $P$ उत्पन्न करते हैं जो $S_n$-पूर्ण हैं। अंक अनुक्रम $d_i$ को सावधानीपूर्वक चुनकर, वे सुनिश्चित करते हैं कि परिणामी समुच्चय मॉड्यूली $m$ की एक विस्तृत श्रृंखला को कवर करे।
   • मॉड्यूलर रिडक्शन: लेम्मा 3.2 यह प्रदर्शित करता है कि $\mathbb{Z}$ में एक $R$-पूर्ण समुच्चय $\mathbb{Z}_m$ में एक पूर्ण (2, -1)-अवरोधक समुच्चय में उतरता है, जब $2R < m \leq 3R + 1$ हो।
   • परिमित सत्यापन: उन छोटे मॉड्यूली ($m < 81$) के लिए जहाँ सामान्य निर्माण लागू नहीं होता या जहाँ पूर्ण (2, -1)-अवरोधक समुच्चय मौजूद हो सकते हैं, लेखक सटीक न्यूनतम आकार निर्धारित करने के लिए एक विस्तृत गणना (exhaustive enumeration) करते हैं।

2. सदिश स्थान ($\mathbb{F}_p^n$):

   • द्विघातीय ग्राफ (Quadratic Graphs): मुख्य निर्माण समरूप द्विघातीय मानचित्रों (homogeneous quadratic maps) $Q: U \to W$ के ग्राफ का उपयोग करता है। विशेष रूप से, वे $A_Q = \{(u, Q(u)) : u \in U\}$ के रूप में समुच्चयों का निर्माण करते हैं।
   • एंडपॉइंट-मिडपॉइंट पूर्णता: लेखक "एंडपॉइंट-मिडपॉइंट पूर्ण" समुच्चयों को परिभाषित करते हैं, जहाँ प्रत्येक बाहरी बिंदु को $A$ में तत्वों द्वारा निर्मित प्रगति के एक अंत बिंदु ($x = 2a - b$) और एक मध्य बिंदु ($2x = c + d$) दोनों के रूप में दर्शाया जा सकता है। यह गुण उत्पाद निर्माण (product construction) के लिए अत्यंत महत्वपूर्ण है।
   • उपक्षेत्र निर्माण (Subfield Construction): वे एक विस्तार क्षेत्र $E = \mathbb{F}_{p^{kL}}$ और एक उपक्षेत्र $T = \mathbb{F}_{p^k}$ पर एक द्विघातीय मानचित्र $Q(x, s) = x^2 - \delta s^2$ का निर्माण करते हैं, जहाँ $\delta$ एक गैर-वर्ग (non-square) है। कैरेक्टर सम (character sums) और वेइल बाउंड (Weil bound) का उपयोग करते हुए, वे सिद्ध करते हैं कि यह मानचित्र सर्वव्यापी (surjective) है और इसका ट्रिवियल कर्नेल (trivial kernel) है, जिससे एक विशिष्ट आयाम $n_0 = k(2L+1)$ में पूर्ण (2, -1)-अवरोधक समुच्चय प्राप्त होता है।
   • प्रोडक्ट लेम्मा (Product Lemma): सभी आयामों $n$ तक परिणाम का विस्तार करने के लिए, वे एक उत्पाद लेम्मा (लेम्मा 4.2) का उपयोग करते हैं। यदि $A$ एक उप-स्थान में एंडपॉइंट-मिडपॉइंट पूर्ण है, और $B$ शेष निर्देशांकों में पूर्ण 3-AP-मुक्त है, तो उनका उत्पाद $A \times B$ पूर्ण स्थान में पूर्ण 3-AP-मुक्त है। यह उन्हें किसी भी $n$ को कवर करने के लिए छोटे समुच्चयों के साथ "पैडिंग" करने की अनुमति देता है।

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

1. चक्रीय समूह:

   • प्रमेय 1.2: प्रत्येक पूर्णांक $m \geq 1$ के लिए, एक पूर्ण 3-AP-मुक्त समुच्चय $A \subseteq \mathbb{Z}_m$ अस्तित्व में है जिसका आकार $|A| < 2\sqrt{m}$ है।
   • बड़े $m$ के लिए सुदृढ़ परिणाम: $m \geq 81$ के लिए, निर्मित समुच्चय सुदृढ़ पूर्ण (2, -1)-अवरोधक गुण को संतुष्ट करता है।
   • लघु मॉड्यूली: शोध पत्र $m \leq 80$ के लिए $a(3\text{-AP}, \mathbb{Z}_m)$ और $a(2, -1)(\mathbb{Z}_m)$ के सटीक मानों के लिए एक तालिका प्रदान करता है, जिसमें यह उल्लेख किया गया है कि कुछ छोटे मॉड्यूली (जैसे, $m \in \{2, 5, 6, 8, 17, 18, 19, 20\}$) के लिए पूर्ण (2, -1)-अवरोधक समुच्चय मौजूद नहीं हैं।

2. सदिश स्थान:

   • प्रमेय 1.3: प्रत्येक निश्चित विषम अभाज्य $p$ और $\epsilon > 0$ के लिए, एक स्थिरांक $C_{p,\epsilon}$ मौजूद है ताकि सभी $n \geq 1$ के लिए:
     $$a(3\text{-AP}, \mathbb{F}_p^n) \leq C_{p,\epsilon} n^{1+\epsilon} p^{n/2} = p^{n/2 + o(n)}$$
   • यह परिणाम एक्सपोनेंट (exponent) संस्करण को हल करता है, जहाँ $p$ का एक्सपोनेंट ठीक $n/2$ है, जो उप-घातांकीय कारक (sub-exponential factor) तक निचली सीमा (lower bound) से मेल खाता है।

महत्व और दावे
यह शोध पत्र पूर्ण प्रगति-मुक्त समुच्चयों के लिए वर्ग-मूल निचली सीमा की सटीकता के संबंध में दो खुले प्रश्नों को हल करने का दावा करता है:

• चक्रीय समूह: यह स्थापित करता है कि निचली सीमा सभी चक्रीय समूहों के लिए एक पूर्ण स्थिरांक (विशेष रूप से 2) तक सटीक है, और $m \geq 81$ के लिए सुदृढ़ (2, -1)-अवरोधक गुण के लिए स्पष्ट निर्माण प्रदान करता है।
• सदिश स्थान: यह निश्चित विषम अभाज्य क्षेत्रों के लिए एक्सपोनेंट संस्करण को हल करता है, यह दिखाते हुए कि न्यूनतम आकार $p^{n/2 + o(n)}$ है। यह पुष्टि करता है कि साधारण गणना तर्क घातांकीय वृद्धि दर के संदर्भ में आवश्यक रूप से सटीक है।

लेखक नोट करते हैं कि हालांकि चक्रीय समूह परिणाम के लिए स्थिरांक कारक ($2$) उनके पिछले कार्य में सुझाए गए$3/2$ लक्ष्य से ऊपर है, फिर भी निर्माण जानबूझकर सुदृढ़ (2, -1)-अवरोधक गुण तक सीमित है। वे सुझाव देते हैं कि मानक 3-AP-पूर्णता (बाहरी बिंदुओं को मध्य बिंदु के रूप में अनुमति देना) की अतिरिक्त स्वतंत्रता का लाभ उठाकर छोटे निर्माण प्राप्त किए जा सकते हैं। इसी प्रकार, सदिश स्थानों के लिए, प्रत्येक आयाम में पूर्ण (2, -1)-अवरोधक समुच्चयों के अस्तित्व और एक समान पूर्ण स्थिरांक के अस्तित्व का प्रश्न अभी भी खुला है। यह कार्य एडिटिव कॉम्बिनेटरिक्स की समस्याओं को परिमित ज्यामिति, विशेष रूप से पूर्ण कैप्स (complete caps) और संतृप्त समुच्चयों (saturating sets) से जोड़ता है।