양자와 고전 구조의 비결정론적 계산

초록

본 논문은 범주론적 양자역학에서 고전 구조가 관계(Category of Relations) 내에서는 아벨 군들의 직합(biproduct)과 동형임을 증명한다. 관계를 비결정론적 프로그램의 의미론으로 해석하면, 전통적인 고전 계산 영역에서도 비표준 양자 구조가 풍부하게 존재함을 보여준다. 그러나 이러한 구조는 직접적인 물리적 인터페이스를 제공하지 않아, 온톨로지와 인식론 사이의 격차(ontic‑epistemic gap)를 드러낸다.

상세 분석

범주론적 양자역학(Categorical Quantum Mechanics, CQM)에서는 ‘고전 구조(classical structure)’가 양자 시스템과 고전적인 데이터 사이의 인터페이스 역할을 한다. 전통적인 힐베르트 공간 모델에서는 이러한 구조가 정규 직교 기저와 일대일 대응한다는 것이 알려져 있다. 논문은 이와는 다른, 보다 단순한 카테고리인 관계(Rel) 카테고리를 대상으로 고전 구조를 탐구한다. 관계 카테고리는 객체가 집합, 사상이 집합 사이의 관계인 2‑카테고리이며, 합성은 관계의 합성, 텐서곱은 카르테시안 곱으로 정의된다. 이 카테고리는 비결정론적 프로그램의 의미론으로 해석될 수 있다; 하나의 입력에 대해 여러 가능한 출력이 존재하는 비결정론적 연산을 관계로 표현한다.

논문의 핵심 정리는 ‘관계 카테고리에서의 고전 구조는 정확히 아벨 군들의 직합(biproduct)과 동형이다’라는 것이다. 여기서 직합은 카테고리론적 의미에서의 직접합과 직접곱이 동시에 존재하는 구조를 의미한다. 아벨 군은 자체적으로 코모노이드와 모노이드를 동시에 갖는 대칭적 구조를 제공한다. 따라서 관계 카테고리 내에서 고전 구조를 정의하려면, 객체가 여러 아벨 군의 직합 형태로 분해될 수 있어야 하며, 복사와 삭제 연산(코모노이드) 및 결합과 단위 연산(모노이드)이 각각 군 연산과 일치한다. 저자들은 이 동형성을 보이기 위해 고전 구조의 공리(특히, Frobenius 법칙과 특수성)를 관계에 적용하고, 그 결과가 정확히 군의 덧셈 구조와 일치함을 증명한다.

이 결과는 몇 가지 중요한 컴퓨테이션적 해석을 낳는다. 첫째, 비결정론적 프로그램이 관계로 모델링될 때, 프로그램 내부에 숨겨진 ‘양자적’ 구조가 아벨 군의 직합 형태로 존재한다는 점이다. 이는 전통적인 비결정론적 알고리즘이 실제로는 복수의 선형(abelian) 상태 공간을 동시에 다루는 일종의 ‘양자적’ 병렬성을 내포하고 있음을 시사한다. 둘째, 이러한 구조는 물리적 양자 시스템과 직접 연결되지 않는다. 즉, 관계 카테고리에서는 고전 구조가 존재하지만, 그것이 물리적 양자 비트(qubit)와 같은 실체와 매핑되지 않으므로, 온톨로지(실재)와 인식론(우리의 관측·표현) 사이에 격차가 발생한다. 저자들은 이를 ‘온톨로지‑인식론 격차(ontic‑epistemic gap)’라 명명하고, 양자 이론의 철학적 논의와 연결시킨다.

결과적으로, 논문은 관계 카테고리라는 전통적인 컴퓨터 과학 모델에서도 고전 구조와 양자 구조 사이의 깊은 수학적 연관성을 드러내며, 비결정론적 계산이 양자적 사고와 어떻게 교차할 수 있는지를 새로운 관점으로 제시한다.