추상 스칼라와 루프, 자유 트레이스 및 강히 콤팩트 폐쇄 범주

초록

이 논문은 양자역학의 범주론적 정형화에 필요한 스칼라와 루프 개념을 도입하고, 전통적인 콤팩트 폐쇄 범주를 강화한 강히 콤팩트 폐쇄 범주의 구조를 탐구한다. 또한, 트레이스와 강히 콤팩트 폐쇄 범주를 자유롭게 생성하는 단계별 구성 방법을 기하학적·조합론적 관점에서 제시한다.

상세 분석

논문은 먼저 스칼라를 “추상적인 곱셈 단위”로 정의하고, 이를 범주 내부의 동형사상과 연결시켜 물리량의 정량적 해석을 가능하게 한다. 기존의 콤팩트 폐쇄 범주에서는 객체 A와 그 이중 전치 A* 사이에 평가(evaluation)와 공역(coevaluation) 사상이 존재하지만, 스칼라가 명시적으로 포함되지 않아 양자역학에서 필요한 복소수 위상이나 확률 진폭을 표현하기에 부족했다. 저자는 이러한 부족을 메우기 위해 “루프”(loop)라는 개념을 도입한다. 루프는 평가와 공역을 연결하는 닫힌 경로로, 그 자체가 스칼라와 동형인 구조를 형성한다. 즉, 루프를 따라 순환하면 스칼라가 곱해지는 효과가 발생한다는 점에서, 물리적 의미의 “내부 스칼라 곱셈”을 범주 수준에서 구현한다.

다음으로 강히 콤팩트 폐쇄(Strongly Compact Closed, SCC) 범주의 정의를 제시한다. SCC는 기존 콤팩트 폐쇄 범주에 두 가지 추가 조건을 부과한다. 첫째, 모든 객체에 대해 복소수 공액(conjugation)과 같은 반전 연산을 제공하는 ‘dagger’ 구조가 존재한다. 둘째, 평가·공역 사상이 dagger에 대해 서로 전치(transpose) 관계에 놓인다. 이러한 조건은 양자역학의 힐베르트 공간에서의 내적 구조와 정확히 일치한다. 특히, dagger는 물리적 연산의 역전(예: 양자 게이트의 역)과 동일시될 수 있어, 범주론적 모델이 물리적 실험과 직접 연결된다.

핵심 기술은 자유 SCC 범주의 구성이다. 저자는 단계별로 “트레이스 자유 범주 → 트레이스 범주 → SCC 범주”로 확장하는 과정을 제시한다. 각 단계는 다음과 같은 조합론적 아이디어에 기반한다. (1) 객체는 유한한 리스트 혹은 다중집합으로 표현하고, (2) 사상은 “그라프 형태”의 다이어그램으로 나타내며, (3) 루프와 스칼라를 삽입함으로써 사상의 합성 및 텐서곱이 정의된다. 특히, 트레이스는 다이어그램에서 입력과 출력 포트를 연결하는 “폐쇄된 선”으로 구현되며, 이는 그래프 이론의 “고리”(cycle)와 동형이다. 자유 SCC를 만들 때는 추가로 각 사상에 dagger를 부여하고, 그에 맞는 동등관계(동형 사상들의 동등성)를 강제한다. 이 과정에서 “스칼라 모노이드”를 미리 지정하면, 자유 구성에 해당 스칼라를 ‘접착’시켜 원하는 수체계(예: 복소수, 실수, 이산 스칼라)를 반영할 수 있다.

마지막으로 저자는 이러한 자유 구성의 기하학적 직관을 강조한다. 다이어그램을 평면에 그리면, 객체는 점, 사상은 선, 루프는 원형 경로, dagger는 선의 방향을 뒤집는 화살표로 나타난다. 이러한 시각적 모델은 복잡한 범주 연산을 손쉽게 이해하게 하며, 컴퓨터 구현(예: 그래프 기반 자동 증명 도구)에도 유리하다. 전체적으로 논문은 스칼라와 루프를 통해 양자역학의 정량적 요소를 범주론에 자연스럽게 끌어들이고, 자유 SCC의 구성 방법을 구체적이고 직관적으로 제공함으로써 이론과 실용 사이의 격차를 메우는 중요한 기여를 한다.