스코르코딕 문제 안정성은 결정 불가능

초록

본 논문은 비음수 직교면 위의 반사 브라운 운동을 기술하는 스코르코딕 문제의 안정성 판별이 일반 차원에서 알고리즘적으로 불가능함을 증명한다. 시작 상태를 입력으로 포함시키면, 안정성 여부를 결정하는 절차가 존재하지 않으며, 이는 튜링 기계의 정지 문제로 환원함으로써 보인다. 3차원 이하에서는 알려진 충분·필요 조건이 존재하지만, 차원이 높아질수록 문제는 본질적으로 복잡해진다.

상세 요약

스코르코딕 문제는 반사 행렬 R과 드리프트 벡터 μ, 초기 상태 x₀에 대해 반사된 경로 y(t)와 누적 반사량 z(t)를 정의한다. 안정성은 모든 초기 상태가 시간 무한대로 갈 때 y(t)→0인 성질로, 이는 반사된 브라운 운동이 원점으로 끌리는 현상을 의미한다. 기존 연구에서는 차원 d≤3인 경우에 대해 R이 M-행렬이면서 μ가 R⁻¹·μ≥0인 경우 등 명시적인 선형 조건을 제시했지만, d≥4에서는 이러한 조건이 충분하지 않다.

논문은 먼저 “반사 네트워크”를 일반적인 선형 대수적 구조로 모델링하고, 이를 튜링 기계의 구성 요소와 일대일 대응시키는 인코딩 스킴을 설계한다. 구체적으로, 카운터 머신의 각 카운터를 비음수 정수 좌표축에 매핑하고, 명령어 전이(증가, 감소, 조건 분기)를 반사 행렬 R의 특정 블록 구조와 드리프트 μ의 선택으로 구현한다. 초기 상태 x₀는 머신의 초기 카운터 값과 현재 명령어 포인터를 포함한다.

핵심은 “안정성 ⇔ 머신이 정지”라는 논리적 동치이다. 만약 머신이 정지하면, 구성된 스코르코딕 시스템은 결국 모든 좌표가 0이 되는 고정점에 도달하고, 이후에는 추가적인 반사가 발생하지 않으므로 y(t)→0가 된다. 반대로, 머신이 무한히 실행되면 적어도 하나의 카운터가 무한히 증가하거나 감소(음수가 금지되므로 반사에 의해 제한)하게 되어, 시스템은 원점으로 수렴하지 못한다.

이러한 환원을 통해 정지 문제의 비결정성을 스코르코딕 안정성 문제에 그대로 이전한다. 즉, 임의의 튜링 기계와 입력을 받아서 대응되는 (R, μ, x₀)를 생성하는 알고리즘이 존재하고, 이 변환은 다항 시간 내에 수행될 수 있다. 따라서 “주어진 스코르코딕 문제의 안정성을 판별하는 알고리즘”이 존재한다면 정지 문제를 해결할 수 있게 되므로 모순이 발생한다.

논문은 또한 기존 차원 3 이하에서의 결정 가능성 결과와의 관계를 논의한다. 차원 제한이 중요한 이유는, 차원 3 이하에서는 반사 행렬이 M-행렬인지 여부와 드리프트의 부호 조건만으로도 시스템의 Lyapunov 함수 구성이 가능하기 때문이다. 차원이 증가하면 반사면의 기하학적 복잡성이 급격히 늘어나, 위와 같은 튜링 기계 인코딩이 가능해진다.

결과적으로, 스코르코딕 문제의 안정성은 일반적인 차원에서 알고리즘적으로 판별할 수 없으며, 이는 반사 브라운 운동을 이용한 네트워크 모델링이 근본적으로 계산 복잡성을 내포하고 있음을 시사한다.