[論文レビュー] Quantum Rényi and $f$-divergences from integral representations

Christoph Hirche, Marco Tomamichel|arXiv (Cornell University)|Jun 21, 2023

Deception detection and forensic psychology被引用数 4

ひとこと要約

本稿では、量子ホッキースティック発散に基づく積分表現を用いて、f-発散とRényi発散の新しい量子一般化を導入する。主な貢献は、正則化されたこれらの発散が、それぞれα < 1およびα > 1に対してPetzとアンクル・Rényi発散を統一することであり、作用素凸fに対して収縮係数が一致することにより、長年の予想が解決されることである。

ABSTRACT

Smooth Csiszár $f$-divergences can be expressed as integrals over so-called hockey stick divergences. This motivates a natural quantum generalization in terms of quantum Hockey stick divergences, which we explore here. Using this recipe, the Kullback-Leibler divergence generalises to the Umegaki relative entropy, in the integral form recently found by Frenkel. We find that the Rényi divergences defined via our new quantum $f$-divergences are not additive in general, but that their regularisations surprisingly yield the Petz Rényi divergence for $α&lt; 1$ and the sandwiched Rényi divergence for $α&gt; 1$, unifying these two important families of quantum Rényi divergences. Moreover, we find that the contraction coefficients for the new quantum $f$ divergences collapse for all $f$ that are operator convex, mimicking the classical behaviour and resolving some long-standing conjectures by Lesniewski and Ruskai. We derive various inequalities, including new reverse Pinsker inequalities with applications in differential privacy and explore various other applications of the new divergences.

研究の動機と目的

• 量子ホッキースティック発散に基づく積分表現を用いて、古典的f-発散の自然な量子一般化を開発すること。
• 提案された新しいf-発散の正則化を通じて、2つの代表的な量子Rényi発散（Petzとアンクル）を統一すること。
• 作用素凸関数fに対するf-発散の収縮係数に関するLesniewskiとRuskaiの長年の予想を解消すること。
• 微分プライバシーへの応用を含む、逆Pinsker不等式を含む新しい不等式を確立すること。
• データ処理不等式や結合凸性といった重要な性質を保つ、量子発散の枠組みを構築すること。

提案手法

• 量子ホッキースティック発散をEγ(ρ‖σ) = Tr((ρ − γσ)+)として定義し、古典的ホッキースティック発散を量子状態へ拡張する。
• 積分表現を用いて量子f-発散を構築：Df(ρ‖σ) = Tr(ρ − σ) + ∫₁^∞ [f''(γ)Eγ(ρ‖σ) + γ⁻³f''(γ⁻¹)Eγ(σ‖ρ)] dγ。
• 積分表現を用いて、Hellinger型発散Hα(ρ‖σ)を介してRényi発散を一般化し、Dα(ρ‖σ) = (1/(α−1)) log(1 + (α−1)Hα(ρ‖σ))によりDαと関連付ける。
• 提案されたf-発散の正則化版が、α < 1のときPetzのRényi発散、α > 1のときアンクルのRényi発散をそれぞれ与えることを証明する。
• 収縮係数を解析し、すべての作用素凸fに対して収縮係数が一致することを示し、古典的挙動を再現する。
• Df(aρ‖bσ)のスケーリング則を導出し、この枠組みを用いて新しい逆Pinsker型不等式を確立する。

実験結果

リサーチクエスチョン

• RQ1 量子ホッキースティック発散の積分表現を用いたf-発散の量子一般化は、古典的性質（例：データ処理不等式）を保ちながら構築可能か？
• RQ2 提案された量子f-発散の正則化は、すべてのα ≠ 1においてPetzとアンクルのRényi発散を統一するか？
• RQ3 新しいf-発散の収縮係数が作用素凸fに対して一致するのはなぜか？これはLesniewskiとRuskaiの予想を解消するか？
• RQ4 この枠組みから導ける新しい不等式（例：逆Pinsker不等式）は何か？それらの応用は何か？
• RQ5 密度行列のスケーリングに対して新しい発散はどのように振る舞い、モニトニシティと凸性を保つのか？

主な発見

• 提案された量子f-発散の正則化版は、α < 1のときPetzのRényi発散、α > 1のときアンクルのRényi発散をそれぞれ与え、両者の家族を統一する。
• 新しいf-発散の収縮係数は、すべての作用素凸fに対して一致し、LesniewskiとRuskaiの長年の予想を確認する。
• 新しい発散はデータ処理不等式と結合凸性を満たし、これらは量子ホッキースティック発散から引き継がれる。
• 逆Pinsker不等式が導出され、微分プライバシーおよび量子情報理論への応用が期待される。
• スケーリング則Df(aρ‖bσ) = (a−b) + bD_{F_{a,b}}(ρ‖σ) + ∫_{b/a}^1 f''(a/b γ)(a²/b)(1−γ) dγが成り立ち、古典的スケーリング行動を一般化する。
• f(x) = x log xのとき、Frenkelの公式によるUmegakiの相対エントロピーの積分表現が特別な場合として回復される。