Both $AA$ and $(A+1)(A+1)$ can be small

तकनीकी सारांश: "दोनों AA और (A + 1)(A + 1) छोटे हो सकते हैं"

समस्या विवरण
यह शोध पत्र वास्तविक संख्याओं ($\mathbb{R}$) के उपसमुच्चयों के भीतर योगात्मक (additive) और गुणात्मक (multiplicative) संरचनाओं के बीच परस्पर क्रिया के संबंध में योगात्मक संयोजन विज्ञान (additive combinatorics) के एक केंद्रीय प्रश्न को संबोधित करता है। सम-गुणन सिद्धांत (sum-product theory) का एक मौलिक सिद्धांत यह प्रतिपादित करता है कि योगात्मक विस्थापन (additive shifts), गुणात्मक संरचना को बाधित करते हैं। विशेष रूप से, यह सामान्यतः अपेक्षित है कि एक परिमित सेट $A \subset \mathbb{R}$ के लिए, उत्पाद सेट $AA$या विस्थापित उत्पाद सेट$(A+1)(A+1)$ में से कम से कम एक बड़ा होना चाहिए।

स्टीवंस और वॉरेन द्वारा स्थापित सर्वोत्तम ज्ञात निचली सीमा (lower bound) यह बताती है कि $\max\{|AA|, |(A+1)(A+1)|\} \geq |A|^{1 + \frac{11}{38} - o(1)}$ है। एक लोककथा संबंधी अनुमान (folklore conjecture) ने सुझाव दिया था कि इस असमानता में घातांक (exponent) को 2 के अत्यंत निकट लिया जा सकता है, जिसका अर्थ है कि दोनों सेटों का एक साथ छोटा होना (अर्थात, आकार $O(|A|^{2-\epsilon})$) असंभव है। हालांकि, ब्लूम, सॉविन, शिल्डक्राउट और ज़ेलेज़ोव (BSZ) के हालिया कार्य ने $\mathbb{R}$ पर सामान्य सम-गुणन अनुमान (sum-product conjecture) को गलत सिद्ध करते हुए यह सुझाव दिया कि घातांक 2 सही अवरोध (barrier) नहीं हो सकता है। यह शोध पत्र इस बात की जांच करता है कि क्या $AA$और$(A+1)(A+1)$ के एक साथ छोटे होने के संबंध में विशिष्ट अनुमान सत्य है।

कार्यप्रणाली
लेखक उस निर्माण (construction) को अनुकूलित करते हैं जिसका उपयोग BSZ द्वारा सामान्य सम-गुणन अनुमान को गलत सिद्ध करने के लिए किया गया था। कार्यप्रणाली $\mathbb{Q}$ पर डिग्री $d$ वाले एक पूर्णतः वास्तविक संख्या क्षेत्र (totally real number field) $K$ के भीतर संख्या-सिद्धांत संबंधी वस्तुओं पर निर्भर करती है। निर्माण इस प्रकार आगे बढ़ता है:

1. लैटिस निर्माण (Lattice Construction): मार्टिनेट के एक प्रमेय का उपयोग करते हुए, लेखक एक पूर्णतः वास्तविक संख्या क्षेत्र $K$ का चयन करते हैं जिसका डिस्क्रिमिनेन्ट $\Delta_K$, $C^d$ द्वारा सीमित है। वे बीजगणिक पूर्णांकों (algebraic integers) के वलय $\mathcal{O}_K$ और उनके इकाइयों के समूह $\mathcal{O}_K^*$ पर विचार करते हैं।
2. ज्यामितीय एम्बेडिंग (Geometric Embeddings):
   • योगात्मक संरचना: मिंकोव्स्की एम्बेडिंग $\phi: \mathcal{O}_K \to \mathbb{R}^d$ बीजगणिक पूर्णांकों को एक लैटिस $\Lambda$ में मैप करता है। लेखक $B^+(R)$ नामक बीजगणिक पूर्णांकों का एक सेट परिभाषित करते हैं जिनके एम्बेडिंग्स $2R$ भुजा वाले एक बॉक्स के भीतर स्थित होते हैं। इस सेट का योग-समुच्चय (sumset) छोटा होता है क्योंकि यह एक थोड़े बड़े बॉक्स के भीतर ही रहता है।
   • गुणात्मक संरचना: लॉगरिदमिक एम्बेडिंग $\psi: \mathcal{O}_K^* \to \mathbb{R}^d$ इकाइयों को एक हाइपरप्लेन में स्थित रैंक $d-1$ के लैटिस में मैप करता है। लेखक इकाइयों का एक सेट $B^*(Y)$ परिभाषित करते हैं जिनके लॉगरिदमिक एम्बेडिंग्स $2Y$ भुजा वाले एक बॉक्स के भीतर स्थित होते हैं। इकाइयों के इस सेट का उत्पाद सेट छोटा होता है क्योंकि इकाइयों का गुणन, लॉगरिदमिक लैटिस में योग के अनुरूप होता है।
3. सेट परिभाषा: लक्षित सेट $A$ को उत्पाद सेट $A = GP$के रूप में निर्मित किया जाता है, जहाँ$G = B^*(Y)$(इकाइयाँ) और$P = R + B^+(\epsilon R)$(विस्थापित बीजगणिक पूर्णांक) है।$R$और$Y$के मापदंडों को इस प्रकार चुना जाता है कि$R$, $Y$ के सापेक्ष पर्याप्त रूप से बड़ा हो (विशेष रूप से $e^Y \leq \epsilon R$), ताकि इकाई लैटिस और योगात्मक संरचना के बीच पृथक्करण सुनिश्चित हो सके।
4. आकार विश्लेषण:
   • $A$ का आकार लगभग $|G||P|$ है।
   • $GG$और$PP$का विश्लेषण करके$AA$को सीमित किया जाता है।$GG$ की लघुता (smallness) इकाइयों के लैटिस गुणों से प्राप्त होती है।
   • विस्थापित उत्पाद सेट $(A+1)(A+1)$ का विश्लेषण तत्वों को $g(p+1) = g(p + g^{-1})$ के रूप में पुनः लिखकर किया जाता है। यह लेखकों को सेट $P + G$ का उपयोग करके इसे सीमित करने की अनुमति देता है। $R$ को पर्याप्त रूप से बड़ा चुनकर, यह दिखाया गया है कि $P+G$, $P'$ नामक एक सेट के भीतर समाहित है जिसका आकार $P$ के तुल्य है।

मुख्य योगदान और परिणाम
प्राथमिक परिणाम प्रमेय 1 है, जो एक पूर्णतः स्थिरांक $c > 0$ और $\mathbb{R}$ के अनिश्चित रूप से बड़े परिमित सेट $A$ की उपस्थिति स्थापित करता है कि:
$$\max\{|AA|, |(A+1)(A+1)|\} \ll |A|^{2-c}$$
यह परिणाम प्रदर्शित करता है कि इन दोनों सेटों के अधिकतम के लिए घातांक 2 के अत्यंत निकट नहीं हो सकता है, जिससे उपरोक्त लोककथा संबंधी अनुमान गलत सिद्ध होता है।

यह शोध पत्र प्रमेय 3 के माध्यम से "कई अनुवादों" (Many Translates) तक इस परिणाम का विस्तार करता है। यह दिखाता है कि किसी भी परिमित पूर्णांक सेट $S \subseteq \mathbb{Z}$ के लिए, एक स्थिरांक $c > 0$ (जो $S$ पर निर्भर है) और अनिश्चित रूप से बड़े सेट $A$ मौजूद हैं कि:
$$\max_{\lambda \in S} \{|(A+\lambda)(A+\lambda)|\} \ll |A|^{2-c}$$
इसके अतिरिक्त, लेखक उल्लेख करते हैं कि उनका निर्माण यह भी दर्शाता है कि सेट $A$ निम्नलिखित को भी संतुष्ट करता है: $\max\{|A+A|, |AA|, |(A+1)(A+1)|\} \ll |A|^{2-c}$ और $|A(A+1)| \ll |A|^{2-c}$।

महत्व
यह शोध पत्र यह दावा करके महत्व प्रदान करता है कि यह एक व्यापक रूप से मानी जाने वाली धारणा को चुनौती देता है: कि योगात्मक विस्थापन (additive shifts) अनिवार्य रूप से गुणात्मक संरचना में महत्वपूर्ण विस्तार (expansion) लाते हैं। BSZ निर्माण को अनुकूलित करके, लेखक यह दर्शाते हैं कि ऐसे सेटों का निर्माण करना संभव है जहाँ उत्पाद सेट और विस्थापित उत्पाद सेट दोनों ही स्पष्ट सीमा $|A|^2$ से काफी छोटे हों। यह कार्य उस अंतर्ज्ञान को चुनौती देता है कि वास्तविक संख्याओं पर ऐसे सम-गुणन प्रकार के असमानताओं के लिए घातांक 2 एक प्राकृतिक सीमा है।

लेखक स्पष्ट रूप से कहते हैं कि निर्माण में उसी अंतर्निहित सेट का उपयोग किया गया है जो BSZ पेपर में है, लेकिन विस्थापित उत्पाद सेट $(A+1)(A+1)$ के लिए विशिष्ट अनुप्रयोग इस नोट का नवीन योगदान है। यह कार्य उत्पाद और विस्थापित उत्पाद सेटों के अधिकतम के संबंध में एक विशिष्ट अनुमान को गलत सिद्ध करने के लिए मौजूदा तर्कों का एक संशोधन है।