[论文解读] Monotone Rank and Separations in Computational Complexity

Yang D. Li|arXiv (Cornell University)|Jan 1, 2011

Complexity and Algorithms in Graphs参考文献 24被引用 1

一句话总结

本文引入了单调秩作为计算复杂性中的新工具，在非交换代数模型中实现了单调与非单调计算之间的超指数级分离。它通过构造一个在 n 个变量上具有齐次度 d 的函数，解决了 Nisan 长久以来的开放问题，该函数在单调 ABP 复杂度上为 Ω(n)，在非单调 ABP 复杂度上为 O(d)，从而实现了超指数级分离。同时，本文推广了对数秩猜想，并提出了贝尔定理的弱化版本，对局部隐变量给出了紧致的界。

ABSTRACT

In the paper, we introduce the concept of monotone rank, and using it as a powerful tool, we obtain several important and strong separation results in computational complexity. – We show a super-exponential separation between monotone and non-monotone computation in the non-commutative model, and thus give the answer to a longstanding open problem posed by Nisan [Nis91] in algebraic complexity. More specifically, we exhibit a homogeneous algebraic function f of degree d (d even) on n variables with the monotone algebraic branching program (ABP) complexity Ω(n) and the non-monotone ABP complexity O(d). – We propose a relaxed version of the famous Bell’s theorem [Bel64] [CHSH69]. Bell’s theorem basically states that local hidden variable theory cannot predict the correlations produced by quantum mechanics, and therefore is an impossibility result. Bell’s theorem heavily relies on the diversity of the measurements. We prove that even if we fix the measurement, infinite amount of local hidden variables will still be needed, though now the prediction of “quantum mechanics” becomes physically feasible. Quantitatively, at least n bits of local hidden variables are needed to simulate the correlations of size 2n generated from a 2-qubit Bell state. The bound is asymptotically tight. – We generalize the log-rank conjecture [LS88] in communication complexity to the multiparty case, and prove that for super-polynomial parties, there is a super-polynomial separation between the deterministic communication complexity and the logarithm of the rank of the communication tensor. This means that the log-rank conjecture does not hold in “high” dimensions.

研究动机与目标

• 为解决 Nisan 在非交换代数复杂性中关于单调与非单调计算的长期开放问题。
• 建立贝尔定理的弱化版本，使其在固定测量设置下保持物理可行性，同时要求无限多个局部隐变量。
• 将对数秩猜想推广至多参与者通信复杂性场景，并研究其在高维情况下的有效性。
• 展示在超多项式数量的参与者下，确定性通信复杂度与通信张量秩对数之间存在超多项式分离。

提出的方法

• 引入单调秩的概念，作为一种结构度量，用于分析单调与非单调设置下的代数分支程序（ABPs）。
• 构造一个在 n 个变量上具有偶数度 d 的齐次代数函数 f，以展示单调 ABP 复杂度（Ω(n)）与非单调 ABP 复杂度（O(d)）之间的超指数级差距。
• 通过固定测量设置并分析模拟量子关联所需的最小局部隐变量数量，提出贝尔定理的弱化版本。
• 利用两量子比特贝尔态的量子关联结构，推导出在模拟 2^n 大小关联集时，至少需要 n 个比特的局部隐变量，且该界在渐近意义上是紧致的。
• 通过分析通信张量秩及其与确定性通信复杂度的关系，将对数秩猜想推广至多参与者情形。
• 采用渐近分析方法，证明当参与者数量为超多项式时，确定性通信复杂度可远超 log(rank)，从而在高维情况下否定对数秩猜想。

实验结果

研究问题

• RQ1 能否在非交换模型中实现单调与非单调代数计算之间的超指数级分离？
• RQ2 当测量设置固定时，模拟量子关联所需的最少局部隐变量数量是多少？
• RQ3 对数秩猜想在参与者数量庞大的多参与者通信复杂性场景中是否成立？
• RQ4 能否提出一个物理上可行的贝尔定理版本，同时仍要求无限多个局部隐变量？
• RQ5 在高维多参与者设置中，通信张量秩与确定性通信复杂度之间有何关系？

主要发现

• 实现了单调与非单调 ABP 复杂度之间的超指数级分离：对于 n 个变量上的齐次度 d 函数，单调复杂度为 Ω(n)，非单调复杂度为 O(d)。
• 对于两量子比特贝尔态，当测量固定时，模拟 2^n 大小的量子关联至少需要 n 个比特的局部隐变量，且该界在渐近意义上是紧致的。
• 当参与者数量为超多项式时，对数秩猜想在多参与者场景中不成立，因为确定性通信复杂度可远超通信张量秩的对数。
• 本文通过构造一个函数，成功解决了 Nisan 的开放问题，展示了在非交换模型中单调与非单调代数计算之间存在超指数级差距。
• 证明了贝尔定理的弱化版本，表明即使在测量设置固定的情况下，仍需无限多个局部隐变量才能重现量子关联，尽管此类模型的物理可行性得以保持。
• 结果表明，单调秩是证明代数复杂性和通信复杂性中强分离的强大工具，对量子基础和电路下界研究具有深远影响。