तंत्र डिज़ाइन: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Field in game theory}} Image:Stanley Reiter MDdiagram.png|thumb|345px| ऊपर दिया गया स्टैनली रेइटर आरे...")
 
No edit summary
Line 1: Line 1:
{{Short description|Field in game theory}}
{{Short description|Field in game theory}}


[[Image:Stanley Reiter MDdiagram.png|thumb|345px| ऊपर दिया गया स्टैनली रेइटर आरेख तंत्र डिज़ाइन के खेल को दर्शाता है। ऊपरी बाएँ स्थान <math>\Theta</math> प्रकार स्थान और ऊपरी-दाएँ स्थान X परिणामों के स्थान को दर्शाता है। सामाजिक चयन समारोह <math>f(\theta)</math> किसी परिणाम के लिए एक प्रकार की प्रोफ़ाइल मैप करता है। तंत्र डिज़ाइन के खेलों में, एजेंट संदेश भेजते हैं <math>M</math> खेल के माहौल में <math>g</math>. खेल में संतुलन <math>\xi(M,g,\theta)</math> कुछ सामाजिक चयन फ़ंक्शन को कार्यान्वित करने के लिए डिज़ाइन किया जा सकता है <math>f(\theta)</math>.]]तंत्र डिजाइन अर्थशास्त्र और खेल सिद्धांत में एक क्षेत्र है जो रणनीतिक सेटिंग्स में, वांछित उद्देश्यों की ओर, आर्थिक तंत्र या प्रोत्साहन को डिजाइन करने के लिए एक उद्देश्य-प्रथम दृष्टिकोण लेता है, जहां खिलाड़ी तर्कसंगत रूप से कार्य करते हैं। क्योंकि यह खेल के अंत में शुरू होता है, फिर पीछे की ओर जाता है, इसे रिवर्स गेम थ्योरी भी कहा जाता है। इसमें अर्थशास्त्र और राजनीति से लेकर बाजार डिजाइन, [[नीलामी सिद्धांत]] और सामाजिक विकल्प सिद्धांत से लेकर नेटवर्क-सिस्टम (इंटरनेट इंटरडोमेन रूटिंग, प्रायोजित खोज नीलामी) जैसे क्षेत्रों में व्यापक अनुप्रयोग हैं।
[[Image:Stanley Reiter MDdiagram.png|thumb|345px| ऊपर दिया गया स्टैनली रेइटर आरेख तंत्र डिज़ाइन के खेल को दर्शाता है। ऊपरी बाएँ स्थान <math>\Theta</math> प्रकार स्थान और ऊपरी-दाएँ स्थान X परिणामों के स्थान को दर्शाता है। सामाजिक चयन फलन <math>f(\theta)</math> किसी परिणाम के लिए प्रकार की प्रोफ़ाइल मैप करता है। तंत्र डिज़ाइन के खेलों में, एजेंट संदेश भेजते हैं <math>M</math> खेल के माहौल में <math>g</math>. खेल में संतुलन <math>\xi(M,g,\theta)</math> कुछ सामाजिक चयन फलन को कार्यान्वित करने के लिए डिज़ाइन किया जा सकता है <math>f(\theta)</math>.]]तंत्र डिजाइन अर्थशास्त्र और खेल सिद्धांत में क्षेत्र है जो रणनीतिक सेटिंग्स में, वांछित उद्देश्यों की ओर, आर्थिक तंत्र या प्रोत्साहन को डिजाइन करने के लिए उद्देश्य-प्रथम दृष्टिकोण लेता है, जहां खिलाड़ी तर्कसंगत रूप से कार्य करते हैं। क्योंकि यह खेल के अंत में प्रारंभ होता है, फिर पीछे की ओर जाता है, इसे रिवर्स गेम थ्योरी भी कहा जाता है। इसमें अर्थशास्त्र और राजनीति से लेकर बाजार डिजाइन, [[नीलामी सिद्धांत]] और सामाजिक विकल्प सिद्धांत से लेकर नेटवर्क-सिस्टम (इंटरनेट इंटरडोमेन रूटिंग, प्रायोजित खोज नीलामी) जैसे क्षेत्रों में व्यापक अनुप्रयोग हैं।


मैकेनिज्म डिज़ाइन निजी-सूचना खेलों के एक वर्ग के लिए समाधान अवधारणाओं का अध्ययन करता है। [[लियोनिद हर्विक्ज़]] बताते हैं कि 'एक डिज़ाइन समस्या में, लक्ष्य फ़ंक्शन मुख्य दिया गया है, जबकि
मैकेनिज्म डिज़ाइन निजी-सूचना खेलों के वर्ग के लिए समाधान अवधारणाओं का अध्ययन करता है। [[लियोनिद हर्विक्ज़]] बताते हैं कि 'एक डिज़ाइन समस्या में, लक्ष्य फलन मुख्य दिया गया है, जबकि
तंत्र अज्ञात है. इसलिए, डिज़ाइन समस्या पारंपरिक आर्थिक सिद्धांत का उलटा है, जो आम तौर पर किसी दिए गए तंत्र के प्रदर्शन के विश्लेषण के लिए समर्पित है।'<ref>L. Hurwicz & S. Reiter (2006) [[Designing Economic Mechanisms]], p. 30</ref> तो, इन खेलों की दो विशिष्ट विशेषताएं हैं:
तंत्र अज्ञात है. इसलिए, डिज़ाइन समस्या पारंपरिक आर्थिक सिद्धांत का उलटा है, जो सामान्यतः किसी दिए गए तंत्र के प्रदर्शन के विश्लेषण के लिए समर्पित है।'<ref>L. Hurwicz & S. Reiter (2006) [[Designing Economic Mechanisms]], p. 30</ref> तब, इन खेलों की दो विशिष्ट विशेषताएं हैं:


* कि एक गेम डिज़ाइनर किसी गेम को विरासत में लेने के बजाय गेम संरचना को चुनता है
* कि गेम डिज़ाइनर किसी गेम को विरासत में लेने के अतिरिक्त गेम संरचना को चुनता है
* कि डिज़ाइनर को खेल के परिणाम में रुचि है
* कि डिज़ाइनर को खेल के परिणाम में रुचि है


2007 में [[आर्थिक विज्ञान में नोबेल मेमोरियल पुरस्कार]] लियोनिद हरविक्ज़, [[एरिक मास्किन]] और रोजर मायर्सन को तंत्र डिजाइन सिद्धांत की नींव रखने के लिए प्रदान किया गया था।<ref>{{cite press release |url=http://nobelprize.org/nobel_prizes/economics/laureates/2007/press.html |title=The Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel 2007 |date=October 15, 2007 |access-date=2008-08-15 |publisher=[[Nobel Foundation]]}}</ref>
2007 में [[आर्थिक विज्ञान में नोबेल मेमोरियल पुरस्कार]] लियोनिद हरविक्ज़, [[एरिक मास्किन]] और रोजर मायर्सन को तंत्र डिजाइन सिद्धांत की नींव रखने के लिए प्रदान किया गया था।<ref>{{cite press release |url=http://nobelprize.org/nobel_prizes/economics/laureates/2007/press.html |title=The Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel 2007 |date=October 15, 2007 |access-date=2008-08-15 |publisher=[[Nobel Foundation]]}}</ref>
==अंतर्ज्ञान==
==अंतर्ज्ञान==


[[बायेसियन खेल]]ों की एक दिलचस्प कक्षा में, एक खिलाड़ी, जिसे प्रिंसिपल कहा जाता है, अन्य खिलाड़ियों को निजी तौर पर ज्ञात जानकारी के आधार पर अपने व्यवहार को नियंत्रित करना चाहेगा। उदाहरण के लिए, प्रिंसिपल यह जानना चाहेंगे कि सेल्समैन जिस पुरानी कार के बारे में बता रहा है, उसकी वास्तविक गुणवत्ता क्या है। वह सिर्फ सेल्समैन से पूछकर कुछ नहीं सीख सकता, क्योंकि सच्चाई को तोड़-मरोड़कर पेश करना सेल्समैन के हित में है। हालाँकि, तंत्र डिज़ाइन में प्रिंसिपल को एक फायदा होता है: वह एक गेम डिज़ाइन कर सकता है जिसके नियम दूसरों को उस तरह से कार्य करने के लिए प्रभावित कर सकते हैं जैसा वह चाहता है।
[[बायेसियन खेल]] की रोचक कक्षा में, खिलाड़ी, जिसे प्रिंसिपल कहा जाता है, अन्य खिलाड़ियों को निजी तौर पर ज्ञात जानकारी के आधार पर अपने व्यवहार को नियंत्रित करना चाहेगा। उदाहरण के लिए, प्रिंसिपल यह जानना चाहेंगे कि सेल्समैन जिस पुरानी कार के बारे में बता रहा है, उसकी वास्तविक गुणवत्ता क्या है। वह सिर्फ सेल्समैन से पूछकर कुछ नहीं सीख सकता, क्योंकि सच्चाई को तोड़-मरोड़कर प्रस्तुत करना सेल्समैन के हित में है। यद्यपि, तंत्र डिज़ाइन में प्रिंसिपल को लाभ होता है: वह गेम डिज़ाइन कर सकता है जिसके नियम दूसरों को उस तरह से कार्य करने के लिए प्रभावित कर सकते हैं जैसा वह चाहता है।


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


==नींव==
=='''नींव'''==


===तंत्र===
===तंत्र===


तंत्र डिज़ाइन का खेल निजी जानकारी का खेल है जिसमें एजेंटों में से एक, जिसे प्रिंसिपल कहा जाता है, भुगतान संरचना चुनता है। अगले {{harvs|txt|last=Harsanyi|year=1967|author-link=John Harsanyi}}, एजेंटों को प्रकृति से गुप्त संदेश प्राप्त होते हैं जिनमें भुगतान से संबंधित जानकारी होती है। उदाहरण के लिए, किसी संदेश में उनकी प्राथमिकताओं या बिक्री के लिए किसी वस्तु की गुणवत्ता के बारे में जानकारी हो सकती है। हम इस जानकारी को एजेंट का प्रकार कहते हैं (आमतौर पर नोट किया जाता है)। <math>\theta</math> और तदनुसार प्रकारों का स्थान <math>\Theta</math>). फिर एजेंट प्रिंसिपल को एक प्रकार की रिपोर्ट करते हैं (आमतौर पर टोपी के साथ नोट किया जाता है)। <math>\hat\theta</math>) यह एक रणनीतिक झूठ हो सकता है। रिपोर्ट के बाद, प्रिंसिपल और एजेंटों को प्रिंसिपल द्वारा चुनी गई भुगतान संरचना के अनुसार भुगतान किया जाता है।
तंत्र डिज़ाइन का खेल निजी जानकारी का खेल है जिसमें एजेंटों में से एक, जिसे प्रिंसिपल कहा जाता है, भुगतान संरचना चुनता है। अगले {{harvs|txt|last=Harsanyi|year=1967|author-link=John Harsanyi}}, एजेंटों को प्रकृति से गुप्त संदेश प्राप्त होते हैं जिनमें भुगतान से संबंधित जानकारी होती है। उदाहरण के लिए, किसी संदेश में उनकी प्राथमिकताओं या बिक्री के लिए किसी वस्तु की गुणवत्ता के बारे में जानकारी हो सकती है। हम इस जानकारी को एजेंट का प्रकार कहते हैं (सामान्यतः नोट किया जाता है)। <math>\theta</math> और तदनुसार प्रकारों का स्थान <math>\Theta</math>). फिर एजेंट प्रिंसिपल को प्रकार की रिपोर्ट करते हैं (सामान्यतः टोपी के साथ नोट किया जाता है)। <math>\hat\theta</math>) यह रणनीतिक झूठ हो सकता है। रिपोर्ट के पश्चात्, प्रिंसिपल और एजेंटों को प्रिंसिपल द्वारा चुनी गई भुगतान संरचना के अनुसार भुगतान किया जाता है।


खेल का समय है:
खेल का समय है:


# प्रिंसिपल एक तंत्र के लिए प्रतिबद्ध है <math>y()</math> जो परिणाम देता है <math>y</math> रिपोर्ट किए गए प्रकार के एक फ़ंक्शन के रूप में
# प्रिंसिपल तंत्र के लिए प्रतिबद्ध है <math>y()</math> जो परिणाम देता है <math>y</math> रिपोर्ट किए गए प्रकार के फलन के रूप में
# एजेंट, संभवतः बेईमानी से, एक प्रकार की प्रोफ़ाइल की रिपोर्ट करते हैं <math>\hat\theta</math>
# एजेंट, संभवतः बेईमानी से, प्रकार की प्रोफ़ाइल की रिपोर्ट करते हैं <math>\hat\theta</math>
# तंत्र निष्पादित होता है (एजेंट परिणाम प्राप्त करते हैं <math>y(\hat\theta)</math>)
# तंत्र निष्पादित होता है (एजेंट परिणाम प्राप्त करते हैं <math>y(\hat\theta)</math>)


यह समझने के लिए कि किसे क्या मिलता है, परिणाम को विभाजित करना आम बात है <math>y</math> माल आवंटन और धन हस्तांतरण में, <math>y(\theta) = \{ x(\theta), t(\theta) \}, \ x \in X, t \in T </math> कहाँ <math>x</math> प्रकार के कार्य के रूप में प्रदान की गई या प्राप्त की गई वस्तुओं के आवंटन के लिए खड़ा है, और <math>t</math> एक प्रकार के कार्य के रूप में मौद्रिक हस्तांतरण को दर्शाता है।
यह समझने के लिए कि किसे क्या मिलता है, परिणाम को विभाजित करना आम बात है <math>y</math> माल आवंटन और धन हस्तांतरण में, <math>y(\theta) = \{ x(\theta), t(\theta) \}, \ x \in X, t \in T </math> कहाँ <math>x</math> प्रकार के कार्य के रूप में प्रदान की गई या प्राप्त की गई वस्तुओं के आवंटन के लिए खड़ा है, और <math>t</math> प्रकार के कार्य के रूप में मौद्रिक हस्तांतरण को दर्शाता है।


एक बेंचमार्क के रूप में डिजाइनर अक्सर यह परिभाषित करते हैं कि पूरी जानकारी के तहत क्या होगा। ए को परिभाषित करें{{vanchor|social choice function}} <math>f(\theta)</math> प्राप्त या प्रदान किए गए माल के आवंटन के लिए (सही) प्रकार की प्रोफ़ाइल को सीधे मैप करना,
एक बेंचमार्क के रूप में डिजाइनर अधिकांशतः यह परिभाषित करते हैं कि पूरी जानकारी के अनुसार क्या होगा। ए को परिभाषित करें{{vanchor|social choice function}} <math>f(\theta)</math> प्राप्त या प्रदान किए गए माल के आवंटन के लिए (सही) प्रकार की प्रोफ़ाइल को सीधे मैप करना,


:<math>f(\theta): \Theta \rightarrow X</math>
:<math>f(\theta): \Theta \rightarrow X</math>
इसके विपरीत एक तंत्र ''रिपोर्ट'' प्रकार की प्रोफ़ाइल को ''परिणाम'' (फिर से, माल आवंटन दोनों) में मैप करता है <math>x</math> और एक धन हस्तांतरण <math>t</math>)
इसके विपरीत तंत्र ''रिपोर्ट'' प्रकार की प्रोफ़ाइल को ''परिणाम'' (फिर से, माल आवंटन दोनों) में मैप करता है <math>x</math> और धन हस्तांतरण <math>t</math>)
:<math>y(\hat\theta): \Theta \rightarrow Y</math>
:<math>y(\hat\theta): \Theta \rightarrow Y</math>
===रहस्योद्घाटन सिद्धांत===
===रहस्योद्घाटन सिद्धांत===
{{main|Revelation principle}}
{{main|Revelation principle}}


एक प्रस्तावित तंत्र एक बायेसियन गेम (निजी जानकारी का एक गेम) का गठन करता है, और यदि यह अच्छी तरह से व्यवहार किया जाता है तो गेम में [[बायेसियन नैश संतुलन]] होता है। संतुलन पर एजेंट प्रकार के कार्य के रूप में रणनीतिक रूप से अपनी रिपोर्ट चुनते हैं
एक प्रस्तावित तंत्र बायेसियन गेम (निजी जानकारी का गेम) का गठन करता है, और यदि यह अच्छी तरह से व्यवहार किया जाता है तब गेम में [[बायेसियन नैश संतुलन]] होता है। संतुलन पर एजेंट प्रकार के कार्य के रूप में रणनीतिक रूप से अपनी रिपोर्ट चुनते हैं
:<math>\hat\theta(\theta)</math>
:<math>\hat\theta(\theta)</math>
ऐसी सेटिंग में बायेसियन संतुलन को हल करना मुश्किल है क्योंकि इसमें एजेंटों की सर्वोत्तम-प्रतिक्रिया रणनीतियों और संभावित रणनीतिक झूठ से सर्वोत्तम अनुमान को हल करना शामिल है। एक व्यापक परिणाम के लिए धन्यवाद, जिसे रहस्योद्घाटन सिद्धांत कहा जाता है, इससे कोई फर्क नहीं पड़ता कि एक डिजाइनर कोई भी तंत्र बना सकता है<ref>In unusual circumstances some truth-telling games have more equilibria than the Bayesian game they mapped from. See Fudenburg-Tirole Ch. 7.2 for some references.</ref> संतुलन पर ध्यान केंद्रित करें जिसमें एजेंट सच्चाई से प्रकार की रिपोर्ट करते हैं। रहस्योद्घाटन सिद्धांत कहता है: प्रत्येक बायेसियन नैश संतुलन के लिए एक बायेसियन गेम समान संतुलन परिणाम के साथ मेल खाता है लेकिन जिसमें खिलाड़ी सच्चाई से रिपोर्ट प्रकार करते हैं।
ऐसी सेटिंग में बायेसियन संतुलन को हल करना कठिनाई है क्योंकि इसमें एजेंटों की सर्वोत्तम-प्रतिक्रिया रणनीतियों और संभावित रणनीतिक झूठ से सर्वोत्तम अनुमान को हल करना सम्मिलित है। व्यापक परिणाम के लिए धन्यवाद, जिसे रहस्योद्घाटन सिद्धांत कहा जाता है, इससे कोई फर्क नहीं पड़ता कि डिजाइनर कोई भी तंत्र बना सकता है<ref>In unusual circumstances some truth-telling games have more equilibria than the Bayesian game they mapped from. See Fudenburg-Tirole Ch. 7.2 for some references.</ref> संतुलन पर ध्यान केंद्रित करें जिसमें एजेंट सच्चाई से प्रकार की रिपोर्ट करते हैं। रहस्योद्घाटन सिद्धांत कहता है: प्रत्येक बायेसियन नैश संतुलन के लिए बायेसियन गेम समान संतुलन परिणाम के साथ मेल खाता है किन्तु जिसमें खिलाड़ी सच्चाई से रिपोर्ट प्रकार करते हैं।


यह अत्यंत उपयोगी है. सिद्धांत सभी खिलाड़ियों को सच्चाई से रिपोर्ट प्रकार (एक [[प्रोत्साहन अनुकूलता]] बाधा के अधीन) मानकर बायेसियन संतुलन को हल करने की अनुमति देता है। एक झटके में यह रणनीतिक व्यवहार या झूठ पर विचार करने की आवश्यकता को समाप्त कर देता है।
यह अत्यंत उपयोगी है. सिद्धांत सभी खिलाड़ियों को सच्चाई से रिपोर्ट प्रकार (एक [[प्रोत्साहन अनुकूलता]] बाधा के अधीन) मानकर बायेसियन संतुलन को हल करने की अनुमति देता है। झटके में यह रणनीतिक व्यवहार या झूठ पर विचार करने की आवश्यकता को समाप्त कर देता है।


इसका प्रमाण बिल्कुल प्रत्यक्ष है. एक बायेसियन गेम मान लें जिसमें एजेंट की रणनीति और भुगतान उसके प्रकार के कार्य हैं और अन्य क्या करते हैं, <math>u_i\left(s_i(\theta_i),s_{-i}(\theta_{-i}), \theta_{i} \right)</math>. परिभाषा के अनुसार एजेंट I की संतुलन रणनीति <math>s(\theta_i)</math> क्या नैश अपेक्षित उपयोगिता में है:
इसका प्रमाण बिल्कुल प्रत्यक्ष है. बायेसियन गेम मान लें जिसमें एजेंट की रणनीति और भुगतान उसके प्रकार के कार्य हैं और अन्य क्या करते हैं, <math>u_i\left(s_i(\theta_i),s_{-i}(\theta_{-i}), \theta_{i} \right)</math>. परिभाषा के अनुसार एजेंट I की संतुलन रणनीति <math>s(\theta_i)</math> क्या नैश अपेक्षित उपयोगिता में है:
:<math>s_i(\theta_i) \in \arg\max_{s'_i \in S_i} \sum_{\theta_{-i}} \ p(\theta_{-i} \mid \theta_i) \ u_i\left(s'_i, s_{-i}(\theta_{-i}),\theta_i \right)</math>
:<math>s_i(\theta_i) \in \arg\max_{s'_i \in S_i} \sum_{\theta_{-i}} \ p(\theta_{-i} \mid \theta_i) \ u_i\left(s'_i, s_{-i}(\theta_{-i}),\theta_i \right)</math>
बस एक तंत्र को परिभाषित करें जो एजेंटों को समान संतुलन चुनने के लिए प्रेरित करेगा। परिभाषित करने के लिए सबसे आसान तरीका यह है कि तंत्र उनके लिए एजेंटों की संतुलन रणनीतियों को निभाने के लिए प्रतिबद्ध हो।
बस तंत्र को परिभाषित करें जो एजेंटों को समान संतुलन चुनने के लिए प्रेरित करेगा। परिभाषित करने के लिए सबसे आसान प्रणाली यह है कि तंत्र उनके लिए एजेंटों की संतुलन रणनीतियों को निभाने के लिए प्रतिबद्ध हो।
:<math>y(\hat\theta) : \Theta \rightarrow S(\Theta) \rightarrow Y </math>
:<math>y(\hat\theta) : \Theta \rightarrow S(\Theta) \rightarrow Y </math>
ऐसे तंत्र के तहत एजेंटों को निश्चित रूप से प्रकार प्रकट करना इष्टतम लगता है क्योंकि तंत्र उन रणनीतियों को खेलता है जिन्हें वे वैसे भी इष्टतम पाते हैं। औपचारिक रूप से, चुनें <math>y(\theta)</math> ऐसा है कि
ऐसे तंत्र के अनुसार एजेंटों को निश्चित रूप से प्रकार प्रकट करना इष्टतम लगता है क्योंकि तंत्र उन रणनीतियों को खेलता है जिन्हें यह वैसे भी इष्टतम पाते हैं। औपचारिक रूप से, चुनें <math>y(\theta)</math> ऐसा है कि
: <math>
: <math>
\begin{align}
\begin{align}
Line 59: Line 55:
\end{align}
\end{align}
</math>
</math>
===कार्यान्वयनशीलता===
===कार्यान्वयनशीलता===


किसी तंत्र का डिज़ाइनर आम तौर पर या तो आशा करता है
किसी तंत्र का डिज़ाइनर सामान्यतः या तब आशा करता है
* एक तंत्र डिज़ाइन करना <math>y()</math> जो एक सामाजिक चयन फ़ंक्शन को कार्यान्वित करता है
* एक तंत्र डिज़ाइन करना <math>y()</math> जो सामाजिक चयन फलन को कार्यान्वित करता है
* तंत्र खोजने के लिए <math>y()</math> जो कुछ मूल्य मानदंड को अधिकतम करता है (जैसे लाभ)
* तंत्र खोजने के लिए <math>y()</math> जो कुछ मूल्य मानदंड को अधिकतम करता है (जैसे लाभ)


सामाजिक चयन समारोह को कार्यान्वित करना <math>f(\theta)</math> कुछ ढूंढना है <math>t(\theta)</math> स्थानांतरण फ़ंक्शन जो एजेंटों को चुनने के लिए प्रेरित करता है <math>f(\theta)</math>. औपचारिक रूप से, यदि तंत्र के तहत संतुलन रणनीति प्रोफ़ाइल सामाजिक चयन फ़ंक्शन के समान सामान आवंटन पर मैप करती है,
सामाजिक चयन फलन को कार्यान्वित करना <math>f(\theta)</math> कुछ ढूंढना है <math>t(\theta)</math> स्थानांतरण फलन जो एजेंटों को चुनने के लिए प्रेरित करता है <math>f(\theta)</math>. औपचारिक रूप से, यदि तंत्र के अनुसार संतुलन रणनीति प्रोफ़ाइल सामाजिक चयन फलन के समान सामान आवंटन पर मैप करती है,
:<math>f(\theta) = x \left(\hat\theta(\theta) \right)</math>
:<math>f(\theta) = x \left(\hat\theta(\theta) \right)</math>
हम कहते हैं कि तंत्र सामाजिक चयन फ़ंक्शन को कार्यान्वित करता है।
हम कहते हैं कि तंत्र सामाजिक चयन फलन को कार्यान्वित करता है।


रहस्योद्घाटन सिद्धांत के लिए धन्यवाद, डिजाइनर आमतौर पर एक स्थानांतरण फ़ंक्शन ढूंढ सकता है <math>t(\theta)</math> संबंधित सत्य कथन खेल को हल करके एक सामाजिक विकल्प को लागू करना। यदि एजेंटों को सत्यतापूर्वक रिपोर्ट प्रकार देना सर्वोत्तम लगता है,
रहस्योद्घाटन सिद्धांत के लिए धन्यवाद, डिजाइनर सामान्यतः स्थानांतरण फलन ढूंढ सकता है <math>t(\theta)</math> संबंधित सत्य कथन खेल को हल करके सामाजिक विकल्प को क्रियान्वित करना। यदि एजेंटों को सत्यतापूर्वक रिपोर्ट प्रकार देना सर्वोत्तम लगता है,
:<math>\hat\theta(\theta) = \theta</math>
:<math>\hat\theta(\theta) = \theta</math>
हम कहते हैं कि ऐसा तंत्र सचमुच कार्यान्वयन योग्य है (या बस कार्यान्वयन योग्य है)। फिर कार्य को सत्यतापूर्वक कार्यान्वयन के लिए हल करना है <math>t(\theta)</math> और इस स्थानांतरण फ़ंक्शन को मूल गेम में लागू करें। एक आवंटन <math>x(\theta)</math> यदि कोई स्थानांतरण फ़ंक्शन मौजूद है तो यह वास्तव में कार्यान्वयन योग्य है <math>t(\theta)</math> ऐसा है कि
हम कहते हैं कि ऐसा तंत्र सचमुच कार्यान्वयन योग्य है (या बस कार्यान्वयन योग्य है)। फिर कार्य को सत्यतापूर्वक कार्यान्वयन के लिए हल करना है <math>t(\theta)</math> और इस स्थानांतरण फलन को मूल गेम में क्रियान्वित करें। आवंटन <math>x(\theta)</math> यदि कोई स्थानांतरण फलन उपस्तिथ है तब यह वास्तव में कार्यान्वयन योग्य है <math>t(\theta)</math> ऐसा है कि
: <math>u(x(\theta),t(\theta),\theta) \geq u(x(\hat\theta),t(\hat\theta),\theta) \ \forall \theta,\hat\theta \in \Theta</math>
: <math>u(x(\theta),t(\theta),\theta) \geq u(x(\hat\theta),t(\hat\theta),\theta) \ \forall \theta,\hat\theta \in \Theta</math>
जिसे प्रोत्साहन अनुकूलता (आईसी) बाधा भी कहा जाता है।
जिसे प्रोत्साहन अनुकूलता (आईसी) बाधा भी कहा जाता है।


अनुप्रयोगों में, आईसी स्थिति आकार का वर्णन करने की कुंजी है <math>t(\theta)</math> किसी भी उपयोगी तरीके से. कुछ शर्तों के तहत यह स्थानांतरण फ़ंक्शन को विश्लेषणात्मक रूप से अलग भी कर सकता है। इसके अतिरिक्त, यदि एजेंटों के पास नहीं खेलने का विकल्प होता है तो कभी-कभी भागीदारी ([[व्यक्तिगत तर्कसंगतता]]) बाधा भी जोड़ी जाती है।
अनुप्रयोगों में, आईसी स्थिति आकार का वर्णन करने की कुंजी है <math>t(\theta)</math> किसी भी उपयोगी तरीके से. कुछ शर्तों के अनुसार यह स्थानांतरण फलन को विश्लेषणात्मक रूप से भिन्न भी कर सकता है। इसके अतिरिक्त, यदि एजेंटों के पास नहीं खेलने का विकल्प होता है तब कभी-कभी भागीदारी ([[व्यक्तिगत तर्कसंगतता]]) बाधा भी जोड़ी जाती है।


====आवश्यकता====
====आवश्यकता====


एक ऐसी सेटिंग पर विचार करें जिसमें सभी एजेंटों के पास एक प्रकार-आकस्मिक उपयोगिता फ़ंक्शन हो <math>u(x,t,\theta)</math>. माल आवंटन पर भी विचार करें <math>x(\theta)</math> वह वेक्टर-मूल्यवान और आकार है <math>k</math> (जो अनुमति देता है <math>k</math> वस्तुओं की संख्या) और मान लें कि यह अपने तर्कों के संबंध में टुकड़ों में निरंतर है।
एक ऐसी सेटिंग पर विचार करें जिसमें सभी एजेंटों के पास प्रकार-आकस्मिक उपयोगिता फलन हो <math>u(x,t,\theta)</math>. माल आवंटन पर भी विचार करें <math>x(\theta)</math> वह सदिश-मूल्यवान और आकार है <math>k</math> (जो अनुमति देता है <math>k</math> वस्तुओं की संख्या) और मान लें कि यह अपने तर्कों के संबंध में टुकड़ों में निरंतर है।


कार्यक्रम <math>x(\theta)</math> कार्यान्वयन तभी संभव है जब
कार्यक्रम <math>x(\theta)</math> कार्यान्वयन तभी संभव है जब
:<math> \sum^n_{k=1} \frac{\partial}{\partial \theta} \left( \frac{\partial u / \partial x_k}{\left|\partial u / \partial t\right|} \right) \frac{\partial x}{\partial \theta} \geq 0 </math>
:<math> \sum^n_{k=1} \frac{\partial}{\partial \theta} \left( \frac{\partial u / \partial x_k}{\left|\partial u / \partial t\right|} \right) \frac{\partial x}{\partial \theta} \geq 0 </math>
जब कभी भी <math>x=x(\theta)</math> और <math>t=t(\theta)</math> और x निरंतर है <math>\theta</math>. यह एक आवश्यक शर्त है और सत्य-कथन को मानते हुए एजेंट की अनुकूलन समस्या के पहले और दूसरे क्रम की स्थितियों से ली गई है।
जब कभी भी <math>x=x(\theta)</math> और <math>t=t(\theta)</math> और x निरंतर है <math>\theta</math>. यह आवश्यक शर्त है और सत्य-कथन को मानते हुए एजेंट की अनुकूलन समस्या के पहले और दूसरे क्रम की स्थितियों से ली गई है।


इसका अर्थ दो टुकड़ों में समझा जा सकता है. पहला भाग कहता है कि एजेंट की प्रतिस्थापन की सीमांत दर (एमआरएस) प्रकार के एक फ़ंक्शन के रूप में बढ़ती है,
इसका अर्थ दो टुकड़ों में समझा जा सकता है. पहला भाग कहता है कि एजेंट की प्रतिस्थापन की सीमांत दर (एमआरएस) प्रकार के फलन के रूप में बढ़ती है,
:<math>\frac \partial {\partial \theta} \left( \frac{\partial u / \partial x_k}{\left|\partial u / \partial t\right|} \right) = \frac{\partial}{\partial \theta} \mathrm{MRS}_{x,t}</math>
:<math>\frac \partial {\partial \theta} \left( \frac{\partial u / \partial x_k}{\left|\partial u / \partial t\right|} \right) = \frac{\partial}{\partial \theta} \mathrm{MRS}_{x,t}</math>
संक्षेप में, यदि तंत्र उच्च प्रकार के एजेंट को बेहतर सौदा प्रदान नहीं करता है तो एजेंट सच नहीं बताएंगे। अन्यथा, किसी भी तंत्र का सामना करने वाले उच्च प्रकार, जो रिपोर्टिंग के लिए उच्च प्रकार को दंडित करते हैं, झूठ बोलेंगे और घोषणा करेंगे कि वे निम्न प्रकार के हैं, सत्य बताने वाली आईसी बाधा का उल्लंघन करेंगे। दूसरा भाग एक एकरसता की स्थिति है जो घटित होने की प्रतीक्षा कर रही है,
संक्षेप में, यदि तंत्र उच्च प्रकार के एजेंट को उत्तम सौदा प्रदान नहीं करता है तब एजेंट सच नहीं बताएंगे। अन्यथा, किसी भी तंत्र का सामना करने वाले उच्च प्रकार, जो रिपोर्टिंग के लिए उच्च प्रकार को दंडित करते हैं, झूठ बोलेंगे और घोषणा करेंगे कि वे निम्न प्रकार के हैं, सत्य बताने वाली आईसी बाधा का उल्लंघन करेंगे। दूसरा भाग एकरसता की स्थिति है जो घटित होने की प्रतीक्षा कर रही है,
:<math>\frac{\partial x}{\partial \theta} </math>
:<math>\frac{\partial x}{\partial \theta} </math>
जिसका, सकारात्मक होने का मतलब है कि उच्च प्रकारों को अधिक अच्छाई दी जानी चाहिए।
जिसका, धनात्मक होने का कारण है कि उच्च प्रकारों को अधिक अच्छाई दी जानी चाहिए।


दोनों टुकड़ों के बीच बातचीत की संभावना है। यदि किसी प्रकार की श्रेणी के लिए अनुबंध में उच्च प्रकार की तुलना में कम मात्रा की पेशकश की जाती है <math>\partial x / \partial \theta < 0</math>, यह संभव है कि तंत्र उच्च प्रकार की छूट देकर क्षतिपूर्ति कर सके। लेकिन निम्न-प्रकार के एजेंटों के लिए ऐसा अनुबंध पहले से मौजूद है, इसलिए यह समाधान रोगविज्ञानी है। ऐसा समाधान कभी-कभी किसी तंत्र के समाधान की प्रक्रिया में होता है। इन मामलों में यह मैकेनिज्म डिजाइन#मायर्सन इस्त्री होना चाहिए। बहु-अच्छे वातावरण में डिज़ाइनर के लिए यह भी संभव है कि वह एजेंट को किसी अन्य वस्तु के कम के स्थान पर अधिक वस्तु देकर पुरस्कृत करे (जैसे [[नकली [[मक्खन]]]] के लिए मक्खन)। तंत्र डिजाइन सिद्धांत में बहु-अच्छे तंत्र एक सतत समस्या हैं।
दोनों टुकड़ों के मध्य बातचीत की संभावना है। यदि किसी प्रकार की श्रेणी के लिए अनुबंध में उच्च प्रकार की तुलना में कम मात्रा की पेशकश की जाती है <math>\partial x / \partial \theta < 0</math>, यह संभव है कि तंत्र उच्च प्रकार की छूट देकर क्षतिपूर्ति कर सके। किन्तु निम्न-प्रकार के एजेंटों के लिए ऐसा अनुबंध पहले से उपस्तिथ है, इसलिए यह समाधान रोगविज्ञानी है। ऐसा समाधान कभी-कभी किसी तंत्र के समाधान की प्रक्रिया में होता है। इन स्थितियोंमें यह मैकेनिज्म डिजाइन मायर्सन इस्त्री होना चाहिए। बहु-अच्छे वातावरण में डिज़ाइनर के लिए यह भी संभव है कि वह एजेंट को किसी अन्य वस्तु के कम के स्थान पर अधिक वस्तु देकर पुरस्कृत करे (जैसे [[नकली [[मक्खन]]]] के लिए मक्खन)। तंत्र डिजाइन सिद्धांत में बहु-अच्छे तंत्र सतत समस्या हैं।


====पर्याप्तता====
====पर्याप्तता====


कार्यान्वयन सुनिश्चित करने के लिए तंत्र डिज़ाइन पेपर आमतौर पर दो धारणाएँ बनाते हैं:
कार्यान्वयन सुनिश्चित करने के लिए तंत्र डिज़ाइन पेपर सामान्यतः दो धारणाएँ बनाते हैं:
#<math>\frac{\partial}{\partial \theta} \frac{\partial u / \partial x_k}{\left|\partial u / \partial t\right|} > 0 \ \forall k</math>
#<math>\frac{\partial}{\partial \theta} \frac{\partial u / \partial x_k}{\left|\partial u / \partial t\right|} > 0 \ \forall k</math>
इसे कई नामों से जाना जाता है: सिंगल-क्रॉसिंग स्थिति, सॉर्टिंग स्थिति और स्पेंस-मिर्लीज़ स्थिति। इसका मतलब है कि उपयोगिता फ़ंक्शन इस प्रकार का है कि एजेंट की एमआरएस प्रकार में वृद्धि हो रही है।
इसे अनेक नामों से जाना जाता है: सिंगल-क्रॉसिंग स्थिति, सॉर्टिंग स्थिति और स्पेंस-मिर्लीज़ स्थिति। इसका कारण है कि उपयोगिता फलन इस प्रकार का है कि एजेंट की एमआरएस प्रकार में वृद्धि हो रही है।
#<ली मान= 2 ><math>\exists K_0, K_1 \text{ such that } \left| \frac{\partial u / \partial x_k}{\partial u / \partial t} \right| \leq K_0 + K_1 |t|</math></li>
#<ली मान= 2 ><math>\exists K_0, K_1 \text{ such that } \left| \frac{\partial u / \partial x_k}{\partial u / \partial t} \right| \leq K_0 + K_1 |t|</math>
यह एमआरएस की वृद्धि दर को सीमित करने वाली एक तकनीकी स्थिति है।
यह एमआरएस की वृद्धि दर को सीमित करने वाली विधि स्थिति है।


ये धारणाएँ किसी भी एकरसता प्रदान करने के लिए पर्याप्त हैं <math>x(\theta)</math> कार्यान्वयन योग्य है (ए <math>t(\theta)</math> मौजूद है जो इसे कार्यान्वित कर सकता है)। इसके अलावा, एकल-अच्छी सेटिंग में एकल-क्रॉसिंग स्थिति केवल एक मोनोटोनिक प्रदान करने के लिए पर्याप्त है <math>x(\theta)</math> कार्यान्वयन योग्य है, इसलिए डिज़ाइनर अपनी खोज को एक मोनोटोनिक तक सीमित कर सकता है <math>x(\theta)</math>.
यह धारणाएँ किसी भी एकरसता प्रदान करने के लिए पर्याप्त हैं <math>x(\theta)</math> कार्यान्वयन योग्य है (ए <math>t(\theta)</math> उपस्तिथ है जो इसे कार्यान्वित कर सकता है)। इसके अतिरिक्त, एकल-अच्छी सेटिंग में एकल-क्रॉसिंग स्थिति केवल मोनोटोनिक प्रदान करने के लिए पर्याप्त है <math>x(\theta)</math> कार्यान्वयन योग्य है, इसलिए डिज़ाइनर अपनी खोज को मोनोटोनिक तक सीमित कर सकता है <math>x(\theta)</math>.


==हाइलाइट किए गए परिणाम==
=='''हाइलाइट किए गए परिणाम'''==


===राजस्व तुल्यता प्रमेय===
===राजस्व तुल्यता प्रमेय===
{{main|Revenue equivalence}}
{{main|Revenue equivalence}}


{{harvs|txt|last=Vickrey|year=1961|author-link=William Vickrey}} एक प्रतिष्ठित परिणाम देता है कि नीलामी के एक बड़े वर्ग का कोई भी सदस्य विक्रेता को समान अपेक्षित राजस्व का आश्वासन देता है और यह कि अपेक्षित राजस्व विक्रेता के लिए सबसे अच्छा है। यही स्थिति है यदि
{{harvs|txt|last=Vickrey|year=1961|author-link=William Vickrey}} प्रतिष्ठित परिणाम देता है कि नीलामी के बड़े वर्ग का कोई भी सदस्य विक्रेता को समान अपेक्षित राजस्व का आश्वासन देता है और यह कि अपेक्षित राजस्व विक्रेता के लिए सबसे अच्छा है। यही स्थिति है यदि
# खरीदारों के पास समान मूल्यांकन कार्य हैं (जो एक प्रकार का कार्य हो सकता है)
# खरीदारों के पास समान मूल्यांकन कार्य हैं (जो प्रकार का कार्य हो सकता है)
# खरीदारों के प्रकार स्वतंत्र रूप से वितरित किए जाते हैं
# खरीदारों के प्रकार स्वतंत्र रूप से वितरित किए जाते हैं
# खरीदार प्रकार सतत वितरण # सतत संभाव्यता वितरण से लिए गए हैं
# खरीदार प्रकार सतत वितरण # सतत संभाव्यता वितरण से लिए गए हैं
# प्रकार वितरण में मोनोटोन जोखिम दर गुण होता है
# प्रकार वितरण में मोनोटोन कठिन परिस्थिति दर गुण होता है
# तंत्र उच्चतम मूल्यांकन वाले खरीदार को सामान बेचता है
# तंत्र उच्चतम मूल्यांकन वाले खरीदार को सामान बेचता है


अंतिम शर्त प्रमेय के लिए महत्वपूर्ण है। एक निहितार्थ यह है कि विक्रेता को अधिक राजस्व प्राप्त करने के लिए कम मूल्यांकन वाले एजेंट को वस्तु देने का मौका लेना चाहिए। आमतौर पर इसका मतलब यह है कि उसे वस्तु बिल्कुल भी न बेचने का जोखिम उठाना होगा।
अंतिम शर्त प्रमेय के लिए महत्वपूर्ण है। निहितार्थ यह है कि विक्रेता को अधिक राजस्व प्राप्त करने के लिए कम मूल्यांकन वाले एजेंट को वस्तु देने का मौका लेना चाहिए। सामान्यतः इसका कारण यह है कि उसे वस्तु बिल्कुल भी न बेचने का कठिन परिस्थिति उठाना होगा।


===विक्रे-क्लार्क-ग्रोव्स तंत्र===
===विक्रे-क्लार्क-ग्रोव्स तंत्र===
{{main|Vickrey–Clarke–Groves mechanism}}
{{main|Vickrey–Clarke–Groves mechanism}}


विक्की (1961) नीलामी मॉडल का बाद में विस्तार किया गया {{harvs|txt|last=Clarke|year=1971|author-link=Edward H. Clarke}} और ग्रूव्स एक सार्वजनिक पसंद की समस्या का इलाज करते हैं जिसमें एक सार्वजनिक परियोजना की लागत सभी एजेंटों द्वारा वहन की जाती है, उदाहरण के लिए। क्या नगरपालिका पुल बनाना है। परिणामी विकी-क्लार्क-ग्रोव्स तंत्र एजेंटों को जनता की भलाई के सामाजिक रूप से कुशल आवंटन को चुनने के लिए प्रेरित कर सकता है, भले ही एजेंटों के पास निजी तौर पर ज्ञात मूल्यांकन हो। दूसरे शब्दों में, यह आम लोगों की त्रासदी को हल कर सकता है - कुछ शर्तों के तहत, विशेष रूप से क्वासिलिनियर उपयोगिता में या यदि बजट संतुलन की आवश्यकता नहीं है।
विक्की (1961) नीलामी मॉडल का पश्चात् में विस्तार किया गया {{harvs|txt|last=Clarke|year=1971|author-link=Edward H. Clarke}} और ग्रूव्स सार्वजनिक पसंद की समस्या का इलाज करते हैं जिसमें सार्वजनिक परियोजना की निवेश सभी एजेंटों द्वारा वहन की जाती है, उदाहरण के लिए। क्या नगरपालिका पुल बनाना है। परिणामी विकी-क्लार्क-ग्रोव्स तंत्र एजेंटों को जनता की भलाई के सामाजिक रूप से कुशल आवंटन को चुनने के लिए प्रेरित कर सकता है, यदि एजेंटों के पास निजी तौर पर ज्ञात मूल्यांकन हो। दूसरे शब्दों में, यह आम लोगों की त्रासदी को हल कर सकता है - कुछ शर्तों के अनुसार , विशेष रूप से क्वासिलिनियर उपयोगिता में या यदि बजट संतुलन की आवश्यकता नहीं है।


जिसमें एक सेटिंग पर विचार करें <math>I</math> कई एजेंटों के पास निजी मूल्यांकन के साथ चतुर्रेखीय उपयोगिता है <math>v(x,t,\theta)</math> मुद्रा कहां है <math>t</math> रैखिक रूप से मूल्यांकित किया जाता है। वीसीजी डिज़ाइनर वास्तविक प्रकार की प्रोफ़ाइल प्राप्त करने के लिए एक प्रोत्साहन संगत (इसलिए सच्चाई से कार्यान्वयन योग्य) तंत्र डिज़ाइन करता है, जिससे डिज़ाइनर सामाजिक रूप से इष्टतम आवंटन लागू करता है
जिसमें सेटिंग पर विचार करें <math>I</math> अनेक एजेंटों के पास निजी मूल्यांकन के साथ चतुर्रेखीय उपयोगिता है <math>v(x,t,\theta)</math> मुद्रा कहां है <math>t</math> रैखिक रूप से मूल्यांकित किया जाता है। वीसीजी डिज़ाइनर वास्तविक प्रकार की प्रोफ़ाइल प्राप्त करने के लिए प्रोत्साहन संगत (इसलिए सच्चाई से कार्यान्वयन योग्य) तंत्र डिज़ाइन करता है, जिससे डिज़ाइनर सामाजिक रूप से इष्टतम आवंटन क्रियान्वित करता है
:<math> x^*_I(\theta) \in \underset{x\in X}{\operatorname{argmax}} \sum_{i \in I} v(x,\theta_i) </math>
:<math> x^*_I(\theta) \in \underset{x\in X}{\operatorname{argmax}} \sum_{i \in I} v(x,\theta_i) </math>
वीसीजी तंत्र की चतुराई वह तरीका है जिससे यह सत्य रहस्योद्घाटन को प्रेरित करता है। यह किसी भी एजेंट को उसके कारण होने वाली विकृति की कीमत पर दंडित करके गलत रिपोर्ट करने के प्रोत्साहन को समाप्त करता है। एजेंट जो रिपोर्ट बना सकता है, उनमें से वीसीजी तंत्र एक अशक्त रिपोर्ट की अनुमति देता है जिसमें कहा गया है कि वह जनता की भलाई के प्रति उदासीन है और केवल धन हस्तांतरण की परवाह करता है। यह प्रभावी रूप से एजेंट को खेल से हटा देता है। यदि कोई एजेंट किसी प्रकार की रिपोर्ट करना चुनता है, तो वीसीजी तंत्र एजेंट से शुल्क लेता है यदि उसकी रिपोर्ट महत्वपूर्ण है, अर्थात यदि उसकी रिपोर्ट अन्य एजेंटों को नुकसान पहुंचाने के लिए इष्टतम आवंटन ''x'' को बदल देती है। भुगतान की गणना की जाती है
वीसीजी तंत्र की चतुराई वह प्रणाली है जिससे यह सत्य रहस्योद्घाटन को प्रेरित करता है। यह किसी भी एजेंट को उसके कारण होने वाली विकृति की कीमत पर दंडित करके गलत रिपोर्ट करने के प्रोत्साहन को समाप्त करता है। एजेंट जो रिपोर्ट बना सकता है, उनमें से वीसीजी तंत्र अशक्त रिपोर्ट की अनुमति देता है जिसमें कहा गया है कि वह जनता की भलाई के प्रति उदासीन है और केवल धन हस्तांतरण की परवाह करता है। यह प्रभावी रूप से एजेंट को खेल से हटा देता है। यदि कोई एजेंट किसी प्रकार की रिपोर्ट करना चुनता है, तब वीसीजी तंत्र एजेंट से शुल्क लेता है यदि उसकी रिपोर्ट महत्वपूर्ण है, अर्थात यदि उसकी रिपोर्ट अन्य एजेंटों को हानि पहुंचाने के लिए इष्टतम आवंटन ''x'' को बदल देती है। भुगतान की गणना की जाती है
:<math> t_i(\hat\theta) = \sum_{j \in I-i} v_j(x^*_{I-i}(\theta_{I-i}),\theta_j) - \sum_{j \in I-i} v_j(x^*_I (\hat\theta_i,\theta_I),\theta_j) </math>
:<math> t_i(\hat\theta) = \sum_{j \in I-i} v_j(x^*_{I-i}(\theta_{I-i}),\theta_j) - \sum_{j \in I-i} v_j(x^*_I (\hat\theta_i,\theta_I),\theta_j) </math>
जो एक एजेंट की रिपोर्टिंग के कारण अन्य एजेंटों (और उसके अपने नहीं) की उपयोगिताओं में आई विकृति का सारांश देता है।
जो एजेंट की रिपोर्टिंग के कारण अन्य एजेंटों (और उसके अपने नहीं) की उपयोगिताओं में आई विकृति का सारांश देता है।


===गिब्बार्ड-सैटरथवेट प्रमेय===
===गिब्बार्ड-सैटरथवेट प्रमेय===
Line 134: Line 128:
{{main|Gibbard–Satterthwaite theorem}}
{{main|Gibbard–Satterthwaite theorem}}


{{harvs|txt|last=Gibbard|year=1973|author-link=Allan Gibbard}} और {{harvs|txt|last=Satterthwaite|year=1975|author-link=Mark Satterthwaite}} एरो की असंभवता प्रमेय की भावना के समान एक असंभवता परिणाम दें। खेलों के एक बहुत ही सामान्य वर्ग के लिए, केवल तानाशाही सामाजिक चयन कार्यों को लागू किया जा सकता है।
{{harvs|txt|last=Gibbard|year=1973|author-link=Allan Gibbard}} और {{harvs|txt|last=Satterthwaite|year=1975|author-link=Mark Satterthwaite}} एरो की असंभवता प्रमेय की भावना के समान असंभवता परिणाम दें। खेलों के बहुत ही सामान्य वर्ग के लिए, केवल तानाशाही सामाजिक चयन कार्यों को क्रियान्वित किया जा सकता है।


एक सामाजिक चयन फ़ंक्शन f() 'तानाशाहीपूर्ण' है यदि एक एजेंट को हमेशा अपना सबसे पसंदीदा सामान आवंटन प्राप्त होता है,
एक सामाजिक चयन फलन f() 'तानाशाहीपूर्ण' है यदि एजेंट को हमेशा अपना सबसे पसंदीदा सामान आवंटन प्राप्त होता है,
:<math>\text{for } f(\Theta)\text{, } \exists i \in I \text{ such that } u_i(x,\theta_i) \geq u_i(x',\theta_i) \ \forall x' \in X</math>
:<math>\text{for } f(\Theta)\text{, } \exists i \in I \text{ such that } u_i(x,\theta_i) \geq u_i(x',\theta_i) \ \forall x' \in X</math>
प्रमेय में कहा गया है कि सामान्य परिस्थितियों में कोई भी सत्यतापूर्वक कार्यान्वयन योग्य सामाजिक चयन कार्य तानाशाही होना चाहिए यदि,
प्रमेय में कहा गया है कि सामान्य परिस्थितियों में कोई भी सत्यतापूर्वक कार्यान्वयन योग्य सामाजिक चयन कार्य तानाशाही होना चाहिए यदि,
Line 142: Line 136:
# प्राथमिकताएँ तर्कसंगत हैं
# प्राथमिकताएँ तर्कसंगत हैं
# <math>f(\Theta) = X</math>
# <math>f(\Theta) = X</math>
===मायर्सन-सैटरथवेट प्रमेय===
===मायर्सन-सैटरथवेट प्रमेय===
{{main|Myerson–Satterthwaite theorem}}
{{main|Myerson–Satterthwaite theorem}}


{{harvs|txt|last=Myerson|last2=Satterthwaite|year=1983|author-link=Roger Myerson}}दिखाता है कि दो पार्टियों के लिए किसी वस्तु का व्यापार करने का कोई प्रभावी तरीका नहीं है, जब उनमें से प्रत्येक के पास इसके लिए गुप्त और संभावित रूप से अलग-अलग मूल्यांकन हों, बिना किसी एक पार्टी को घाटे में व्यापार करने के लिए मजबूर करने के जोखिम के बिना। यह अर्थशास्त्र में सबसे उल्लेखनीय नकारात्मक परिणामों में से एक है - कल्याणकारी अर्थशास्त्र के मूलभूत प्रमेयों का एक प्रकार का नकारात्मक दर्पण।
{{harvs|txt|last=Myerson|last2=Satterthwaite|year=1983|author-link=Roger Myerson}}दिखाता है कि दो पार्टियों के लिए किसी वस्तु का व्यापार करने का कोई प्रभावी प्रणाली नहीं है, जब उनमें से प्रत्येक के पास इसके लिए गुप्त और संभावित रूप से भिन्न-भिन्न मूल्यांकन हों, बिना किसी पार्टी को घाटे में व्यापार करने के लिए मजबूर करने के कठिन परिस्थिति के बिना। यह अर्थशास्त्र में सबसे उल्लेखनीय ऋणात्मक परिणामों में से है - कल्याणकारी अर्थशास्त्र के मूलभूत प्रमेयों का प्रकार का ऋणात्मक दर्पण।


=== शेपली मान ===
=== शेपली मान ===
{{main|Shapley value}}
{{main|Shapley value}}


फिलिप्स और मार्डेन (2018) ने साबित किया कि अवतल लागत कार्यों के साथ लागत-साझाकरण गेम के लिए, इष्टतम लागत-साझाकरण नियम जो सबसे पहले एक गेम में सबसे खराब स्थिति की अक्षमताओं (अराजकता की कीमत) को अनुकूलित करता है, और फिर दूसरे सबसे अच्छे मामले को अनुकूलित करता है। परिणाम (स्थिरता की कीमत), बिल्कुल शेपली मूल्य लागत-साझाकरण नियम है।<ref>{{Cite journal|last1=Phillips|first1=Matthew|last2=Marden|first2=Jason R.|date=July 2018|title=अवतल लागत-साझाकरण खेलों में डिज़ाइन ट्रेडऑफ़|journal=IEEE Transactions on Automatic Control|language=en-US|volume=63|issue=7|pages=2242–2247|doi=10.1109/tac.2017.2765299|issn=0018-9286|s2cid=45923961}}</ref> एक सममित कथन उत्तल उपयोगिता कार्यों के साथ उपयोगिता-साझाकरण गेम के लिए समान रूप से मान्य है।
फिलिप्स और मार्डेन (2018) ने सिद्ध करना किया कि अवतल निवेश कार्यों के साथ निवेश-साझाकरण गेम के लिए, इष्टतम निवेश-साझाकरण नियम जो सबसे पहले गेम में सबसे खराब स्थिति की अक्षमताओं (अराजकता की कीमत) को अनुकूलित करता है, और फिर दूसरे सबसे अच्छे स्थितियोंको अनुकूलित करता है। परिणाम (स्थिरता की कीमत), बिल्कुल शेपली मूल्य निवेश-साझाकरण नियम है।<ref>{{Cite journal|last1=Phillips|first1=Matthew|last2=Marden|first2=Jason R.|date=July 2018|title=अवतल लागत-साझाकरण खेलों में डिज़ाइन ट्रेडऑफ़|journal=IEEE Transactions on Automatic Control|language=en-US|volume=63|issue=7|pages=2242–2247|doi=10.1109/tac.2017.2765299|issn=0018-9286|s2cid=45923961}}</ref> सममित कथन उत्तल उपयोगिता कार्यों के साथ उपयोगिता-साझाकरण गेम के लिए समान रूप से मान्य है।


==उदाहरण==
==उदाहरण==
Line 158: Line 150:
===मूल्य भेदभाव===
===मूल्य भेदभाव===


{{harvs|txt|last=Mirrlees|year=1971|author-link=James Mirrlees}} एक ऐसी सेटिंग पेश करता है जिसमें ट्रांसफर फ़ंक्शन t() को हल करना आसान है। अपनी प्रासंगिकता और सुगमता के कारण यह साहित्य में एक सामान्य सेटिंग है। एकल-अच्छी, एकल-एजेंट सेटिंग पर विचार करें जिसमें एजेंट के पास अज्ञात प्रकार के पैरामीटर के साथ क्वासिलिनियर उपयोगिता है <math>\theta</math>
{{harvs|txt|last=Mirrlees|year=1971|author-link=James Mirrlees}} ऐसी सेटिंग प्रस्तुत करता है जिसमें ट्रांसफर फलन t() को हल करना आसान है। अपनी प्रासंगिकता और सुगमता के कारण यह साहित्य में सामान्य सेटिंग है। एकल-अच्छी, एकल-एजेंट सेटिंग पर विचार करें जिसमें एजेंट के पास अज्ञात प्रकार के पैरामीटर के साथ क्वासिलिनियर उपयोगिता है <math>\theta</math>
:<math>u(x,t,\theta) = V(x,\theta) - t</math>
:<math>u(x,t,\theta) = V(x,\theta) - t</math>
और जिसमें प्रिंसिपल के पास एजेंट के प्रकार पर पूर्व संचयी वितरण फ़ंक्शन होता है <math>P(\theta)</math>. प्रिंसिपल उत्तल सीमांत लागत c(x) पर माल का उत्पादन कर सकता है और लेनदेन से अपेक्षित लाभ को अधिकतम करना चाहता है
और जिसमें प्रिंसिपल के पास एजेंट के प्रकार पर पूर्व संचयी वितरण फलन होता है <math>P(\theta)</math>. प्रिंसिपल उत्तल सीमांत निवेश c(x) पर माल का उत्पादन कर सकता है और लेनदेन से अपेक्षित लाभ को अधिकतम करना चाहता है
:<math>\max_{x(\theta),t(\theta)} \mathbb{E}_\theta \left[ t(\theta) - c\left(x(\theta)\right) \right]</math>
:<math>\max_{x(\theta),t(\theta)} \mathbb{E}_\theta \left[ t(\theta) - c\left(x(\theta)\right) \right]</math>
आईसी और आईआर शर्तों के अधीन
आईसी और आईआर शर्तों के अधीन
:<math> u(x(\theta),t(\theta),\theta) \geq u(x(\theta'),t(\theta'),\theta) \ \forall \theta,\theta' </math>
:<math> u(x(\theta),t(\theta),\theta) \geq u(x(\theta'),t(\theta'),\theta) \ \forall \theta,\theta' </math>
:<math> u(x(\theta),t(\theta),\theta) \geq \underline{u}(\theta) \ \forall \theta </math>
:<math> u(x(\theta),t(\theta),\theta) \geq \underline{u}(\theta) \ \forall \theta </math>
यहां प्रिंसिपल एक एकाधिकारवादी है जो लाभ-अधिकतम मूल्य योजना निर्धारित करने की कोशिश कर रहा है जिसमें वह ग्राहक के प्रकार की पहचान नहीं कर सकता है। एक सामान्य उदाहरण व्यवसाय, अवकाश और छात्र यात्रियों के लिए किराया निर्धारित करने वाली एयरलाइन है। आईआर शर्त के कारण इसे भागीदारी को प्रेरित करने के लिए हर प्रकार को पर्याप्त अच्छा सौदा देना पड़ता है। आईसी शर्त के कारण इसे प्रत्येक प्रकार को इतना अच्छा सौदा देना होता है कि वह प्रकार किसी अन्य प्रकार के सौदे को प्राथमिकता दे।
यहां प्रिंसिपल एकाधिकारवादी है जो लाभ-अधिकतम मूल्य योजना निर्धारित करने की कोशिश कर रहा है जिसमें वह ग्राहक के प्रकार की पहचान नहीं कर सकता है। सामान्य उदाहरण व्यवसाय, अवकाश और छात्र यात्रियों के लिए किराया निर्धारित करने वाली एयरलाइन है। आईआर शर्त के कारण इसे भागीदारी को प्रेरित करने के लिए हर प्रकार को पर्याप्त अच्छा सौदा देना पड़ता है। आईसी शर्त के कारण इसे प्रत्येक प्रकार को इतना अच्छा सौदा देना होता है कि वह प्रकार किसी अन्य प्रकार के सौदे को प्राथमिकता दे।


मिर्लीज़ (1971) द्वारा दी गई एक तरकीब यह है कि ट्रांसफर फ़ंक्शन को अधिकतम होने की उम्मीद से खत्म करने के लिए लिफ़ाफ़ा प्रमेय का उपयोग किया जाए,
मिर्लीज़ (1971) द्वारा दी गई तरकीब यह है कि ट्रांसफर फलन को अधिकतम होने की उम्मीद से खत्म करने के लिए लिफ़ाफ़ा प्रमेय का उपयोग किया जाए,
:<math>\text{let } U(\theta) = \max_{\theta'} u\left(x(\theta'),t(\theta'),\theta \right)</math>
:<math>\text{let } U(\theta) = \max_{\theta'} u\left(x(\theta'),t(\theta'),\theta \right)</math>
:<math>\frac{dU}{d\theta} = \frac{\partial u}{\partial \theta} = \frac{\partial V}{\partial \theta}</math>
:<math>\frac{dU}{d\theta} = \frac{\partial u}{\partial \theta} = \frac{\partial V}{\partial \theta}</math>
Line 175: Line 167:
:<math>\begin{align}& \mathbb{E}_\theta \left[ V(x(\theta),\theta) - \underline{u}(\theta_0) - \int^\theta_{\theta_0} \frac{\partial V}{\partial \tilde\theta} d\tilde\theta - c\left(x(\theta)\right) \right] \\
:<math>\begin{align}& \mathbb{E}_\theta \left[ V(x(\theta),\theta) - \underline{u}(\theta_0) - \int^\theta_{\theta_0} \frac{\partial V}{\partial \tilde\theta} d\tilde\theta - c\left(x(\theta)\right) \right] \\
&{} =\mathbb{E}_\theta \left[ V(x(\theta),\theta) - \underline{u}(\theta_0) - \frac{1-P(\theta)}{p(\theta)} \frac{\partial V}{\partial \theta} - c\left(x(\theta)\right) \right]\end{align}</math>
&{} =\mathbb{E}_\theta \left[ V(x(\theta),\theta) - \underline{u}(\theta_0) - \frac{1-P(\theta)}{p(\theta)} \frac{\partial V}{\partial \theta} - c\left(x(\theta)\right) \right]\end{align}</math>
भागों द्वारा एकीकरण के बाद. इस फ़ंक्शन को बिंदुवार अधिकतम किया जा सकता है.
भागों द्वारा एकीकरण के पश्चात्. इस फलन को बिंदुवार अधिकतम किया जा सकता है.


क्योंकि <math>U(\theta)</math> प्रोत्साहन-संगत है पहले से ही डिजाइनर आईसी बाधा को हटा सकता है। यदि उपयोगिता फ़ंक्शन स्पेंस-मिर्लीज़ स्थिति को संतुष्ट करता है तो एक मोनोटोनिक <math>x(\theta)</math> फ़ंक्शन मौजूद है. आईआर बाधा को संतुलन पर जांचा जा सकता है और शुल्क अनुसूची को तदनुसार बढ़ाया या घटाया जा सकता है। इसके अतिरिक्त, अभिव्यक्ति में खतरे की दर की उपस्थिति पर ध्यान दें। यदि प्रकार वितरण में मोनोटोन खतरा अनुपात गुण होता है, तो FOC t() को हल करने के लिए पर्याप्त है। यदि नहीं, तो यह जांचना आवश्यक है कि आवंटन और शुल्क अनुसूचियों के दौरान एकरसता बाधा (ऊपर तंत्र डिजाइन#पर्याप्तता देखें) हर जगह संतुष्ट है या नहीं। यदि नहीं, तो डिज़ाइनर को मायर्सन इस्त्री का उपयोग करना चाहिए।
क्योंकि <math>U(\theta)</math> प्रोत्साहन-संगत है पहले से ही डिजाइनर आईसी बाधा को हटा सकता है। यदि उपयोगिता फलन स्पेंस-मिर्लीज़ स्थिति को संतुष्ट करता है तब मोनोटोनिक <math>x(\theta)</math> फलन उपस्तिथ है. आईआर बाधा को संतुलन पर जांचा जा सकता है और शुल्क अनुसूची को तदनुसार बढ़ाया या घटाया जा सकता है। इसके अतिरिक्त, अभिव्यक्ति में खतरे की दर की उपस्थिति पर ध्यान दें। यदि प्रकार वितरण में मोनोटोन खतरा अनुपात गुण होता है, तब FOC t() को हल करने के लिए पर्याप्त है। यदि नहीं, तब यह जांचना आवश्यक है कि आवंटन और शुल्क अनुसूचियों के समय एकरसता बाधा (ऊपर तंत्र डिजाइन#पर्याप्तता देखें) हर जगह संतुष्ट है या नहीं। यदि नहीं, तब डिज़ाइनर को मायर्सन इस्त्री का उपयोग करना चाहिए।


===मायर्सन इस्त्री===
===मायर्सन इस्त्री===


[[Image:Myerson ironing.png|thumb|325px| ऐसे सामान या मूल्य अनुसूची का समाधान करना संभव है जो प्रथम-क्रम की शर्तों को पूरा करता हो फिर भी एकरस न हो। यदि ऐसा है तो फ़ंक्शन को समतल करने के लिए कुछ मान चुनकर शेड्यूल को इस्त्री करना आवश्यक है।]]कुछ अनुप्रयोगों में डिज़ाइनर मूल्य और आवंटन शेड्यूल के लिए प्रथम-क्रम की शर्तों को हल कर सकता है, फिर भी उन्हें पता चलता है कि वे मोनोटोनिक नहीं हैं। उदाहरण के लिए, क्वासिलिनियर सेटिंग में यह अक्सर तब होता है जब खतरा अनुपात स्वयं एक समान नहीं होता है। स्पेंस-मिर्लीज़ शर्त के अनुसार इष्टतम मूल्य और आवंटन कार्यक्रम एकरस होना चाहिए, इसलिए डिज़ाइनर को किसी भी अंतराल को समाप्त करना होगा जिस पर शेड्यूल समतल करके दिशा बदलता है।
[[Image:Myerson ironing.png|thumb|325px| ऐसे सामान या मूल्य अनुसूची का समाधान करना संभव है जो प्रथम-क्रम की शर्तों को पूरा करता हो फिर भी एकरस न हो। यदि ऐसा है तब फलन को समतल करने के लिए कुछ मान चुनकर शेड्यूल को इस्त्री करना आवश्यक है।]]कुछ अनुप्रयोगों में डिज़ाइनर मूल्य और आवंटन शेड्यूल के लिए प्रथम-क्रम की शर्तों को हल कर सकता है, फिर भी उन्हें पता चलता है कि यह मोनोटोनिक नहीं हैं। उदाहरण के लिए, क्वासिलिनियर सेटिंग में यह अधिकांशतः तब होता है जब खतरा अनुपात स्वयं समान नहीं होता है। स्पेंस-मिर्लीज़ शर्त के अनुसार इष्टतम मूल्य और आवंटन कार्यक्रम एकरस होना चाहिए, इसलिए डिज़ाइनर को किसी भी अंतराल को समाप्त करना होगा जिस पर शेड्यूल समतल करके दिशा बदलता है।


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


ऊपर दिए गए उदाहरण में, एक एकाधिकारवादी प्रिंसिपल को क्वासिलिनियर उपयोगिता वाले एजेंटों को बेचने पर विचार करें। मान लीजिए आवंटन अनुसूची <math>x(\theta)</math> प्रथम-क्रम की शर्तों को संतुष्ट करने पर एकल आंतरिक शिखर होता है <math>\theta_1</math> और एक आंतरिक गर्त <math>\theta_2>\theta_1</math>, दाईं ओर चित्रित।
ऊपर दिए गए उदाहरण में, एकाधिकारवादी प्रिंसिपल को क्वासिलिनियर उपयोगिता वाले एजेंटों को बेचने पर विचार करें। मान लीजिए आवंटन अनुसूची <math>x(\theta)</math> प्रथम-क्रम की शर्तों को संतुष्ट करने पर एकल आंतरिक शिखर होता है <math>\theta_1</math> और आंतरिक गर्त <math>\theta_2>\theta_1</math>, दाईं ओर चित्रित।


* मायरसन (1981) का अनुसरण करते हुए इसे चुनकर समतल करें <math>x</math> संतुष्टि देने वाला <math display="block"> \int^{\phi_1(x)}_{\phi_2(x)} \left( \frac{\partial V}{\partial x}(x,\theta) - \frac{1-P(\theta)}{p(\theta)} \frac{\partial^2 V}{\partial \theta \, \partial x}(x,\theta) - \frac{\partial c}{\partial x}(x) \right) d\theta = 0</math> कहाँ <math>\phi_1(x)</math> x मैपिंग का व्युत्क्रम कार्य है <math>\theta \leq \theta_1</math> और <math>\phi_2(x)</math>x मैपिंग का व्युत्क्रम कार्य है <math>\theta \geq \theta_2</math>. वह है, <math>\phi_1</math> रिटर्न ए <math>\theta</math> आंतरिक शिखर से पहले और <math>\phi_2</math> रिटर्न ए <math>\theta</math> आंतरिक गर्त के बाद.
* मायरसन (1981) का अनुसरण करते हुए इसे चुनकर समतल करें <math>x</math> संतुष्टि देने वाला <math display="block"> \int^{\phi_1(x)}_{\phi_2(x)} \left( \frac{\partial V}{\partial x}(x,\theta) - \frac{1-P(\theta)}{p(\theta)} \frac{\partial^2 V}{\partial \theta \, \partial x}(x,\theta) - \frac{\partial c}{\partial x}(x) \right) d\theta = 0</math> कहाँ <math>\phi_1(x)</math> x मानचित्रण का व्युत्क्रम कार्य है <math>\theta \leq \theta_1</math> और <math>\phi_2(x)</math>x मानचित्रण का व्युत्क्रम कार्य है <math>\theta \geq \theta_2</math>. वह है, <math>\phi_1</math> रिटर्न ए <math>\theta</math> आंतरिक शिखर से पहले और <math>\phi_2</math> रिटर्न ए <math>\theta</math> आंतरिक गर्त के पश्चात्.
* यदि गैरमोनोटोनिक क्षेत्र <math>x(\theta)</math> टाइप स्पेस के किनारे को बॉर्डर करें, बस उपयुक्त सेट करें <math>\phi(x)</math> सीमा प्रकार के लिए फ़ंक्शन (या दोनों)। यदि कई क्षेत्र हैं, तो पुनरावृत्तीय प्रक्रिया के लिए पाठ्यपुस्तक देखें; ऐसा हो सकता है कि एक से अधिक कुंडों को एक साथ इस्त्री किया जाना चाहिए।
* यदि गैरमोनोटोनिक क्षेत्र <math>x(\theta)</math> टाइप स्पेस के किनारे को बॉर्डर करें, बस उपयुक्त सेट करें <math>\phi(x)</math> सीमा प्रकार के लिए फलन (या दोनों)। यदि अनेक क्षेत्र हैं, तब पुनरावृत्तीय प्रक्रिया के लिए पाठ्यपुस्तक देखें; ऐसा हो सकता है कि से अधिक कुंडों को साथ इस्त्री किया जाना चाहिए।


====प्रमाण====
====प्रमाण====


प्रमाण इष्टतम नियंत्रण के सिद्धांत का उपयोग करता है। यह अंतरालों के समुच्चय पर विचार करता है <math>\left[\underline\theta, \overline\theta \right] </math> के नॉनमोनोटोनिक क्षेत्र में <math>x(\theta)</math> जिस पर यह शेड्यूल को समतल कर सकता है। इसके बाद यह आवश्यक शर्तों को प्राप्त करने के लिए एक हैमिल्टनियन लिखता है <math>x(\theta)</math> अंतराल के भीतर
प्रमाण इष्टतम नियंत्रण के सिद्धांत का उपयोग करता है। यह अंतरालों के समुच्चय पर विचार करता है <math>\left[\underline\theta, \overline\theta \right] </math> के नॉनमोनोटोनिक क्षेत्र में <math>x(\theta)</math> जिस पर यह शेड्यूल को समतल कर सकता है। इसके पश्चात् यह आवश्यक शर्तों को प्राप्त करने के लिए हैमिल्टनियन लिखता है <math>x(\theta)</math> अंतराल के भीतर
# जो एकरसता को संतुष्ट करता है
# जो एकरसता को संतुष्ट करता है
# जिसके लिए एकरसता बाधा अंतराल की सीमाओं पर बाध्यकारी नहीं है
# जिसके लिए एकरसता बाधा अंतराल की सीमाओं पर बाध्यकारी नहीं है
शर्त दो यह सुनिश्चित करती है कि <math>x(\theta)</math> इष्टतम नियंत्रण समस्या को संतुष्ट करने से अंतराल सीमाओं पर मूल समस्या में शेड्यूल फिर से जुड़ जाता है (कोई छलांग नहीं)। कोई <math>x(\theta)</math> आवश्यक शर्तों को पूरा करना समतल होना चाहिए क्योंकि यह एकरस होना चाहिए और फिर भी सीमाओं पर पुनः जुड़ना चाहिए।
शर्त दो यह सुनिश्चित करती है कि <math>x(\theta)</math> इष्टतम नियंत्रण समस्या को संतुष्ट करने से अंतराल सीमाओं पर मूल समस्या में शेड्यूल फिर से जुड़ जाता है (कोई छलांग नहीं)। कोई <math>x(\theta)</math> आवश्यक शर्तों को पूरा करना समतल होना चाहिए क्योंकि यह एकरस होना चाहिए और फिर भी सीमाओं पर पुनः जुड़ना चाहिए।


पहले की तरह, मूलधन की अपेक्षित अदायगी को अधिकतम करें, लेकिन इस बार एकरसता की बाधा के अधीन
पहले की तरह, मूलधन की अपेक्षित अदायगी को अधिकतम करें, किन्तु इस बार एकरसता की बाधा के अधीन
:<math>\frac{\partial x}{\partial \theta} \geq 0</math>
:<math>\frac{\partial x}{\partial \theta} \geq 0</math>
और इसे करने के लिए छाया मूल्य के साथ हैमिल्टनियन का उपयोग करें <math>\nu(\theta)</math>
और इसे करने के लिए छाया मूल्य के साथ हैमिल्टनियन का उपयोग करें <math>\nu(\theta)</math>
:<math>H = \left( V(x,\theta) - \underline{u}(\theta_0) - \frac{1-P(\theta)}{p(\theta)} \frac{\partial V}{\partial \theta}(x,\theta) - c(x) \right)p(\theta) + \nu(\theta) \frac{\partial x}{\partial \theta} </math>
:<math>H = \left( V(x,\theta) - \underline{u}(\theta_0) - \frac{1-P(\theta)}{p(\theta)} \frac{\partial V}{\partial \theta}(x,\theta) - c(x) \right)p(\theta) + \nu(\theta) \frac{\partial x}{\partial \theta} </math>
कहाँ <math>x</math> एक राज्य चर है और <math>\partial x/\partial \theta</math> द कंट्रोल। इष्टतम नियंत्रण में हमेशा की तरह लागत विकास समीकरण को संतुष्ट करना होगा
कहाँ <math>x</math> राज्य चर है और <math>\partial x/\partial \theta</math> द कंट्रोल। इष्टतम नियंत्रण में हमेशा की तरह निवेश विकास समीकरण को संतुष्ट करना होगा
:<math> \frac{\partial \nu}{\partial \theta} = -\frac{\partial H}{\partial x} = -\left( \frac{\partial V}{\partial x}(x,\theta) - \frac{1-P(\theta)}{p(\theta)} \frac{\partial^2 V}{\partial \theta \, \partial x}(x,\theta) - \frac{\partial c}{\partial x}(x) \right) p(\theta) </math>
:<math> \frac{\partial \nu}{\partial \theta} = -\frac{\partial H}{\partial x} = -\left( \frac{\partial V}{\partial x}(x,\theta) - \frac{1-P(\theta)}{p(\theta)} \frac{\partial^2 V}{\partial \theta \, \partial x}(x,\theta) - \frac{\partial c}{\partial x}(x) \right) p(\theta) </math>
शर्त 2 का लाभ उठाते हुए, ध्यान दें कि एकरसता बाधा की सीमाओं पर बाध्यकारी नहीं है <math>\theta</math> मध्यान्तर,
शर्त 2 का लाभ उठाते हुए, ध्यान दें कि एकरसता बाधा की सीमाओं पर बाध्यकारी नहीं है <math>\theta</math> मध्यान्तर,
:<math>\nu(\underline\theta) = \nu(\overline\theta) = 0</math>
:<math>\nu(\underline\theta) = \nu(\overline\theta) = 0</math>
जिसका अर्थ है कि लागत परिवर्तनीय स्थिति को एकीकृत किया जा सकता है और यह 0 के बराबर भी है
जिसका अर्थ है कि निवेश परिवर्तनीय स्थिति को एकीकृत किया जा सकता है और यह 0 के सामान्तर भी है
:<math>\int^{\overline\theta}_{\underline\theta} \left( \frac{\partial V}{\partial x}(x,\theta) - \frac{1-P(\theta)}{p(\theta)} \frac{\partial^2 V}{\partial \theta \, \partial x}(x,\theta) - \frac{\partial c}{\partial x}(x) \right) p(\theta) \, d\theta = 0 </math>
:<math>\int^{\overline\theta}_{\underline\theta} \left( \frac{\partial V}{\partial x}(x,\theta) - \frac{1-P(\theta)}{p(\theta)} \frac{\partial^2 V}{\partial \theta \, \partial x}(x,\theta) - \frac{\partial c}{\partial x}(x) \right) p(\theta) \, d\theta = 0 </math>
मूलधन के अधिशेष का औसत विरूपण 0 होना चाहिए। शेड्यूल को समतल करने के लिए, एक खोजें <math>x</math> इस तरह कि इसकी उलटी छवि एक पर मैप होती है <math>\theta</math> उपरोक्त शर्त को संतुष्ट करने वाला अंतराल।
मूलधन के अधिशेष का औसत विरूपण 0 होना चाहिए। शेड्यूल को समतल करने के लिए, खोजें <math>x</math> इस तरह कि इसकी उलटी छवि पर मैप होती है <math>\theta</math> उपरोक्त शर्त को संतुष्ट करने वाला अंतराल।


== यह भी देखें ==
== यह भी देखें ==
Line 222: Line 214:
{{div col end}}
{{div col end}}


== टिप्पणियाँ ==
== '''टिप्पणियाँ''' ==
{{Reflist}}
{{Reflist}}
 
== '''संदर्भ''' ==
 
* {{cite journal | last = क्लार्क | first = एडवर्ड एच. | title = सार्वजनिक वस्तुओं का बहुखण्डीय मूल्य निर्धारण | journal = [[सार्वजनिक पसंद]] | volume = 11 | issue = 1 | pages = 17–33 | doi= 10.1007/BF01726210 | jstor = 30022651 | date = 1971 | s2cid = 154860771 | url = http://darp.lse.ac.uk/papersdb/Clarke_(PublicChoice71).pdf }}
== संदर्भ ==
* {{cite journal |last= गिब्बार्ड | first= एलन |title= मतदान योजनाओं में हेरफेर: एक सामान्य परिणाम | journal = [[इकोनोमेट्रिका]] |volume= 41 |issue= 4 |year= 1973 |pages= 587–601 |url= http://courses.math.tufts.edu/math19/duchin/gibbard.pdf |jstor= 1914083 |doi= 10.2307/1914083 }}
* {{cite journal | last = Clarke | first = Edward H. | title = Multipart Pricing of Public Goods | journal = [[Public Choice]] | volume = 11 | issue = 1 | pages = 17–33 | doi= 10.1007/BF01726210 | jstor = 30022651 | date = 1971 | s2cid = 154860771 | url = http://darp.lse.ac.uk/papersdb/Clarke_(PublicChoice71).pdf }}  
* {{cite journal | last = Groves | first = थिओडोर | title = टीमों में प्रोत्साहन | journal = अर्थमिति | volume = 41 | issue = 4 | pages = 617–631 | doi= 10.2307/1914085 | jstor = 1914085 | date = 1973 | url = http://www.eecs.harvard.edu/cs286r/courses/spring02/papers/groves73.pdf }}
* {{cite journal |last= Gibbard | first= Allan |title= Manipulation of voting schemes: A general result | journal = [[Econometrica]] |volume= 41 |issue= 4 |year= 1973 |pages= 587–601 |url= http://courses.math.tufts.edu/math19/duchin/gibbard.pdf |jstor= 1914083 |doi= 10.2307/1914083 }}
* {{cite journal | last = हर्सेन्यि | first = John C. | title = अधूरी जानकारी वाले खेल "बायेसियन" खिलाड़ियों द्वारा खेले गए, I-III। भाग I. मूल मॉडल | journal = प्रबंधन विज्ञान | volume = 14 | issue = 3 | pages = 159–182 | doi= 10.1287/mnsc.14.3.159 | jstor = 2628393 | date = 1967 }}
* {{cite journal | last = Groves | first = Theodore | title = Incentives in Teams | journal = Econometrica | volume = 41 | issue = 4 | pages = 617–631 | doi= 10.2307/1914085 | jstor = 1914085 | date = 1973 | url = http://www.eecs.harvard.edu/cs286r/courses/spring02/papers/groves73.pdf }}  
* {{cite journal |last= मिर्र्लीस |first= जे. . |year= 1971 |title= इष्टतम आय कराधान के सिद्धांत में एक अन्वेषण |journal= [[आर्थिक अध्ययन की समीक्षा]] |volume= 38 |issue= 2 |pages= 175–208 |url= http://aida.econ.yale.edu/~dirkb/teach/pdf/mirrlees/1971%20optimal%20taxation.pdf |doi= 10.2307/2296779 |jstor= 2296779 |access-date= 2016-08-12 |archive-url= https://web.archive.org/web/20170510212956/http://aida.econ.yale.edu/~dirkb/teach/pdf/mirrlees/1971%20optimal%20taxation.pdf |archive-date= 2017-05-10 |url-status= मृत }}
* {{cite journal | last = Harsanyi | first = John C. | title = Games with incomplete information played by "Bayesian" players, I-III. part I. The Basic Model | journal = Management Science | volume = 14 | issue = 3 | pages = 159–182 | doi= 10.1287/mnsc.14.3.159 | jstor = 2628393 | date = 1967 }}  
* {{cite journal |last= Mirrlees |first= J. A. |year= 1971 |title= An Exploration in the Theory of Optimum Income Taxation |journal= [[Review of Economic Studies]] |volume= 38 |issue= 2 |pages= 175–208 |url= http://aida.econ.yale.edu/~dirkb/teach/pdf/mirrlees/1971%20optimal%20taxation.pdf |doi= 10.2307/2296779 |jstor= 2296779 |access-date= 2016-08-12 |archive-url= https://web.archive.org/web/20170510212956/http://aida.econ.yale.edu/~dirkb/teach/pdf/mirrlees/1971%20optimal%20taxation.pdf |archive-date= 2017-05-10 |url-status= dead }}
* {{cite journal |last1= Myerson |first1= Roger B. |last2= Satterthwaite |first2= Mark A. |year= 1983 |title= Efficient Mechanisms for Bilateral Trading |journal= [[Journal of Economic Theory]] |volume= 29 |issue= 2 |pages= 265–281 |url= http://www.econ.yale.edu/~dirkb/teach/521b-08-09/reading/1983-bilateral-trade.pdf |doi=10.1016/0022-0531(83)90048-0 |hdl= 10419/220829 |hdl-access= free }}
* {{cite journal |last1= Myerson |first1= Roger B. |last2= Satterthwaite |first2= Mark A. |year= 1983 |title= Efficient Mechanisms for Bilateral Trading |journal= [[Journal of Economic Theory]] |volume= 29 |issue= 2 |pages= 265–281 |url= http://www.econ.yale.edu/~dirkb/teach/521b-08-09/reading/1983-bilateral-trade.pdf |doi=10.1016/0022-0531(83)90048-0 |hdl= 10419/220829 |hdl-access= free }}
* {{cite journal |first= Mark Allen |last= Satterthwaite |title= Strategy-proofness and Arrow's conditions: Existence and correspondence theorems for voting procedures and social welfare functions |journal=Journal of Economic Theory |volume= 10 |issue= 2 |date= 1975 |pages= 187–217 |doi= 10.1016/0022-0531(75)90050-2 |citeseerx= 10.1.1.471.9842 }}
* {{cite journal |first= Mark Allen |last= Satterthwaite |title= Strategy-proofness and Arrow's conditions: Existence and correspondence theorems for voting procedures and social welfare functions |journal=Journal of Economic Theory |volume= 10 |issue= 2 |date= 1975 |pages= 187–217 |doi= 10.1016/0022-0531(75)90050-2 |citeseerx= 10.1.1.471.9842 }}
* {{cite journal |last = Vickrey |first = William | title= Counterspeculation, Auctions, and Competitive Sealed Tenders | journal= [[The Journal of Finance]] | year= 1961 | volume= 16 | issue= 1 | pages= 8–37 |url=http://robotics.eecs.berkeley.edu/~wlr/228aF04/Vickrey61.pdf | doi= 10.1111/j.1540-6261.1961.tb02789.x }}
* {{cite journal |last = Vickrey |first = William | title= Counterspeculation, Auctions, and Competitive Sealed Tenders | journal= [[The Journal of Finance]] | year= 1961 | volume= 16 | issue= 1 | pages= 8–37 |url=http://robotics.eecs.berkeley.edu/~wlr/228aF04/Vickrey61.pdf | doi= 10.1111/j.1540-6261.1961.tb02789.x }}
== अग्रिम पठन ==
== अग्रिम पठन ==
* Chapter 7 of {{Citation | last1=Fudenberg | first1=Drew | last2=Tirole | first2=Jean | title=Game Theory | publisher=[[MIT Press]] | isbn=978-0-262-06141-4 | year=1991 | location=Boston }}. A standard text for graduate game theory.
* Chapter 7 of {{Citation | last1=Fudenberg | first1=Drew | last2=Tirole | first2=Jean | title=Game Theory | publisher=[[MIT Press]] | isbn=978-0-262-06141-4 | year=1991 | location=Boston }}. A standard text for graduate game theory.
Line 245: Line 233:
* [[Roger B. Myerson]] (2008). "Mechanism Design," ''The New Palgrave Dictionary of Economics Online, [https://link.springer.com/referenceworkentry/10.1057/978-1-349-95121-5_2675-1 Abstract.]
* [[Roger B. Myerson]] (2008). "Mechanism Design," ''The New Palgrave Dictionary of Economics Online, [https://link.springer.com/referenceworkentry/10.1057/978-1-349-95121-5_2675-1 Abstract.]
* {{Citation | last1=Diamantaras | first1=Dimitrios | title=A Toolbox for Economic Design | publisher=[[Palgrave Macmillan]] | isbn=978-0-230-61060-6 | year=2009| location=New York}}. A graduate text specifically focused on mechanism design.
* {{Citation | last1=Diamantaras | first1=Dimitrios | title=A Toolbox for Economic Design | publisher=[[Palgrave Macmillan]] | isbn=978-0-230-61060-6 | year=2009| location=New York}}. A graduate text specifically focused on mechanism design.
== बाहरी संबंध ==
== बाहरी संबंध ==
* [[Eric Maskin]] "[https://www.nobelprize.org/mediaplayer/index.php?id=789 Nobel Prize Lecture]" delivered on 8 December 2007 at [[Aula Magna (Stockholm University)|Aula Magna]], Stockholm University.
* [[Eric Maskin]] "[https://www.nobelprize.org/mediaplayer/index.php?id=789 Nobel Prize Lecture]" delivered on 8 December 2007 at [[Aula Magna (Stockholm University)|Aula Magna]], Stockholm University.
Line 254: Line 240:
{{Design}}
{{Design}}


{{Authority control}}
[[Category: तंत्र डिज़ाइन| तंत्र डिज़ाइन]] [[Category: सामाजिक चयन सिद्धांत]]  
[[Category: तंत्र डिज़ाइन| तंत्र डिज़ाइन]] [[Category: सामाजिक चयन सिद्धांत]]  



Revision as of 17:03, 4 August 2023

ऊपर दिया गया स्टैनली रेइटर आरेख तंत्र डिज़ाइन के खेल को दर्शाता है। ऊपरी बाएँ स्थान प्रकार स्थान और ऊपरी-दाएँ स्थान X परिणामों के स्थान को दर्शाता है। सामाजिक चयन फलन किसी परिणाम के लिए प्रकार की प्रोफ़ाइल मैप करता है। तंत्र डिज़ाइन के खेलों में, एजेंट संदेश भेजते हैं खेल के माहौल में . खेल में संतुलन कुछ सामाजिक चयन फलन को कार्यान्वित करने के लिए डिज़ाइन किया जा सकता है .

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

मैकेनिज्म डिज़ाइन निजी-सूचना खेलों के वर्ग के लिए समाधान अवधारणाओं का अध्ययन करता है। लियोनिद हर्विक्ज़ बताते हैं कि 'एक डिज़ाइन समस्या में, लक्ष्य फलन मुख्य दिया गया है, जबकि तंत्र अज्ञात है. इसलिए, डिज़ाइन समस्या पारंपरिक आर्थिक सिद्धांत का उलटा है, जो सामान्यतः किसी दिए गए तंत्र के प्रदर्शन के विश्लेषण के लिए समर्पित है।'[1] तब, इन खेलों की दो विशिष्ट विशेषताएं हैं:

  • कि गेम डिज़ाइनर किसी गेम को विरासत में लेने के अतिरिक्त गेम संरचना को चुनता है
  • कि डिज़ाइनर को खेल के परिणाम में रुचि है

2007 में आर्थिक विज्ञान में नोबेल मेमोरियल पुरस्कार लियोनिद हरविक्ज़, एरिक मास्किन और रोजर मायर्सन को तंत्र डिजाइन सिद्धांत की नींव रखने के लिए प्रदान किया गया था।[2]

अंतर्ज्ञान

बायेसियन खेल की रोचक कक्षा में, खिलाड़ी, जिसे प्रिंसिपल कहा जाता है, अन्य खिलाड़ियों को निजी तौर पर ज्ञात जानकारी के आधार पर अपने व्यवहार को नियंत्रित करना चाहेगा। उदाहरण के लिए, प्रिंसिपल यह जानना चाहेंगे कि सेल्समैन जिस पुरानी कार के बारे में बता रहा है, उसकी वास्तविक गुणवत्ता क्या है। वह सिर्फ सेल्समैन से पूछकर कुछ नहीं सीख सकता, क्योंकि सच्चाई को तोड़-मरोड़कर प्रस्तुत करना सेल्समैन के हित में है। यद्यपि, तंत्र डिज़ाइन में प्रिंसिपल को लाभ होता है: वह गेम डिज़ाइन कर सकता है जिसके नियम दूसरों को उस तरह से कार्य करने के लिए प्रभावित कर सकते हैं जैसा वह चाहता है।

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

नींव

तंत्र

तंत्र डिज़ाइन का खेल निजी जानकारी का खेल है जिसमें एजेंटों में से एक, जिसे प्रिंसिपल कहा जाता है, भुगतान संरचना चुनता है। अगले Harsanyi (1967), एजेंटों को प्रकृति से गुप्त संदेश प्राप्त होते हैं जिनमें भुगतान से संबंधित जानकारी होती है। उदाहरण के लिए, किसी संदेश में उनकी प्राथमिकताओं या बिक्री के लिए किसी वस्तु की गुणवत्ता के बारे में जानकारी हो सकती है। हम इस जानकारी को एजेंट का प्रकार कहते हैं (सामान्यतः नोट किया जाता है)। और तदनुसार प्रकारों का स्थान ). फिर एजेंट प्रिंसिपल को प्रकार की रिपोर्ट करते हैं (सामान्यतः टोपी के साथ नोट किया जाता है)। ) यह रणनीतिक झूठ हो सकता है। रिपोर्ट के पश्चात्, प्रिंसिपल और एजेंटों को प्रिंसिपल द्वारा चुनी गई भुगतान संरचना के अनुसार भुगतान किया जाता है।

खेल का समय है:

  1. प्रिंसिपल तंत्र के लिए प्रतिबद्ध है जो परिणाम देता है रिपोर्ट किए गए प्रकार के फलन के रूप में
  2. एजेंट, संभवतः बेईमानी से, प्रकार की प्रोफ़ाइल की रिपोर्ट करते हैं
  3. तंत्र निष्पादित होता है (एजेंट परिणाम प्राप्त करते हैं )

यह समझने के लिए कि किसे क्या मिलता है, परिणाम को विभाजित करना आम बात है माल आवंटन और धन हस्तांतरण में, कहाँ प्रकार के कार्य के रूप में प्रदान की गई या प्राप्त की गई वस्तुओं के आवंटन के लिए खड़ा है, और प्रकार के कार्य के रूप में मौद्रिक हस्तांतरण को दर्शाता है।

एक बेंचमार्क के रूप में डिजाइनर अधिकांशतः यह परिभाषित करते हैं कि पूरी जानकारी के अनुसार क्या होगा। ए को परिभाषित करेंsocial choice function प्राप्त या प्रदान किए गए माल के आवंटन के लिए (सही) प्रकार की प्रोफ़ाइल को सीधे मैप करना,

इसके विपरीत तंत्र रिपोर्ट प्रकार की प्रोफ़ाइल को परिणाम (फिर से, माल आवंटन दोनों) में मैप करता है और धन हस्तांतरण )

रहस्योद्घाटन सिद्धांत

एक प्रस्तावित तंत्र बायेसियन गेम (निजी जानकारी का गेम) का गठन करता है, और यदि यह अच्छी तरह से व्यवहार किया जाता है तब गेम में बायेसियन नैश संतुलन होता है। संतुलन पर एजेंट प्रकार के कार्य के रूप में रणनीतिक रूप से अपनी रिपोर्ट चुनते हैं

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

यह अत्यंत उपयोगी है. सिद्धांत सभी खिलाड़ियों को सच्चाई से रिपोर्ट प्रकार (एक प्रोत्साहन अनुकूलता बाधा के अधीन) मानकर बायेसियन संतुलन को हल करने की अनुमति देता है। झटके में यह रणनीतिक व्यवहार या झूठ पर विचार करने की आवश्यकता को समाप्त कर देता है।

इसका प्रमाण बिल्कुल प्रत्यक्ष है. बायेसियन गेम मान लें जिसमें एजेंट की रणनीति और भुगतान उसके प्रकार के कार्य हैं और अन्य क्या करते हैं, . परिभाषा के अनुसार एजेंट I की संतुलन रणनीति क्या नैश अपेक्षित उपयोगिता में है:

बस तंत्र को परिभाषित करें जो एजेंटों को समान संतुलन चुनने के लिए प्रेरित करेगा। परिभाषित करने के लिए सबसे आसान प्रणाली यह है कि तंत्र उनके लिए एजेंटों की संतुलन रणनीतियों को निभाने के लिए प्रतिबद्ध हो।

ऐसे तंत्र के अनुसार एजेंटों को निश्चित रूप से प्रकार प्रकट करना इष्टतम लगता है क्योंकि तंत्र उन रणनीतियों को खेलता है जिन्हें यह वैसे भी इष्टतम पाते हैं। औपचारिक रूप से, चुनें ऐसा है कि

कार्यान्वयनशीलता

किसी तंत्र का डिज़ाइनर सामान्यतः या तब आशा करता है

  • एक तंत्र डिज़ाइन करना जो सामाजिक चयन फलन को कार्यान्वित करता है
  • तंत्र खोजने के लिए जो कुछ मूल्य मानदंड को अधिकतम करता है (जैसे लाभ)

सामाजिक चयन फलन को कार्यान्वित करना कुछ ढूंढना है स्थानांतरण फलन जो एजेंटों को चुनने के लिए प्रेरित करता है . औपचारिक रूप से, यदि तंत्र के अनुसार संतुलन रणनीति प्रोफ़ाइल सामाजिक चयन फलन के समान सामान आवंटन पर मैप करती है,

हम कहते हैं कि तंत्र सामाजिक चयन फलन को कार्यान्वित करता है।

रहस्योद्घाटन सिद्धांत के लिए धन्यवाद, डिजाइनर सामान्यतः स्थानांतरण फलन ढूंढ सकता है संबंधित सत्य कथन खेल को हल करके सामाजिक विकल्प को क्रियान्वित करना। यदि एजेंटों को सत्यतापूर्वक रिपोर्ट प्रकार देना सर्वोत्तम लगता है,

हम कहते हैं कि ऐसा तंत्र सचमुच कार्यान्वयन योग्य है (या बस कार्यान्वयन योग्य है)। फिर कार्य को सत्यतापूर्वक कार्यान्वयन के लिए हल करना है और इस स्थानांतरण फलन को मूल गेम में क्रियान्वित करें। आवंटन यदि कोई स्थानांतरण फलन उपस्तिथ है तब यह वास्तव में कार्यान्वयन योग्य है ऐसा है कि

जिसे प्रोत्साहन अनुकूलता (आईसी) बाधा भी कहा जाता है।

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

आवश्यकता

एक ऐसी सेटिंग पर विचार करें जिसमें सभी एजेंटों के पास प्रकार-आकस्मिक उपयोगिता फलन हो . माल आवंटन पर भी विचार करें वह सदिश-मूल्यवान और आकार है (जो अनुमति देता है वस्तुओं की संख्या) और मान लें कि यह अपने तर्कों के संबंध में टुकड़ों में निरंतर है।

कार्यक्रम कार्यान्वयन तभी संभव है जब

जब कभी भी और और x निरंतर है . यह आवश्यक शर्त है और सत्य-कथन को मानते हुए एजेंट की अनुकूलन समस्या के पहले और दूसरे क्रम की स्थितियों से ली गई है।

इसका अर्थ दो टुकड़ों में समझा जा सकता है. पहला भाग कहता है कि एजेंट की प्रतिस्थापन की सीमांत दर (एमआरएस) प्रकार के फलन के रूप में बढ़ती है,

संक्षेप में, यदि तंत्र उच्च प्रकार के एजेंट को उत्तम सौदा प्रदान नहीं करता है तब एजेंट सच नहीं बताएंगे। अन्यथा, किसी भी तंत्र का सामना करने वाले उच्च प्रकार, जो रिपोर्टिंग के लिए उच्च प्रकार को दंडित करते हैं, झूठ बोलेंगे और घोषणा करेंगे कि वे निम्न प्रकार के हैं, सत्य बताने वाली आईसी बाधा का उल्लंघन करेंगे। दूसरा भाग एकरसता की स्थिति है जो घटित होने की प्रतीक्षा कर रही है,

जिसका, धनात्मक होने का कारण है कि उच्च प्रकारों को अधिक अच्छाई दी जानी चाहिए।

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

पर्याप्तता

कार्यान्वयन सुनिश्चित करने के लिए तंत्र डिज़ाइन पेपर सामान्यतः दो धारणाएँ बनाते हैं:

इसे अनेक नामों से जाना जाता है: सिंगल-क्रॉसिंग स्थिति, सॉर्टिंग स्थिति और स्पेंस-मिर्लीज़ स्थिति। इसका कारण है कि उपयोगिता फलन इस प्रकार का है कि एजेंट की एमआरएस प्रकार में वृद्धि हो रही है।

  1. <ली मान= 2 >

यह एमआरएस की वृद्धि दर को सीमित करने वाली विधि स्थिति है।

यह धारणाएँ किसी भी एकरसता प्रदान करने के लिए पर्याप्त हैं कार्यान्वयन योग्य है (ए उपस्तिथ है जो इसे कार्यान्वित कर सकता है)। इसके अतिरिक्त, एकल-अच्छी सेटिंग में एकल-क्रॉसिंग स्थिति केवल मोनोटोनिक प्रदान करने के लिए पर्याप्त है कार्यान्वयन योग्य है, इसलिए डिज़ाइनर अपनी खोज को मोनोटोनिक तक सीमित कर सकता है .

हाइलाइट किए गए परिणाम

राजस्व तुल्यता प्रमेय

Vickrey (1961) प्रतिष्ठित परिणाम देता है कि नीलामी के बड़े वर्ग का कोई भी सदस्य विक्रेता को समान अपेक्षित राजस्व का आश्वासन देता है और यह कि अपेक्षित राजस्व विक्रेता के लिए सबसे अच्छा है। यही स्थिति है यदि

  1. खरीदारों के पास समान मूल्यांकन कार्य हैं (जो प्रकार का कार्य हो सकता है)
  2. खरीदारों के प्रकार स्वतंत्र रूप से वितरित किए जाते हैं
  3. खरीदार प्रकार सतत वितरण # सतत संभाव्यता वितरण से लिए गए हैं
  4. प्रकार वितरण में मोनोटोन कठिन परिस्थिति दर गुण होता है
  5. तंत्र उच्चतम मूल्यांकन वाले खरीदार को सामान बेचता है

अंतिम शर्त प्रमेय के लिए महत्वपूर्ण है। निहितार्थ यह है कि विक्रेता को अधिक राजस्व प्राप्त करने के लिए कम मूल्यांकन वाले एजेंट को वस्तु देने का मौका लेना चाहिए। सामान्यतः इसका कारण यह है कि उसे वस्तु बिल्कुल भी न बेचने का कठिन परिस्थिति उठाना होगा।

विक्रे-क्लार्क-ग्रोव्स तंत्र

विक्की (1961) नीलामी मॉडल का पश्चात् में विस्तार किया गया Clarke (1971) और ग्रूव्स सार्वजनिक पसंद की समस्या का इलाज करते हैं जिसमें सार्वजनिक परियोजना की निवेश सभी एजेंटों द्वारा वहन की जाती है, उदाहरण के लिए। क्या नगरपालिका पुल बनाना है। परिणामी विकी-क्लार्क-ग्रोव्स तंत्र एजेंटों को जनता की भलाई के सामाजिक रूप से कुशल आवंटन को चुनने के लिए प्रेरित कर सकता है, यदि एजेंटों के पास निजी तौर पर ज्ञात मूल्यांकन हो। दूसरे शब्दों में, यह आम लोगों की त्रासदी को हल कर सकता है - कुछ शर्तों के अनुसार , विशेष रूप से क्वासिलिनियर उपयोगिता में या यदि बजट संतुलन की आवश्यकता नहीं है।

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

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

जो एजेंट की रिपोर्टिंग के कारण अन्य एजेंटों (और उसके अपने नहीं) की उपयोगिताओं में आई विकृति का सारांश देता है।

गिब्बार्ड-सैटरथवेट प्रमेय

Gibbard (1973) और Satterthwaite (1975) एरो की असंभवता प्रमेय की भावना के समान असंभवता परिणाम दें। खेलों के बहुत ही सामान्य वर्ग के लिए, केवल तानाशाही सामाजिक चयन कार्यों को क्रियान्वित किया जा सकता है।

एक सामाजिक चयन फलन f() 'तानाशाहीपूर्ण' है यदि एजेंट को हमेशा अपना सबसे पसंदीदा सामान आवंटन प्राप्त होता है,

प्रमेय में कहा गया है कि सामान्य परिस्थितियों में कोई भी सत्यतापूर्वक कार्यान्वयन योग्य सामाजिक चयन कार्य तानाशाही होना चाहिए यदि,

  1. X परिमित है और इसमें कम से कम तीन तत्व हैं
  2. प्राथमिकताएँ तर्कसंगत हैं

मायर्सन-सैटरथवेट प्रमेय

Myerson and Satterthwaite (1983)दिखाता है कि दो पार्टियों के लिए किसी वस्तु का व्यापार करने का कोई प्रभावी प्रणाली नहीं है, जब उनमें से प्रत्येक के पास इसके लिए गुप्त और संभावित रूप से भिन्न-भिन्न मूल्यांकन हों, बिना किसी पार्टी को घाटे में व्यापार करने के लिए मजबूर करने के कठिन परिस्थिति के बिना। यह अर्थशास्त्र में सबसे उल्लेखनीय ऋणात्मक परिणामों में से है - कल्याणकारी अर्थशास्त्र के मूलभूत प्रमेयों का प्रकार का ऋणात्मक दर्पण।

शेपली मान

फिलिप्स और मार्डेन (2018) ने सिद्ध करना किया कि अवतल निवेश कार्यों के साथ निवेश-साझाकरण गेम के लिए, इष्टतम निवेश-साझाकरण नियम जो सबसे पहले गेम में सबसे खराब स्थिति की अक्षमताओं (अराजकता की कीमत) को अनुकूलित करता है, और फिर दूसरे सबसे अच्छे स्थितियोंको अनुकूलित करता है। परिणाम (स्थिरता की कीमत), बिल्कुल शेपली मूल्य निवेश-साझाकरण नियम है।[4] सममित कथन उत्तल उपयोगिता कार्यों के साथ उपयोगिता-साझाकरण गेम के लिए समान रूप से मान्य है।

उदाहरण

मूल्य भेदभाव

Mirrlees (1971) ऐसी सेटिंग प्रस्तुत करता है जिसमें ट्रांसफर फलन t() को हल करना आसान है। अपनी प्रासंगिकता और सुगमता के कारण यह साहित्य में सामान्य सेटिंग है। एकल-अच्छी, एकल-एजेंट सेटिंग पर विचार करें जिसमें एजेंट के पास अज्ञात प्रकार के पैरामीटर के साथ क्वासिलिनियर उपयोगिता है

और जिसमें प्रिंसिपल के पास एजेंट के प्रकार पर पूर्व संचयी वितरण फलन होता है . प्रिंसिपल उत्तल सीमांत निवेश c(x) पर माल का उत्पादन कर सकता है और लेनदेन से अपेक्षित लाभ को अधिकतम करना चाहता है

आईसी और आईआर शर्तों के अधीन

यहां प्रिंसिपल एकाधिकारवादी है जो लाभ-अधिकतम मूल्य योजना निर्धारित करने की कोशिश कर रहा है जिसमें वह ग्राहक के प्रकार की पहचान नहीं कर सकता है। सामान्य उदाहरण व्यवसाय, अवकाश और छात्र यात्रियों के लिए किराया निर्धारित करने वाली एयरलाइन है। आईआर शर्त के कारण इसे भागीदारी को प्रेरित करने के लिए हर प्रकार को पर्याप्त अच्छा सौदा देना पड़ता है। आईसी शर्त के कारण इसे प्रत्येक प्रकार को इतना अच्छा सौदा देना होता है कि वह प्रकार किसी अन्य प्रकार के सौदे को प्राथमिकता दे।

मिर्लीज़ (1971) द्वारा दी गई तरकीब यह है कि ट्रांसफर फलन को अधिकतम होने की उम्मीद से खत्म करने के लिए लिफ़ाफ़ा प्रमेय का उपयोग किया जाए,

एकीकरण,

कहाँ कुछ सूचकांक प्रकार है. प्रोत्साहन-संगत की जगह अधिकतम में,

भागों द्वारा एकीकरण के पश्चात्. इस फलन को बिंदुवार अधिकतम किया जा सकता है.

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

मायर्सन इस्त्री

ऐसे सामान या मूल्य अनुसूची का समाधान करना संभव है जो प्रथम-क्रम की शर्तों को पूरा करता हो फिर भी एकरस न हो। यदि ऐसा है तब फलन को समतल करने के लिए कुछ मान चुनकर शेड्यूल को इस्त्री करना आवश्यक है।

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

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

ऊपर दिए गए उदाहरण में, एकाधिकारवादी प्रिंसिपल को क्वासिलिनियर उपयोगिता वाले एजेंटों को बेचने पर विचार करें। मान लीजिए आवंटन अनुसूची प्रथम-क्रम की शर्तों को संतुष्ट करने पर एकल आंतरिक शिखर होता है और आंतरिक गर्त , दाईं ओर चित्रित।

  • मायरसन (1981) का अनुसरण करते हुए इसे चुनकर समतल करें संतुष्टि देने वाला
    कहाँ x मानचित्रण का व्युत्क्रम कार्य है और x मानचित्रण का व्युत्क्रम कार्य है . वह है, रिटर्न ए आंतरिक शिखर से पहले और रिटर्न ए आंतरिक गर्त के पश्चात्.
  • यदि गैरमोनोटोनिक क्षेत्र टाइप स्पेस के किनारे को बॉर्डर करें, बस उपयुक्त सेट करें सीमा प्रकार के लिए फलन (या दोनों)। यदि अनेक क्षेत्र हैं, तब पुनरावृत्तीय प्रक्रिया के लिए पाठ्यपुस्तक देखें; ऐसा हो सकता है कि से अधिक कुंडों को साथ इस्त्री किया जाना चाहिए।

प्रमाण

प्रमाण इष्टतम नियंत्रण के सिद्धांत का उपयोग करता है। यह अंतरालों के समुच्चय पर विचार करता है के नॉनमोनोटोनिक क्षेत्र में जिस पर यह शेड्यूल को समतल कर सकता है। इसके पश्चात् यह आवश्यक शर्तों को प्राप्त करने के लिए हैमिल्टनियन लिखता है अंतराल के भीतर

  1. जो एकरसता को संतुष्ट करता है
  2. जिसके लिए एकरसता बाधा अंतराल की सीमाओं पर बाध्यकारी नहीं है

शर्त दो यह सुनिश्चित करती है कि इष्टतम नियंत्रण समस्या को संतुष्ट करने से अंतराल सीमाओं पर मूल समस्या में शेड्यूल फिर से जुड़ जाता है (कोई छलांग नहीं)। कोई आवश्यक शर्तों को पूरा करना समतल होना चाहिए क्योंकि यह एकरस होना चाहिए और फिर भी सीमाओं पर पुनः जुड़ना चाहिए।

पहले की तरह, मूलधन की अपेक्षित अदायगी को अधिकतम करें, किन्तु इस बार एकरसता की बाधा के अधीन

और इसे करने के लिए छाया मूल्य के साथ हैमिल्टनियन का उपयोग करें

कहाँ राज्य चर है और द कंट्रोल। इष्टतम नियंत्रण में हमेशा की तरह निवेश विकास समीकरण को संतुष्ट करना होगा

शर्त 2 का लाभ उठाते हुए, ध्यान दें कि एकरसता बाधा की सीमाओं पर बाध्यकारी नहीं है मध्यान्तर,

जिसका अर्थ है कि निवेश परिवर्तनीय स्थिति को एकीकृत किया जा सकता है और यह 0 के सामान्तर भी है

मूलधन के अधिशेष का औसत विरूपण 0 होना चाहिए। शेड्यूल को समतल करने के लिए, खोजें इस तरह कि इसकी उलटी छवि पर मैप होती है उपरोक्त शर्त को संतुष्ट करने वाला अंतराल।

यह भी देखें

टिप्पणियाँ

  1. L. Hurwicz & S. Reiter (2006) Designing Economic Mechanisms, p. 30
  2. "The Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel 2007" (Press release). Nobel Foundation. October 15, 2007. Retrieved 2008-08-15.
  3. In unusual circumstances some truth-telling games have more equilibria than the Bayesian game they mapped from. See Fudenburg-Tirole Ch. 7.2 for some references.
  4. Phillips, Matthew; Marden, Jason R. (July 2018). "अवतल लागत-साझाकरण खेलों में डिज़ाइन ट्रेडऑफ़". IEEE Transactions on Automatic Control (in English). 63 (7): 2242–2247. doi:10.1109/tac.2017.2765299. ISSN 0018-9286. S2CID 45923961.

संदर्भ

अग्रिम पठन

बाहरी संबंध