부분 트레이스 모노이드 작용의 동형군 연구

초록

본 논문은 부분 트레이스 모노이드가 집합에 미치는 작용을 통해 형성되는 작은 범주의 Baues‑Wirsching 동형군을 조사한다. 저자는 이를 모노이드 자체의 Leech 동형군으로 환원하고, 트레이스 모노이드 작용에 대해 자유 아벨 군으로 이루어진 입방 복합체를 구성한다. 이를 기반으로 CE‑넷의 동형군을 계산하는 알고리즘을 제시하고, 구체적인 예제로 검증한다.

상세 분석

논문은 동시성 이론에서 사용되는 수학적 모델의 동형군을 체계적으로 분석한다. 먼저 부분 모노이드 작용을 정의하고, 이를 기반으로 형성되는 범주 (h_D/X) 의 왼쪽 섬유(left fibre)를 고려한다. 저자는 Lemma 1.1을 통해 이 섬유의 각 연결 성분이 초기 객체(initial object)를 갖는다는 사실을 증명함으로써, Baues‑Wirsching 동형군을 계산하기 위한 기본 구조를 마련한다. 이어서 Proposition 1.3에서는 왼쪽 Kan 확장을 이용해 섬유 위의 함자 (F) 에 대한 값들을 (\displaystyle \bigoplus_{x\in X(\mathrm{cod},\alpha)}F(\alpha,x)) 형태로 명시한다. 이는 복잡한 섬유 구조를 단순한 합으로 전환시켜 계산적 접근을 가능하게 한다.

두 번째 장에서는 전체(monodial) 작용 범주 (K(X)) 에 대한 Baues‑Wirsching 동형군을 정의하고, 그 동형군이 Leech 동형군과 동등함을 보인다(정리 2.2, 2.3). 여기서 핵심은 작은 범주의 동형군을 모노이드 자체의 동형군으로 환원함으로써, 기존에 알려진 Leech 동형군 계산법을 그대로 적용할 수 있다는 점이다. 특히, 트레이스 모노이드가 부분 교환 관계를 갖는 경우, 복합적인 동시성 구조를 입방(combinatorial) 복합체로 모델링한다. 저자는 3.1절에서 Y‑온다 임베딩의 왼쪽 섬유에 대한 Baues‑Wirsching 동형군을 구하고, 3.2절에서는 이러한 복합체가 트레이스 모노이드 작용 범주의 부분 범주에 제한될 때도 동형군이 보존된다는 사실을 증명한다.

알고리즘적 기여는 4.1절과 4.2절에 집중된다. 저자는 입방 복합체의 체인 복합을 이용해 정수 계수 동형군을 효율적으로 계산하는 절차를 제시한다. 구체적으로, 각 차원 (n) 에 대해 자유 아벨 군 (C_n) 을 구성하고, 경계 연산자를 명시적으로 정의함으로써 전통적인 호몰로지 계산과 동일한 결과를 얻는다. 특히 CE‑넷(조건부 이벤트 넷)의 경우, 부분 트레이스 모노이드 작용을 통해 얻은 범주의 동형군이 넷의 동시성 구조를 완전하게 반영함을 보이며, 기존에 1차 동형군만을 다루던 방법을 확장해 2차·3차 이상의 동형군까지 자동으로 계산할 수 있음을 실험적으로 확인한다.

이 논문은 동시성 모델링에서 동형군 계산이 갖는 이론적·실용적 중요성을 강조한다. Baues‑Wirsching 동형군을 Leech 동형군으로 환원함으로써 기존의 대수적 도구를 그대로 활용할 수 있게 하고, 입방 복합체를 통한 구체적 알고리즘을 제공함으로써 실제 시스템(예: Petri‑넷, CE‑넷)의 동시성 분석에 바로 적용 가능하도록 한다. 또한, 부분 트레이스 모노이드 작용이 갖는 풍부한 구조가 임의의 유한 아벨 군을 고차 차원의 동형군에 포함시킬 수 있음을 보여, 동형군의 복잡도와 표현력 사이의 미묘한 균형을 새롭게 조명한다.