라벨링된 계층적 순서 구조를 이용한 결합 트레이스의 완전 특성화

초록

본 논문은 라벨이 부착된 계층적 순서 구조(so‑structure)를 정의하고, 이를 통해 Janicki와 Koutny가 제시한 결합 트레이스(comtrace)와 정확히 일치함을 증명한다. 또한 comtrace 몽골리드, 결합 의존 그래프(cd‑graph), 라벨링된 so‑structure가 서로 동등한 표현 방법임을 나타내는 대표 정리를 제시한다.

상세 분석

이 연구는 기존의 부분 순서와 Mazurkiewicz 트레이스 이론이 “앞선(earlier than)” 관계만을 모델링하는 한계를 지적하고, “동시성(simultaneity)”과 “비후속(not later than)” 두 관계를 동시에 다루는 계층적 순서 구조(so‑structure)를 재조명한다. 특히 저자는 라벨이 붙은 so‑structure의 특정 서브클래스를 정의함으로써, 모든 comtrace가 정확히 그 구조에 대응하고 역도 성립한다는 양방향 정리를 얻는다. 이는 기존 연구에서 제시된 ‘모든 comtrace는 라벨링된 so‑structure로 표현 가능하지만 그 역은 증명되지 않았다’는 공백을 메우는 중요한 진전이다. 논문은 또한 2008년 Kleijn‑Koutny가 제안한 결합 의존 그래프(cd‑graph)와의 등가성을 보여준다. cd‑graph는 사건 발생 집합 Σ와 두 관계 ≺, ⊏, 그리고 라벨 함수 ℓ 로 구성되며, 이 구조에 ♦‑클로저 연산을 적용하면 정확히 so‑structure가 된다. 저자는 이 과정을 통해 cd‑graph가 comtrace와 동일한 정보를 담고 있음을 증명한다. 핵심 기술은 (R₁∪R₂)⁎∘R₁∘(R₁∪R₂)⁎ 형태의 전이 폐쇄를 일반화한 ♦‑클로저이며, 이를 통해 로컬한 ≺, ⊏ 관계를 전역적인 so‑structure로 승격시킨다. 또한, 모든 step‑sequence는 해당 so‑structure의 계층적 확장(stratified extension)이며, 반대로 그 확장들의 교집합이 원래 so‑structure와 일치한다는 Szpilrajn‑유형 정리를 so‑structure에 적용한다. 이러한 결과는 comtrace의 동시성 모델링을 순서 이론의 풍부한 도구(예: 확장, 합성 연산)와 직접 연결시켜, 형식 언어, 검증, 무한 프로세스 모델링 등 다양한 분야에 활용 가능성을 열어준다. 마지막으로 저자는 무한 comtrace에 대한 확장 가능성을 언급하며, 라벨링된 무한 poset 이론과의 연계성을 시사한다.