[논문 리뷰] Stability of Skorokhod problem is undecidable

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

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.

연구 동기 및 목표

• 일반 차원에서 스코로코흐드 문제의 안정성 조건을 결정하는 데 있어 근본적인 이론적 한계를 조사하는 것.
• 초기 상태가 입력에 포함될 경우 반사 브라운 운동의 유체 모델의 안정성이 결정 불가능하다는 것을 입증하는 것.
• 이전의 대기망 및 제약 조건이 가해진 확률 과정에서의 결정 불가능성 결과를 스코로코흐드 문제 프레임워크로 확장하는 것.
• 주어진 스코로코흐드 문제의 안정성을 판단할 수 있는 구축 가능한 알고리즘이 조건부로 존재하지 않음을 입증하는 것, 즉 원칙적으로도 불가능하다는 것을 보여주는 것.
• 모든 경로가 원점으로 끌려오는 전역 안정성(global stability)이 초기 상태가 입력에 포함되지 않을 경우에도 여전히 결정 불가능할 것이라는 추측을 제기하는 것.

제안 방법

• 스코로코흐드 문제의 안정성 결정 문제를 튜링 기계의 정지 문제로 환원하는 것.
• 튜링 기계의 행동을 모방하는 유체 모델 역학을 구성하기 위해 선형 미분 방정식 시스템과 반사 제약 조건을 사용하는 것.
• 유체 경로가 원점에 도달하는 것과 동시에 해당 튜링 기계가 정지하는 것 사이의 이분법적 관계를 가지는 반사 행렬과 초기 상태를 설계하는 것.
• 카운터와 보조 변수의 상태에 기반한 가변 활성 규칙을 사용하여 튜링 기계의 전이를 시뮬레이션하는 것.
• 유효한 튜링 기계 전이 상태에 해당할 때만 활성 변수(푸시 프로세스)가 단위 시간당 증가하도록 보장하는 형식적 증명.
• 상태 변수의 불변성과 경계 조건을 확립하여, 시간 간격 동안 시스템의 역학이 튜링 기계의 진화를 정확히 시뮬레이션하도록 보장하는 것.

실험 결과

연구 질문

• RQ1 주어진 초기 상태를 갖는 스코로코흐드 문제의 안정성을 판단할 수 있는 알고리즘이 존재하는가?
• RQ2 초기 상태가 입력에 포함될 경우 반사 브라운 운동의 유체 모델의 안정성이 결정 불가능한가?
• RQ3 경로별 안정성 대신 전역 안정성(모든 경로가 원점으로 끌려오는 것)을 고려할 경우 안정성의 결정 불가능성은 여전히 유지되는가?
• RQ4 스코로코흐드 문제의 역학이 보편 튜링 기계를 시뮬레이션할 수 있는가, 이를 통해 결정 불가능 문제를 인코딩할 수 있는가?
• RQ5 유체 근사로 모델링된 일반 차원의 대기망에 대해 안정성을 특성화하는 데 있어 근본적인 이론적 한계는 무엇인가?

주요 결과

• 초기 상태가 입력에 포함될 경우 스코로코흐드 문제의 안정성이 결정 불가능하다는 것이 입증되었으며, 이는 주어진 인스턴스의 안정성을 판단할 수 있는 알고리즘이 존재하지 않음을 의미한다.
• 증명 과정에서 튜링 기계가 정지할 경우에만 유체 경로가 원점에 도달하는 유체 모델을 구성함으로써 안정성 문제를 정지 문제로 환원하였다.
• 방정식 시스템과 반사 제약 조건은 튜링 기계 상태를 나타내는 특정 변수들만이 기계의 계산 단계를 모방하는 방식으로 활성화되도록 설계되었다.
• 시간 간격 (5t+3, 5t+5) 동안의 역학은 카운터 상태를 유지하고 튜링 기계 전이를 시뮬레이션하여 시뮬레이션의 정확성을 보장한다.
• 시간 5T+1에 도달했을 때 최종 상태가 0이 되는 것은 오직 튜링 기계가 T 단계에서 정지할 경우에만 성립하며, 이는 환원의 정확성을 확인한다.
• 저자들은 전역 안정성(모든 유체 경로가 원점으로 끌려오는 것)이 초기 상태가 입력에 포함되지 않을 경우에도 여전히 결정 불가능할 것이라 추측한다. 이는 경로별 안정성 초과의 결과를 확장한 것이다.