[論文レビュー] 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

ひとこと要約

この論文は、特殊なハダマール行列の一種であるシルベスター行列の剛性に関する下界 $ R_S(r) \geq \frac{n^2}{4r} $ を示す、簡潔な3行の組合せ証明を提示する。証明は $ 2r \times 2r $ の部分行列に対する再帰的分割の議論を用い、変更された要素が少なすぎる場合には、少なくとも1つの部分行列が高ランクを保ち、全体のランクが低くなるという仮定と矛盾することを示している。この結果は、従来の量子情報理論を用いた手法で得られていた最良の境界と一致するが、はるかに単純で初等的なアプローチを用いている。

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.

研究の動機と目的

• シルベスター行列の行列剛性下界を、単純で組合せ論的な証明により示すこと。これは、既存の最良の結果と一致する。
• 同様の下界が、離散フーリエ変換行列のような他の構造的行列に対しても成り立つことを示すこと。
• 従来の複雑な量子情報理論的証明の代替として、明確で初等的な代替手段を提供すること。
• この下界に必要な主要な性質は、再帰的部分行列構造と正規直交性であり、深遠な代数的または量子的道具立てではないこと。

提案手法

• 目的の下界よりも小さいと仮定する：シルベスター行列 $ S(n) $ のランクを $ r $ に低下させるために、$ \frac{n^2}{4r} $ 個未満の要素が変更されたと仮定する。
• 元の行列 $ S(n) $ の摂動版である行列 $ \widetilde{S} $ は、$ \left(\frac{n}{2r}\right)^2 $ 個の $ 2r \times 2r $ の部分行列に分割される。
• 数え上げの議論により、少なくとも1つの部分行列 $ \widetilde{S}_{ij} $ は、$ \text{weight}(S(2r) - \widetilde{S}_{ij}) < r $ を満たすことが示され、これは元の $ 2r \times 2r $ シルベスター部分行列と異なる要素が $ r $ 個未満であることを意味する。
• フルランクの $ 2r \times 2r $ 行列に対して $ r $ 個未満の要素を変更しても、ランクを $ r $ 未満に低下させることはできないため、部分行列 $ \widetilde{S}_{ij} $ はランクが $ r $ を超える。これは、$ \text{rank}(\widetilde{S}) \leq r $ であるという仮定と矛盾する。
• 同様の議論は、離散フーリエ変換行列に対しても適用可能である。これは再帰的ブロック構造と正規直交行を有しており、部分行列への分割において必要なランクの挙動を保っているからである。

実験結果

リサーチクエスチョン

• RQ1 量子情報理論を用いて既に示された下界を、単純で初等的な組合せ論的議論によって再現できるか？
• RQ2 行列のどの構造的性質が $ \Omega(n^2 / r) $ の剛性下界を導くのに十分か？
• RQ3 シルベスター行列やDFT行列の再帰的ブロック構造と正規直交性は、剛性下界の短い証明を可能にするか？
• RQ4 シルベスター行列に対して、$ R_S(r) \geq \frac{n^2}{4r} $ という下界はタイトであり、高度な道具を使わずに導出可能か？

主な発見

• この論文は、単なる数え上げとランクの議論のみを用いて、シルベスター行列の下界 $ R_S(r) \geq \frac{n^2}{4r} $ を確立した。
• 証明は自己完結的であり、3行に収まり、従来の量子情報理論に基づく証明よりも著しく単純である。
• 同様の下界 $ R_{FT(n)}(r) \geq \frac{n^2}{4r} $ は、再帰的ブロック構造と正規直交行のおかげで、離散フーリエ変換行列に対しても成り立つ。
• この手法は、変更が少ない場合に高ランクの $ 2r \times 2r $ 部分行列が存在することに依存しており、これは行列の正規直交性と再帰的構成によって保証される。
• この結果は、従来の複雑な量子情報理論的技法を用いて得られていたハダマール行列に対する最良の境界と一致する。