평형과 종료 문제의 불가능성

초록

이 논문은 포스트 대응 문제(PCP) 형태의 튜링 기계 종료 문제를 연속시간 마코프 연쇄(CTMC)의 평형 존재 여부 판단 문제로 환원한다. Kappa 그래프‑재작성 규칙으로 정의된 가산 가능한 CTMC가 평형을 갖지 않는, 즉 소산(dissipative)인지를 결정하는 문제가 결정 불가능함을 증명한다.

상세 분석

본 연구는 두 개의 전통적인 이론 컴퓨터 과학 문제, 즉 튜링 기계의 종료 문제와 연속시간 마코프 연쇄(CTMC)의 평형 존재 여부 판단 문제 사이에 엄격한 계산 복잡도 동등성을 구축한다. 저자들은 먼저 포스트 대응 문제(PCP)를 이용해 튜링 기계의 종료 문제를 간소화한다. PCP는 문자열 쌍의 집합이 주어졌을 때, 시작 문자열에서 시작해 양쪽 문자열을 동시적으로 이어 붙여 동일한 문자열을 만들 수 있는지 여부를 묻는 고전적인 결정 불가능 문제이다. 이 문제는 기존에 알려진 바와 같이 튜링 기계의 무한 루프 여부와 1대1 대응이 가능하므로, PCP의 불가능성을 이용하면 튜링 기계 종료 문제의 불가능성을 바로 도출할 수 있다.

다음 단계에서는 Kappa라는 그래프‑재작성 언어를 선택한다. Kappa는 생물학적 네트워크 모델링에 널리 쓰이며, 각 규칙은 그래프(분자 복합체)의 부분 구조를 매칭하고, 매칭된 부분을 다른 구조로 변환한다. 이러한 규칙 집합은 자연스럽게 연속시간 마코프 연쇄의 전이율 행렬로 해석될 수 있다. 저자들은 각 PCP 인스턴스에 대해 Kappa 규칙을 설계하여, 규칙 적용이 PCP의 문자열 연쇄와 정확히 일대일 대응하도록 만든다. 구체적으로, 문자열의 각 심볼을 특정 노드와 결합 상태로 인코딩하고, 규칙은 심볼 쌍 (왼쪽, 오른쪽) 을 동시에 확장하거나 축소하는 방식으로 정의된다. 이때 전이율은 규칙의 적용 가능성에 따라 양의 실수 값으로 할당된다.

핵심 아이디어는 “평형 존재 여부”를 PCP의 해 존재 여부와 동등하게 만드는 것이다. 마코프 연쇄가 평형을 갖는다는 것은 상세 균형(detailed balance) 조건을 만족하는 확률분포 π가 존재한다는 의미이며, 이는 모든 전이율 쌍 (i→j, j→i) 에 대해 π(i)·q(i→j)=π(j)·q(j→i) 가 성립함을 뜻한다. 저자들은 Kappa 규칙을 설계할 때, 평형을 깨뜨리는 “비가역적” 전이(예: 문자열을 확장만 하고 축소는 불가능하게 하는 규칙)를 포함시킨다. 만약 PCP 인스턴스에 해가 존재한다면, 규칙 적용 과정에서 특정 순환 경로가 형성되어 전체 시스템이 상세 균형을 만족하는 확률분포를 구성할 수 있다. 반대로 해가 없으면 모든 가능한 경로는 일방향으로만 진행되며, 결국 시스템은 비가역적 흐름을 갖게 되어 어떠한 정상화된 π도 존재하지 않는다. 따라서 “CTMC가 평형을 갖지 않는다(소산이다)”는 판단은 바로 PCP 해 존재 여부와 동치가 된다.

이 환원 과정은 다항식 시간 내에 수행 가능함을 보이며, Kappa 규칙 집합 자체가 가산 가능한(컴퓨터가 기술 가능) 형태임을 강조한다. 따라서 “계산 가능한 CTMC가 소산인지 여부를 결정하는 문제”는 PCP와 동등한 복잡도를 가지며, 이는 튜링 기계의 종료 문제와 마찬가지로 결정 불가능함을 의미한다. 논문은 또한 상세 균형 조건이 물리·화학 시스템에서 열역학적 평형과 직접 연결된다는 점을 언급하며, 이론 컴퓨터 과학과 통계 물리학 사이의 교차점을 제시한다. 마지막으로, 이러한 결과는 CTMC 기반 모델링(예: 생물학적 신호 전달, 화학 반응 네트워크)에서 평형 존재 여부를 검증하는 자동화 도구의 한계를 명시적으로 규정한다는 점에서 실용적 의미도 갖는다.