The sum-product conjecture is false for real numbers

तकनीकी सारांश: वास्तविक संख्याओं के लिए 'सम-प्रोडक्ट अनुमान' (Sum-Product Conjecture) असत्य है

समस्या विवरण
यह शोध पत्र अर्दोस-ज़ेमेरेडी सम-प्रोडक्ट अनुमान (Erdős–Szemerédi sum-product conjecture) को संबोधित करता है, जो यह प्रस्ताव करता है कि किसी रिंग (विशेष रूप से $\mathbb{Z}, \mathbb{R},$ या $\mathbb{C}$) में किसी भी परिमित सेट $A$ के लिए, योग समुच्चय (sum set) $A+A = \{a+b : a,b \in A\}$ या गुणन समुच्चय (product set) $AA = \{ab : a,b \in A\}$ में से कम से कम एक का आकार लगभग अधिकतम तक बढ़ना चाहिए। औपचारिक रूप से, अनुमान यह कहता है:
$$\max(|A+A|, |AA|) \ge |A|^{2-o(1)}$$
जहाँ $o(1)$ पद $|A| \to \infty$ होने पर शून्य हो जाता है। हालांकि $\mathbb{R}$ के उपसमुच्चयों के लिए अब तक ज्ञात सर्वोत्तम निचली सीमाएँ $|A|^{4/3+c}$ के रूप में हैं, यह अनुमान अभी भी खुला (unsolved) है। लेखक यह जांचते हैं कि क्या यह अनुमान वास्तविक संख्याओं पर सत्य है।

कार्यप्रणाली (Methodology)
लेखक बीजगणितीय संख्या सिद्धांत (algebraic number theory) का उपयोग करते हुए, विशेष रूप से उच्च घात वाले 'टोटली रियल नंबर फील्ड्स' (totally real number fields) का लाभ उठाते हुए, स्पष्ट प्रति-उदाहरण (counterexamples) निर्मित करते हैं। मुख्य रणनीति बालोग-वूली (Balog–Wooley) उदाहरण का एक उच्च-आयामी सामान्यीकरण है, जिसमें मानक ज्यामितीय प्रगति (geometric progression) और अंकगणितीय प्रगति (arithmetic progression) के स्थान पर संख्या क्षेत्र $K$ के पूर्णांकों $\mathcal{O}_K$ के संरचित उपसमुच्चयों को रखा गया है।

निर्माण दो अलग-अलग जालक संरचनाओं (lattice structures) पर आधारित है जो $\mathcal{O}_K$ के भीतर स्थित हैं:

1. योगात्मक जालक (The Additive Lattice): एक "बॉक्स" $P$ जहाँ सभी वास्तविक एम्बेडिंग्स $\sigma_i(p)$ एक छोटे अंतराल $[X-cX, X+cX]$ में स्थित होते हैं। यह सुनिश्चित करता है कि योगात्मक संरचना एक छोटे क्षेत्र तक सीमित रहे।
2. गुणात्मक जालक (The Multiplicative Lattice): इकाइयों (units) $u \in \mathcal{O}_K^\times$ का एक सेट $G$ जहाँ उनके एम्बेडिंग्स के लघुगणक $|\log|\sigma_i(u)||$ एक स्थिरांक $Y$ द्वारा सीमित हैं। यह कम उत्पाद वृद्धि (छोटा 'डबलिंग') वाला एक सेट बनाता है।

प्रति-उदाहरण सेट को उत्पाद $A = GP = \{up : u \in G, p \in P\}$ के रूप में परिभाषित किया गया है। लेखक यह सुनिश्चित करते हैं कि यह उत्पाद प्रत्यक्ष (direct) हो (अर्थात, $|A| = |G||P|$), जिसके लिए वे मापदंडों का चयन इस प्रकार करते हैं कि $P$ के किन्हीं दो तत्वों का अनुपात एक गैर-तुच्छ इकाई (non-trivial unit) नहीं हो सकता, जो शिनज़ेल (Schinzel) के परिणामों द्वारा गारंटीकृत है।

उपयुक्त संख्या क्षेत्रों की उपस्थिति मार्टिनेट (Martinet) द्वारा निर्मित 'टोटली रियल फील्ड्स के टावर्स' द्वारा सुनिश्चित की जाती है जिनका बंधित मूल डिस्क्रिमिनेन्ट ($\Delta_K \le C^d$) और नियंत्रित रेगुलेटर ($R_K \le \Delta_K$) होता है। ये सीमाएँ सुनिश्चित करती हैं कि जालक आयतन (और इस प्रकार $P$ और $G$ का आकार) घात $d$ के साथ चरघातांकीय (exponentially) रूप से बढ़ता है, जिससे $A$ के मनमाने रूप से बड़े सेटों का निर्माण संभव होता है।

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

1. वास्तविक संख्याओं ($\mathbb{R}$) पर सम-प्रोडक्ट अनुमान का खंडन:
   प्राथमिक परिणाम (प्रमेय 1.1) यह स्थापित करता है कि एक पूर्ण स्थिरांक $c > 0$ मौजूद है जिससे $\mathbb{R}$ में मनमाने रूप से बड़े परिमित सेट $A$ मौजूद हैं जो निम्नलिखित स्थिति को संतुष्ट करते हैं:
   $$\max(|A+A|, |AA|) \le |A|^{2-c}$$
   यह सीधे तौर पर अनुमान का खंडन करता है। निर्माण ऐसे सेट प्रदान करता है जहाँ योग समुच्चय छोटा है ($|A+A| \le |A|^{1+\epsilon}$) और गुणन समुच्चय में पावर-सेविंग (power-saving) प्रदर्शित होती है ($|AA| \le |A|^{2-c\epsilon}$)।

2. "कई योग और उत्पाद" (Many Sums and Products) अनुमान का खंडन:
   लेखक अर्दोस द्वारा प्रस्तावित अधिक सुदृढ़ अनुमान के खंडन के लिए अपने निर्माण का विस्तार करते हैं। किसी भी निश्चित $k \ge 3$ के लिए, वे मनमाने रूप से बड़े $A \subset \mathbb{R}$ का निर्माण करते हैं जिससे:
   $$\max(|kA|, |A^{(k)}|) \le |A|^{C \frac{\log k}{\log \log k}}$$
   यह निर्भरता $k$ पर, $|A| \to \infty$ होने पर निश्चित $k$ के लिए संभवतः इष्टतम (optimal) है।

3. गुणनात्मक समूहों में रैखिक समीकरणों के लिए नए निचली सीमाएँ:
   निर्माण $\Gamma$ में तत्वों $x_1 + \dots + x_k = 1$ के समाधानों की संख्या के लिए नए निचली सीमाएँ प्रदान करता है।

• $\mathbb{R}^\times$ के रैंक $d$ वाले उपसमूहों के लिए, गैर-अपभ्रष्ट (non-degenerate) समाधानों की संख्या कम से कम $\exp((C^{-1}k \log k)d)$ दिखाई गई है, जो एवरटसे-श्लिकवे-श्मिट (Evertse–Schlickewei–Schmidt) ऊपरी सीमा में रैंक $d$ पर घातीय निर्भरता कि सर्वोत्तम संभव है, यह प्रदर्शित करती है।
• संख्या क्षेत्रों में यूनिट समीकरण के लिए, लेखक दिखाते हैं कि पर्याप्त बड़े $k$ के लिए, ऐसे क्षेत्र मौजूद हैं जिनमें $C^d$ समाधान हैं, जो $k \ge 3$ के लिए उप-चरघातांकीय (sub-exponential) वृद्धि के अनुमानों को गलत सिद्ध करता है।

4. अन्य परिवेशों में रूपांतरण:
   इस कार्यप्रणाली को अन्य परिवेशों में प्रति-उदाहरण बनाने के लिए अनुकूलित किया गया है:

• $p$-एडिक संख्याएँ ($\mathbb{Q}_p$): उन क्षेत्रों का उपयोग करके जहाँ $p$ पूरी तरह से विभाजित (splits completely) होता है।
• परिमित क्षेत्र ($\mathbb{F}_p$): बीजगणितीय पूर्णांक निर्माण को $p$ के मॉड्यूल (modulo) में घटाकर, जो कम सम-प्रोडक्ट वृद्धि वाले आकार के $p^c < |A| < p^{1/2}$ के सेट प्रदान करता है।
• फलन क्षेत्र ($\mathbb{F}_q((t))$): धनात्मक अभिलक्षण (positive characteristic) में प्रति-उदाहरण बनाने के लिए कई परिमेय बिंदुओं वाले बीजगणितीय वक्रों (Drinfeld–Vlăduț–Zink sequences) के लाइन बंडल्स का उपयोग करना।

महत्व और दावे
यह शोध पत्र वास्तविक संख्याओं के लिए सम-प्रोडक्ट अनुमान को निर्णायक रूप से गलत सिद्ध करने का दावा करता है, जो दशकों से एडिटिव कॉम्बिनेटरिक्स (additive combinatorics) में एक केंद्रीय समस्या रही है। लेखक इस बात पर जोर देते हैं कि जबकि यह अनुमान उच्च-कोटि के संख्या क्षेत्रों (जैसे $\mathbb{Z}$) में सत्य हो सकता है, यह $\mathbb{R}$ के सामान्य परिवेश में विफल हो जाता है क्योंकि यहाँ उच्च-कोटि की बीजगणितीय संरचनाओं की उपलब्धता है।

लेखक नोट करते हैं कि उनका प्रमाण विशिष्ट अंकगणितीय गुणों (बंधित डिस्क्रिमिनेन्ट और रेगुलेटर) वाले संख्या क्षेत्रों के अस्तित्व पर निर्भर करता है, जिनका निर्माण करना गैर-तुच्छ है लेकिन बीजगणितीय संख्या सिद्धांत में स्थापित है। वे स्पष्ट रूप से कहते हैं कि अंतिम प्रमाण, मुख्य विचारों सहित, लगभग पूरी तरह से मानव-निर्मित था, हालांकि उन्होंने प्रारंभिक चरणों में एक "साउंडिंग बोर्ड" के रूप में और एक विशिष्ट प्राथमिक लेम्मा (Lemma 3.4) के लिए AI का उपयोग किया था जिसने एक अधिक जटिल परिणाम को सरल बनाया।

यह कार्य सम-प्रोडक्ट घटनाओं की सीमाओं के लिए नई मात्रात्मक अंतर्दृष्टि भी प्रदान करता है, यह दिखाते हुए कि गुणन समुच्चयों में "पावर सेविंग" को छोटे योग समुच्चयों के साथ समान रूप से प्राप्त किया जा सकता है, बशर्ते कि अंतर्निहित बीजगणितीय संरचना पर्याप्त समृद्ध (उच्च घात) हो। शोध पत्र निष्कर्ष निकालता है कि यह $c$ के स्पष्ट, हालांकि छोटे, मान (जैसे, $c \ge 0.00000087$) प्रदान करता है और दर्शाता है कि इसी तरह की घटनाएँ $p$-एडिक्स और फलन क्षेत्रों सहित विभिन्न बीजगणितीय परिवेशों में भी होती हैं।