[論文レビュー] Results on the intersection graphs of subspaces of a vector space

Nader Jafari Rad, Sayyed Heidar Jafari|arXiv (Cornell University)|May 4, 2011

Advanced Topics in Algebra参考文献 2被引用数 12

ひとこと要約

本稿は、有限体上の有限次元ベクトル空間における部分空間の交差グラフのクリーク数、彩色数、支配数、独立数を調査する。次元nが奇数の場合、クリーク数と彩色数の正確な公式を確立し、偶数次元の場合にはタイトな上限・下限を与える。一方、支配数はq+1、独立数は(qⁿ−1)/(q−1)であることを証明する。

ABSTRACT

For a vector space $V$ the \emph{intersection graph of subspaces} of $V$, denoted by $G(V)$, is the graph whose vertices are in a one-to-one correspondence with proper nontrivial subspaces of $V$ and two distinct vertices are adjacent if and only if the corresponding subspaces of $V$ have a nontrivial (nonzero) intersection. In this paper, we study the clique number, the chromatic number, the domination number and the independence number of the intersection graphs of subspaces of a vector space.

研究の動機と目的

• ベクトル空間における部分空間の交差グラフのクリーク数、彩色数、支配数、独立数を特徴づけること。
• 特に次元依存の挙動に注目して、有限体上のベクトル空間の交差グラフの構造を解明すること。
• このような交差グラフの接続性やグラフ論的性質に関する先行研究を、基本的不変量へと拡張すること。
• 特に偶数次元空間においてクリーク数が未解決の問題である状況において、主要なグラフパラメータに対して正確またはタイトな境界を与えること。
• 部分空間交差グラフの研究において、代数的およびグラフ論的技法を統合すること。

提案手法

• 頂点を真の非自明部分空間とし、部分空間が非自明な交わりを持つ場合に辺を張る、交差グラフG(V)を定義する。
• ガウスの二項係数[n choose t]_qを用いて、qを位数とする有限体上のn次元ベクトル空間内のt次元部分空間の数を数える。
• ハルの結婚定理を用いて、t次元および(n−t)次元部分空間の間の二部グラフの補グラフにおいて完全マッチングを構成する。
• マッチング構造に基づく頂点彩色の議論を用い、ブルックスの定理および補題5からのクリーク数の上限を活用して彩色数の上限を導く。
• 余次元2の商空間部分空間を用いて支配集合を構成し、支配数がq+1であることを証明する。
• 最大部分スプレッドの数え上げまたは、最大独立集合が空間を被覆する1次元部分空間の集合に一致することを用いて、独立数を確立する。

実験結果

リサーチクエスチョン

• RQ1 偶数次元のベクトル空間に対して、クリーク数w(G(V))の正確な値は何か？
• RQ2 交差グラフの彩色数とクリーク数は、基礎となる有限体の次元とサイズにどのように依存するか？
• RQ3 支配数γ(G(V))は、体のサイズqとベクトル空間の次元nを用いてどのように表されるか？
• RQ4 部分空間の交差グラフにおける独立集合の最大サイズは何か？
• RQ5 奇数次元と偶数次元のベクトル空間において、グラフパラメータはどのように異なって振る舞うか？

主な発見

• nが奇数の場合、クリーク数w(G(V))と彩色数χ(G(V))の両方が、∑_{i=1}^{⌊n/2⌋} [n choose i]_q に等しい。
• nが偶数の場合、クリーク数は下限∑_{i=1}^{n/2−1} [n choose i]_q + [n−1 choose (n−2)/2]_q と上限∑_{i=1}^{n/2−1} [n choose i]_q + [n choose n/2]_q − q^{n²/4} − 1 を満たす。
• 任意のn ≥ 2および有限体の位数qに対して、支配数γ(G(V))は正確にq+1である。
• 独立数α(G(V))は正確に(qⁿ − 1)/(q − 1)であり、これはV内の1次元部分空間の数に一致する。
• 偶数nの場合の彩色数は、クリーク数と同じ式で上限・下限が与えられ、上限は次数と彩色の議論から導出される。
• 本稿は、偶数次元空間におけるクリーク数の正確な値を未解決のままとして残し、問題13として提示する。