[论文解读] Tight uniform continuity bound for a family of entropies

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

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 完全混合态τ的迹距离单调性在推导界中起到何种作用？

主要发现

• 为整个(h,ϕ)-熵族（包括von Neumann、Tsallis及α∈(0,1)的α-Rényi熵）建立了紧致的统一连续性界，该界仅依赖于d和ε。
• 该界在ε-球内所有态上统一，且不依赖于参考态σ的谱。
• 所有该族熵在界中等式成立的必要与充分条件完全相同，且要求态中特定的特征值构型。
• 在极大化序中满足半群性质ρ*ε1+ε2(σ) = ρ*ε1(ρ*ε2(σ))的最小态ρ*ε(σ)是证明的关键。
• 通过分析凹函数ϕ的斜率并利用斜率函数𝒔(x₁,x₂)证明等式条件，表明该界是紧致的。
• 所推导的界优于Chen等人及Rastegin已知的非紧致结果，并统一了多种熵类型的连续性分析。