다중당사자 양자 얽힘을 위한 Z 상태 대수와 가변형 증류 프로토콜

초록

본 논문은 W‑상태를 일반화한 Z‑상태의 대수를 정립하고, Z‑상태의 합성 정리와 2k‑국소 증류 정리를 제시한다. 이를 기반으로 입력 상태와 보조 Z‑상태를 이용해 원하는 Z‑상태를 단계적으로 얻을 수 있는 가변형 다중당사자 얽힘 증류 프로토콜을 설계한다. 프로토콜의 흐름을 그래픽으로 나타내어 직관성을 높였으며, 손실 없는 증류와 점진적 제조 예시를 통해 실용성을 입증한다.

상세 분석

Z‑상태는 N개의 큐비트 중 정확히 k개가 |1⟩, 나머지가 |0⟩인 대칭 다중입자 상태로, k=1일 때는 전통적인 W‑상태와 일치한다. 논문은 먼저 Z‑상태가 속하는 부분공간 ℋ(N,k)와 그 차원 C(N,k)를 정의하고, 완전 대칭 상태 |Z_k⟩ 을 모든 가능한 조합의 균등 가중 합으로 명시한다. 이때 정규화 계수는 √C(N,k)이며, 0‑1 대칭성을 통해 |Z_k⟩와 |Z_{N‑k}⟩가 서로 변환 가능함을 보인다.

핵심 이론은 두 가지이다. 첫 번째인 합성 정리(Theorem 1)는 임의의 M(≤N)과 k에 대해 |Z_k⟩을 M개의 큐비트와 N‑M개의 큐비트 부분으로 분해한 뒤, 각 부분의 Z‑상태와 조합하여 원래 상태를 재구성한다는 식을 제시한다. 이는 조합론적 항등식 Σ_{j} C(M,j)·C(N‑M,k‑j)=C(N,k)와 일치하며, Z‑상태를 작은 블록으로 나누어 병렬 처리할 수 있음을 의미한다.

두 번째인 2k‑국소 증류 정리(Theorem 2)는 두 개의 Z‑상태 |Z_k⟩_A와 |Z_k⟩B를 이용해, 각 상태에서 k개의 큐비트를 선택하고 로컬 연산(측정·투사)만으로 |Z{k+ℓ}⟩ 형태의 더 높은 얽힘을 가진 상태를 얻을 수 있음을 증명한다. 여기서 ℓ는 선택된 부분의 교차 패턴에 따라 결정되며, 전체 시스템의 크기는 2k만큼 감소한다. 증명은 합성 정리를 두 번 적용해 A와 B의 부분 상태를 결합하고, 특정 투사 연산 X₀를 통해 원하는 조합만 남기는 과정으로 구성된다.

이 두 정리를 바탕으로 논문은 “가변형 얽힘‑증류 프로토콜”을 제시한다. 프로토콜은 (1) 입력 Z‑상태와 필요 시 보조 Z‑상태를 준비하고, (2) 각 상태에서 k개의 큐비트를 선택해 2k‑국소 투사 연산을 수행하는 단계로 이루어진다. 위 과정을 원하는 횟수만큼 반복함으로써 목표 N과 k에 맞는 Z‑상태를 얻을 수 있다. 프로토콜 파라미터는 (a) 증류 사이클 수와 (b) 선택 큐비트 수(k)이며, 이를 조절해 손실 없는 정확한 증류, 점진적 규모 확대, 혹은 특정 파티션에 맞춘 맞춤형 얽힘 생성이 가능하다.

그래픽 표현에서는 각 Z‑상태를 원형 사각형, 준비 단계는 화살표, 투사 단계는 다각형으로 시각화해 전체 흐름을 한눈에 파악하도록 설계했다. 예시로는 (i) 두 Z_k(N₁)와 Z_k(N₂)로부터 손실 없이 Z_k(N₁+N₂)를 얻는 두 사이클 증류, (ii) Z_k(2k+1) 상태만을 이용해 점진적으로 N을 증가시키는 “증분 제조” 절차를 제시한다. 특히 k=1인 경우는 기존 W‑상태 증류와 동일한 구조를 가지며, 기존 실험적 구현과 직접 연결될 수 있다.

전반적으로 Z‑상태 대수는 W‑상태의 한계를 넘어선 자유도를 제공하고, 합성·증류 정리는 이 자유도를 효율적으로 활용할 수 있는 수학적 기반을 제공한다. 프로토콜은 로컬 연산만으로 다중당사자 시스템에서 원하는 대칭 얽힘을 설계·제어할 수 있게 하여, 양자 네트워크, 분산 시계 동기화, 토폴로지 양자 컴퓨팅 등 다양한 응용 분야에 직접적인 영향을 미칠 것으로 기대된다.