Split primes and the Elekes-Rónyai problem

तकनीकी सारांश: स्प्लिट प्राइम्स और एलीकेस-रोनयाई समस्या

समस्या का विवरण
यह शोध पत्र एलीकेस-रोनयाई (Elekes–Rónyai) समस्या को संबोधित करता है, जो अंकगणितीय संयोजन (arithmetic combinatorics) और घटना ज्यामिति (incidence geometry) का एक केंद्रीय प्रश्न है। यह समस्या परिमित समुच्चयों $A, B \subset \mathbb{R}$ पर द्विसंयोजक बहुपदों (bivariate polynomials) $f \in \mathbb{R}[x, y]$ के विस्तार गुणों की जांच करती है। विशेष रूप से, यह छवि समुच्चय (image set) $f(A, B) = \{f(a, b) : a \in A, b \in B\}$ के न्यूनतम संभव आकार के बारे में पूछती है जब $|A| = |B| = n$ हो।

यह स्थापित किया गया है कि यदि $f$ "विशेष" है—अर्थात यह या तो योगात्मक (additive) है ($f(x, y) = g(u(x) + v(y))$) या गुणात्मक (multiplicative) है ($f(x, y) = g(u(x)v(y))$)—तो छवि का आकार $n$ के रैखिक (linear) हो सकता है (उदाहरण के लिए, $A$ और $B$ को अंकगणितीय या ज्यामितीय प्रगति के रूप में चुनकर)। "गैर-विशेष" (non-special) बहुपदों के लिए, एलीकेस और रोनयाई (2000) ने गुणात्मक रूप से सिद्ध किया कि छवि का आकार सुपरलीनियर ($|f(A, B)|/n \to \infty$) होना चाहिए। एलीकेस द्वारा प्रस्तावित एक प्रमुख अनुमान (conjecture) एक मात्रात्मक सीमा निर्धारित करता है: प्रत्येक गैर-विशेष बहुपद और प्रत्येक $\epsilon > 0$ के लिए, एक स्थिरांक $C_{f, \epsilon}$ मौजूद है, ऐसा कि $|f(A, B)| \ge C_{f, \epsilon} n^{2-\epsilon}$।

कार्यप्रणाली और निर्माण
यह शोध पत्र बीजगणितीय संख्या सिद्धांत (algebraic number theory), जालक ज्यामिति (lattice geometry), और एक "स्थानीय-से-वैश्विक" (local-to-global) सीव सिद्धांत के नवीन अनुप्रयोग के संयोजन का उपयोग करके एलीकेस के अनुमान का एक प्रति-उदाहरण (counterexample) निर्मित करता है।

1. बहुपद: लेखक विशिष्ट गैर-विशेष बहुपद $f(x, y) = x + y + (x - y)^2$ पर ध्यान केंद्रित करते हैं।
2. बीजगणितीय संख्या सिद्धांत इनपुट: निर्माण का आधार पूर्णतः वास्तविक संख्या क्षेत्रों (totally real number fields) $K_i$ का एक टॉवर है जिनके डिग्री $d_i \to \infty$ और सीमित रूट डिस्क्रिमिनेंट (root discriminants) हैं (हाजिर, मैरे और रामकृष्णा के परिणामों पर आधारित)। महत्वपूर्ण रूप से, परिमेय अभाज्य संख्याओं $P$ का एक अनंत सेट मौजूद है जो इस टॉवर के प्रत्येक क्षेत्र में पूर्णतः विभाजित (split completely) होता है।
3. स्थानीय अवशेष प्रतिबंध (Local Residue Restriction): लेखक एक सहायक बहुपद $f_Q(x, y) = Q(x + y) + (x - y)^2$ को परिभाषित करते हैं, जहाँ $Q$, $P$ से प्राप्त भिन्न अभाज्य संख्याओं का एक गुणनफल है। किसी भी अभाज्य आदर्श $\mathfrak{p}$ के लिए जो $Q$ को विभाजित करता है, $Q(x+y)$ वाला पद शून्य हो जाता है, जिससे $f_Q(x, y) \equiv (x-y)^2 \pmod{\mathfrak{p}}$ हो जाता है। फलस्वरूप, $\mathbb{F}_p$ में $f_Q$ की छवि द्विघाती अवशेषों (quadratic residues/squares) के समुच्चय तक सीमित है, जिसका घनत्व लगभग $1/2$ है।
4. लैटिस के माध्यम से वैश्विक निर्माण:
   • लेखक टॉवर से एक डिग्री $d$ वाला क्षेत्र $K$ चुनते हैं और $\mathcal{O}_K$ के रिंग में एक सममित मिंकोव्स्की बॉक्स $B_K(X)$ पर विचार करते हैं।
   • चाइनीज रिमाइंडर थ्योरम (Chinese Remainder Theorem) के माध्यम से, विभाजन अभाज्य संख्याओं द्वारा उत्पन्न $d$ स्वतंत्र अवशेष क्षेत्रों में द्विघाती अवशेषों के लिए प्रतिबंध, $Q$ के प्रत्येक अभाज्य कारक के माध्यम से संचयी रूप से लागू होता है। यह $f_Q$ की छवि को अवशेष वर्गों के एक ऐसे सेट में रहने के लिए मजबूर करता है जिसका घनत्व $\rho^d$ है, जहाँ $\rho < 1$।
   • संख्या-ज्यामिति (geometry-of-numbers) अनुमानों (ब्लिचलेफ्ट का लेम्मा और पैकिंग तर्क) का उपयोग करते हुए, लेखक दिखाते हैं कि मिंकोव्स्की बॉक्स में पूर्णांक बिंदुओं की संख्या घातीय रूप से बढ़ती है (विशेष रूप से $\sim X^d$), जबकि अनुमत अवशेष वर्गों की संख्या $(\rho Q)^d$ के रूप में बढ़ती है।
   • क्योंकि $\rho < 1$, "संगणना बचत" (congruence saving) कारक $\rho^d$, सेट के आकार के विकास पर हावी हो जाता है, जिसके परिणामस्वरूप एक बहुपद छवि का आकार 2 से कम की एक निश्चित घात प्राप्त होता है।

मुख्य परिणाम
यह शोध पत्र निम्नलिखित मुख्य प्रमेय स्थापित करता है:

• प्रमेय 1.1: $\mathbb{R}$ में मनमाने बड़े परिमित समुच्चय $A \subset \mathbb{R}$ और एक पूर्ण स्थिरांक $c > 0$ मौजूद हैं ताकि $f(x, y) = x + y + (x - y)^2$ के लिए:
  $$|f(A, A)| \le |A|^{2-c}$$
  इसके अतिरिक्त, किसी भी निश्चित $\epsilon > 0$ के लिए, सेटों को इस प्रकार चुना जा सकता है कि योगात्मक दोहरीकरण (additive doubling) छोटा हो ($|A+A| \le |A|^{1+\epsilon}$) जबकि छवि सीमा $|f(A, A)| \le |A|^{2-c_\epsilon}$ बनी रहे।

• गैर-विशेष सत्यापन: यह शोध पत्र कठोरता से सिद्ध करता है कि $f(x, y) = x + y + (x - y)^2$ $\mathbb{C}$ पर न तो योगात्मक है और न ही गुणात्मक, जिससे यह पुष्टि होती है कि यह एलीकेस-रोनयाई समस्या के लिए एक वैध उम्मीदवार है।

महत्व और दावे
यह शोध पत्र गैर-विशेष बहुपदों के लिए निकट-द्विघाती निचली सीमा (near-quadratic lower bound) के संबंध में एलीकेस के अनुमान का खंडन करने का दावा करता है। यह प्रदर्शित करके कि एक विशिष्ट गैर-विशेष बहुपद का छवि आकार $O(n^{2-c})$ (जहाँ $c > 0$ एक स्थिरांक है) हो सकता है, लेखक दिखाते हैं कि अनुमानित सीमा $n^{2-\epsilon}$ गलत है।

निर्माण को "संयोजन संबंधी बड़े सीव" (combinatorial large sieve) पद्धति के व्युत्क्रम के रूप में वर्णित किया गया है। जबकि विशिष्ट सीव विधियाँ यह सिद्ध करने के लिए स्थानीय ब्रांचिंग का उपयोग करती हैं कि सीमित बहुलता वाले सेट छोटे होते हैं, यह कार्य स्थानीय ब्रांचिंग (विभाजन अभाज्य) का उपयोग करके मानों को स्थानीय अवशेष वर्गों के एक छोटे संग्रह में जाने के लिए मजबूर करता है, जिससे एक बड़ा सेट बनाया जाता है जिसका छवि छोटा होता है।

शोध पत्र नोट करता है कि निर्माण की घोषणा जून 2026 में एक ब्लॉग पोस्ट में की गई थी और यह एर्डोस यूनिट-डिस्टेंस समस्या और सम-उत्पाद (sum-product) अनुमान में हालिया सफलताओं पर निर्भर करता है, विशेष रूप से उच्च-आयामी सममित मिंकोव्स्की बॉक्स और सीमित रूट-डिस्क्रिमिनेंट टॉवर का उपयोग करता है। यह कार्य इन प्रति-उदाहरणों के लिए एक औपचारिक प्रमाण और विस्तृत संदर्भ प्रदान करता है।