Doğrudan mekanizmalar her zaman doğru mudur?

Mekanizma tasarımında çok yeniyim, bu yüzden en temel olanları bile, kavramlar arasında biraz kayboldum.

Bana açık olmayan bir şey doğrudan mekanizma kavramı ve vahiy prensibi ile ilişkisi.

Doğrudan bir mekanizmaya sahip olduğumdan , mesajların yerine, ajanların tercihlerini / türlerini bildirdikleri bir mekanizma var . Bunun doğru bir rapor olduğunu mu varsayıyoruz?

Çünkü o soruyorum vahiy prensibi olarak belirtilmiştir içinde "şey aslında bireysel rasyonel ve teşvik uyumlu doğrudan vahiy mekanizması tarafından gerçekleştirilebilir herhangi bir mekanizma ile gerçekleştirilebileceğini" Bu notlar bir sosyal seçim fonksiyonu uygulanabilir fakat" olarak keyfi bir mekanizma ile (yani, eğer bu mekanizma sosyal seçim işlevinin sonucuna karşılık gelen bir denge sonucuna sahipse), aynı işlev bir teşvik-uyumlu-doğrudan-mekanizma tarafından uygulanabilir (yani, oyuncuların doğru bir şekilde rapor verdikleri) Aynı denge sonucuyla (getirileri). " üzerinde Wikipedia .

Bu yüzden doğruluk doğrudan mekanizma tarafından ima edilip edilmediğini veya ek bir gereklilik olup olmadığını anlamıyorum.

Buradaki teşvikler uyumlu, yalan söylemeye teşvikiniz olmadığı anlamına gelir. Teşvik uyumlu olmayan doğrudan bir mekanizma bazı ajanları yanlış bir tür rapor etmeye teşvik eder.

Doğrudan bir mekanizma, sadece her katılımcının hareket alanının tür boşluğuna eşit olduğu ve bir sonuç işlevinin bu tür raporları bir sonuca haritaladığı bir mekanizmadır. Bu tür raporun gerçek türe eşit olması şartı yoktur. Sorunuzun cevabı bu "Bunun doğru bir rapor olduğunu mu varsayıyoruz?" HAYIR. Bununla birlikte, teşvik uyumlu veya doğru bir doğrudan mekanizmada, oyuncular gerçek türlerini ortaya çıkarmayı tercih eder.

Tüm katılımcıların olduğu bir keyfi (doğrudan veya dolaylı) mekanizmasını atın bazı eylem alanından bir veya daha fazla işlem alabilir ve hep birlikte oyuncuların eylemleri bazı sonucunu belirleyebilir. Bu oyunda yer alan strateji, türünü eylemler . Dolayısıyla, bir profil profili bir denge eylem profiline neden olur bu da daha sonra belirlenen bir sonucu belirler. mekanizmalar sonuç fonksiyonu ile .$i \in I$$t_i$$\sigma_i (t_i)$$t = (t_i)_{i \in I}$$\sigma(t)=(\sigma_i(t_i))_{i \in I}$$o_{indirect} (\sigma(t))$

Katılımcıların karmaşık bir oyun oynamasına izin vermek yerine, tüm katılımcılardan türlerini isteyebilir ve ardından "mekanizmanın kendileri için oyunu oynamasına izin verebilir". Yani, her oyuncu kendi tipini ve mekanizma tip profilini alır ve onu tüm için sonucuna . Dolaylı mekanizmayı kopyaladık. DOĞRU türünü bildirmek için teşvik edici mi? Evet, çünkü orijinal mekanizmada bir dengedir. Bir katılımcının türünü bildirme konusunda bir teşviği , karlı bir sapma da olabilir$t_i$$t$$o_{direct}(t) = o_{indirect} (\sigma(t))$$t$$\sigma$$t'_i \neq t_i$$\sigma_i (t'_i) \neq \sigma_i (t_i)$dolaylı mekanizmada. bir denge olduğu çelişki . Bu dengenin baskın stratejilerde olması gerekmediğine dikkat edin.$\sigma$