[논문 리뷰] Large Supports are required for Well-Supported Nash Equilibria

Yogesh Anbalagan, Hao Huang외 4명|arXiv (Cornell University)|2015. 04. 14.

Game Theory and Applications참고 문헌 10인용 수 7

한 줄 요약

이 논문은 임의의 상수 $k$와 임의의 $\epsilon < 1$에 대해, 모든 $\epsilon$-well-supported Nash equilibrium (WSNE)가 $k$를 초월하는 지지집합의 크기를 요구하는 승패 게임이 존재함을 증명한다. WSNE의 그래프 이론적 특성과 덧셈수학 이론에서의 Haight의 결과를 적용하여, 이전의 추측을 위배하는 게임을 구성함으로써, 일반적으로 $\epsilon < 1$일 때 작은 지지집합은 $\epsilon$-WSNE에 부적합함을 입증한다.

ABSTRACT

We prove that for any constant $k$ and any $ε&lt;1$, there exist bimatrix win-lose games for which every $ε$-WSNE requires supports of cardinality greater than $k$. To do this, we provide a graph-theoretic characterization of win-lose games that possess $ε$-WSNE with constant cardinality supports. We then apply a result in additive number theory of Haight to construct win-lose games that do not satisfy the requirements of the characterization. These constructions disprove graph theoretic conjectures of Daskalakis, Mehta and Papadimitriou, and Myers.

연구 동기 및 목표

• 모든 이중행렬 게임이 지지집합 크기가 최대 $k$인 $\epsilon$-WSNE를 갖는 상수 $k$와 $\epsilon < 1$가 존재하는지 여부를 해결하는 것.
• Daskalakis 등과 Myers가 제기한 그래프 이론적 추측을 반박하는 것—즉, 모든 방향 그래프는 크기가 최대 $k$인 작은 사이클 또는 작은 지배되지 않은 집합을 포함한다.
• 작은 지지집합이 $\epsilon < 1$일 때 $\epsilon$-WSNE에 부적합함을 보여줌으로써, $\epsilon$-WSNE와 $\epsilon$-NE 사이의 근본적인 구조적 차이를 규명하는 것.
• 특히, 덧셈수학 이론에서의 Haight의 정리—즉, $0 \notin (s)Y$를 만족하는 유한집합 $Y \subset \mathbb{Z}_q$가 $s < \kappa$일 때 존재함을 보장함—을 응용하여, 작은 사이클이나 작은 지배되지 않은 집합이 없는 방향 그래프를 구성하는 것.
• 이러한 그래프가 승패 게임으로 변환될 수 있으며, 임의의 고정된 $k$에 대해 $\epsilon < 1$이면서 지지집합 크기가 $\leq k$인 $\epsilon$-WSNE를 갖지 않는 승패 게임을 구성하는 것.

제안 방법

• 지지집합 크기가 일정한 $\epsilon$-WSNE를 허용하는 승패 게임의 그래프 이론적 특성화를 개발하여, 이러한 균형의 존재가 게임에서 유도된 방향 그래프에서 작은 사이클 또는 작은 지배되지 않은 정점 집합의 존재와 연결됨을 밝힘.
• Haight의 덧셈수학 이론 결과를 활용하여, $s < \kappa$일 때 $0 \notin (s)Y$를 만족하는 유한집합 $Y \subset \mathbb{Z}_q$가 존재함을 보장함으로써, 길이가 $\kappa$ 이하인 방향 사이클이 없고, 지배되지 않는 정점 쌍이 없는 방향 그래프 $D$를 구성함.
• 모듈로 산술과 합집합 성질을 활용하여, 길이가 $\kappa$ 이하인 사이클이 없고, 모든 정점 쌍이 지배되는 $(\kappa, 2)$-다이그래프를 구성함.
• 기본 다이그래프의 $l$-승을 통해 $(k,l)$-다이그래프를 확장함으로써, 길이 $\leq k$인 사이클이 없고, 모든 $\ell$-집합이 지배됨을 보장함.
• 비이분할성 $(2k+1,k)$-다이그래프에 대해 이분할 변환을 적용하여, 행과 열 정점이 전략을 나타내는 이분방향 그래프로 변환함으로써, 사이클 및 지배 성질을 유지함.
• 정리 3.5의 특성화를 활용하여, 결과로 얻어진 이분다이그래프가 $\epsilon < 1$이면서 지지집합 크기가 $\leq k$인 $\epsilon$-WSNE를 갖지 않는 승패 게임과 대응됨을 증명함.

실험 결과

연구 질문

• RQ1 모든 이중행렬 게임이 지지집합 크기가 최대 $k$인 $\epsilon$-WSNE를 갖는 상수 $k$와 $\epsilon < 1$가 존재하는가?
• RQ2 모든 방향 그래프는 크기가 최대 $k$인 방향 사이클 또는 크기가 최대 $k$인 지배되지 않은 집합을 포함하는가?
• RQ3 덧셈수학 이론을 활용하여, 작은 사이클과 작은 지배되지 않은 집합을 피하는 방향 그래프를 구성할 수 있는가?
• RQ4 이러한 그래프를 작은 지지집합을 갖는 $\epsilon$-WSNE를 갖지 않는 승패 게임으로 변환할 수 있는가?
• RQ5 $\epsilon$-WSNE와 $\epsilon$-NE 사이의 지지집합 크기 요구 조건에서의 구조적 차이는 무엇인가?

주요 결과

• 임의의 상수 $k$와 임의의 $\epsilon < 1$에 대해, 모든 $\epsilon$-WSNE가 $k$를 초월하는 지지집합의 크기를 요구하는 승패 이중행렬 게임이 존재한다.
• Haight의 $\mathbb{Z}_q$ 내 합집합이 없는 집합에 대한 결과를 활용하여, 길이가 $\kappa$ 이하인 방향 사이클이 없고, 지배되지 않는 정점 쌍이 없는 $(\kappa, 2)$-다이그래프를 구성함.
• 기본 $(k-1)(l-1)+1, 2)$-다이그래프의 $(l-1)$-승으로 구성된 $(k,l)$-다이그래프는 길이 $\leq k$인 사이클이 없고, 모든 $\ell$-집합이 지배됨을 보장함.
• 비이분할성 $(2k+1,k)$-다이그래프의 이분할 변환을 통해, 길이 $\leq 2k$인 사이클이 없고, 한 쪽에 있는 모든 $k$-집합이 지배되는 이분다이그래프를 생성함.
• 이 구성은 $\epsilon < 1$이면서 지지집합 크기가 $\leq k$인 $\epsilon$-WSNE를 갖지 않는 승패 게임을 이끌어내며, Daskalakis 등과 Myers의 추측을 반박함.
• 결과적으로 $\epsilon$-WSNE와 $\epsilon$-NE 사이의 근본적인 구조적 차이를 규명함—즉, $\frac{1}{2}$-NE는 지지집합 크기가 최대 2인 데도 발견 가능하지만, $\epsilon < 1$일 경우 $\epsilon$-WSNE에 대해 이와 같은 상한이 존재하지 않음.