🔢 mathematics

Large Sets of Integers with No Harmonic Triples

यह शोधपत्र एक अभाज्य क्षेत्र (prime field) में एक सघन प्रोग्रेशन-मुक्त (progression-free) समुच्चय के यादृच्छिक एफाइन प्रतिबिंब (random affine image) के निर्माण और उसके बाद कोलैप्स्ड ट्रिपल्स (collapsed triples) को हटाने की प्रक्रिया के माध्यम से, $\{1, \dots, N\}$ के उस उपसमुच्चय के अधिकतम आकार के लिए एक नया निचला स्तर (lower bound) स्थापित करता है जिसमें कोई भी भिन्न हार्मोनिक ट्रिपल्स (distinct harmonic triples) नहीं हैं।

मूल लेखक: Samuel Korsky

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

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

CC BY 4.0

मूल लेखक: Samuel Korsky

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

कल्पना कीजिए कि आपके पास एक विशाल जार है जो 1 से लेकर एक बहुत बड़ी संख्या $N$ तक की नंबर वाली मार्बल्स (कंचों) से भरा हुआ है। आपका लक्ष्य उन मार्बल्स को एक छोटे बॉक्स में रखने के लिए अधिक से अधिक चुनना है, लेकिन इसमें एक सख्त नियम है: आप तीन ऐसी मार्बल्स नहीं चुन सकते जो एक "हार्मोनिक ट्रिपल" (Harmonic Triple) बनाती हों।

हार्मोनिक ट्रिपल क्या है?

संख्याओं की दुनिया में, एक "हार्मोनिक ट्रिपल" $(a, b, c)$ संख्याओं का एक विशेष त्रय (trio) है जहाँ उनके व्युत्क्रम (reciprocals - यानी संख्याओं को उल्टा करना, जैसे $1/a$ ) एक पूर्ण, समान रूप से अंतराल वाली रेखा बनाते हैं।

इसे एक संगीत के सुर (musical chord) की तरह सोचें। यदि आपके पास तीन सुर हैं, और पहले और दूसरे सुर के बीच की "दूरी", दूसरे और तीसरे सुर के बीच की दूरी के बिल्कुल समान है, तो वे सामंज्य (harmony) में हैं।

गणितीय रूप से, इसका अर्थ है: $\frac{2}{a} = \frac{1}{b} + \frac{1}{c}$ ।
यदि आपको अपने बॉक्स में ऐसी तीन संख्याएँ मिलती हैं जो इस समीकरण को पूरा करती हैं, तो आपको उस पूरे त्रय को बाहर फेंकना होगा।

लेखक, सैमुअल कोर्सकी (Samuel Korsky), पूछते हैं: हमारा बॉक्स कितना बड़ा हो सकता है इससे पहले कि हमें इतने सारे नंबर बाहर फेंकने पड़ें कि वह बहुत छोटा हो जाए?

एक बड़ी खोज

लंबे समय तक, गणितज्ञों को पता था कि वे बड़े बॉक्स बना सकते हैं जो मानक पैटर्न (जैसे कि तीन संख्याएँ एक क्रम में: 3, 5, 7) से बचते हैं। लेकिन इन "हार्मोनिक" पैटर्नों से बचना कठिन था क्योंकि गणित अलग तरह से काम करता है (यह जोड़ने के बजाय संख्याओं को उलटने के बारे में है)।

कोर्सकी सिद्ध करते हैं कि हम वास्तव में एक बहुत बड़ा बॉक्स बना सकते हैं जिसमें कोई हार्मोनिक ट्रिपल न हो।

आकार: बॉक्स केवल एक छोटा सा कण नहीं है; यह मूल जार का एक महत्वपूर्ण हिस्सा है।
शर्त: यह मानक "नो-पैटर्न" बॉक्स जितना बड़ा तो नहीं है, लेकिन फिर भी यह बहुत विशाल है। शोध पत्र एक विशिष्ट सूत्र देता है जो दिखाता है कि जैसे-जैसे जार बड़ा होता जाता है, हमारे द्वारा रखे जा सकने वाले बॉक्स का आकार एक अनुमानित, प्रभावशाली तरीके से बढ़ता है।

उन्होंने यह कैसे किया? (निर्माण प्रक्रिया)

कोर्सकी ने नंबरों को रैंडम तरीके से नहीं चुना। उन्होंने एक चतुर, दो-चरणीय "फिल्टरिंग" प्रक्रिया का उपयोग किया, जो एक हाई-टेक छलनी (sieve) की तरह है।

चरण 1: "शैडो" फ़िल्टर (प्राइम फील्ड)
कल्पना कीजिए कि आपके पास एक छोटा, गुप्त कोडबुक (एक छोटा समूह जिसे "प्राइम फील्ड" कहा जाता) है। इस कोडबुक में, संख्याओं की एक विशेष सूची है जिसमें पहले से ही कोई "तीन-एक-साथ" वाले पैटर्न नहीं हैं।
कोर्सकी इस छोटी, पूर्ण सूची को लेते हैं और एक रैंडम "मैजिक लेंस" (एक रैंडम एफ़ाइन इमेज) का उपयोग करके इसे विशाल जार पर प्रोजेक्ट करते हैं।

वह केवल उन मार्बल्स को रखते हैं जिनकी "परछाईं" (जब उन्हें एक विशिष्ट अभाज्य संख्या से विभाजित किया जाता है) उस विशेष सूची पर पड़ती है।
क्योंकि मूल सूची में कोई पैटर्न नहीं था, इसलिए ज्यादातर मामलों में, आपके द्वारा चुनी गई मार्बल्स भी हार्मोनिक ट्रिपल नहीं बनाएंगी।

चरण 2: "कोलैप्स" सफाई (Cleanup)
कभी-कभी, मैजिक लेंस के कारण एक गड़बड़ी (glitch) हो सकती है। कुछ खराब ट्रिपलेट्स बच सकते हैं क्योंकि वे वास्तविक दुनिया में अलग दिखते हैं लेकिन लेंस के माध्यम से देखने पर वे एक जैसे दिखाई देते हैं (वे "कोलैप्स" हो जाते हैं)।

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

उदाहरण: पार्टी का गेस्ट लिस्ट

कल्पना कीजिए कि आप $N$ मेहमानों के लिए एक पार्टी आयोजित कर रहे हैं। आप अधिक से अधिक लोगों को आमंत्रित करना चाहते हैं, लेकिन आपका एक नियम है: कोई भी तीन मेहमान "हार्मोनिक" नहीं होने चाहिए।

मानक नियम: आमतौर पर, आप बस उन लोगों से बचते हैं जो एक सीधी रेखा में खड़े होते हैं (जैसे 1, 2, 3)।
हार्मोनिक नियम: यह अधिक जटिल है। यह ऐसा है जैसे कहना कि, "कोई भी तीन मेहमान इस तरह से संबंधित नहीं हो सकते कि उनके 'विपरीत व्यक्तित्व' (inverse personalities) पूरी तरह संतुलित हों।"
रणनीति:
- आप पहले एक छोटा, वीआईपी क्लब (प्राइम फील्ड) देखते हैं जहाँ आप जानते हैं कि कौन किसके साथ फिट बैठता है।
- आप मेहमानों को पार्टी में आमंत्रित करने के लिए एक रैंडम "नेम टैग जनरेटर" का उपयोग करते हैं जो उस वीआईपी क्लब से जुड़ा हो।
- ज्यादातर समय, यह पूरी तरह से काम करता है।
- कभी-कभी, तीन मेहमान जो एक साथ नहीं होने चाहिए थे, गलती से एक ही नेम टैग पा लेते हैं। आप इन कुछ समस्या पैदा करने वालों को पहचानते हैं और विनम्रता से सबसे लंबे व्यक्ति को जाने के लिए कहते हैं।
- परिणाम: आपके पास अभी भी एक विशाल पार्टी है, और कोई भी हार्मोनिक नियम का उल्लंघन नहीं कर रहा है।

आगे क्या?

यह शोध पत्र "हम इसे कितना बड़ा बना सकते हैं?" (lower bound) के प्रश्न को हल करता है। हालाँकि, लेखक एक दरवाजा खुला छोड़ देते हैं: क्या यह संभव है कि एक ऐसी पार्टी हो जहाँ लगभग सभी आमंत्रित हों (positive density)?
वर्तमान में, हमें नहीं पता कि क्या नियम को तोड़े बिना बॉक्स को पूरी तरह से भरना संभव है, या क्या हमें हमेशा कुछ लोगों को बाहर छोड़ने के लिए मजबूर होना पड़ेगा। यह भविष्य के गणितज्ञों के लिए एक रहस्य बना हुआ है।

संक्षेप में: अब हम जानते हैं कि हम इन पेचीदा "हार्मोनिक" संबंधों से बचने के लिए नंबरों का एक बहुत बड़ा संग्रह बना सकते हैं, जिसमें रैंडम चयन और सावधानीपूर्वक सफाई का स्मार्ट मिश्रण शामिल है।

तकनीकी सारांश: बिना हार्मोनिक ट्रिपल्स (Harmonic Triples) वाले पूर्णांकों के बड़े समुच्चय

समस्या विवरण
यह शोध पत्र एक ऐसे उपसमुच्चय $A \subseteq [N] = \{1, \dots, N\}$ के अधिकतम आकार, जिसे $f(N)$ द्वारा सूचित किया गया है, की जांच करता है जिसमें कोई भी भिन्न तत्व $a, b, c$ नहीं हैं जो हार्मोनिक ट्रिपल की स्थिति को संतुष्ट करते हों:
$\frac{2}{a} = \frac{1}{b} + \frac{1}{c}$
यह समस्या शास्त्रीय $r_3(N)$ के अनुमान के एक प्रतिलोम (reciprocal) एनालॉग के रूप में प्रस्तुत की गई है, जहाँ $r_3(N)$ उन उपसमुच्चयों का अधिकतम आकार है जिनमें कोई गैर-तुच्छ तीन-पदों वाला अंकगणितीय प्रगतिक्रम (3-AP) नहीं होता है। जबकि $r_3(N)$ के ऊपरी और निचले अनुमानों का व्यापक रूप से अध्ययन किया गया है (बेरेंड, रोथ, सालेम, स्पेंसर, एल्किन, ग्रीन, वुल्फ, ब्लूम, सिसास्क, केली, मेका और अन्य के कार्यों का संदर्भ देते हुए), रेसिप्रोकल मैप $x \mapsto 1/x$ पूर्णांकों के अंतराल पर एक योगात्मक (additive) मानचित्र नहीं है। फलस्वरूप, $r_3(N)$ के लिए मौजूदा ऊपरी अनुमान सीधे हार्मोनिक सेटिंग पर लागू नहीं होते हैं।

कार्यप्रणाली और निर्माण
लेखक एक विशिष्ट हार्मोनिक ट्रिपल्स के पैरामीट्राइजेशन के साथ संयुक्त एक संभावabilistic विधि का उपयोग करके $[N]$ के एक बड़े उपसमुच्चय का निर्माण करते हैं जो हार्मोनिक ट्रिपल्स से मुक्त है। निर्माण इस प्रकार आगे बढ़ता है:

प्राइम फील्ड चयन: एक अभाज्य संख्या $q$ चुनी जाती है जहाँ $q \asymp \log N$ ।
प्रोग्रेशन-फ्री सेट: $\mathbb{F}_q$ में एक सघन तीन-पदों वाला प्रगतिक्रम-मुक्त सेट $R$ चुना जाता है। इस सेट का घनत्व $r_3(X)$ के बेहतर बेरेंड-प्रकार के निचले अनुमान पर निर्भर करता है जो एल्शोत्ज़, हंटर, प्रोस्के और सॉरमैन द्वारा स्थापित किया गया है। विशेष रूप से, $|R|/q \ge \exp\left(-(C_{AP} + o(1))\sqrt{\log q}\right)$ , जहाँ $C_{AP} = 2\sqrt{\log(24/7)}$ ।
रैंडम एफ़ाइन फ़िल्टरिंग: एक रैंडम एफ़ाइन इमेज $R_{\lambda, \mu} = \lambda R + \mu$ (जहाँ $\lambda \in \mathbb{F}_q^\times, \mu \in \mathbb{F}_q$ ) का उपयोग विषम पूर्णांकों $n \le N$ को फ़िल्टर करने के लिए किया जाता है ताकि $n \not\equiv 0 \pmod q$ और $n^{-1} \pmod q \in R_{\lambda, \mu}$ हो। यह प्रारंभिक रैंडम सेट $B_0$ अपेक्षित आकार $\gg \delta N$ रखता है, जहाँ $\delta = |R|/q$ ।
कोलैप्स्ड ट्रिपल्स को संभालना: मुख्य कठिनाई यह है कि पूर्णांकों में एक हार्मोनिक ट्रिपल $\mathbb{F}_q$ में एक स्थिर प्रगतिक्रम (सभी अवशेष समान) के रूप में मैप हो सकता है, न कि एक गैर-तुच्छ प्रगतिक्रम के रूप में। शोध पत्र एक विषम हार्मोनिक ट्रिपल के पैरामीट्राइजेशन (लेम्मा 2.2) का उपयोग यह दिखाने के लिए करता है कि यदि एक ट्रिपल $b < a < c$ हार्मोनिक स्थिति को संतुष्ट करता है और $a \equiv b \equiv c \pmod q$ है, तो पैरामीट्राइजेशन में अंतर पैरामीटर $d$ को $q$ से विभाज्य होना चाहिए।
डिलीशन स्ट्रैटेजी (हटाने की रणनीति): किसी भी जीवित बचे हार्मोनिक ट्रिपल के सबसे बड़े तत्व को हटा दिया जाता है। "कोलैप्स्ड" ट्रिपल्स (जहाँ $q \mid d$ ) की संख्या $O(N \log N / q)$ दिखाई गई है। चूंकि किसी विशिष्ट ट्रिपल के जीवित रहने की प्रायिकता $\delta$ है, इसलिए हटाए गए तत्वों की अपेक्षित संख्या प्रारंभिक सेट के आकार के सापेक्ष कम है, बशर्ते कि $q \asymp \log N$ में स्थिरांक को पर्याप्त रूप से बड़ा चुना जाए।

मुख्य परिणाम
मुख्य प्रमेय $f(N)$ के लिए एक निचला अनुमान स्थापित करता है जो $r_3(N)$ के बेहतर बेरेंड-प्रकार के निचले अनुमान की नकल करता है, लेकिन एक लॉगरिदमिक शिफ्ट के साथ:

प्रमेय 1.1: जैसे-जैसे $N \to \infty$ ,
$f(N) \gg N \exp\left( -(C_{AP} + o(1))\sqrt{\log \log N} \right)$
जहाँ $C_{AP} = 2\sqrt{\log(24/7)}$ ।

प्रमाण यह प्रदर्शित करता है कि $q \asymp \log N$ चुनकर, प्रोग्रेशन-फ्री सेट के घनत्व में $\sqrt{\log q}$ वाला पद अंतिम बाउंड में $\sqrt{\log \log N}$ में परिवर्तित हो जाता है।

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

लेखक नोट करते हैं कि पूरक ऊपरी-सीमा समस्या अभी भी खुली है। विशेष रूप से, शोध पत्र प्रश्न 1.2 प्रस्तुत करता है: क्या यह सत्य है कि $N \to \infty$ होने पर $f(N) = o(N)$ है? दूसरे शब्दों में, क्या सकारात्मक घनत्व वाला एक सेट हार्मोनिक ट्रिपल्स से मुक्त होना असंभव है? शोध पत्र इस प्रश्न को हल नहीं करता है बल्कि इसे इस समस्या के अध्ययन के लिए एक स्वाभाविक अगले चरण के रूप में रेखांकित करता है।

हार्मोनिक ट्रिपल क्या है?

एक बड़ी खोज

उन्होंने यह कैसे किया? (निर्माण प्रक्रिया)

उदाहरण: पार्टी का गेस्ट लिस्ट

आगे क्या?

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