该研究团队提出了一个严格的数学框架,用于验证相干单向(COW)量子密钥分发系统中的有效纠缠现象。具体而言,研究人员引入了一个双参数族的纠缠见证算符,确定了其构成有效见证的参数范围,并证明了这些算符在COW协议中揭示有效纠缠的能力。此外,通过对COW实验系统历史数据的分析,该工作明确报告了有效纠缠的特征信号。