고임계값 큐트릿 매직 상태 증류 루틴 탐색

초록

이 논문은 qutrit(3차원) 마법 상태인 “strange state”를 효율적으로 정제할 수 있는 안정자 코드들을 완전 가중열거자(complete weight enumerator)와 단순 가중열거자(simple weight enumerator)를 이용해 체계적으로 탐색한다. n ≤ 23인

상세 분석

본 연구는 qutrit 차원의 마법 상태(특히 “strange state” |S⟩)를 정제하는 데 필요한 임계 노이즈 수준을 코드의 완전 가중열거자(complete weight enumerator, CWE)와 단순 가중열거자(simple weight enumerator, SWE)와 직접 연결시키는 새로운 정리(정리 1)를 제시한다. CWE는 코드의 모든 코드워드(위상 자유 Heisenberg‑Weyl 연산)의 가중을 다차원 다항식 형태로 기록한 것이며, qutrit strange state에 대해서는 CWE가 SWE로 축소된다. 이는 코드의 성능을 평가하기 위해 복잡한 수치 시뮬레이션 대신 가중열거자만 계산하면 충분함을 의미한다.

논문은 먼저 Heisenberg‑Weyl 연산, Clifford 군, 이산 위상공간, 그리고 Wigner 함수의 기본 구조를 정리하고, 마법 상태 정제 과정에서 발생하는 “노이즈 억제 차수”(linear, quadratic, cubic 등)를 가중열거자의 특정 계수와 연관 짓는다. 특히, strange state는 Wigner 함수가 한 면(facet) 위에 위치하므로, 해당 면을 넘는 상태는 반드시 음의 Wigner 값을 갖는다. 이때 정제 루틴이 성공하려면 출력 상태의 Wigner 함수가 다시 면 바깥으로 이동해야 하며, 이는 코드워드들의 Hamming weight 분포가 특정 임계값 이하일 때만 가능함을 보인다.

검색 전략은 두 가지 축으로 나뉜다. 첫 번째는 n ≤ 9인 모든