एक अधूरा प्रमाण आपको जो सबसे उपयोगी बात बता सकता है वह यह है कि वह ठीक कहाँ टूटता है, और यह प्रमाण लगभग दर्जन भर विशिष्ट स्थानों पर टूटता है।
कार्यकारी सारांश
- इस कार्य के दो भाग हैं। पहला व्युत्क्रम-योग समस्या के लिए एक तर्क विकसित करता है। दूसरा प्रत्येक निश्चित प्रगति लंबाई के लिए एक अर्ध-बहुपद सीमा की तलाश करता है, और वह लक्ष्य प्राप्त नहीं हुआ है।
- आधार रेखा ब्लूम और सिसास्क का तीन-पदीय व्युत्क्रम-योग परिणाम है। अकेले गुणात्मक घनत्व क्षय (qualitative density decay) वह संकलनीयता (summability) प्रदान नहीं करता है जिसकी तर्क को आवश्यकता है।
- कई दृष्टिकोण आजमाए गए: संरचित परिवेश समुच्चय (structured ambient sets), एक साथ आवृत्ति संरेखण (simultaneous frequency alignment), विरल गणना लेम्मा, क्रूट-सिसास्क (Croot-Sisask) स्मूदिंग, लिफ्टिंग और पुनरावृत्ति, कॉर्नर, और पैमाने p = log M पर एन्ट्रॉपी। प्रत्येक को एक स्पष्ट बाधा का सामना करना पड़ा।
- अंतिम गणना को प्रतिबंध लेम्मा या विरल गणना सिद्धांत के बिना अधूरा छोड़ दिया गया था।
- संस्थापकों और तकनीकी प्रमुखों के लिए, सबक पद्धति के बारे में है: नामित विफलताओं का एक लेखा-जोखा एक आत्मविश्वास से भरे अधूरे खाके की तुलना में अधिक विश्वसनीय परिणाम है।
दो कार्य, और उनमें से केवल एक का ही कभी दावा किया गया था #
सामग्री दो कार्यों में विभाजित है, और उनकी स्थिति को अलग रखना उपयोगी है। पहला व्युत्क्रम-योग समस्या के लिए एक तर्क विकसित करता है। दूसरा प्रत्येक निश्चित प्रगति लंबाई के लिए एक अर्ध-बहुपद सीमा की तलाश करता है। यहाँ क्रियाएं मायने रखती हैं। पहले कार्य को एक तर्क विकसित करने के रूप में वर्णित किया गया है। दूसरा केवल एक सीमा की तलाश करता है। रिकॉर्ड में कुछ भी यह नहीं कहता है कि दूसरा लक्ष्य प्राप्त कर लिया गया था, और मैं इसे पूरे लेख में एक लक्ष्य के रूप में ही मानूंगा।
सहायक शून्य से शुरुआत नहीं करता है। यह आधार रेखा के रूप में ब्लूम और सिसास्क के तीन-पदीय व्युत्क्रम-योग परिणाम का उपयोग करता है। उसके बाद सब कुछ उस आधार रेखा से आगे बढ़ने का एक प्रयास है, या तो लंबी प्रगतियों की ओर या एक मजबूत मात्रात्मक कथन की ओर। संकेतन (notation) शुरू में ही तय कर लिया जाता है। प्रत्येक k के लिए, r_k(N) बिना किसी गैर-तुच्छ (nontrivial) k-पदीय प्रगति के {1, ..., N} के उपसमुच्चय का सबसे बड़ा आकार है। घनत्व α = |A|/N वाला एक समुच्चय A अध्ययन की वस्तु है, और सामान्यीकृत फलन (normalised function) f = 1_A/α है।
वह सामान्यीकरण आगे आने वाली अधिकांश बातों को संचालित करता है। μ = 1_A/α को परिभाषित करें, ताकि E[μ] = 1 हो, और M = α^-1 निर्धारित करें। तब लघुगणकीय विरलता (logarithmic sparsity) p = log(1/α) है, जो log M के समान है। समुच्चय जितना अधिक विरल होगा, M और p उतने ही बड़े होंगे। नीचे दी गई प्रत्येक बाधा, किसी न किसी रूप में, इस बारे में एक कथन है कि जैसे-जैसे वह विरलता बढ़ती है, क्या होता है।
घनत्व क्षय और संकलनीयता एक ही चीज़ नहीं हैं #
पहली बाधा किसी भी फूरियर विश्लेषण से पहले, तर्क की वास्तुकला के स्तर पर प्रकट होती है। रिकॉर्ड स्पष्ट रूप से कहता है कि अकेले गुणात्मक घनत्व क्षय यह संकलनीयता प्रदान नहीं करता है। यह जानना कि पैमानों के माध्यम से आगे बढ़ने पर घनत्व सिकुड़ता है, पर्याप्त नहीं है। व्युत्क्रम-योग समस्या को जोड़ने के लिए सिकुड़न को पर्याप्त रूप से मात्राबद्ध करने की आवश्यकता होती है।
एक आकर्षक बचाव पुनरावृत्ति (recurrence) है। नोट्स कहते हैं कि चरम प्रगति-मुक्त घनत्वों के लिए पर्याप्त रूप से मजबूत पुनरावृत्ति घातांकीय पैमानों (exponential scales) में संकलनीयता दे सकती है। वह वाक्य सावधानी से लिखा गया है, और इसे सावधानी में ही रहना चाहिए। यह वर्णन करता है कि एक काल्पनिक मजबूत पुनरावृत्ति क्या कर सकती है। यह किसी ऐसी पुनरावृत्ति की पुष्टि नहीं करता है।
दूसरी लागत पहली से अलग है। सहायक एक अतिरिक्त लागत के रूप में कई कमजोर सहसंबंधों (weak correlations) के संचय की पहचान करता है। प्रत्येक व्यक्तिगत सहसंबंध हानिरहित हो सकता है जबकि उनका योग हानिरहित नहीं होता। यह विषय बार-बार आता है: एक कदम जो एक बार सस्ता होता है, जब उसे दोहराना पड़ता है तो महंगा हो जाता है।
संरचना को बनाए रखना, और तीन पद सामान्यीकृत क्यों नहीं होते #
एक प्रस्तावित उपाय संरचना को बनाए रखना है। सहायक क्रमिक वृद्धियों (successive increments) के माध्यम से संरचित परिवेश समुच्चयों को बनाए रखने का प्रस्ताव करता है। विचार, जैसा कि स्रोत में सावधानी के साथ व्यक्त किया गया है, यह है कि एक चरण से दूसरे चरण में जाते समय आपको उस संरचित समुच्चय को नहीं फेंकना चाहिए जो आपको एक चरण में मिला था।
तीन-पदीय मामले में एक विशेषता है जो लंबी प्रगतियों में नहीं होती। तीन-पदीय प्रगतियों के लिए उपयोगी धनात्मकता तंत्र (positivity mechanism) सीधे लंबी मूल गणनाओं (rooted counts) तक विस्तारित नहीं होता है। यह उन कई स्थानों में से पहला है जहाँ बाधा तीन से बड़े k के लिए विशिष्ट है। बाद का एक नोट सामान्य शब्दों में यही बात कहता है: लंबी प्रगतियाँ आगे चलकर उच्च-क्रम की बाधाएँ पेश करती हैं।
रिकॉर्ड में इस बात पर एक टेंसर-उत्पाद (tensor-product) खाका शामिल है कि क्या निश्चित एकरूपता मानक (uniformity norms) विरल सामान्यीकृत फलनों को नियंत्रित कर सकते हैं। सहायक इस खाके को पूरा नहीं करता है। मैं यह संकेत देने के बजाय कि प्रश्न किसी भी तरह से सुलझ गया है, इस तथ्य को रिपोर्ट करना पसंद करूंगा।
आवृत्तियों को कई बार के बजाय एक बार संरेखित करना #
आवृत्ति फलनों का क्रमिक संरेखण वह जगह है जहाँ संचय की समस्या सबसे अधिक चुभती है। यदि प्रत्येक संरेखण में थोड़ी लागत आती है, तो उनकी एक लंबी श्रृंखला में बहुत अधिक लागत आती है। सहायक क्रमिक संरेखण के माध्यम से होने वाले नुकसान को जमा करने के बजाय, कई आवृत्ति फलनों को एक साथ संरेखित करने का प्रस्ताव करता है। हाशिए का नोट इसे सीधे शब्दों में कहता है: "यदि सभी आवृत्तियों को एक साथ संरेखित करें तो कोई पुनरावृत्तीय हानि नहीं होती।" जिस प्रस्ताव का यह सारांश देता है, उसी की तरह यह वाक्य भी शर्त के साथ है, क्योंकि यह वर्णन करता है कि यदि एक साथ संरेखण काम करता है तो इससे क्या लाभ होगा।
नोट फिर बताता है कि अभी भी क्या गायब है। S_h को बड़े सहसंबंधों, कम से कम exp(-poly), वाली आवृत्तियों से पुनर्प्राप्त करने योग्य होना चाहिए। वह एक आवश्यकता बनी हुई है, कोई परिणाम नहीं। जिन सहसंबंधों को व्यवस्थित किया जा रहा है वे युग्म उत्पादों f(x)f(x + h) के हैं, जहाँ f = 1_A/α और α = |A|/N है।
यह मान लेने पर भी, सहायक को अभी भी सापेक्ष सहसंबंध को संरक्षित करने और गणना तर्क को पूरा करने की आवश्यकता है। इसलिए एक साथ संरेखण के विचार में एक आकर्षक गुण है - कोई पुनरावृत्तीय हानि नहीं - और उन चीजों की एक सूची है जिन्हें किसी ने सत्यापित नहीं किया है। एक संबंधित दृष्टिकोण की एक संबंधित सीमा है। दुर्लभ सुसंगत शिखरों (rare coherent peaks) को छोटा करना स्वतंत्र आवृत्ति समूहों के लिए काम करता है, लेकिन आश्रित समूहों (dependent clusters) तक उस तर्क का विस्तार करना अनसुलझा बना हुआ है।
दुर्लभ खाली टुकड़े और अनुकूली भराव की लागत #
जब तर्क फूरियर-पक्ष के लेखा-जोखा से वास्तव में प्रगतियों की गणना करने की ओर बढ़ता है, तो एक संरचनात्मक समस्या प्रकट होती है। सहायक एक बाधा की पहचान करता है: संरचित टुकड़ों पर ऊपरी घनत्व सीमाएँ दुर्लभ खाली टुकड़ों की अनुमति देती हैं। किसी टुकड़े में A का कितना हिस्सा निहित है, इसकी ऊपरी सीमा इस बारे में कुछ नहीं कहती कि A का कोई भी हिस्सा वहाँ निहित है या नहीं। एक टुकड़ा जो दुर्लभ और खाली है, उन टुकड़ों के परिवार के भीतर बैठ सकता है जो सभी उस सीमा को संतुष्ट करते हैं।
एक प्रतिक्रिया अनुकूली भराव (adaptive filling) है, और यह अपने स्वयं के बिल के साथ आती है। अनुकूली भराव आगे की व्यवहार्यता शर्तों को पेश करता है जिन्हें सहायक ने साबित नहीं किया है। दुर्लभ खराब टुकड़ों को बाहर करने के लिए एक मेजोरेंट (majorant) एक स्वाभाविक तरीका है। सहायक का उद्धृत पाठ कहता है कि सभी दुर्लभ परमाणुओं पर एक मेजोरेंट संभवतः अवास्तविक है। टिप्पणी सावधानी भरी है, लेकिन यह सबसे सीधे समाधान से दूर इशारा करती है।
यही वह पैटर्न है जो शेष रिकॉर्ड की व्याख्या करता है। एक सस्ते तर्क को कहीं न कहीं निचली सीमा की आवश्यकता होती है, उपलब्ध उपकरण ऊपरी सीमाएँ देते हैं, और उनके बीच की खाई दुर्लभ, विरल, खाली चीजों से भरी होती है।
विरल गणना मशीनरी उधार लेना, और यह पाना कि उधार लिया गया हिस्सा पर्याप्त नहीं था #
सहायक ने पार पाने के रास्ते के लिए मौजूदा विरल-गणना साहित्य की ओर देखा। दो स्रोतों ने इस प्रयास को आकार दिया।
कॉनलन-फॉक्स-झाओ (Conlon-Fox-Zhao) सघनीकरण (densification) पर, सहायक ने पाया कि यह दो-तरफ़ा रैखिक-रूप अनुमानों (two-sided linear-forms estimates) पर निर्भर था। यह मायने रखता है क्योंकि यहाँ की सेटिंग में ऊपरी-सीमा की संरचना है, न कि दो-तरफ़ा। दो-तरफ़ा नियंत्रण पर बनी एक विधि तब उपलब्ध नहीं होती जब केवल एक पक्ष ज्ञात हो।
फिल्मस, हातामी, होसैनी और केलमैन (Filmus, Hatami, Hosseini, and Kelman) के विरल ग्राफ गणना लेम्मा ने असममित ग्रिड आघूर्णों (asymmetric grid moments) और धनात्मक-अर्धनिश्चित असंतुलन (positive-semidefinite unbalancing) के लिए मॉडल की आपूर्ति की। इसलिए इसने एक टेम्पलेट के रूप में काम किया, न कि सीधे उपयोग किए जाने वाले प्रमेय के रूप में। फिर भी, वही कठिनाई लौट आई। अकेले ऊपरी सीमाओं को बार-बार विरल छिद्रों का सामना करना पड़ा। एक और पेच ग्रिड आघूर्णों को पढ़ना कठिन बना देता है: बड़े केंद्रित ग्रिड आघूर्ण ऊपर की ओर संकेंद्रण के बजाय गायब द्रव्यमान (missing mass) को प्रतिबिंबित कर सकते हैं। एक बड़ा आघूर्ण संकेंद्रण के प्रमाण जैसा दिखता है, लेकिन यह समान रूप से उस द्रव्यमान द्वारा उत्पन्न किया जा सकता है जो वहाँ है ही नहीं। वह अस्पष्टता आघूर्ण पक्ष से देखी गई विरल-छिद्र समस्या है।
इसके बाद सहायक ने M में छोटे घात नुकसानों (small power losses) पर विचार किया। इसे कोई उपयुक्त गणना प्रमेय प्राप्त नहीं हुआ। यह एक स्पष्ट नकारात्मक परिणाम है, और यह क्षेत्र को सीमित करता है: तर्क को M की एक छोटी घात खोने की अनुमति देने पर भी, कोई उपयुक्त गणना प्रमेय नहीं मिला।
स्मूदिंग लागू करने के लिए बहुत महंगी थी #
गणना से पहले एक समुच्चय को नियमित (regularise) करने के लिए क्रूट-सिसास्क स्मूदिंग एक मानक मार्ग है। सहायक ने इस पर विचार किया और पाया कि प्रस्तावित अनुप्रयोग में आवश्यक सटीकता बहुत महंगी थी। विधि गलत नहीं थी। इसकी कीमत उस सीमा से अधिक थी जो तर्क चुका सकता था।
वही अर्थशास्त्र अन्य मार्गों को नियंत्रित करता है। फाइबर तर्कों (fibre arguments) के लिए, फाइबर सीमाएँ स्वचालित रूप से गुणा नहीं हुईं, और स्थिर-मानक गोलों (constant-norm spheres) ने निश्चित अंक वर्णमालाओं (fixed digit alphabets) पर अपेक्षित मजबूत क्षय को बाधित किया। एक उत्पाद संरचना से पता चलता है कि टुकड़ों पर सीमाओं को पूरे पर एक सीमा में संयोजित होना चाहिए, और यहाँ वे नहीं हुईं। लिफ्टिंग और पुनरावृत्ति के प्रयास में अभी भी मात्रात्मक रूप से बहुत अधिक नुकसान हुआ।
बेन-सैसन-रॉन-ज़ेवी (Ben-Sasson-Ron-Zewi) के सन्निकट-द्वैत दृष्टिकोण पर आगे विचार किया गया। सहायक ने पाया कि विचाराधीन पुनरावृत्ति मात्रात्मक रूप से बहुत अधिक खो देती है। यह लिफ्टिंग प्रयास के समान ही निर्णय है, जिस पर एक अलग दिशा से पहुँचा गया है, जो बताता है कि समस्या किसी एक निर्माण में नहीं बल्कि स्वयं पुनरावृत्ति में निहित है। मैं इसे एक सिद्ध निदान के रूप में नहीं, बल्कि पैटर्न के बारे में एक अवलोकन के रूप में रखूंगा।
आशावाद की एक पंक्ति, और अंकगणित जिसने इसे कमजोर कर दिया #
रिकॉर्ड में स्पष्ट प्रगति का एक क्षण शामिल है। सहायक का उद्धृत पाठ विस्मयादिबोधक चिह्न सहित दावा करता है कि उत्पादों के घात उतार-चढ़ाव (products degree fluctuations) को बहुपद सटीकता (polynomial precision) के साथ संभाला जाता है! यह एक सावधानीपूर्ण दावा है, जिसे ठीक वैसे ही उद्धृत किया गया है जैसे सहायक ने लिखा था।
सहायक ने तब इसके साथ समस्या देखी। चिह्नित विस्तारों (signed expansions) में 2^p के क्रम का निरपेक्ष द्रव्यमान (absolute mass) हो सकता है, जो बहुपद सटीकता को पूरी तरह से दबा देता है। याद करें कि p = log M है। M में बहुपद सटीकता एक मामूली लक्ष्य है, जबकि 2^p के क्रम के द्रव्यमान वाला एक चिह्नित विस्तार घातांकीय रूप से बड़ा होता है। सटीकता वास्तविक है, लेकिन यह जिस निरस्तीकरण (cancellation) पर निर्भर करती है वह उतने द्रव्यमान को अवशोषित नहीं कर सकता।
मुझे यह लेखा-जोखा में सबसे शिक्षाप्रद प्रविष्टि लगती है, क्योंकि यह स्व-जाँच को काम करते हुए दिखाती है। विस्मयादिबोधक चिह्न के साथ किए गए दावे को फिर से खोला गया, और वह जिस अंकगणित पर निर्भर था उसे अपर्याप्त पाया गया। एक ईमानदार कार्य रिकॉर्ड ऐसा ही दिखता है। उत्साह और सुधार दोनों एक ही दस्तावेज़ में मौजूद हैं।
कॉर्नर और बॉक्स लंबी प्रगतियों में संयोजित नहीं होते #
एक अलग रणनीति एक मजबूत ज्ञात परिणाम को सीढ़ी के रूप में उपयोग करने की थी। अर्ध-बहुपद कॉर्नर सीमा (quasipolynomial corners bound) प्रासंगिक उपकरण है, लेकिन परिणामी कॉर्नर स्वचालित रूप से लंबी प्रगतियों को संयोजित नहीं करते थे। एक कॉर्नर एक द्वि-आयामी पैटर्न है और एक लंबी प्रगति एक एक-आयामी पैटर्न है, और उनके बीच का रास्ता स्वचालित नहीं है।
चार-पदीय बॉक्स गणना (four-term box count) एक संबंधित कठिनाई प्रस्तुत करती है। चार-पदीय बॉक्स गणना की धनात्मकता ने इसके अपवादजनक विकर्ण (exceptional diagonal) को नियंत्रित नहीं किया। एक धनात्मक गणना अभी भी अपभ्रष्ट विन्यासों (degenerate configurations) से प्रभावित हो सकती है, और विकर्ण वह जगह है जहाँ वे रहते हैं।
नोट्स सावधानी से आगे बढ़ने का एक संभावित रास्ता पेश करते हैं। पूर्ण बॉक्स मानक (complete box norms) इस बात के लिए एक संभावित तंत्र प्रदान करते हैं कि क्या अकेले ऊपरी गणनाएँ निचली प्रगति गणनाओं को बाध्य कर सकती हैं। वह प्रश्न, कि क्या एक-तरफ़ा जानकारी निचली सीमा को बाध्य कर सकती है, वही है जिसके चारों ओर पूरी परियोजना घूमती रहती है। फिर भी यह कहाँ तक विस्तारित होता है इसकी एक सीमा है। ऋणात्मक घनीय योगदान (negative cubic contributions) प्रगति प्रणालियों में सीधे विस्तार को बाधित करते हैं।
पैमाने p = log M पर एन्ट्रॉपी की ओर बढ़ना #
प्रत्यक्ष गणना मार्गों के अवरुद्ध होने के साथ, उच्च आघूर्णों के केली-मेका (Kelley-Meka) उपयोग का सहारा लेते हुए, जाँच पैमाने p = log M पर एन्ट्रॉपी की ओर मुड़ गई। पैमाने का चुनाव मनमाना नहीं है: p = log M ठीक वही लघुगणकीय विरलता है जिसे शुरुआत में परिभाषित किया गया था।
सहायक का उद्धृत पाठ अऋणात्मकता (nonnegativity) और आवृत्ति वियोज्यता (frequency dissociativity - Chang) द्वारा L2 के बजाय एन्ट्रॉपी का उपयोग करने का प्रस्ताव करता है। वह एक प्रस्ताव है, परिणाम नहीं। तर्क यह है कि μ = 1_A/α अऋणात्मक है, और चांग की वियोज्यता आवृत्ति पक्ष पर संरचना देती है, इसलिए एन्ट्रॉपी वह काम कर सकती है जो एक L2 मात्रा नहीं कर सकती।
इसके काम करने के लिए सहायक को एक विशिष्ट विश्लेषणात्मक इनपुट की आवश्यकता थी। सहायक ने उपयुक्त स्थानीय ऊपरी सीमाओं के तहत, परिबद्ध (bounded) g और निश्चित q > 2 के लिए फूरियर प्रतिबंध अनुमान ||g_hat||_q = O(1) की तलाश की। यह एक लक्ष्य था। यह स्थापित नहीं हुआ था।
अगले चरण में बाधा सामने आई। उच्च आघूर्णों से संरचना निकालने में बहुत अधिक द्रव्यमान खो गया। उच्च आघूर्ण वे हैं जहाँ केली-मेका-शैली के तर्क अपनी ताकत हासिल करते हैं, और यहाँ वे वह जगह भी थे जहाँ तर्क ने वह खो दिया जिसे उसे बचाकर रखने की जरूरत थी।
वह गणना जो सबसे करीब पहुँची #
अंतिम गणना अपने आप में एक नज़र की पात्र है, क्योंकि इसमें एक सफलता और एक विफलता दोनों हैं। यह अपनी संवलन परिकल्पनाओं के तहत एक पूर्ण अंतिम-बिंदु सीमा तक पहुँचती है। वह एक वास्तविक परिणाम है, जिसे इसी रूप में बताया गया है, और इसमें "अपनी संवलन परिकल्पनाओं के तहत" की शर्त जुड़ी है। जब वे परिकल्पनाएँ लागू होती हैं तो यह सीमा बनी रहती है।
लेकिन यह प्रस्तावित गणना तर्क द्वारा आवश्यक घातांक-तीन की दहलीज को पार करने में विफल रहती है। सहायक के अंश में संवलन और कैप (cap) से एक कमजोर l3 सीमा का उल्लेख है, और यह कि अंतर्वेशन (interpolation) के लिए एक सख्त रूप से बेहतर घातांक (3 से नीचे) की आवश्यकता है। सीधे शब्दों में कहें तो, गणना ठीक एक रेखा के गलत तरफ उतरती है। घातांक तीन पर एक सीमा पर्याप्त नहीं है, और अंतर्वेशन को सख्त रूप से कुछ बेहतर चाहिए।
इस तरह की करीबी चूक को "लगभग वहाँ पहुँच गए" के रूप में पढ़ना आकर्षक है। मैं इसका विरोध करूंगा। रिकॉर्ड यह नहीं कहता कि गणना दहलीज से कितनी दूर है, और एक अंतर जो एक एकल घातांक का है, फिर भी पूरी समस्या हो सकता है। रिकॉर्ड जो कहता है वह यह है कि सहायक ने प्रतिबंध लेम्मा या विरल गणना सिद्धांत को व्युत्पन्न किए बिना गणना को अधूरा छोड़ दिया। वे दो गायब टुकड़े परियोजना का खुला उधार हैं।
इस लेखा-जोखा का मूल्य क्या है #
इसे एक विफल प्रयास कहकर खारिज करना आसान होगा। मुझे लगता है कि यह साक्ष्य को गलत तरीके से पढ़ता है, एक ऐसे कारण से जो संख्या सिद्धांत से परे अच्छी तरह लागू होता है।
दस्तावेज़ विशिष्ट है। यह प्रत्येक मोड़ पर बाधा को नाम देता है: दुर्लभ खाली टुकड़े, ग्रिड आघूर्णों में गायब द्रव्यमान, कॉनलन-फॉक्स-झाओ में दो-तरफ़ा अनुमान, p में घातांकीय चिह्नित द्रव्यमान, चार-पदीय बॉक्स गणना का अपवादजनक विकर्ण, ऋणात्मक घनीय योगदान। यह एक प्रदर्शित सीमा और एक अपेक्षित तंत्र के बीच अंतर करता है। यह संकलनीयता के लिए पुनरावृत्ति को किसी ऐसी चीज़ के रूप में चिह्नित करता है जो काम कर सकती है, और दूसरे कार्य को किसी ऐसी चीज़ के रूप में जिसकी तलाश की गई है। यह बताता है कि सहायक ने क्या पूरा नहीं किया।
AI-सहायता प्राप्त अनुसंधान का मूल्यांकन करने वाले संस्थापक या तकनीकी प्रमुख के लिए, यही वह चीज़ है जिसकी तलाश की जानी चाहिए। एक प्रणाली जो आत्मविश्वास से भरा, पूर्ण दिखने वाला तर्क लौटाती है, उसका ऑडिट करना कठिन होता है। एक प्रणाली जो नामित विफलताओं की एक सूची लौटाती है, जिसमें एक करीबी-सफलता को स्पष्ट रूप से दहलीज से कम पड़ने के रूप में चिह्नित किया गया हो, उसका पंक्ति दर पंक्ति ऑडिट किया जा सकता है। कोई भी व्यक्ति घातांक-तीन की समस्या, या आश्रित-समूह की समस्या को उठा सकता है, और जान सकता है कि शुरुआती स्थिति क्या है।
एक पैटर्न भी है जिसे सीधे तौर पर बताना उचित है। कई विफलताएँ संचय की विफलताएँ हैं: कमजोर सहसंबंध जो जुड़ते जाते हैं, क्रमिक संरेखण जो बढ़ते जाते हैं, पुनरावृत्ति जो बहुत अधिक खो देती है, फाइबर सीमाएँ जो गुणा करने में विफल रहती हैं। एक प्रस्तावित उपाय सीधे इसे लक्षित करता है - आवृत्तियों को एक साथ संरेखित करना ताकि कोई पुनरावृत्तीय हानि न हो। यह शर्त के साथ है, और इसकी पूर्वशर्त, बड़े सहसंबंधों वाली आवृत्तियों से S_h को पुनर्प्राप्त करना, असिद्ध है। फिर भी, यह रिकॉर्ड में वह प्रस्ताव है जो सबसे लगातार आने वाली शिकायत का सबसे सीधा जवाब देता है।
इसलिए रिकॉर्ड जो खुला प्रश्न उठाता है वह संकीर्ण और जाँचने योग्य है। क्या उन संवलन परिकल्पनाओं के तहत घातांक तीन से सख्त रूप से बेहतर सीमा प्राप्त की जा सकती है जो पहले से ही अंतिम-बिंदु सीमा देती हैं? यदि हाँ, तो अंतर्वेशन के पास काम करने के लिए कुछ है। यदि नहीं, तो फूरियर प्रतिबंध मार्ग और विरल गणना सिद्धांत, जिनमें से किसी को भी व्युत्पन्न नहीं किया गया है, आगे देखने के लिए स्थान हैं।
अक्सर पूछे जाने वाले प्रश्न #
वे दो गणितीय समस्याएँ क्या थीं जिनकी AI सहायक ने जाँच की?
सहायक ने प्रगति-मुक्त समुच्चयों से संबंधित दो जुड़े हुए कार्यों पर काम किया: व्युत्क्रम-योग समस्या के लिए एक तर्क विकसित करना, और प्रत्येक निश्चित प्रगति लंबाई k के लिए एक अर्ध-बहुपद सीमा की तलाश करना। जबकि इसने आधार रेखा के रूप में ब्लूम और सिसास्क के तीन-पदीय व्युत्क्रम-योग परिणाम का उपयोग किया, मनमानी प्रगति लंबाई के लिए अर्ध-बहुपद सीमा प्राप्त नहीं हुई।
ऊपरी घनत्व सीमाएँ आवश्यक गणना लेम्मा उत्पन्न करने में क्यों विफल रहीं?
संरचित टुकड़ों पर ऊपरी घनत्व सीमाएँ दुर्लभ खाली टुकड़ों की अनुमति देती हैं, जिसका अर्थ है कि किसी टुकड़े के अंदर समुच्चय A का कितना हिस्सा निहित है, इसकी ऊपरी सीमा यह गारंटी नहीं देती है कि A का कोई भी तत्व वहाँ निहित है। कई प्रयासों में, अकेले ऊपरी सीमाओं को बार-बार विरल छिद्रों का सामना करना पड़ा, और बड़े केंद्रित ग्रिड आघूर्ण ऊपर की ओर संकेंद्रण के बजाय गायब द्रव्यमान को प्रतिबिंबित कर सकते थे।
अंतिम गणना कहाँ रुक गई?
अंतिम गणना अपनी कथित संवलन परिकल्पनाओं के तहत एक पूर्ण अंतिम-बिंदु सीमा तक पहुँच गई, लेकिन केवल एक कमजोर l3 सीमा उत्पन्न की जो अंतर्वेशन के लिए आवश्यक सख्त रूप से तीन से कम घातांक दहलीज को पार करने में विफल रही। सहायक ने फूरियर प्रतिबंध लेम्मा या विरल गणना सिद्धांत को व्युत्पन्न किए बिना गणना को अधूरा छोड़ दिया।
संदर्भ #
- Thomas F. Bloom and Olof Sisask, (2020). Breaking the logarithmic barrier in Roth's theorem on arithmetic progressions ⧉. arXiv.
- Zander Kelley and Raghu Meka, (2023). Strong Bounds for 3-Progressions ⧉. arXiv.
- David Conlon, Jacob Fox, and Yufei Zhao, (2014). A relative Szemerédi theorem ⧉. Geometric and Functional Analysis.
- Ernie Croot and Olof Sisask, (2010). A probabilistic technique for finding almost-periods of convolutions ⧉. Geometric and Functional Analysis.
अंतिम समीक्षा .
इस लेख को क्रॉस-पोस्ट करें
Medium के लिए प्रारूप कॉपी करें
# प्रगति-मुक्त समुच्चयों पर एक AI का प्रहार: जो रुक गया उसका एक लेखा-जोखा — Sebastien Rousseau > Originally published at [https://sebastienrousseau.com/hi/2026-10-24-pragati-mukt-samuchchayon-ai-prahar/](https://sebastienrousseau.com/hi/2026-10-24-pragati-mukt-samuchchayon-ai-prahar/) एक AI सहायक ने प्रगति-मुक्त समुच्चयों के बारे में दो समस्याओं पर काम किया: व्युत्क्रम-योग समस्या के लिए एक तर्क, और प्रत्येक निश्चित प्रगति लंबाई के लिए एक अर्ध-बहुपद सीमा। इसने ब्लूम और सिसास्क के परिणाम का उपयोग किया। Read the full article on sebastienrousseau.com: https://sebastienrousseau.com/hi/2026-10-24-pragati-mukt-samuchchayon-ai-prahar/
Mastodon के लिए प्रारूप कॉपी करें
प्रगति-मुक्त समुच्चयों पर एक AI का प्रहार: जो रुक गया उसका एक लेखा-जोखा — Sebastien Rousseau एक AI सहायक ने प्रगति-मुक्त समुच्चयों के बारे में दो समस्याओं पर काम किया: व्युत्क्रम-योग समस्या के लिए एक तर्क, और प्रत्येक निश्चित प्रगति लंबाई के लिए एक अर्ध-बहुपद सीमा। इसने ब्लूम और सिसास्क के परिणाम का उपयोग किया। https://sebastienrousseau.com/hi/2026-10-24-pragati-mukt-samuchchayon-ai-prahar/
LinkedIn के लिए फ़ॉर्मेट की गई कॉपी
प्रगति-मुक्त समुच्चयों पर एक AI का प्रहार: जो रुक गया उसका एक लेखा-जोखा — Sebastien Rousseau एक AI सहायक ने प्रगति-मुक्त समुच्चयों के बारे में दो समस्याओं पर काम किया: व्युत्क्रम-योग समस्या के लिए एक तर्क, और प्रत्येक निश्चित प्रगति लंबाई के लिए एक अर्ध-बहुपद सीमा। इसने ब्लूम और सिसास्क के परिणाम का उपयोग किया।. यहाँ मुख्य रणनीतिक निष्कर्ष हैं: - दो कार्य, और उनमें से केवल एक का ही कभी दावा किया गया था. सामग्री दो कार्यों में विभाजित है, और उनकी स्थिति को अलग रखना उपयोगी है। पहला व्युत्क्रम-योग समस्या के लिए एक तर्क विकसित करता है। दूसरा प्रत्येक निश्चित प्रगति लंबाई के लिए एक अर्ध-बहुपद सीमा की तलाश करता है। यहाँ… - घनत्व क्षय और संकलनीयता एक ही चीज़ नहीं हैं. पहली बाधा किसी भी फूरियर विश्लेषण से पहले, तर्क की वास्तुकला के स्तर पर प्रकट होती है। रिकॉर्ड स्पष्ट रूप से कहता है कि अकेले गुणात्मक घनत्व क्षय यह संकलनीयता प्रदान नहीं करता है। यह जानना कि पैमानों के माध्यम से आगे… - संरचना को बनाए रखना, और तीन पद सामान्यीकृत क्यों नहीं होते. एक प्रस्तावित उपाय संरचना को बनाए रखना है। सहायक क्रमिक वृद्धियों (successive increments) के माध्यम से संरचित परिवेश समुच्चयों को बनाए रखने का प्रस्ताव करता है। विचार, जैसा कि स्रोत में सावधानी के साथ व्यक्त किया गया… - आवृत्तियों को कई बार के बजाय एक बार संरेखित करना. आवृत्ति फलनों का क्रमिक संरेखण वह जगह है जहाँ संचय की समस्या सबसे अधिक चुभती है। यदि प्रत्येक संरेखण में थोड़ी लागत आती है, तो उनकी एक लंबी श्रृंखला में बहुत अधिक लागत आती है। सहायक क्रमिक संरेखण के माध्यम से होने… इस लेख में उल्लिखित चुनौतियों के प्रति आपके संगठन का दृष्टिकोण क्या है? → https://sebastienrousseau.com/hi/2026-10-24-pragati-mukt-samuchchayon-ai-prahar/ #Ai #प्रहार #प्रगतिमुक्त #समुच्चय #लेखाजोखा Sebastien Rousseau | CC-BY-4.0
इस लेख को उद्धृत करें
प्रगति-मुक्त समुच्चयों पर एक AI का प्रहार: जो रुक गया उसका एक लेखा-जोखा — Sebastien Rousseau
एक AI सहायक ने प्रगति-मुक्त समुच्चयों के बारे में दो समस्याओं पर काम किया: व्युत्क्रम-योग समस्या के लिए एक तर्क, और प्रत्येक निश्चित प्रगति लंबाई के लिए एक अर्ध-बहुपद सीमा। इसने ब्लूम और सिसास्क के परिणाम का उपयोग किया।
BibTeX
@online{rousseau2026प,
author = {Rousseau, Sebastien},
title = {{प्रगति-मुक्त समुच्चयों पर एक AI का प्रहार: जो रुक गया उसका एक लेखा-जोखा — Sebastien Rousseau}},
year = {2026},
url = {https://sebastienrousseau.com/hi/2026-10-24-pragati-mukt-samuchchayon-ai-prahar/},
urldate = {2026}
}RIS
TY - GEN AU - Rousseau, Sebastien TI - प्रगति-मुक्त समुच्चयों पर एक AI का प्रहार: जो रुक गया उसका एक लेखा-जोखा — Sebastien Rousseau PY - 2026 UR - https://sebastienrousseau.com/hi/2026-10-24-pragati-mukt-samuchchayon-ai-prahar/ ER -
Vancouver
Rousseau S. प्रगति-मुक्त समुच्चयों पर एक AI का प्रहार: जो रुक गया उसका एक लेखा-जोखा — Sebastien Rousseau. sebastienrousseau.com. 2026 Oct 24. Available from: https://sebastienrousseau.com/hi/2026-10-24-pragati-mukt-samuchchayon-ai-prahar/
Chicago
Rousseau, Sebastien. "प्रगति-मुक्त समुच्चयों पर एक AI का प्रहार: जो रुक गया उसका एक लेखा-जोखा — Sebastien Rousseau." sebastienrousseau.com. October 24, 2026. https://sebastienrousseau.com/hi/2026-10-24-pragati-mukt-samuchchayon-ai-prahar/.
APA
Rousseau, S. (2026, October 24). प्रगति-मुक्त समुच्चयों पर एक AI का प्रहार: जो रुक गया उसका एक लेखा-जोखा — Sebastien Rousseau. sebastienrousseau.com. https://sebastienrousseau.com/hi/2026-10-24-pragati-mukt-samuchchayon-ai-prahar/
इस लेख को पुनः प्रकाशित करें
प्रगति-मुक्त समुच्चयों पर एक AI का प्रहार: जो रुक गया उसका एक लेखा-जोखा — Sebastien Rousseau
एक AI सहायक ने प्रगति-मुक्त समुच्चयों के बारे में दो समस्याओं पर काम किया: व्युत्क्रम-योग समस्या के लिए एक तर्क, और प्रत्येक निश्चित प्रगति लंबाई के लिए एक अर्ध-बहुपद सीमा। इसने ब्लूम और सिसास्क के परिणाम का उपयोग किया।
यह लेख लाइसेंस के अंतर्गत है Creative Commons Attribution 4.0 International. पुनः प्रकाशन के लिए कैनोनिकल URL का श्रेय आवश्यक है।
प्रगति-मुक्त समुच्चयों पर एक AI का प्रहार: जो रुक गया उसका एक लेखा-जोखा — Sebastien Rousseau एक AI सहायक ने प्रगति-मुक्त समुच्चयों के बारे में दो समस्याओं पर काम किया: व्युत्क्रम-योग समस्या के लिए एक तर्क, और प्रत्येक निश्चित प्रगति लंबाई के लिए एक अर्ध-बहुपद सीमा। इसने ब्लूम और सिसास्क के परिणाम का उपयोग किया। Originally published at https://sebastienrousseau.com/hi/2026-10-24-pragati-mukt-samuchchayon-ai-prahar/ by Sebastien Rousseau. Licensed under CC-BY-4.0.