Pertimbangkan permainan dengan pemain, dengan ruang strategi S ⊂ R , di mana S adalah set dibatasi, dan pemain saya fungsi hasil π i : S n → R . Kondisi Rosen ( JB Rosen. Keberadaan dan keunikan poin keseimbangan untuk gim cekung n-orang. Econometrica, 33 (3): 520–534, 1965 ) untuk keunikan Nash Equilibrium dalam permainan pemain menyatakan bahwa equlibrium akan menjadi unik ketika
- fungsi hasil cekung dalam strategi sendiri
- Ada vektor ( sedemikian rupa sehingga berfungsi secara cekung diagonalσ ( s , z ) = ∑ n i = 1 z i π i ( s )
menunjukkan set pemain.
Untuk mendefinisikan konsep concavity ketat diagonal, tinju memperkenalkan 'pseudogradient' fungsi , didefinisikan dengan: Kemudian, function dikatakan dominan secara diagonal di untuk fixed jika untuk setiap yang berlaku sebagai berikut: g ( s , z ) = ( z 1 ∂ π 1 ( s )σ
Ditunjukkan, dalam makalah yang saya kutip di awal, bahwa kondisi yang cukup untuk menjadi cekung striclty diagonal adalah matriks adalah defite negatif untuk , di mana adalah Jacobian dari pseudogradient sehubungan dengan . Saya menggunakan 'untuk menunjukkan transpose dari sebuah matriks. Apa intuisi di balik kondisi cekung ketat diagonal?[ G ( x , z ) + G ( x , z ) ′ ] s ∈ S G ( x , z ) g s