[논문 리뷰] The branching nerve of HDA and the Kan condition

Philippe Gaucher|ArXiv.org|2001. 03. 02.

Glycogen Storage Diseases and Myoclonus참고 문헌 17인용 수 12

한 줄 요약

이 논문은 비수축성 $\omega$-범주로 모델링된 고차원 자동기계(HDA)를 위한 새로운 단순형 구조인 분기 및 융합 반구형 신경망을 제안한다. 이 신경망은 경로 $\omega$-범주 $\pi^{-}\mathcal{C}$와 $\pi^{+}\mathcal{C}$로부터 구성되며, 칸 조건을 만족시키면서 기존의 분기 및 융합 반입방형 신경망과 동일한 단순형 호몰로지 정보를 유지할 것으로 추측된다. 주요 기여는 고차원 사상(차원 >2)에 대해 모든 합성 법칙(차원 >1)에 대해 역원을 추가함으로써 호모토피 불변 호몰로지 이론이 유지되도록 하는 프레임워크를 제공한다는 점이다.

ABSTRACT

One can associate to any strict globular $ω$-category three augmented simplicial nerves called the globular nerve, the branching and the merging semi-cubical nerves. If this strict globular $ω$-category is freely generated by a precubical set, then the corresponding homology theories contain different informations about the geometry of the higher dimensional automaton modeled by the precubical set. Adding inverses in this $ω$-category to any morphism of dimension greater than 2 and with respect to any composition laws of dimension greater than 1 does not change these homology theories. In such a framework, the globular nerve always satisfies the Kan condition. On the other hand, both branching and merging nerves never satisfy it, except in some very particular and uninteresting situations. In this paper, we introduce two new nerves (the branching and merging semi-globular nerves) satisfying the Kan condition and having conjecturally the same simplicial homology as the branching and merging semi-cubical nerves respectively in such framework. The latter conjecture is related to the thin elements conjecture already introduced in our previous papers.

연구 동기 및 목표

• 고차원 자동기계(HDA) 모델에서 분기 및 융합 반입방형 신경망이 칸 조건을 만족하지 못하는 문제를 해결하기 위해.
• 기존 신경망의 호몰로지 정보를 유지하면서도 칸 조건을 만족하는 새로운 신경망인 분기 및 융합 반구형 신경망을 구성하기 위해.
• 고차원 자동기계(HDA)가 전입방형 집합으로 자유롭게 생성된 경우, 이러한 새로운 신경망이 원래의 분기 및 융합 반입방형 신경망과 동일한 단순형 호몰로지를 갖는다는 것을 추측하기 위해.
• 2차원 초과의 사상에 대해 모든 합성 법칙(차원 >1)에 대해 역원을 추가함으로써, 고차원 사상의 물리적 및 계산적 일관성을 보장하는 프레임워크를 체계화하기 위해.

제안 방법

• 비수축성 $\omega$-범주 $\mathcal{C}$로부터 1-사상의 기원을 나타내는 출발점 또는 도착점에서 시작하거나 끝나는 1-사상의 기원을 캡처하는 음성 및 양성 경로 $\omega$-범주 $\pi^{-}\mathcal{C}$와 $\pi^{+}\mathcal{C}$를 정의하기 위해.
• 이 경로 $\omega$-범주로부터 유도된 단순형 집합으로서 분기 및 융합 반구형 신경망 $\mathcal{N}^{gl^{-}}$와 $\mathcal{N}^{gl^{+}}$를 구성하기 위해.
• 분기 반구형 신경망 $\mathcal{N}^{gl^{-}}$가 정규임을 증명함으로써, 구형 신경망에서 반구형 신경망으로의 표준 사상이 전사임을 암시하기 위해.
• 원래의 구형 신경망 $\mathcal{N}^{gl}$과 새로운 반구형 신경망 사이의 관계를 자연 변환 $h^{-}$와 $h^{+}$를 통해 설정하고, 단순형 사상의 교환도를 구성하기 위해.
• 미세한 원소 추측에 기반하여, 새로운 반구형 신경망의 단순형 호몰로지가 원래의 분기 및 융합 반입방형 신경망과 일치할 것으로 추측하기 위해.
• $\widehat{F(K)}$에 적용하여, 2차원 초과의 사상에 대해 모든 합성 법칙(차원 >1)에 대해 역원을 자유롭게 추가한 엄격한 구형 $\omega$-군으로서의 $\widehat{F(K)}$를 고려함으로써, 구형 신경망이 칸 복합체가 되도록 보장하기 위해.

실험 결과

연구 질문

• RQ1 칸 조건을 만족하지 못하는 분기 및 융합 반입방형 신경망을, 고차원 자동기계(HDA) 모델에서 동일한 호몰로지 정보를 유지하면서도 칸 조건을 만족하는 새로운 신경망으로 대체할 수 있는가?
• RQ2 전입방형 집합으로 자유롭게 생성된 HDA에 대해, 새로운 분기 및 융합 반구형 신경망의 단순형 호몰로지가 원래의 분기 및 융합 반입방형 신경망과 동형인가?
• RQ3 1-사상의 기원에 기반한 $\mathbb{P}^{-}\mathcal{C}$와 $\mathbb{P}^{+}\mathcal{C}$의 구성이, HDA의 경로 $\omega$-범주에 대해 일관되고 계산적으로 의미 있는 정밀화를 제공하는가?
• RQ4 2차원 초과의 사상에 대해 모든 합성 법칙(차원 >1)에 대해 역원을 추가함으로써, HDA의 기하학적 및 호모토피적 구조가 그대로 유지되며, 호몰로지 이론이 변경되지 않는 정도는 어느 정도인가?
• RQ5 고차원 자동기계(HDA)의 신경망 구성에서, 칸 조건을 복원하면서도 비가역적 시간과 비가역적 1-사상의 물리적 직관을 유지할 수 있는가?

주요 결과

• 분기 및 융합 반구형 신경망 $\mathcal{N}^{gl^{-}}$와 $\mathcal{N}^{gl^{+}}$는 기존의 분기 및 융합 반입방형 신경망과 달리, 임의의 비수축성 $\omega$-범주 $\mathcal{C}$에 대해 칸 조건을 만족한다.
• 2차원 초과의 사상에 대해 모든 합성 법칙(차원 >1)에 대해 역원을 자유롭게 추가한 $\omega$-군으로 $\widehat{F(K)}$의 구형 신경망 $\mathcal{N}^{gl}(\widehat{F(K)})$는 칸 복합체가 된다.
• 표준 사상 $\mathcal{N}^{-} \to \mathcal{N}^{gl^{-}}$와 $\mathcal{N}^{+} \to \mathcal{N}^{gl^{+}}$는 전사이며, 반구형 신경망의 정규성은 타겟의 모든 원소가 소스의 원소들의 복합체로부터 유도됨을 보장한다.
• 저자들은 단순형 호몰로지 군 $H_*^{-}$와 $H_*^{gl^{-}}$(마찬가지로 $H_*^{+}$와 $H_*^{gl^{+}}$)가 서로 동형임을 추측하며, 이는 새로운 신경망이 원래의 반입방형 신경망과 동일한 호몰로지 정보를 유지함을 의미한다.
• $\mathbb{P}^{-}\mathcal{C}$와 $\mathbb{P}^{+}\mathcal{C}$를 1-사상의 기원에 기반한 경로 $\omega$-범주로 구성함으로써, HDA의 실행 경로 공간에 대한 정밀한 모델이 제공되며, 새로운 신경망은 필수적인 호모토피적 구조를 포착한다.
• 이 프레임워크는 2차원 초과의 사상에 대해 모든 합성 법칙(차원 >1)에 대해 역원을 추가함으로써, 분기 및 융합 신경망과 관련된 호몰로지 이론이 변경되지 않음을 보여주며 기하학적 정보를 유지한다.