[논문 리뷰] Homological properties of non-deterministic branchings and mergings in higher dimensional automata

P. Gaucher|2003. 05. 12.

semigroups and automata theory인용 수 4

한 줄 요약

이 논문은 흐름 모델을 사용한 동시성 모델인 고차원 자동기계에 대해 분기와 융합의 호몰로지 이론을 도입한다. 분기 공간 함자로부터 왼쪽 쿠일렌 함자 구조를 통해 유도된 함자를 구성함으로써, 이는 이형호모토피 불변성을 확립하고 고차원 분기의 장점 정렬 시퀀스를 증명하며, 동시 시스템 내 비결정적 행동을 위한 대수적 불변량을 제공한다.

ABSTRACT

The branching (resp. merging) space functor of a flow is a left Quillen functor. The associated derived functor allows to define the branching (resp. merging) homology of a flow. It is then proved that this homology theory is a dihomotopy invariant and that higher dimensional branchings (resp. mergings) satisfy a long exact sequence.

연구 동기 및 목표

• 비결정적 분기와 융합을 포함한 고차원 자동기계에 대한 호몰로지 불변량을 개발하기 위해.
• 원시 분기 공간 함자에서의 열악한 호모토피 행동을 유도된 구성으로 극복하기 위해.
• 유도된 호몰로지가 이형호모토피 동치(약한 S-호모토피 및 T-호모토피)에 대해 불변임을 확립하기 위해.
• 클래식한 호몰로지 대수학과 유사한 메이어-비에토리스 시퀀스에 유사한 장점 정렬 시퀀스를 증명하기 위해.
• 대수적 위상수학을 사용하여 동시 시스템을 분석하기 위한 호모토피적 프레임워크를 제공하기 위해.

제안 방법

• 분기 공간 함자는 공통된 초기 세그먼트를 공유하는 비상수 실행 경로의 꼬리의 집합으로 정의된다.
• 이 함자가 약한 S-호모토피 하에서 열악하게 행동함을 보이고, 이에 따라 유도된 함자로서의 호모토피 분기 공간이 도입된다.
• 유도된 함자는 왼쪽 쿠일렌 함자 구조를 통해 구성되며, 이에 따라 관련 총 유도 함자를 통해 호몰로지 이론이 유도된다.
• 유도된 호몰로지가 약한 S-호모토피 및 T-호모토피에 대해 불변임을 증명하여, 이가 이형호모토피 불변임을 입증한다.
• 흐름의 사상에 대한 콘 구조를 사용하여 고차원 분기의 장점 정렬 시퀀스를 도출한다.
• 융합 호몰로지는 부록 A에서 이중화된 결과를 통해 유사하게 다뤄진다.

실험 결과

연구 질문

• RQ1 고차원 자동기계에서 비결정적 분기를 탐지할 수 있는 호몰로지 이론을 구성할 수 있는가?
• RQ2 그러한 호몰로지 이론이 특히 약한 S-호모토피 및 T-호모토피에 대해 이형호모토피 동치에 대해 불변인가?
• RQ3 분기 호몰로지가 고전적 호몰로지 대수학과 유사한 장점 정렬 시퀀스를 만족하는가?
• RQ4 호모토피 분기 공간은 원래의 분기 공간 함자와 어떻게 관련이 있는가?
• RQ5 융합 호몰로지는 분기 호몰로지와 유사하게 다룰 수 있는가?

주요 결과

• 분기 호몰로지 $ H_*^{-}(X) $ 는 이형호모토피 불변이며, 특히 약한 S-호모토피 및 T-호모토피에 대해 불변이다.
• 유도된 분기 호몰로지는 왼쪽 쿠일렌 함자를 통해 구성되어, 흐름의 모델 카테고리의 구조와의 호환성을 보장한다.
• 모든 사상 $ f: X \to Y $ 에 대해 콘 $ Cf $ 를 포함하는 장점 정렬 시퀀스가 확립되며, $ H_0(\text{ho}\bb{P}^{-}Z) $ 는 $ Z $ 의 호모토피 분기 공간의 경로 성분 집합 위의 자유 아벨군이다.
• 코프리프레임 흐름의 경우, 호모토피 분기 공간은 분기 공간과 호모토피 상수로 일치한다. 이는 주로 관심 대상이 되는 대상들이다.
• S-호모토피 동치인 흐름들은 $ \bb{P}^{-} $ 의 함자성에 의해 유도된 호모토피 동치 분기 공간을 유도한다.
• 융합 호몰로지 $ H_*^{+}(X) $ 는 유사하게 구성되며, 이중 성질(예: 장점 정렬 시퀀스 포함)을 만족한다.