표면 부호(Surface Code)의 구조와 오류 정정 원리

개념 소개

양자 오류 정정에서 표면 부호(surface code)는 2차원 평면 격자 위에 큐비트를 배치해 논리 큐비트를 인코딩하는 안정자 부호(stabilizer code)다. Kitaev의 원환면 부호(toric code)를 평면 경계 조건으로 변형한 형태로, 현재 가장 현실적인 양자 컴퓨터 구현 후보로 주목받는다. 물리 큐비트들이 국소적으로만 상호작용하면 되기 때문에 초전도 큐비트·이온 트랩 등 현재 하드웨어 구조와 자연스럽게 호환된다.

---

핵심 원리

격자 구조

코드 거리(code distance) $d$의 표면 부호는 $d\times d$ 격자로 배치된 데이터 큐비트와 그 사이에 삽입된 보조(ancilla) 큐비트로 구성된다. 전체 물리 큐비트 수는 $2d^2-1$개이며, 이 중 데이터 큐비트 $d^2$개, 보조 큐비트 $d^2-1$개가 할당된다. 이 부호는 $\lfloor (d-1)/2\rfloor$개의 임의 단일 큐비트 오류를 정정할 수 있다.

격자를 바둑판 형태로 색칠하면, 흰색 면(플라켓)은 Z형 안정자, 검은색 면은 X형 안정자에 대응된다.

안정자 연산자

각 안정자는 인접한 데이터 큐비트들에만 작용하는 국소 연산자다.

• X형 안정자(플라켓 연산자): 플라켓 $p$의 경계 데이터 큐비트들에 파울리 $X$ 적용 $$A_p=\prod _{i\in \partial p}{X}_i$$

• Z형 안정자(꼭짓점 연산자): 꼭짓점 $v$에 인접한 데이터 큐비트들에 파울리 $Z$ 적용 $$B_v=\prod _{i\in \text{star}(v)}{Z}_i$$

코드 공간은 모든 안정자의 공통 $+1$ 고유 공간으로 정의된다: $${\mathcal{H}}_{\text{code}}=\{|\psi ⟩|A_p|\psi ⟩=|\psi ⟩,B_v|\psi ⟩=|\psi ⟩\forall p,v\}$$

임의의 $A_p$와 $B_v$는 반드시 짝수 개의 큐비트를 공유하므로 $[A_p,B_v]=0$이 성립하며, 동시 측정이 가능하다.

논리 연산자

논리 큐비트의 $\bar{X}$와 $\bar{Z}$ 연산자는 격자 전체를 가로지르는 **문자열 연산자(string operator)**다.

연산자	경로
$\bar{X}$	왼쪽 경계 → 오른쪽 경계를 잇는 수평 X 파울리 문자열
$\bar{Z}$	위쪽 경계 → 아래쪽 경계를 잇는 수직 Z 파울리 문자열

두 문자열은 정확히 한 데이터 큐비트에서 교차하므로 반교환 관계 $\bar{X}\bar{Z}=-\bar{Z}\bar{X}$를 만족한다. 코드 거리 $d$는 이 논리 연산자의 **최솟값 무게(minimum weight)**와 같다.

증후군 측정과 오류 정정

오류가 발생하면 일부 안정자 측정값이 $-1$이 된다. 이 $-1$ 결과들의 집합이 **오류 증후군(error syndrome)**이다. 증후군 측정은 논리 정보를 파괴하지 않으며, 이를 분석해 가장 가능성 높은 오류 패턴을 추론한 뒤 교정 연산을 적용한다. 이 과정은 주로 최소 중량 완전 매칭(MWPM, Minimum Weight Perfect Matching) 알고리즘으로 수행된다.

---

예시·응용

거리-3 표면 부호 회로 예시

$d=3$ 표면 부호는 9개 데이터 큐비트와 8개 보조 큐비트(X형 4개, Z형 4개)로 구성되며, 단일 큐비트 오류 1개를 정정한다. 아래는 Qiskit으로 Z형 안정자 하나를 측정하는 간단한 예시다.

from qiskit import QuantumCircuit, QuantumRegister, ClassicalRegister

data = QuantumRegister(9, 'd')
anc  = QuantumRegister(8, 'a')
creg = ClassicalRegister(8, 'c')
qc   = QuantumCircuit(data, anc, creg)

# Z형 안정자: d[0], d[1], d[3], d[4]에 작용 (hadamard 후 CNOT)
qc.h(anc[0])
for q in [0, 1, 3, 4]:
    qc.cx(data[q], anc[0])
qc.h(anc[0])
qc.measure(anc[0], 0)   # 증후군 비트 획득

오류 임계값

표면 부호의 이론적 오류 임계값은 약 **1%**다. 물리 오류율 $p$가 임계값 $p_{\text{th}}$ 아래에 있으면, 거리 $d$를 늘릴수록 논리 오류율이 지수적으로 감소한다:

$$p_L\sim {\left(\frac{p}{p_{\text{th}}}\right)}^{\lfloor (d+1)/2\rfloor }$$

Google, IBM 등 주요 기관이 표면 부호를 핵심 오류 정정 방식으로 채택하는 이유는 이 높은 임계값과 국소 연결성 요구 조건에 있다.

---

정리

표면 부호는 2차원 격자 위의 X형·Z형 국소 안정자들로 단 하나의 논리 큐비트를 인코딩하며, 코드 거리 $d$에 비례해 오류 정정 능력이 향상된다. 오류 증후군은 안정자 측정으로 비파괴적으로 추출되고, MWPM 알고리즘으로 최적 교정 연산이 결정된다. 높은 오류 임계값과 2D 국소 상호작용 조건은 표면 부호를 내결함성 양자 컴퓨팅의 현실적 토대로 만든다.