확률적 비동형성의 논리·거리·알고리즘적 특성화

초록

이 논문은 상태 간 관계를 확률 분포로 확장하는 하나의 통합된 리프팅 연산을 제시하고, 이를 칸토로비치 거리와 최대 흐름 문제와 연결시킨다. 이 리프팅을 기반으로 확률적 비동형성을 논리적, 거리적, 알고리즘적 관점에서 각각 충분성·표현성 있는 논리, 고정점 기반 의사거리, 그리고 “온‑더‑플라이” 최대 흐름 기반 결정 알고리즘으로 특성화한다.

상세 분석

논문은 먼저 확률 라벨 전이 시스템(pLTS) 위에서 상태 관계 R을 확률 분포 관계 R† 로 승격시키는 리프팅 연산을 정의한다. 기존 문헌에 흩어져 있던 여러 정의를 동일한 연산으로 통합함으로써, R† 가 최소한의 성질(점 분포 보존 및 선형 결합 보존)을 만족한다는 것을 보인다. 핵심은 R† 가 가중 함수 w(s,t) 를 통해 표현될 수 있다는 점이다. w는 각 상태 쌍에 할당된 흐름량이며, 전체 흐름이 원래 분포의 질량을 정확히 재현하고, 양의 흐름이 존재하는 쌍은 반드시 R 에 속한다. 이 가중 함수는 전통적인 운송 문제(칸토로비치 거리)의 최적 해와 일치한다는 사실을 이용한다. 즉, R† 를 판단하는 문제는 두 분포 사이의 최소 비용 흐름을 구하는 문제와 동치이며, 이는 다항 시간 알고리즘으로 해결 가능하다.

칸토로비치 거리와의 연결은 특히 의미심장하다. 상태 거리 d가 주어지면, 그에 대한 칸토로비치 확장은 분포 사이의 거리 D(Δ,Θ)=min_{w}∑{s,t}w(s,t)·d(s,t) 로 정의된다. 논문은 R† 가 바로 d=0 일 때의 칸토로비치 거리의 0‑레벨 집합임을 증명한다. 따라서 확률적 비동형성은 “거리 0”인 의사거리(pseudometric)의 최대 고정점으로 기술될 수 있다. 이 의사거리는 단조 함수 F(d)(s,t)=sup{a,Δ,Θ}