[论文解读] Thresholds for reduction-related entanglement criteria in quantum information theory

Maria Anastasia Jivulescu, Nicolae Lupa+1 more|arXiv (Cornell University)|Mar 27, 2015

Quantum Information and Cryptography参考文献 35被引用 7

一句话总结

本文研究了从均匀分布的三体纯态导出的随机混合态中，与约化相关的纠缠判据的阈值。利用随机矩阵理论，计算了约化判据（RED）、其绝对版本（ARED）及相关集合（如SEPBALL、LS_p）的渐近阈值，结果表明约化判据弱于PPT判据，但在高维系统中特定尺度下对纠缠检测仍具有效性。

ABSTRACT

We consider random bipartite quantum states obtained by tracing out one subsystem from a random, uniformly distributed, tripartite pure quantum state. We compute thresholds for the dimension of the system being traced out, so that the resulting bipartite quantum state satisfies the reduction criterion in different asymptotic regimes. We consider as well the basis-independent version of the reduction criterion (the absolute reduction criterion), computing thresholds for the corresponding eigenvalue sets. We do the same for other sets relevant in the study of absolute separability, using techniques from random matrix theory. Finally, we gather and compare the known values for the thresholds corresponding to different entanglement criteria, and conclude with a list of open questions.

研究动机与目标

• 确定被 traced 子系统维度的临界值，使得随机诱导的双体态在高概率下满足约化判据（RED）。
• 将分析扩展至基无关的绝对约化判据（ARED），在各种渐近尺度下计算绝对可分性的阈值。
• 比较多种纠缠判据（PPT、RLN、RED、GER、SEPBALL、LS_p）的阈值，识别其在高维量子系统中的相对强度。
• 对已知的阈值进行综合比较，并突出在绝对可分态及相关量子态集合表征中的开放问题。

提出的方法

• 通过从均匀分布的三体纯态中 traced 掉一个子系统，生成随机双体量子态，将所得态建模为随机诱导的密度矩阵。
• 应用随机矩阵理论工具，特别是Wishart矩阵的渐近谱分析，研究约化密度矩阵的特征值分布。
• 推导出被 traced 子系统维度（s）的阈值，使得在系统规模增长时，结果态以高概率满足RED或ARED判据。
• 分析三种渐近尺度：平衡情形（n,k→∞）、第一类非平衡（n→∞, k固定）、第二类非平衡（k→∞, n固定），以确定阈值s的标度律。
• 利用特征值交错和测度集中技术，估计约化判据从通常被违反转变为通常被满足的临界s值。
• 将推导出的阈值与其它判据（如PPT、重整列等）的已知值进行比较，以评估其相对强度和渐近行为。

实验结果

研究问题

• RQ1 在平衡尺度（n,k→∞）下，被 traced 子系统维度s的阈值是多少，使得随机诱导的双体态通常满足约化判据（RED）？
• RQ2 在非平衡尺度下，特别是当一个子系统维度保持固定而另一个趋于无穷时，绝对约化判据（ARED）的阈值如何标度？
• RQ3 ARED的阈值与APPT、GER、SEPBALL和LS_p等其他集合的阈值相比如何？这反映了这些纠缠鲁棒集合之间的层级关系吗？
• RQ4 能否计算出绝对重整列判据（ARLN）的阈值？其与APPT的已知阈值有何关系？
• RQ5 绝对可分态集合（ASEP）是否等于APPT态集合？阈值分析能否帮助解决这一猜想？

主要发现

• 在平衡尺度（n,k→∞）下，约化判据（RED）的阈值为s∼cnk，其中c=1，意味着当被 traced 子系统维度s与nk线性标度时，判据通常被满足。
• 在第一类非平衡尺度（n→∞, k固定）下，RED的阈值为s=n，表明当s与剩余子系统维度成比例时，判据被满足。
• 在第二类非平衡尺度（k→∞, n固定）下，RED的阈值为s∼cnk，其中c=(1+√(k+1))²/(k(k−1))，该值小于相应的PPT阈值，证实在此尺度下RED严格弱于PPT。
• 对于绝对约化判据（ARED），在平衡情形下阈值为s∼cnk，其中c=1；而在k→∞、n固定的情形下，阈值为s=cnk，其中c=(1+2/k+2/k√(k+1))²，显示出对k的依赖性，且当k→∞时该依赖性消失。
• 广义特征值集合（GER）与绝对PPT集合（APPT）的阈值完全相同，表明GER是APPT的紧致近似，尤其在高维下成立。
• 绝对可分态的欧氏球集合（SEPBALL）的阈值为s∼cd²，其中c=1；而对于ℓp-范数构造的集合LS_p，阈值依赖于p：当p=⌊td⌋且t∈(0,1)时，c=1−t，表明随着p增加，其标度行为出现相变。