Points below a parabola in affine planes of prime order

तकनीकी सारांश: अफ़ाइन प्लेन (Affine Planes) के अंतर्गत परवलय (Parabola) के नीचे स्थित बिंदु

समस्या विवरण
यह शोध पत्र एक अफ़ाइन प्लेन $AG(2, p)$में, जहाँ$p$ एक अभाज्य संख्या (prime number) है, एक परवलय के नीचे स्थित बिंदुओं के समूह की ज्यामितीय और संयोजन संबंधी (combinatorial) विशेषताओं की जांच करता है। विशेष रूप से, लेखक सेट $S = \{(x, y) \in \mathbb{F}_p^2 \mid y < f(x)\}$ का विश्लेषण करते हैं, जहाँ $f(x) = \alpha x^2 + \beta x + \gamma$ एक द्विघात बहुपद (quadratic polynomial) है और $\alpha \neq 0$ है।

इस अध्ययन की प्रेरणा किस (Kiss) और सोमलाई (Somlai) [KS24] के हालिया कार्य से मिली है, जिन्होंने विकर्ण रेखा ($y < x$) के नीचे स्थित बिंदुओं के सेट का परीक्षण किया था। उन्होंने प्रदर्शित किया कि यह सेट ठीक तीन "विशेष" दिशाएँ (ऐसी दिशाएँ जहाँ रेखाएँ सेट के साथ समान वितरण (equidistributed) में प्रतिच्छेद नहीं करती हैं) निर्धारित करता है और इस सेट में एक अद्वितीय गैर-तुच्छ स्व-रूपान्तरण (non-trivial automorphism) होता है। इस शोध पत्र के लेखक यह निर्धारित करना चाहते हैं कि क्या परवलयिक सेट्स (parabolic sets) के लिए भी इसी तरह की घटनाएँ घटित होती हैं, बावजूद इसके कि परवलय सामान्यतः रेखाओं की तुलना में कम सममिति (symmetry) रखते हैं।

कार्यप्रणाली (Methodology)
लेखक परिमित ज्यामिति (finite geometry), संख्या सिद्धांत (number theory) और संयोजन संबंधी विश्लेषण का संयोजन उपयोग करते हैं:

1. क्रम और प्रक्षेपण (Ordering and Projection): $\mathbb{F}_p$ के तत्वों और $[0, p-1]$ के पूर्णांकों के बीच मानक पत्राचार का उपयोग करते हुए, लेखक क्षेत्र (field) पर एक क्रम (ordering) को परिभाषित करते हैं। वे एक प्रक्षेपण फलन (projection function) $pr_{S,d}$ पेश करते हैं, जो एक दिशा $d$ को $S$ के उन बिंदुओं की संख्या में मैप करता है जो ढाल (slope) $d$ वाली रेखाओं द्वारा प्रतिच्छेदित होते हैं।
2. द्विघाती लक्षण विश्लेषण (Quadratic Character Analysis): विश्लेषण का मुख्य आधार $\mathbb{F}_p$ पर द्विघाती लक्षण $\chi$ है। लेखक अंतराल (intervals) पर लक्षण योगों (character sums) को सीमित करने के लिए पॉल्या-विनोग्राडोव असमानता (परिणाम 2.1) और इन योगों के निचले स्तर के संबंध में सार्कोज़ी (Sárközy) और सोकोलोव्स्की (Sokolovskiĭ) के परिणामों (परिणाम 2.2) का उपयोग करते हैं।
3. बीजीय रूपांतरण (Algebraic Transformation): वितरण संख्याओं के प्रक्षेपण का विश्लेषण करने के लिए, लेखक $S$ के परिभाषित असमिका (inequality) में चरों पर रैखिक रूपांतरण लागू करते हैं। यह उन्हें विभिन्न दिशाओं के प्रक्षेपण फलनों को एक-दूसरे से संबंधित करने की अनुमति देता है।
4. सममिति समूह विश्लेषण (Symmetry Group Analysis): लेखक $PGL(3, p)$के भीतर सेट$S$ के स्टेबलाइज़र (stabilizer) की जांच करने के लिए, अनंत (infinity) के विशिष्ट बिंदुओं को उनके द्वारा गुजरने वाली रेखाओं के प्रतिच्छेदन गणनाओं के वितरण के आधार पर अलग करते हैं।

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

• प्रक्षेप फलनों की चक्रीय सममिति (Theorem 3.1):
  प्राथमिक संरचनात्मक परिणाम यह है कि किसी भी गैर-शून्य दिशा $d \in \mathbb{F}_p^*$ के लिए, प्रक्षेपण फलन $pr_{S,d}$, प्रक्षेपण फलन $pr_{S,1}$ का एक चक्रीय शिफ्ट (cyclic shift) है। विशेष रूप से, किसी भी गैर-लंबवत (non-vertical), गैर-क्षैतिज (non-horizontal) दिशा के लिए प्रक्षेपण फलन द्वारा लिए गए मान डोमेन में एक शिफ्ट के साथ समान होते हैं। इसका तात्पर्य यह है कि सेट $S$ सभी दिशाओं से "एक जैसा" दिखता है, सिवाय लंबवत ($\infty$) और क्षैतिज ($0$) दिशाओं के।
  इसके अतिरिक्त, इन प्रक्षेपण फलनों का प्रतिबिंब (image) पूर्णांकों के एक अंतराल का निर्माण करता जिसकी लंबाई $\frac{\sqrt{p}}{2\pi}$ और $\sqrt{p} \ln(p)$ के बीच सीमित है।

• सेट का आकार (Theorem 3.3):
  लेखक $S$ की कार्डिनैलिटी (cardinality) पर कड़े बंधन स्थापित करते हैं। वे सिद्ध करते हैं कि $|S|$ हमेशा $p$ का एक गुणक होता है। इसके अलावा, $S$ का आकार $\binom{p}{2}$ के करीब है, जहाँ विचलन $c_p p \sqrt{p} \ln(p)$ द्वारा सीमित है, जहाँ स्थिरांक $c_p$, $p \pmod 4$ और $p \pmod 8$ पर निर्भर करता है। विशिष्ट मामले में जहाँ $p \equiv 1 \pmod 4$ और $\gamma = 0$ है, आकार ठीक $\binom{p}{2}$ होता है।

• सममिति की कठोरता (Theorem 3.5):
  इस अंतर्ज्ञान के विपरीत कि ऐसी समान प्रक्षेपण व्यवहार उच्च सममिति का संकेत दे सकती है, लेखक सिद्ध करते हैं कि पर्याप्त बड़े $p$ ($p \geq 97$) के लिए, सेट $S$ में $PGL(3, p)$ में एक अद्वितीय गैर-तुच्छ स्व-रूपान्तरण (unique non-trivial automorphism) होता है। यह स्व-रूपान्तरण ऊर्ध्वाधर अक्ष के परितः परावर्तन है: $(X, Y, Z) \mapsto (-X, Y, Z)$।
  प्रमाण यह दर्शाता है कि दिशाएँ $(0)$ और $(\infty)$ को उनसे गुजरने वाली रेखाओं के विभिन्न प्रतिच्छेदन गणनाओं के आधार पर अन्य सभी दिशाओं से विशिष्ट रूप से पहचाना जा सकता है। यह कठोरता अन्य दिशाओं से दिखने वाली "समानता" के विपरीत है।

• समरूपता वर्गों का वर्गीकरण (Remark 3.7):
  लेखक इस प्रकार के सेट्स के गैर-समरूप (non-isomorphic) सेट्स की संख्या को वर्गीकृत करते हैं। अफ़ाइन रूपांतरणों और सेट्स के पूरक (complement) पर विचार करते हुए, वे निर्धारित करते हैं कि परवलय के नीचे या उस पर स्थित बिंदुओं से बने सेट्स (जिसमें $\leq, >, \geq$ के बदलाव शामिल हैं) के ठीक $3p+1$ युग्म-गैर-समरूप सेट मौजूद हैं।

महत्व
यह शोध पत्र परिमित ज्यामिति में एक प्रति-सहज (counter-intuitive) घटना को उजागर करता है: बिंदुओं का एक सेट अपने प्रक्षेपण फलनों में उच्च स्तर की "एकरूपता" प्रदर्शित कर सकता है (लगभग सभी दिशाओं से समान दिखना) जबकि इसमें बहुत सीमित ज्यामितीय सममिति (केवल एक गैर-तुच्छ स्व-रूपान्तरण) होती है।

यह कार्य रैखिक सीमाओं से परवलयिक सीमाओं तक [KS24] के परिणामों का विस्तार करता है। यह प्रदर्शित करता है कि कम विशेष दिशाओं और चक्रीय रूप से शिफ्ट किए गए प्रक्षेपण फलनों का गुण केवल रैखिक असमानताओं द्वारा परिभाषित सेट्स तक ही सीमित नहीं है। ये परिणाम द्विघाती अवशेषों (quadratic residues) और लक्षण योगों (character sums) के वितरण पर अत्यधिक निर्भर हैं, जो बिंदु सेट के ज्यामितीय गुणों को अंतर्निहित परिमित क्षेत्र (finite field) के अंकगणितीय गुणों से सीधे जोड़ते हैं।

लेखक उल्लेख करते हैं कि ये निष्कर्ष [KS24] के परिणामों को सामान्य करने के व्यापक प्रयास का हिस्सा हैं, जिसमें एक अनुवर्ती पेपर [ASW24] परिमित प्रोजेक्टिव प्लेन के घटनाओं मैट्रिक्स (incidence matrices) द्वारा उत्पन्न कोड के साथ संबंधों की खोज करता है।