[논문 리뷰] A Game-Tree approach to discrete infinity Laplacian with running costs

Qing Liu, Armin Schikorra|arXiv (Cornell University)|2013. 05. 31.

Mathematical Biology Tumor Growth참고 문헌 4인용 수 3

한 줄 요약

이 논문은 게임 트리와 반복 수렴을 통해 달리비용이 있는 이산 무한대 라플라시안을 결정론적이고 게임 이론적인 방법으로 해결하는 방법을 제시한다. 일반적인 거리공간에서 휘어진 당장 게임의 동적 프로그래밍 원리(DPP)에 대한 해의 존재성, 유일성 및 균일 유계성을 입증하였으며, 경계 미세조정이나 하향 연속성 가정 없이 수행된다.

ABSTRACT

We give a self-contained and elementary proof for boundedness, existence, and uniqueness of solutions to dynamic programming principles (DPP) for biased tug-of-war games with running costs. The domain we work in is very general, and as a special case contains metric spaces. Technically, we introduce game-trees and show that a discretized flow converges uniformly, from which we obtain not only the existence, but also the uniqueness. Our arguments are entirely deterministic, and also do not rely on (semi-)continuity in any way; in particular, we do not need to mollify the DPP at the boundary for well-posedness.

연구 동기 및 목표

• 일반적인 거리공간에서 달리비용이 있는 휘어진 당장 게임의 동적 프로그래밍 원리(DPP)에 대한 해의 존재성과 유일성을 확립하는 것.
• 경계 미세조정이나 하향 연속성에 의존하지 않는 결정론적 비확률적 수렴 증명을 제공하는 것.
• 표준 유클리드 영역을 초월하여 임의의 거리공간과 비균일 구조를 가진 구역을 포함하는 프레임워크를 일반화하는 것.
• DPP의 하부해와 상부해를 분석하고, 초기 자료에 종속되지 않는 균일 유계성을 도출하는 것.
• DPP에서 $\alpha > 0$ 가중치가 없더라도 반복적 방법이 균일 수렴하여 유일한 해로 수렴함을 보여주는 것.

제안 방법

• 각 노드가 상태를 나타내고, 이동이 상한-하한 구조의 선택을 의미하는 게임 트리 형식을 도입하여 시간 이산 단계에서 가치 함수의 진화를 모델링한다.
• 반복을 통한 이산 흐름 정의: $x \in Y$ 에 대해 $u_{k+1}(x) = \mu \sup_{B_\varepsilon(x)} u_k + (1-\mu)\inf_{B_\varepsilon(x)} u_k + f(x)$, $X \setminus Y$ 에서는 고정된 경계값을 갖는다.
• 반복의 트리 기반 재귀 표현을 통해 $u_k(x)$ 를 길이 $k$ 의 경로에 대한 중첩된 하한-상한으로 표현하여 게임 이론적 역학을 포착한다.
• 유bound성과 수렴성을 유지하는 경로만 고려하기 위해 트리에 대해 타당성 제약 조건을 도입하여 균일 유계성을 보장하는 단절된 게임 트리를 유도한다.
• 경로 가중치 $\mu^{l(t)}(1-\mu)^{r(t)}$ 의 기하급수적 감쇠를 이용하여, $u_k$ 와 단절된 게임 트리에서 유도된 기준 수열 $v_L$ 간의 비교를 통한 균일 수렴 추론을 적용한다.
• 코시 유형의 추론을 통해 수렴성을 확립한다: 충분히 큰 $L$ 에 대해 $u_{k+L}$ 과 $v_L$ 의 차이는 균일하게 작아지며, 이는 $u_k$ 의 균일 수렴을 의미한다.

실험 결과

연구 질문

• RQ1 일반적인 거리공간에서 달리비용이 있는 휘어진 당장 게임의 동적 프로그래밍 원리(DPP)는 고유한 해를 갖는가?
• RQ2 경계 미세조정이나 하향 연속성 조건 없이도 결정론적 반복적 방법으로 해를 구할 수 있는가?
• RQ3 반복 수렴 $u_k$ 와 그 극한의 균일 유계성을 보장하는 조건은 무엇인가?
• RQ4 게임 트리 구조는 해의 수렴성과 유일성 증명에 어떻게 기여하는가?
• RQ5 모든 초기 자료와 영역에 대해 수렴이 균일하게 정량화될 수 있는가?

주요 결과

• $\mu \in (0,1)$ 과 $\Lambda > 0$ 에 대해, 모든 하부해 $\underline{u}$ 에 대해 $\sup_X \underline{u} < \infty$ 이면 $\sup_X \underline{u} \leq C$ 를 만족하는 상수 $C = C(\mu, \Lambda)$ 가 존재하며, 모든 상부해 $\bar{u}$ 에 대해 $\inf_X \bar{u} > -\infty$ 이면 $\inf_X \bar{u} \geq -C$ 를 만족한다.
• 반복적 방법 $u_{k+1}(x) = \mu \sup_{B_\varepsilon(x)} u_k + (1-\mu)\inf_{B_\varepsilon(x)} u_k + f(x)$ for $x \in Y$ 는 임의의 유계 초기값 $u_0$ 에 대해 $X$ 에서 유일한 해 $u$ 로 균일 수렴한다.
• DPP의 해 $u$ 는 반복 수렴 $u_k$ 의 균일 극한이며, 이 수렴은 $f \equiv 0$ 이거나 $f > 0$ 인 경우에도 성립한다. 이는 이전 연구에서 요구하던 $\alpha > 0$ 조건이 필요하지 않음을 의미한다.
• 수렴은 정량화 가능하다: 임의의 $\delta > 0$ 에 대해 $L_0, K_0 > 0$ 가 존재하여 $L \geq L_0$, $K \geq K_0$ 일 때 $\sup_X |u_{k+L}(x) - v_L(x)| \leq \delta/2$ 이고 $\sup_X |v_{K+i}(x) - v_K(x)| \leq \delta/2$ 를 만족하며, 이는 $\sup_X |u_{k+L+K}(x) - v_{L+K+i}(x)| \leq \delta$ 를 유도한다.
• 경계에서 정규화나 미세조정을 피하고, 증명은 오직 결정론적 게임 트리 분석과 경로 가중치의 기하급수적 감쇠에 의존한다.
• 이 프레임워크는 일반적인 거리공간과 정의 1.5에서 형식화된 열린 또는 닫힌 공을 초월한 더 일반적인 집합 $B(x)$ 에도 적용 가능하다.