[论文解读] Stability of Skorokhod problem is undecidable

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

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

一句话总结

本文证明，当初始状态作为输入的一部分时，判断斯科罗霍德问题（Skorokhod problem）的稳定性——即流体模型的轨迹是否被吸引至原点——是一个不可判定问题。作者通过将该问题约化为图灵机的停机问题，证明了在一般维度下，不存在任何通用算法可以判定稳定性，从而揭示了排队论与随机过程中的根本性理论限制。

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 步停机，从而确认了约化的正确性。
• 作者推测，全局稳定性（所有流体路径被吸引至原点）同样是不可判定的，将结果从路径特定稳定性扩展至全局稳定性。