[論文レビュー] A Game-Tree approach to discrete infinity Laplacian with running costs

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

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の下位解および上位解を分析し、初期データに依存しない一様有界性を導出すること。
• 正の $\alpha$-重み付けがDPPに存在しない場合でも、反復スキームが一様に唯一の解に収束することを示すこと。

提案手法

• 各ノードが状態を表し、移動が上界・下界構造における選択に対応するゲームツリー形式を導入し、時間離散化における価値関数の進化をモデル化する。
• 反復による離散的フローを定義：$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$ のパスにおけるネストされた下界・上界として表現し、ゲーム理論的ダイナミクスを捉える。
• 有効性制約をツリーに課し、有界性と収束を保証するパスのみを考慮することで、一様有界性を持つ切り詰められたゲームツリーを導出する。
• パス重み $\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$ を満たすとき、定数 $C = C(\mu, \Lambda)$ が存在し、$\sup_X \underline{u} \leq C$ を満たす。同様に、すべての上位解 $\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)$（$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)$ に対しても適用可能である。