비동기 전이 시스템의 입방체 동형론

초록

본 논문은 자유 부분가환 모노이드가 작용하는 집합과 그에 대응하는 반입방체 집합이 동형 호몰로지 군을 갖는 것을 증명하고, 상호 독립 사건의 최대 개수가 유한한 모든 비동기 전이 시스템에 대해 유한 길이의 체인 복합체를 구성하여 호몰로지 계산 방법을 제시한다.

상세 분석

논문은 먼저 자유 부분가환 모노이드(FPCM)를 정의하고, 이 모노이드를 작용시키는 집합 X를 고려한다. X에 대한 동작은 각 원소가 사건들의 동시 발생을 의미하는 기호열로 표현될 수 있으며, 이러한 기호열은 부분가환 관계에 의해 교환 가능성을 갖는다. 저자는 X와 동등한 위상 구조를 갖는 반입방체 집합(semicubical set) S(X) 를 구성한다. S(X)의 n‑차원 입방체는 X에서 서로 독립적인 n개의 사건을 선택한 순서쌍으로 정의되며, 경계 연산자는 사건을 하나씩 제거하는 방식으로 정의된다. 핵심 정리에서는 S(X)의 입방체 호몰로지와 X에 대한 모노이드 작용으로 정의된 동형 호몰로지 군이 자연스러운 동형사상을 통해 일치함을 증명한다. 이때 “locally finite‑dimensional” 조건은 각 원소가 포함될 수 있는 독립 사건 집합의 크기가 유한함을 의미하며, 이는 체인 복합체가 유한 차원까지만 필요함을 보장한다.

다음으로 저자는 비동기 전이 시스템(ATS)을 자유 부분가환 모노이드 M의 작용으로 모델링한다. ATS의 상태 공간은 M이 작용하는 집합 S이며, 전이 관계는 M의 생성자(이벤트)와 대응한다. 중요한 가정은 시스템 전체에서 동시에 독립적으로 발생할 수 있는 이벤트의 최대 수가 어떤 정수 k 로 제한된다는 점이다. 이 가정 하에 저자는 차원 0부터 k까지의 입방체만을 포함하는 체인 복합체 Cₙ(S) 를 명시적으로 구성한다. 각 Cₙ은 n개의 독립 이벤트 조합에 해당하는 자유 아벨 군의 직접합으로 이루어지며, 경계 연산자는 앞서 정의한 반입방체 집합의 경계와 동일하게 동작한다. 따라서 Cₙ의 차원은 시스템의 동시성 구조를 정확히 반영한다.

저자는 또한 이 복합체가 실제로 ATS의 동형 호몰로지를 계산하는 데 충분함을 증명한다. 구체적으로, 복합체의 호몰로지 Hₙ(C) 는 ATS의 전이 그래프에 대한 전통적인 셀룰러 호몰로지와 동형이며, 특히 H₀는 연결 성분 수, H₁은 순환 전이(루프)의 수, H₂ 이상은 고차 동시성 구조를 포착한다. 논문은 몇 가지 예시를 통해 계산 과정을 상세히 보여준다. 예를 들어, 두 개의 독립 이벤트만을 갖는 단순 ATS에서는 복합체가 0‑차와 1‑차만을 가지며, H₁이 ℤ₂ 로 나타나는 것을 확인한다. 또 다른 예시로, 세 개의 이벤트가 서로 독립적인 경우 복합체는 차원 0,1,2까지 존재하고, H₂가 비자명한 자유 아벨 군을 형성함을 보여준다.

마지막으로 저자는 복합체의 유한 길이 특성이 실제 구현에 유리함을 강조한다. 기존의 전이 시스템 호몰로지 계산은 무한히 확장되는 체인 복합체를 다루어야 하는 경우가 많았으나, 본 접근법은 독립 이벤트 수가 유한한 경우 언제든지 제한된 차원까지 계산을 마칠 수 있다. 이는 자동화된 검증 도구나 동시성 분석 소프트웨어에 직접 적용 가능함을 의미한다. 또한, “locally finite‑dimensional” 조건을 만족하지 않는 경우에도 부분적으로 적용 가능한 확장 가능성을 논의하며, 향후 연구 방향으로 비가환성 강화, 가중치 전이, 그리고 동시성 모델의 범주론적 해석을 제시한다.