[论文解读] Cancellation-free circuits: An approach for proving superlinear lower bounds for linear Boolean operators

Joan Boyar, Find, Magnus|arXiv (Cornell University)|Jul 23, 2012

Complexity and Algorithms in Graphs参考文献 15被引用 5

一句话总结

本文引入无抵消线性电路作为证明线性布尔算子超线性下界的一种工具。它证明了谢尔宾斯基垫片矩阵在该类电路中至少需要 $\frac{1}{2}n\log n$ 个门电路，且利用极值图论表明，存在无穷多个 $n \times n$ 矩阵需要 $\Omega(n^{2-\epsilon})$ 个门电路，其中任意 $\epsilon > 0$，几乎匹配 $O(n^2 / \log n)$ 的上界。

ABSTRACT

We continue to study the notion of cancellation-free linear circuits. We show that every matrix can be computed by a cancellation- free circuit, and almost all of these are at most a constant factor larger than the optimum linear circuit that computes the matrix. It appears to be easier to prove statements about the structure of cancellation-free linear circuits than for linear circuits in general. We prove two nontrivial superlinear lower bounds. We show that a cancellation-free linear circuit computing the $n imes n$ Sierpinski gasket matrix must use at least 1/2 n logn gates, and that this is tight. This supports a conjecture by Aaronson. Furthermore we show that a proof strategy for proving lower bounds on monotone circuits can be almost directly converted to prove lower bounds on cancellation-free linear circuits. We use this together with a result from extremal graph theory due to Andreev to prove a lower bound of Ω(n^(2- ε)) for infinitely many $n imes n$ matrices for every $ε> 0$ for. These lower bounds for concrete matrices are almost optimal since all matrices can be computed with $O(n^2/\log n)$ gates.

研究动机与目标

• 开发一种受限电路模型——无抵消线性电路，以简化线性布尔算子下界证明。
• 为具体矩阵（尤其是谢尔宾斯基垫片矩阵）建立非平凡的超线性下界。
• 通过从极值图论借鉴的证明策略，将单调电路下界与无抵消线性电路联系起来。
• 证明无抵消电路在渐近意义上接近最优，其大小与几乎所有矩阵的最小线性电路大小相差一个常数因子。

提出的方法

• 引入无抵消线性电路，其中任意门的输出向量在计算过程中汉明权重不会减少，从而确保中间项不会发生抵消。
• 证明每个 $n \times n$ 矩阵均可由无抵消电路计算，且此类电路对几乎所有矩阵的大小均在最优大小的常数因子范围内。
• 采用分治构造法，结合递归异或操作，为谢尔宾斯基垫片矩阵实现紧致的 $\frac{1}{2}n\log_2 n$ 门电路界。
• 改编门电路消除法与极值图论技术：将矩阵视为二分图，并应用扎兰基维奇问题以避免出现 $K_{h+1,k+1}$ 子图。
• 利用安德烈夫构造的稠密 $K_{h+1,k+1}$-自由二分图（含 $n^{2-\epsilon}$ 条边）推导出 $\Omega(n^{2-\epsilon})$ 的下界。
• 证明单调电路下界证明策略可直接转化为无抵消线性电路，通过保持值向量传播的结构实现。

实验结果

研究问题

• RQ1 无抵消线性电路能否用于证明线性布尔算子的超线性下界？
• RQ2 计算谢尔宾斯基垫片矩阵所需的无抵消电路的最小规模是多少？
• RQ3 极值图论结果能否用于推导无抵消线性电路的强下界？
• RQ4 是否存在一个具体的矩阵族，使得其在无抵消电路中对每个 $\epsilon > 0$ 均需 $\Omega(n^{2-\epsilon})$ 个门电路？
• RQ5 无抵消限制在多大程度上保留了原始电路问题的复杂性？

主要发现

• 在任意无抵消线性电路中，谢尔宾斯基垫片矩阵至少需要 $\frac{1}{2}n\log_2 n$ 个门电路，且该界是紧致的。
• 存在一个具体的 $n \times n$ 矩阵族，其在无抵消线性电路中需 $\Omega(n^{2-\epsilon})$ 个门电路，对每个 $\epsilon > 0$ 成立，几乎匹配 $O(n^2 / \log n)$ 的上界。
• 几乎所有矩阵均可由无抵消电路计算，且其大小与最优线性电路大小相差一个常数因子。
• 单调电路下界证明策略可直接适配至无抵消线性电路，借助图论构造实现新的下界。
• 安德烈夫构造的 $K_{h+1,k+1}$-自由二分图（含 $n^{2-\epsilon}$ 条边）可导出无抵消电路的 $\Omega(n^{2-\epsilon})$ 下界。
• 无抵消模型简化了结构分析，使其比在一般线性电路中证明下界更为容易。