🔢 mathematics

Sets of unit fractions without two members whose average is a unit fraction

यह शोध पत्र एक स्थिरांक $c>0$ के अस्तित्व को सिद्ध करके अर्दोस (Erdős) और ग्राहम (Graham) द्वारा उठाए गए एक प्रश्न का खंडन करता है, जिससे यह सिद्ध होता है कि सभी पर्याप्त रूप से बड़े $N$ के लिए, $\{1,\dots,N\}$ के एक ऐसे उपसमुच्चय का अस्तित्व है जिसका आकार $cN$ से अधिक है जहाँ कि किन्हीं भी दो भिन्न व्युत्क्रमों (reciprocals) का औसत एक इकाई भिन्न (unit fraction) नहीं है, जिससे कि गैर-तुच्छ तीन-पदों वाले अंकगणितीय प्रगति (three-term arithmetic progressions) के बिना इकाई भिन्नों के समुच्चयों के लिए सर्वोत्तम ज्ञात निचली सीमाओं को स्थापित किया गया है।

मूल लेखक: Will Sawin

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

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

CC0 1.0

मूल लेखक: Will Sawin

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

एक ऐसी दुनिया की कल्पना करें जो पूरी तरह से भिन्नों (fractions) से बनी है, लेकिन इसमें एक बहुत ही सख्त नियम है: हर हिस्सा एक "इकाई भिन्न" (unit fraction) होना चाहिए। इसका मतलब है कि ऊपर की संख्या हमेशा 1 होती है, जैसे 1/2, 1/3, या 1/100। गणितज्ञों ने दशकों तक इन संख्याओं के साथ प्रयोग किया है, और सवाल पूछे हैं जैसे, "हम इनमें से कितनी संख्याएँ एक कतार में लगा सकते हैं इससे पहले कि हम अनजाने में एक पैटर्न बना दें?" एक प्रसिद्ध पैटर्न जिसे वे खोजते हैं, वह है एक अंकगणितीय प्रगति (arithmetic progression), जहाँ तीन संख्याएँ समान अंतराल पर बैठती हैं, जैसे 1/2, 1/3, और 1/6 (चूंकि 1/3, 1/2 और 1/6 के ठीक बीच में है)।

यह विशिष्ट पहेली, जिसे यह शोध पत्र हल करता है, "कोई औसत नहीं" (no averages) के खेल जैसी है। यदि आप दो अलग-अलग इकाई भिन्न चुनते हैं, मान लीजिए 1/a और 1/b, और आप उनका औसत (उनके ठीक बीच की संख्या) निकालते हैं, तो खेल पूछता है: क्या हम इन भिन्नों का एक विशाल संग्रह बना सकते हैं जहाँ इनमें से किसी भी जोड़े का औसत भी एक इकाई भिन्न न हो? लंबे समय तक, दो दिग्गज गणितज्ञों, एर्डोस (Erdős) और ग्राहम (Graham) ने सोचा था कि क्या ऐसा संग्रह वास्तव में बहुत बड़ा हो सकता है। उन्हें संदेह था कि यदि आप संग्रह को पर्याप्त बड़ा बनाने की कोशिश करेंगे, तो आप अनिवार्य रूप से एक ऐसा जोड़ा शामिल करने के लिए मजबूर हो जाएंगे जिसका औसत एक इकाई भिन्न है। दूसरे शब्दों में, उन्हें लगा कि "कोई-औसत-नहीं" का नियम इस संग्रह को उपलब्ध कुल भिन्नों की तुलना में बहुत छोटा बना देगा।

यह शोध पत्र, जिसे विल सॉविन (Will Sawin) द्वारा लिखा गया है, इस क्षेत्र में कदम रखता है और एक आश्चर्यजनक मोड़ देता है। लेखक सिद्ध करता है कि एर्डोस और ग्राहम गलत थे। एक ऐसा संग्रह बनाना संभव है जो आश्चर्यजनक रूप से बड़ा है—इतना बड़ा कि यह एक निश्चित बिंदु तक उपलब्ध सभी संख्याओं के एक निश्चित प्रतिशत के बराबर है—बिना कभी भी एक ऐसा जोड़ा बनाए जिसका औसत भी एक इकाई भिन्न हो। यह शोध पत्र केवल अनुमान नहीं लगाता; यह एक कठोर गणितीय निर्माण, इस विशाल सेट को बनाने की एक विशिष्ट विधि (recipe) प्रदान करता है, और यह सिद्ध करता है कि यह किसी भी पर्याप्त बड़े नंबर के लिए काम करता है। हालाँकि लेखक स्वीकार करते हैं कि यह विधि पूर्णतः सबसे कुशल नहीं है, लेकिन यह पुराने विश्वास को तोड़ने के लिए पर्याप्त है कि ऐसा सेट छोटा होना चाहिए।

महान "कोई-औसत-नहीं" डकैती (The Great "No-Average" Heist)

1 से लेकर एक बहुत बड़ी संख्या $N$ तक के नंबरों को लोगों की एक विशाल भीड़ के रूप में सोचें। प्रत्येक व्यक्ति एक नंबर वाला साइन बोर्ड पकड़े हुए है। यदि आप दो लोगों को चुनते हैं, मान लीजिए व्यक्ति $a$ और व्यक्ति $b$ , तो वे इकाई भिन्न $1/a$ और $1/b$ का प्रतिनिधित्व करते हैं। उनके भिन्नों का "औसत" एक विशेष संख्या है। यदि वह औसत एक इकाई भिन्न (जैसे $1/c$ ) बन जाता है, तो $a$ और $b$ को हमारे विशेष क्लब में एक साथ रहने के लिए "प्रतिबंधित" (banned) कर दिया जाता है। लक्ष्य एक ऐसा बड़ा क्लब बनाना है जहाँ कोई भी दो सदस्य प्रतिबंधित न हों।

लंबे समय तक, गणित समुदाय को लगा कि यह क्लब बहुत छोटा होगा। उनका मानना था कि जैसे-जैसे भीड़ बढ़ेगी, नियम इतने सख्त हो जाएंगे कि आप केवल लोगों का एक नगण्य प्रतिशत ही रख पाएंगे। लेकिन विल सॉविन कहते हैं, "रुको ज़रा!" वह दिखाते हैं कि आप भीड़ का एक बड़ा हिस्सा वास्तव में रख सकते हैं—विशेष रूप से, जितनी भी भीड़ है उसका एक निश्चित प्रतिशत $c$ से अधिक—बिना कभी भी एक ऐसा जोड़ा बनाए जिसका औसत एक इकाई भिन्न हो।

यह जादू कैसे काम करता है

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

सबसे पहले, बाउंसर उस व्यक्ति को बाहर निकाल देता है जिसके पास "बहुत अधिक छोटे अभाज्य गुणनखंड" (small prime factors) होते हैं। कल्पना करें कि अभाज्य संख्याएँ (prime numbers) सभी संख्याओं के बुनियादी निर्माण खंड (building blocks) हैं (जैसे 2, 3, 5, 7)। बाउंसर कहता है, "यदि आपकी संख्या 2 या 3 जैसे छोटे ईंटों से बनी है, तो आप अंदर नहीं आ सकते।" यह भीड़ का एक बड़ा हिस्सा हटा देता है, लेकिन उन लोगों को छोड़ देता है जो बड़ी, अधिक जटिल ईंटों से बने हैं।

दूसिला, बाउंसर संख्याओं की "जटिलता" (complexity) की जाँच करता है। वह गिनता है कि एक संख्या में कितने अभाज्य गुणनखंड हैं (दोहराव सहित, जैसे $12 = 2 \times 2 \times 3$ में तीन गुणनखंड हैं)। नियम यह है कि आपके पास अपने आकार के हिसाब से अपेक्षित संख्या की तुलना में बहुत अधिक गुणनखंड नहीं होने चाहिए। यह कुछ ऐसा है जैसे कहना, "यदि आप एक मध्यम आकार की संख्या हैं, तो आप बड़ी संख्या में ईंटों के ढेर से नहीं बन सकते।"

इस शोध पत्र की प्रतिभा यह सिद्ध करने में निहित है कि यदि आप इस फ़िल्टर किए गए समूह का पालन करते हैं, तो "बुरे जोड़े" (वे जिनका औसत एक इकाई भिन्न है) अविश्वसनीय रूप से दुर्लभ हो जाते हैं। लेखक चरों के परिवर्तन (change of variables) से जुड़ी एक चतुर गणितीय तकनीक का उपयोग करता है—मूल रूप से संख्याओं को फिर से नाम देना ताकि पैटर्न को देखना आसान हो जाए—यह दिखाने के लिए कि इस समूह के किसी भी एकल व्यक्ति के लिए "बुरे जोड़ों" की औसत संख्या बहुत कम है।

वास्तव में, गणित यह दिखाता है कि इस फ़िल्टर किए गए समूह के अधिकांश लोगों के लिए, ऐसे साथी लगभग न के बराबर हैं जिनके साथ वे जुड़ नहीं सकते। इन अंतःक्रियाओं (interactions) को सावधानीपूर्वक गिनकर, लेखक सिद्ध करता है कि उन कुछ लोगों को हटाने के बाद भी जिनके पास एक प्रतिबंधित साथी है, शेष समूह अभी भी बहुत बड़ा है। यह अभी भी कुल भीड़ के एक स्थिर अंश से बड़ा है।

यह क्यों मायने रखता है

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

इसके अलावा, इस खोज का एक दुष्प्रभाव (side effect) है। यदि आपके पास इकाई भिन्नों का एक सेट है जहाँ दो का औसत इकाई भिन्न नहीं होता है, तो आपके पास स्वतः ही एक ऐसा सेट होता है जिसमें कोई "तीन-पदों वाली अंकगणितीय प्रगति" (no three-term arithmetic progressions - यानी तीन संख्याएँ समान अंतराल पर नहीं) नहीं होती है। यह ऐसे सेटों के पिछले रिकॉर्ड में सुधार करता है जो इतने बड़े थे।

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

तकनीकी सारांश: उन इकाई भिन्नों (Unit Fractions) के समूह जिनका औसत एक इकाई भिन्न नहीं है

समस्या का विवरण
यह शोध पत्र अर्दोस और ग्राहम (Erdős and Graham) द्वारा पूछे गए एक प्रश्न को संबोधित करता है, जो कि एक विशिष्ट विभाज्यता की स्थिति (divisibility condition) को संतुष्ट करने वाले उपसमुच्चय $A \subseteq \{1, \dots, N\}$ के अधिकतम आकार के संबंध में है। वह स्थिति यह है कि किन्हीं भी भिन्न $a, b \in A$ के लिए, $a+b$ , $2ab $को विभाजित नहीं करता है। इकाई भिन्नों के संदर्भ में, यह कहने के समतुल्य है कि किन्हीं भी दो भिन्न$ 1/a $और$ 1/b $का औसत स्वयं एक इकाई भिन्न नहीं है। अर्दोस और ग्राहम ने पूछा था कि क्या ऐसा सेट$ A $अनिवार्य रूप से$ o(N) $आकार का होना चाहिए (अर्थात, क्या ऐसे सेटों का घनत्व$ N \to \infty$ होने पर शून्य हो जाना चाहिए)।

इसके अतिरिक्त, यह शोध पत्र उल्लेख करता है कि यह समस्या इकाई भिन्नों के बड़े समुच्चयों के अस्तित्व से निकटता से संबंधित है जिनमें गैर-तुच्छ तीन-पदों वाली अंकगणितीय प्रगति (non-trivial three-term arithmetic progressions) नहीं होती है, जो कि हाल ही में कोर्स्की (Korsky) द्वारा उठाया गया एक प्रश्न है।

कार्यप्रणाली और निर्माण
लेखक एक उपसमुच्चय $A_N \subseteq \{1, \dots, N\}$ का निर्माण करता है जो $o(N)$ अनुमान का खंडन करता है, जिससे अर्दोस-ग्राहम के प्रश्न का नकारात्मक उत्तर प्राप्त होता है। निर्माण $\Omega(n)$ फलन पर आधारित है, जो गुणनखंडों की कुल संख्या (multiplicity के साथ) को गिनता है।

सेट $A_N$ को $\{1, \dots, N\}$ के उन पूर्णांकों $a$ के सेट के रूप में परिभाषित किया गया है जिनके लिए किसी भी $b \in \{1, \dots, N\}$ के लिए (जहाँ $a \neq b$ और $\Omega(b) \le \Omega(a)$ ), यह स्थिति $a+b \nmid 2ab$ सत्य होती है।

प्रमाण रणनीति में निम्नलिखित चरण शामिल हैं:

विभाज्यता में न्यूनीकरण (Reduction to Divisibility): चरों के परिवर्तन $u = a/\gcd(a,b)$ और $v = b/\gcd(a,b)$ का उपयोग करते हुए, $a+b \mid 2ab$ की स्थिति को सह-अभाज्य (coprime) पूर्णांकों $u, v$ के अस्तित्व के रूप में दिखाया गया है कि $u(u+v) \mid 2a$ और $b = av/u$ है।
एक "अच्छे" सेट $S$ पर प्रतिबंध: एक बड़ा उपसमुच्चय सुनिश्चित करने के लिए, लेखक $S$ $S$ के पूर्णांकों $a$ $a$ पर ध्यान केंद्रित करता है जो तीन शर्तों को पूरा करते हैं:
- $a$ के कोई छोटे अभाज्य गुणनखंड नहीं हैं (विशेष रूप से, एक बड़े पैरामीटर $L$ से कम के कोई अभाज्य गुणनखंड नहीं)।
- $a$ , 4 से विभाज्य नहीं है।
- $x$ तक के $a$ के अभाज्य गुणनखंडों की संख्या, $\Omega(a, x)$ , किसी भी $x$ के लिए अपेक्षित औसत $(1+\epsilon)\log \log x$ से काफी अधिक नहीं है।
गणना और औसत (Counting and Averaging): तर्क का मुख्य हिस्सा यह दिखाना है कि $S$ $S$ के "बुरे" तत्व (वे $a \in S$ $a \in S$ जिनके लिए एक $b$ $b$ मौजूद है जहाँ $\Omega(b) \le \Omega(a)$ $Ω (b) \leq Ω (a)$ और $a+b \mid 2ab$ $a + b ∣ 2 ab$ ) $S$ $S$ के एक छोटे अनुपात में हैं।
- लेखक उन युग्मों $(u, v)$ की संख्या को सीमित करता है जिनके लिए $a \in S$ के लिए $u(u+v)$ , $2a$ को विभाजित करता है।
- इसमें डायडिक अंतराल (dyadic intervals) पर मल्टीप्लिकेटिव फलनों के योगों का अनुमान लगाना शामिल है। लेखक औसत संख्या के युग्मों को सीमित करने के लिए गैर-ऋणात्मक मल्टीप्लिकेटिव फलनों के योगों पर डे ला ब्रेटेच (de la Bretèche) और टेनेनबाउम (Tenenbaum) के एक परिणाम का उपयोग करता है।
मुख्य विश्लेषणात्मक अंतर्दृष्टि: $\Omega(b) \le \Omega(a)$ की स्थिति (जो चर परिवर्तन में $\Omega(v) \le \Omega(u)$ में परिवर्तित होती है) अत्यंत महत्वपूर्ण है। इस प्रतिबंध के बिना, युग्मों की औसत संख्या $\log \log N$ की घात की तरह बढ़ेगी (हूली (Hooley) के $\Delta$ फंक्शन के समान)। हालांकि, इस प्रतिबंध और छोटे अभाज्य गुणनखंडों के निष्कासन के साथ, दिए गए $a$ के लिए युग्मों की औसत संख्या सीमित रहती है, जिससे "बुरे" सेट को $S$ के एक छोटे अंश के रूप में दिखाया जा सकता है।

मुख्य परिणाम

प्रमेय 1 (Theorem 1): एक स्थिरांक $c > 0$ मौजूद है कि सभी पर्याप्त बड़े $N$ के लिए, ऊपर परिभाषित सेट $A_N$ का आकार $|A_N| > cN$ है।
$A_N$ का गुण: किन्हीं भी भिन्न $a, b \in A_N$ के लिए, $a+b \nmid 2ab$ ।
इकाई भिन्नों के लिए निहितार्थ: सेट $\{1/a : a \in A_N\}$ रैखिक घनत्व ($> cN$) वाला इकाई भिन्नों का एक सेट है जिसमें किन्हीं भी दो भिन्न सदस्यों का औसत स्वयं एक इकाई भिन्न नहीं है।
अंकगणितीय प्रगति के लिए निहितार्थ: फलस्वरूप, इस सेट में इकाई भिन्नों की कोई गैर-तुच्छ तीन-पदों वाली अंकगणितीय प्रगति नहीं है।

महत्व और दावे
शोध पत्र स्पष्ट रूप से अर्दोस और ग्राहम के प्रश्न का एक नकारात्मक उत्तर प्रदान करने का दावा करता है, यह प्रदर्शित करते हुए कि निर्दिष्ट गुण वाले इकाई भिन्नों के सेटों का धनात्मक निचला घनत्व (positive lower density) हो सकता है, जो इस सुझाव के विपरीत है कि उन्हें $o(N)$ होना चाहिए।

लेखक नोट करता है कि जबकि निर्माण एक रैखिक निचली सीमा (linear lower bound) प्रदान करता है, स्थिरांक $c$ अनुकूलित (optimized) नहीं है। शोध पत्र सुझाव देता है कि इष्टतम निचली सीमा यहाँ उपयोग की गई स्थिति की तुलना में अधिक जटिल शर्त से उत्पन्न होगी। यह कार्य कोर्स्की द्वारा तीन-पदों वाली अंकगणितीय प्रगति के संबंध में किए गए निर्माण में सुधार भी करता है।

लेखक स्वीकार करता है कि प्रमाण रणनीति स्टाइन कैमबी (Stijn Cambie) द्वारा छोटे $N$ के लिए की गई गणना से प्रेरित थी और पैटर्न पहचान, संदर्भ खोजने और प्रूफरीडिंग के लिए AI टूल (ChatGPT) का उपयोग किया गया था, जबकि कठोर गणितीय तर्क और $\Omega(b) \le \Omega(a)$ की स्थिति के लिए विशिष्ट अनुकूलन लेखक का योगदान है। विधि $a+b \nmid ab$ (योग इकाई भिन्न नहीं हैं) से संबंधित समस्या के लिए भी एक निचली सीमा प्रदान करती है, हालांकि यह सीमा विषम संख्याओं द्वारा प्रदान की गई तुच्छ सीमा से कमजोर है।

महान "कोई-औसत-नहीं" डकैती (The Great "No-Average" Heist)

यह जादू कैसे काम करता है

यह क्यों मायने रखता है

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