由 Grover 算法导出的一种纠缠单调性度量

本文证明，一个态作为 Grover 搜索算法输入的优劣关键取决于该态中存在的纠缠程度；纠缠越多，算法表现越差。更确切地说，假设我们取一个纯态输入，并在运行算法之前对每个量子比特施加局域酉操作以最大化搜索算法成功的概率 P_max。我们证明，对于纯态，P_max 是一个纠缠单调性度量（entanglement monotone），即在局域操作与经典通信下 P_max 永不会被减小。