🔬 physics

Impartial Combinatorial Games and the Nuclear Escalation Ladder

यह शोध पत्र हर्मन कान के परमाणु वृद्धि सीढ़ी (न्यूक्लियर एस्केलेशन लैडर) को मिज़रे प्ले (misere play) के अंतर्गत एक निष्पक्ष कॉम्बिनेटरियल गेम के रूप में मॉडल करता है, जो सीढ़ी की लंबाई और सूक्ष्मता (ग्रैनुलैरिटी) के आधार पर स्थिरता की शर्तों को व्युत्पन्न करता है और निम-सम (Nim-sums) तथा मिज़रे कोटिएंट्स (misere quotients) के माध्यम से समवर्ती थिएटर डायनेमिक्स को अभिलक्षणित करता है।

मूल लेखक: Arnav Garg

प्रकाशित 2026-06-30

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

CC BY 4.0

मूल लेखक: Arnav Garg

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

कल्पना कीजिए कि दो महाशक्तियों के बीच के संकट को एक बहुत लंबी, खड़ी सीढ़ी पर खेले जाने वाले "चिकन" (Chicken) खेल के रूप में देखा जा रहा है। सीढ़ी के शीर्ष पर एक परमाणु विस्फोट है। खेल का लक्ष्य शीर्ष तक पहुँचना नहीं है; लक्ष्य उस व्यक्ति को बनने से बचना है जो विस्फोट को ट्रिगर करने वाला अंतिम कदम उठाता है।

अर्णव गर्ग का यह शोध पत्र एक प्रसिद्ध अवधारणा जिसे "एस्केलेशन लैडर" (Escalation Ladder - उभार की सीढ़ी) कहा जाता है (जिसे रणनीतिकार हरमन कान ने बनाया था), उसका विश्लेषण बोर्ड गेम्स की गणित का उपयोग करके करता है, विशेष रूप से एक प्रकार के इम्पार्शियल कॉम्बिनेटोरियल गेम्स (Impartial Combinatorial Games) का।

यहाँ पेपर के विचारों का सरल उपमाओं (analogies) का उपयोग करके विवरण दिया गया है:

1. खेल की सेटअप: आपदा की ओर एक सीढ़ी

संकट को $N$ चरणों वाली एक सीढ़ी के रूप में सोचें।

चरण 0: शांति (निचला हिस्सा)।
चरण N: परमाणु युद्ध (शीर्ष)।
नियम: दो खिलाड़ी बारी-बारी से चलते हैं। अपनी बारी पर, आपको सीढ़ियों पर एक निश्चित संख्या में चरण (जैसे 1, 2, या 3 चरण) ऊपर बढ़ना होगा। आप अपनी बारी छोड़ नहीं सकते।
ट्विस्ट: अधिकांश खेलों में, जो अंतिम चाल चलता है वह जीतता है। लेकिन इस खेल में, जिस व्यक्ति को शीर्ष तक पहुँचने वाला अंतिम कदम उठाने के लिए मजबूर किया जाता है, वह हार जाता है (क्योंकि उसने परमाणु युद्ध शुरू किया)। गणितीय शब्दों में, इसे मिज़रे प्ले (Misère play - "अंतिम खिलाड़ी हारता है" वाला खेल) कहा जाता है।

2. एकल सीढ़ी: "जादुई संख्या"

पेपर पहले केवल एक सीढ़ी (एक संकट) को देखता है। यह पूछता है: यदि हम एक विशिष्ट चरण पर खड़े हैं, तो क्या आगे बढ़ना सुरक्षित है, या हम बर्बाद होने वाले हैं?

लेखक एक सरल गणितीय पैटर्न ("कंग्रुएंस") की खोज करता है जो सुरक्षा निर्धारित करता है।

उपमा: कल्पना करें कि सीढ़ी एक घड़ी की तरह है। यदि आप एक बार में केवल 1, 2, या 3 चरण चल सकते हैं, तो "सुरक्षित" स्थान 4 के चक्र में दोहराते हैं।
निष्कर्ष: यदि शीर्ष तक की दूरी एक विशिष्ट संख्या (जैसे आपके चरण के आकार के आधार पर 1, 5, 9, आदि) है, तो जिस व्यक्ति की बारी है, वह संरचनात्मक रूप से अंततः हारने के लिए मजबूर है, बशर्ते दूसरा खिलाड़ी पूरी तरह से सही तरीके से खेले।
सबक: यह केवल बचे हुए चरणों के बारे में नहीं है; यह चरणों के गणित के बारे में है। सीढ़ी में अधिक चरण जोड़ने से हमेशा स्थिति सुरक्षित नहीं होती। कभी-कभी, केवल एक अतिरिक्त चरण जोड़ना खेल को उस व्यक्ति के लिए "सुरक्षित" से बदलकर "बर्बाद" कर देता है जिसे पहले चलना पड़ता है।

3. दो सीढ़ियाँ एक साथ: "निम-सम" (Nim-Sum)

अब, कल्पना करें कि संकट एक ही समय में दो जगहों पर हो रहा है (जैसे यूरोप और प्रशांत महासागर में)। यह दो अलग-अलग सीढ़ियों जैसा है। अपनी बारी पर, आप या तो यूरोप की सीढ़ी या प्रशांत की सीढ़ी में ऊपर बढ़ सकते हैं, लेकिन दोनों में नहीं।

"सामान्य" संस्करण: यदि हम यह मान लें कि शीर्ष तक पहुँचना वास्तव में एक जीत है (जो गणना करने में गणितीय रूप से आसान है), तो पेपर एक प्रसिद्ध नियम "निम-सम" को सिद्ध करता है।
उपमा: इन दो सीढ़ियों को सिक्कों के दो ढेरों के रूप में सोचें। पूरी स्थिति की "सुरक्षा" दोनों सीढ़ियों की दूरियों के एक विशेष "XOR" कैलकुलेशन (बाइनरी गणित का एक हिस्सा) द्वारा निर्धारित होती है।
आश्चर्य: पूरी स्थिति की स्थिरता केवल सबसे खतरनाक सीढ़ी के बारे में नहीं है। यह दोनों का एक जटिल मिश्रण है। आप केवल उस सीढ़ी को नहीं देख सकते जो शीर्ष के सबसे करीब है; आपको दोनों पर गणित करना होगा।

4. वास्तविक दुनिया का संस्करण: "मिज़रे" समस्या

ऊपर दिया गया "सामान्य" संस्करण एक गणितीय युक्ति है। वास्तविक दुनिया में, हम "मिज़रे" संस्करण की परवाह करते हैं (जहाँ शीर्ष तक पहुँचना एक हार है)।

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

5. यह क्या है (और क्या नहीं है)

पेपर सावधानीपूर्वक स्पष्ट करता है कि यह क्या है और क्या नहीं:

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

सारांश

यह पेपर परमाणु बढ़ने (escalation) को एक गणितीय पहेली की तरह मानता है। यह दिखाता है कि:

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

लेखक का मुख्य योगदान यह दिखाना है कि राजनीतिक भावनाओं या विशिष्ट हथियारों को जाने बिना भी, सीढ़ी की स्वयं की संरचना यह तय करती है कि कौन सबसे अधिक खतरे में है।

तकनीकी सारांश: निष्पक्ष संयोजन खेल (Impartial Combinatorial Games) और परमाणु संकट की सीढ़ी (Nuclear Escalation Ladder)

समस्या विवरण
यह शोध पत्र हर्मन कान के "एस्केलेशन लैडर" (escalation ladder) के औपचारिक मॉडलिंग को संबोधित करता है, जो शांति से परमाणु उपयोग तक महाशक्तियों के नियंत्रित संकट के तीव्र होने के रूपदर्शी (metaphor) को दर्शाता है। जबकि संकट पर मौजूदा गेम-थ्योरेटिक साहित्य (जैसे शेलिंग, ब्रम्स, पॉवेल) शास्त्रींय, पे-ऑफ आधारित ढांचों पर निर्भर करता है जिसमें कार्डिनल या ऑर्डिनल उपयोगिता (utilities) और साम्य (equilibrium) की अवधारणाएं शामिल होती हैं, ये दृष्टिकोण तर्कसंगतता और सामान्य ज्ञान (common knowledge) की मजबूत धारणाओं को समाहित करते हैं। वे विशुद्ध रूप से स्थितिजन्य प्रश्न को अस्पष्ट कर देते हैं: दिए गए संकट की स्थिति और खिलाड़ी को चलते हुए देखते हुए, कौन संरचनात्मक रूप से अगला, संभावित रूप से घातक कदम उठाने के लिए मजबूर है? यह शोध पत्र परमाणु उपयोग की सीढ़ी को एक निष्पक्ष संयोजन खेल (impartial combinatorial game) के रूप में मॉडल करने का प्रस्ताव करता है ताकि यह निर्धारित किया जा सके कि कौन कार्य करने के लिए मजबूर है, जिससे कार्डिनल पे-ऑफ के बजाय जीत/हार और किसकी बारी है, इस संरचना को अलग किया जा सके।

कार्यप्रणाली
लेखक परमाणु दहलीज (nuclear threshold) से दूरी के आधार पर एस्केलेशन लैडर को पुन: अनुक्रमित (reindex) करते हैं।

पुनः अनुक्रमण (Reindexing): यदि सीढ़ी में $N+1$ रंंग (rungs) हैं ($0 $से$ N $), तो एक अवस्था को$ r = N - n$ के रूप में पुनर्गठित किया जाता है, जो परमाणु उपयोग से पहले शेष रंंगों की संख्या को दर्शाता है।
खेल का सूत्रकरण (Game Formulation): यह रूपांतरण सीढ़ी को एक सबट्रैक्शन गेम (subtraction game) में बदल देता है, जो निष्पक्ष खेलों की सबसे विश्लेषणात्मक रूप से सुलभ श्रेणी है।
- अवस्था स्थान (State Space): $\{0, 1, \dots, N\}$ ।
- चालें (Moves): अवस्था $r \ge 1$ से, एक खिलाड़ी एक चरण $d \in S = \{1, \dots, m\}$ चुनता है (जहाँ $m$ एस्केलेशन की सूक्ष्मता है) ताकि $d \le r$ हो, और $r-d$ पर पहुँच जाए।
- परंपरा (Convention): खेल को मिज़ियर परंपरा (misère convention) के तहत खेला जाता है (वह खिलाड़ी जो टर्मिनल अवस्था $r=0$ पर पहुँचता है, वह हार जाता है), जो इस सिद्धांत को दर्शाता है कि कोई भी पक्ष परमाणु दहलीज को पार करने वाला पहला पक्ष नहीं बनना चाहता।
बहु-थिएटर विस्तार (Multi-Theater Extension): समवर्ती थिएटरों के लिए, खेल को स्वतंत्र एकल-सीढ़ी खेलों के विसंयुक्त योग (disjunctive sum) के रूप में मॉडल किया जाता है।
विश्लेषणात्मक उपकरण: शोध पत्र सामान्य खेल (normal play) के लिए स्प्रेग-ग्रुंडी प्रमेय (Sprague-Grundy theorem) और मिज़ियर खेल (misère play) के लिए मिज़ियर कोटिएंट (misère quotients) (प्लैंबेक और सीगल) का उपयोग करता है।

प्रमुख योगदान और परिणाम

1. एकल-सीढ़ी स्थिरता (प्रमेय 4.1)
शोध पत्र यह सिद्ध करता है कि $S = \{1, \dots, m\}$ एस्केलेशन सेट वाले एकल थिएटर के लिए, P-स्थितियों (पिछली-खिलाड़ी जीतने वाली स्थितियाँ, यानी वे अवस्थाएँ जहाँ खिलाड़ी संरचनात्मक रूप से हारने के लिए मजबूर है) का सेट एक सरल सर्वांगसमता (congruence) द्वारा शासित होता है:
$P = \{ r \ge 0 : r \equiv 1 \pmod{m+1} \}$

उपप्रमेय 4.2: यथास्थिति ( $r=N$ ) एक P-पोजीशन है (प्रथम एस्केलेशन का बोझ उठाने वाला) यदि और केवल यदि $N \equiv 1 \pmod{m+1}$ ।
निहितार्थ: स्थिरता सीढ़ी की लंबाई या सूक्ष्मता के साथ एकदिशीय (monotonic) नहीं है। रंंग जोड़ने या स्टेप साइज बदलने से अंकगणितीय सर्वांगसमता वर्गों के आधार पर यथास्थिति स्थिर और अस्थिर के बीच बदल सकती है, जो एक सूक्ष्म पहलू है जिसे साधारण "अधिक विकल्प = अधिक स्थिरता" वाले नियम नहीं पकड़ पाते।

2. सामान्य खेल के तहत बहु-थिएटर स्थिरता (प्रमेय से.2)
सामान्य-खेल परंपरा (जहाँ अंतिम चाल चलने वाला खिलाड़ी जीतता है) के तहत, $k$ स्वतंत्र थिएटरों की संयुक्त स्थिरता घटक ग्रुंडी मानों के निम-सम (Nim-sum) (बिटवाइज XOR) द्वारा निर्धारित होती है:
$\bigoplus_{i=1}^k (r_i \pmod{m_i + 1}) = 0$

परिणाम: संयुक्त स्थिरता न तो योगात्मक (additive) है और न ही सबसे खतरनाक थिएटर द्वारा डोमिनेटेड है। यह सभी थिएटरों में एस्केलेशन की दूरियों का एक गैर-रैखिक फलन है।

3. मिज़ियर प्ले के तहत बहु-थिएटर स्थिरता (प्रमेय 6.3)
शोध पत्र प्रदर्शित करता है कि निम-सम न्यूनीकरण (Nim-sum reduction), डॉक्ट्रिनल रूप से सटीक मिज़ियर परंपरा के तहत विफल हो जाता है।

प्रति-उदाहरण (Counterexample): एक संयुक्त अवस्था $(1, 1)$ जिसमें $S=\{1, 2\}$ है, उसका निम-सम 0 है (एक P-पोजीशन की भविष्यवाणी करता है), लेकिन बैकवर्ड इंडक्शन दिखाता है कि यह वास्तव में एक N-पोजीशन है।
मिज़ियर कोटिएंट: शोध पत्र निम-सम के विकल्प के रूप में मिज़ियर कोटिएंट पेश करता है। दो-चरणीय एस्केलेशन ( $S=\{1, 2\}$ ) के विशिष्ट मामले के लिए, मिज़ियर कोटिएंट को ऑर्डर-छह कम्यूटेटिव मोनोइड (order-six commutative monoid) के रूप में सिद्ध किया गया है:
$Q = \langle a, b \mid a^2 = 1, b^3 = b \rangle$
जिसमें लॉस सेट $P = \{a, b^2\}$ है। यह संरचना दर्शाती है कि बहु-थिएटर स्थिरता एक गैर-तुच्छ इडेम्पोटेंट्स (idempotents) वाले मोनोइड द्वारा शासित होती है, न कि एक समूह (group) द्वारा, जिसका अर्थ है कि सरल संतुलन अनुमान (जैसे दूरी का मिलान करना) विफल हो सकते हैं।

4. विस्तार और सीमाएँ

गैर-निरंतर सेट (Non-contiguous Sets): गैर-निरंतर एस्केलेशन सेटों (जैसे $S=\{1, 3\}$ ) के लिए, सरल मॉड्यूलर फॉर्मूला खो जाता है, हालांकि खेल आवधिक (periodic) रहता है।
त्रिपक्षीय एस्केलेशन (Tripolar Escalation): शोध पत्र नोट करता है कि तीन-खिलाड़ी वाले निष्पक्ष खेल सिद्धांत में स्प्रेग-ग्रुंडी एनालॉग का अभाव है। परिणाम गठबंधन गतिशीलता (coalition dynamics) पर निर्भर करते हैं, और कोई एकल निम-सम इनवेरिएंट मौजूद नहीं है, जो यह सुझाव देता है कि त्रिपक्षीय एस्केलेशन द्विध्रुवीय (bipolar) की तुलना में गुणात्मक रूप से कम विश्लेषणात्मक है।
डी-एस्केलेशन (De-escalation): सीढ़ी से नीचे की ओर जाने वाली चालों की अनुमति देने से 'लूपी गेम्स' (loopy games) बन जाते हैं, जो समस्या को परिमित स्प्रेग-ग्रुंडी सिद्धांत से बाहर ले जाता है।

महत्व और दावे
शोध पत्र दावा करता है कि यह परमाणु एस्केलेशन लैडर के लिए प्रथम अनुप्रयोग है (विशेष रूप से स्प्रेग-ग्रुंडिंग और मिज़ियर विश्लेषण के माध्यम से)।

संरचनात्मक अंतर्दृष्टि: यह बंद-रूप संरचनात्मक इनवेरिएंट्स (सर्वांगसमता और निम-सम) प्रदान करता है जो अंतर्निहित उपयोगिता या पे-ऑफ संरचनाओं से स्वतंत्र रहते हैं।
पूरकता: लेखक इस मॉडल को शास्त्रीय निवारण सिद्धांत (deterrence theory) के प्रतिस्थापन के रूप में नहीं, बल्कि एक पूरक लेंस के रूप में देखते हैं जो उन "पोजीशनल" संरचनाओं को अलग करता है जो अक्सर पे-ऑफ आधारित मॉडलों में निहित होती हैं।
विनम्रता: शोध पत्र स्पष्ट रूप से सीमाओं को स्वीकार करता है: एस्केलेशन सेट $S$ को विशिष्ट सिद्धांतों के बजाय एक धारणा (assumption) माना गया है; यह प्राथमिकता की तीव्रता और मानवीय कारकों को अनदेखा करता है; और $m \ge 3$ या गैर-निरंतर सेटों के लिए इसका बहु-थिएटर मिज़ियर सिद्धांत अपूर्ण है। इसका प्राथमिक योगदान उन अंकगणितीय इनवेरिएंट्स की पहचान करना है जो यह निर्धारित करते हैं कि कार्य करने के लिए मजबूर कौन है।