거의 i.i.d. 양자 정보 이론: 조건부 엔트로피와 얽힘 측정의 새로운 견고성

본 논문은 양자 정보 이론에서 핵심적인 가정인 독립·동일분포(i.i.d.) 가정이 실제 실험에서는 검증이 불가능하다는 점을 출발점으로 삼는다. 구체적으로, 실험 장치가 생성하는 일련의 양자 시스템 사이에 미세한 상관이 존재하더라도, 이러한 상관은 실용적인 토모그래피 절차로는 탐지되지 않는다. 따라서 ‘실제’ 자원은 완전한 i.i.d. 형태가 아니라, 대칭성(permution invariance)이라는 물리적 전제 하에 ‘거의 i.i.d.’(almost‑iid) 형태로 모델링될 필요가 있다. 1. **de Finetti 정리와 거의 i.i.d. 정의** - 고전적 de Finetti 정리(식 (1))는 n개의 표본을 k개 무시하면 남은 n개의 분포가 i.i.d. 혼합으로 근사된다고 보인다. 그러나 오류 항 ε₍ₙ,ₖ₎ ≤ 2d·n/(n+k)이 작아지려면 k가 n보다 초선형이어야 한다. - 양자 de Finetti 정리(식 (2))도 유사한 제약을 갖는다. - 최근의 지수형 de Finetti 정리(식 (3))는 k=o(n)으로 충분히 작게 잡아도 오류 ε′₍ₙ,ₖ₎가 exp(−c·k) 수준으로 급격히 감소한다. 여기서 ‘거의 i.i.d.’ 상태는 n−r개의 서브시스템이 동일한 순수 상태 |θ⟩에, r개의 서브시스템이 임의의 결함을 갖는 초퍼포지션 형태이다. r=o(n)이면 결함 비율이 0에 수렴한다. 2. **정의와 구조** - 정의 2.1은 ‘혼합 거의 i.i.d.’(mixed almost‑iid) 상태를 공식화한다. 핵심은 (i) 전 시스템-보조 시스템 쌍 (A_i,E_i) 간에 전치불변성을 유지하고, (ii) 전체 상태의 지지공간이 V(H^{⊗n}_{AE},|θ⟩^{⊗(n−r)})에 포함된다는 점이다. - 예시 2.2는 텐서 파워 상태, 결함이 있는 혼합, 그리고 반대칭 벨 상태 등 다양한 형태를 제시한다. - ‘일반화된 거의 i.i.d.’(¯Sₙ)는 (i) 조건을 포기한 경우이며, PERM 채널을 적용하면 표준 거의 i.i.d. 형태로 변환 가능함을 보인다(식 (8)). 3. **조건부 엔트로피의 수렴** - 논문의 핵심 정리 4.1은 ‘혼합 거의 i.i.d.’ 상태 ρ_{AⁿBⁿ}에 대해 1/n·H(Aⁿ|Bⁿ)_ρ = H(A|B)_σ + o(1)임을 증명한다. 여기서 σ는 기본 i.i.d. 상태이며, r=o(n)인 경우에만 성립한다. - 증명 전략: (a) 거의 i.i.d. 상태를 정규 직교 기저 {|Ψ_t⟩}ₜ∈T 로 전개하고, 이 기저가 V 공간에 포함됨을 보인다(보조정리 B.2). (b) 트레이스 거리와 아인슈타인 불평등을 이용해 결함이 차지하는 비율 r/n이 엔트로피에 미치는 영향을 O(r/n)으로 제한한다(식 (15)). (c) 대수적 한계와 연속성 성질을 결합해 최종적으로 i.i.d. 경우와 차이가 사라짐을 보인다. 4. **스쿼시드 얽힘의 강건성** - 스쿼시드 얽힘 E_{sq}(ρ_{AB})는 최소화된 조건부 상호정보 I(A;B|E)로 정의된다. 조건부 엔트로피가 거의 i.i.d. 상태에서 i.i.d.와 동일하게 수렴한다는 정리 4.1을 이용하면, E_{sq}(ρ_{AB}^{(n)})/n → E_{sq}(σ_{AB})가 성립한다(정리 5.1, 코롤러리 5.1). - 이는 기존에 i.i.d. 가정에 의존하던 얽힘 측정이 실제 실험에서 발생할 수 있는 미세한 상관에도 동일한 값을 유지한다는 의미이며, 양자 통신·키 배포 등 실용적 프로토콜에 직접적인 영향을 미친다. 5. **고전적 거의 i.i.d.와 양자적 차이** - 섹션 3에서는 고전적 경우에 ‘거의 i.i.d.’ 분포를 정의하려 하면, k가 o(n)일 때 오류 항이 1/ poly(n) 수준으로만 감소하고, 지수적 감소는 불가능함을 증명한다. 이는 고전적 확률분포가 초퍼포지션을 가질 수 없기 때문이다. - 양자 경우에만 초퍼포지션을 통해 ‘결함’이 비국소적으로 퍼질 수 있어, 거의 i.i.d. 상태가 고전적 경우보다 훨씬 강력하고 풍부한 구조를 가진다. 6. **기술적 도구와 보조정리** - Lemma 2.5는 특정 부분공간에 속하는 순수 상태를 선호하는 기저 형태로 표현하는 방법을 제공한다. - Proposition 2.6은 많은 서브시스템을 트레이스 아웃하면 거의 i.i.d. 상태가 i.i.d. 상태에 근접한다는 구체적인 거리 상한을 제시한다(‖tr_{n−s}