Almost Affine Invariance Over Prime Fields: Green Problem 90

तकनीकी सारांश: अभाज्य क्षेत्रों (Prime Fields) पर लगभग अफ़ाइन अपरिवर्तनीयता (Almost Affine Invariance)

समस्या विवरण
यह शोध पत्र बेन ग्रीन की 100 खुली समस्याओं की सूची से समस्या 90 को संबोधित करता है। यह समस्या एक उपसमुच्चय $A \subset \mathbb{F}_p$ के अस्तित्व से संबंधित है जिसका घनत्व (density) $1/2$ है और जो अफ़ाइन रूपांतरणों $\phi(x) = ax + b$ के एक परिवार के तहत "लगभग अपरिवर्तनीय" (almost invariant) है। विशेष रूप से, एक सेट $A$ $\phi$ के तहत लगभग अपरिवर्तनीय है यदि सममित अंतर (symmetric difference) $|A \triangle \phi(A)| = o(p)$ हो, जबकि $p \to \infty$। मुख्य प्रश्न पैरामीटर $K = K(p)$ के लिए थ्रेशोल्ड रेंज (threshold range) निर्धारित करना है ताकि एक ऐसा सेट $A$ मौजूद हो जो उन सभी अफ़ाइन मानचित्रों के लिए एक साथ लगभग अपरिवर्तनीयता की स्थिति को संतुष्ट करे जहाँ $1 \le |a| \le K$ और $|b| \le K$ है।

कार्यप्रणाली (Methodology)
लेखक $K$ के लिए तीक्ष्ण थ्रेशोल्ड (sharp threshold) निर्धारित करने के लिए दोहरे दृष्टिकोण का उपयोग करते हैं: एक विश्लेषणात्मक ऊपरी सीमा (analytic upper bound) और एक संभाव्य निचली सीमा (probabilistic lower bound)।

1. ऊपरी सीमा (फूरियर विश्लेषण और मूल्यांकन सिद्धांत - Fourier Analysis and Valuation Theory):
   यह सिद्ध करने के लिए कि $K$ बड़ा नहीं हो सकता, लेखक फूरियर विश्लेषणात्मक उपकरणों का उपयोग करते हैं। वे एक फलन $f = 1_A - \alpha$ (जहाँ $\alpha \approx 1/2$) को परिभाषित करते हैं और इसके फूरियर ट्रांसफॉर्म $\hat{f}$ का विश्लेषण करते हैं।

• स्थानांतरण अपरिवर्तनीयता (Translation Invariance): स्थानान्तरणों ($b$) के तहत लगभग अपरिवर्तनीयता की स्थिति यह दर्शाती है कि $f$ का फूरियर द्रव्यमान (Fourier mass) निम्न आवृत्तियों (low frequencies) पर केंद्रित है, विशेष रूप से $|r| \ll p/K$ पर।
• गुणात्मक अपरिवर्तनीयता (Multiplicative Invariance): विवर्तन ($a$) के तहत लगभग अपरिवर्तनीयता का विश्लेषण आवृत्तियों पर एक प्रायिकता माप $\mu$ पर विचार करके किया जाता है, जो $|\hat{f}(r)|^2$ के समानुपाती है। विवर्तन अपरिवर्तनीयता यह दर्शाती है कि $\mu$ मानचित्रों $r \mapsto qr$ (जहाँ $q \le K$ अभाज्य संख्याएँ हैं) के तहत लगभग अपरिवर्तनीय है।
• मूल्यांकन तर्क (Valuation Argument): पूर्णांकों $\{1, \dots, N\}$ (जहाँ $N \approx p/K$) पर एक प्रायिकता माप $\lambda$ पर $\mu$ को प्रतिबंधित करके, लेखक दिखाते हैं कि $\lambda$ के तहत लगभग सभी $n$ के लिए $q$-adic मूल्यांकन $v_q(n)$ को बड़ा होना चाहिए, प्रत्येक अभाज्य $q \le K$ के लिए। यह एक विरोधाभास की ओर ले जाता है जब तक कि $K$ तक के लघुगणक (logarithms) का योग $\sum_{q \le K} \log q = o(\log p)$ छोटा न हो, जिसका अर्थ है $K = o(\log p)$।

2. निचली सीमा (संभाव्य निर्माण और एकाग्रता - Probabilistic Construction and Concentration):
   यह सिद्ध करने के लिए कि $K = o(\log p)$ प्राप्त करने योग्य है, लेखक संभाव्य विधि (probabilistic method) का उपयोग करके एक सेट का निर्माण करते हैं।

• फ़ोलनर अनुक्रम (Følner Sequences): निर्माण का मूल आधार लेम्मा 3.3 पर निर्भर है, जो अफ़ाइन रूपांतरणों के एक छोटे परिवार $S_p$ के लिए बड़े "फ़ोलनर अनुक्रमों" (ऐसे सेट जिनका समूह क्रियाओं के तहत कम सममित अंतर होता है) के अस्तित्व को स्थापित करता है।
• तर्कसंगत मॉडल (Rational Models): लेखक $\mathbb{Q}$ पर लघु अभाज्य संख्याओं के उत्पादों द्वारा पैरामीटराइज्ड, तर्कसंगत अफ़ाइन मानचित्रों के एक परिवार का निर्माण करते हैं, और फिर उन्हें मोड्यूलो $p$ में कम (reduce) करते हैं। यह संभाव्य तर्क के लिए आवश्यक इंजेक्टिविटी (injectivity) और गैर-टकराव (non-collision) गुणों को सुनिश्चित करता है।
• एकाग्रता असमानताएँ (Concentration Inequalities): एक यादृच्छिक सेट $A$ को $x \mapsto -x$ के ऑर्बिट्स (orbits) पर दिए गए यादृच्छिक चिह्नों के बहुमत मत (majority vote) के आधार पर परिभाषित किया जाता है। जबकि $A$ का अपेक्षित आकार और अपेक्षित सममित अंतर अनुकूल होते हैं, लेखक यह दिखाने के लिए बाउंडेड डिफरेंस इनइक्वलिटी (मैकार्डिम की असमानता) का उपयोग करते हैं कि ये मात्राएँ अपने माध्य के आसपास तीव्रता से केंद्रित (concentrate) होती हैं, जो एक विशिष्ट सेट $A$ के अस्तित्व की गारंटी देती है जो शर्तों को सकारात्मक प्रायिकता के साथ संतुष्ट करता है।

मुख्य योगदान और परिणाम
यह शोध पत्र पैरामीटर $K$ के लिए तीक्ष्ण थ्रेशोल्ड स्थापित करता है:

• प्रमेय 1.2: मान लीजिए $p$ एक अभाज्य संख्या है और $K = K(p)$ एक धनात्मक पूर्णांक है।
  • यदि एक सेट $A \subset \mathbb{F}_p$ मौजूद है जिसका घनत्व $1/2 + o(1)$ है और जो सभी $\phi(x) = ax+b$ के लिए लगभग अपरिवर्तनीय है जहाँ $1 \le |a| \le K$ और $|b| \le K$, तो $K = o(\log p)$ है।
  • इसके विपरीत, यदि $K = o(\log p)$ है, तो ऐसा एक सेट $A$ मौजूद है।

यह परिणाम ग्रीन की ओपन प्रॉब्लम 90 को हल करता है, यह पुष्टि करते हुए कि थ्रेशोल्ड वास्तव में $p$ के लॉगरिदमिक (logarithmic) है। यह एबरहार्ड, म्राज़ोविक और ग्रीन के पिछले अप्रकाशित कार्य को परिष्कृत करता है, जिसने सुझाव दिया था कि $K$ धीरे-धीरे बढ़ सकता है (जैसे $(\log p)^c$) लेकिन $p^{1/100}$ जितनी तेजी से नहीं। वर्तमान कार्य इसे $o(\log p)$ तक सीमित करता है।

महत्व
यह शोध पत्र अफ़ाइन रूपांतरणों के तहत सेटों की कठोरता (rigidity) के संबंध में एडिटिव कॉम्बिनेटरिक्स (additive combinatorics) में एक विशिष्ट संरचनात्मक प्रश्न का निर्णायक उत्तर प्रदान करता है। फूरियर विश्लेषण और संभाव्य निर्माणों को जोड़कर, लेखक प्रदर्शित करते हैं कि अफ़ाइन मानचित्रों के एक बड़े परिवार के तहत लगभग अपरिवर्तनीयता की स्थिति को एक साथ संतुष्ट करना, उस परिवार के आकार पर एक सख्त लघुगणकीय सीमा (logarithmic limit) लगाता है। यह कार्य अफ़ाइन समूहों में एमेनेबिलिटी (amenability) तर्कों की उपयोगिता और परिमित क्षेत्रों (finite fields) पर विशिष्ट अपरिवर्तनीय गुणों वाले सेटों के निर्माण के लिए संभाव्य विधियों की प्रभावशीलता को भी रेखांकित करता है।

AI प्रकटीकरण
लेखक नोट करते हैं कि शोध पत्र के विकास में AI (ChatGPT 5.4) का उपयोग किया गया था। विशेष रूप से, समस्या को $q$-adic मूल्यांकनों (लेम्मा 2.4) का उपयोग करके स्वरूपित करने का विचार और अफ़ाइन समूह की एमेनेबिलिटी का प्रारंभिक अनुप्रयोग AI द्वारा सुझाया गया था। हालाँकि, लेखक इस बात पर जोर देते हैं कि AI के प्रारंभिक तर्कों में तार्किक अंतराल (logical gaps) थे, और कठोर प्रमाण तथा अंतिम तीक्ष्ण सीमा मानव परिशोधन और सत्यापन का परिणाम है। लेखक यह भी स्वीकार करते हैं कि एमेनेबिलिटी दृष्टिकोण पहले अप्रकाशित कार्यों और ऑनलाइन मंचों (MathOverflow) में चर्चा किया गया था।