양자 오류 정정 입문: 3큐비트 반복 코드

개념 소개

양자 계산이 실용적이려면 오류에 강해야 한다. 고전 컴퓨터에서는 같은 비트를 여러 번 복사하여 다수결 원리로 오류를 수정한다. 예를 들어 0을 000으로, 1을 111로 저장하면, 하나의 비트가 뒤집혀도 나머지 두 비트를 보고 올바른 값을 복원할 수 있다.

양자 세계에서는 두 가지 근본적인 장벽이 존재한다.

1. 복제 불가 정리(no-cloning theorem): 임의의 미지 양자 상태 $|\psi ⟩$를 완전히 복사하는 것은 불가능하다.
2. 측정 붕괴: 큐비트를 직접 측정하면 중첩 상태가 파괴된다.

그럼에도 불구하고 양자 오류 정정은 가능하다. 핵심은 상태를 복사하지 않고, 오류의 종류(신드롬)만 간접 측정하는 것이다.

---

핵심 원리

인코딩

3큐비트 반복 코드는 비트 반전 오류($X$ 오류)만을 다룬다. 논리 큐비트 상태를 다음과 같이 세 물리 큐비트로 인코딩한다.

$$|0{⟩}_L=|000⟩,|1{⟩}_L=|111⟩$$

임의의 논리 상태 $|\psi ⟩=\alpha |0⟩+\beta |1⟩$는 아래와 같이 인코딩된다.

$$|\psi {⟩}_L=\alpha |000⟩+\beta |111⟩$$

이 인코딩은 CNOT 게이트 두 개로 구현된다.

|ψ⟩ ──●──●──
|0⟩ ──⊕──|──
|0⟩ ──|──⊕──

오류 모델

하나의 큐비트에 비트 반전 오류 $X$가 작용하면 세 가지 경우가 발생한다.

오류	상태 변화 예시
큐비트 1 오류	$\alpha |100⟩+\beta |011⟩$
큐비트 2 오류	$\alpha |010⟩+\beta |101⟩$
큐비트 3 오류	$\alpha |001⟩+\beta |110⟩$

신드롬 측정

오류를 탐지하기 위해 두 개의 패리티 연산자를 보조 큐비트에 간접 측정한다.

$$M_1=Z_1{Z}_2,M_2=Z_2{Z}_3$$

각 연산자의 측정값(±1)은 어떤 큐비트에 오류가 있는지 알려주는 신드롬이 된다.

$M_1$	$M_2$	진단
$+1$	$+1$	오류 없음
$-1$	$+1$	큐비트 1 오류
$-1$	$-1$	큐비트 2 오류
$+1$	$-1$	큐비트 3 오류

핵심은 $M_1,M_2$가 논리 정보($\alpha ,\beta$)를 전혀 노출하지 않는다는 점이다. 이들은 오류의 위치만 알려준다.

오류 복원

신드롬에 따라 해당 큐비트에 $X$ 게이트를 적용하면 원래 상태로 복원된다.

---

예시·응용

아래 Qiskit 코드는 3큐비트 반복 코드를 구현하고, 큐비트 0에 비트 반전 오류를 삽입한 뒤 신드롬을 측정한다.

from qiskit import QuantumCircuit, QuantumRegister, ClassicalRegister

# 레지스터 정의
data = QuantumRegister(3, 'data')
ancilla = QuantumRegister(2, 'anc')
syndrome = ClassicalRegister(2, 'syn')

qc = QuantumCircuit(data, ancilla, syndrome)

# 인코딩: |ψ⟩ = |+⟩ 준비 후 CNOT으로 확산
qc.h(data[0])
qc.cx(data[0], data[1])
qc.cx(data[0], data[2])

# 오류 삽입: 큐비트 0에 비트 반전
qc.x(data[0])

# 신드롬 측정 (Z1Z2, Z2Z3)
qc.cx(data[0], ancilla[0])
qc.cx(data[1], ancilla[0])
qc.cx(data[1], ancilla[1])
qc.cx(data[2], ancilla[1])
qc.measure(ancilla, syndrome)

# 신드롬에 따른 복원 (고전 제어)
with qc.if_test((syndrome, 0b01)):
    qc.x(data[0])
with qc.if_test((syndrome, 0b11)):
    qc.x(data[1])
with qc.if_test((syndrome, 0b10)):
    qc.x(data[2])

print(qc.draw('text'))

한계: 3큐비트 반복 코드는 위상 반전 오류($Z$ 오류)를 정정하지 못한다. 또한 두 개 이상의 동시 오류는 다수결 논리가 잘못 판단할 수 있다. 이 한계를 극복한 것이 **Shor 코드(9큐비트)**와 스태빌라이저 코드 계열이다.

---

정리

3큐비트 반복 코드는 양자 오류 정정의 세 가지 핵심 아이디어를 보여준다. 첫째, 논리 정보를 얽힘 상태로 분산 인코딩한다. 둘째, 상태를 직접 측정하지 않고 패리티(신드롬)만 추출한다. 셋째, 신드롬 결과에 따라 능동적으로 오류를 되돌린다. 이 세 원리는 더 복잡한 오류 정정 코드에서도 동일하게 작동하는 기반이 된다.