[논문 리뷰] Tight uniform continuity bound for a family of entropies

Eric P. Hanson, Nilanjana Datta|arXiv (Cornell University)|2017. 07. 13.

Statistical Mechanics and Entropy참고 문헌 9인용 수 6

한 줄 요약

이 논문은 주어진 상태 주변의 ε-공내에서의 주요 순서에서의 최소 상태를 활용하여, von Neumann, Tsallis 및 α∈(0,1)에 대한 α-Rényi 엔트로피를 포함하는 넓은 엔트로피 가족에 대해 날카운 일관성 경계를 확립한다. 이 경계는 차원 d와 추적 거리 ε에 대해 일관되며, 모든 엔트로피 가족 내에서 등호 조건이 동일하다는 것이 증명되었으며, 최소 상태의 쏠림 성질과 볼록 함수 분석에 기반한다.

ABSTRACT

We prove a tight uniform continuity bound for a family of entropies which includes the von Neumann entropy, the Tsallis entropy and the $α$-Rényi entropy, $S_α$, for $α\in (0,1)$. We establish necessary and sufficient conditions for equality in the continuity bound and prove that these conditions are the same for every member of the family. Our result builds on recent work in which we constructed a state which was majorized by every state in a neighbourhood ($\varepsilon$-ball) of a given state, and thus was the minimal state in majorization order in the $\varepsilon$-ball. This minimal state satisfies a particular semigroup property, which we exploit to prove our bound.

연구 동기 및 목표

• von Neumann, Tsallis 및 α∈(0,1)에 대한 α-Rényi 엔트로피를 포함하는 엔트로피 가족에 대해 날카운 일관성 경계를 확립하는 것.
• 이 가족 내 모든 엔트로피에 대해 경계에서 등호가 성립하는 필수 및 필요 조건을 규명하는 것.
• ε-공 내에서 주요 순서에서의 최소 상태의 쏠림 성질을 활용하여 일관성 경계 분석을 통합하는 것.
• 기존 국소 일관성 경계를 기반 상태 스펙트럼에 의존하지 않는 일관된 경계로 확장하는 것.

제안 방법

• 주어진 상태 σ 주변의 ε-공 내에서 주요 순서에서 최소 상태 ρ*ε(σ)를 구성하기 위해 명시적 고유값 조작을 사용한다.
• 쏠림 성질 ρ*ε1+ε2(σ) = ρ*ε1(ρ*ε2(σ))을 활용하여 ε-공 내에서 엔트로피 변화의 분석을 단순화한다.
• 기울기 함수 𝒔(x₁,x₂) = (ϕ(x₂)−ϕ(x₁))/(x₂−x₁)를 통한 볼록 함수 기울기 분석을 적용하여 엔트로피 차이를 경계한다.
• ε-공 내 상태들의 최대 및 두 번째로 큰 고유값을 비교하여 엔트로피 차이의 경계를 유도한다.
• CPTP 사상 하에서 추적 거리의 단조성에 기반하여 유도 과정에서 T(ρ,τ)와 T(σ,τ)를 연결한다.
• 모든 엔트로피 가족 내에서 등호 조건이 동일하다는 것을 보여줌으로써 경계의 날카로움을 증명한다.

실험 결과

연구 질문

• RQ1 von Neumann, Tsallis 및 α∈(0,1)에 대한 α-Rényi 엔트로피를 포함하는 (h,ϕ)-엔트로피 가족에 대해 가능한 가장 날카운 일관성 경계는 무엇인가요?
• RQ2 상태와 엔트로피 매개변수에 어떤 조건이 성립할 경우, 이 가족의 모든 구성원에서 경계에서 등호가 성립합니까?
• RQ3 주요 순서에서 최소 상태의 쏠림 성질은 기반 상태에 의존하지 않는 일관성 경계를 어떻게 가능하게 합니까?
• RQ4 기반 상태의 스펙트럼에 의존하지 않고도 (h,ϕ)-가족 내 모든 엔트로피에 대해 경계를 날카롭고 일관되게 만들 수 있습니까?
• RQ5 완전 혼합 상태 τ의 추적 거리 단조성은 경계 유도 과정에서 어떤 역할을 합니까?

주요 결과

• von Neumann, Tsallis 및 α∈(0,1)에 대한 α-Rényi 엔트로피를 포함하는 (h,ϕ)-엔트로피 전체 가족에 대해 날카운 일관성 경계가 확립되었으며, 이 경계는 오직 d와 ε에 의존한다.
• 경계는 ε-공 내 모든 상태에 대해 일관되며, 기반 상태 σ의 스펙트럼에 의존하지 않는다.
• 경계에서 등호가 성립하는 데 필요한 필수 및 충분 조건은 가족 내 모든 엔트로피에 대해 동일하며, 특정 고유값 구성이 필요하다.
• 주요 순서에서 최소 상태 ρ*ε(σ)는 쏠림 성질 ρ*ε1+ε2(σ) = ρ*ε1(ρ*ε2(σ))를 만족하며, 이는 증명에 필수적이다.
• 볼금 함수 ϕ의 기울기 분석과 기울기 함수 𝒔(x₁,x₂)를 통한 등호 조건 증명을 통해 경계의 날카로움이 입증되었다.
• 이전 결과인 Chen 등과 Rastegin의 결과보다 개선되었으며, 이는 비일관성으로 알려져 있었고, 다양한 엔트로피 유형 간의 일관성 분석을 통합한다.