🔢 mathematics

A random polynomial with multiplicative coefficients is almost surely irreducible

यह मानते हुए कि डेडेकइंड ज़ेटा फलनों (Dedekind zeta functions) के लिए रीमान परिकल्पना (Riemann hypothesis) सत्य है, यह शोध पत्र सिद्ध करता है कि यादृच्छिक गुणात्मक $\pm1$ गुणांकों वाला एक $d$ डिग्री का बहुपद पूर्णांकों पर लगभग निश्चित रूप से अपरिमेय (irreducible) होता है, जिसमें अपरिमेयता की प्रायिकता $O(d^{-1/2+\varepsilon})$ द्वारा सीमित है।

मूल लेखक: Péter P. Varjú, Max Wenqiang Xu

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

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

CC BY 4.0

मूल लेखक: Péter P. Varjú, Max Wenqiang Xu

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

द ग्रेट पॉलिनोमियलल पज़ल (बहुपद की पहेली)

कल्पना कीजिए कि आप ब्लॉक्स से एक मीनार बना रहे हैं। गणित की दुनिया में, इन मीनारों को पॉलिनोमियल (बहुपद) कहा जाता है। ये ऐसे व्यंजक (expressions) हैं जो चरों (variables जैसे $x$ ) और संख्याओं (जिन्हें गुणांक या coefficients कहा जाता है) से मिलकर बने होते हैं, जो जोड़ और गुणा के माध्यम से आपस में जुड़े होते हैं। एक साधारण मीनार $x^2 + 3x + 2$ जैसी दिख सकती है।

अब, कल्पना कीजिए कि आपके पास इन मीनारों को बनाने के लिए निर्देशों का एक जादुई सेट है। कभी-कभी, निर्देश यादृच्छिक (random) होते हैं: आप एक सिक्का उछालकर यह तय करते हैं कि कोई संख्या धनात्मक होगी या ऋणात्मक। अन्य समय में, निर्देश सख्त होते हैं और एक विशिष्ट पैटर्न का पालन करते हैं, जैसे कि एक रेसिपी जिसे ठीक से मानना अनिवार्य है।

गणितज्ञ लंबे समय से इस सवाल को लेकर जुनूनी रहे हैं: क्या ये मीनारें "पूर्ण" हैं या इन्हें अलग किया जा सकता है? गणित की भाषा में, एक पॉलिनोमियल अविभाज्य (irreducible) है यदि इसे छोटे, सरल पॉलिनोमिअल्स के गुणनफल में नहीं तोड़ा जा सकता। यह एक ठोस, अटूट ईंट की तरह है। यदि इसे तोड़ा जा सकता है, तो यह विभाज्य (reducible) है, जैसे कि दो छोटे ब्लॉकों को आपस में चिपकाकर बनाई गई एक मीनार।

दशकों से, गणितज्ञों ने इस बात का अध्ययन किया है कि जब वे यादृच्छिक सामग्रियों से ये मीनारें बनाते हैं तो क्या होता है। उन्होंने पाया कि यदि आप नंबरों को पूरी तरह से रैंडम चुनते हैं, तो आपकी मीनार लगभग हमेशा एक ठोस, अटूट ईंट होती है। लेकिन क्या होगा यदि सामग्रियां पूरी तरह से यादृच्छिक नहीं हैं? क्या होगा यदि वे एक गुप्त तरीके से एक-दूसरे से जुड़ी हुई हैं? यह वह रहस्य है जिसे पीटर पी. वरजू और मैक्स वेनकियांग ज़ू ने हल करने का निर्णय लिया। उन्होंने एक विशेष प्रकार की मीनार पर गौर किया जहाँ संख्याएँ "गुणात्मक गुणांकों" (multiplicative coefficients) नामक एक नियम द्वारा जुड़ी हुई हैं, और उन्होंने पूछा कि इस गुप्त संबंध के बावजूद, क्या मीनार ठोस रहती है?

रैंडम टावर्स का गुप्त कोड

इस शोध पत्र में, लेखक एक बहुत ही विशिष्ट प्रकार के रैंडम पॉलिनोमियल का अन्वेषण करते हैं। कल्पना कीजिए कि आप डिग्री $d$ का एक पॉलिनोमियल बना रहे हैं (जिसका अर्थ है कि $x$ की उच्चतम घात $d$ है)। गुणांक (coefficients) वे संख्याएँ हैं जो $x$ के सामने होती हैं। आमतौर पर, आप इन संख्याओं को प्रत्येक के लिए पासा फेंककर या सिक्का उछालकर चुन सकते हैं, जिससे वे पूरी तरह से स्वतंत्र हो जाती हैं।

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

वे संख्या 1 से शुरू करते हैं।
प्रत्येक अभाज्य संख्या (prime number) (जैसे 2, 3, 5, 7, 11...) के लिए, वे एक सिक्का उछालते हैं यह तय करने के लिए कि अभाज्य संख्या का गुणांक $+1$ होगा या $-1$।
किसी भी अन्य संख्या के लिए (जैसे 6, जो $2 \times 3$ है), गुणांक बस उसके अभाज्य हिस्सों के लिए उछले गए सिक्कों का गुणनफल होता है। इसलिए, यदि 2 को $+1$ मिला और 3 को $-1 $मिला, तो 6 को$ -1$ मिलेगा।

यह एक वंशावली (family tree) की तरह है जहाँ बच्चों के लक्षण पूरी तरह से उनके माता-पिता के लक्षणों द्वारा निर्धारित होते हैं। एक बड़ी संख्या का गुणांक बस उसके छोटे अभाज्य पूर्वजों से विरासत में मिले "पारिवारिक रहस्य" का परिणाम है।

लेखक जानना चाहते थे कि यदि आप इस वंशावली नियम का उपयोग करके एक पॉलिनोमियल बनाते हैं, तो क्या इसकी अविभाज्य होने की संभावना अधिक है?

बड़ी खोज

लेखकों के अनुसार, इसका उत्तर एक जोरदार हाँ है।

लेखक सिद्ध करते हैं कि यदि आप इन गुणात्मक गुणांकों का उपयोग करके डिग्री $d$ का एक पॉलिनोमियल बनाते हैं, तो इसके अविभाज्य होने की संभावना अविश्वसनीय रूप से अधिक है। विशेष रूप से, पॉलिनोमियल के अविभाज्य होने की प्रायिकता कम से कम $1 - C d^{-1/2+\varepsilon}$ है।

आइए इसे सरल भाषा में समझते हैं:

जैसे-जैसे डिग्री $d$ बढ़ती जाती है (मीनार को ऊँचा करती है), मीनार के टूटने (विभाज्य होने) की संभावना कम होती जाती है।
सूत्र $d^{-1/2+\varepsilon}$ का अर्थ है कि इसके टूटने का "जोखिम" बहुत तेज़ी से घटता है, जो लगभग मीनार के आकार के वर्गमूल के व्युत्क्रम (inverse) की तरह है।
लेखक इसे "लगभग निश्चित रूप से अविभाज्य" (almost surely irreducible) कहते हैं। इसका मतलब है कि हालांकि मीनार के टूटने की एक बहुत छोटी, गैर-शून्य संभावना है, लेकिन जैसे-जैसे मीनार अनंत ऊँचाई तक पहुँचती है, वह संभावना लुप्त हो जाती है, जिससे इसके एक एकल, ठोस टुकड़े होने की प्रायिकता 100% के करीब पहुँच जाती है।

उन्होंने रहस्य को कैसे सुलझाया

इसे सिद्ध करने के लिए, लेखकों को बहुत चतुर होना पड़ा क्योंकि गुणांक जुड़े हुए हैं, जो इसे उन मामलों की तुलना में बहुत कठिन बनाता है जहाँ वे केवल यादृच्छिक होते हैं।

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

लेखकों की मुख्य तरकीब यह दिखाने की थी कि इन छोटी दुनियाओं में, पॉलिनोमियल लगभग बिल्कुल एक वास्तविक रैंडम पॉलिनोमियल की तरह व्यवहार करता है। उन्होंने सिद्ध किया कि इनके "मूल" (roots - वे बिंदु जहाँ पॉलिनोमियल शून्य हो जाता है) समान रूप से फैले हुए हैं, ठीक वैसे ही जैसे छत पर गिरती बारिश की बूंदें। यदि मूल समान रूप से फैले हुए हैं, तो यह एक मजबूत संकेत है कि पॉलिनोमियल अविभाज्य है।

हालाँकि, एक पेच था। क्योंकि गुणांक आपस में जुड़े हुए हैं, सामान्य गणितीय उपकरण सीधे काम नहीं कर सके। लेखकों को इस "समान फैलाव" को सिद्ध करने के लिए एक नया तरीका विकसित करना पड़ा। उन्होंने यह किया:

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

"क्या होगा यदि" और "लगभग"

यह शोध पत्र इस बात के बारे में बहुत सावधान है कि यह क्या दावा करता है। वे यह नहीं कहते हैं कि यह प्रत्येक पॉलिनोमियल के लिए सत्य है। वे कहते हैं कि यह प्रायिकता 1 के करीब पहुँचने के साथ (या "लगभग निश्चित रूप से") सत्य है, जिसका अर्थ है कि विफलता की प्रायिकता एक विशिष्ट, घटते हुए त्रुटि पद ( $C d^{-1/2+\varepsilon}$ ) द्वारा सीमित है।

एक बड़ी शर्त है: उनका प्रमाण संख्या सिद्धांत (number theory) में एक प्रसिद्ध, अप्रामाणित विचार, रीमान हाइपोथीसिस (विशेष रूप से डेडेकिंड ज़ेटा फलनों के लिए) पर निर्भर करता है। आप रीमान हाइपोथीसिस को एक "मास्टर की" (master key) के रूप में देख सकते हैं जो संख्या सिद्धांत के कई दरवाजों को खोलती है। लेखक यह मान लेते हैं कि यह चाबी काम करती है। यदि चाबी काम करती है, तो उनका प्रमाण ठोस है। यदि यह काम नहीं करती है, तो उनके प्रमाण को फिर से लिखने की आवश्यकता हो सकती है, लेकिन अधिकांश गणितज्ञों द्वारा परिणाम अभी भी सत्य माना जाता है।

वे "फेकेट पॉलिनोमिअल्स" (जो लेजेंड्रे सिंबल नामक एक अलग प्रकार के पैटर्न का उपयोग करते हैं) से संबंधित एक अन्य समस्या का भी उल्लेख करते हैं। वे दिखाते हैं कि उनका तरीका उनके लिए भी काम करता है, बशर्ते कि संख्याओं की सीमा पर्याप्त बड़ी हो। यह सुझाव देता है कि उनकी नई विधि एक शक्तिशाली उपकरण है जो गणित में अन्य पहेलियों को हल करने में मदद कर सकती है।

आपको इसकी परवाह क्यों करनी चाहिए?

आप सोच सकते हैं, "इससे किसे फर्क पड़ता है कि गणित की मीनार टूटती है या नहीं?"

खैर, ये पॉलिनोमिअल्स केवल अमूर्त खिलौने नहीं हैं। वे क्रिप्टोग्राफी (आपके पासवर्ड को सुरक्षित रखने में), संख्याओं के व्यवहार के अध्ययन में, और संख्याओं के ब्रह्मांड की गहरी संरचना को समझने में दिखाई देते हैं। यह सिद्ध करना कि ये "जुड़े हुए" रैंडम टॉवर आमतौर पर ठोस होते हैं, गणितज्ञों को विश्वास दिलाता है कि भले ही चीजें जटिल तरीकों से जुड़ी हों, अंत में रैंडमनेस (यादृच्छिकता) की जीत होती है।

लेखकों ने केवल अनुमान नहीं लगाया; उन्होंने एक कठोर, चरण-दर-चरण तर्क बनाया जो उन्नत गणित के भार के नीचे भी टिका रहता है। उन्होंने दिखाया कि भले ही संख्याओं को जोड़ने वाला एक गुप्त पारिवारिक कोड हो, परिणामी पॉलिनोमियल लगभग निश्चित रूप से एक अद्वितीय, अटूट ईंट होगा। और गणित की दुनिया में, यह एक बहुत ही शानदार खोज है।

तकनीकी सारांश: गुणात्मक गुणांकों वाला एक यादृच्छिक बहुपद लगभग निश्चित रूप से अपरिमेय है

समस्या विवरण
यह शोध पत्र $\mathbb{Z}[x]$ में यादृच्छिक बहुपदों की अपरिमेयता (irreducibility) की जांच करता है जहाँ गुणांक स्वतंत्र नहीं हैं, बल्कि एक गुणात्मक अनुक्रम (multiplicative sequence) बनाते हैं। विशेष रूप से, लेखक $\{X_n\}_{n \ge 1}$ नामक यादृच्छिक चरों के एक अनुक्रम पर विचार करते हैं जो $\{\pm 1\}$ (या गैर-वर्ग-मुक्त पूर्णांकों के लिए $0 $) मान लेते हैं, जिसे$ X_1=1 $द्वारा परिभाषित किया गया है, जहाँ$ X_p $अभाज्य$ p $के लिए स्वतंत्र समान वितरण वाले$ \pm 1 $चर हैं, और$ n = p_1 \cdots p_k $के लिए$ X_n = X_{p_1} \cdots X_{p_k} $है। यादृच्छिक बहुपद को$ P_d(x) = \sum_{n=1}^d X_n x^n$ के रूप में परिभाषित किया गया है।

केंद्रीय प्रश्न यह है कि क्या ऐसे बहुपद उच्च प्रायिकता के साथ अपरिमेय होते हैं जब $d \to \infty$ होता है। यह सेटिंग उन पिछले मॉडलों से भिन्न है जहाँ गुणांक स्वतंत्र होते हैं (जैसे अंतराल पर समान वितरण या निश्चित वितरण) या जहाँ गुणांक यादृच्छिक मैट्रिसेस से प्राप्त होते हैं। यहाँ गुणांकों की गुणात्मक निर्भरता (multiplicative dependence), जो यहाँ की संरचना को नियंत्रित करती है, मानक संभाव्य विधियों के लिए एक महत्वपूर्ण चुनौती प्रस्तुत करती है।

कार्यप्रणाली
प्रमाण रणनीति को कोन्यागिन (Konyagin) द्वारा स्थापित ढांचे का अनुसरण करती है और [9] द्वारा परिष्कृत की गई है, जो एक बहुपद के अपरिमेय कारकों की संख्या को परिमित क्षेत्रों $\mathbb{F}_q$ में इसके मूलों (roots) की अपेक्षित संख्या से जोड़ती है। मुख्य तर्क डेडेकिंड ज़ेटा फलनों (Dedekind zeta functions) के लिए रीमान परिकल्पना (Riemann Hypothesis - RH) के अंतर्गत प्राइम आइडियल प्रमेय (Prime Ideal Theorem) पर आधारित है:

मूल गणना (Root Counting): यदि एक बहुपद $P$ अपरिमेय है, तो इसका औसतन एक यादृच्छिक अभाज्य $q$ के लिए $\mathbb{F}_q$ में एक मूल होता है। यदि $P$ के कई अलग-अलग अपरिमेय कारक हैं, तो मूलों की संख्या बढ़ जाती है। इसके विपरीत, यदि मूलों की अपेक्षित संख्या 1 के करीब है, तो बहुपद एक एकल अपरिमेय गुणनखंड की घात होने की संभावना होती है।
समान वितरण (Equidistribution): यह दिखाने के लिए कि मूलों की अपेक्षित संख्या 1 के करीब है, लेखकों को यह सिद्ध करना चाहिए कि एक यादृच्छिक बहुपद $P$ और एक निश्चित $a \in \mathbb{F}_q$ के लिए, मान $P(a)$ $\mathbb{F}_q$ में समान रूप से वितरित (equidistributed) है।
निर्भरता को संभालना: पिछले कार्यों के विपरीत जहाँ गुणांक स्वतंत्र थे, यहाँ की गुणात्मक निर्भरता मानक मार्कोव चेन तर्कों (जैसा कि [9] और [11] में उपयोग किया गया है) के उपयोग को रोकती है। लेखक इसे इस प्रकार हल करते हैं:
- शर्त लगाना (Conditioning): छोटे अभाज्य $p < d/2$ के लिए गुणांकों के मान $X_p$ पर शर्त लगाने से, शेष गुणांक (बड़े अभाज्य से जुड़े हुए) शर्त वाले सेट और एक-दूसरे से स्वतंत्र हो जाते हैं।
- अभाजों में अंकगणितीय प्रगति (Arithmetic Progressions in Primes): समान वितरण तर्क के लिए उन सूचकांकों पर योग करने की आवश्यकता होती है जो अंकगणितीय प्रगति बनाते हैं। चूंकि सूचकांक अभाज्य हैं, इसलिए लेखक $[d/2, d]$ के भीतर अभाजों के सेट के भीतर कई विसंयुक्त लघु अंकगणितीय प्रगति खोजने के लिए ग्रीन और ताओ [15] और अन्य [21, 23] के परिणामों का उपयोग करते हैं।
- फूरियर विश्लेषण (Fourier Analysis): वे "गैर-अपवादपूर्ण" अवशेषों $a$ के लिए यादृच्छिक वॉक $Y = \sum X_i a^{i-1}$ के फूरियर गुणांकों का अनुमान लगाने के लिए फूरियर विश्लेषण का उपयोग करते हैं।
- अपवादपूर्ण अवशेष (Exceptional Residues): उन अवशेषों के लिए जहाँ समान वितरण विफल हो सकता है (जैसे कि $0, \pm 1$ जैसे मूल इकाइयाँ), वे यह दिखाने के लिए शास्त्रीय लिटिलवुड-ऑफफोर्ड (Littlewood-Offord) प्रकार के बाउंड्स (प्रस्ताव 3.6) लागू करते हैं कि लुप्त होने की प्रायिकता कम ( $O(d^{-1/2+\varepsilon})$ ) है।
- दोहरे मूल (Double Roots): यह नियमने के लिए कि क्या बहुपद एक अपरिमेय बहुपद की उचित घात है (जो कि $\approx 1$ मूल भी देगा लेकिन बहुलता के साथ), लेखक बहुपद और उसके अवकलज (derivative) के युग्म के संयुक्त वितरण का विस्तार करते हैं, यह दिखाते हुए कि दोहरे मूलों की अपेक्षित संख्या नगण्य है।

मुख्य योगदान

गुणात्मक निर्भरता के तहत समान वितरण: मुख्य तकनीकी योगदान परिमित क्षेत्रों में गुणात्मक गुणांकों वाले यादृच्छिक बहुपदों के समान वितरण को स्थापित करना है। यह [9] के तर्क को एक ऐसे परिवेश में अनुकूलित करके प्राप्त किया गया है जहाँ गुणांक स्वतंत्र नहीं हैं, जिसमें अंकगणितीय प्रगति के अस्तित्व का उपयोग करके मार्कोव चेन संरचना की कमी को दूर किया गया है।
"उचित घात" (Proper Power) के मामले को संभालना: लेखक एक विधि प्रदान करते हैं जिससे यह अंतर किया जा सके कि एक बहुपद एक एकल अपरिमेय गुणनखंड है या एक का उचित घात है, जो बहुपद और उसके अवकलज के संयुक्त वितरण का विश्लेषण करता है।
फेकेटे-जैसे (Fekete-like) बहुपदों तक विस्तार: कार्यप्रणाली को यादृच्छिक फेकेटे बहुपदों $F_{d,f}(x) = \sum_{a=1}^d (\frac{a}{p}) x^a$ से संबंधित एक समस्या में लागू किया जाता है, जहाँ $p$ रेंज $(d, f(d)]$ में एक यादृच्छिक अभाज्य है।

मुख्य परिणाम
सभी संख्या क्षेत्रों (number fields) के डेडेकिंड ज़ेटा फलनों के लिए रीमान परिकल्पना को मानते हुए, यह शोध पत्र सिद्ध करता है:

प्रमेय 1.1: गुणात्मक $\pm 1$ गुणांकों वाले यादृच्छिक बहुपद $P_d(x)$ के लिए, $P_d(x)/x$ के $\mathbb{Z}$ पर अपरिमेय होने की प्रायिकता कम से कम $1 - C d^{-1/2+\varepsilon}$ है, किसी भी $\varepsilon > 0$ के लिए।
- लेखक नोट करते हैं कि वर्ग-मुक्त मॉडल में, यह बाउंड लगभग सटीक (sharp) है, क्योंकि $x=1$ एक मूल होने की प्रायिकता कम से कम $C d^{-1/2-\varepsilon}$ है।
उपप्रमेय 1.3: लेजेंड्रे प्रतीक $(\frac{a}{p})$ द्वारा परिभाषित यादृच्छिक बहुपद $F_{d,f}(x)$ के लिए, जहाँ $p$ रेंज $(d, f(d)]$ में एक यादृच्छिक अभाज्य है, यदि $f(d) > 2^{2\pi(d)} d^4$ है, तो $F_{d,f}(x)/x$ की प्रायिकता $1 - C d^{-1/2+\varepsilon}$ के साथ अपरिमेय है।
- यह परिणाम मुख्य प्रमेय और फेकेटे बहुपदों (जहाँ $f(d) = d+1$ ) के संबंध में अनुमान के बीच मध्यस्थता करता है।

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

लेखक स्पष्ट रूप से कहते हैं कि वर्ग-मुक्त मॉडल के लिए उनका बाउंड $x=1$ के मूल होने की प्रायिकता के कारण सटीक होने के करीब है। वे यह भी स्वीकार करते हैं कि "अपवादपूर्ण" अवशेषों (जैसे $x=1$ ) के लिए, उनके मुख्य प्रमेय में त्रुटि पद शास्त्रीय लिटिलवुड-ऑफफोर्ड बाउंड्स से उत्पन्न होता है, और इन विशिष्ट मामलों के अधिक सटीक विश्लेषण से बेहतर अनुमान प्राप्त हो सकते हैं। यह शोध पत्र फेकेटे बहुपदों के लिए उस समस्या को हल करने का दावा नहीं करता है जहाँ अभाज्य रेंज छोटी ( $f(d) = d+1$ ) है, यह देखते हुए कि जैसे-जैसे यादृच्छिकता कम होती है समस्या कठिन होती जाती है, लेकिन यह ऐसे मध्यस्थता करने वाली समस्याओं के विश्लेषण के लिए एक ढांचा स्थापित करता है।