[논문 리뷰] Nonzero-sum games of optimal stopping and generalised Nash equilibrium

Randall Martyr, John Moriarty|arXiv (Cornell University)|2017. 09. 06.

Economic theories and models참고 문헌 21인용 수 3

한 줄 요약

이 논문은 비영점합 최적 정지 게임(Dynkin 게임)과 일반화된 내쉬 균형 문제(GNEP) 사이의 새로운 연결 고리를 확립하며, 보상 함수의 미분 가능성 조건이 필요 없이도 임계값 유형 및 구조적으로 복잡한 균형의 새로운 클래스를 밝혀낸다. 또한, 보상 함수의 미분 가능성 조건을 완화함으로써 이전 결과를 확장하고, 확률적 제어 및 게임 이론 분야에 더 넓은 응용 가능성을 제공하는 마코프 균형의 유일성과 안정성을 증명한다.

ABSTRACT

In the nonzero-sum setting, we establish a connection between Nash equilibria in games of optimal stopping (Dynkin games) and generalised Nash equilibrium problems (GNEP). In the Dynkin game this reveals novel equilibria of threshold type and of more complex types, and leads to novel uniqueness and stability results.

연구 동기 및 목표

• 비영점합 최적 정지 게임과 일반화된 내쉬 균형 문제(GNEP) 사이의 이론적 연결 고리를 확립하기 위해.
• 임계값 유형 및 구조적으로 복잡한 균형을 포함한 Dynkin 게임 내 새로운 균형 클래스를 식별하고 특성화하기 위해.
• 보상 함수의 미분 가능성 조건을 완화한 상황에서도 마코프 균형의 유일성과 안정성을 증명하기 위해.
• 기존의 전략 공간이 분리된 경우(a < b)에 국한된 임계값 유형 균형에 대한 결과를 일반화하기 위해, 중첩된 전략 공간(예: a ≥ b)을 允허함으로써 이전의 가정을 초월하기 위해.

제안 방법

• n ≥ 2명의 플레이어를 가진 결정론적 추상 경제 프레임워크를 사용하여, 이중 비영점합 Dynkin 게임과 GNEP 사이의 연결 고리를 수학적으로 정의한다.
• 브라운 운동의 부분과정과 조화 함수를 포함한 확률적 분석 도구를 활용하여, 기반 마코프 과정을 모델링한다.
• 오목 주위 이론과 딘킨의 공식을 사용하여 균형 구성에서 정지 시간의 최적성을 검증한다.
• 임계값 및 복잡한 구조 유형의 경우에 대해 유틸리티 함수와 그 편미분의 명시적 표현을 유도하여 균형 조건을 분석한다.
• 검증 정리(제안사항 D.1 및 D.2)를 활용하여 후보 정지 시간이 최적 정지 조건을 만족함을 확인한다.
• 단조성 가정을 사용하지 않은 독립적인 반복 근사 방법 기반 안정성 분석을 도입한다.

실험 결과

연구 질문

• RQ1 일반화된 내쉬 균형 문제(GNEP)는 비영점합 최적 정지 게임에서 새로운 유형의 균형을 특성화하고 구성하는 데 어떻게 활용될 수 있는가?
• RQ2 보상 함수가 미분 가능하지 않은 경우, 마코프 균형의 유일성이 보장되는 조건은 무엇인가?
• RQ3 전략 집합이 분리된 경우(a < b)에 국한되지 않고, 중첩되거나 순서가 없는 경우에도 임계값 유형 균형을 어떻게 특성화할 수 있는가?
• RQ4 GNEP에 두 명 이상의 플레이어(n > 2)가 포함될 경우, 균형의 구조적 형태는 어떻게 되며, 이는 임계값 유형 해와 어떻게 다를 수 있는가?
• RQ5 균형의 안정성은 반복 근사 방법과 어떻게 관련되어 있으며, 이는 단조성 가정에 의존하지 않고도 확립될 수 있는가?

주요 결과

• 전략 집합이 중첩된 경우(a ≥ b)조차도 새로운 임계값 유형 균형이 존재함을 규명하였으며, 이는 이전 연구에서 a < b 조건이 필요로 했던 것을 초월한다.
• 약한 정규성 조건 하에서 모든 마코프 전략에 대해 마코프 균형의 유일성을 증명하였다.
• 보상 함수 f_i, g_i, h_i의 미분 가능성 조건이 필요 없으며, 이는 이전 결과를 초월한 적용 가능성을 넓힌다.
• n > 2인 경우, GNEP 프레임워크는 임계값 유형 해를 초월한 더 복잡한 구조를 가진 균형을 도출하며, 저자들의 지식에 비추어 보면 이러한 해는 이전에 연구된 바가 없다.
• 반복 근사 방법 기반 안정성 결과는 단조성 조건을 요구하지 않아 이전의 수렴 결과를 일반화한다.
• 검증 정리(D.1 및 D.2)는 후보 정지 시간이 관련 보상 차이 함수의 가장 작은 음이 아닌 오목 주위와 대응하므로, 최적성 조건을 만족함을 확인한다.