소수 큐비트 시스템의 안정자 다면체와 트레이스 거리 기반 비안정성 분석

초록

본 논문은 트레이스 거리를 이용해 몇 개의 큐비트로 이루어진 양자 시스템에서 비안정성(마법)의 양을 정량화하고, 안정자 다면체의 기하학적 구조를 상세히 탐구한다. 순수 및 혼합 상태를 무작위 샘플링하여 비안정성 분포를 분석하고, 기존 비안정성 지표와의 관계 및 얽힘과의 연결 고리를 제시한다. 또한 1‑큐비트, 1‑큐트릿, 2‑큐비트 시스템에 대한 다면체의 면(facet)과 벨‑유사 부등식을 구체적으로 분류하고, Fannes 부등식을 활용한 일반적인 집중 결과를 증명한다.

상세 분석

이 연구는 안정자 다면체(stabilizer polytope)를 “비안정성(non‑stabilizerness)”의 기준점으로 삼아, 트레이스 거리(trace distance, NTD) 를 새로운 비안정성 지표로 정의한다. NTD는 임의의 양자 상태 ρ와 안정자 다면체 P_STAB 사이의 최소 트레이스 거리 ‖ρ − σ‖₁/2 (σ∈P_STAB) 로, 순수·혼합 상태 모두에 적용 가능하며, 최적 측정에 대한 구별 가능성을 직접적으로 반영한다는 장점이 있다.

논문은 먼저 1‑큐비트, 1‑큐트릿, 2‑큐비트 시스템에 대해 안정자 다면체의 V‑표현(정점)과 H‑표현(면) 을 명시적으로 계산한다. 1‑큐비트 경우, 8개의 면이 정규 사면체(octahedron) 형태로 Bloch 구에 내접하며, 대표적인 부등식 I₂ = 1 + ⟨X⟩ + ⟨Y⟩ + ⟨Z⟩ ≥ 0 로 표현된다. 이 부등식은 T‑state(‖ρ_T‖₁ = 0) 가 최대 위반함을 보여, NTD가 0이 되는 비안정성 최적 상태임을 확인한다.

1‑큐트릿(d=3)에서는 81개의 면이 존재하지만, 클리포드 대칭을 이용해 두 개의 동등 클래스(I₃¹, I₃²) 로 축소한다. “스트레인지 상태” |S⟩ 와 “노렐 상태” |N⟩ 가 각각 I₃¹, I₃² 를 최대 위반하며, NTD 값이 각각 0.5, 0.447, 0.333 등으로 정량화된다.

2‑큐비트 경우, LRS 소프트웨어를 이용해 22 320개의 부등식을 얻고, 클리포드 군의 네 가지 서브클래스(단일 큐비트, CNOT, i‑SWAP, SWAP)를 통해 모든 면을 8개의 기본 부등식으로 생성한다. 이 부등식들은 ⟨P_i⊗P_j⟩ 형태의 기대값 선형 결합으로 나타나며, Bell‑유사 부등식과 직접적인 연관성을 가진다.

비안정성 분포 분석에서는 Haar 측정에 따라 무작위 순수 상태를, Hilbert‑Schmidt 측정에 따라 혼합 상태를 샘플링한다. 결과적으로 순수 상태는 NTD가 0에서 0.5 사이에 고르게 분포하나, 평균값은 약 0.28 정도이며, 혼합 상태는 노이즈가 증가할수록 NTD가 급격히 감소한다. 이는 비안정성이 억제된 채로도 여전히 일정 수준의 양자 자원을 보존한다는 점을 시사한다.

다른 비안정성 지표와의 비교에서는 RoM(Robustness of Magic), mana, stabilizer Rényi entropy와 높은 상관관계를 보였으며, 특히 NTD는 RoM의 상한을 제공한다는 수학적 증명을 제시한다.

마지막으로, Fannes 부등식을 활용해 비안정성 NTD와 엔트로피 기반 얽힘 측도(EoF, concurrence) 사이의 집중(concentration) 현상을 증명한다. 구체적으로, 두 상태 ρ,σ 가 트레이스 거리 ε 이하이면 |M(ρ) − M(σ)| ≤ ε log d + h(ε) (h는 이진 엔트로피) 가 성립한다. 이는 작은 시스템에서 비안정성과 얽힘이 서로 강하게 결합되어 있음을 의미한다.

전반적으로 이 논문은 소수 큐비트 영역에서 안정자 다면체의 기하학을 완전하게 해석하고, 트레이스 거리 기반 비안정성 지표를 통해 양자 자원의 구조적 이해를 심화시킨다.