各类量子查询类型的逼近

查询复杂度衡量一个算法为计算解而需要多少关于问题的信息。在量子计算机上，查询有不同的实现方式，我们将表明它们并不总等价。我们的等价性定义基于以一种查询类型模拟(或逼近)另一种查询类型的能力。我们表明比特查询总能用仅两次查询逼近相位查询，而存在一些问题，其中为逼近比特查询所必需的相位查询次数必须随比特查询精度的提高呈指数增长。这一结果源于求值问题的查询复杂度界，我们利用量子算法与三角多项式之间的关系为其相位查询次数建立了强下界。