밀도 행렬을 위한 베이지안 일반화 확률 연산

본 논문은 “밀도 행렬”이라는 양자역학의 핵심 객체를 확률론의 일반화된 형태로 해석하고, 이를 기반으로 전통적인 확률 계산 체계를 확장한다. 먼저, 확률 분포를 대각 밀도 행렬 D=diag(p) 로 보는 관점을 제시하고, 이를 비대각, 즉 일반적인 대칭 양의 정부호 행렬 ρ (트레이스 1) 로 일반화한다. 이렇게 하면 확률 변수 간의 고전적 독립성 개념이 양자 얽힘과 같은 비클래식 상관관계까지 포괄할 수 있다. **1. 기본 연산 정의** - **∘ 연산**: 두 밀도 행렬 A와 B를 같은 고유벡터 기저에서 원소별 곱을 수행한 뒤 재조합하는 연산으로, 확률의 곱셈에 해당한다. A∘B는 여전히 대칭 양의 정부호이며 트레이스가 1이 되도록 정규화한다. - **부분 트레이스**: 결합 밀도 행렬 ρ_{AB}에 대해 Tr_B(ρ_{AB})를 수행하면 주변밀도 행렬 ρ_A를 얻는다. 이는 고전 확률에서 마진을 구하는 과정과 동일한 역할을 한다. **2. 결합 및 조건부 밀도 행렬** - **결합**: ρ_{AB}=ρ_A∘ρ_B 혹은 더 일반적으로 ρ_{AB}=∑_i p_i |ψ_i⟩⟨ψ_i|⊗|φ_i⟩⟨φ_i| 형태로 정의한다. - **조건부**: ρ_{A|B}=ρ_{AB}∘ρ_B^{-1} 로 정의한다. 여기서 ρ_B^{-1}는 가역인 경우에만 존재하며, 가역이 아닐 경우 Moore‑Penrose 의사역을 사용한다. 이 정의는 Umegaki 양자 상대 엔트로피 S(σ‖ρ)=Tr