그래프 구조와 방향에 따른 대칭 및 반대칭 양자 상태

초록

본 논문은 표준 CZ 기반 그래프 상태가 완전 그래프일 때만 입자 교환에 대해 완전 대칭임을 증명하고, 방향성을 갖는 완전 그래프와 새로운 비가환 두‑큐딧 게이트 GR을 이용하면 홀수 개 큐딧에서 완전 반대칭(페르미온) 상태를 생성할 수 있음을 제시한다.

상세 분석

논문은 먼저 기존 그래프 상태의 정의를 상기한다. 각 정점은 |+⟩ 상태의 큐비트(또는 큐딧)이며, 무방향 간선은 CZ(또는 CPHASE) 게이트로 연결된다. CZ 게이트는 대각 행렬이므로, 그래프 상태는 초기 |+⟩⊗N의 모든 계산기저 성분을 동일한 진폭으로 보존하면서 일부에만 부호(−1)를 부여한다. 이 특성 때문에 그래프 상태는 기본적으로 입자 교환에 대해 대칭성을 유지한다. 그러나 저자들은 “완전 그래프 K_N”인 경우에만 모든 정점 간의 CZ 게이트가 완전하게 서로 교환 가능하고, 따라서 임의의 순열 연산 Pσ가 단순히 게이트 라벨을 재배열하는 수준에 머물러 상태 자체를 변형시키지 않음을 수학적으로 증명한다(정리 1). 반대로, 그래프가 완전하지 않을 경우 최소 구조 h₁(선형 3‑정점) 혹은 h₂(분리된 정점 하나가 다른 두 정점과 연결) 를 반드시 포함한다. 저자들은 이 두 구조가 각각 CZ(1,2)·CZ(2,3)·|+⟩³와 CZ(1,2)·|+⟩³ 형태의 부분 상태를 만들며, 이러한 부분 상태는 특정 두 정점 교환에 대해 부호가 바뀌어 원래 상태와 달라진다. 따라서 전체 그래프 상태는 교환 대칭을 깨게 된다. 이 논증은 그래프가 연결되었든, 분리되었든 모든 비완전 그래프에 적용 가능함을 보인다.

다음으로, 표준 CZ 기반 그래프 상태가 완전 반대칭(페르미온) 상태를 만들 수 없음을 논증한다. CZ 게이트는 대각 행렬이므로, 초기 |+⟩⊗N의 모든 2ᴺ 계산기저 성분이 비제로 진폭을 유지한다. 반면, 완전 반대칭 상태는 특정 기저 성분이 정확히 소거되는 구조(예: 슬레이터 행렬식)이며, 이는 CZ 게이트만으로는 구현 불가능함을 보여준다.

이 한계를 극복하기 위해 저자들은 새로운 두‑큐딧 게이트 GR을 도입한다. GR(l,k)·|i⟩ₖ|j⟩ₗ = |j⊖i⟩ₖ|j⟩ₗ (⊖는 모듈러 뺄셈) 로 정의되며, 이는 비가환이며 방향성을 필요로 한다. 또한 일반화된 Hadamard H_d와 시프트 X_d 연산자를 도입해, 재귀적으로
|Aₙ⟩ = (∏_{i=1}^{n-1} GR(n,i))·