마요라니 안정자 상태의 위상‑민감 표현 및 효율적 시뮬레이션 알고리즘

초록

본 논문은 페르미온 양자계에서 마요라니 클리포드 군에 의해 변환되는 마요라니 안정자 상태를 위상 정보를 포함한 CH‑형식으로 표현한다. 위상‑민감 표현을 기반으로 상태 진폭, 내적, 기대값을 O(n³) 이하의 복잡도로 계산하는 알고리즘을 제시하고, 주요 마요라니 클리포드 게이트(η, W, ηjk)의 업데이트 규칙을 제시한다.

상세 분석

이 연구는 기존의 큐비트 기반 안정자(state) 이론을 페르미온 시스템에 직접 적용하려는 시도에서 출발한다. 전통적인 조던‑와이거 변환은 로컬 페르미온 연산자를 비국소 파울리 연산자로 매핑해 해석성을 크게 손상시키지만, 마요라니 연산자 cₖ = aₖ + aₖ†, ˜cₖ = i(aₖ† − aₖ)는 로컬성을 유지하면서도 유니터리·헐미션 성질을 갖는다. 논문은 이러한 마요라니 연산자를 (φ, z, x) 3‑튜플 형태로 이진 벡터 z, x와 위상 φ∈{0,1,2,3} 로 기술한다. 이는 파울리 연산자의 symplectic 표현과 직접적인 대응 관계에 있으며, 연산자 곱셈, 교환, 그리고 연산자와 계산기저 상태와의 작용을 모두 O(n²) 시간 내에 수행할 수 있게 한다.

마요라니 클리포드 연산자는 U(Γ, θ)=exp(−iθ/2 Γ) 형태이며, θ=jπ/2 (j∈ℤ) 일 때만 마요라니 연산자를 다른 마요라니 연산자로 정확히 변환한다. 저자들은 특히 짝수 패리티(‘p‑Clifford’) 연산자 집합을 선택하고, ηⱼₖ=e^{π/4 cⱼcₖ}, ηⱼ=e^{−iπ/4 pⱼ}, Wⱼₖ=e^{−iπ/4 pⱼpₖ} 로 생성되는 게이트들을 기본 생성원으로 삼는다. 이들 게이트는 각각 O(n) 혹은 O(n²) 복잡도로 업데이트가 가능하며, 복합적인 마요라니 회전도 동일한 복잡도로 구현된다.

마요라니 안정자 상태 |ψ⟩=U|0⟩는 위상‑민감 CH‑형식 |ψ⟩=e^{iπφ/4} U_C U_B|s⟩ 로 표현된다. 여기서 U_B는 서로 교환하는 브레이딩 연산자들의 곱이며, U_C는 ‘control‑type’ 클리포드 연산자로, p‑type 연산자만을 p‑type 연산자로 변환한다. U_C는 전통적인 stabilizer tableau (E, F, G 행렬과 위상 ω) 로 저장되며, 이는 연산자 변환을 O(n²) 시간에 수행한다. 특히 E·Gᵀ=I, F·Gᵀ+G·Fᵀ=I+G·Gᵀ 라는 관계가 보존돼 메모리와 연산 효율을 보장한다.

진폭 ⟨x|ψ⟩ 계산은 먼저 ⟨0|Γ|ψ⟩ 형태로 변환한 뒤, Γ를 (−1)^{⌊|x|/2⌋}∏k c{x_k} 로 표현한다. 이후 U_B와 U_C의 업데이트를 차례로 적용해 최종 진폭을 O(|x| n) 시간에 얻는다. 내적 ⟨ψ′|ψ⟩ 은 두 상태를 각각 U_B, U_C 로 정규화한 뒤, 공통된 p‑type 연산자들의 교환을 이용해 O(n³) 복잡도로 계산한다. 기대값 ⟨ψ|Γ|ψ⟩ 은 Γ를 U_B, U_C 로 변환한 뒤, 변환된 연산자가 전부 p‑type이면 간단히 위상과 패리티만으로 평가된다.

전체적으로 이 논문은 마요라니 안정자 상태를 위상까지 포함한 완전한 클래식 데이터 구조로 정의하고, 주요 연산(게이트 적용, 진폭·내적·기대값 계산)을 모두 다항 시간에 수행할 수 있는 알고리즘을 제공한다. 이는 기존의 페르미온 양자 시뮬레이션에서 발생하던 비국소성 문제를 회피하고, 고차원 페르미온 시스템을 효율적으로 클래식 컴퓨터에서 다룰 수 있는 기반을 마련한다.