希尔伯特–施密特距离与纠缠见证

Gilbert 提出了一种用于界定给定点与凸集之间距离的算法。在本文中，我们应用 Gilbert 算法来得到给定态与可分态集合之间希尔伯特–施密特距离的上界。尽管希尔伯特–施密特距离并不构成恰当的纠缠度量，它仍可用于纠缠见证。我们在此提供几种基于 Gilbert 算法的方法，能够可靠地将给定态判定为强纠缠或实际可分，同时计算高效。该方法还输出针对给定态的最近可分态的逐次改进近似。我们通过示例展示了该方法的有效性。