[논문 리뷰] Complex behaviour in cyclic competition bimatrix games

Cezary Olszowiec|arXiv (Cornell University)|2016. 05. 02.

Game Theory and Applications참고 문헌 22인용 수 3

한 줄 요약

이 논문은 엄밀한 동역학계 분석을 통해 완전한 기억을 가진 순환적 경쟁 이행게임(Rock-Scissors-Paper)을 재검토하며, 이전 문헌에서 잘못된 주장으로 제기된 혼돈적 전환과 안정성에 대해 수정한다. 일반 조건 하에서 이질형 네트워크 근처에서 무한 전환은 불가능하다는 것을 입증하고, 서로 다른 역학적 행동을 보이는 네 가지의 별개 파라미터 영역을 규명하며, 사이클의 안정성은 단지 $\epsilon_X + \epsilon_Y$의 부호에 의존하는 것이 아니라 파라미터 값에 따라 결정되며, 초동형 궤도를 통한 방식으로 혼돈적 행동이 발생할 수 있음을 보여준다.

ABSTRACT

We consider an example of cyclic competition bimatrix game which is a Rock-Scissors-Paper game with assumption about perfect memory of the playing agents. At first we investigate the dynamics in the neighbourhood of the Nash equilibrium as well as the dynamics on the boundary of codimension 1 - that is when one of the strategies is not played by any agent. For the analysis of the asymptotic behaviour close to the boundary of state space, we provide the description of a naturally appearing heteroclinic network. Due to the symmetry, the heteroclinic network induces a quotient network. This quotient network is investigated as well. In the literature this model was already studied, but unfortunately the results stated there are invalid, as we will show in this paper. It turns out that certain types of behaviour are never possible or appear in the system only for some parameter values, contradicting what was stated before in the literature. Moreover, the parameter space (-1,1)x(-1,1) is divided into four regions where we observe either irregular behaviour, or preference to follow an itinerary consisting of strategies for which one or the other agent does not lose, or they alternate in winning. These regions in parameter space are separated by two analytical curves and lines where the game is either symmetric (system is not $C^1$ linearisable at stationary saddle points) or is zero-sum and the system is Hamiltonian. On each of these curves we observe different bifurcation scenarios: e.g. transition from order to chaos, or from one kind of stability to another kind, or just loss of one dimension of the local stable manifold of the subcycle.

연구 동기 및 목표

• 순환적 경쟁 이행게임 분석에서의 중대한 오류를 수정함. 특히 혼돈적 전환과 사이클의 안정성에 관해.
• 완전한 기억을 가진 가위-바위-보 게임에 대해 엄밀한 동역학계 분석을 수행하며, 이질형 네트워크와 전이 지도에 집중함.
• 기존 문헌의 수치적 결과와 이질형 네트워크 근처의 해석적 행동 간의 모순을 해결함.
• 특히 유한한 이터내리의 달성 가능성과 안정성에 영향을 미치는 파라미터 $\epsilon_X$와 $\epsilon_Y$에 대한 의존성 명확화.
• 특히 사이클의 안정성과 불안정성의 전이를 유도하는 메커니즘을 규명하며, 사이클의 안정 및 불안정 다발의 교차에 의한 혼돈적 행동의 발생 조건을 규명함.

제안 방법

• 게임의 대칭성에 기반한 전체 이질형 네트워크를 구성하고, 평형점 간의 모든 전이 지도 포함.
• 국소 좌표계에서 전이 지도의 선형 부분을 계산하여, 이전 연구에서 가정한 바와 같이 항등사상이 아니라는 것을 증명함.
• 척도 조정 및 국소 지도와 전이 지도의 복합을 통해 이전에 잘못된 표현과 유사한 근사식 유도.
• 대칭성 또는 제로섬 조건을 만족하는 곡선을 따라 분기 분석을 수행하여 안정성 유형 간 전이 및 다발 차원의 손실를 규명함.
• Sato 등이 수행한 시뮬레이션과 비교하기 위해 수치적 연구를 수행하며, 이질형 연결과 초동형 궤도 존재 여부 탐색.
• 특히 $\beta$-곡선 근처에서 열린 파라미터 영역에서 혼돈에 대한 컴퓨터 보조 증명 프레임워크 제안.

실험 결과

연구 질문

• RQ1 왜 Aguiar & Castro(2010)의 이질형 네트워크 근처에서의 무한 전환 주장이 잘못되었는가? 어떤 조건이 이를 방지하는가?
• RQ2 이질형 네트워크 내 평형점 간 전이 지도는 이전 연구에서 가정한 항등사상과 어떻게 다를까?
• RQ3 $\epsilon_X$와 $\epsilon_Y$에 대한 함수로서 사이클 $C_0$, $C_1$, $C_2$의 진정한 안정성 행동는 어떠한가?
• RQ4 이질형 궤도를 따라 유한한 이터내리가 네트워크 근처에서 달성 가능한 파라미터 조건은 무엇인가?
• RQ5 혼돈적 역학이 발생할 수 있는 메커니즘은 무엇이며, 시스템 내에서 초동형 궤도의 존재 증거는 있는가?

주요 결과

• 충분히 작은 $h$에 대해 $tie \to win/loss \to loss/win \to tie$ 형태의 유한한 이터내리는 달성 불가능하며, 이는 Aguiar & Castro의 무한 전환 주장과 모순됨.
• $\epsilon_X + \epsilon_Y < 0$일 경우 사이클 $C_0$는 본질적으로 점점 수렴하는 안정성을 보이며, 이는 Aguiar & Castro의 상대적 점점 수렴 안정성 주장의 수정됨.
• 파라미터 공간 내 일부 열린 영역에서는 사이클 $C_1$과 $C_2$가 거의 완전히 불안정하거나 본질적으로 점점 수렴하는 안정성이 아니며, 초기 조건의 열린 집합을 끌어당김.
• 파라미터 공간 $(-1,1)^2$는 서로 다른 역학적 행동을 보이는 네 개의 영역으로 나뉘며, 비정상적 운동, 비패배 이터내리 선호, 승리의 번갈아가르기 등이 포함됨.
• 사이클 $C_0$와 $C_2$의 안정 및 불안정 다발의 수직 교차에 의해 혼돈이 발생할 수 있으며, 이는 파라미터 공간 내 3차원 집합을 형성할 수 있음.
• 수치적 증거는 흰색과 노란색 영역 사이의 분기 곡선 근처에서 $C_2$와 $C_0$로의 전방 및 후방 이질형 연결 존재를 시사하며, 잠재적 혼돈적 전환을 뒷받침함.