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

개념 소개

양자 정보를 물리적 노이즈로부터 보호하려면 **양자 오류 정정 부호(quantum error-correcting code)**가 필요하다. 그 가운데 표면 부호는 2차원 격자 구조만으로 논리 큐비트 하나를 인코딩하며, 인접 큐비트 사이의 국소 연산만으로 오류 신드롬을 추출할 수 있다. 이 국소성은 실제 하드웨어에서의 구현 난도를 크게 낮추기 때문에 Google, IBM 등 주요 양자컴퓨팅 기업이 표면 부호를 장기 로드맵의 핵심으로 채택하고 있다.

표면 부호는 **위상학적 부호(topological code)**의 일종으로, 논리 연산자가 격자를 가로지르는 비국소적 끈(string)으로 표현된다는 특성을 갖는다. 단일 큐비트 오류는 끈의 끝점(anyon)으로 검출되고, 끈이 격자를 완전히 관통하지 않는 한 논리 오류로 번지지 않는다.

---

핵심 원리

격자 구조와 큐비트 배치

가장 널리 쓰이는 **회전 표면 부호(rotated surface code)**는 거리 $d$에 대해 $d\times d$ 격자 위에 데이터 큐비트(data qubit) $d^2$개를 배치한다. 보조 큐비트(ancilla qubit)는 격자 칸(plaquette)에 대응하여 안정화 연산자를 측정하는 데 사용된다.

보조 큐비트를 포함한 전체 물리 큐비트 수는 약 $2d^2-1$이며, 이를 통해 논리 큐비트 1개를 인코딩한다.

안정화 연산자

표면 부호는 **안정화 형식(stabilizer formalism)**을 기반으로 한다. 안정화군 $\mathcal{S}$의 생성원은 두 종류다.

X형 면 연산자 (X-type plaquette): $$B_p=\underset{i\in \partial p}{⨂}{X}_i$$

Z형 면 연산자 (Z-type plaquette): $$A_p=\underset{i\in \partial p}{⨂}{Z}_i$$

각 플래킷은 인접한 데이터 큐비트 4개(경계에서는 2~3개)에 파울리 연산자를 작용한다. 인접하지 않은 연산자들은 서로 교환(commute)하므로 $[B_p,A_{p^{\prime }}]=0$이 성립하고, 전체 안정화군의 원소들이 동시에 측정 가능한 물리적 관측량이 된다.

코드 공간 ${\mathcal{H}}_L$은

$${\mathcal{H}}_L=\{|\psi ⟩:S|\psi ⟩=|\psi ⟩,\forall S\in \mathcal{S}\}$$

로 정의되며, 이 공간이 논리 큐비트 1개를 담는다.

논리 연산자

논리 큐비트의 $\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$는 상단에서 하단으로 이어지는 수직 경로다. 두 경로는 반드시 한 점에서 교차하므로 $\bar{X}\bar{Z}=-\bar{Z}\bar{X}$가 성립해 큐비트 대수 관계를 만족한다.

코드 거리(code distance) $d$는 논리 연산자의 최소 무게(weight)에 해당하며, 거리 $d$ 부호는

$$\lfloor \frac{d-1}{2}\rfloor$$

개의 임의 오류를 정정할 수 있다.

오류 신드롬 추출

물리 큐비트에 파울리 오류 $E$가 발생하면 일부 안정화 연산자의 측정값이 $-1$로 뒤집힌다. 이 측정 결과 전체를 **오류 신드롬(error syndrome)**이라 부른다.

예를 들어 단일 X 오류가 발생하면 해당 큐비트 양쪽의 Z형 플래킷 두 개에서 $-1$이 나타난다. 오류의 끝점 쌍을 최소 가중치 매칭(minimum-weight perfect matching, MWPM) 알고리즘으로 연결함으로써 오류를 추론하고 정정한다.

---

예시·응용

거리-3 표면 부호

$d=3$ 경우 데이터 큐비트 9개, 안정화 연산자 8개(X형 4개, Z형 4개), 총 물리 큐비트 약 17개가 필요하다. 임의의 단일 큐비트 오류 1개를 정정할 수 있다.

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

circuit = stim.Circuit.generated(
    "surface_code:rotated_memory_z",
    rounds=3,
    distance=3,
    after_clifford_depolarization=0.001,
)
print(circuit)

오류 임계값

표면 부호의 물리적 오류율이 임계값 $p_{th}\approx 1\%$ 이하일 때, 격자 거리 $d$를 키울수록 논리 오류율이 지수적으로 감소한다:

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

이 임계값은 다른 부호군에 비해 높은 편이어서 실제 소자의 노이즈 수준과 호환 가능하다.

---

정리

표면 부호는 2D 격자에 데이터 큐비트를 배치하고, X형·Z형 면 연산자를 안정화 생성원으로 삼아 논리 큐비트를 인코딩한다. 논리 연산자는 격자를 관통하는 파울리 끈으로 표현되며, 코드 거리 $d$가 오류 정정 능력을 결정한다. 국소 측정만으로 신드롬을 추출하고 MWPM으로 오류를 추론하는 구조는 현실적인 하드웨어 제약에 잘 맞아, 내결함성 양자컴퓨팅 실현을 위한 가장 유력한 경로로 자리매김하고 있다.