[論文レビュー] Variants on the minimum rank problem: A survey II

Shaun Fallat, Leslie Hogben|arXiv (Cornell University)|Feb 25, 2011

Complexity and Algorithms in Graphs参考文献 53被引用数 33

ひとこと要約

この論文は、グラフの最小ランク問題の変種に関する最近の進展を調査し、正定値最小ランク、ゼロフォースティングパラメータ、符号パターンおよび有向グラフの最小ランクに焦点を当てる。量子制御および通信複雑性への関連を含め、最新の結果、境界、および接続を提供する。主な貢献として、歪対称最小ランクの特徴付けと、ヘーマース数およびインertiaバランスグラフに関する新しい境界が挙げられる。

ABSTRACT

The minimum rank problem for a (simple) graph $G$ is to determine the smallest possible rank over all real symmetric matrices whose $ij$th entry (for $i eq j$) is nonzero whenever $\{i,j\}$ is an edge in $G$ and is zero otherwise. This paper surveys the many developments on the (standard) minimum rank problem and its variants since the survey paper \cite{FH}. In particular, positive semidefinite minimum rank, zero forcing parameters, and minimum rank problems for patterns are discussed.

研究の動機と目的

• 過去10年間の発展を統合し、グラフの最小ランク問題に関する基礎的サーベイを更新・拡張すること。
• 正定値最小ランク、ゼロフォースティングパラメータ、符号パターンおよび有向グラフの最小ランクを含む、最小ランク問題の変種を検討すること。
• 最小ランク関連パラメータと量子制御および通信複雑性への応用との関係を調査すること。
• 逆慣性問題やグラフの最小歪ランクといった未解決問題に取り組むこと。
• ヘーマース数およびインertiaバランスグラフについての、最新の境界と特徴付けを提供すること。

提案手法

• 標準的な最小ランクフレームワークを用いる：グラフの辺に対応するゼロ・非ゼロパターンを持つ実対称行列のランクを最小化する。
• 𝒫(G) 内の正定値行列の集合を用いて正定値最小ランクを導入・分析し、クライクカバーおよび頂点クライクカバーナンバーに関連する境界を提示する。
• 最大ノルムの境界を求めるために、ゼロフォースティングパラメータ（非対称ゼロフォースティングや歪ゼロフォースティングを含む）を組み合わせ的ツールとして適用する。
• 行列のクライクカバーに基づき導出されるヘーマース数を、最小ランクの上界として用いる。これは頂点クライクカバーナンバーに関連する。
• カット頂点の還元と木および小規模グラフに関する結果を用いて、逆慣性問題（可能な固有値の符号パターンの特定）を分析する。
• 歪対称行列の最小歪ランクを検討し、mr₋(G) = 2 がかつてのみ G が完全マルチパーティットグラフである場合に成り立つことを確立し、MR₋(G) = 2·match(G) を示す。

実験結果

リサーチクエスチョン

• RQ1 グラフの標準的最小ランク問題における最新の進展と未解決問題は何か？
• RQ2 ゼロフォースティングパラメータおよびその変種は、最大ノルムおよび最小ランクとどのように関係しているか？
• RQ3 特にクライクカバーに関連して、正定値最小ランクの境界と特徴付けは何か？
• RQ4 ヘーマース数とグラフの最小ランクの関係は何か？
• RQ5 インertiaバランスグラフはどのようなものか？また、逆慣性問題に与える影響は何か？

主な発見

• ヘーマース数はグラフの最小ランクの上界を提供し、頂点クライクカバーナンバーによって上界で抑えられる。
• 連結グラフ G に対して、η(G) ≤ mr₊^ℂ(G) が成り立ち、エッジクライクカバーナンバーに比べて頂点クライクカバーナンバーがよりタイトな境界を与える。
• 木および位数6以下のグラフでは逆慣性問題が解かれており、カット頂点の還元公式が提示されている。
• グラフがインertiaバランスであるとは、その最小ランクを実現する行列が、固有値の数が互いに1以内に収まる場合を指すが、すべてのグラフがインertiaバランスであるとは限らない。
• 歪対称行列に対しては、mr₋(G) = 2 がかつてのみ G が完全マルチパーティットグラフである場合に成り立ち、MR₋(G) = 2·match(G) が成り立つ。
• 歪対称行列に対して、mr₋(G) から MR₋(G) の間のすべての偶数ランクが実現可能であり、mr₋(G) = |G| がかつてのみ G が一意の完全マッチングを持つ場合に成り立つ。