GHZ와 W 계산법의 정규형 탐구

초록

**
본 논문은 GHZ/W 그래프 계산법에서 단순·정규 그래프에 대한 정규형을 제시한다. 정의된 ‘단순’과 ‘정규’ 조건을 만족하는 그래프는 입력·출력·루프·틱 수만으로 고유하게 규정되며, 이를 통해 해당 그래프가 나타내는 다중 입자 양자 상태를 SLOCC 관점에서 명확히 식별할 수 있다.

**

상세 분석

**
GHZ/W 계산법은 대칭 모노이달 범주 FdHilb 내에서 커뮤테이티브(가환) 프뢰베니우스 대수(CFA)를 이용해 GHZ와 W 두 종류의 삼중 얽힘 상태를 그래픽적으로 표현한다. 논문은 먼저 CFA의 구조와 그에 대응하는 ‘스파이더’(spider)와 ‘컵·캡’(cup·cap) 규칙을 정리하고, 스페셜 CFA(SCF A)와 안티‑스페셜 CFA(ACF A)가 각각 GHZ와 W 상태와 일대일 대응함을 재확인한다.

핵심은 ‘단순(simple)’ 그래프와 ‘정규(regular)’ 그래프라는 두 가지 제한된 클래스에 대해 정규형을 구축한 점이다. 단순 그래프는 틱(tick)이라는 클래식 구조를 제외하고 모든 노드를 연결 가능한 경우를 의미한다. 이 경우 그래프는 입력·출력·루프·틱 수만으로 완전히 규정되며, 그 정규형은 CFA의 기본 스파이더 형태 혹은 제로 맵(zero map)으로 귀결된다. 특히 틱이 하나라도 존재하면, 틱을 제거한 뒤 남은 그래프를 정규형으로 변환하고, 마지막에 틱을 다시 삽입함으로써 전체 그래프를 동일한 정규형으로 복원한다.

정규 그래프는 GHZ와 W 노드가 서로 섞여 있는 구조이며, GHZ‑W 쌍의 경계를 이루는 에지를 제거하면 두 개의 독립된 서브그래프(하나는 전부 GHZ, 다른 하나는 전부 W)로 분리된다. 각 서브그래프는 앞서 정의한 단순 그래프 정규형에 따라 표현될 수 있다. 남은 교차 에지는 ‘혼합 형태(mixed morphism)’ M₁, M₂ 로 나타내며, 논문은 이 혼합 형태에 대해 틱 수 t와 루프 수 l 의 관계에 따라 6가지 경우로 나누어 구체적인 축소 규칙을 제시한다. 예를 들어 t=0이면 항상 동일한 스파이더 형태가 되고, t와 l이 특정 관계를 만족하지 않으면 결과가 제로 맵이 된다. 이러한 규칙은 FdHilb 내에서의 사칙연산과 동일시될 수 있어, 그래프 변환이 양자 상태의 SLOCC 등가성을 보존함을 보장한다.

또한 논문은 정규형이 존재함을 보이기 위해 바이알제브라(bialgebra) 법칙, 코프리오드(coproduct)·곱(product) 연산의 상호작용, 그리고 ‘틱’이 NOT 게이트와 동일함을 활용한다. 이를 통해 복잡한 다중 입자 얽힘 그래프를 단순한 스파이더와 제한된 혼합 형태의 조합으로 분해함으로써, 그래프 기반 양자 회로 설계와 자동화 검증에 실용적인 도구를 제공한다.

전체적으로 이 연구는 GHZ/W 계산법의 표현력을 유지하면서도, 그래프 구조를 정규형으로 단순화하는 방법론을 제시함으로써, SLOCC 분류와 양자 프로토콜 설계에 있어 그래픽적 직관성을 크게 향상시킨다. 향후 일반 그래프에 대한 정규형 확장과 자동화 도구 개발이 기대된다.

**