[论文解读] Schmidt balls around the identity

Lieven Clarisse|arXiv (Cornell University)|Dec 1, 2005

Quantum Information and Cryptography被引用 5

一句话总结

本文引入了施密特鲁棒性（Schmidt robustness）与随机施密特鲁棒性（random Schmidt robustness）作为衡量纯态在与单位算符混合后仍能保留多少纠缠的度量。该文为这些度量提供了紧致的上下界，并基于随机施密特-2鲁棒性的上界推导出一个简洁的可 distill（浓缩）性判据。此外，提出了两个猜想：一是关于以单位算符为中心的施密特数为 $ n $ 的内球最大半径；二是关于纯态最优施密特判别器（witnesses）的构造，其得到数值证据与解析推导的支持。

ABSTRACT

Robustness measures as introduced by Vidal and Tarrach [PRA, 59, 141-155] quantify the extent to which entangled states remain entangled under mixing. Analogously, we introduce here the Schmidt robustness and the random Schmidt robustness. The latter notion is closely related to the construction of Schmidt balls around the identity. We analyse the situation for pure states and provide non-trivial upper and lower bounds. Upper bounds to the random Schmidt-2 robustness allow us to construct a particularly simple distillability criterion. We present two conjectures, the first one is related to the radius of inner balls around the identity in the convex set of Schmidt number n-states. We also conjecture a class of optimal Schmidt witnesses for pure states.

研究动机与目标

• 定义并分析施密特鲁棒性与随机施密特鲁棒性作为纯态的纠缠度量。
• 为这些鲁棒性度量建立非平凡的上下界。
• 基于随机施密特-2鲁棒性上界，推导出一个简洁的可浓缩性判据。
• 猜想在密度矩阵空间中，以单位算符为中心的施密特数为 $ n $ 的球体的最大半径，并探讨其与纠缠结构的关系。
• 基于数值与解析证据，提出一类纯态的最优施密特判别器，并探讨其通过滤波操作从基础判别器构造的可能性。

提出的方法

• 将施密特鲁棒性定义为标准鲁棒性的推广，用于衡量为使某态变为可分态，需与施密特数为 $ n $ 的态混合的最小比例。
• 将随机施密特鲁棒性定义为为使某态的施密特数降至 $ n $，需与单位算符混合的最小比例，从而将其与单位算符周围施密特球的构造联系起来。
• 利用纯态的施密特分解，以施密特系数 $ a_i $ 表达鲁棒性，推导出标准鲁棒性与随机鲁棒性的精确表达式。
• 应用纠缠判别器理论，将鲁棒性与迹泛函关联，通过滤波操作与对角矩阵构造候选最优判别器。
• 利用归一化的施密特数为 $ n+1 $ 的判别器，推导出随机施密特鲁棒性的下界，从而转化为在系数 $ a_i $ 上的最优化问题，满足归一化约束。
• 采用数值优化方法评估下界表达式，并通过验证在小维度下对某些变换的不变性，支持最优判别器的猜想。

实验结果

研究问题

• RQ1 对于一个纯的两体态，其随机施密特鲁棒性的最紧致上下界是什么？
• RQ2 能否以一种方式对随机施密特-2鲁棒性进行上界估计，从而导出一个简洁有效的可浓缩性判据？
• RQ3 以单位算符为中心的施密特数为 $ n $ 的球体的最大半径是多少？它与纠缠结构有何关联？
• RQ4 是否存在一类通用的最优施密特判别器用于纯态？能否通过在基础判别器上施加滤波操作来构造它们？
• RQ5 能否仅用施密特系数表示，解析求解随机施密特鲁棒性下界表达式中的最优化问题？

主要发现

• 对于纯态 $|\psi\rangle = \sum_i a_i |ii\rangle$，其标准鲁棒性 $R_s(\psi)$ 与广义鲁棒性 $R_g(\psi)$ 相等，且为 $R_s(\psi) = (\sum_i a_i)^2 - 1$，并存在一个显式的可分态 $\rho_s$ 达到该界。
• 纯态的随机鲁棒性 $R_r(\psi)$ 恰好为两个最大施密特系数的乘积，即 $a_1 a_2$。
• 对随机施密特-2鲁棒性的上界分析，导出了一个简洁的可浓缩性判据：若 $\rho^{T_B}$ 的某个本征值 $\lambda \leq -1/14$，则 $\rho$ 是可浓缩的。
• 本文猜想，以单位算符为中心的施密特数为 $ k+1 $ 的球体的最大半径 $\beta$ 满足 $\beta \leq 2(2k^2 - 1)$，且当在 $2k \otimes 2k$ 维空间中与最大纠缠态混合时，该等式可取到。
• 通过滤波与对角操作构造的一类判别器，可给出目前已知最紧的随机施密特鲁棒性下界，作者猜想该类判别器可通过在系数 $ a_i $ 上的最优化（满足 $\sum a_i^2 = 1$）精确给出 $R_{rn}(\psi)$ 的值。
• 对于 $d=3,4$ 与 $n=2,3$ 的数值结果支持如下猜想：形式为 $(A\otimes A)W_{n+1}(A\otimes A)^\dagger$ 的判别器族（其中 $ A $ 为对角矩阵）已足够，表明更一般的 $ A,B $ 并不能提升判别器性能。