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

개념 소개

양자 오류 정정의 핵심 과제는 결맞음 붕괴(decoherence) 와 게이트 오류 를 실시간으로 검출하면서도 논리 정보를 보존하는 것이다. 고전 반복 부호처럼 양자 상태를 단순 복사할 수 없으므로(no-cloning theorem), 양자 오류 정정은 여러 물리 큐비트에 논리 큐비트를 간접적으로 인코딩한다.

표면 부호(surface code) 는 Kitaev의 토릭 부호(toric code)에서 파생된 위상학적 스태빌라이저 부호로, 정사각형 2차원 격자 위에 물리 큐비트를 배치한다. 근방(nearest-neighbor) 상호작용만 필요하며, 비트 반전(X)과 위상 반전(Z) 오류를 모두 정정할 수 있다.

---

핵심 원리

1. 격자 구조

거리 $d$인 표면 부호는 $(2d-1)\times (2d-1)$ 격자를 사용하며, 총 $d^2+(d-1{)}^2=2d^2-2d+1$개의 물리 큐비트로 구성된다.

• 데이터 큐비트(data qubit): 격자의 꼭짓점(vertex)에 위치, $d^2$개
• 보조 큐비트(ancilla/syndrome qubit): 격자의 면(plaquette) 및 꼭짓점 교차점에 위치, $(d-1{)}^2+d(d-1)=d^2-1$개

경계 조건에 따라 두 가지 변형이 있다.

종류	경계	논리 큐비트 수
토릭 부호	주기적(원환)	2
평면 표면 부호	거칠음/매끄러움 혼합	1

실제 하드웨어 구현에는 평면 표면 부호가 주로 사용된다.

2. 스태빌라이저 연산자

표면 부호의 코드 공간은 두 종류의 국소 스태빌라이저 연산자로 정의된다.

면 스태빌라이저(plaquette / Z-type):
$$A_p=\prod _{i\in \partial p}{Z}_i$$

꼭짓점 스태빌라이저(vertex / X-type):
$$B_v=\prod _{i\in \partial v}{X}_i$$

여기서 $\partial p$는 면 $p$에 인접한 데이터 큐비트 집합, $\partial v$는 꼭짓점 $v$에 인접한 데이터 큐비트 집합이다. 모든 스태빌라이저는 서로 교환 가능($[A_p,B_v]=0$)하며, 코드 공간은

$$\mathcal{C}=\{|\psi ⟩:A_p|\psi ⟩=|\psi ⟩,B_v|\psi ⟩=|\psi ⟩\forall p,v\}$$

로 정의된다. 이 공간의 차원이 바로 논리 큐비트 1개($d_L=1$)에 해당한다.

3. 논리 연산자

논리 $\bar{X}$와 논리 $\bar{Z}$는 스태빌라이저와 교환되지만 스태빌라이저 그룹에 속하지 않는 연산자로 정의된다.

$$\bar{X}=\prod _{i\in {\gamma }_X}{X}_i,\bar{Z}=\prod _{i\in {\gamma }_Z}{Z}_i$$

${\gamma }_X$와 ${\gamma }_Z$는 각각 격자를 가로지르는 논리 사슬(logical chain) 이다. 두 사슬은 정확히 한 데이터 큐비트에서 교차하므로 $\bar{X}\bar{Z}=-\bar{Z}\bar{X}$가 성립한다.

4. 오류 신드롬과 디코딩

단일 큐비트에 비트 반전 오류 $X_i$가 발생하면, $i$ 주변의 면 스태빌라이저 측정 결과가 $-1$로 바뀐다. 이 위반 쌍을 신드롬(syndrome) 이라 한다. 신드롬은 오류 발생 위치의 경계(endpoint)를 나타내며, 디코더는 이를 짝짓기(matching) 알고리즘으로 복원한다.

가장 보편적인 디코딩 알고리즘은 최소 가중치 완전 매칭(Minimum Weight Perfect Matching, MWPM) 으로, 신드롬 꼭짓점 쌍을 최단 경로로 연결해 정정 체인을 결정한다.

거리 $d$인 표면 부호의 오류 정정 능력: 최대 $\lfloor (d-1)/2\rfloor$개의 물리 오류를 정정할 수 있다.

---

예시·응용

거리-3 표면 부호 (9 데이터 큐비트)

# 간단한 표면 부호 스태빌라이저 생성 (Stim 라이브러리 예시)
import stim

# d=3 표면 부호 회로 생성
circuit = stim.Circuit.generated(
    "surface_code:rotated_memory_z",
    rounds=3,
    distance=3,
    after_clifford_depolarization=0.001
)
print(circuit)

오류 임계값

물리 오류율 $p$가 임계값 $p_{\text{th}}$ 이하일 때 논리 오류율은 거리 증가에 따라 지수적으로 감소한다.

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

표면 부호의 경우 $p_{\text{th}}\approx 1\%$ (비편향 오류 모델 기준)로, 현재 초전도 큐비트 기술로 접근 가능한 수준이다.

Google의 Willow 프로세서 등에서 표면 부호 기반 실험이 진행되고 있으며, 거리 증가에 따른 논리 오류율 감소가 실험적으로 확인되었다.

---

정리

표면 부호는 2차원 격자 위의 $X$형·$Z$형 국소 스태빌라이저로 코드 공간을 정의하고, 신드롬 측정과 MWPM 디코딩으로 오류를 정정한다. 거리 $d$를 늘릴수록 논리 오류율이 지수적으로 감소하며, 약 1%의 높은 오류 임계값 덕분에 결함 허용 양자컴퓨팅의 핵심 기술로 자리잡고 있다.