一类基于k-体分划的多体态的量子关联测度

刘天文，王银珠

(太原科技大学 应用科学学院，太原 030024)

纠缠是量子信息理论中的突出特征之一，它在量子信息处理中起着极其重要的作用，纠缠已经作为一种必要的资源应用于量子信息和量子计算的各个方面[1-6]，在光量子信息中的应用尤其突出[7-8]。众所周知，量子态是迹为1的半正定算子,记H，表示与量子系统相结合的可分复Hilbert空间，S(H)则表示H中的全体量子态。ρ∈S(H)，如果Tr(ρ2)=1，则ρ称之为纯态；若Tr(ρ2)<1，则ρ称之为混合态。对于纯态来说，判断其是否可分是比较容易的，然而对于混合态，探测其是否可分是一个NP-hard 问题[9]。

在相当长的时间里，人们一直以为量子关联只存在于纠缠态中，但事实并非如此。研究表明可分态也存在某种量子关联性。量子关联在量子信息处理中有重要意义，目前已有诸多量子关联定义，包括量子无序性(Quantum Discord)、测度诱导的非局部性(Measurement Induced Non-locality)、量子亏损(Quantum Deficit)以及可分性鲁棒(Separabil-ity Robustness)和纠缠鲁棒(Entanglement Robus -tness)等[22-26]。 所有这些量子关联都可作为重要的资源应用于量子计算的各个方面[27]，如何深入量化给定量子态的关联是其中最主要的问题之一，2001年，Oliver和Zurek及Henderson和Vedral分别独立提出量子失协关联度[22-23]，2008年，Akira SaiToh等第一次引进了度量量子态与两积特征基态之间的关联测量[28]，2011年，Luo和Fu给出了另一种量子关联度量称为测量导出的非定域性[24]，2014年，Andre L.Fonseca de Oliveira等给出了多体量子态的累积关联测度[29]。

本文给出了一类基于k-体分划的多体量子态的量子关联测度，并证明了其满足量子关联度的一些性质。

1 基本定义与主要结果

本文主要讨论多体复合量子系统,设H=H1⊗H2⊗…⊗Hm，dimH<+∞,记S(H)表示H中全体量子态组成的集合，为给出主要结果,首先引出如下定义。

定义1[21]设H=H1⊗H2⊗…⊗Hm，其中Hi是与第i个子系统相结合的Hilbert空间，称{A1,A2,…,Ak}或A1|A2|…|Ak为H的一个k-体分划,如果其满足：