실제 클리포드+CH 회로를 위한 완전 방정식 이론

초록

본 논문은 실수 클리포드 게이트와 제어된 Hadamard 게이트(CH)만으로 구성된 양자 회로 집합에 대해, 모든 의미론적 동등성을 유도할 수 있는 최소한의 방정식 집합을 제시하고 그 완전성을 증명한다. 파라미터화된 게이트나 보조 비트를 필요로 하지 않는 최초의 유한 생성 보편적 프래그먼트이다.

상세 분석

논문은 먼저 Real‑Clifford+CH 프래그먼트를 PROP(또는 PRO) 구조로 정형화한다. 기본 생성자는 1‑qubit Hadamard(H), Pauli‑Z, 2‑qubit 제어‑Z(CZ)와 제어‑Hadamard(CH)이며, 순차·병렬 합성, 교환·동형성 법칙을 통해 회로를 자유롭게 구성한다. Figure 1에 제시된 PROP 공리(a)–(g)는 회로의 위상 변형과 와이어 길이 무관성을 보장한다. 추가적으로, 실수 클리포드 게이트들의 표준 형태(H, Z, CNOT 등)를 매크로로 정의하고, 다중 제어 게이트와 P ⊗ P와 같은 특수 단축표현을 도입한다. 특히 P = R_Y(π/4)·Z·S·H·T·H·S 로 정의된 복소수 위상 변환은 실수 회로 안에서는 구현 불가능하지만, P⊗P는 두‑qubit 게이트들의 조합으로 구현 가능하므로 논문은 이를 대시선으로 표시한다.

핵심 기여는 Figure 4에 제시된 19개의 방정식(19번은 n≥5에 대한 스키마)이다. (1)–(10)과 (12)–(15)는 기존 클리포드·ZX‑계산식과 유사한 항등식이며, (11), (16), (17)은 양의 제어와 음의 제어가 서로 교환될 수 있음을 나타낸다. (18)과 (19)는 다중 제어 게이트의 구조적 성질을 포괄적으로 기술한다. 모든 방정식은 원시 회로에 대한 동치성을 보장하며, Proposition 3.1에서 직접 계산과 귀납을 통해 사운드함을 증명한다.

완전성 증명은 외부 언어인 U_n(ℤ