표면 부호(Surface Code)의 구조

개념 소개

표면 부호(Surface Code)는 안정자(Stabilizer) 형식론을 기반으로 하는 2차원 위상학적 양자 오류 정정 부호다. 격자 위에 배치된 물리 큐비트들이 국소적(local) 다체 연산자로 정의된 안정자 집합을 공유하며, 그 공동 고유 공간(+1 eigenspace)이 논리 큐비트를 부호화한다. 코드 거리 $d$를 증가시키면 논리 오류율이 지수적으로 감소하는 특성과 인접 큐비트 간 상호작용만을 요구하는 구조적 단순성이 이 부호의 핵심 강점이다.

핵심 원리

격자 구조와 큐비트 배치

회전된 표면 부호(Rotated Surface Code) 기준으로, 거리 $d$인 코드는 $d\times d$ 격자 위에 총 $n=d^2$개의 데이터 큐비트를 배치한다. 각 플래킷(plaquette)에는 보조 큐비트(ancilla)가 대응되며, 체커보드 패턴으로 X형과 Z형 안정자가 교대 배치된다.

• X형 안정자 (면 연산자): $$A_f=\underset{i\in \partial f}{⨂}{X}_i$$
• Z형 안정자 (면 연산자): $$B_f=\underset{i\in \partial f}{⨂}{Z}_i$$

내부 플래킷은 4체(4-body) 연산자이고, 경계 플래킷은 2체 혹은 3체 연산자가 된다. 전체 독립 안정자 수는 $d^2-1$이며, 부호화되는 논리 큐비트 수는 다음과 같다.

$$k=n-(d^2-1)=1$$

즉, $d^2$개의 물리 큐비트로 논리 큐비트 정확히 1개를 부호화한다.

논리 연산자

논리 $\bar{X}$와 $\bar{Z}$는 격자를 완전히 가로지르는 **경로 연산자(string operator)**로 정의된다.

• $\bar{X}$: 왼쪽 경계 → 오른쪽 경계를 잇는 수평 경로 위의 X 텐서곱
• $\bar{Z}$: 위쪽 경계 → 아래쪽 경계를 잇는 수직 경로 위의 Z 텐서곱

두 경로는 격자 위 정확히 한 점에서 교차하므로 반교환 관계 $\bar{X}\bar{Z}=-\bar{Z}\bar{X}$를 만족한다.

코드 거리 $d$는 가장 낮은 무게(weight)를 갖는 논리 연산자의 무게로 정의되며, 이 격자 구조에서는 한쪽 경계에서 반대쪽 경계까지의 최단 경로 길이인 $d$와 일치한다.

오류 증후군 측정

물리 큐비트에 오류가 발생하면 인접 안정자 기댓값이 $+1\to -1$로 반전된다. 이 반전 패턴을 **증후군(syndrome)**이라 한다.

오류 유형	영향받는 안정자
Z(위상) 오류	X형 플래킷 쌍
X(비트 반전) 오류	Z형 플래킷 쌍

증후군은 항상 쌍(pair)으로 나타나거나, 오류 체인이 경계에 닿을 경우 홀수 개가 된다. 이 쌍을 매칭하여 오류 경로를 추정하는 알고리즘이 **최소 무게 완전 매칭(MWPM, Minimum Weight Perfect Matching)**이다.

오류 임계값

물리 오류율 $p$가 이론적 임계값 $p_{\mathrm{th}}\approx 1\%$ 이하일 때, 코드 거리를 늘릴수록 논리 오류율이 지수적으로 감소한다.

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

예시·응용

d = 3 표면 부호

$d=3$ 표면 부호는 데이터 큐비트 9개, 안정자 8개(X형 4, Z형 4)로 구성되며 임의의 단일 큐비트 오류를 교정할 수 있다. 아래는 Stim 라이브러리로 회로를 생성하는 예시다.

import stim

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

하드웨어 적합성

표면 부호는 최근접 이웃 상호작용만을 요구하므로 2D 격자 아키텍처에 자연스럽게 대응된다. 초전도 큐비트 플랫폼(Google Willow, IBM Heron 등)의 오류 정정 실험이 주로 표면 부호를 기반으로 수행되고 있다.

정리

표면 부호는 $d^2$개의 물리 큐비트, $d^2-1$개의 X·Z 안정자, 그리고 경계를 가로지르는 경로 연산자로 구성된 논리 연산자로 이루어진다. 코드 거리 $d$, 오류 임계값 ~1%, MWPM 디코딩이 핵심 요소이며, 구조적 단순성 덕분에 내결함성 양자 컴퓨팅의 가장 현실적인 구현 경로로 자리잡고 있다.