[論文レビュー] Fooling sets (a.k.a. cross-free matchings) and rank in non-zero characteristic

Mirjam Friesen, Dirk Oliver Theis|arXiv (Cornell University)|Aug 14, 2012

Graph theory and applications被引用数 3

ひとこと要約

この論文は、二部グラフにおけるだまし集合（クロスフリーなマッチング）について長年の未解決問題を解決し、非ゼロの特徴を持つ体上で隣接行列のランクを計算した場合、特に特徴2の場合、このようなマッチングのサイズに対する上界が漸近的にタイトであることを示している。線形再帰関係で定義される巡回行列を用いて、著者たちは1994年のDietzfelbingerらの上界が特徴2において改善不可能であることを証明し、他の非ゼロの特徴値において重み付き行列に対してより強い不等式が成り立つことを示している。

ABSTRACT

In a bipartite graph, a or fooling set is a matching no two of whose edges induce a C_4. Dietzfelbinger, Hromkovi\v{c}, and Schnitger (1994) showed that the maximum cardinality of a cross-free matching is at most the square of the rank of the bipartite adjacency matrix of the graph (regardless of over which field the rank is computed), and asked, whether this bound can be improved. We show that if the rank is taken in characteristic 2, then the bound is asymptotically tight. For other non-zero characteristic, we show that a stronger form of Dietzfelbinger et al.'s inequality (implicit in their proof) for weighted adjacency matrices is tight. We use cyclic matrices defined by a linear recurrence relation.

研究の動機と目的

• 二部グラフにおけるだまし集合のサイズに対する上界が、行列のランクの二乗以下であることが示されているが、この上界を改善できるか否かを同定すること。
• 特に特徴2を含む非ゼロ特徴を持つ体上でランクを計算した場合、この上界のタイトさを調査すること。
• Dietzfelbingerらの証明に暗黙的に含まれるより強い不等式が、特徴2以外の非ゼロ特徴値における重み付き隣接行列に対しても成り立つかどうかを検討すること。
• 線形再帰関係で定義される巡回行列のような代数的構造を用いて、理論的上限に達する明示的な行列族を構成すること。

提案手法

• 著者たちは、非ゼロ特徴を持つ有限体上で線形再帰関係を用いて巡回行列を定義する。
• 特徴2の体上でこれらの行列のランクを解析し、最大のだまし集合のサイズがランクの二乗と漸近的に一致することを示す。
• 他の非ゼロ特徴値に対しては、重み付き隣接行列への解析を拡張し、Dietzfelbingerらの元の証明から導かれるより強い不等式のタイトさを検証する。
• 構成は、巡回行列の代数的性質とその有限体における固有値に依存する。
• 証明では、C_4を含まないマッチングと行列ランクとの関係を、辺誘導部分グラフに関する組合せ的議論によって確立する。
• 再帰の対称性と周期性を活用して、だまし集合のサイズに対してランクを最小限に抑える。

実験結果

リサーチクエスチョン

• RQ1 特徴2の体上でランクを計算した場合、だまし集合のサイズに対するランクの二乗という上界はタイトか？
• RQ2 Dietzfelbingerら（1994）の上界は、非ゼロ特徴を持つ場合に改善可能か、それとも漸近的に最適か？
• RQ3 元の証明に暗黙的に含まれるより強い不等式が、特徴2以外の非ゼロ特徴値における重み付き隣接行列に対しても成り立つか？
• RQ4 非ゼロ特徴を持つ場合に、理論的上限に達するだまし集合サイズを持つ明示的行列構成が可能か？

主な発見

• 特徴2の体上でランクを計算した場合、だまし集合のサイズに対するランクの二乗という上界は漸近的にタイトである。
• 特徴2以外の非ゼロ特徴を持つ体では、Dietzfelbingerらの証明から導かれるより強い不等式が、重み付き隣接行列に対してタイトである。
• 線形再帰関係で定義される巡回行列は、特徴2においてランクに対して最大のだまし集合サイズを達成する。
• 構成により、非ゼロ特徴を持つ体において一般に上界を改善できないことが示された。
• 結果として、有限体の非ゼロ特徴を持つ二部グラフにおけるだまし集合に関して、ランクに基づく上界が漸近的に最適であることが確認された。