Magic State 증류: 결함 허용 계산을 위한 비클리퍼드 자원 생성

개념 소개

고트스만-닐(Gottesman-Knill) 정리에 따르면, 클리퍼드 게이트(Hadamard, CNOT, S 등)만으로 구성된 양자 회로는 고전 컴퓨터로 효율적으로 시뮬레이션할 수 있다. 따라서 클리퍼드 군(Clifford group)은 보편 계산에 필요한 연산 집합을 제공하지 못한다. 보편성을 달성하려면 비클리퍼드 게이트, 대표적으로 T 게이트가 반드시 추가되어야 한다.

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

결함 허용 아키텍처에서 클리퍼드 게이트는 안정자 부호(stabilizer code) 위에서 트랜스버설(transversal) 연산으로 구현 가능하지만, T 게이트는 그렇지 않다. 매직 상태 증류(MSD)는 이 문제를 해결하는 표준적 접근법이다.

---

핵심 원리

매직 상태의 정의

T 게이트에 대응하는 매직 상태 $|T⟩$는 다음과 같다:

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

이 상태를 준비할 수 있으면 게이트 텔레포테이션(gate teleportation) 기법을 통해 클리퍼드 연산만으로 T 게이트 효과를 구현할 수 있다. 실제로는 노이즈가 혼재된 상태를 얻는다:

$${\rho }_{ϵ}=(1-ϵ)|T⟩⟨T|+ϵ\frac{I}{2}$$

여기서 $ϵ$은 단일 큐비트 탈분극 오류율이다.

15-to-1 증류 프로토콜

브라비(Bravyi)와 키타예프(Kitaev)가 제안한 15-to-1 프로토콜은 $[[15,1,3]]$ 리드-뮬러(Reed-Muller) 부호를 활용한다.

절차:

1. 입력 준비: 오류율 $ϵ$의 노이즈 상태 ${\rho }_{ϵ}$ 15개를 준비한다.
2. 클리퍼드 인코딩: $[[15,1,3]]$ 부호의 인코딩 회로(클리퍼드 연산만 사용)를 적용한다.
3. 증후군 측정: 14개의 안정자 측정을 수행하여 오류 증후군을 추출한다.
4. 후선택(post-selection): 증후군이 모두 $+1$인 경우에만 출력을 수락한다.
5. 출력: 오류율이 대폭 감소한 $|T⟩$ 1개를 얻는다.

출력 오류율 스케일링:

$${ϵ}_{\mathrm{out}}\approx 35{ϵ}^3$$

증류가 유효한 임계 조건은 ${ϵ}_{\mathrm{out}}<ϵ$, 즉:

$$35{ϵ}^3<ϵ⟹ϵ<\frac{1}{\sqrt{35}}\approx 16.9\%$$

이 조건이 만족되면 증류를 $k$회 반복할 때 오류율은 $O({ϵ}^{3^k})$으로 급감한다.

---

예시·응용

반복 증류 시뮬레이션

초기 오류율 ${ϵ}_0=1\%$에서 목표 오류율 $10^{-15}$에 도달하는 데 필요한 증류 횟수를 추정한다.

def distill_15to1(eps: float) -> float:
    """15-to-1 증류 프로토콜 1회 적용 (주도항 근사)"""
    return 35.0 * eps**3

eps = 0.01      # 초기 오류율 1%
target = 1e-15  # 목표 오류율

rounds = 0
while eps > target:
    eps = distill_15to1(eps)
    rounds += 1
    print(f"증류 {rounds}회 후: ε ≈ {eps:.2e}")

print(f"\n총 {rounds}회 증류로 목표 달성")
# Round 1: 3.50e-05
# Round 2: 1.50e-12
# Round 3: 1.18e-34  → 목표 달성

단 3회 반복으로 목표 오류율에 도달하지만, 각 라운드마다 15개의 입력 상태가 소비되므로 총 자원 비용은 $15^k$개에 달한다 ($k=3$이면 3,375개).

표면 부호와의 연동

표면 부호(surface code) 기반 아키텍처에서 클리퍼드 게이트는 격자 수술(lattice surgery)로 구현되지만, T 게이트는 별도의 MSD 팩토리(factory) 에서 생성된 매직 상태를 소모하는 방식으로 실행된다. 실용적 결함 허용 컴퓨터 설계에서 MSD 팩토리는 전체 물리 큐비트 자원의 상당 비율을 차지하며, 이를 최소화하는 프로토콜 설계가 활발히 연구되고 있다.

---

정리

매직 상태 증류는 클리퍼드 군의 한계를 극복하고 결함 허용 환경에서 T 게이트를 구현하기 위한 핵심 기법이다. 15-to-1 프로토콜은 $[[15,1,3]]$ 리드-뮬러 부호와 후선택을 결합하여 출력 오류율을 $O({ϵ}^3)$으로 감소시킨다. 반복 적용 시 임의 정밀도를 달성할 수 있으나, 지수적 자원 오버헤드가 따르므로 효율적 MSD 팩토리 설계는 실용적 양자 컴퓨팅 구현의 중요한 과제이다.