표면 부호(Surface Code)의 구조와 안정화 형식론

개념 소개

표면 부호(Surface Code)는 2차원 격자 위에 정의되는 안정화 부호(Stabilizer Code)의 일종이다. 키타에프(Kitaev)의 토릭 부호(Toric Code)를 평면 경계 조건에 맞게 변형한 것으로, 국소적(local) 4-큐비트 측정만으로 오류 신드롬을 추출할 수 있다는 점에서 실험 구현에 매우 유리하다. Google, IBM 등 주요 기관이 내결함성 양자컴퓨팅의 표준 오류 정정 방식으로 표면 부호를 채택하고 있다.

---

핵심 원리

격자 구조와 큐비트 배치

회전된 표면 부호(Rotated Surface Code)를 기준으로 설명한다. 거리(distance) $d$의 표면 부호는 $d\times d$ 격자 위에 데이터 큐비트 $d^2$개를 배치한다. 격자를 체스판처럼 색칠하면, 각 칸(플래킷)은 인접한 2~4개의 데이터 큐비트를 포함하며 두 종류로 나뉜다.

• X형 플래킷: 인접 데이터 큐비트 전체에 $X$ 파울리 연산자를 적용하는 안정화 연산자
• Z형 플래킷: 인접 데이터 큐비트 전체에 $Z$ 파울리 연산자를 적용하는 안정화 연산자

각 플래킷에는 보조 큐비트(ancilla qubit) 하나가 대응되어 신드롬 측정을 수행한다.

안정화 연산자

X형 플래킷 $p$에 대한 안정화 연산자:

$$A_p=\underset{i\in \partial p}{⨂}{X}_i$$

Z형 플래킷 $q$에 대한 안정화 연산자:

$$B_q=\underset{i\in \partial q}{⨂}{Z}_i$$

$\partial p$는 플래킷 $p$에 인접한 데이터 큐비트 집합이다. X형 플래킷과 Z형 플래킷이 공유하는 데이터 큐비트는 반드시 짝수 개이므로, 두 연산자는 항상 교환 가능하다($[A_p,B_q]=0$). 이 교환성이 안정화 부호 구성의 근거이다.

거리 $d$ 표면 부호의 주요 파라미터:

항목	값
데이터 큐비트 수	$d^2$
안정화 연산자 수	$d^2-1$
인코딩 논리 큐비트 수	$1$
정정 가능한 오류 수	$\lfloor (d-1)/2\rfloor$

논리 연산자

논리 $\bar{X}$와 논리 $\bar{Z}$는 격자의 한 경계에서 반대편 경계까지 이어지는 파울리 연산자 사슬(chain)로 정의된다.

$$\bar{X}=\prod _{i\in \text{수평 경계}}{X}_i,\bar{Z}=\prod _{i\in \text{수직 경계}}{Z}_i$$

이 두 연산자는 반교환 관계($\{\bar{X},\bar{Z}\}=0$)를 만족하며, 단일 논리 큐비트를 구성한다. 논리 연산자의 최소 길이가 바로 부호 거리 $d$이며, 오류 사슬이 격자를 가로질러야 비로소 논리 오류가 발생한다.

오류 검출 메커니즘

• 비트 반전 오류 ($X$ 오류): 해당 큐비트 주변의 Z형 플래킷 측정값이 $-1$로 전환(신드롬 활성화)
• 위상 반전 오류 ($Z$ 오류): X형 플래킷 신드롬을 활성화

신드롬 패턴에서 활성화된 플래킷 쌍을 최소 가중치 완전 매칭(MWPM)으로 연결하여 가장 개연성 높은 오류 경로를 추정·정정한다.

---

예시·응용

거리-3 표면 부호

# Stim 라이브러리를 이용한 회전된 거리-3 표면 부호 회로 생성
import stim

circuit = stim.Circuit.generated(
    "surface_code:rotated_memory_z",
    rounds=3,
    distance=3,
    after_clifford_depolarization=0.001,  # 물리 오류율 0.1%
)
print(f"큐비트 수: {circuit.num_qubits}")
# 데이터 큐비트 9개 + 보조 큐비트 8개 = 총 17개

거리 $d=3$이면 데이터 큐비트 9개, 안정화 연산자 8개, 최대 1개의 오류를 정정할 수 있다.

오류 임계값

독립적 탈분극화 잡음 모델에서 표면 부호의 이론적 오류 임계값은 약 $p_{\text{th}}\approx 1\%$이다. 물리 오류율 $p$가 이 값보다 낮으면, 거리 $d$를 늘릴수록 논리 오류율이 지수적으로 감소한다.

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

이 관계식이 실용적 내결함성 양자컴퓨팅 달성을 위한 핵심 이론적 근거이다.

---

정리

표면 부호는 국소적 안정화 측정, 높은 오류 임계값, 평면 2차원 격자 구조라는 세 가지 특성 덕분에 현재 하드웨어와 가장 잘 맞는 오류 정정 방식으로 평가받는다. 부호 거리 $d$를 키울수록 논리 오류율이 지수적으로 억제되지만, 그에 비례하여 물리 큐비트 수가 $\mathcal{O}(d^2)$으로 증가하는 자원 오버헤드가 핵심 과제로 남아 있다.