🔢 mathematics

There are infinitely many Hilbert cubes of dimension 3 in the set of squares

यह शोध पत्र इस प्रश्न का समाधान करता है कि क्या वर्गों के सेट में हिल्बर्ट क्यूब्स (Hilbert cubes) की अधिकतम विमा (dimension) सीमित है, यह सिद्ध करते हुए कि वर्गों के भीतर अनंत 3-आयामी हिल्बर्ट क्यूब्स मौजूद हैं, जिनके परिभाषित पैरामीटर धनात्मक वास्तविक संख्याओं में अनुपातों का एक सघन सेट (dense set) बनाते हैं।

मूल लेखक: Andrew Bremner, Christian Elsholtz, Maciej Ulas

प्रकाशित 2026-04-08

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

CC BY 4.0

मूल लेखक: Andrew Bremner, Christian Elsholtz, Maciej Ulas

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

कल्पना कीजिए कि आपके पास पूर्ण वर्ग संख्याओं (perfect square numbers) से भरी एक विशाल, अनंत शेल्फ है: 1, 4, 9, 16, 25, 36, और इसी तरह। अब, कल्पना कीजिए कि आप इन संख्याओं का उपयोग करके एक विशेष संरचना बनाना चाहते हैं।

इस संरचना को हिल्बर्ट क्यूब (Hilbert Cube) कहा जाता है। इसे लकड़ी के 3D बॉक्स के रूप में नहीं, बल्कि संख्याओं को उत्पन्न करने वाली एक गणितीय "रेसिपी" (विधि) के रूप में सोचें।

रेसिपी की उपमा (The Recipe Analogy)

एक 3D क्यूब (3-आयामी घन) बनाने के लिए, आपको चार सामग्रियों की आवश्यकता होगी: एक शुरुआती संख्या ( $a_0$ ) और तीन "स्टेप" संख्याएँ ( $a_1, a_2, a_3$ )।

नियम सरल है: आप $a_0$ से शुरू करते हैं। फिर, आप $a_1$ के आकार का शून्य या एक कदम, $a_2$ के आकार का शून्य या एक कदम, और $a_3$ के आकार का शून्य या एक कदम ले सकते हैं।

यदि आप इन विकल्पों को मिलाते हैं, तो आपको $2^3 = 8$ अलग-अलग संख्याएँ प्राप्त होंगी।

लक्ष्य: इन 8 में से प्रत्येक परिणामी संख्या एक पूर्ण वर्ग (perfect square) होनी चाहिए।

उदाहरण के लिए, यदि आप सही सामग्रियाँ चुनते हैं, तो आपको $\{100, 2500, 4900, 6400, \dots\}$ जैसा एक सेट मिल सकता है जहाँ प्रत्येक संख्या एक पूर्ण वर्ग है।

बड़ा सवाल

गणितज्ञ लंबे समय तक सोचते रहे: ये क्यूब कितने बड़े हो सकते हैं?

क्या हम एक 4D क्यूब (16 संख्याएँ) पा सकते हैं जहाँ प्रत्येक संख्या एक वर्ग हो?
क्या हम 100D क्यूब पा सकते हैं?
या क्या कोई "छत" (ceiling) है जो हमें इससे ऊपर जाने से रोकती है?

पिछले शोधों ने सुझाव दिया था कि यदि आप $N$ तक के बहुत बड़े नंबर तक देखते हैं, तो क्यूब का आकार बहुत तेज़ी से नहीं बढ़ सकता। लेकिन कोई नहीं जानता था कि क्या कोई पूर्ण सीमा (जैसे "आप कभी भी आयाम 3 से ऊपर नहीं जा सकते") है या क्या आप इन क्यूब्स को हमेशा और बड़ा बनाते रह सकते हैं।

इस शोध पत्र ने क्या खोजा

लेखकों (एंड्रयू ब्रेमनेर, क्रिश्चियन एल्शोल्ट्ज़, और मैसी उलास) ने केवल अनुमान लगाने के बजाय निर्माण करना शुरू किया।

1. उन्होंने सिद्ध किया कि अनंत 3D क्यूब्स मौजूद हैं।
उन्होंने केवल एक या दो नहीं खोजे; उन्होंने एक "फैक्ट्री" (एक गणितीय सूत्र) खोज निकाली जो अनंत 3D क्यूब्स बना सकती है।

उपमा: कल्पना कीजिए कि आपके पास एक जादुई मशीन है। आप उसमें एक संख्या डालते हैं, और वह बाहर एक पूर्ण 3D क्यूब निकाल देती है जो वर्गों से बना है। उन्होंने सिद्ध किया कि इस मशीन का ईंधन कभी खत्म नहीं होता।
गिनती: उन्होंने दिखाया कि यदि आप $N$ तक की सभी वर्गों को देखें, तो आपको लगभग $N^{1/8}$ ऐसे क्यूब मिलेंगे। यह बहुत अधिक है! इसका मतलब है कि वे दुर्लभ विसंगतियाँ नहीं हैं; वे व्यवस्थित रूप से पाए जाने वाले पर्याप्त सामान्य हैं।

2. उन्हें "जुड़वां" (twin) क्यूब मिले।
उन्होंने खोजा कि आप दो अलग-अलग क्यूब रख सकते हैं जो पहली तीन सामग्रियाँ ( $a_0, a_1, a_2$ ) साझा करते हैं, लेकिन उनकी चौथी सामग्री ( $a_3$ ) अलग होती है।

उपमा: यह एक अलग कार होने जैसा है जो एक ही इंजन, चेसिस और पहियों को साझा करती है, लेकिन उसका पेंट अलग है। यह एक आश्चर्यजनक खोज थी जो गणितज्ञों को इन संख्याओं के "आकार" को समझने में मदद करती है।

3. उन्होंने "मैजिक स्क्वायर" संबंध की खोज की।
गणित में एक खुला प्रश्न है कि क्या आप एक "मैजिक स्क्वायर ऑफ स्क्वायर्स" (एक 3x3 ग्रिड जहाँ प्रत्येक पंक्ति, कॉलम और विकर्ण एक वर्ग संख्या है) बना सकते हैं। लेखकों ने दिखाया कि एक विशिष्ट प्रकार का 4D हिल्बर्ट क्यूब खोजना गणितीय रूप से इस मैजिक स्क्वायर पहेली को हल करने के बराबर है। हालांकि उन्होंने मैजिक स्क्वायर को अभी तक हल नहीं किया है, लेकिन वे इसके बहुत करीब पहुँच गए, जहाँ उन्होंने ऐसे "लगभग" समाधान खोजे जहाँ 16 में से 13 संख्याएँ वर्ग थीं।

4. घनत्व का परिणाम (The Density Result)।
उन्होंने सिद्ध किया कि इन क्यूब्स की सामग्रियों के बीच का अनुपात लगभग कुछ भी हो सकता है जिसे आप चाहें।

उपमा: यदि आपके पास इन क्यूब्स का एक बैग है, तो आप एक ऐसा क्यूब चुन सकते हैं जहाँ दूसरी सामग्री पहली के आकार की आधी हो, या यह एक मिलियन गुना बड़ी हो। ये संभावनाएँ "सघन" (dense) हैं, जिसका अर्थ है कि वे बिना किसी अंतराल के संख्याओं के पूरे स्पेक्ट्रम को कवर करती हैं।

मुख्य निष्कर्ष (The Bottom Line)

इस शोध पत्र से पहले, हम जानते थे कि वर्गों के 3D क्यूब मौजूद हैं, लेकिन हमें यह नहीं पता था कि वे कितने हैं या क्या हम उन्हें हमेशा खोजते रह सकते हैं।

लेखकों ने सिद्ध किया:

हाँ, वर्गों के अनंत 3D क्यूब मौजूद हैं।
हम उन्हें विशिष्ट सूत्रों का उपयोग करके उत्पन्न कर सकते हैं।
हमने अभी तक 4D क्यूब (16 संख्याएँ) नहीं खोजा है, और यह असंभव भी हो सकता है, लेकिन अब हम इसे खोजने या इसके अस्तित्व को सिद्ध करने के लिए बहुत बेहतर तरीके से सुसज्जित हैं।

संक्षेप में, उन्होंने एक रहस्यमय, दुर्लभ गणितीय जिज्ञासा को संख्याओं के एक अच्छी तरह से समझे गए, प्रचुर परिवार में बदल दिया है, जबकि 4D क्यूब की अंतिम चुनौती के लिए द्वार खुला रखा है।

यहाँ एंड्रयू ब्रेमर, क्रिश्चियन एल्शोल्ट्स और मैसिएज उलास के शोध पत्र "There are infinitely many Hilbert cubes of dimension 3 in the set of the squares" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र पूर्ण वर्गों (perfect squares) के समुच्चय $S = \{n^2 : n \in \mathbb{N}\}$ के भीतर हिल्बर्ट क्यूब्स (Hilbert cubes) की उपस्थिति और घनत्व की जांच करता है।

परिभाषा: आयाम $d$ वाला एक हिल्बर्ट क्यूब पूर्णांकों का एक समुच्चय है जिसे इस प्रकार परिभाषित किया जाता है:
$H(a_0; a_1, \dots, a_d) = a_0 + \{0, a_1\} + \dots + \{0, a_d\} = \left\{ a_0 + \sum_{i=1}^d \epsilon_i a_i : \epsilon_i \in \{0, 1\} \right\}$
इस समुच्चय में $2^d$ तत्व होते हैं (कुछ तत्व समान हो सकते हैं यदि $a_i$ भिन्न न हों)।
मुख्य प्रश्न: क्या वर्ग (squares) के समुच्चय के भीतर पूरी तरह से समाहित उच्च आयाम वाले हिल्बर्ट क्यूब्स का अस्तित्व है?
- यह ज्ञात है कि $S$ में अनंत हिल्बर्ट क्यूब्स मौजूद नहीं हैं।
- ब्राउन, एर्डोस और फ्रीडमैन ने पूछा था कि क्या अधिकतम आयाम $d$ पूर्णतः सीमित (absolutely bounded) है।
- पिछले कार्य (डाइटमैन और एल्शोल्ट्स) ने स्थापित किया कि यदि कोई क्यूब $S \cap [0, N]$ में समाहित है, तो $d \le O(\log \log N)$ होगा।
- बोम्बिएरी-लैंग अनुमान (Bombieri-Lang conjecture) यह संकेत देता है कि $d$ पूर्णतः सीमित है (संभवतः $d \le 3$ या $4$)।
विशिष्ट फोकस: लेखक आयाम $d=3$ पर ध्यान केंद्रित करते हैं। जबकि $d=3$ क्यूब्स के उदाहरण ज्ञात थे, यह स्पष्ट नहीं था कि क्या ऐसे अनंत हिल्बर्ट क्यूब्स हैं, और न ही उनके संख्यात्मक निम्नतम मान (quantitative lower bound) के बारे में जानकारी थी। शोध पत्र $d=4$ क्यूब्स के अस्तित्व (जिन्हें खोजने में विफल रहे) और क्यूब तत्वों के अनुपातों के घनत्व को भी संबोधित करता है।

2. कार्यप्रणाली (Methodology)

लेखक कम्प्यूटेशनल नंबर थ्योरी (computational number theory), बीजगणितीय ज्यामिति (algebraic geometry) (विशेष रूप से एलिप्टिक कर्व्स का सिद्धांत), और पैरामीट्रिक निर्माण (parametric constructions) के संयोजन का उपयोग करते हैं।

A. कम्प्यूटेशनल खोज और एल्गोरिदम

एल्गोरिदम 1: उन्होंने $a_0, a_1 \le N$ $a_{0}, a_{1} \leq N$ वाले हिल्बर्ट क्यूब $H(a_0; a_1, a_2, a_3) \subset S$ $H (a_{0}; a_{1}, a_{2}, a_{3}) \subset S$ को खोजने के लिए एक कुशल एल्गोरिदम विकसित किया।
- एल्गोरिदम वर्ग $a_0 = p^2$ और $a_0+a_1 = q^2$ के माध्यम से पुनरावृत्ति (iterate) करता है।
- यह यह जाँचने के लिए कि क्या विशिष्ट द्विघात रूप (quadratic forms) वर्ग हैं, $a_2$ और $a_3$ को हल करने के लिए $a_1$ की विभाजक संरचना (divisor structure) का उपयोग करता है।
- जटिलता (Complexity): एल्गोरिदम $O_\epsilon(N^{1+\epsilon})$ समय में चलता है।
डेटा जनरेशन: उन्होंने $\max(a_i) \le 2^{18}$ वाले सभी न्यूनीकरणकृत (reduced) आयाम-3 हिल्बर्ट क्यूब्स की गणना की, जिसमें 4644 ऐसे क्यूब मिले। इनमें से कोई भी आयाम 4 तक विस्तारित नहीं हो सका।

B. एलिप्टिक कर्व्स के माध्यम से पैरामीट्रिक निर्माण

अनंत क्यूब्स के अस्तित्व को सिद्ध करने के लिए, लेखक विविक्त खोज (discrete search) से निरंतर पैरामीट्रिकरण (continuous parameterization) की ओर बढ़े:

समीकरणों का निकाय: उन्होंने इस शर्त को तैयार किया कि क्यूब के सभी $2^3=8$ तत्व वर्ग हों, जिसे द्विघात समीकरणों के एक निकाय के रूप में प्रस्तुत किया गया।
एलिप्टिक कर्व्स में न्यूनीकरण: कुछ चरों को स्थिर करके और समीकरणों की संरचना का उपयोग करके, उन्होंने समस्या को विशिष्ट एलिप्टिक कर्व्स पर परिमेय बिंदुओं (rational points) को खोजने तक सीमित कर दिया।
- उन्होंने प्रोजेक्टिव स्पेस में एक वक्र $E$ का निर्माण किया।
- उन्होंने इस वक्र पर अनंत क्रम के बिंदुओं (जैसे, $Q_1, Q_2$ ) की पहचान की।
पैरामीट्रिकरण: इन बिंदुओं के गुणकों (जैसे, $2P_0$ $2 P_{0}$ ) को वापस खींचकर (pulling back), उन्होंने मापदंडों (जैसे, $c, d, G, H$ $c, d, G, H$ या एक एकल पैरामीटर $t$ $t$ ) के संदर्भ में $(a_0, a_1, a_2, a_3)$ $(a_{0}, a_{1}, a_{2}, a_{3})$ के लिए स्पष्ट बहुपद पैरामीट्रिकरण प्राप्त किए।
- यह मापदंडों के माध्यम से समाधानों के एक अनंत परिवार को उत्पन्न करने की अनुमति देता है।

C. घनत्व विश्लेषण (Density Analysis)

अनुपातों $a_i/a_j$ के घनत्व को सिद्ध करने के लिए, उन्होंने उनके पैरामीट्रिक परिवारों से प्राप्त परिमेय फलनों (rational functions) का विश्लेषण किया। उन्होंने दिखाया कि ये फलन परिमेय अंतरालों को संपूर्ण धनात्मक वास्तविक संख्याओं $\mathbb{R}^+$ के सेट पर मैप करते हैं, जो यूक्लिडियन टोपोलॉजी में घनत्व को सिद्ध करता है।

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

A. आयाम-3 के अनंत क्यूब्स का अस्तित्व

प्रमेय 1.5: $N$ तक के तत्वों वाले आयाम-3 के न्यूनीकरणकृत हिल्बर्ट क्यूब्स की संख्या, जिसे $H_3(N)$ से दर्शाया गया है, निम्नलिखित है:
$H_3(N) \gg N^{1/8}$
यह सिद्ध करता है कि ऐसे अनंत क्यूब्स मौजूद हैं।
प्रमेय 1.6: अनंत न्यूनीकरणकृत क्यूब्स हैं जहाँ $a_1 = a_2 < a_3$ (और सममित रूप से $a_1 < a_2 = a_3$ )। इन विशिष्ट मामलों के लिए गणना कम से कम $cN^{1/10}$ है।

B. अनुपातों का घनत्व

उपप्रमेय 1.8: किसी भी इंडेक्स युग्म $i < j$ के लिए, सभी ऐसे हिल्बर्ट क्यूब्स से प्राप्त अनुपातों का सेट $\{a_i / a_j\}$ धनात्मक वास्तविक संख्याओं $\mathbb{R}^+$ के सेट में सघन (dense) है। इसका तात्पर्य है कि इन क्यूब्स के घटकों के सापेक्ष आकार किसी भी धनात्मक वास्तविक अनुपात के करीब हो सकते हैं।

C. आयाम-4 क्यूब्स का गैर-अस्तित्व (अनुभवजन्य और आंशिक)

व्यापक कम्प्यूटेशनल खोज और सैद्धांतिक प्रयासों के बावजूद, लेखकों को वर्गों में आयाम-4 का कोई हिल्बर्ट क्यूब नहीं मिला।
उन्होंने "छद्म-4-क्यूब" (pseudo-4-cubes) का निर्माण किया जहाँ आवश्यक 16 में से 13 योग वर्ग हैं, लेकिन शेष 3 नहीं हैं।
वे नोट करते हैं कि एक वास्तविक $d=4$ क्यूब खोजना संभवतः एक बड़ी सफलता की मांग करेगा, क्योंकि बोम्बिएरी-लैंग अनुमान के अनुसार ऐसा होने की संभावना नहीं है।

D. स्थिर आधार $a_0$

अनुमान 7.1: प्रत्येक वर्ग $a_0 = n^2$ के लिए, एक आयाम-3 का न्यूनीकरणकृत हिल्बर्ट क्यूब मौजूद है।
कम्प्यूटेशनल साक्ष्य: उन्होंने $n \in \{1, \dots, 100\}$ के लिए इसकी पुष्टि की, जिसमें केवल चार मामलों ( $n=42, 44, 56, 80$ ) को छोड़कर सभी के लिए समाधान मिले।

E. मात्रात्मक वृद्धि (Quantitative Growth)

अपने डेटा ( $N \le 10^7$ ) पर संख्यात्मक फिटिंग का उपयोग करते हुए, वे सुझाव देते हैं कि $H_3(N)$ की वृद्धि दर लगभग $N^{0.62}$ है, जो उनके सिद्ध निम्नतम मान $N^{1/8}$ से काफी अधिक है।

4. महत्व

खुले प्रश्नों का समाधान: यह शोध पत्र वर्गों में आयाम-3 के अनंत हिल्बर्ट क्यूब्स के अस्तित्व के प्रश्न का निर्णायक उत्तर देता है (हाँ)।
मात्रात्मक सीमाएँ: यह ऐसे क्यूब्स की संख्या के लिए पहला स्पष्ट निम्नतम मान ( $N^{1/8}$ ) प्रदान करता है, जो केवल गुणात्मक अस्तित्व से आगे बढ़ता है।
पद्धतिगत प्रगति: यह कार्य संख्या सिद्धांत में उच्च-आयामी योगात्मक समस्याओं (additive problems) के लिए समाधानों के परिवारों के निर्माण हेतु एलिप्टिक कर्व्स के शक्तिशाली अनुप्रयोग को प्रदर्शित करता है।
उच्च आयामों में अंतर्दृष्टि: जबकि यह $d=3$ क्यूब्स की प्रचुरता की पुष्टि करता है, $d=4$ क्यूब्स को खोजने में विफलता (और सैद्धांतिक बाधाएं) इस पर बल देती है कि वर्गों में अधिकतम आयाम संभवतः 3 है, जो बोम्बिएरी-लैंग अनुमान के अनुरूप है।
सामान्यीकरण: लेखक अन्य द्विघात बहुपदों (जैसे, त्रिकोणीय संख्याएँ) में इन परिणामों को सामान्य बनाने पर संक्षेप में चर्चा करते हैं, जिससे यह पता चलता है कि आयाम 3 वहां भी प्राप्त किया जा सकता है, और अन्य द्विघात समुच्चयों में आयाम 4 खोजने की खुली समस्या को भी प्रस्तुत करते हैं।

निष्कर्ष सारांश

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