ZX 계산법으로 보는 GHZ 초밀도 코딩과 W 상태 양자키 분배

초록

본 논문은 ZX-계산법을 이용해 GHZ 상태 기반 초밀도 코딩과 W 상태 기반 양자키 분배(QKD) 프로토콜을 시각적으로 재구성한다. 기존 디랙 표기법의 복잡성을 해소하고, 카테고리 양자역학의 도구로 보안 프로토콜을 검증한다는 점이 핵심이다.

상세 분석

이 연구는 양자 정보 과학에서 두드러진 두 가지 주제, 즉 초밀도 코딩(Superdense Coding)과 양자키 분배(QKD)를 ZX-계산법이라는 그래픽 언어로 재해석한다. ZX-계산법은 코에케와 던컨이 제안한 다이어그램 기반의 범주론적 양자역학 프레임워크로, Z-스파이너와 X-스파이너라는 두 기본 생성자를 통해 모든 유니터리 연산과 측정을 표현한다. 논문은 먼저 GHZ 상태 |GHZ⟩ = (|000⟩+|111⟩)/√2 를 ZX-다이어그램으로 나타내고, 송신자(Alice)가 두 비트 정보를 Z-스파이너와 X-스파이너의 조합으로 인코딩하는 과정을 상세히 전개한다. 이때 인코딩 연산은 단순히 색(녹색/빨강)과 위상(0,π) 변환으로 시각화되며, 수학적 증명 없이도 다이어그램의 연결 구조만으로 변환이 올바른지 검증할 수 있다. 수신자(Bob)는 동일한 ZX-연산을 역으로 적용해 원래 GHZ 상태를 복원하고, 측정을 통해 두 비트를 정확히 복구한다. 이 과정은 기존 디랙 표기법에서 요구되는 복잡한 텐서 곱 연산과 행렬 계산을 대폭 간소화한다.

다음으로 W 상태 |W⟩ = (|001⟩+|010⟩+|100⟩)/√2 를 이용한 QKD 프로토콜을 제시한다. W 상태는 GHZ와 달리 비대칭적인 얽힘 구조를 가지고 있어, 특정 파티클을 측정해도 남은 두 파티클은 여전히 얽혀 있다. 논문은 이 특성을 ZX-다이어그램으로 표현함으로써, 각 참여자(Alice, Bob, Charlie)가 수행하는 측정 및 클래식 채널을 통한 정보 교환을 시각적으로 추적한다. 특히, 보안성 증명에서는 “스파이너 규칙”과 “플러그인 규칙”을 활용해, 악의적인 제3자(Eve)의 개입이 다이어그램에 삽입될 경우 전체 회로가 비정상적인 위상 변화를 일으키는 것을 보여준다. 이러한 위상 불일치는 최종 키의 오류율 상승으로 이어지며, 양자 오류 검출 메커니즘과 동일한 역할을 한다.

핵심 통찰은 ZX-계산법이 양자 프로토콜의 구조적 특성을 직접 드러낸다는 점이다. 얽힘, 측정, 클래식 통신이 모두 선(線)과 노드(節)로 표현되므로, 프로토콜 설계자는 “어디에 어떤 스파이너가 삽입되는가”만으로도 전체 연산의 정당성을 판단할 수 있다. 이는 특히 보안 프로토콜에서 공격 경로를 시각적으로 탐색하고, 보안 증명을 직관적으로 구성하는 데 큰 장점을 제공한다. 또한, GHZ와 W라는 서로 다른 얽힘 유형을 동일한 언어로 다룰 수 있다는 점은 ZX-계산법이 범용적인 양자 정보 도구임을 입증한다.