📈 economics

There Ain't No Such Thing as a Free Equilibrium

यह शोध पत्र तर्क देता है कि खेलों में सार्वभौमिक संतुलन का अस्तित्व इस बात पर निर्भर करता है कि इन अवधारणाओं को किस विशिष्ट अर्थ में परिभाषित किया गया है, और यह 'सख्ती से प्रभावी रणनीतियों' (strictly dominated strategies) से बचने के सिद्धांत के साथ एक साथ संगत और असंगत दोनों है।

मूल लेखक: Mark Whitmeyer

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

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

CC BY 4.0

मूल लेखक: Mark Whitmeyer

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

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

यह शोध पत्र, जिसका शीर्षक "देर ऐंट नो सच थिंग एज़ अ फ्री इक्विलिब्रियम" (या TANSTAAFE) है, दो लक्ष्यों के बीच एक पेचीदा संघर्ष में डूबता है: हर संभव खेल में एक संतुलन खोजने और यह सुनिश्चित करने के बीच कि समाधान सभी बुरे, डोमिनेटेड चालों को पूरी तरह से अनदेखा कर दे। लेखक, मार्क व्हिटलमायर, सिद्ध करते हैं कि आप इन दोनों तरीकों को एक साथ नहीं रख सकते। यदि आप एक ऐसा समाधान चाहते हैं जो हर खेल के लिए गारंटीकृत रूप से मौजूद हो, तो आप यह मांग नहीं कर सकते कि समाधान बुरे चालों के पूरे सेट (समूह) को एक साथ अनदेखा कर दे।

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

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

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

तकनीकी सारांश: TANSTAAFE (There Ain't No Such Thing as a Free Equilibrium - ऐसा कोई मुफ्त संतुलन नहीं है)

समस्या विवरण
यह शोधपत्र गेम थ्योरी (खेल सिद्धांत) में एक मौलिक तनाव को संबोधित करता है जो अनंत खेलों (अनंत क्रिया सेट वाले खेलों) में संतुलन की उपस्थिति के संबंध में है। जबकि परिमित खेल मिश्रित रणनीतियों (mixed strategies) में हमेशा नैश इक्विलिब्रियम (Nash equilibria) रखते हैं, अनंत खेल अनिवार्य रूप से ऐसा नहीं करते हैं। एक मानक समाधान में रणनीति स्थान (strategy space) को गणनीय योगात्मक संभावनाओं (countably additive probabilities) से विस्तारित करके परिमित योगात्मक संभावनाओं (finitely additive probabilities) तक ले जाना शामिल है। जबकि यह संतुलन की उपस्थिति को बहाल करता है, यह "पॉइंट-नलिटी" (point-nullity) और "सेट-नलिटी" (set-nullity) के बीच एक विकृत अंतर पेश करता है, जो सख्ती से प्रभावी क्रियाओं (strictly dominated actions) के संबंध में होता है।

विशेष रूप से, एक परिमित योगात्मक संभाव्यता (finitely additive probability measure) सख्ती से प्रभावी क्रियाओं के एक अनंत सेट में प्रत्येक व्यक्तिगत क्रिया को शून्य प्रायिकता (probability zero) दे सकती है (पॉइंट-नलिटी), जबकि साथ ही उन क्रियाओं के पूरे सेट को एक ही प्रायिकता (probability one) दे सकती है (सेट-नलिटी की विफलता)। मुख्य प्रश्न यह है कि क्या कोई समाधान अवधारणा (solution concept) एक साथ तीन वांछित गुणों को संतुष्ट कर सकती है:

सार्वभौमिक गैर-रिक्तता (Universal Nonemptiness): प्रत्येक परिबद्ध खेल (bounded game) के लिए समाधान की उपस्थिति।
संतुलन गुण (The Equilibrium Property): ज़ीरो-सम खेलों के लिए सुसंगतता आवश्यकताओं का पालन करना (विशेष रूप से, एकपक्षीय विचलन के मूल्यांकनों का योग शून्य से अधिक नहीं होना चाहिए)।
सेट-नलिटी (Set-Nullity): यह आवश्यकता कि सख्ती से प्रभावी क्रियाओं के संपूर्ण सेट को अनदेखा (शून्य प्रायिकता प्रदान) किया जाए।

कार्यप्रणाली (Methodology)
लेखक एक कार्यात्मक विश्लेषणात्मक दृष्टिकोण (functional analytic approach) का उपयोग करता है, जिसमें परिबद्ध वास्तविक-मान वाले फलनों के स्थान $\ell^\infty(X)$ और मूल्यांकनों (evaluations) $\Lambda: \ell^\infty(X) \to \mathbb{R}$ का उपयोग किया जाता है।

परिभाषाएँ: लेख में एक सेट $B$ को $\Lambda$ -नल (null) के रूप में परिभाषित किया गया है यदि $B$ पर पे-ऑफ (payoffs) बदलने से $\Lambda(B)$ नहीं बदलता है। यह पॉइंट-नलिटी (प्रत्येक एकल प्रभावी क्रिया शून्य है) और सेट-नलिटी (पूरा प्रभावी सेट शून्य है) के बीच अंतर करता है।
प्रति-उदाहरण निर्माण (Counterexample Construction): तीन गुणों की अनुकूलता का परीक्षण करने के लिए, लेखक एक विशिष्ट परिबद्ध दो-खिलाड़ी ज़ीरो-सम खेल, $\Gamma^*$ का निर्माण करता है। इस खेल में, क्रिया सेट $C \cup \mathbb{N}$ (जहाँ $C=\{H, T\}$ और $\mathbb{N}$ प्राकृतिक संख्याएँ हैं) हैं। पे-ऑफ संरचना को इस तरह डिज़ाइन किया गया है कि प्रत्येक खिलाड़ी के लिए, प्राकृतिक संख्याएँ प्रभुत्व की एक सख्ती से बढ़ती श्रृंखला (strictly increasing chain of dominance) बनाती हैं ( $n+1$ , $n$ पर सख्ती से प्रभावी है), जिससे $\mathbb{N}$ का पूरा सेट सख्ती से प्रभावी हो जाता है।
परिमित सन्निकटन (Finite Approximation): सकारात्मक परिणाम स्थापित करने के लिए, लेख 'परिमित रूप से सन्निकट इक्विलिब्रिया' (finitely approximable equilibria) की अवधारणा का उपयोग करता है। इसमें खेल के परिमित प्रतिबंधों (finite restrictions) से प्राप्त मिश्रित नैश इक्विलिब्रिया के सीमांत (limits - weak-* topology में) लेना शामिल है, जहाँ ये प्रतिबंध एक व्यापक नेट (exhaustive net) बनाते हैं (जो अंततः क्रियाओं के किसी भी परिमित उपसमुच्चय को समाहित करता है)।

मुख्य परिणाम

सेट-नलिटी की असंभवता (Theorem 3.3):
लेख सिद्ध करता है कि कोई भी समाधान सहसंबंध (solution correspondence) सार्वभौमिक रूप से गैर-रिक्त, ज़ीरो-सम खेलों के लिए संतुलन गुण को संतुष्ट करने वाला, और सेट-नलिटी को संतुष्ट करने वाला एक साथ नहीं हो सकता।

तंत्र (Mechanism): निर्मित खेल $\Gamma^*$ में, यदि एक समाधान सेट-नलिटी को संतुष्ट करता है, तो प्रभावी क्रियाओं के सेट $\mathbb{N}$ को शून्य प्रायिकता दी जानी चाहिए। हालाँकि, पे-ऑफ संरचना यह मजबूर करती है कि $C$ की "सुरक्षित" क्रियाओं की तुलना में विशिष्ट प्रभावी क्रियाओं (जैसे क्रिया 1) का मूल्यांकन सकारात्मक हो। यह ज़ीरो-सम संतुलन स्थिति (Condition Z) के साथ एक विरोधाभास पैदा करता है, जो यह आवश्यक करती है कि $\Lambda_2(u_1) + \Lambda_1(u_2) \leq 0$ हो। विशेष रूप से, यदि $\mathbb{N}$ शून्य है, तो मूल्यांकन ऐसे व्यवहार करते हैं जैसे खिलाड़ी $C$ तक सीमित हों, लेकिन प्रभुत्व संरचना यह संकेत देती है कि $\mathbb{N}$ में खेलने से प्रतिद्वंद्वी की कुछ चालों के विरुद्ध उच्च पे-ऑफ मिलता है, जिससे एक विसंगति उत्पन्न होती है जो समाधान सेट को रिक्त होने के लिए मजबूर करती है।

पॉइंट-नलिटी की व्यवहार्यता (Theorem 4.7):
लेख यह प्रदर्शित करता है कि एक कमजोर आवश्यकता, पॉइंट-नलिटी, सार्वभौमिक अस्तित्व और संतुलन गुण के साथ संगत है।

तंत्र: परिमित रूप से सन्नट इक्विलिब्रिया के मार्जिनल्स (marginals) पर आधारित एक समाधान सहसंबंध $S_{pt}$ को परिभाषित करके, लेखक दिखाता है कि प्रत्येक सख्ती से प्रभावी एकल क्रिया को शून्य प्रायिकता दी जाती है। ऐसा इसलिए है क्योंकि, किसी भी पर्याप्त बड़े परिमित प्रतिबंध में, एक सख्ती से प्रभावी क्रिया कभी भी 'सर्वश्रेष्ठ प्रतिक्रिया' (best response) नहीं होती है और इसलिए शून्य प्रायिकता प्राप्त करती है। वीक-* लिमिट (weak-* limit) इस गुण को एकल तत्वों (singletons) के लिए संरक्षित करती है।

भेद का तीक्ष्णता (Sharpness of the Distinction) (Corollary 4.8):
लेख $\Gamma^*$ के लिए एक विशिष्ट परिमित रूप से सन्नट इक्विलिब्रियम का निर्माण करता है जो पॉइंट-नलिटी को संतुष्ट करता है लेकिन सेट-नलity को विफल करता है। इस इक्विलिब्रियम में, प्रत्येक व्यक्तिगत प्रभावी क्रिया $n \in \mathbb{N}$ की प्रायिकता शून्य है, फिर भी $\mathbb{N}$ का पूरा सेट एक की प्रायिकता रखता है। यह पुष्टि करता है कि सेट-नलिटी की असंभवता परिणाम किसी विशिष्ट निर्माण का आर्टिफैक्ट (artifact) नहीं है, बल्कि एक मौलिक सीमा है।

महत्व और दावे
लेख एक नए इक्विलिब्रियम निर्माण के बजाय एक "तीक्ष्ण विभाजन" (sharp delineation) का दावा करता है। इसका प्राथमिक योगदान अनंत खेलों में यह निर्धारित करना है कि क्या संभव है:

नकारात्मक परिणाम: यह असंभव है कि एक सार्वभौमिक रूप से अस्तित्व रखने वाला समाधान अवधारणा सख्ती से प्रभावी क्रियाओं के संपूर्ण सेट (सेट-नलिटी) को अनदेखा करे, जबकि ज़ीरो-सम खेलों में सुसंगतता बनाए रखे।
सकारात्मक परिणाम: यह संभव है कि एक सार्वभौमिक रूप से अस्तित्व रखने वाला समाधान सिद्धांत प्रत्येक सख्ती से प्रभावी क्रिया को व्यक्तिगत रूप से अनदेखा करे (पॉइंट-नलिटी)।

लेखक का तर्क है कि परिमित योगात्मक संभावनाओं की विकृति—जहाँ एक सेट की प्रायिकता एक हो सकती है जबकि उसके सभी तत्वों की प्रायिकता शून्य होती है—प्रभावी क्रियाओं के अनंत सेटों को देखते समय अपरिहार्य है। लेख निष्कर्ष निकालता है कि जबकि परिमित सन्निकटन (finite approximation) निश्चित प्रभावी क्रियाओं को समाप्त कर सकता है, कोई भी सार्वभौमिक रूप से मौजूद समाधान सामान्य रूप से प्रभावी क्रियाओं के पूरे (संभवतः अनंत) सेट को अनदेखा करने की आवश्यकता को पूरा नहीं कर सकता है। यह तनाव को इस प्रकार हल करता है कि "मुफ्त" इक्विलिब्रियम अस्तित्व (बिना विकृत दुष्प्रभावों के) की कीमत यह स्वीकार करना है कि प्रभावी क्रियाओं का सेट सामूहिक रूप से शून्य (null) हो सकता है, भले ही प्रत्येक व्यक्तिगत प्रभावी क्रिया शून्य हो।

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