🔢 mathematics

Helson's conjecture for smooth numbers

यह शोधपत्र सिद्ध करता है कि एक स्टाइनहॉस रैंडम मल्टीप्लिकेटिव फंक्शन के लिए, $y$ -स्मूथ संख्याओं पर आंशिक योग पूरे $2 \leq y \leq x$ परास में समान रूप से वर्गमूल (स्क्वायर-रूट) से बेहतर शमन प्रदर्शित करते हैं, जिससे स्मूथ संख्याओं के लिए हेलसन के अनुमान का एक मात्रात्मक संस्करण स्थापित होता है।

मूल लेखक: Seth Hardy, Max Wenqiang Xu

प्रकाशित 2026-02-09

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

CC BY 4.0

मूल लेखक: Seth Hardy, Max Wenqiang Xu

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

मुख्य विचार: संख्याओं का महान फेरबदल (The Great Number Shuffle)

कल्पना कीजिए कि आपके पास संख्याओं का एक विशाल थैला है, जो 1 से लेकर एक बहुत बड़ी संख्या $x$ तक है। इस थैले के अंदर, हर संख्या को एक रैंडम जनरेटर द्वारा एक "व्यक्तित्व" (personality) दिया गया है। यह जनरेटर एक स्टीनहास रैंडम मल्टीप्लिकेटिव फंक्शन (Steinhaus random multiplicative function) है।

इस जनरेटर को आप हर अभाज्य संख्या (prime number जैसे 2, 3, 5, 7, आदि) के लिए एक जादुई सिक्का उछालने की तरह समझ सकते हैं।

संख्या 2 के लिए, सिक्का एक वृत्त (circle) पर एक यादृच्छिक बिंदु पर गिरता है (जैसे घड़ी की सुई कहीं भी इशारा कर सकती है)।
संख्या 3 के लिए, यह दूसरे यादृच्छिक बिंदु पर गिरता है।
किसी भी अन्य संख्या के लिए, इसका व्यक्तित्व उन अभाज्य संख्याओं के व्यक्तित्व का गुणनफल होता है जिनसे वह बनी है। (उदाहरण के लिए, यदि 6 संख्या 2 और 3 से मिलकर बनी है, तो उसका व्यक्तित्व 2 और 3 के "सिक्का उछालने के परिणामों" का गुणनफल होगा)।

इस शोध पत्र में गणितज्ञ एक सरल प्रश्न पूछ रहे हैं: यदि हम 1 से $x$ तक इन सभी यादृच्छिक व्यक्तित्वों को जोड़ दें, तो क्या वे एक-दूसरे को काट देंगे (cancel out)?

एक सामान्य रैंडम वॉक (जैसे एक नशे में धुत व्यक्ति जो इधर-उधर लड़खड़ा रहा हो) में, आप उम्मीद करते हैं कि शुरुआती बिंदु से कुल दूरी कदमों की संख्या के वर्गमूल (square root) के लगभग होगी। इसे "स्क्वायर-रूट कैंसिलेशन" (square-root cancellation) कहा जाता है। यह यादृच्छिकता (randomness) का एक मानक नियम है।

हेल्सन का अनुमान (Helson's Conjecture) (जिसे 2022 में एक गणितज्ञ हार्पर द्वारा पूर्ण श्रेणी के लिए सिद्ध किया गया था) ने सुझाव दिया कि ये विशिष्ट संख्यात्मक व्यक्तित्व अतिरिक्त यादृच्छिक हैं। वे मानक वर्गमूल नियम की तुलना में बेहतर तरीके से एक-दूसरे को काटते हैं। कुल योग अपेक्षित योग से वास्तव में छोटा होता है।

नया मोड़: "स्मूथ" संख्याएँ (The "Smooth" Numbers)

इस शोध पत्र के लेखक, सेठ हार्डी और मैक्स वेनकियांग ज़ू ने पूछा: क्या यह "सुपर-कैंसिलेशन" (super-cancellation) अभी भी होता है यदि हम केवल संख्याओं के एक विशिष्ट उपसमूह (subset) को देखें?

उन्होंने अपना ध्यान "स्मूथ" संख्याओं पर केंद्रित किया।

उपमा: कल्पना कीजिए कि एक "स्मूथ" संख्या नदी में एक चिकने पत्थर की तरह है। इसमें कोई नुकीले किनारे नहीं हैं। गणितीय शब्दों में, एक "y-स्मूथ" संख्या वह है जिसके अभाज्य गुणनखंड (prime factors) सभी छोटे (यानी $y$ $y$ के बराबर या उससे कम) होते हैं।
- यदि $y$ छोटा है, तो संख्या छोटे निर्माण खंडों (जैसे 2, 3, 5) से बनी है।
- यदि $y$ बड़ा है ( $x$ के करीब), तो वह बड़े ब्लॉक्स से भी बन सकती है।

प्रश्न यह है: यदि हम केवल इन "स्मूथ" पत्थरों के व्यक्तित्वों को जोड़ते हैं, तो क्या वे अभी भी वर्गमूल नियम से बेहतर तरीके से एक-दूसरे को काटते हैं?

खोज: हाँ, हर जगह!

यह शोध पत्र एक आश्चर्यजनक परिणाम सिद्ध करता है: हाँ, वे हमेशा वर्गमूल नियम से बेहतर तरीके से एक-दूसरे को काटते हैं, चाहे "स्मूथनेस" की सीमा ( $y$ ) कितनी भी छोटी या बड़ी क्यों न हो।

लेखकों ने केवल "हाँ" नहीं कहा; उन्होंने समस्या को स्मूथनेस के तीन अलग-अलग "पड़ोसों" (neighborhoods) में विभाजित किया, जिनमें से प्रत्येक को हल करने के लिए अलग उपकरण की आवश्यकता थी:

1. "मध्यम रूप से स्मूथ" पड़ोस (The "Moderately Smooth" Neighborhood - मध्य मार्ग)

परिदृश्य: संख्याएँ ऐसे अभाज्य गुणनखंडों से बनी हैं जो कुछ हद तक छोटे हैं, लेकिन बहुत छोटे नहीं हैं।
उपमा: एक भीड़ की कल्पना करें जहाँ अधिकांश लोग औसत ऊंचाई के हैं। आप उम्मीद कर सकते हैं कि सबसे लंबे और सबसे छोटे लोग एक-दूसरे को संतुलित कर देंगे।
आश्चर्य: लेखकों ने पाया कि इन संख्याओं का "औसत" व्यवहार बहुत ही असंभव घटनाओं (very unlikely events) द्वारा नियंत्रित होता है।
- आमतौर पर, यादृच्छिक व्यक्तित्व अच्छी तरह से एक-दूसरे को काट देते हैं।
- हालाँकि, गणितीय "औसत" गुप्त रूप से उन दुर्लभ, जंगली उतार-चढ़ावों (wild fluctuations) द्वारा खींचा जा रहा है जहाँ संख्याएँ एक अजीब तरीके से एक साथ आती हैं।
- क्योंकि ये जंगली घटनाएँ इतनी दुर्लभ हैं, इसलिए वास्तविक योग अपेक्षित अनुमान से बहुत छोटा है। यह एक कैसीनो की तरह है जहाँ घर (house) आमतौर पर जीतता है, लेकिन गणितीय औसत एक ऐसी घटना से प्रभावित होता है जहाँ दस लाख में से एक बार कोई जैकपॉट जीतता है। लेखकों ने सिद्ध किया कि इस सीमा के लिए, "जैकपॉट" वाली घटनाएँ इतनी दुर्लभ हैं कि कुल योग अपेक्षित योग से काफी छोटा है।

2. "बहुत स्मूथ" पड़ोस (The "Very Smooth" Neighborhood - नन्हे निर्माण खंड)

परिदृश्य: संख्याएँ बहुत छोटी अभाज्य संख्याओं (जैसे 2, 3, 5) से बनी हैं।
उपमा: एक मीनार की कल्पना करें जो केवल छोटे लेगो (Lego) ब्रिक्स से बनी है।
परिणाम: यहाँ, यादृच्छिकता इतनी मजबूत है कि संख्याएँ अविश्वसनीय रूप से अच्छी तरह से एक-दूसरे को काट देती हैं। लेखकों ने एक अलग गणितीय तकनीक का उपयोग किया (जटिल गणित में "इमेजिनरी एक्सिस" के पास की संख्याओं को देखना) यह दिखाने के लिए कि योग बहुत छोटा है। यह एक अराजक तूफान की तरह है जो किसी तरह पूर्ण शांति में स्थिर हो जाता है।

3. "लगभग पूर्ण" पड़ोस (The "Almost Full" Neighborhood - एज केस)

परिदृश्य: संख्याओं को लगभग किसी भी अभाज्य गुणनखंड की अनुमति है (तो $y$ , $x$ के बहुत करीब है)।
उपमा: यह फिर से संख्याओं का वही बड़ा थैला है, लेकिन हम इसके बिल्कुल किनारे को देख रहे हैं।
परिणाम: यह हार्पर के मूल कार्य से जुड़ता है। लेखकों ने दिखाया कि यहाँ भी, "सुपर-कैंसिलेशन" बना रहता है। उन्होंने गाऊसी मल्टीप्लिकेटिव केओस (Gaussian Multiplicative Chaos) की एक अवधारणा का उपयोग किया (यह वर्णन करने का एक शानदार तरीका कि यादृच्छिक तरंगें कैसे परस्पर क्रिया करती हैं)। उन्होंने सिद्ध किया कि भले ही किनारे के पास गणित जटिल हो जाता है, फिर भी तरंगें एक-दूसरे के साथ इतनी हस्तक्षेप (interfere) करती हैं कि कुल योग वर्गमूल नियम द्वारा अनुमानित योग से छोटा हो जाता है।

यह क्यों महत्वपूर्ण है? (शोध पत्र के अनुसार)

शोध पत्र में एक विशिष्ट कारण का उल्लेख है जो इसे उपयोगी बनाता है: लघु अंतराल में स्मूथ संख्याओं की गणना करना (Counting Smooth Numbers in Short Intervals)।

समस्या: गणितज्ञ जानना चाहते हैं: "यदि मैं संख्याओं के एक बहुत छोटे हिस्से को देखता हूँ (जैसे 1,000,000 से 1,000,100 तक), तो क्या मुझे निश्चित रूप से एक 'स्मूथ' संख्या मिलेगी?"
संबंध: लेखक सुझाव देते हैं कि "सुपर-कैंसिलेशन" के उनके प्रमाण से यह सिद्ध करने में मदद मिल सकती है कि स्मूथ संख्याएँ इन छोटे हिस्सों में वर्तमान ज्ञान की तुलना में अधिक बार दिखाई देती हैं।
सीमा: वे स्पष्ट रूप से कहते हैं कि उनका परिणाम इन संख्याओं की गणना करने की समस्या को हल करने का एक सुझाव देता है। उन्होंने यह दावा नहीं किया है कि उन्होंने गणना की समस्या को हल कर दिया है, बल्कि उन्होंने एक शक्तिशाली नया उपकरण (कैंसिलेशन का प्रमाण) प्रदान किया है जिसका उपयोग इसे हल करने के लिए किया जा सकता है।

सारांश

सरल शब्दोंom में, यह शोध पत्र संख्या सिद्धांत (number theory) का एक उत्कृष्ट कार्य है। लेखकों ने यादृच्छिकता के एक प्रसिद्ध नियम को लिया (कि योग आमतौर पर गणना के वर्गमूल तक रद्द हो जाते हैं) और पूछा, "क्या होगा यदि हम केवल छोटे टुकड़ों से बनी संख्याओं को देखें?"

उन्होंने सिद्ध किया कि इस प्रतिबंधित दुनिया में भी, यादृच्छिकता हमारी सोच से भी अधिक मजबूत है। संख्याएँ मानक नियम की तुलना में बेहतर तरीके से एक-दूसरे को काटती हैं, और उन्होंने यह सिद्ध किया कि "सबसे खराब स्थिति" वाले परिदृश्य वास्तव में अविश्वसनीय रूप से दुर्लभ हैं। उन्होंने स्मूथ संख्याओं के पूरे स्पेक्ट्रम में—सबसे नन्ही से लेकर सबसे बड़ी तक—इस घटना को उजागर करने के लिए तीन अलग-अलग गणितीय "टॉर्च" का उपयोग किया।

तकनीकी सारांश: स्मूथ नंबरों के लिए हेलसन का अनुमान (Helson's Conjecture)

समस्या विवरण
यह शोध पत्र स्टाइनहॉस रैंडम मल्टीप्लिकेटिव फंक्शन्स (Steinhaus random multiplicative functions), जिन्हें $f(n)$ द्वारा दर्शाया गया है, के आंशिक योगों के सांख्यिकीय व्यवहार की जांच करता है, जो $y$ -स्मूथ नंबरों तक सीमित हैं। एक $y$ -स्मूथ नंबर वह पूर्णांक है जिसका सबसे बड़ा अभाज्य गुणनखंड $P(n)$ इस प्रकार है कि $P(n) \le y$ । मान लीजिए कि $x$ तक ऐसे नंबरों की संख्या $\Psi(x, y)$ है। केंद्रीय प्रश्न यह है कि क्या इन योगों का प्रथम निरपेक्ष मोमेंट (first absolute moment) $E\left| \sum_{n \le x, P(n) \le y} f(n) \right|$ , "वर्ग-मूल से बेहतर प्रतिगमन" (better than square-root cancellation) प्रदर्शित करता है।

रैंडम मल्टीप्लिकेटिव फंक्शन्स के संदर्भ में, कॉची-श्वार्ज़ असमानता (Cauchy–Schwarz inequality) से प्राप्त ट्रिवियल बाउंड (trivial bound) $\sqrt{\Psi(x, y)}$ है। हेलसन का अनुमान, जिसे पूरे योग ( $y=x$ ) के लिए हार्पर (Harper) द्वारा हल किया गया था, यह प्रतिपादित करता है कि प्रत्याशा (expectation) वास्तव में $o(\sqrt{x})$ होती है। यह शोध पत्र पूछता है कि क्या यह घटना (phenomenon) संपूर्ण स्मूथनेस पैरामीटर रेंज $2 \le y \le x$ में समान रूप से बनी रहती है, या क्या कोई ऐसा संक्रमण अंतराल (transition range) मौजूद है जहाँ प्रतिगमन (cancellation) घटकर वर्ग-मूल के स्तर पर आ जाता है।

कार्यप्रणाली (Methodology)
लेखक विश्लेषणात्मक संख्या सिद्धांत (analytic number theory) की तकनीकों और स्मूथ नंबरों की विशिष्ट संरचना के अनुरूप अनुकूलित संभाव्य तर्कों (probabilistic arguments) के संयोजन का उपयोग करते हैं। मुख्य कार्यप्रणाली में शामिल है:

पेरॉन का सूत्र और यूलर उत्पाद (Perron's Formula and Euler Products): आंशिक योगों को पेरोन के सूत्र के माध्यम से रैंडम यूलर उत्पादों $F_y(s) = \prod_{p \le y} (1 - f(p)p^{-s})^{-1}$ के इंटीग्रल्स से संबंधित किया जाता है। निरपेक्ष योग की प्रत्याशा को $F_y(\sigma/2 + it)$ वाले इंटीग्रल्स द्वारा सीमित किया जाता है।
सैडल पॉइंट विश्लेषण (Saddle Point Analysis): लेखक सैडल पॉइंट $\alpha = \alpha(x, y)$ का उपयोग करते हैं, जो $\Psi(x, y)$ के रैंकिन ट्रिक (Rankin's trick) ऊपरी बाउंड को न्यूनतम करता है। विश्लेषण इंटीग्रेशन कंटूर (integration contour) को रेखा $\text{Re}(s) = \alpha/2$ (या विशिष्ट श्रेणियों के लिए $\alpha(x^2, y)/2$ ) की ओर स्थानांतरित करता है।
रैंडम यूलर उत्पादों के मोमेंट अनुमान (Moment Estimates of Random Euler Products): एक महत्वपूर्ण घटक $\text{Re}(s)=1/2$ $Re (s) = 1/2$ वाली क्रिटिकल लाइन के बजाय ऑफ-क्रिटिकल लाइन पर शिफ्ट किए गए यूलर उत्पादों के मोमेंट्स $E|F_y(\sigma/2 + it)|^\beta$ $E ∣ F_{y} (σ /2 + i t) ∣^{β}$ का मूल्यांकन करना है।
- "मध्यम" $y$ के लिए, लेखक दिखाते हैं कि प्रथम मोमेंट, $\log |F_y|$ के गॉसियन सन्निकटन (Gaussian approximation) में "असंभाव्य घटनाओं" (unlikely events) के प्रभुत्व के कारण, दूसरे मोमेंट के वर्गमूल से काफी छोटा होता है।
- $y$ के $x$ के करीब होने पर, वे क्रिटिकल गॉसियन मल्टीप्लिकेटिव केओस (Critical Gaussian Multiplicative Chaos - GMC) का उपयोग करते हुए हार्पर की पद्धति को अनुकूलित करते हैं। वे छोटे अभाज्य संख्याओं (जहाँ प्रक्रिया एक लॉग-कोरिलेटेड गॉसियन फील्ड की तरह व्यवहार करती है) के योगदान को अलग करते हैं और शेष बड़े अभाज्य संख्याओं को कंडीशनिंग और कॉची-श्वार्ज़ के माध्यम से संभालते हैं।
- बहुत छोटे $y$ के लिए, वे काल्पनिक अक्ष (imaginary axis) के पास यूलर उत्पादों के विशिष्ट अनुमानों का उपयोग करते हैं, जो स्मूथ नंबरों में अभाज्य कारकों की उच्च बहुलता (high multiplicity) को ध्यान में रखते हैं।
लघु अंतराल अनुमान (Short Interval Estimates): बड़े $y$ के लिए प्रमाण लेम्मा 2.5 (Lemma 2.5) पर निर्भर करता है, जो हिल्डरब्रैंड (Hildebrand) के कार्य से प्राप्त लघु अंतरालों में प्रतिबंधित अभाज्य कारकों वाले पूर्णांकों के योग के लिए बाउंड प्रदान करता है।

मुख्य योगदान और परिणाम
मुख्य परिणाम थ्योरम 1.1 है, जो यह स्थापित करता है कि संपूर्ण रेंज $2 \le y \le x$ के लिए:
$E\left| \sum_{1 \le n \le x, P(n) \le y} f(n) \right] = o\left( \Psi(x, y)^{1/2} \right).$
यह पुष्टि करता है कि "वर्ग-मूल से बेहतर प्रतिगमन" $y$ -स्मूथ नंबरों के लिए $y$ के $x$ के सापेक्ष कितना भी छोटा हो, समान रूप से बना रहता है। शोध पत्र तीन अलग-अलग श्रेणियों के लिए मात्रात्मक सीमाएं (quantitative bounds) प्रदान करता है:

मध्यम $y$ ( $C \log x \le y \le x^{1/\log \log x}$ ):
लेखक एक मजबूत बचत (saving) सिद्ध करते हैं, यह दिखाते हुए कि प्रत्याशा $\Psi(x, y)^{1/2} \exp(-u(\log 2 + o(1)))$ द्वारा सीमित है, जहाँ $u = \log x / \log y$ है। यह परिणाम (थ्योरम 1.2) बिना क्रिटिकल GMC घटनाओं पर निर्भर हुए प्राप्त किया गया है। इसके बजाय, यह इस तथ्य का लाभ उठाता है कि यूलर उत्पाद मोमेंट्स का डोमिनेंट योगदान उन अत्यधिक असंभाव्य घटनाओं से आता है जहाँ लॉग-यूलर उत्पाद अपने विशिष्ट अधिकतम से काफी बड़ा होता है। इससे ट्रिवial बाउंड पर कम से कम $e^{cu}$ के कारक की बचत होती है।
बड़ा $y$ ( $e^{(\log \log x)^2} \le y \le x$ ):
$y$ के $x$ के करीब होने पर, पेपर (थ्योरम 1.3) सिद्ध करता है कि प्रत्याशा $\Psi(x, y)^{1/2} (\log \frac{1}{1-\alpha})^{-1/4}$ द्वारा सीमित है। यह हार्पर द्वारा पूर्ण योग के लिए देखे गए $(\log \log x)^{-1/4}$ की बचत को रिकवर करता है। प्रमाण छोटे अभाज्य संख्याओं पर कंडीशनिंग करके (जहाँ GMC व्यवहार होता है) और बड़े अभाज्य संख्याओं को शॉर्ट-इंटरवल अनुमानों के माध्यम से हैंडल करके हार्पर के क्रिटिकल GMC तर्क को अनुकूलित करता है।
छोटा $y$ ( $2 \le y \le C \log x$ ):
बहुत छोटे $y$ के लिए, अभाज्य कारकों की उच्च बहुलता के कारण मानक गॉसियन सन्निकटन विफल हो जाते हैं। लेखक सिद्ध करते हैं (थ्योरम 1.4) कि प्रतिगमन अभी भी होता है, जिसके बाउंड $y$ की विशिष्ट रेंज पर निर्भर करते हैं। उदाहरण के लिए, जब $y$ सीमित (bounded) हो, तो प्रत्याशा $O(\sqrt{\Psi(x, y)} \sqrt{\frac{\log \log x}{\log x}})$ होती है।

महत्व और दावे
यह शोध पत्र इस प्रश्न को हल करने का दावा करता है कि क्या "वर्ग-मूल से बेहतर प्रतिगमन" की घटना स्मूथ नंबरों के लिए सार्वभौमिक है। लेखक स्पष्ट रूप से कहते हैं कि कोई संक्रमण अंतराल (transition range) नहीं है जहाँ यह प्रतिगमन गायब हो जाता है; यह संवर्धन (enhancement) सभी $y$ के लिए समान रूप से बना रहता है।

इस कार्य का महत्व निम्नलिखित में निहित है:

एकरूपता (Uniformity): गैर-तुच्छ अंकगणितीय संरचना (स्मूथ नंबरों) वाले सेटों के लिए पूरे पैरामीटर रेंज में हेलसन के अनुमान का विस्तार करना।
नई कार्यप्रणाली (New Mechanisms): मध्यम $y$ के लिए एक अलग प्रतिगमन स्रोत की पहचान करना जो क्रिटिकल गॉसियन मल्टीप्लिकेटिव केओस पर निर्भर नहीं करता है। यह तंत्र यूलर उत्पाद के मोमेंट्स के विशिष्ट विचरण संरचना (variance structure) से उत्पन्न होता है, जब इसे क्रिटिकल लाइन से ऑफ-लाइन पर्यूट किया जाता है, जहाँ मोमेंट्स दुर्लभ, बड़े विचलन (large deviations) द्वारा नियंत्रित होते हैं।
संभावित अनुप्रयोग (Potential Applications): लेखक सुझाव देते हैं कि उनके परिणामों को लघु अंतरालों $[x, x+h]$ में $y$ -स्मूथ नंबरों की गणना की शास्त्रीय समस्या में लागू किया जा सकता है। विशेष रूप से, वे उल्लेख करते हैं कि उनके मात्रात्मक बाउंड संभावित रूप से उन अंतरालों की ज्ञात लंबाई $h$ को बेहतर बना सकते हैं जो $x^\varepsilon$ -स्मूथ नंबरों के अस्तित्व की गारंटी देने के लिए आवश्यक है, जिससे बाउंड $h \gg \sqrt{x}/(\log \log x)^{1/4}$ के करीब पहुँच सके। हालाँकि, वे इसे अपने बाउंड के एक संभावित परिणाम के रूप में फ्रेम करते हैं न कि पाठ के भीतर एक सिद्ध अनुप्रयोग के रूप में।

शोध पत्र निष्कर्ष निकालता है कि "वर्ग-मूल से बेहतर" व्यवहार रैंडम मल्टीप्लिकेटिव फंक्शन्स की एक सुदृढ़ विशेषता है, जो स्मूथ नंबरों के विविध डिग्री के सपोर्ट के बावजूद बनी रहती है।