[논문 리뷰] Asymptotic Equipartition Theorems in von Neumann algebras

Omar Fawzi, Li Gao외 1명|arXiv (Cornell University)|2022. 12. 30.

Neural dynamics and brain function인용 수 5

한 줄 요약

이 논문은 일반 von Neumann 대수에서 최대 상대 엔트로피에 대한 渐近 등분할 정리(Asymptotic Equipartition Theorem)를 수립하여, 유한 차원 시스템을 초월해 i.i.d. 양자 AEP 결과를 확장한다. 이는 i.i.d. 상태의 매끄러운 최대 상대 엔트로피가 양자 상대 엔트로피로 渐近 수렴함을 증명하며, 유한 차원 속도와 $ O(\frac{\mathrm{log}\ n}{n}) $ 보정 항을 포함한다. 이는 연산자 대수 기법을 통해 무한 차원 및 고전-양자 설정으로 AEP를 일반화한다.

ABSTRACT

The Asymptotic Equipartition Property (AEP) in information theory establishes that independent and identically distributed (i.i.d.) states behave in a way that is similar to uniform states. In particular, with appropriate smoothing, for such states both the min and the max relative entropy asymptotically coincide with the relative entropy. In this paper, we generalize several such equipartition properties to states on general von Neumann algebras. First, we show that the smooth max relative entropy of i.i.d. states on a von Neumann algebra has an asymptotic rate given by the quantum relative entropy. In fact, our AEP not only applies to states, but also to quantum channels with appropriate restrictions. In addition, going beyond the i.i.d. assumption, we show that for states that are produced by a sequential process of quantum channels, the smooth max relative entropy can be upper bounded by the sum of appropriate channel relative entropies. Our main technical contributions are to extend to the context of general von Neumann algebras a chain rule for quantum channels, as well as an additivity result for the channel relative entropy with a replacer channel.

연구 동기 및 목표

• 유한 차원 양자 시스템에서의 渐近 등분할 성질(AEP)을 일반 von Neumann 대수로 확장하여, 무한 차원 및 고전-양자 시스템을 포함한다.
• von Neumann 대수에서 i.i.d. 상태의 매끄러운 최대 상대 엔트로피에 대한 양자 AEP를 수립하고, 그것이 양자 상대 엔트로피로 수렴함을 보인다.
• i.i.d. 가정을 초월해 순차적 양자 채널 과정으로 AEP를 일반화하여, 매끄러운 최대 상대 엔트로피를 채널 상대 엔트로피의 합으로 바운드한다.
• 일반 von Neumann 대수의 맥락에서 채널 상대 엔트로피의 체인 규칙과 가환성 결과와 같은 기술적 도구를 개발한다.

제안 방법

• 연산자 대수 기법을 사용하여 von Neumann 대수에서 i.i.d. 상태 $ \rho^{\otimes n} \| \sigma^{\otimes n} $ 의 매끄러운 최대 상대 엔트로피 $ D_{\text{max}}^{\text{ε}} $ 에 대한 일반 AEP를 유도한다.
• von Neumann 대수의 맥락에서 양자 채널에 대한 체인 규칙을 도입하고 증명하여 순차적 상태 생성의 분석을 가능하게 한다.
• 재치환 채널과 함께 채널 상대 엔트로피의 가환성 결과를 수립하여, 비-i.i.d. 설정에서 엔트로피를 바운드하는 데 핵심적인 역할을 한다.
• Petz-Rényi 상대 엔트로피와 민감도 기반 바운드를 사용하여 최대 상대 엔트로피 근사에서 $ \mu $-항을 제어하며, Radon-Nikodym 미분의 스펙트럼 성질을 활용한다.
• $ \tilde{D}_\alpha $ 를 통한 가설 검정 상대 엔트로피 바운드의 개선된 형태를 적용하여, $ \alpha = 1 + \frac{1}{2\lambda\sqrt{n}} $ 에 대해 최적화하여 $ O(\log n / n) $ 보정 항을 도출한다.
• Jensen의 부등식과 로그 연산자 부등식을 사용하여 渐近 전개의 나머지 항을 바운드하며, 특히 $ r_\beta(t) $ 에 대해 $ \cosh $-형 부등식을 활용한다.

실험 결과

연구 질문

• RQ1 최대 상대 엔트로피에 대한 渐近 등분할 성질(AEP)을 유한 차원 양자 시스템에서 일반 von Neumann 대수로 확장할 수 있는가? 이는 무한 차원 및 고전-양자 시스템을 포함한다.
• RQ2 von Neumann 대수에서 i.i.d. 상태의 매끄러운 최대 상대 엔트로피는 渐近적으로 양자 상대 엔트로피로 수렴하는가? 이때 정확한 유한 표본 보정 항이 존재하는가?
• RQ3 i.i.d. 상태를 초월해 순차적 양자 채널 과정으로 AEP를 일반화할 수 있는가? 이 경우 매끄러운 최대 상대 엔트로피는 채널 상대 엔트로피의 합으로 바운드되는가?
• RQ4 von Neumann 대수로 AEP를 확장하기 위해 필요한 기술적 도구(예: 체인 규칙, 가환성 성질 등)는 무엇이며, 어떻게 엄밀하게 수립할 수 있는가?

주요 결과

• von Neumann 대수에서 i.i.d. 상태의 매끄러운 최대 상대 엔트로피는 渐近 전개 $ \frac{1}{n}D_{\text{max}}^{\sqrt{\varepsilon}}(\rho^{\otimes n}\|\sigma^{\otimes n}) = D(\rho\|\sigma) - \sqrt{\frac{V(\rho\|\sigma)}{n}}\Phi^{-1}(\varepsilon) + O(\frac{\log n}{n}) $ 를 만족하며, 이는 고전적 AEP를 무한 차원 설정으로 일반화한다.
• $ O(\frac{1}{n}) $ 보정 항이 $ O(\frac{\log n}{n}) $ 으로 향상되었으며, 이는 고전적 $ O(\frac{1}{\sqrt{n}}) $ 보다 더 날카롭고, 알려진 유한 차원 결과와 일치한다.
• AEP는 양자 채널로 확장된다: 순차적으로 채널에 의해 생성된 상태에 대해, 매끄러운 최대 상대 엔트로피는 적절한 유한성 조건 하에 채널 상대 엔트로피의 합으로 상한이 된다.
• von Neumann 대수 프레임워크에서 양자 채널에 대한 체인 규칙이 수립되어 순차적 상태 준비의 분석이 가능해지고, AEP가 비-i.i.d. 과정으로 일반화된다.
• 재치환 채널과 함께 채널 상대 엔트로피의 가환성 결과가 증명되었으며, 이는 비-i.i.d. 설정에서 매끄러운 최대 상대 엔트로피를 바운드하는 데 필수적이다.
• 증명은 $ \tilde{D}_\alpha $ 를 포함한 연산자 부등식, $ \mu = \langle \rho | \sqrt{\Delta} + \sqrt{\Delta}^{-1} + 1 | \rho \rangle $ 의 스펙트럼 바운드, 그리고 $ \log n / n $ 항을 제어하기 위한 $ \alpha $ 에 대한 정교한 최적화에 기반한다.