복합 및 평균 양자 채널의 고전 용량 완전 규명

본 논문은 메모리 없는 고전‑양자(cq) 채널들의 복합 집합과 평균 집합에 대한 고전 전송 용량을 정확히 규명한다. 복합 채널 T는 사전 지식이 “채널이 T에 속한다”는 것뿐인 상황을 모델링하며, T는 유한하거나 무한한 수의 메모리 없는 cq‑채널을 포함한다. 전송 코드는 모든 가능한 채널 t∈T에 대해 동일한 오류 한계 λ을 만족해야 하며, 이는 고전 복합 채널의 최대 오류(max‑code)와 평균 오류(av‑code) 기준과 직접 대응된다. 논문의 핵심 정리는 다음과 같다. 입력 확률 분포 p∈P(A)에 대해 Holevo 정보 χ(p,W_t)=S(∑ₓ p(x)D_{t,x})−∑ₓ p(x)S(D_{t,x}) 를 정의하고, 복합 채널 T의 λ‑용량(0<λ<1)은 C(T,λ)=max_{p∈P(A)} inf_{t∈T} χ(p,W_t) 이라는 식으로 주어진다. 이 식은 λ‑용량과 강한 역정리(strong converse) 모두에 동일하게 적용된다. 평균 cq‑채널의 경우, 채널 선택 확률 μ가 주어지면 평균 채널을 복합 채널의 특수 경우로 간주하여 동일한 용량 식을 얻는다. 따라서 평균 채널의 용량도 C̄= max_{p∈P(A)} inf_{t∈supp(μ)} χ(p,W_t) 으로 표현된다. 증명은 두 주요 단계로 구성된다. 첫 번째 단계는 양자 상대 엔트로피 S(ρ‖σ)를 고전적인 Kullback‑Leibler 발산 D(p‖q)로 근사하는 보편적인 방법을 제시한다. 기존에는 Hiai‑Petz가 단일 상태 쌍에 대해 근사를 제시했지만, 본 논문은 Nagaoka의 아이디어를 확장해, 임의의 상태 집합 Ω⊂S(H)와 기준 상태 σ에 대해 모든 ρ∈Ω에 대해 동일한 오류 상수를 갖는 투사 측정 M_l을 구성한다. Lemma 4.1은 타입‑바운딩 기법을 이용해, 모든 ρ에 대해 동일한 상수 c>0와 δ>0를 선택하면, 확률 집합 X_{l,δ}가 거의 전부를 차지하면서 상대 엔트로피의 하한을 보장한다. 이를 바탕으로 Theorem 4.2는 “보편적 고전 근사”를 정량화하여, S_{M_l}(ρ^{⊗l}‖σ^{⊗l}) ≥ l(S(Ω‖σ)−ζ_l) 를 만족하는 PVM M_l을 구축한다. 여기서 ζ_l→0이며, 이는 양자 Stein’s Lemma와 Sanov’s Theorem의 양자 버전을 동시에 만족한다는 의미다. 두 번째 단계에서는 위의 보편적 근사를 복합 채널 용량 문제에 연결한다. 입력 분포 p에 대해 ρ_t=∑ₓ p(x)|x⟩⟨x|⊗D_{t,x} 와 σ_t=∑ₓ p(x)D_{t,x} 를 정의하고, S(ρ_t‖p⊗σ_t)=χ(p,W_t) 임을 이용한다. Donald’s inequality를 적용하면, 임의의 t,t′∈T에 대해 S(ρ_{t′}‖p⊗σ_t) ≥ S(ρ_{t′}‖p⊗σ_{t′}) 가 성립하고, 이는 infₜ χ(p,W_t) 가 용량의 하한임을 보인다. 보편적 고전 근사를 이용해 직접 부문(achievability)을 증명하면, 임의의 ε>0에 대해 충분히 큰 n에 대해 (n,M_n,ε) max‑code가 존재하고, 그 속도는 maxₚ infₜ χ(p,W_t)−δ에 수렴한다. 강한 역정리는 동일한 보편적 가설 검정 프레임워크를 사용해, 어떤 코드라도 속도 R>maxₚ infₜ χ(p,W_t) 를 초과하면 오류가 1에 수렴함을 보인다. 논문은 또한 평균 cq‑채널에 대한 결과를 도출한다. 채널 선택 확률 μ가 주어지면, 평균 채널을 복합 채널의 특수 경우로 간주하여 동일한 용량 식을 얻는다. 이는 Datta‑Dorlas가 유한 가중합에 대해 얻은 결과를 무한 집합 및 임의 측도까지 일반화한 것이다. 마지막으로, 논문 제출 후 Hayashi가 Weyl‑Schur 이중성을 이용해 유사한 결과를 독립적으로 얻었다는 점을 언급한다. 두 접근법은 서로 보완적이며, 보편적 고전 근사와 가설 검정 기법을 양자 정보 이론에 성공적으로 도입함으로써 복합 및 평균 cq‑채널의 용량 문제를 완전히 해결했다. 이 결과는 채널에 대한 불확실성이 존재하는 실용적인 양자 통신 시나리오에서 보편적인 코드를 설계할 수 있음을 의미한다.