고차원 자동자 라벨링 조합론

초록

이 논문은 동시성 프로세스를 라벨이 붙은 전입방형 집합으로 모델링할 때, n개의 행동이 동시에 실행될 경우 정확히 하나의 라벨이 붙은 n-입방체로 조합되어야 함을 보장하는 새로운 구조인 라벨된 전이 대칭 전입방형 집합을 제안한다. 기존 라벨된 코시켈은 비함수적이라 요구를 만족하지 못했으나, 전이 대칭과 새로운 전이 퇴화 사상을 도입함으로써 라벨된 코시켈을 정상적으로 작동하게 만든다. 또한 두 모델이 방향 대수적 위상학적으로 동등함을 증명하고, CCS의 새로운 의미론을 제시한다.

상세 분석

논문은 먼저 라벨이 없는 전입방형 집합(precubical set)에서 truncation functor와 그 오른쪽 adjoint인 coskeleton이 어떻게 작동하는지를 복습한다. 여기서 핵심은 n차원 입방체가 n개의 독립적인 행동을 동시에 표현한다는 점이다. 라벨이 추가되면, 라벨된 coskeleton functor는 단순히 라벨을 입방체에 복제하는 것이 아니라, 라벨 조합의 일관성을 유지해야 한다. 기존의 라벨된 coskeleton은 비함수적(non‑functorial)이라, 동일한 입력에 대해 여러 가능한 출력을 만들 수 있어 동시성 모델링에 부적합했다. 이를 해결하기 위해 저자들은 ‘라벨된 directed coskeleton’이라는 비함수적 구성을 도입했는데, 이는 라벨된 coskeleton의 부분 객체(subobject)로서, 각 n‑입방체가 정확히 하나의 라벨 조합을 갖도록 강제한다. 그러나 비함수성은 범주론적 도구와 호환되지 않아, 보다 구조적인 접근이 필요했다.

이에 저자들은 ‘전이 대칭 전입방형 집합(transverse symmetric precubical set)’이라는 새로운 범주를 정의한다. 이 범주는 기존 전입방형 집합에 두 종류의 추가 사상을 부여한다. 첫 번째는 대칭(symmetry) 사상으로, 입방체의 좌표를 교환해도 동일한 객체로 식별한다. 두 번째는 ‘전이 퇴화(transverse degeneracy)’ 사상으로, 입방체의 한 차원을 다른 차원으로 ‘전이’시키는 역할을 한다. 이러한 사상들은 라벨된 코시켈이 함수적으로 작동하도록 하는데 핵심적인 역할을 한다. 구체적으로, 전이 퇴화는 라벨이 없는 경우와 동일하게 코시켈이 오른쪽 adjoint가 되도록 보장하면서, 라벨이 있는 경우에도 라벨 조합이 유일하게 결정되도록 만든다.

저자는 이 새로운 범주에서 라벨된 코시켈을 정의하고, 그것이 기존의 비함수적 라벨된 directed coskeleton과 동등함을 보인다. 즉, 전이 대칭과 전이 퇴화를 도입함으로써 라벨된 코시켈을 함수적으로 만들 수 있으며, 이는 유일한 해결책임을 증명한다. ‘유일성’은 두 가지 의미에서 논증된다. 첫째, 전이 대칭과 전이 퇴화 없이 라벨된 코시켈을 함수적으로 만들 수 있는 다른 구조가 존재하지 않는다. 둘째, 제시된 구조가 라벨 조합의 일관성을 보장하면서도 기존의 방향 대수적 위상학(directed algebraic topology) 결과와 호환된다.

마지막으로, 저자는 CCS(Communicating Sequential Processes)의 새로운 의미론을 제시한다. 기존 의미론은 라벨된 전입방형 집합을 이용해 동시성 전이를 모델링했지만, 라벨된 코시켈의 비함수성 때문에 복잡한 보조 구조가 필요했다. 새로운 의미론에서는 전이 대칭 전입방형 집합을 사용함으로써, 각 CCS 연산자가 자연스럽게 하나의 전입방형 객체에 대응하고, 동시 실행은 정확히 하나의 라벨된 n‑입방체로 표현된다. 이는 기존 의미론과 동등함을 보이면서도 구현과 증명에 있어 훨씬 간결하고 직관적이다.

전체적으로 이 논문은 라벨된 동시성 모델링에서 발생하던 근본적인 범주론적 문제를 새로운 구조적 사상을 통해 해결하고, 그 해법이 유일함을 증명함으로써 향후 고차원 자동자와 동시 시스템 이론에 중요한 토대를 제공한다.