All Games Have Equilibria

"क्या होगा अगर?" का महान खेल

कल्पना कीजिए कि एक ऐसी दुनिया जहाँ आपके द्वारा लिया गया हर निर्णय एक विशाल, अदृश्य खेल का हिस्सा है। आप क्या पहनते हैं, क्या खाते हैं, या स्कूल कैसे जाते हैं, यह आप चुनते हैं, लेकिन आपका परिणाम न केवल आपके चुनाव पर, बल्कि इस पर भी निर्भर करता है कि बाकी सब क्या चुनते हैं। यह गेम थ्योरी (Game Theory) का क्षेत्र है, जो गणित की एक शाखा है जो यह अध्ययन करती है कि लोग (या कंप्यूटर, या जानवर) कैसे निर्णय लेते हैं जब उनके भाग्य आपस में जुड़े होते हैं। लंबे समय तक, गणितज्ञों के पास इन खेलों के लिए एक स्वर्णिण नियम था: यदि विकल्पों की संख्या सीमित (finite) है (जैसे पत्थर, कागज, कैंची), तो हमेशा एक "परफेक्ट" संतुलन होता है जिसे नैश इक्विलिब्रियम (Nash Equilibrium) कहा जाता है। यह एक ऐसी स्थिति है जहाँ कोई भी अपना कदम बदलना नहीं चाहता क्योंकि इससे उन्हें केवल बुरा परिणाम ही मिलेगा।

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

शोध पत्र की बड़ी खोज: "सभी खेलों में इक्विलिब्रियम होता है"

एम. अली खान, आर्थर पॉल पेडरसन और मैक्सवेल बी. स्टिंचकोम्ब द्वारा लिखित यह शोध पत्र, "ऑल गेम्स हैव इक्विलिब्रिया" (All Games Have Equilibria), टूटे हुए उपकरणों को ठीक करने के लिए कदम उठाता है। लेखक तर्क देते हैं कि समस्या खेल में नहीं थी, बल्कि उस तरीके में थी जिससे गणितज्ञ उन्हें मापने की कोशिश कर रहे थे। वे "मिक्स्ड स्ट्रैटेजीज़" (mixed strategies)—जो मूल रूप से यादृच्छिक विकल्प हैं, जैसे कि अपना कदम तय करने के लिए सिक्का उछालना—के बारे में सोचने का एक नया, अधिक लचीला तरीका प्रस्तावित करते हैं।

पुराने विचारधारा के अनुसार, यदि आप अपनी रणनीतियों को मिलाना चाहते थे, तो आपको "काउंटेबुल एडिटिविटी" (countable additivity) के सख्त नियमों का पालन करना होता था। कल्पना कीजिए कि आपके पास संगमरमर का एक जार है। यदि आप एक लाल, फिर एक नीला, फिर एक हरा चुनते हैं, तो उन तीनों को चुनने की कुल संभावना उनकी व्यक्तिगत संभावनाओं का योग है। यह एक सीमित जार के लिए बहुत अच्छा काम करता है। लेकिन एक अनंत खेल में, यह नियम संख्याओं की एक अनंत सूची को जोड़ने की कोशिश करने जैसा है जिसका उत्तर इस बात पर निर्भर करता रहता है कि आप उन्हें किस क्रम में जोड़ रहे हैं। लेखक कहते हैं, "आइए उस सख्त नियम को छोड़ दें।" इसके बजाय, वे फाइनाइटली एडिटिव (finitely additive) संभावनाओं का उपयोग करते हैं। इसे एक सुपर-पावरफुल आवर्धक लेंस (magnifying glass) के रूप में सोचें जो उन "बस थोड़ा सा" वाले क्षणों को देख सकता है जिन्हें पुराने उपकरण चूक गए थे। यह गणित को उन सूक्ष्म, महत्वपूर्ण विवरणों को खोए बिना अनंत को संभालने की अनुमति देता है जो यह निर्धारित करते हैं कि कौन जीतता है।

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

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

वे कितने निश्चित हैं?
यह कोई अनुमान या सिमुलेशन नहीं है। लेखक कठोर गणितीय प्रमाण (proofs) प्रदान करते हैं। वे केवल यह सुझाव नहीं देते कि ये इक्विलिब्रियम मौजूद हैं; वे प्रदर्शित करते हैं कि उनके द्वारा परिभाषित शर्तों के तहत इनका अस्तित्व होना अनिवार्य है। वे यह भी सिद्ध करते हैं कि ये इक्विलिब्रियम "फाइनाइटली एप्रोक्सिमेबल" (finitely approximable) हैं, जिसका अर्थ है कि आप उन्हें खेल के छोटे, परिमित (finite) संस्करणों को देखकर और यह देखकर पा सकते हैं कि वे कहाँ ले जाते हैं। यह सिद्धांत को एक व्यावहारिक, परिचालन रूप देता है: यह केवल एक सैद्धांतिक भूत नहीं है; यह कुछ ऐसा है जिसे आप वास्तव में समझ सकते हैं और उसके करीब पहुँच सकते हैं।

"बस थोड़ा कम" का जादू

यह समझने के लिए कि यह क्यों मायने रखता है, "जस्ट अंडर" (Just Under) के खेल की कल्पना करें। दो खिलाड़ी 0.5 से ठीक नीचे की संख्या चुनने की कोशिश कर रहे हैं।

• खिलाड़ी A 0.49 चुनता है।
• खिलाड़ी B 0.499 चुनता है।
• खिलाड़ी C 0.4999 चुनता है।

पुराने गणित में, जैसे-जैसे आप 0.5 के करीब पहुँचते हैं, संख्याएँ एक एकल बिंदु 0.5 में धुंधली होकर मिल जाती हैं। यदि दोनों खिलाड़ी 0.5 चुनते हैं, तो खेल टूट सकता है या उसका कोई समाधान नहीं हो सकता। लेकिन वास्तविक दुनिया में, "जस्ट अंडर" प्रतियोगिता में हमेशा एक "विजेता" होता है। जो खिलाड़ी 0.4999 चुनता है, वह लक्ष्य के अधिक करीब है जो 0.49 चुनने वाले से है।

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

यह सब कुछ कैसे बदल देता है

यह शोध पत्र उन प्रसिद्ध, जिद्दी समस्याओं को संबोधित करता है जिनसे गणितज्ञ दशकों से जूझ रहे हैं, जैसे कि सियन और वोल्फ गेम (Sion and Wolfe game) और वाल्ड्स लार्जेस्ट इंटीजर गेम (Wald's Largest Integer Game)। इन खेलों में, पुराने गणित ने कहा, "कोई इक्विलिब्रियम मौजूद नहीं है!" या "उत्तर इस पर निर्भर करता है कि आप कैसे गिनते हैं!" नया गणित कहता है, "यहाँ इक्विलब्रियम है, और यहाँ बताया गया है कि यह क्यों काम करता है।"

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

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

निचोड़

यह शोध पत्र एक एकीकृत कार्यक्रम है। यह भ्रमित करने वाले नियमों और काउंटर-एग्जांपल्स के एक पैचवर्क को लेता है और उन्हें एक एकल, स्वच्छ ढांचे से बदल देता है। यह हमें बताता है कि अनंत खेल टूटे हुए नहीं हैं; हमारे उपकरण बस बहुत कठोर थे। संभावनाओं को गिनने के नियमों को शिथिल करके, हम देख सकते हैं कि स्थिरता और संतुलन हमेशा संभव है, यहाँ तक कि सबसे अराजक, अनंत परिदृश्यों में भी। लेखकों ने उस दुनिया के बीच एक पुल बनाया है जिसे हम गिन सकते हैं (परिमित दुनिया) और उस अनंत दुनिया के बीच जिसे हम केवल कल्पना कर सकते हैं। उन्होंने दिखाया है कि गेम थ्योरी के नियम अनंत के किनारे तक भी सत्य रहते हैं।