论文标题
证明时间相关性
Certifying Temporal Correlations
论文作者
论文摘要
根据最少的假设，基于实验统计数据，已经确定了自我测试作为量子设备认证的主要方法。但是，尽管进行了20多年的研究工作，但大多数自我测试方案都限于空间场景（铃场），但没有任何时间概括。在单个量子系统上执行的顺序测量的情况下，我们建立在以前的工作基础上，这些作品使用基于半准编程（SDP）的方法来绑定顺序测量不等式。对于这样的SDP，我们表明优化器矩阵是独特的，而且这种唯一性与与量子结合的小偏差具有牢固性。此外，我们考虑了存在量子通道的存在，并使用伪密度矩阵形式主义在钟形和顺序不平等的结构中绘制类比。这些类比使我们能够以量子通道的认证形式显示对顺序不平等的最大违规行为的实际使用。
Self-testing has been established as a major approach for quantum device certification based on experimental statistics under minimal assumptions. However, despite more than 20 years of research effort most of the self-testing protocols are restricted to spatial scenarios (Bell scenarios), without any temporal generalisations known. Under the scenario of sequential measurements performed on a single quantum system, we build upon previous works which used semi-definite programming (SDP) based methods to bound sequential measurement inequalities. For such SDPs, we show that the optimiser matrix is unique and moreover this uniqueness is robust to small deviations from the quantum bound. Further, we consider a generalised scenario in presence of quantum channels and draw analogies in the structure of Bell and sequential inequalities using the pseudo-density matrix formalism. These analogies allow us to show a practical use of maximal violations of sequential inequalities in the form of certification of quantum channels up to isometries.
