[論文レビュー] 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 完全に混合状態τのトレース距離の単調性は、バインディングの導出において果たす役割は何か？

主な発見

• von Neumann、Tsallis、およびα∈(0,1)に対するα-Rényiエントロピーを含む(h,ϕ)-エントロピー族の全範囲に対して、タイトな一様連続性バインディングが確立され、バインディングはdとεにのみ依存する。
• バインディングはε-ボール内のすべての状態に対して一様であり、基準状態σのスペクトルに依存しない。
• バインディングにおける等号成立の必要十分条件は、エントロピー族のすべてのエントロピーで同一であり、状態の特定の固有値配置を要件としている。
• 主要化順序における最小状態ρ*ε(σ)は、半群性質ρ*ε1+ε2(σ) = ρ*ε1(ρ*ε2(σ))を満たしており、これが証明に不可欠である。
• 凹関数ϕの勾配の解析と斜め関数𝒔(x₁,x₂)による等号成立条件の証明により、バインディングのタイトさが示された。
• ChenらおよびRasteginらの先行研究は非タイトであったが、本研究ではそれらを上回る結果が得られ、複数のエントロピー型にわたる連続性解析が統一された。