Definition
파울리 군을 켤레 변환으로 파울리 군 자신에 보내는 유니터리 연산자들의 집합으로, 양자 오류정정과 측정 기반 양자계산의 핵심 구조를 이룬다.
클리퍼드 군 (Clifford Group)
(1) 직관적 비유
체스판의 말(폰·나이트·비숍…)을 '파울리 연산자'에 비유한다면, 클리퍼드 군은 판 위의 규칙을 바꾸지 않으면서 말들을 서로 교환해 주는 변환들의 모임이다. 어떤 클리퍼드 변환을 적용해도 파울리 연산자는 여전히 파울리 연산자로 남는다.
(2) 엄밀한 정의
$n$-큐비트 파울리 군 $\mathcal{P}_n$에 대해, 클리퍼드 군은 $$\mathcal{C}_n = { U \in \mathrm{U}(2^n) \mid U P U^\dagger \in \mathcal{P}_n,; \forall P \in \mathcal{P}_n }$$ 로 정의되는 유니터리 군이다(위상 동치류). 대표 생성원은 하다마르(H), 위상 게이트(S), CNOT이며, 이 세 게이트만으로 $\mathcal{C}_n$ 전체를 생성할 수 있다.
(3) 중요성 및 응용
- 고토-닐 정리(Gottesman-Knill Theorem): 클리퍼드 게이트만으로 구성된 회로는 고전 컴퓨터에서 $O(n^2)$ 시간에 효율적으로 시뮬레이션 가능하다. 역설적으로, 이는 클리퍼드 군 단독으로는 양자 이점을 얻을 수 없음을 의미한다.
- 오류정정: 안정화군(stabilizer) 형식주의의 기반으로, 표면 코드 등 대부분의 양자 오류정정 코드가 클리퍼드 연산으로 기술된다.
- 랜덤화 벤치마킹(RB): 클리퍼드 게이트를 무작위로 적용해 실제 양자 하드웨어의 평균 게이트 오류율을 측정하는 표준 기법이다.
- 마법 상태 주입: 보편 양자계산을 위해 비-클리퍼드 게이트(예: $T$ 게이트)를 클리퍼드 회로에 '마법 상태'로 주입하는 방식으로 결합한다.
