GCAMPS: 고차원 양자 시스템을 위한 확장 가능한 클래식 시뮬레이터

초록

본 논문은 기존의 CAMPS 방식을 일반화하여 qutrit·qudit 등 차원이 2를 초과하는 양자 시스템을 효율적으로 시뮬레이션할 수 있는 GCAMPS 프레임워크를 제안한다. 텐서 네트워크와 안정자(stabilizer) 시뮬레이션을 결합해 메모리와 실행시간을 크게 절감했으며, 특히 T‑게이트가 적은 회로에서 qutrit 시뮬레이션 성능이 기존 MPS 대비 현저히 향상됨을 실험적으로 입증한다.

상세 분석

GCAMPS는 CAMPS가 활용한 “Clifford‑augmented” 아이디어를 d‑차원 시스템에 그대로 적용하기 위해 두 가지 핵심 기술을 확장한다. 첫째, 일반화된 Pauli 연산자 X, Z, Y를 Z₍d₎ 위의 정수 지수로 표현하고, 이를 기반으로 안정자 테이블을 d‑진법(모듈러 d) 행렬로 구성한다. 이때 테이블의 각 행은 XᵃZᵇ 형태의 연산자를 나타내며, 위상 정보는 ω=exp(2πi/d) 로 관리한다. 이렇게 하면 Clifford 게이트(일반화된 H, S, SUM 등)의 작용을 단순히 지수 연산으로 업데이트할 수 있어, 기존 2‑차원 경우와 동일한 O(n²) 메모리 복잡도를 유지한다. 둘째, 텐서 네트워크, 특히 MPS와 결합할 때는 “disentangler”라 불리는 특수 Clifford 연산자를 찾아 각 사이트에 삽입한다. 이 연산자는 비Clifford(T) 게이트가 적용된 직후에 상태를 가능한 한 낮은 엔탱글먼트 차원으로 되돌려 MPS의 보존 차수를 최소화한다. 논문에서는 Gaussian elimination을 Z₍d₎ 위에서 수행해 임의 Pauli 문자열을 기존 안정자·비안정자 조합으로 분해하는 절차를 상세히 제시한다.

하지만 GCAMPS의 확장성에는 제한이 있다. 일반적인 d에 대해 효율적인 disentangler를 찾는 문제는 현재 알려진 다항식 시간 알고리즘이 없으며, 실험에서는 d=3(qutrit) 정도까지 탐색이 현실적으로 가능했다. 또한 비Clifford 게이트가 많이 포함된 회로에서는 T‑게이트 수가 시스템 규모를 초과하면 MPS와 유사한 복잡도로 되돌아가므로, GCAMPS의 이점은 “T‑gate 수 < qudit 수”인 regime에 국한된다.

벤치마크 결과는 qutrit T‑도핑 랜덤 Clifford 회로에 대해, T‑게이트가 0.5·n 이하일 때 메모리 사용량이 기존 MPS 대비 35배 감소하고, 실행 시간도 24배 가량 빨라짐을 보여준다. 흥미롭게도 동일 회로를 qubit으로 변환했을 때보다 qutrit에서의 상대적 속도 향상이 더 크게 나타났는데, 이는 텐서 네트워크가 d가 커질수록 차원 폭발을 겪는 반면, 안정자 기반 부분이 d에 거의 의존하지 않기 때문이다.

결론적으로 GCAMPS는 고차원 양자 시스템 시뮬레이션에 있어 기존 방법들의 약점을 보완하는 실용적인 하이브리드 프레임워크이며, 특히 엔탱글먼트가 제한적이면서 비Clifford 연산이 적은 물리·양자 정보 문제에 강력한 도구가 될 전망이다. 향후 연구에서는 효율적인 disentangler 탐색 알고리즘 개발과, d>3 시스템에 대한 확장성을 검증하는 것이 주요 과제로 남는다.