[논문 리뷰] Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories

Samson Abramsky|ArXiv.org|2009. 10. 15.

Computability, Logic, AI Algorithms참고 문헌 13인용 수 4

한 줄 요약

이 논문은 양자역학을 위한 이전의 범주론적 프레임워크를 개선하면서, 자유 추적 가능 대칭 심플렉틱 범주와 강력히 컴팩트 폐쇄 범주에 대한 명시적이고 조합론적인 구성법을 제시한다. 기본 범주에서 기하학적이고 대수적인 방법을 통해 이러한 구조를 생성하며, 주요 기여는 루프 평가를 통해 임의의 모노이드를 '접합'함으로써 양적 요소(예: 양자 이론에서의 진폭)를 정밀하게 제어할 수 있도록 하는 것이다.

ABSTRACT

We study structures which have arisen in recent work by the present author and Bob Coecke on a categorical axiomatics for Quantum Mechanics; in particular, the notion of strongly compact closed category. We explain how these structures support a notion of scalar which allows quantitative aspects of physical theory to be expressed, and how the notion of strong compact closure emerges as a significant refinement of the more classical notion of compact closed category. We then proceed to an extended discussion of free constructions for a sequence of progressively more complex kinds of structured category, culminating in the strongly compact closed case. The simple geometric and combinatorial ideas underlying these constructions are emphasized. We also discuss variations where a prescribed monoid of scalars can be "glued in" to the free construction.

연구 동기 및 목표

• 기본 범주에서부터 단순한 모노이드 범주에서 추적 가능 범주, 컴팩트 폐쇄 범주, 그리고 최종적으로 강력히 컴팩트 폐쇄 범주로의 구조가 증가하는 자유 범주의 명시적이고 합성적인 구성법을 제공하는 것.
• 스칼라의 개념을 도입함으로써 양자역학의 범주론적 프레임워크를 개선하여 정량적 물리적 추론을 가능하게 하는 것.
• 자유 구성법을 확장하여 외부에서 지정된 스칼라 모노이드를 포함시킴으로써 양자 모델에서 진폭(예: 복소수)을 외부적으로 지정할 수 있도록 하는 것.
• 던펄(dagger, 역위) 구조가 이러한 구성법을 통해 어떻게 올라가는지 보여주며, 세링거의 프레임워크와 호환되는 각 자유 범주의 '던펄 판본'을 얻는 것.
• 추적 가능한 대칭 심플렉틱 범주를 통해 켈리-라플라자와 $\Gamma$-구성법(Int) 접근법 사이의 관계를 통합하고 명확히 하는 것.

제안 방법

• 루프를 포함한 문자열 다이어그램의 동치류를 사용하여 자유 추적 가능한 대칭 심플렉틱 범주를 구성하며, 사상은 집합, 순열, 레이블을 포함하는 튜플 $(S, \pi, \lambda)$로 표현된다.
• 다중집합의 합집합과 레이블 재할당을 통해 복합 구조와 모노이드 구조를 정의하며, 추적 구조는 피드백 루프를 允허하는 양형자(요약)를 통해 실행된다.
• 기본 범주에서의 역위 연산을 사용하여 자유 범주에 덤펄 구조를 도입하며, 이는 문자열과 화살표의 방향을 뒤집고 레이블을 쌍대화함으로써 이루어진다.
• 스칼라 매개변수화를 위해 자유 모노이드인 루프 집합을 사용자 지정된 가환 모노이드 $M$으로 대체하며, 루프 평가는 함수 $\varphi$를 통해 $M$으로 매핑된다.
• 자유 강력히 컴팩트 폐쇄 범주를 구성하기 위해 콤마 범주 $(\mathcal{L} \downarrow U_{\mathbf{InvCMon}})$를 공식화한다.
• 모든 구성법을 거쳐 덤펄 구조를 올려, 세링거의 작업에서 정의된 덤펄 컴팩트 폐쇄 범주 개념과 호환됨을 보장한다.

실험 결과

연구 질문

• RQ1 기본 범주로부터 자유 추적 가능한 대칭 심플렉틱 범주를 어떻게 명시적이고 조합론적으로 구성할 수 있는가?
• RQ2 자유 컴팩트 폐쇄 범주 맥락에서 켈리-라플라자 구성법과 $\mathrm{Int}$-구성법 사이의 정확한 관계는 무엇인가?
• RQ3 지정된 스칼라 모노이드를 자유 강력히 컴팩트 폐쇄 범주에 어떻게 통합하면서도 범주론적 구조를 유지할 수 있는가?
• RQ4 던펄(역위) 구조는 자유 구성법을 통해 어떻게 올라가며, 강력한 컴팩트 폐쇄 개념과 어떤 관계가 있는가?
• RQ5 문자열 다이어그램의 기하학적이고 조합론적 직관을 활용하여 고차원 범주론적 구조에서의 자유 구성법에 대해 합성적이고 접근 가능한 서술을 제공할 수 있는가?

주요 결과

• 논문은 기존 문헌에서의 격차를 메우며, 기본 범주에 대한 자유 추적 가능한 대칭 심플렉틱 범주의 첫 번째 명시적이고 조합론적 구성법을 제공한다.
• 자유 컴팩트 폐쇄 범주는 자유 추적 가능한 대칭 심플렉틱 범주의 몫으로 구성될 수 있음을 입증함으로써, 켈리-라플라자 구성법과 $\mathrm{Int}$-구성법 접근법 사이의 연결 고리를 명확히 했다.
• 자유 강력히 컴팩트 폐쇄 범주의 구성법이 자유 컴팩트 폐쇄 범주에 덤펄 구조를 추가한 것과 동치임을 보였으며, 기저 범주에서의 역위 연산이 이에 따라 올라간다.
• 사용자 정의된 모노이드 $M$을 가진 자유 강력히 컴팩트 폐쇄 범주를 위한 새로운 구성법을 제안하였으며, 여기서 루프 평가는 함수 $\varphi$를 통해 $M$으로 매핑되며, 모노이드 연산이 다중집합의 합집합을 대체한다.
• 자유 범주에서의 덤펄 구조는 문자열 방향을 뒤집고 레이블을 쌍대화함으로써 정의되며, 컴팩트 폐쇄 구조와 호환되며 덤펄 컴팩트 폐쇄 범주를 유도한다.
• 최종 자유 범주의 스칼라 모노이드는 정확히 지정된 모노이드 $M$과 일치하며, 이는 양자 이론의 정량적 요소를 모델링하는 데 있어 구성법이 매우 융통성 있고 정밀함을 보여준다.