UC Davis, 마법 상태 준비 프로토콜 고전 시뮬레이션 효율화 기법 발표

왜 마법 상태가 문제인가

내결함성 양자 컴퓨팅에서 논리 게이트는 크게 두 범주로 나뉜다. 클리퍼드(Clifford) 게이트는 구현이 비교적 용이하고 고전 컴퓨터로도 효율적으로 시뮬레이션 가능하지만, 그 자체만으로는 범용 연산을 달성할 수 없다. 진정한 범용성을 위해서는 클리퍼드 집합 밖에 있는 비(非)클리퍼드 연산이 필요하며, 이를 내결함성 방식으로 구현하려면 마법 상태라는 특수한 양자 상태가 요구된다.

마법 상태를 충분히 높은 충실도로 준비하는 과정은 대규모 오류 정정 양자 컴퓨터에서 자원 소모의 주된 원인이 될 것으로 전망된다. 그런데 아이러니하게도, 마법 상태를 필수적으로 만드는 바로 그 비클리퍼드적 성질이 시뮬레이션을 어렵게 만든다. 기존 정확 시뮬레이션은 큐비트 수에 따라 지수적으로 연산 비용이 증가해, 비교적 소규모 논리 회로에만 적용 가능했다.

UC Davis 팀의 접근법: 대수 구조 활용

Samyak Surti, Lucas Daguerre, Isaac Kim으로 구성된 UC Davis 연구팀은 더 빠른 알고리즘을 직접 탐색하는 대신, 마법 상태 준비 프로토콜들이 공유하는 수학적 구조를 먼저 파악하는 전략을 택했다. 연구 대상으로 삼은 프로토콜은 코드 스위칭, 마법 상태 증류, 파울리-제곱근 클리퍼드(PSC) 측정 기반 프로토콜 세 가지다.

핵심 발견은 파울리 오류—큐비트 오류의 기본 유형—가 순차적 교환 연산(commutation) 과정에서 고도로 제약되고 예측 가능한 방식으로 전파된다는 점이다. 교환 가능한 연산은 결과를 바꾸지 않고 체계적으로 재배열할 수 있으며, 비교환 연산도 통제 불가능한 복잡도를 낳지 않고 예측 가능한 변환을 거친다. 이 성질 덕분에 회로 전체 양자 상태를 지수 크기로 추적하는 대신, 논리적 파울리·클리퍼드 오류의 간결한 기술(description)이 프로토콜을 통해 어떻게 진화하는지만 따라가면 된다.

다항식 스케일링의 의미

이 연구의 결과로 도출된 시뮬레이션 알고리즘은 연산 비용이 큐비트 수와 목표 마법 상태의 안정자 랭크(stabilizer rank) 모두에 대해 다항식으로 증가한다. 안정자 랭크는 비클리퍼드 복잡도를 나타내는 지표인데, 표준 단일 큐비트 마법 상태의 경우 이 값이 2에 불과하다. 오류 정정 코드 자체의 규모가 커져도 이 복잡도는 관리 가능한 수준에 머문다는 뜻이다. 해당 성과는 PRX Quantum에 게재되었다.

실용적 의미와 한계

이 프레임워크는 물리적 마법 상태 준비에 필요한 실제 자원을 줄이지는 않는다. 다만 연구자들이 현실적인 회로 수준 노이즈 조건 아래에서 다양한 준비 프로토콜을 비교·평가하고 개선하는 작업을 지수적 연산 비용이나 근사 오차 없이 수행할 수 있게 된다. 마법 상태 팩토리 설계 최적화가 내결함성 양자 컴퓨터의 병목으로 지속될 가능성이 높다는 점에서, 이 시뮬레이션 도구는 프로토콜 탐색 속도를 실질적으로 앞당길 수 있다.