تصميم الآلية

المساحة العلوية اليسرىΘ{\displaystyle \Theta }يُصوّر الشكل فضاء النوع، والفضاء العلوي الأيمن X فضاء النتائج. دالة الاختيار الاجتماعيو(θ){\displaystyle f(\theta )}يربط نوع الملف التعريفي بالنتيجة. في ألعاب تصميم الآليات، يرسل العملاء رسائل.م{\displaystyle M}في بيئة اللعبةز{\displaystyle g}التوازن في اللعبةξ(م،ز،θ){\displaystyle \xi (M,g,\theta )}يمكن تصميمها لتنفيذ بعض وظائف الاختيار الاجتماعيو(θ){\displaystyle f(\theta )}.

يُعدّ تصميم الآليات (أو نظرية التنفيذ أو تصميم المؤسسات ) [ 1 ] فرعًا من فروع الاقتصاد ونظرية الألعاب . وهو يدرس كيفية بناء قواعد - تُسمى آليات أو مؤسسات - تُحقق نتائج جيدة وفقًا لمعيار مُحدد مسبقًا ، حتى عندما لا يعرف المصمم التفضيلات الحقيقية للاعبين أو المعلومات التي يمتلكونها. وبالتالي، يركز تصميم الآليات على دراسة مفاهيم الحلول لفئة من ألعاب المعلومات الخاصة.

يُعدّ تصميم الآليات ذا تطبيقات واسعة، تشمل مجالات الاقتصاد التقليدية مثل تصميم السوق ، وكذلك العلوم السياسية (من خلال نظرية التصويت ) . وهو عنصر أساسي في تشغيل الإنترنت ، حيث يُستخدم في الأنظمة الشبكية (مثل التوجيه بين النطاقاتوالتجارة الإلكترونية ، ومزادات الإعلانات التي تُجريها فيسبوك وجوجل .

لأنها تبدأ بنهاية اللعبة (نتيجة محددة)، ثم تعمل عكسيًا لإيجاد لعبة تُحققها، تُوصف أحيانًا بنظرية الألعاب العكسية . [ 2 ] يوضح ليونيد هورويتش أنه "في مسألة التصميم، تُعد دالة الهدف هي المعطى الرئيسي، بينما الآلية هي المجهول. لذلك، فإن مسألة التصميم هي عكس النظرية الاقتصادية التقليدية، التي تُعنى عادةً بتحليل أداء آلية معينة." [ 3 ]

مُنحت جائزة نوبل التذكارية في العلوم الاقتصادية لعام 2007 إلى ليونيد هورويتش وإريك ماسكين وروجر مايرسون "لإسهامهم في وضع أسس نظرية تصميم الآليات". [ 4 ] وقد نال ويليام فيكري جائزة نوبل عام 1996 عن أعماله ذات الصلة التي أسست هذا المجال.

وصف

يرغب شخص يُدعى "المدير" في توجيه سلوكه بناءً على معلومات خاصة بلاعبي اللعبة . على سبيل المثال، يرغب المدير في معرفة الجودة الحقيقية لسيارة مستعملة يعرضها بائع. لا يمكنه معرفة أي شيء بمجرد سؤال البائع، لأن من مصلحة البائع تحريف الحقيقة. مع ذلك، في تصميم الآليات، يتمتع المدير بميزة واحدة: إذ يمكنه تصميم لعبة تؤثر قواعدها على الآخرين ليتصرفوا بالطريقة التي يريدها.

بدون نظرية تصميم الآليات، ستكون مشكلة المدير صعبة الحل. سيضطر إلى دراسة جميع الاحتمالات الممكنة واختيار اللعبة التي تؤثر بشكل أفضل على تكتيكات اللاعبين الآخرين. إضافةً إلى ذلك، سيتعين على المدير استخلاص استنتاجات من وكلاء قد يكذبون عليه. بفضل مبدأ الإفصاح ، لا يحتاج المدير إلا إلى دراسة الألعاب التي يُفصح فيها الوكلاء بصدق عن معلوماتهم الخاصة.

وصف نعوم نيسان تصميم الآليات بأنه وسيلة لتجاوز نظرية جيبارد-ساترثويت . وبينما تُعرض النظرية تقليديًا كنتيجة تتعلق بأنظمة التصويت، يمكن أيضًا اعتبارها نتيجة مهمة لتصميم الآليات، الذي يتناول فئة أوسع من قواعد اتخاذ القرار. إليكم الاقتباس: [ 5 ] : 215

يبدو أن نظرية GS تقضي على أي أمل في تصميم دوال اختيار اجتماعي متوافقة مع الحوافز. ويسعى مجال تصميم الآليات برمته إلى تجاوز هذه النتيجة المستحيلة باستخدام تعديلات متنوعة في النموذج.

تتمثل الفكرة الرئيسية لهذه "المخارج" في تعديل نموذج للسماح بفئة أوسع من الآليات، على غرار مخارج نظرية الاستحالة لآرو في حالة التصويت الترتيبي.

المؤسسات

الآلية

لعبة تصميم الآليات هي لعبة معلومات خاصة، حيث يختار أحد الوكلاء، المسمى الموكل، هيكل العوائد. وباتباع هارساني ( 1967 ) ، يتلقى الوكلاء "رسائل" سرية من الطبيعة تحتوي على معلومات ذات صلة بالعوائد. على سبيل المثال، قد تحتوي الرسالة على معلومات حول تفضيلاتهم أو جودة سلعة معروضة للبيع. نُطلق على هذه المعلومات اسم "نوع" الوكيل (يُشار إليه عادةً بـ θ{\displaystyle \theta }وبالتالي مساحة الأنواعΘ{\displaystyle \Theta }ثم يقوم الوكلاء بإبلاغ المدير بنوع المنتج (عادةً ما يُشار إليه بعلامة قبعة).θ^{\displaystyle {\hat {\theta }}}قد يكون ذلك كذباً استراتيجياً. بعد التقرير، يتم دفع مستحقات الموكل والوكلاء وفقاً لهيكل العوائد الذي اختاره الموكل.

موعد المباراة هو:

  1. يلتزم المدير بآليةy(){\displaystyle y()}وهذا يمنح نتيجةy{\displaystyle y}كدالة للنوع المُبلغ عنه
  2. يقدم العملاء تقارير، ربما بشكل غير نزيه، عن نمط معينθ^{\displaystyle {\hat {\theta }}}
  3. يتم تنفيذ الآلية (يتلقى العملاء النتيجة)y(θ^){\displaystyle y({\hat {\theta }})})

لفهم من يحصل على ماذا، من الشائع تقسيم النتيجةy{\displaystyle y}إلى تخصيص السلع وتحويل الأموال،y(θ)={x(θ)،ت(θ)}، xX،تتي{\displaystyle y(\theta )=\{x(\theta ),t(\theta )\},\ x\in X,t\in T}أينx{\displaystyle x}يرمز إلى تخصيص السلع المقدمة أو المستلمة وفقًا لنوعها، وت{\displaystyle t}يرمز إلى التحويل النقدي كدالة للنوع.

كمعيار مرجعي، غالبًا ما يحدد المصمم ما ينبغي أن يحدث في ظل توفر المعلومات الكاملة. حدد وظيفة الاختيار الاجتماعيو(θ){\displaystyle f(\theta )}ربط ملف تعريف النوع (الحقيقي) مباشرةً بتخصيص البضائع المستلمة أو المقدمة،

و(θ):ΘY{\displaystyle f(\theta ):\Theta \rightarrow Y}

في المقابل، تقوم آلية ما بربط نوع الملف الشخصي المُبلغ عنه بنتيجة (مرة أخرى، تخصيص السلع).x{\displaystyle x}وتحويل الأموالت{\displaystyle t})

y(θ^):ΘY{\displaystyle y({\hat {\theta }}):\Theta \rightarrow Y}

مبدأ الوحي

تُشكل الآلية المقترحة لعبة بايزية (لعبة معلومات خاصة)، وإذا كانت هذه الآلية حسنة السلوك، فإن اللعبة تمتلك توازن ناش بايزي . عند التوازن، يختار الوكلاء تقاريرهم استراتيجياً كدالة لنوعها.

θ^(θ){\displaystyle {\hat {\theta }}(\theta )}

يصعب إيجاد توازنات بايزية في مثل هذا السياق، لأنها تتطلب إيجاد أفضل استراتيجيات استجابة للوكلاء، وأفضل استنتاج من كذبة استراتيجية محتملة. وبفضل نتيجة شاملة تُعرف بمبدأ الكشف، بغض النظر عن الآلية، يستطيع المصمم [ 6 ] حصر الاهتمام بالتوازنات التي يُفصح فيها الوكلاء عن نوعهم بصدق. ينص مبدأ الكشف على ما يلي: "لكل توازن ناش بايزي، توجد لعبة بايزية لها نفس نتيجة التوازن، ولكن يُفصح فيها اللاعبون عن نوعهم بصدق".

هذا مفيد للغاية. يسمح هذا المبدأ بإيجاد توازن بايزي بافتراض أن جميع اللاعبين يُبلغون عن نوعهم بصدق (مع مراعاة قيد توافق الحوافز ). وبذلك، يُغني عن الحاجة إلى النظر في السلوك الاستراتيجي أو الكذب.

برهانها مباشر للغاية. لنفترض لعبة بايزية تكون فيها استراتيجية الوكيل وعائده دالتين لنوعه وما يفعله الآخرون،uأنا(sأنا(θأنا)،s-أنا(θ-أنا)،θأنا){\displaystyle u_{i}\left(s_{i}(\theta _{i}),s_{-i}(\theta _{-i}),\theta _{i}\right)}. بحسب التعريف، استراتيجية التوازن للوكيل is(θأنا){\displaystyle s(\theta _{i})}هل ناش في المنفعة المتوقعة؟

sأنا(θأنا)argالأعلىsأناSأناθ-أنا ص(θ-أنا|θأنا) uأنا(sأنا،s-أنا(θ-أنا)،θأنا){\displaystyle 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)}

ببساطة، حدد آلية تحثّ الفاعلين على اختيار نفس التوازن. وأسهل هذه الآليات تعريفًا هي أن تلتزم الآلية بتنفيذ استراتيجيات التوازن الخاصة بالفاعلين نيابةً عنهم.

y(θ^):ΘS(Θ)Y{\displaystyle y({\hat {\theta }}):\Theta \rightarrow S(\Theta )\rightarrow Y}

في ظل هذه الآلية، يجد العملاء بالطبع أنه من الأمثل الكشف عن النوع، لأن الآلية تستخدم الاستراتيجيات التي وجدوها مثالية على أي حال. بشكل رسمي، اخترy(θ){\displaystyle y(\theta )}بحيث

θأناargالأعلىθأناΘθ-أنا ص(θ-أنا|θأنا) uأنا(y(θأنا،θ-أنا)،θأنا)=θ-أنا ص(θ-أنا|θأنا) uأنا(sأنا(θ)،s-أنا(θ-أنا)،θأنا){\displaystyle {\begin{aligned}\theta _{i}\in {}&\arg \max _{\theta '_{i}\in \Theta }\sum _{\theta _{-i}}\ p(\theta _{-i}\mid \theta _{i})\ u_{i}\left(y(\theta '_{i},\theta _{-i}),\theta _{i}\right)\\[5pt]&=\sum _{\theta _{-i}}\ p(\theta _{-i}\mid \theta _{i})\ u_{i}\left(s_{i}(\theta ),s_{-i}(\theta _{-i}),\theta _{i}\right)\end{aligned}}}

قابلية التنفيذ

يأمل مصمم الآلية عموماً إما

  • لتصميم آليةy(){\displaystyle y()}التي "تنفذ" وظيفة الاختيار الاجتماعي
  • لإيجاد الآليةy(){\displaystyle y()}الذي يحقق أقصى قدر من معيار القيمة (مثل الربح)

لتنفيذ وظيفة الاختيار الاجتماعيو(θ){\displaystyle f(\theta )}يتمثل الهدف في إيجاد دالة نقل معينةت(θ){\displaystyle t(\theta )}وهذا يحفز الوكلاء على الاختيارو(θ){\displaystyle f(\theta )}بصورة رسمية، إذا كان ملف تعريف استراتيجية التوازن في ظل الآلية يتطابق مع نفس تخصيص السلع كدالة اختيار اجتماعي،

و(θ)=x(θ^(θ)){\displaystyle f(\theta )=x\left({\hat {\theta }}(\theta )\right)}

نقول إن الآلية تنفذ وظيفة الاختيار الاجتماعي.

بفضل مبدأ الكشف، يستطيع المصمم عادةً إيجاد دالة نقل.ت(θ){\displaystyle t(\theta )}تطبيق خيار اجتماعي من خلال حل لعبة قول الحقيقة المرتبطة به. إذا وجد الأفراد أنه من الأمثل الإبلاغ بصدق عن النوع،

θ^(θ)=θ{\displaystyle {\hat {\theta }}(\theta )=\theta }

نقول إن مثل هذه الآلية قابلة للتنفيذ بشكل صحيح . وتتمثل المهمة حينها في إيجاد حل قابل للتنفيذ بشكل صحيح.ت(θ){\displaystyle t(\theta )}ثمّ نُطبّق دالة النقل هذه على اللعبة الأصلية. تخصيصx(θ){\displaystyle x(\theta )}يمكن تنفيذه بشكل صحيح إذا كانت هناك دالة نقلت(θ){\displaystyle t(\theta )}بحيث

u(x(θ)،ت(θ)،θ)u(x(θ^)،ت(θ^)،θ) θ،θ^Θ{\displaystyle u(x(\theta ),t(\theta ),\theta )\geq u(x({\hat {\theta }}),t({\hat {\theta }}),\theta )\ \forall \theta ,{\hat {\theta }}\in \Theta }

والذي يُطلق عليه أيضًا قيد توافق الحوافز (IC).

في التطبيقات، يُعد شرط الدائرة المتكاملة (IC) هو المفتاح لوصف شكلت(θ){\displaystyle t(\theta )}بأي طريقة مفيدة. في ظل ظروف معينة، يمكن حتى عزل دالة التحويل تحليليًا. بالإضافة إلى ذلك، يُضاف أحيانًا قيد المشاركة ( العقلانية الفردية ) إذا كان لدى الفاعلين خيار عدم المشاركة.

ضرورة

لنفترض بيئة يكون فيها لجميع الوكلاء دالة منفعة مشروطة بنوعهمu(x،ت،θ){\displaystyle u(x,t,\theta )}ضع في اعتبارك أيضًا تخصيص السلعx(θ){\displaystyle x(\theta )}أي أنها ذات قيم متجهة وحجمهاك{\displaystyle k}(مما يسمحك{\displaystyle k}عدد السلع) وافترض أنها متصلة بشكل متقطع بالنسبة لمتغيراتها.

الوظيفةx(θ){\displaystyle x(\theta )}لا يمكن تنفيذه إلا إذا

ك=1نθ(u/xك|u/ت|)xθ0{\displaystyle \sum _{k=1}^{n}{\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}

حينماx=x(θ){\displaystyle x=x(\theta )}وت=ت(θ){\displaystyle t=t(\theta )}و x متصلة عندθ{\displaystyle \theta }هذا شرط ضروري ومستمد من شروط الرتبة الأولى والثانية لمسألة تحسين الوكيل بافتراض قول الحقيقة.

يمكن فهم معناها من خلال جزأين. الجزء الأول يقول إن معدل الإحلال الحدي للعامل (MRS) يزداد كدالة للنوع،

θ(u/xك|u/ت|)=θمRSx،ت{\displaystyle {\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}}

باختصار، لن يقول العملاء الحقيقة إذا لم تُقدّم الآلية للعملاء ذوي الرتب الأعلى صفقة أفضل. وإلا، فإن العملاء ذوي الرتب الأعلى الذين يواجهون أي آلية تُعاقبهم على الإبلاغ سيكذبون ويدّعون أنهم من الرتب الأدنى، مما يُخالف شرط توافق الحوافز مع قول الحقيقة. أما العنصر الثاني فهو شرط الرتابة الذي ينتظر الحدوث.

xθ{\displaystyle {\frac {\partial x}{\partial \theta }}}

وهذا، لكي يكون إيجابياً، يعني أنه يجب منح الأنواع الأعلى المزيد من الخير.

هناك احتمال لتفاعل الجزأين. إذا كان العقد، بالنسبة لنطاق نوع معين، يقدم كمية أقل للأنواع الأعلى.x/θ<0{\displaystyle \partial x/\partial \theta <0}من الممكن أن تُعوّض الآلية بمنح خصومات للأنواع الأعلى. لكن هذا النوع من العقود موجود بالفعل للوكلاء ذوي الأنواع الأدنى، لذا يُعدّ هذا الحل غير منطقي. يظهر هذا الحل أحيانًا أثناء عملية تصميم الآلية، وفي هذه الحالات يجب تعديله. في بيئة متعددة السلع، يُمكن للمصمم أيضًا مكافأة الوكيل بكمية أكبر من سلعة ما لاستبدال كمية أقل من سلعة أخرى (مثل استبدال الزبدة بالسمن النباتي ). تُعدّ آليات السلع المتعددة مجالًا بحثيًا مستمرًا في تصميم الآليات.

الكفاية

تعتمد أوراق تصميم الآليات عادةً على افتراضين لضمان إمكانية التنفيذ:

θu/xك|u/ت|>0 ك{\displaystyle {\frac {\partial }{\partial \theta }}{\frac {\partial u/\partial x_{k}}{\left|\partial u/\partial t\right|}}>0\ \forall k}

يُعرف هذا الشرط بعدة أسماء: شرط التقاطع الأحادي ، وشرط الفرز، وشرط سبنس-ميرليس. ويعني أن دالة المنفعة تأخذ شكلاً يجعل معدل الإحلال الحدي للوكيل متزايداً.

ك0،ك1 بحيث |u/xكu/ت|ك0+ك1|ت|{\displaystyle \exists K_{0},K_{1}{\text{ بحيث }}\left|{\frac {\partial u/\partial x_{k}}{\partial u/\partial t}}\right|\leq K_{0}+K_{1}|t|}

هذا شرط فني يحدد معدل نمو معدل الاستبدال الميكروبي.

تكفي هذه الافتراضات لضمان أن أي دالة رتيبةx(θ){\displaystyle x(\theta )}قابل للتنفيذ (أ)ت(θ){\displaystyle t(\theta )}يوجد من يستطيع تنفيذه). بالإضافة إلى ذلك، في حالة السلعة الواحدة، يكفي شرط التقاطع الواحد لضمان أن يكون هناك فقط اتجاه رتيبx(θ){\displaystyle x(\theta )}يمكن تنفيذه، لذا يمكن للمصمم حصر بحثه في عملية رتيبةx(θ){\displaystyle x(\theta )}.

النتائج المميزة

نظرية تكافؤ الإيرادات

يقدم فيكري ( 1961 ) نتيجةً شهيرةً مفادها أن أي عضو في فئة كبيرة من المزادات يضمن للبائع نفس الإيرادات المتوقعة، وأن هذه الإيرادات المتوقعة هي أفضل ما يمكن للبائع تحقيقه. ويتحقق هذا إذا 

  1. يمتلك المشترون وظائف تقييم متطابقة (والتي قد تكون دالة للنوع).
  2. أنواع المشترين موزعة بشكل مستقل
  3. يتم اختيار أنواع المشترين من توزيع مستمر
  4. يتميز توزيع النوع بخاصية معدل الخطر الرتيب
  5. تبيع الآلية السلعة للمشتري الذي يقدم أعلى تقييم

الشرط الأخير أساسيٌّ للنظرية. ومن تبعاته أنه لكي يحقق البائع عائدًا أعلى، عليه أن يُخاطر ببيع السلعة لوكيلٍ بتقييمٍ أقل. وهذا يعني عادةً أنه يُخاطر بعدم بيع السلعة أصلًا.

آليات فيكري-كلارك-جروفز

قام كلارك (1971 ) وغروفز بتوسيع نموذج مزاد فيكري ( 1961 ) لاحقًا لمعالجة مشكلة الاختيار العام التي يتحمل فيها جميع الفاعلين تكلفة مشروع عام، مثل بناء جسر بلدي. ويمكن لآلية "فيكري-كلارك-غروفز" الناتجة أن تحفز الفاعلين على اختيار التوزيع الأمثل اجتماعيًا للسلعة العامة حتى لو كانت لديهم تقييمات خاصة بهم. وبعبارة أخرى، يمكنها حل " مأساة المشاعات " - في ظل شروط معينة، ولا سيما المنفعة شبه الخطية أو إذا لم يكن توازن الميزانية مطلوبًا. 

تخيل وضعًا يكون فيهأنا{\displaystyle I}عدد الوكلاء له منفعة شبه خطية مع التقييمات الخاصةv(x،ت،θ){\displaystyle v(x,t,\theta )}حيث العملةت{\displaystyle t}يتم تقييمها بشكل خطي. يصمم مصمم VCG آلية متوافقة مع الحوافز (وبالتالي قابلة للتنفيذ بشكل صحيح) للحصول على ملف تعريف النوع الحقيقي، والذي من خلاله ينفذ المصمم التخصيص الأمثل اجتماعيًا

xأنا*(θ)argmaxxXأناأناv(x،θأنا){\displaystyle x_{I}^{*}(\theta )\in {\underset {x\in X}{\operatorname {argmax} }}\sum _{i\in I}v(x,\theta _{i})}

تكمن براعة آلية VCG في تحفيزها للإفصاح الصادق. فهي تقضي على دوافع التضليل من خلال معاقبة أي طرف بتكلفة التشويه الذي يُحدثه. ومن بين التقارير التي يُمكن للطرف تقديمها، تسمح آلية VCG بتقرير "محايد" يُفيد بأنه غير مُبالٍ بالصالح العام ولا يهتم إلا بتحويل الأموال. وهذا يُخرج الطرف فعليًا من اللعبة. إذا اختار الطرف الإبلاغ عن نوعٍ مُعين، فإن آلية VCG تفرض عليه رسومًا إذا كان تقريره محوريًا ، أي إذا غيّر تقريره التخصيص الأمثل x بما يُلحق الضرر بالطرف الآخر. ويتم حساب هذه الرسوم.

تأنا(θ^)=جأنا-أناvج(xأنا-أنا*(θأنا-أنا)،θج)-جأنا-أناvج(xأنا*(θ^أنا،θأنا)،θج){\displaystyle 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})}

وهو ما يجمع التشوه في منافع العملاء الآخرين (وليس منافعه الخاصة) الناجم عن قيام أحد العملاء بالإبلاغ.

نظرية جيبارد – ساترثويت

قدم جيبارد ( 1973 ) وساتيرثويت ( 1975 ) نتيجة استحالة مشابهة في جوهرها لنظرية استحالة آرو . بالنسبة لفئة عامة جدًا من الألعاب، لا يمكن تطبيق سوى وظائف الاختيار الاجتماعي "الديكتاتورية" .  

وظيفة الاختيار الاجتماعيو(){\displaystyle f(\cdot )}يُعتبر النظام استبدادياً إذا كان أحد الوكلاء يحصل دائماً على حصة السلع المفضلة لديه.

ل و(Θ)، أناأنا بحيث uأنا(x،θأنا)uأنا(x،θأنا) xX{\displaystyle {\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}

تنص النظرية على أنه في ظل الظروف العامة، يجب أن تكون أي دالة اختيار اجتماعي قابلة للتنفيذ بصدق استبدادية إذا،

  1. X مجموعة منتهية وتحتوي على ثلاثة عناصر على الأقل
  2. التفضيلات عقلانية
  3. و(Θ)=X{\displaystyle f(\Theta )=X}

نظرية مايرسون-ساترثويت

أظهر مايرسون وساتيرثويت ( 1983 ) أنه لا توجد طريقة فعالة لتبادل سلعة بين طرفين عندما يمتلك كل منهما تقييمًا سريًا ومتغيرًا احتماليًا لها، دون المخاطرة بإجبار أحد الطرفين على التبادل بخسارة. تُعد هذه النتيجة من أبرز النتائج السلبية في علم الاقتصاد، فهي بمثابة انعكاس سلبي للنظريات الأساسية لاقتصاديات الرفاه . 

قيمة شابلي

أثبت فيليبس وماردن (2018) أنه بالنسبة لألعاب تقاسم التكاليف ذات دوال التكلفة المقعرة، فإن قاعدة تقاسم التكاليف المثلى التي تُحسّن أولًا أسوأ حالات عدم الكفاءة في اللعبة (ثمن الفوضى )، ثم تُحسّن ثانيًا أفضل النتائج ( ثمن الاستقرار )، هي تحديدًا قاعدة تقاسم التكاليف لقيمة شابلي. [ 7 ] وينطبق بيان مماثل على ألعاب تقاسم المنفعة ذات دوال المنفعة المحدبة.

التمييز السعري

قدّم ميرليس ( 1971 ) نموذجًا يسهل فيه إيجاد دالة التحويل t (). ونظرًا لأهميته وسهولة التعامل معه، يُعدّ هذا النموذج شائعًا في الأدبيات. لنفترض نموذجًا لسلعة واحدة وعامل واحد، حيث يمتلك العامل منفعة شبه خطية ذات مُعامل نوع غير معروف . θ{\displaystyle \theta }

u(x،ت،θ)=V(x،θ)-ت{\displaystyle u(x,t,\theta )=V(x,\theta )-t}

والتي يكون فيها للموكل دالة توزيع تراكمي سابقة على نوع الوكيلP(θ){\displaystyle P(\theta )}يستطيع الموكل إنتاج السلع بتكلفة هامشية محدبة c ( x ) ويرغب في تعظيم الربح المتوقع من الصفقة

الأعلىx(θ)،ت(θ)هـθ[ت(θ)-ج(x(θ))]{\displaystyle \max _{x(\theta ),t(\theta )}\mathbb {E} _{\theta }\left[t(\theta )-c\left(x(\theta )\right)\right]}

يخضع ذلك لشروط هيئة الاتصالات الهندية وهيئة الإيرادات الهندية.

u(x(θ)،ت(θ)،θ)u(x(θ)،ت(θ)،θ) θ،θ{\displaystyle u(x(\theta ),t(\theta ),\theta )\geq u(x(\theta '),t(\theta '),\theta )\ \forall \theta ,\theta '}
u(x(θ)،ت(θ)،θ)u_(θ) θ{\displaystyle u(x(\theta ),t(\theta ),\theta )\geq {\underline {u}}(\theta )\ \forall \theta }

يمثل هذا الكيان شركة احتكارية تسعى إلى وضع نظام تسعير يحقق لها أقصى ربح، دون أن تتمكن من تحديد نوع العميل. ومن الأمثلة الشائعة على ذلك شركات الطيران التي تحدد أسعار تذاكرها لرجال الأعمال والسياح والطلاب. وبسبب شرط IR، يتعين عليها تقديم عرض مغرٍ لكل فئة من العملاء لتشجيعهم على المشاركة. وبسبب شرط IC، يتعين عليها تقديم عرض مغرٍ لكل فئة بحيث يفضلونه على أي عرض آخر.

تتمثل إحدى الحيل التي قدمها ميرليس (1971) في استخدام نظرية الغلاف لإزالة دالة التحويل من القيمة المتوقعة المراد تعظيمها،

يترك يو(θ)=الأعلىθu(x(θ)،ت(θ)،θ){\displaystyle {\text{let }}U(\theta )=\max _{\theta '}u\left(x(\theta '),t(\theta '),\theta \right)}
ديودθ=uθ=Vθ{\displaystyle {\frac {dU}{d\theta }}={\frac {\partial u}{\partial \theta }}={\frac {\partial V}{\partial \theta }}}

التكامل،

يو(θ)=u_(θ0)+θ0θVθ~دθ~{\displaystyle U(\theta )={\underline {u}}(\theta _{0})+\int _{\theta _{0}}^{\theta }{\frac {\partial V}{\partial {\tilde {\theta }}}}d{\tilde {\theta }}}

أينθ0{\displaystyle \theta _{0}}هو نوع من أنواع الفهرس. استبدال المتوافق مع الحوافزت(θ)=V(x(θ)،θ)-يو(θ){\displaystyle t(\theta )=V(x(\theta ),\theta )-U(\theta )}في الحد الأقصى،

هـθ[V(x(θ)،θ)-u_(θ0)-θ0θVθ~دθ~-ج(x(θ))]=هـθ[V(x(θ)،θ)-u_(θ0)-1-P(θ)ص(θ)Vθ-ج(x(θ))]{\displaystyle {\begin{aligned}&\mathbb {E} _{\theta }\left[V(x(\theta ),\theta )-{\underline {u}}(\theta _{0})-\int _{\theta _{0}}^{\theta }{\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{aligned}}}

بعد التكامل بالتجزئة. يمكن إيجاد القيمة القصوى لهذه الدالة نقطة بنقطة.

لأنيو(θ){\displaystyle U(\theta )}إذا كان التصميم متوافقًا مع الحوافز بالفعل، فيمكن للمصمم التخلي عن قيد التوافق مع الحوافز. وإذا كانت دالة المنفعة تحقق شرط سبنس-ميرليس، فإنها تكون رتيبة.x(θ){\displaystyle x(\theta )}توجد دالة. يمكن التحقق من قيد IR عند التوازن، ورفع أو خفض جدول الرسوم وفقًا لذلك. بالإضافة إلى ذلك، لاحظ وجود معدل خطر في التعبير. إذا كان توزيع النوع يتمتع بخاصية نسبة الخطر الرتيبة، فإن FOC كافٍ لحل t (). إذا لم يكن كذلك، فمن الضروري التحقق مما إذا كان قيد الرتابة (انظر الكفاية ، أعلاه) مُحققًا في كل مكان على طول جداول التخصيص والرسوم. إذا لم يكن كذلك، فيجب على المصمم استخدام طريقة مايرسون.

كيّ مايرسون

من الممكن إيجاد جدول للسلع أو الأسعار يحقق شروط الرتبة الأولى ولكنه ليس رتيبًا. في هذه الحالة، من الضروري "تسطيح" الجدول باختيار قيمة معينة لتسطيح الدالة.

في بعض التطبيقات، قد يجد المصمم أن شروط الرتبة الأولى لجداول التسعير والتخصيص ليست رتيبة. على سبيل المثال، في الحالة شبه الخطية، يحدث هذا غالبًا عندما لا تكون نسبة المخاطرة رتيبة. وبحسب شرط سبنس-ميرليس، يجب أن تكون جداول التسعير والتخصيص المثلى رتيبة، لذا يجب على المصمم إزالة أي فترة يتغير فيها اتجاه الجدول عن طريق تسويته.

بشكل بديهي، يرى المصمم أنه من الأمثل تجميع أنواع معينة معًا ومنحها نفس العقد. عادةً ما يحفز المصمم الأنواع الأعلى على التميز بمنحها صفقة أفضل. إذا كان عدد الأنواع الأعلى على الهامش قليلًا جدًا، فلن يجد المصمم جدوى من منح الأنواع الأدنى تنازلًا (يُسمى ريع معلوماتها ) مقابل فرض عقد خاص بالأنواع الأعلى.

لنفترض وجود مُحتكر رئيسي يبيع لوكلاء ذوي منفعة شبه خطية، كما في المثال أعلاه. لنفترض جدول التخصيصx(θ){\displaystyle x(\theta )}إن استيفاء شروط الرتبة الأولى له ذروة داخلية واحدة عندθ1{\displaystyle \theta _{1}}وحوض داخلي واحد فيθ2>θ1{\displaystyle \theta _{2}>\theta _{1}}، كما هو موضح على اليمين.

  • باتباع مايرسون (1981) قم بتسويتها عن طريق اختيارx{\displaystyle x}مُرضٍϕ2(x)ϕ1(x)(Vx(x،θ)-1-P(θ)ص(θ)2Vθx(x،θ)-جx(x))دθ=0{\displaystyle \int _{\phi _{2}(x)}^{\phi _{1}(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}أينϕ1(x){\displaystyle \phi _{1}(x)}هي الدالة العكسية لـ x التي تُسقط علىθθ1{\displaystyle \theta \leq \theta _{1}}وϕ2(x){\displaystyle \phi _{2}(x)}هي الدالة العكسية لـ x التي تُسقط علىθθ2{\displaystyle \theta \geq \theta _{2}}. إنه،ϕ1{\displaystyle \phi _{1}}يُرجعθ{\displaystyle \theta }قبل القمة الداخلية وϕ2{\displaystyle \phi _{2}}يُرجعθ{\displaystyle \theta }بعد الحوض الداخلي.
  • إذا كانت المنطقة غير الرتيبة لـx(θ){\displaystyle x(\theta )}يُحدد هذا الجزء حافة مساحة الكتابة، ما عليك سوى ضبطه بالشكل المناسب.ϕ(x){\displaystyle \phi (x)}قم بتطبيق الدالة (أو كليهما) على نوع الحدود. إذا كانت هناك مناطق متعددة، فراجع كتابًا دراسيًا للاطلاع على إجراء تكراري؛ فقد يكون من الضروري دمج أكثر من حوض واحد معًا.

دليل

تعتمد البرهنة على نظرية التحكم الأمثل. وهي تأخذ في الاعتبار مجموعة الفترات[θ_،θ¯]{\displaystyle \left[{\underline {\theta }},{\overline {\theta }}\right]}في المنطقة غير الرتيبة منx(θ){\displaystyle x(\theta )}والتي قد تؤدي إلى تسطيح الجدول الزمني. ثم يقوم بكتابة دالة هاميلتونية للحصول على الشروط اللازمة لـx(θ){\displaystyle x(\theta )}خلال الفترات

  1. وهذا يحقق شرط الرتابة
  2. والتي لا يكون قيد الرتابة ملزمًا لها على حدود الفترة

يضمن الشرط الثاني أنx(θ){\displaystyle x(\theta )}يؤدي حل مشكلة التحكم الأمثل إلى إعادة الاتصال بالجدول الزمني في المشكلة الأصلية عند حدود الفترة (بدون قفزات). أيx(θ){\displaystyle x(\theta )}يجب أن يكون استيفاء الشروط اللازمة مسطحًا لأنه يجب أن يكون رتيبًا ومع ذلك يعيد الاتصال عند الحدود.

كما في السابق، يتم تعظيم العائد المتوقع للموكل، ولكن هذه المرة مع مراعاة قيد الرتابة.

xθ0{\displaystyle {\frac {\partial x}{\partial \theta }}\geq 0}

واستخدم دالة هاميلتونية للقيام بذلك، مع سعر الظل.ν(θ){\displaystyle \nu (\theta )}

ح=(V(x،θ)-u_(θ0)-1-P(θ)ص(θ)Vθ(x،θ)-ج(x))ص(θ)+ν(θ)xθ{\displaystyle 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 }}}

أينx{\displaystyle x}متغير حالة وx/θ{\displaystyle \partial x/\partial \theta }التحكم. وكما هو معتاد في التحكم الأمثل، يجب أن تحقق معادلة تطور الحالة المرافقة الشروط التالية

νθ=-حx=-(Vx(x،θ)-1-P(θ)ص(θ)2Vθx(x،θ)-جx(x))ص(θ){\displaystyle {\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 )}

بالاستفادة من الشرط 2، لاحظ أن قيد الرتابة غير ملزم عند حدودθ{\displaystyle \theta }فاصلة،

ν(θ_)=ν(θ¯)=0{\displaystyle \nu ({\underline {\theta }})=\nu ({\overline {\theta }})=0}

وهذا يعني أن شرط المتغير المرافق يمكن تكامله ويساوي أيضًا صفرًا.

θ_θ¯(Vx(x،θ)-1-P(θ)ص(θ)2Vθx(x،θ)-جx(x))ص(θ)دθ=0{\displaystyle \int _{\underline {\theta }}^{\overline {\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}

يجب أن يكون متوسط ​​تشويه فائض رأس المال صفرًا. لتسطيح الجدول الزمني، ابحث عنx{\displaystyle x}بحيث تُسقط صورتها العكسية علىθ{\displaystyle \theta }الفترة التي تحقق الشرط المذكور أعلاه.

انظر أيضاً

ملحوظات

  1. "مجلة تصميم الآليات والمؤسسات" . www.mechanism-design.org . تاريخ الاسترجاع: 1 يوليو 2024 .
  2. 1 2 بينا، باولو؛ فينتري، كارمين (يوليو 2014). "آليات مثلى مقاومة للتواطؤ مع التحقق" . الألعاب والسلوك الاقتصادي . 86 : 491-509 . doi : 10.1016/j.geb.2012.09.002 . ISSN 0899-8256 . 
  3. ل. هورويتش وس. رايتر (2006)، تصميم الآليات الاقتصادية ، ص 30
  4. «جائزة بنك السويد المركزي في العلوم الاقتصادية تخليداً لذكرى ألفريد نوبل 2007» (بيان صحفي). مؤسسة نوبل . 15 أكتوبر 2007. تاريخ الاطلاع: 15 أغسطس 2008 .
  5. ^ فازيراني، فيجاي ف . نيسان, نعوم ; روغاردن, تيم ; تاردوس، إيفا (2007). نظرية اللعبة الخوارزمية (PDF) . كامبريدج، المملكة المتحدة: مطبعة جامعة كامبريدج. رقم ISBN 0-521-87282-0.
  6. في ظروف استثنائية، قد تحتوي بعض ألعاب كشف الحقيقة على عدد أكبر من نقاط التوازن مقارنةً بلعبة بايز التي استُخدمت كمرجع لها. انظر الفصل 7.2 من كتاب فودنبرغ-تيرول للاطلاع على بعض المراجع.
  7. فيليبس، ماثيو؛ ماردن، جيسون ر. (يوليو 2018). "مفاضلات التصميم في ألعاب تقاسم التكاليف المقعرة". معاملات IEEE في التحكم الآلي . 63 (7): 2242-2247 . Bibcode : 2018ITAC...63.2242P . doi : 10.1109/tac.2017.2765299 . ISSN 0018-9286 . S2CID 45923961 .  

مراجع

للمزيد من القراءة