[论文解读] Three lines proof of the lower bound for the matrix rigidity

Gatis Midrijānis|ArXiv.org|Jun 20, 2005

graph theory and CDMA systems参考文献 13被引用 10

一句话总结

本文提出了一种简洁的三行组合证明，建立了Sylvester矩阵（Hadamard矩阵的特例）的刚性下界 $ R_S(r) \geq \frac{n^2}{4r} $。该证明基于对 $ 2r \times 2r $ 子矩阵的递归划分论证，表明若更改的元素过少，则至少有一个子矩阵必须保持高秩，从而与整体秩较低的假设矛盾。该结果与此前利用量子信息理论推导出的最佳已知界一致，但采用的却是更简单、更基础的方法。

ABSTRACT

The rigidity of a matrix describes the minimal number of entries one has to change to reduce matrix's rank to r. We give very simple combinatorial proof of the lower bound for the rigidity of Sylvester (special case of Hadamard) matrix that matches the best known result by de Wolf(2005) for Hadamard matrices proved by quantum information theoretical arguments.

研究动机与目标

• 提供Sylvester矩阵刚性下界的一个简单、组合的证明，其结果与目前最佳已知结果一致。
• 证明该界同样适用于其他结构化矩阵，如离散傅里叶变换矩阵。
• 为此前使用的复杂量子信息理论证明提供一种透明且基础的替代方法。
• 表明推导该下界的关键性质是递归子矩阵结构与正交性，而非深层的代数或量子机制。

提出的方法

• 证明假设与目标下界相反：即Sylvester矩阵 $ S(n) $ 中更改的元素少于 $ \frac{n^2}{4r} $ 个，即可使其秩降至 $ r $。
• 将扰动后的矩阵 $ \widetilde{S} $（即 $ S(n) $ 的扰动版本）划分为 $ \left(\frac{n}{2r}\right)^2 $ 个 $ 2r \times 2r $ 的子矩阵。
• 通过计数论证可知，至少有一个这样的子矩阵 $ \widetilde{S}_{ij} $ 满足 $ \text{weight}(S(2r) - \widetilde{S}_{ij}) < r $，即其与原始的 $ 2r \times 2r $ Sylvester 子矩阵相比，不同元素少于 $ r $ 个。
• 由于将少于 $ r $ 个元素更改为一个满秩的 $ 2r \times 2r $ 矩阵，无法使其秩降至 $ r $ 以下，因此子矩阵 $ \widetilde{S}_{ij} $ 的秩大于 $ r $，与假设 $ \text{rank}(\widetilde{S}) \leq r $ 矛盾。
• 由于DFT矩阵具有递归块结构和正交行，该论证同样适用于DFT矩阵。

实验结果

研究问题

• RQ1 能否通过简单、基础的组合论证，实现此前利用量子信息理论证明的相同刚性下界？
• RQ2 何种矩阵结构特征足以推导出 $ \Omega(n^2 / r) $ 的刚性下界？
• RQ3 Sylvester矩阵与DFT矩阵的递归块结构与正交性，是否足以支持刚性下界短证明？
• RQ4 Sylvester矩阵的界 $ R_S(r) \geq \frac{n^2}{4r} $ 是否紧致？能否在不使用高级工具的情况下推导出该界？

主要发现

• 本文仅通过基本计数与秩的论证，建立了Sylvester矩阵的下界 $ R_S(r) \geq \frac{n^2}{4r} $。
• 该证明自包含且仅用三行即可完成，显著简化了此前基于量子信息理论的证明。
• 由于DFT矩阵具有递归块结构和正交行，相同的界 $ R_{FT(n)}(r) \geq \frac{n^2}{4r} $ 同样成立。
• 该方法仅依赖于：在少量更改后，$ 2r \times 2r $ 子矩阵仍保持高秩，而这一性质由矩阵的正交性与递归构造保证。
• 该结果与此前利用复杂量子信息理论技术推导出的Hadamard矩阵最佳已知界完全一致。