One of the main reasons for query model's prominence in quantum complexity is the presence of concrete lower bounding techniques: polynomial method and adversary method. There have been considerable efforts to not just give lower bounds using these methods but even to compare and relate them. We explore the value of these bounds on quantum query complexity for the class of symmetric functions, arguably one of the most natural and basic set of Boolean functions. We show that the recently introduced measure of spectral sensitivity give the same value as both these bounds (positive adversary and approximate degree) for every total symmetric Boolean function. We also look at the quantum query complexity of Gap Majority, a partial symmetric function. It has gained importance recently in regard to understanding the composition of randomized query complexity. We characterize the quantum query complexity of Gap Majority and show a lower bound on noisy randomized query complexity (Ben-David and Blais, FOCS 2020) in terms of quantum query complexity. In addition, we study how large certificate complexity and block sensitivity can be as compared to sensitivity (even up to constant factors) for symmetric functions. We show tight separations, i.e., give upper bound on possible separations and construct functions achieving the same.
翻译:质询模型在量子复杂性方面的突出地位,主要原因之一是存在具体的低约束技术:多式方法和对称方法。我们付出了相当大的努力,不仅对使用这些方法的下限进行下限,甚至对之进行比较和联系。我们探索了对称函数类别量子查询复杂度这些量子查询复杂度的价值,这可以说是布林函数中最自然和最基本的一组。我们表明,最近采用的光谱敏感度测量方法对每一项对称布林函数的全称(正对称敌和近似度)都具有与这两个界限相同的价值。我们还审视了差距多数的量度查询复杂度,这是一个部分对称功能。我们最近越来越重视随机查询复杂性的构成。我们描述差异多数的量子查询复杂度,在量子查询复杂度(Ben-David和Blax,FOCS 2020)方面显示的随机随机随机复杂度(Ben-David和Blas,FOCS)较低。此外,我们研究在对称性分离功能的敏感度和高度分立中,我们展示了可能的高度分立函数。