[论文解读] Inequalities that Collectively Completely Characterize the Catalytic Majorization Relation

M. Klimesh|ArXiv.org|Sep 24, 2007

Graph theory and applications参考文献 3被引用 40

一句话总结

本文通过一个无限函数族 $ f_r(x) $，对概率向量之间的催化极大化关系提供了完整的刻画，证明了 $ x \prec_T y $ 当且仅当对所有实数 $ r $ 都有 $ f_r(x) < f_r(y) $。该结果通过提供一种实用的、基于函数的判别准则，解决了量子信息领域的一个开放问题，用于判断一个量子态能否通过催化剂转化为另一个量子态，从而将 Nielsen 的极大化判据推广至催化情形。

ABSTRACT

For probability vectors x and y, the catalytic majorization relation x prec_T y is defined to hold when there exists a probability vector z such that x otimes z is majorized by y otimes z. In this paper, an infinite family of functions is given such that, subject to some trivial restrictions, x prec_T y if and only if f_r(x) &lt; f_r(y) for all functions f_r in the family. An outline of a proof of this result is provided. The catalytic majorization relation is known to provide a determination of which transformations of jointly held pure quantum states are possible using local operations and classical communication when an additional jointly held state may be specified to facilitate the transformation without being consumed.

研究动机与目标

• 解决 K"{u}rsten (2005) 的开放问题 4，以及 Nielsen 关于判断一个量子态能否通过催化剂转化为另一个量子态的猜想。
• 为催化极大化关系 $ x \prec_T y $ 提供一个完整且基于函数的判别准则，取代涉及辅助催化剂向量 $ z $ 的存在性定义。
• 通过识别一组最小且无限的不等式，阐明催化极大化关系的数学结构。
• 提供一种实用方法以判断催化极大化关系，克服原始定义中缺乏通用计算程序所带来的不可计算性问题。

提出的方法

• 基于广义 Hölder 平均和类似熵的表达式，定义一个关于实数 $ r $ 的一参数函数族 $ f_r(x) $，涵盖不同 $ r $-范围的对数形式和反幂形式。
• 证明 $ f_r(x) < f_r(y) $ 对所有 $ r \in \mathbb{R} $ 成立当且仅当 $ x \prec_T y $，其中当 $ x $ 含有零分量且 $ r \leq 0 $ 时，定义 $ f_r(x) = \infty $。
• 采用极限构造方法：对于含有零分量的 $ y $，定义一个序列 $ y^{(n)} $，使其从上方逼近 $ y $，且所有分量严格为正，并证明 $ y^{(n)} \prec y $。
• 利用函数 $ g_n(r) = F(x, y^{(n)}, r) $ 的连续性、单调性和极限行为，证明当 $ n $ 足够大时，对所有 $ r $ 都有 $ f_r(x) < f_r(y^{(n)}) $。
• 应用一个基于紧致性和嵌套开集的子命题，证明对足够大的 $ n $，$ f_r(x) < f_r(y^{(n)}) $ 在任意 $ r $ 的紧区间上一致成立。
• 利用 $ F(x,y,r) $ 关于 $ y $ 的 Schur-凸性以及 $ g_n(r) $ 的连续性，确保不等式在所有 $ r \in \mathbb{R} $ 上收敛成立。

实验结果

研究问题

• RQ1 催化极大化关系 $ x \prec_T y $ 能否通过有限或无限个不等式完全刻画？
• RQ2 是否存在一个基于函数的判别准则，以替代涉及辅助催化剂向量 $ z $ 的存在性定义？
• RQ3 能否基于函数比较，使用计算上可行的方法判断条件 $ x \prec_T y $？
• RQ4 量子态转换中催化剂的存在性是否对应于一族类似熵函数的严格不等式？

主要发现

• 催化极大化关系 $ x \prec_T y $ 成立当且仅当对所有实数 $ r $ 都有 $ f_r(x) < f_r(y) $，其中 $ f_r $ 是所定义的一参数函数族。
• 函数族 $ f_r $ 包含对数形式、幂形式和反幂形式，覆盖所有 $ r \in \mathbb{R} $，当 $ x $ 含有零分量且 $ r \leq 0 $ 时，$ f_r(x) = \infty $。
• 对任意满足 $ x \prec_T y $ 的向量，存在一个分量严格为正的扰动向量 $ y' $，使得 $ x \prec_T y' \prec y $，且对所有 $ r \in \mathbb{R} $ 都有 $ f_r(x) < f_r(y') $。
• 证明依赖于构造一个收敛于 $ y $ 的序列 $ y^{(n)} $，并证明当 $ n $ 足够大时，对所有 $ r $ 都有 $ f_r(x) < f_r(y^{(n)}) $，利用了连续性与紧致性论证。
• 确保 $ g_n(r) $ 在 $ r $ 的紧区间上一致为正的子命题至关重要，其证明基于嵌套开集与紧致性，类似于 Dini 定理。
• 该结果通过提供催化纠缠量子态变换的完整、基于函数的刻画，解决了量子信息理论中长期存在的一个开放问题。