안정화 부호

직관적 비유

여러 감시 카메라가 구역을 동시에 모니터링한다고 상상해 보자. 각 안정화 연산자는 "오류 없음 → +1, 오류 있음 → −1"을 보고하는 감시자다. 어떤 감시자가 −1을 반환하는지 조합하면—큐비트의 논리 정보를 직접 건드리지 않고도—오류의 위치와 종류(비트 반전·위상 반전)를 진단하고 복원할 수 있다.

엄밀한 정의

$n$-큐비트 파울리 군 ${\mathcal{P}}_n$의 가환 부분군 $\mathcal{S}$가 $-I\notin \mathcal{S}$를 만족할 때, 부호 공간은 $$\mathcal{C}=\{|\psi ⟩:g|\psi ⟩=|\psi ⟩,\forall g\in \mathcal{S}\}$$ 로 정의된다. $\mathcal{S}$의 독립 생성원 수가 $m$이면, $n$개의 물리적 큐비트로 $k=n-m$개의 논리적 큐비트를 인코딩한다. 오류 $E$는 어떤 $g\in \mathcal{S}$와 반교환할 때 검출되며, 측정 결과 패턴인 오류 증후군으로 오류를 특정한다.

중요성·응용

• 통합 틀: 스틴 $[[7,1,3]]$ 부호, 표면 부호, 색 부호 등 현재 주요 하드웨어에서 구현 중인 부호가 모두 이 형식론에 속한다.
• 효율적 고전 시뮬레이션: 고트만–닐 정리에 의해 클리퍼드 게이트만으로 구성된 회로는 고전 컴퓨터로 다항 시간에 시뮬레이션 가능하여, 부호 설계·검증에 활용된다.
• 결함 허용 양자 계산의 핵심 구성 요소로, 논리적 게이트 구현 및 임계 정리(threshold theorem)의 기반을 이룬다.