We investigate query-to-communication lifting theorems for models related to the quantum adversary bounds. Our results are as follows: 1. We show that the classical adversary bound lifts to a lower bound on randomized communication complexity with a constant-sized gadget. We also show that the classical adversary bound is a strictly stronger lower bound technique than the previously-lifted measure known as critical block sensitivity, making our lifting theorem one of the strongest lifting theorems for randomized communication complexity using a constant-sized gadget. 2. Turning to quantum models, we show a connection between lifting theorems for quantum adversary bounds and secure 2-party quantum computation in a certain "honest-but-curious" model. Under the assumption that such secure 2-party computation is impossible, we show that a simplified version of the positive-weight adversary bound lifts to a quantum communication lower bound using a constant-sized gadget. We also give an unconditional lifting theorem which lower bounds bounded-round quantum communication protocols. 3. Finally, we give some new results in query complexity. We show that the classical adversary and the positive-weight quantum adversary are quadratically related. We also show that the positive-weight quantum adversary is never larger than the square of the approximate degree. Both relations hold even for partial functions.
翻译:我们调查了与量子敌界有关的模型的电解解解引理论。 我们的结果如下: 1. 我们显示古典敌国的电解线在随机通信复杂程度和固定大小的装置下提升到较低的约束范围。 我们还显示古典敌国的电解线比先前的电传敏感程度严格得多,使我们的电解理论成为使用固定大小的装置来随机通信复杂程度的最强的调解理论之一。 2. 转向量子模型,我们展示了量子敌国的提理论与在某种“最诚实但最可靠”的模型中安全的两党量计算之间的关联。 在假定这种安全的两党计算是不可能的前提下,我们显示正重对立线的简化版本是使用固定大小的装置将正重的电压提升到更低的电压通信。 我们还给出了一种无条件的提调调标,这些限制范围更低的电压通信协议。 最后,我们给出了一些新的复杂度结果。 我们显示,正重的敌人和正重的电算值也表明,我们之间的正重值也表明,正重的电压是正重。