컴팩트하게 접근 가능한 범주와 양자키 배포

초록

이 논문은 기존의 컴팩트 범주의 한계를 극복하기 위해 ‘컴팩트하게 접근 가능한 범주’를 정의하고, 이 구조를 이용해 무한 차원의 양자 시스템을 다루면서도 컴팩트 범주의 핵심 성질을 보존한다. 핵심 정리로는 컴팩트 부분에서 정의된 이중성 선택함수가 전체 범주로 자연스럽게 확장된다는 점이며, 이를 통해 대수적 확률법칙을 필요로 하는 양자키 배포(QKD) 프로토콜을 범주론적으로 모델링하고 정밀히 검증한다.

상세 분석

논문은 먼저 전통적인 컴팩트 폐쇄 범주의 정의와 그 물리학적 응용을 재조명한다. 컴팩트 범주는 모든 객체가 강한 이중성을 갖고, 텐서곱과 내부 함수를 통해 ‘역전’ 구조를 제공한다는 점에서 양자 회로와 선형 연산자를 모델링하는 데 탁월하지만, 본질적으로 유한 차원에 국한된다. 이는 대수적 대수와 확률론적 수렴을 필요로 하는 양자 정보 프로토콜, 특히 대규모 시퀀스에 의존하는 양자키 배포(QKD)와 같은 사례를 포착하지 못한다는 한계로 이어진다.

이를 해결하기 위해 저자는 ‘팩터라이제이션 시스템(분해 체계)’을 도입한다. 구체적으로, 범주 C에 두 개의 클래스 E(에피모르피즘)와 M(모노모르피즘)가 주어져, 각 사상은 E와 M의 합성으로 유일하게 분해될 수 있다고 가정한다. 이 구조는 일반적인 접근 가능(accessible) 범주의 ‘λ-필터링’ 개념과 유사하지만, 여기서는 특히 E가 ‘compact‑preserving’ 성질을, M이 ‘limit‑preserving’ 성질을 유지하도록 설계한다.

‘컴팩트하게 접근 가능한 범주(Compactly Accessible Category, CAC)’는 다음 두 조건을 만족한다. 첫째, C는 λ-접근 가능이며, 모든 λ-소형 객체가 컴팩트 객체이다. 둘째, E‑사상은 컴팩트 객체 사이에서만 존재하고, M‑사상은 일반 객체 사이에서 자유롭게 작용한다. 이러한 설계는 무한 차원의 힐베르트 공간을 포함하는 객체들을 허용하면서도, 컴팩트 객체들 사이에서는 기존 컴팩트 범주의 이중성 구조를 그대로 유지한다는 장점을 제공한다.

핵심 정리는 ‘선택된 이중성(choice‑of‑duals) 함수가 컴팩트 부분에서 전체 CAC로 자연스럽게 확장된다’는 것이다. 구체적으로, 컴팩트 부분 C_c에 정의된 이중성 펑터 (–)∗ : C_c^{op} → C_c는 E‑사상의 보존성을 이용해 C 전체에 대해 **(–)∗**를 정의할 수 있다. 이때, 각 객체 X에 대해 **X∗**는 X와 X∗ 사이의 평가·공동 평가 사상이 E‑사상과 M‑사상의 조합으로 구성되며, 삼각법칙과 요크-라멜다(요크-라멜다) 동형성도 그대로 성립한다. 이는 기존 컴팩트 범주에서의 ‘모든 객체는 자체 이중성을 갖는다’는 성질을 무한 차원으로 확장한 것으로, 양자 정보 이론에서 필수적인 ‘채널의 역전’과 ‘상태와 효과의 쌍대 관계’를 보존한다.

이론적 토대를 바탕으로 저자는 BB84와 같은 대표적인 QKD 프로토콜을 범주론적으로 모델링한다. 프로토콜의 핵심 단계—준비, 전송, 측정, 그리고 공개 채널을 통한 오류 정정 및 프라이버시 증폭—를 각각 E‑사상(준비와 전송)과 M‑사상(측정과 오류 정정)으로 표현한다. 특히, 대수적 대수법칙(Law of Large Numbers)을 필요로 하는 ‘키 추출’ 단계는 무한 차원의 텐서곱 ⊗_{i=1}^{∞} H(여기서 H는 2‑차원 큐비트 힐베르트 공간) 위에서 정의된 colimit를 이용해 구현된다. CAC의 구조 덕분에 이 colimit은 컴팩트 객체들의 필터링 시스템을 통해 수렴성을 보장받으며, 선택된 이중성 펑터가 전체 과정에 일관된 대칭을 제공한다.

마지막으로, 저자는 범주론적 증명 기법을 사용해 프로토콜의 보안성을 검증한다. 핵심 아이디어는 ‘이중성 보존’과 ‘에피모르피즘‑모노모르피즘 분해’가 공격자의 조작을 E‑사상(양자 채널)과 M‑사상(클래식 통신)으로 각각 제한함을 보이는 것이다. 따라서, 공격자는 양자 채널에서 완전한 복제나 측정을 할 수 없으며, 클래식 채널에서는 정보 이론적 한계에 의해 키 비밀성이 유지된다. 이러한 범주론적 보안 증명은 기존의 복잡한 확률론적 분석을 대체하거나 보완할 수 있는 강력한 도구로 제시된다.

요약하면, 이 논문은 팩터라이제이션 시스템을 활용해 컴팩트 범주의 한계를 넘어서는 새로운 범주 구조를 제시하고, 이를 통해 무한 차원 양자 시스템과 대규모 통계적 프로토콜을 일관되게 모델링·검증할 수 있음을 보여준다.