표면 부호(Surface Code)의 구조와 동작 원리

개념 소개

물리 큐비트는 환경과의 상호작용으로 비트 반전(X 오류) 및 위상 반전(Z 오류)이 불가피하게 발생한다. 이를 극복하기 위한 양자 오류 정정 체계 중 **표면 부호(Surface Code)**는 Alexei Kitaev의 토릭 부호(Toric Code)에서 출발하여, 경계가 있는 평면 격자로 확장된 형태이다. 핵심 매력은 세 가지다: 국소 측정만 요구, 높은 오류 임계율, 단일 논리 큐비트 인코딩. 현재 가장 널리 연구되는 변형은 **회전 표면 부호(Rotated Surface Code)**로, 동일한 부호 거리 $d$에서 필요한 물리 큐비트 수를 최소화한 구조이다.

---

핵심 원리

격자 구조와 큐비트 배치

거리 $d$의 회전 표면 부호는 $d\times d$ 격자에 $d^2$개의 데이터 큐비트를 배치한다. 격자의 체커보드 패턴에 따라 각 셀에는 X형 안정자 또는 Z형 안정자를 측정하는 **보조 큐비트(ancilla qubit)**가 할당된다.

구성 요소	개수
데이터 큐비트	$d^2$
X형 보조 큐비트	$\frac{d^2-1}{2}$
Z형 보조 큐비트	$\frac{d^2-1}{2}$
총 물리 큐비트	$2d^2-1$

이 구조로 1개의 논리 큐비트를 인코딩한다.

안정자 형식론과 코드 공간

코드 공간 $\mathcal{C}$는 모든 안정자 생성원의 공통 $+1$ 고유 상태로 정의된다:

$$\mathcal{C}=\left\{|\psi ⟩|S_i|\psi ⟩=+1|\psi ⟩,\forall i\right\}$$

Z형 안정자(플래킷 연산자) $S_p^Z$는 플래킷 $p$에 인접한 데이터 큐비트에 $Z$를 적용한다:

$$S_p^Z=\underset{j\in \partial p}{⨂}{Z}_j$$

X형 안정자(꼭짓점 연산자) $S_v^X$는 꼭짓점 $v$에 인접한 데이터 큐비트에 $X$를 적용한다:

$$S_v^X=\underset{j\in \partial v}{⨂}{X}_j$$

격자 내부(벌크)의 안정자는 4개의 큐비트에 작용하는 4-체(4-body) 연산자이고, 경계 부근의 안정자는 2-체(2-body) 연산자이다. $[S_p^Z,S_v^X]=0$이 모든 $(p,v)$ 쌍에 대해 성립하므로 모든 안정자를 동시에 측정할 수 있다.

신드롬 측정과 오류 검출

코드 상태에 오류 $E$가 가해지면, $E$와 반가환하는 안정자의 측정값이 $-1$로 바뀐다. 이 측정 결과 패턴을 **신드롬(syndrome)**이라 한다.

• X 오류 (비트 반전): Z형 안정자와 반가환 → Z형 신드롬 활성화
• Z 오류 (위상 반전): X형 안정자와 반가환 → X형 신드롬 활성화

신드롬은 오류의 위치가 아니라 오류 체인의 **끝점(endpoint)**을 나타낸다. **디코더(decoder)**가 신드롬 그래프를 분석하여 최소 가중치 완전 매칭(MWPM, Minimum Weight Perfect Matching) 등의 알고리즘으로 오류를 추정하고 정정한다.

논리 연산자와 부호 거리

논리 큐비트의 연산자는 격자의 한 경계에서 반대 경계까지 연결되는 체인(chain) 형태이다:

• 논리 $\bar{Z}$: 상단 경계 → 하단 경계를 잇는 Z 연산자 체인
• 논리 $\bar{X}$: 좌측 경계 → 우측 경계를 잇는 X 연산자 체인

이 두 체인의 최소 길이가 부호 거리 $d$이며, 부호 거리 $d$의 표면 부호는 최대 $\lfloor (d-1)/2\rfloor$개의 오류를 정정할 수 있다.

---

예시·응용

거리-3 표면 부호

$d=3$이면 데이터 큐비트 9개, 보조 큐비트 8개(X형 4, Z형 4)로 구성된다. 단일 오류까지 정정 가능하며, Stim 라이브러리로 회로를 생성하는 예시는 다음과 같다:

import stim

# 거리-3 회전 표면 부호, Z 기저 메모리 실험
circuit = stim.Circuit.generated(
    "surface_code:rotated_memory_z",
    rounds=3,
    distance=3,
    after_clifford_depolarization=0.001,
)
print(circuit)

오류 임계율

탈분극화(depolarizing) 노이즈 모델 하에서 표면 부호의 임계 오류율은 약 $p_{\text{th}}\approx 1\%$이다. 물리 오류율 $p<p_{\text{th}}$인 경우, 부호 거리를 늘릴수록 논리 오류율이 지수적으로 감소한다:

$$p_L\propto {\left(\frac{p}{p_{\text{th}}}\right)}^{\lceil d/2\rceil }$$

Google은 $d$를 증가시킴에 따라 논리 오류율이 실험적으로 감소함을 시연하였으며, IBM 역시 표면 부호 기반 내결함성 로드맵을 공개하고 있다.

---

정리

표면 부호는 $d^2$개의 데이터 큐비트와 $d^2-1$개의 보조 큐비트로 1개의 논리 큐비트를 인코딩하는 2차원 안정자 부호이다. X형·Z형 안정자의 독립적 신드롬 측정을 통해 비트 반전 오류와 위상 반전 오류를 분리 추적하며, 논리 연산자는 격자를 가로지르는 최소 체인으로 정의된다. 이 체인의 길이 $d$가 부호의 핵심 성능 지표이며, 임계율 이하의 물리 오류율에서 $d$를 키울수록 논리 오류율이 지수적으로 억제된다는 점이 표면 부호의 실용적 가치를 결정짓는다.