[논문 리뷰] Equilibrium concepts for time-inconsistent stopping problems in continuous time

Erhan Bayraktar, Jingjie Zhang외 1명|arXiv (Cornell University)|2019. 09. 03.

Auction Theory and Applications참고 문헌 17인용 수 5

한 줄 요약

이 논문은 연속 시간에서 시간에 따라 일관되지 않은 정지 문제에 대해 강한 균형의 새로운 개념을 도입하며, 이는 이전의 개념들보다 더 정확하게 이완을 캡처하는 하위게임 완전 내쉬 균형을 개선한다. 로그 부분가환 할인과 연속 시간 마르코프 체인 하에서 최적의 온건한 균형이 항상 강한 균형임을 증명하고, 존재성을 보장하며 비지수 할인 모델에서의 균형 선택 문제를 해결하기 위해 새로운 반복 방법을 제안한다.

ABSTRACT

A \emph{new} notion of equilibrium, which we call \emph{strong equilibrium}, is introduced for time-inconsistent stopping problems in continuous time. Compared to the existing notions introduced in ArXiv: 1502.03998 and ArXiv: 1709.05181, which in this paper are called \emph{mild equilibrium} and \emph{weak equilibrium} respectively, a strong equilibrium captures the idea of subgame perfect Nash equilibrium more accurately. When the state process is a continuous-time Markov chain and the discount function is log sub-additive, we show that an optimal mild equilibrium is always a strong equilibrium. Moreover, we provide a new iteration method that can directly construct an optimal mild equilibrium and thus also prove its existence.

연구 동기 및 목표

• 기존의 균형 개념인 온건한 균형과 약한 균형이 연속 시간에서 시간에 따라 일관되지 않은 정지 문제에서 하위게임 완전 내쉬 균형을 충분히 캡처하지 못하는 한계를 해결하기 위해.
• 정지에서 계속하기로의 이완을 감지함으로써 시간에 따라 일관된 전략적 일관성을 더 잘 반영하는 강한 균형의 개념을 도입하고 형식화하기 위해.
• 로그 부분가환 할인과 연속 시간 마르코프 과정 하에서 최적의 온건한 균형이 항상 강한 균형임을 증명하기 위해.
• 최적의 온건한 균형을 직접 구성할 수 있는 새로운 반복 방법을 개발하여 연속 시간 설정에서의 존재성을 입증하기 위해.
• 온건한 균형 ⊊ 강한 균형 ⊊ 약한 균형 ⊊ 온건한 균형이라는 엄격한 계층관계를 이원 상태 마르코프 체인 예시를 통해 명확히 하기 위해.

제안 방법

• 강한 균형이라는 새로운 균형 개념을 도입하며, 이는 어떤 시점의 자기 자신도 즉각 정지 영역으로 복귀할 수 있는 상황에서도 균형 전략에서 이완할 유인이 없어야 한다는 조건을 포함한다.
• 강한 균형을 두 가지 조건으로 정의한다: (1) 정지 영역 외부의 상태에서는 즉각 정지하는 것보다 계속하기가 더 높은 기대값을 가져야 하며, (2) 정지 영역 내부의 상태에서는 즉각 계속하기보다 정지가 더 높은 가치를 가져야 한다. 이때 복귀 시간이 0이더라도 성립해야 한다.
• 비지수 할인, 특히 로그 부분가환 할인 함수에 초점을 맞춘 연속 시간 마르코프 체인에 이 개념을 적용한다.
• 초기 정지 집합에서 시작하여 가치 함수와 정지 시간 기대값을 이용해 반복적으로 개선함으로써 최적의 온건한 균형으로 수렴하는 새로운 반복 방법을 개발한다.
• ε의 2차까지의 편미분 분석을 통해 강한 균형 조건을 테스트하며, 특히 복귀 시간이 0인 상태에서 E[δ(ε)Xε] 전개의 1차 및 2차 항의 부호를 분석한다.
• 이완 조건을 테스트하기 위해 이원 상태 연속 시간 마르코프 체인의 생성자 행렬을 사용하여 전이를 모델링하고, o(ε²)까지의 정확도로 전이 확률을 계산한다.

실험 결과

연구 질문

• RQ1 연속 시간에서 시간에 따라 일관되지 않은 정지 문제에 대해 하위게임 완전 내쉬 균형을 더 정확하게 캡처할 수 있는 더 강력한 균형 개념을 정의할 수 있는가?
• RQ2 어떤 조건에서 최적의 온건한 균형이 강한 균형이 되는가?
• RQ3 제안된 반복 방법이 연속 시간에서 최적의 온건한 균형의 존재성을 보장하는가?
• RQ4 온건한, 약한, 강한 균형 간의 엄격한 계층관계는 무엇이며, 명시적인 예시로 이를 입증할 수 있는가?
• RQ5 비지수 할인이 존재할 경우, 최적은 아니지만 약한 균형이 강한 균형이 되지 않는 경우가 발생할 수 있는가?

주요 결과

• 상태 과정이 연속 시간 마르코프 체인이고 할인 함수가 로그 부분가환일 경우, 최적의 온건한 균형은 항상 강한 균형이다.
• 논문은 최적의 온건한 균형을 직접 생성할 수 있는 새로운 반복 방법을 구성하여, 연속 시간에서의 존재성을 입증한다.
• 이원 상태 마르코프 체인 모델에서 균형의 계층관계는 엄격하다: 최적의 온건한 균형 ⊊ 강한 균형 ⊊ 약한 균형 ⊊ 온건한 균형이며, 적절한 매개변수 조합을 통해 각 수준이 다음 수준에 엄격히 포함됨을 보였다.
• 하이퍼볼릭 할인 함수 δ(t) = 1/(1 + βt)의 경우, 할인 함수의 특정 2차 행동 덕분에 모든 약한 균형이 강한 균형이 된다.
• δ(t) = (1 + βt)^(-1/2)의 경우, 매개변수 영역 내에서 {a,b}가 약한 균형이지만 강한 균형이 아니며, 이 집합이 최적의 온건한 균형이 아닌 경우가 존재한다. 이는 약한 균형이 강한 균형이 되지 않거나 최적이 아닐 수 있음을 보여준다.
• {a,b}가 강한 균형이 되지 않는 이유는 E[δ(ε)Xε] 전개의 2차 항이 음수일 때 발생하며, 이는 부등식 λa + λb < (δ''(0) - 2(δ'(0))²)/(-δ'(0))로 특성화될 수 있다. 이는 비지수 할인 하에서 이러한 경우가 가능하다는 것을 보여준다.