[논문 리뷰] Entropy Games and Matrix Multiplication Games

Eugène Asarin, Julien Cervelle외 4명|arXiv (Cornell University)|2015. 06. 16.

Stochastic processes and financial applications참고 문헌 19인용 수 12

한 줄 요약

이 논문은 엔트로피 게임(EGs)과 행렬 곱셈 게임(MMGs)이라는 두 가지 새로운 이중-반-플레이어 게임 클래스를 소개한다. 이 게임들은 디스피드, 트리뷰논, 비결정적 행동을 포함한다. 논문은 EGs와 비음수 행렬의 독립적 행 불확실성(IRU) 집합을 가진 MMG의 하위집합이 결정되어 있으며, 최적 전략이 위치 전략 또는 일정 전략임을 증명하고, 이들의 해결이 NP ∩ coNP에 속함을 보여준다.

ABSTRACT

Two intimately related new classes of games are introduced and studied: entropy games (EGs) and matrix multiplication games (MMGs). An EG is played on a finite arena by two-and-a-half players: Despot, Tribune and the non-deterministic People. Despot wants to make the set of possible People's behaviors as small as possible, while Tribune wants to make it as large as possible.An MMG is played by two players that alternately write matrices from some predefined finite sets. One wants to maximize the growth rate of the product, and the other to minimize it. We show that in general MMGs are undecidable in quite a strong sense.On the positive side, EGs correspond to a subclass of MMGs, and we prove that such MMGs and EGs are determined, and that the optimal strategies are simple. The complexity of solving such games is in NP\&coNP.

연구 동기 및 목표

• 엔트로피 게임(EGs)을 형식화하고 연구함으로써, 디스피드가 가능한 행동의 엔트로피를 최소화하고 트리뷰논이 이를 최대화하는 이중-반-플레이어 게임의 새로운 클래스를 정의한다.
• 매개변수 집합에서 행렬을 번갈아가며 곱하여 곱의 성장률을 제어하는 공동 스펙트럴 반경 문제의 일반화로 행렬 곱셈 게임(MMGs)을 도입한다.
• MMGs의 결정 가능성과 복잡도를 연구하며, 특히 엔트로피 게임과의 관계를 고려한다.
• 독립적 행 불확실성(IRU) 집합에서의 행렬 곱의 스펙트럴 반경에 대한 새로운 최소최대 정리를 확립하여, 핵심 하위집합인 MMGs의 해법을 가능하게 한다.
• EGs와 IRU-MMGs가 결정되어 있으며, 최적 전략이 위치 전략 또는 일정 전략임을 증명하고, 이들의 해결 복잡도를 NP ∩ coNP 수준로 제한한다.

제안 방법

• 엔트로피 게임(EGs)을 정의한다. 유한한 영역에서 두 명의 플레이어(디스피드(최소화자), 트리뷰논(최대화자))와 비결정적 행동을 가진 사람들로 구성되며, 전략에 의해 행동 집합이 제약을 받는다.
• 무한한 턴을 가진 게임으로서, 애덤과 이브가 번갈아가며 고정된 집합에서 행렬을 선택하여 행렬 곱의 점근적 성장률을 최소화하거나 최대화하는 방식으로 MMGs를 모델링한다.
• EGs를 IRU-MMGs로 줄인다. 여기서 IRU-MMGs는 행렬이 독립적 행 불확실성을 가지며, 비음수 행렬로 구성된다.
• 비음수 행렬의 IRU-집합에서 행렬 A와 B의 곱 AB의 스펙트럴 반경에 대해 새로운 최소최대 정리를 증명하며, 모든 턴에서 동일한 고정된 행렬을 사용하는 것이 최적 전략임을 입증한다.
• 최소최대 정리를 활용하여 IRU-MMGs와 EGs가 결정되어 있으며, 최적 전략이 일정 또는 위치 전략임을 보여준다.
• 결정 문제의 복잡도 분석을 수행하여, EG 또는 IRU-MMG의 값이 주어진 유리수 이하인지 여부를 판단하는 것이 NP ∩ coNP에 속함을 입증한다.

실험 결과

연구 질문

• RQ1 엔트로피 게임(EGs)은 결정되어 있으며, 양 플레이어가 최적 전략을 갖는가?
• RQ2 행렬 곱셈 게임(MMGs)은 일반적으로 해결 가능한가, 아니면 결정 불가능한가?
• RQ3 EG 또는 IRU-MMG의 값이 유리수 임계치 이하인지 여부를 판단하는 데 필요한 복잡도는 무엇인가?
• RQ4 독립적 행 불확실성(IRU) 집합에서의 행렬 곱의 스펙트럴 반경에 대해 최소최대 정리가 성립하는가?
• RQ5 EGs는 해결 가능성이 높은 MMG의 하위집합으로 줄일 수 있는가? 그리고 이러한 줄임을 가능하게 하는 구조적 성질은 무엇인가?

주요 결과

• 엔트로피 게임(EGs)은 결정되어 있으며, 디스피드와 트리뷰논 모두 최적의 위치 전략을 갖는다.
• 일반적인 행렬 곱셈 게임(MMGs)은 결정 불가능하며, 특히 값이 0과 1인 게임을 구분하는 것이 불가능하기 때문이다.
• 독립적 행 불확실성과 비음수 요소를 가진 IRU-MMGs 하위집합의 경우, 게임은 결정되어 있으며 최적 전략은 일정 전략이다. 각 플레이어는 모든 턴에서 동일한 행렬을 사용해야 한다.
• 비음수 행렬의 IRU-집합에서 행렬 A와 B의 곱 AB의 스펙트럴 반경에 대해 새로운 최소최대 정리를 증명하였으며, 최적 전략은 단일 고정 행렬을 사용하는 것으로 입증되었다.
• EG 또는 IRU-MMG의 값이 주어진 유리수 상수와 비교되는 문제의 복잡도는 NP ∩ coNP에 속한다.
• EGs는 IRU-MMGs로 줄일 수 있으며, 이 줄임은 게임의 값과 최적 전략을 유지한다. 이는 두 게임 클래스 간의 연결 고리를 제공한다.