Definition
단일 큐비트 파울리 행렬 {I, X, Y, Z}에 위상 인수(±1, ±i)를 곱하여 닫힌 군을 이루는 16개 원소의 집합으로, 양자 오류 정정과 안정자 형식론의 핵심 대수 구조이다.
파울리 군 (Pauli Group)
(1) 직관적 비유
큐비트를 '방향이 있는 동전'이라 할 때, 파울리 군은 그 동전에 가할 수 있는 기본 뒤집기·돌리기 동작의 전체 목록이다. 어떤 순서로 조합해도 결국 목록 안의 동작 하나로 귀결된다는 점이 군(group)의 핵심이다.
(2) 엄밀한 정의
단일 큐비트 파울리 군 $\mathcal{G}_1$은 다음 16개 원소로 구성된다.
$$\mathcal{G}_1 = {\pm 1, \pm i} \times {I, X, Y, Z}$$
여기서 파울리 행렬은 $$X=\begin{pmatrix}0&1\1&0\end{pmatrix},\quad Y=\begin{pmatrix}0&-i\i&0\end{pmatrix},\quad Z=\begin{pmatrix}1&0\0&-1\end{pmatrix}$$ 이며, 위상 인수 ${\pm1, \pm i}$는 곱셈에 대한 닫힘을 보장하기 위해 반드시 포함된다. $n$-큐비트로 확장하면 $\mathcal{G}_n$은 $4^{n+1}$개 원소를 가지며, $n$-중 텐서곱 파울리 연산자 전체를 포괄한다.
(3) 중요성 및 응용
- 안정자 형식론: 파울리 군의 가환 부분군(안정자 군)이 양자 상태를 효율적으로 기술하며, 수백 큐비트 시뮬레이션을 고전 컴퓨터로 가능하게 한다.
- 양자 오류 정정: 비트 반전(X)·위상 반전(Z) 오류를 파울리 군 원소로 분류하여 체계적으로 진단·교정한다.
- 클리퍼드 군: 파울리 군을 그 자신으로 켤레 변환(conjugation)하는 유니타리 연산의 집합이 클리퍼드 군을 이루며, 결함 허용 양자 계산의 기반이 된다.
