🔢 mathematics

On a question of Gowers related to Littlewood's conjecture

यह शोध पत्र एक स्पष्ट निर्माण प्रदान करता है जो यह प्रदर्शित करके गौवर्स के 2009 के प्रश्न का उत्तर देता है कि यूनिट क्यूब (unit cube) में बड़े हाइपरबोलिक दूरियों वाले पर्याप्त बिंदु मौजूद हैं, जिससे यह सिद्ध होता है कि उनका लिटिलवुड के अनुमान (Littlewood's conjecture) को सिद्ध करने का प्रस्तावित दृष्टिकोण और अधिक परिष्करणों के बिना अपर्याप्त है।

मूल लेखक: Frederik Broucke, Máté Matolcsi, Szilárd Gy. Révész

प्रकाशित 2026-07-31

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC0 1.0

मूल लेखक: Frederik Broucke, Máté Matolcsi, Szilárd Gy. Révész

मूल पेपर CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/) के तहत सार्वजनिक डोमेन को समर्पित है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

एक विशाल, अदृश्य ग्रिड की कल्पना करें जो हर दिशा में फैला हुआ है, जैसे किसी विशाल, अनंत गोदाम का फर्श। इस गोदाम में, हम संख्याओं के साथ "लुका-छिपी" का खेल खेल रहे हैं। इस खेल का नाम 'डिओफैंटाइन एप्रोक्सिमेशन' (Diophantine approximation) है, और यह इस बारे में है कि हम साधारण भिन्नों (fractions) का उपयोग करके जटिल, अपरिमेय संख्याओं (जैसे कि वर्गमूल 2 या पाई) के कितने करीब पहुँच सकते हैं। लक्ष्य ऐसे भिन्न ढूँढना है जो इन कठिन संख्याओं के बेहद करीब पहुँच जाएँ, लेकिन कभी उन पर वास्तव में लैंड न करें।

द दशकों से, गणितज्ञ एक विशिष्ट पहेली से जुनूनी रहे हैं जिसे 'लिटिलवुड्स कंजैक्चर' (Littlewood's Conjecture) कहा जाता है। इसे एक नियम के रूप में सोचें कि दो अलग-अलग संख्याएँ एक ही समय में "पूर्ण" (whole) होने के कितने करीब आ सकती हैं जब आप उन्हें एक गिनती वाली संख्या से गुणा करते हैं। नियम यह सुझाव देता है कि आप जो भी दो संख्याएँ चुनें, यदि आप उन्हें 1, 2, 3 और इसी तरह की संख्याओं से गुणा करते रहते हैं, तो हमेशा एक ऐसा क्षण होगा जब वे दोनों एक ही समय में एक पूर्ण संख्या के अत्यंत करीब होंगी। यह बिल्कुल वैसा ही है जैसे दो घूमते हुए पहियों को देखने जैसा, जिनमें से एक का पैटर्न अजीब है और दूसरे का पैटर्न अलग है, यह देखने के लिए कि क्या वे एक ही समय में एक "शून्य" मार्क पर लैंड करते हैं। नियम कहता है कि ऐसा होगा, लेकिन अभी तक कोई भी हर जोड़ी संख्याओं के लिए इसे सिद्ध नहीं कर पाया है।

2009 में, एक प्रसिद्ध गणितज्ञ टिमोथी गौवर्स (Timothy Gowers) के पास एक चतुर विचार आया। उन्होंने सोचा, "क्या होगा यदि मैं इस नियम को यह दिखाकर सिद्ध कर सकूँ कि आप एक विशिष्ट आकार में बहुत अधिक बिंदुओं को पैक नहीं कर सकते बिना उन्हें एक-दूसरे के बहुत करीब लाए?" उन्होंने एक 3D घन (cube) की कल्पना की और पूछा कि क्या हम एक निश्चित संख्या में बिंदुओं को उसके अंदर बिखेर सकते हैं ताकि कि किसी भी दो बिंदुओं के बीच की "दूरी" हमेशा बड़ी रहे। लेकिन यहाँ एक मोड़ है: इस खेल में "दूरी" को एक रूलर से नहीं मापा जाता है। इसके बजाय, इसे तीनों आयामों में बिंदुओं की स्थितियों के अंतर को गुणा करके मापा जाता है। यदि आपके पास दो बिंदु हैं, और एक दिशा में उनका अंतर छोटा है लेकिन दूसरी दिशा में बहुत बड़ा है, तो उनका गुणनफल फिर भी बड़ा हो सकता है। गौवर्स ने सोचा कि क्या इस विशेष "हाइपरबोलिक" तरीके से बहुत अधिक बिंदुओं को फिट करने से पहले कोई सीमा है।

यह ब्रौके (Broucke), माटोलसी (Matolcsi) और ग्रेवेज़ (Gy. Révész) के नए शोध पत्र की ओर ले जाता है। उन्होंने तय किया कि वे गौवर्स के प्रश्न को लेंगे और उसका एक समाधान बनाएंगे, लेकिन उस प्रकार का समाधान नहीं जिसकी गौवर्स उम्मीद कर रहे थे। गौवर्स की उम्मीद किए गए तरीके से लिटिलवुड के कंजैचर को सिद्ध करने के बजाय, उन्होंने एक गणितीय "जाल" बनाया जो यह दिखाता है कि वह तरीका वास्तव में विफल हो जाता है।

उन्होंने इसे कैसे किया: उन्होंने बीजगणितीय संख्या सिद्धांत (algebraic number theory) की एक अवधारणा का उपयोग किया, जो संख्याओं के भीतर छिपे एक गुप्त कोड की तरह है। उन्होंने बिंदुओं का एक बहुत ही विशिष्ट, पूरी तरह से व्यवस्थित ग्रिड (जिसे लैटिस कहा जाता है) बनाया, जो एक विशेष प्रकार के संख्या क्षेत्र (number field) का उपयोग करता है। कल्पना करें कि यह ग्रिड फर्श पर चुभने वाली अदृश्य, पूरी तरह से संरेखित पिनों का एक सेट है। लेखकों ने सिद्ध किया कि यदि आप इन पिनों के बीच के "हाइपरबोलिक अंतर" को देखते हैं, तो यह शून्य नहीं होता है, जब तक कि पिनें बिल्कुल एक ही स्थान पर न हों। वास्तव में, उन्होंने दिखाया कि आप इन बिंदुओं को इस तरह व्यवस्थित कर सकते हैं कि वे गौवर्स के विशेष दूरी नियम के अनुसार सभी दूर-दूर रहें।

इसका बड़े परिदृश्य के लिए क्या अर्थ है? इसका मतलब है कि गौवर्स का प्रस्तावित दृष्टिकोण, जो लिटिलवुड के कंजैचर को सिद्ध करने के लिए था, एक मृत अंत (dead end) पर पहुँच जाता है। लेखकों ने दिखाया कि आप घन में बहुत बड़ी संख्या में बिंदु पा सकते हैं जो "बड़ी दूरी" की स्थिति को संतुष्ट करते हैं। यह उस चीज़ के ठीक विपरीत है जिसकी आपको आवश्यकता होती यदि आप इस विधि का उपयोग लिटिलवुड के कंजैचर के विरुद्ध एक काउंटर-एग्जांपल (counter-example) को सिद्ध करने के लिए करना चाहते। सरल शब्दों में, उन्होंने एक ऐसी संरचना बनाई जो यह सिद्ध करती है कि गौवर्स द्वारा बिछाया गया "जाल" वास्तव में छेदों से भरा हुआ है।

यह शोध पत्र केवल यह नहीं कहता कि "यह काम नहीं करता"; बल्कि यह इन बिंदुओं को बनाने की एक स्पष्ट विधि भी देता है। उन्होंने मिंकोव्स्की एम्बेडिंग (Minkowski embedding) नामक एक गणितीय उपकरण का उपयोग किया, जो संख्याओं को एक जटिल बीजगणितीय दुनिया से हमारे नियमित 3D (या उच्च-आयामी) स्थान में मैप करता है। उन्होंने दिखाया कि किसी भी आयाम के लिए, आप एक ऐसा ग्रिड बना सकते हैं जहाँ किन्हीं भी दो बिंदुओं के बीच का "अंतर का गुणनफल" हमेशा एक विशिष्ट, बहुत छोटी संख्या से अधिक होता है। यह सिद्ध करता है कि गौवर्स के प्रश्न का उत्तर "हाँ, आप ऐसे बिंदु पा सकते हैं" है, जो दुर्भाग्य से यह दर्शाता है कि इस विशेष मार्ग का उपयोग मूल लिटिलवुड रहस्य को हल करने के लिए नहीं किया जा सकता है।

लेखकों ने अपने निष्कर्षों को फूरियर विश्लेषण (Fourier analysis) की एक क्लासिक समस्या 'डेल्सार्ट समस्या' (Delsarte problem) से भी जोड़ा, जो एक बॉक्स में अधिकतम गैर-अतिव्यापी आकृतियों को पैक करने की कोशिश करने जैसा है। उन्होंने दिखाया कि उनका ग्रिड निर्माण इन आकृतियों को पैक करने के सर्वोत्तम तरीके से संबंधित है, जिससे हमें एक सटीक संख्या मिलती है कि हम कितने बिंदु फिट कर सकते हैं। हालांकि यह लिटिलवुड के कंजैचर को हल नहीं करता है, यह गौवर्स के विशिष्ट प्रश्न को एक निश्चित "हाँ" और एक स्पष्ट गणितीय निर्माण के साथ हल करता है। यह एक ऐसी चाबी खोजने जैसा है जो एक ताले में पूरी तरह फिट बैठती है, लेकिन फिर आपको एहसास होता है कि वह ताला एक ऐसे कमरे का दरवाजा खोलता है जिसे हम पहले से ही खाली जानते थे। गणित ठोस है, निर्माण स्पष्ट है, और निष्कर्ष स्पष्ट है: लिटिलवुड कोड को तोड़ने में मदद करने से पहले इस विशेष रणनीति को एक बड़े पुनर्मूल्यांकन की आवश्यकता है।

तकनीकी सारांश: लिटिलवुड के अनुमान (Littlewood's Conjecture) से संबंधित गौवर्स के एक प्रश्न पर

समस्या विवरण
यह शोध पत्र टिमोथी गौवर्स द्वारा 2009 के एक ब्लॉगपोस्ट में दिए गए डायोफेंटाइन सन्निकटन (Diophantine approximation) में लिटिलवुड के अनुमान के संभावित समाधान के संबंध में पूछे गए प्रश्न को संबोधित करता है। लिटिलवुड का अनुमान यह दावा करता है कि किसी भी वास्तविक संख्याओं $\alpha$ और $\beta$ के लिए, $\liminf_{n\to\infty} n\|n\alpha\|\|n\beta\| = 0$ , जहाँ $\|x\|$ का अर्थ $x$ और निकटतम पूर्णांक के बीच की दूरी है।

गौवर्स ने इस अनुमान को विरोधाभास (contradiction) द्वारा सिद्ध करने के लिए एक रणनीति प्रस्तावित की थी: यदि अनुमान गलत है, तो एक प्रति-उदाहरण $(\alpha, \beta)$ मौजूद होगा जहाँ इकाई घन $[0,1]^3$ में बिंदुओं का सेट $X_n = \{(k/n, k\alpha \pmod 1, k\beta \pmod 1) : 1 \le k \le n\}$ एक विशिष्ट पृथक्करण गुण (separation property) प्रदर्शित करेगा। विशेष रूप से, गौवर्स ने पूछा कि क्या एक धनात्मक स्थिरांक $c > 0$ मौजूद है, ताकि प्रत्येक धनात्मक पूर्णांक $n$ के लिए, $[0,1]^3$ में $n$ बिंदु मिल सकें जहाँ कि भी दो भिन्न बिंदुओं $(x_1, x_2, x_3)$ और $(y_1, y_2, y_3)$ के बीच "हाइपरबोलिक दूरी", जिसे $|(x_1-y_1)(x_2-y_2)(x_3-y_3)|$ के रूप में परिभाषित किया गया है, कम से कम $c/n$ हो।

कार्यप्रणाली (Methodology)
लेखक बीजगणितीय संख्या सिद्धांत (algebraic number theory) पर आधारित एक स्पष्ट निर्माण के माध्यम से गौवर्स के प्रश्न (और किसी भी आयाम $d$ के लिए इसके सामान्यीकरण) का बिना शर्त सकारात्मक उत्तर प्रदान करते हैं।

लैटिस निर्माण (Lattice Construction): विधि का मुख्य भाग $\mathbb{R}^d$ में एक पूर्ण-रैंक लैटिस $\Lambda$ का निर्माण करना है जो हाइपरबोलिक क्षेत्र $H_d = \{x \in \mathbb{R}^d : |x_1 \cdots x_d| < 1\}$ को तुच्छ रूप से प्रतिच्छेद करता है (अर्थात $\Lambda \cap H_d = \{0\}$ )।
बीजगणितीय संख्या सिद्धांत: इसे प्राप्त करने के लिए, लेखक $d$ डिग्री के एक पूर्णतः वास्तविक संख्या क्षेत्र (totally real number field) $K$ के पूर्णांकों के वलय $\mathcal{O}_K$ के मिंकोव्स्की एम्बेडिंग (Minkowski embedding) का उपयोग करते हैं। मान लीजिए $\sigma_1, \dots, \sigma_d$ क्रमशः $K$ के $\mathbb{R}$ में एम्बेडिंग्स हैं। लैटिस को $\Lambda = \{(\sigma_1(\alpha), \dots, \sigma_d(\alpha)) : \alpha \in \mathcal{O}_K\}$ के रूप में परिभाषित किया गया है।
नॉर्म तर्क (Norm Argument): किसी भी गैर-शून्य तत्व $\lambda = (\sigma_1(\alpha), \dots, \sigma_d(\alpha)) \in \Lambda$ के लिए, इसके निर्देशांकों का गुणनफल फील्ड नॉर्म $|N_{K/\mathbb{Q}}(\alpha)|$ का निरपेक्ष मान है। चूंकि $\alpha$ एक बीजगणितीय पूर्णांक है, इसलिए यह नॉर्म एक गैर-शून्य पूर्णांक है, जिसका अर्थ है कि $|N_{K/\mathbb{Q}}(\alpha)| \ge 1$ । फलस्वरूप, कोई भी गैर-शून्य लैटिस बिंदु $H_d$ के भीतर नहीं आता है।
स्केलिंग (Scaling): लैटिस बिंदुओं $\lambda$ को $R^{-1/d}$ के कारक द्वारा स्केल करके और उन्हें बॉक्स $[0, R^{1/d}]^d$ के भीतर सीमित करके, लेखक इकाई घन में बिंदुओं का एक सेट $Y_R$ उत्पन्न करते हैं। स्केलिंग के तहत पृथक्करण गुण सुरक्षित रहता है, जिससे भिन्न बिंदुओं के बीच कम से कम $1/R$ की हाइपरबोलिक दूरी प्राप्त होती है।

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

पृथक बिंदुओं का अस्तित्व: यह शोध पत्र सिद्ध करता है कि किसी भी आयाम $d$ के लिए, एक स्थिरांक $c > 0$ मौजूद है, ताकि पर्याप्त बड़े $n$ के लिए, $[0,1]^d$ में $n$ बिंदु पाए जा सकें जिनका युग्मवार हाइपरबोलिक अंतर कम से कम $c/n$ हो। यह गौवर्स के प्रश्न की पुष्टि सकारात्मक रूप में करता है।
स्पष्ट स्थिरांक: निर्माण से एक साहसी स्थिरांक (asymptotic constant) $c_d = (\min \{\Delta_K : K \text{ एक पूर्णतः वास्तविक संख्या क्षेत्र है जिसकी डिग्री } d \text{ है}\})^{-1/2}$ $c_{d} = (min {Δ_{K} : K एक पूर्णतः वास्तविक संख्या क्षेत्र है जिसकी डिग्री d है})^{- 1/2}$ प्राप्त होता है, जहाँ $\Delta_K$ $Δ_{K}$ क्षेत्र का डिस्क्रिमिनेन्ट (discriminant) है।
- $d=2$ के लिए, $K=\mathbb{Q}(\sqrt{5})$ का उपयोग करते हुए, स्थिरांक $c_2 = 1/\sqrt{5}$ है।
- $d=3$ के लिए, 49 के डिस्क्रिमिनेन्ट वाले क्यूबिक फील्ड का उपयोग करते हुए, $c_3 = 1/7$ है।
डेल्सार्ट समस्या (Delsarte Problem) से संबंध: लेखक समस्या को फूरियर विश्लेषण में डेल्सार्ट समस्या से जोड़ते हैं। वे $N_d(\varepsilon)$ को टॉरस $T^d$ में एक उपसमुच्चय के अधिकतम आकार के रूप में परिभाषित करते हैं जिसमें पृथक्करण बाधाएं हों। वे दिखाते हैं कि $N_d(\varepsilon) \asymp 1/\varepsilon$ और लैटिस निर्माण का उपयोग करके डेल्सार्ट स्थिरांक $D(H_d^\varepsilon)$ और $D'(H_d^\varepsilon)$ के लिए सीमाएँ स्थापित करते हैं।

महत्व और निहितार्थ
इस शोध पत्र का प्राथमिक महत्व गौवर्स द्वारा सुझाए गए लिटिलवुड के अनुमान के विशिष्ट दृष्टिकोण के संबंध में उनके नकारात्मक परिणाम में निहित है। चूंकि लेखकों ने ऐसे बिंदुओं के सेट का निर्माण किया है जो पृथक्करण की स्थिति को संतुष्ट करते हैं (जो लिटिलवुड के अनुमान के एक प्रति-उदाहरण का एक आवश्यक परिणाम होगा), इसलिए ऐसे सेटों का अस्तित्व किसी प्रति-उदाहरण के अस्तित्व को सिद्ध नहीं करता है।

लेखक इस निष्कर्ष पर पहुँचते हैं कि यह सिद्ध करने का दृष्टिकोण कि ऐसे पृथक बिंदु सेट अस्तित्व में नहीं हैं, कि लिटिलवुड का अनुमान सिद्ध हो जाएगा, अमान्य है, क्योंकि ऐसे सेट वास्तव में मौजूद हैं। इसलिए, जब तक रणनीति में और सुधार नहीं किए जाते, यह विशिष्ट जांच लिटिलवुड के अनुमान को सिद्ध करने में सफल नहीं हो सकती है। शोध पत्र एक दिलचस्प संबंध भी नोट करता है: निर्मित सेट, जो पृथक्करण समस्या के "प्रति-उदाहरण" के रूप में कार्य करते हैं, निश्चित पूर्णतः वास्तविक संख्या क्षेत्र विस्तारों से प्राप्त तत्वों से बने हैं, एक ऐसा परिवेश जहाँ लिटिलवुड का अनुमान विशिष्ट जोड़ों के लिए पहले से ही ज्ञात रूप से सत्य है।

इसी तरह के और पेपर