[論文レビュー] Stability of Skorokhod problem is undecidable

David Gamarnik, Dmitriy Katz|arXiv (Cornell University)|Jul 10, 2010

Advanced Data Processing Techniques参考文献 20被引用数 3

ひとこと要約

この論文は、初期状態が入力に含まれる場合、流体モデルの軌道が原点に引きつけられるかどうかを特定するスコロホド問題の安定性を決定することは、決定不能であることを証明している。著者らは、この問題をチューリング機械の停止問題に還元することで、一般次元において安定性を一貫して決定できるアルゴリズムは存在しないことを示し、キューイング理論と確率過程における根本的な理論的限界を明らかにしている。

ABSTRACT

Skorokhod problem arises in studying Reflected Brownian Motion (RBM) on an non-negative orthant, specifically in the context of queueing networks in the heavy traffic regime. One of the key problems is identifying conditions for stability of a Skorokhod problem, defined as the property that trajectories are attracted to the origin. The stability conditions are known in dimension up to three, but not for general dimensions. In this paper we explain the fundamental difficulties encountered in trying to establish stability conditions for general dimensions. We prove that stability of Skorokhod problem is an undecidable property when the starting state is a part of the input. Namely, there does not exist an algorithm (a constructive procedure) for identifying stable Skorokhod problem in general dimensions.

研究の動機と目的

• 一般次元におけるスコロホド問題の安定性条件を特定する際の根本的な理論的限界を調査すること。
• 初期状態が入力に含まれる場合、反射ブラウン運動の流体モデルの安定性が決定不能であることを確立すること。
• キューイングネットワークおよび制約付き確率過程における決定不能性の先行結果を、スコロホド問題の枠組みに拡張すること。
• 任意のスコロホド問題が安定かどうかを決定できる構成的アルゴリズムが、原理的にも存在しないことを示すこと。
• 初期状態が入力に含まれない場合でも、すべての経路が原点に引きつけられるというグローバル安定性が、依然として決定不能であると予想すること。

提案手法

• スコロホド問題の安定性決定問題をチューリング機械の停止問題に還元すること。
• チューリング機械の挙動を模倣するように設計された流体モデルの動的挙動を、反射制約を伴う線形微分方程式系によって構築すること。
• 流体経路が原点に到達する条件が、対応するチューリング機械が停止することと同値となるような反射行列と初期状態を設計すること。
• カウンターや補助変数の状態に基づく可変アクティベーションルールを用いて、チューリング機械の遷移をシミュレートすること。
• 有効なチューリング遷移に対応する状態にいる間のみ、アクティブな変数（プッシュプロセス）が単位速度で増加することを形式的に証明すること。
• 状態変数の不変性と境界を確立し、時間区間内でのシステムの挙動がチューリング機械の時間的発展を正しくシミュレートすることを保証すること。

実験結果

リサーチクエスチョン

• RQ1 与えられた初期状態をもつスコロホド問題の安定性を決定できるアルゴリズムは存在するか？
• RQ2 初期状態が入力に含まれる場合、反射ブラウン運動の流体モデルの安定性は決定不能か？
• RQ3 経路固有の安定性ではなく、すべての経路が原点に引きつけられるというグローバル安定性についても、安定性の決定不能性は維持されるか？
• RQ4 スコロホド問題のダイナミクスは、ユニバーサルチューリング機械をシミュレートでき、したがって決定不能問題を符号化できるか？
• RQ5 一般次元のキューイングネットワークを流体近似でモデル化した場合、安定性を特徴づける際の根本的な理論的限界は何か？

主な発見

• 初期状態が入力に含まれる場合、スコロホド問題の安定性は決定不能であり、与えられたインスタンスが安定かどうかを特定するアルゴリズムは存在しない。
• 証明は、対応するチューリング機械が停止する場合に限り、流体モデルの軌道が原点に到達するような流体モデルを構築しており、安定性問題を停止問題に還元している。
• 方程式系と反射制約は、チューリング機械の状態を表す特定の変数のみが、機械の計算ステップを模倣する形でアクティブになるように設計されている。
• 時間区間 (5t+3, 5t+5) 内のダイナミクスは、カウンターの状態を保持し、チューリング遷移をシミュレートすることで、エミュレーションの正しさを保証している。
• 時刻 5T+1 における最終状態がゼロであることは、チューリング機械がステップ T で停止することと同値であり、還元の正しさが確認されている。
• 著者らは、すべての流体経路が原点に引きつけられるというグローバル安定性についても、依然として決定不能であると予想しており、この結果を経路固有の安定性を超えて拡張している。