[논문 리뷰] State transitions as morphisms for complete lattices

Bob Coecke, Isar Stubbe|arXiv (Cornell University)|2000. 08. 04.

Advanced Algebra and Logic참고 문헌 9인용 수 5

한 줄 요약

이 논문은 완전 격자에서 상태 전이를 모델링하기 위한 새로운 범주론적 프레임워크를 제안하며, 일반화된 사상으로서 '상태 전이'를 포함한 호 집합을 강화함으로써 이를 실현한다. 임의의 ${\cal P}arset$-구성된 범주 ${\cal A}$에 대해 양자론적 쿼티컬로이드 ${ olimits}^{st}{\cal A}$를 구성하며, 이는 함의적 양자론적 확장인 ${\cal Q}^{-}{\cal A}$와 맥락적 양자론적 확장인 ${\cal Q}^{+}{\cal A}$ 사이에 엄격하게 놓여 있음을 보여주며, 양자논리와 범주론적 양자 기초 이론에서 상태 전이 구조의 계층을 확립한다.

ABSTRACT

We enlarge the hom-sets of categories of complete lattices by introducing `state transitions' as generalized morphisms. The obtained category will then be compared with a functorial quantaloidal enrichment and a contextual quantaloidal enrichment that uses a specific concretization in the category of sets and partially defined maps ($Parset$).

연구 동기 및 목표

• 완전 격자 내에서 상태 전이를 일반화된 사상으로서 범주론적 프레임워크 내에 체계적으로 형식화하기.
• 기존의 ${\cal P}rop$와 같은 범주들이 상태 전이를 포괄하지 못하는 부족함을 해결하기 위해 ${\cal Q}^{st}$를 통한 강화를 제안하기.
• ${\cal P}arset$-구성된 범주 ${\cal A}$의 세 가지 양자론적 확장인 ${\cal Q}^{-}{\cal A}$, ${\cal Q}^{st}{\cal A}$, ${\cal Q}^{+}{\cal A}$를 비교하고 그 계층적 관계를 확립하기.
• ${\cal Q}^{st}{\cal A}$가 합에 대해 닫혀 있음을 통해 전이 행동의 불확실성을 반영함으로써 물리적으로 의미 있는 구조를 제공함을 보여주기.

제안 방법

• 완전 격자 범주에서 호 집합을 강화하여 상태 전이를 일반화된 사상으로 도입함으로써 새로운 양자론적 쿼티컬로이드 ${\cal Q}^{st}{\cal A}$를 구성한다.
• ${\cal Q}^{-}{\cal A}$를 직접 이미지 사상으로서의 멱집합 기반의 전이 함수를 사용하는 멱함수 ${\cal P}$를 통한 함의적 확장으로 정의한다.
• ${\cal Q}^{+}{\cal A}$를 맥락적 확장으로서, 기저 집합의 멱집합 간의 합을 유지하는 모든 사상으로 구성된 호 집합으로 정의한다.
• 충실한 함자 $U: {\cal A} \to {\cal P}arset$와 멱함수 ${\cal P}$의 복합을 통해 기초 범주 ${\cal P}{\cal A}$를 정의함으로써 ${\cal Q}^{st}{\cal A}$의 구성 가능성을 확보한다.
• ${\cal Q}^{st}{\cal J}{\cal C}{\cal L}at$에서 ${\cal J}{\cal C}{\cal L}at$로 가는 함자 $F_{pr}: {\cal Q}^{st}{\cal J}{\cal C}{\cal L}at \to {\cal J}{\cal C}{\cal L}at$를 적용하여 상태 전이와 성질 전이 간의 대칭성을 통해 이중성을 규명한다.
• 모든 사상이 ${\cal Q}^{-}$에 의해 유도된 사상이 상태 전이로 유효함을 보장하는 최소한의 양자론적 쿼티컬로이드 확장을 보장하기 위해 전강화 함자 ${\cal E} = F_{pr} \circ {\cal Q}^{-}$를 도입한다.

실험 결과

연구 질문

• RQ1 완전 격자 내에서 상태 전이를 합을 유지하는 사상 이외의 방식으로 체계적으로 일반화하여 일관된 범주론적 구조를 형성할 수 있는가?
• RQ2 세 가지 양자론적 확장인 ${\cal Q}^{-}{\cal A}$, ${\cal Q}^{st}{\cal A}$, ${\cal Q}^{+}{\cal A}$ 간의 관계는 무엇이며, 그 구성 방식과 닫힘 성질에서 어떤 차이를 보이는가?
• RQ3 ${\cal P}rop$ 범주가 상태 전이를 모델링하는 데 부적절한 이유는 무엇이며, 이를 물리적으로 타당하게 만들기 위해 어떤 강화가 필요한가?
• RQ4 ${\cal Q}^{-}{\cal E}{\cal A} \hookrightarrow {\cal Q}^{st}{\cal E}{\cal A}$의 포함 관계가 엄격해지는 조건은 무엇이며, 이는 물리적 해석에 어떤 함의를 갖는가?
• RQ5 상태 전이와 성질 전이 간의 이중성은 어떻게 범주론적으로 나타나며, 함자 $F_{pr}$는 이 과정에서 어떤 역할을 하는가?

주요 결과

• ${\cal Q}^{st}{\cal A}$는 ${\cal J}{\cal C}{\cal L}at$의 비자명한 부분범주 ${\cal A}$에 대해 ${\cal Q}^{-}{\cal A}$와 ${\cal Q}^{+}{\cal A}$ 사이에 엄격하게 놓여 있다. 이는 $a < b \vee c$, $a \not\leq b$, $a \not\leq c$ 를 만족하는 원소 $a,b,c$ 를 포함하는 경우에 성립한다.
• ${\cal A}$가 위의 조건을 만족할 경우, 포함 관계 ${\cal Q}^{-}{\cal E}{\cal A} \hookrightarrow {\cal Q}^{st}{\cal E}{\cal A}$는 엄격해지며, 이는 상태 전이가 합에 대한 닫힘 외에 별개의 구조가 필요하다는 것을 시사한다.
• 전강화 함자 ${\cal E}$는 ${\cal A}$를 그 최소한의 양자론적 쿼티컬로이드 확장인 $F_{pr}{\cal Q}^{-}{\cal A}$로 매핑하며, 이로써 ${\cal Q}^{-}$에 의해 도출된 모든 사상이 유효한 상태 전이임을 보장한다.
• ${\cal A}$가 이미 ${\cal J}{\cal C}{\cal L}at$의 부분쿼티컬로이드인 경우, 전강화 ${\cal E}{\cal A}$는 ${\cal A}$와 일치하며, 이러한 범주들이 이미 필요한 구조에 대해 닫혀 있음을 보여준다.
• ${\cal Q}^{st}{\cal A}$의 구성은 물리적으로 의미 있는 해석을 제공한다: 호 집합 내의 합은 상태 전이의 불확실성 또는 지식 부족을 나타내며, 이러한 양자론적 쿼티컬로이드 구조의 필요성을 정당화한다.
• ${\cal P}rop$에 이 프레임워크를 적용하면, ${\cal P}rop$ 자체는 필요한 합 연산에 대해 닫혀 있지 않기 때문에 상태 전이를 적절히 모델링하기 위해 ${\cal E}{\cal P}rop$로 대체되어야 한다.