Hãy xem xét một trò chơi có người chơi, với không gian chiến lược , trong đó được đặt giới hạn và chức năng thanh toán của người chơi . Tình trạng Rosen ( Sự tồn tại JB Rosen và độc đáo của điểm cân bằng cho các trò chơi lõm n-người Econometrica, 33 (3):.. 520-534, 1965 ) cho tính độc đáo của Nash Equilibrium trong bang chơi n trò chơi mà equlibrium sẽ là duy nhất khiS ⊂ R S i π i : S n → R
- hàm thanh toán là lõm trong chiến lược riêng
- tại vectơ ( sao cho hàm được lõm theo đường chéo ( ∀ i ∈ N ) ( z i ≥ 0 ) ∧ ( ∃ i ∈ N ) ( z i > 0 ) σ ( s , z ) = ∑ n i = 1 z i π i ( s )
biểu thị tập hợp các cầu thủ.
Để xác định khái niệm độ dốc nghiêm ngặt chéo, nắm tay giới thiệu 'pseudogradient' của hàm , được định nghĩa bằng: Sau đó, hàm được cho là chiếm ưu thế theo đường chéo trong cho cố định nếu với mọi giữ sau: g ( s , z ) = ( z 1 ∂ π 1 ( s )σ
Trong bài báo mà tôi đã trích dẫn lúc đầu, một điều kiện đủ để có thể lõm theo đường chéo là ma trận là phủ định phủ định cho \ mathbf {s} \ ở S , trong đó G (\ mathbf {x}, \ mathbf {z}) là Jacobian của pseudogradient g đối với \ mathbf {s} . Tôi sử dụng 'để biểu thị chuyển vị của một ma trận. Trực giác đằng sau điều kiện độ dốc nghiêm ngặt chéo là gì?[ G ( x , z ) + G ( x , z ) ′ ] s ∈ S G ( x , z ) g s