Magic State 증류: 내결함성 비클리포드 자원 생성

개념 소개

클리포드 군(Clifford group)은 H(아다마르), S, CNOT 게이트로 생성되며, 켤레 작용(conjugation)으로 파울리 군을 보존하는 유니터리들의 집합이다. Gottesman-Knill 정리에 따르면 클리포드 회로는 안정자(stabilizer) 형식론을 통해 고전 컴퓨터에서 다항 시간 내에 시뮬레이션할 수 있다. 따라서 클리포드 회로만으로는 고전 컴퓨터를 지수적으로 능가하는 보편 양자 계산이 불가능하다.

보편성을 달성하려면 비클리포드(non-Clifford) 게이트가 필요하다. 가장 흔히 쓰이는 예는 T 게이트이다.

$$T=\left(\begin{array}{cc}1& 0\\ 0& e^{i\pi /4}\end{array}\right)$$

그런데 표면 부호(surface code) 같은 양자 오류 정정 코드 위에서 T 게이트를 직접 내결함성 방식으로 구현하는 것은 극히 어렵다. 이를 우회하는 핵심 아이디어가 **마법 상태 주입(magic state injection)**과 **Magic State 증류(Magic State Distillation, MSD)**이다.

---

핵심 원리

마법 상태(Magic State)의 정의

T 게이트의 마법 상태는 다음과 같이 정의된다.

$$|T⟩=T|+⟩=\frac{|0⟩+e^{i\pi /4}|1⟩}{\sqrt{2}}$$

이 상태를 보조 큐비트로 제공하고, 클리포드 게이트만으로 구성된 텔레포테이션 기반 회로에 주입하면 논리 T 게이트를 효과적으로 구현할 수 있다. 즉, 마법 상태의 순도(fidelity)가 논리 T 게이트의 충실도를 직접 결정한다.

증류 프로토콜의 구조

증류의 핵심 아이디어는 다음 네 단계이다.

1. 오류율 $p_{\text{in}}$을 가진 노이즈 마법 상태 복사본 $n$개를 입력으로 받는다.
2. 클리포드 게이트만으로 구성된 양자 오류 검출 회로를 적용한다.
3. 측정 결과(syndrome)가 "오류 없음"에 해당하는 패턴일 때만 출력을 수락한다(사후 선택, post-selection).
4. 수락된 출력 마법 상태의 오류율 $p_{\text{out}}$이 $p_{\text{in}}$보다 현저히 낮아진다.

15-to-1 프로토콜

가장 잘 알려진 프로토콜은 $[[15,1,3]]$ Reed-Muller 코드 기반의 15-to-1 방식이다. 노이즈 마법 상태 15개를 소비해 고순도 마법 상태 1개를 출력하며, 작은 $p$에서 오류율이 다음과 같이 개선된다.

$$p_{\text{out}}\approx 35p_{\text{in}}^3$$

이 3차 오류 압축 덕분에, 초기 오류율이 임계값 이하라면 증류를 반복할수록 오류율이 급격히 감소한다.

오류 임계값

$p_{\text{out}}<p_{\text{in}}$이 성립하는 조건은 다음과 같다.

$$35p^2<1\Rightarrow p<\frac{1}{\sqrt{35}}\approx 16.9\%$$

이 임계값을 초과하는 입력 오류율에서는 증류가 오히려 상태를 더 열화시킨다. 실제 시스템에서는 오류 모델과 구현 방식에 따라 유효 임계값이 다소 달라진다.

---

예시·응용

반복 증류의 수치 예

입력 오류율 $p=0.01$(1%)로 시작해 증류를 세 번 반복하면 다음과 같다.

$$p_1\approx 35\times (0.01{)}^3=3.5\times 10^{-5}$$ $$p_2\approx 35\times (3.5\times 10^{-5}{)}^3\approx 1.5\times 10^{-12}$$ $$p_3\approx 35\times (1.5\times 10^{-12}{)}^3\approx 1.2\times 10^{-33}$$

단 세 라운드 만에 오류율이 $10^{-33}$ 수준으로 낮아진다. 그 대가로 $15^3=3375$개의 노이즈 마법 상태가 소비된다.

# 15-to-1 증류 반복 시 오류율 변화 (근사식 기반)
def distill_15to1(p_in: float, rounds: int = 1) -> float:
    p = p_in
    for _ in range(rounds):
        p = 35 * p**3
    return p

p_initial = 0.01
for r in range(1, 4):
    cost = 15**r           # 소비되는 노이즈 마법 상태 수
    p_out = distill_15to1(p_initial, rounds=r)
    print(f"라운드 {r}: p_out = {p_out:.3e}, 소비 = {cost}개")
# 라운드 1: p_out = 3.500e-05, 소비 = 15개
# 라운드 2: p_out = 1.501e-12, 소비 = 225개
# 라운드 3: p_out = 1.179e-33, 소비 = 3375개

마법 상태 공장(Magic State Factory)

실용적인 내결함성 양자컴퓨터에서는 논리 연산의 병목이 마법 상태 공급 속도에 있다. IBM, Google 등의 연구 그룹은 **마법 상태 공장(magic state factory)**이라 불리는 전용 물리 큐비트 영역을 별도로 할당해 마법 상태를 지속 생산하는 아키텍처를 설계한다. 코드 거리, 증류 라운드 수, 공장 병렬성을 조율하여 목표 오류율과 자원 소모의 균형을 맞추는 것이 현실적인 설계 핵심 과제다.

---

정리

Magic State 증류는 클리포드 회로와 양자 오류 정정의 틀 안에서 비클리포드 자원을 확보하는 핵심 수단이다. $[[15,1,3]]$ Reed-Muller 코드 기반 15-to-1 프로토콜은 $p_{\text{out}}\approx 35p^3$이라는 3차 오류 압축을 제공하며, 임계값(약 16.9%) 미만의 오류율에서 반복 적용 시 오류율을 지수적으로 낮출 수 있다. 다만 마법 상태 1개를 얻는 데 드는 물리 큐비트와 시간 자원이 상당하며, 이 자원 오버헤드 최적화가 현재 내결함성 양자컴퓨터 설계의 핵심 연구 과제로 남아 있다.