[論文レビュー] On the circular chromatic number of a subgraph of the Kneser graph

Bart Litjens, Sven Polak+2 more|arXiv (Cornell University)|Mar 12, 2018

Topological and Geometric Data Analysis参考文献 12被引用数 3

ひとこと要約

本稿では、r-安定相互接続グラフ $\mathrm{IG}_{n,k}^{(r)}$ の円形彩色数が正確に $n/k$ であることを確立し、これによりその彩色数が $\lceil n/k \rceil$ であることが示される。著者らは、円形クリーク $K_{n/k}$ へのグラフホモモルフィズムを用いてこの結果を証明する一方で、独立集合数を $\binom{n-(r-1)k-1}{k-1}$ として特定し、円形クリーク数が $n/k$ であることも示し、Kneser型グラフに関する先行研究を強化する。

ABSTRACT

Let $n,k,r$ be positive integers with $n \geq rk$ and $r \geq 2$. Consider a circle $C$ with~$n$ points~$1,\ldots,n$ in clockwise order. The $r$-stable \emph{interlacing graph} $ ext{IG}_{n,k}^{(r)}$ is the graph with vertices corresponding to $k$-subsets $S$ of $\{1,...,n\}$ such that any two distinct points in~$S$ have distance at least~$r$ around the circle, and edges between~$k$-subsets $P$ and $Q$ if they \emph{interlace}: after removing the points in~$P$ from $C$, the points in~$Q$ are in different connected components. In this paper we prove that the circular chromatic number of $ ext{IG}_{n,k}^{(r)}$ is equal to $ n/k $ (hence the chromatic number is $\lceil n/k ceil$) and that its circular clique number is also $ n/k $. Furthermore, we show that its independence number is $\binom{n-(r-1)k-1}{k-1}$, thereby strengthening a result by Talbot.

研究の動機と目的

• r-安定相互接続グラフ $\mathrm{IG}_{n,k}^{(r)}$ の円形彩色数を特定すること。これは、幾何的・組合せ的制約を課えたKneserグラフの部分グラフである。
• 彩色数が $\lceil n/k \rceil$ であることを確立し、KneserグラフおよびSchrijverグラフに関する既知の結果を拡張すること。
• r-安定相互接続グラフ $\mathrm{IG}_{n,k}^{(r)}$ の独立集合数を計算し、この構造的サブグラフにおけるErd\'s-Ko-Radoの境界を精緻化すること。
• r-安定相互接続グラフ $\mathrm{IG}_{n,k}^{(r)}$ の円形クリーク数が $n/k$ であることを示し、円形彩色数の境界がタイトであることを示すこと。

提案手法

• 循環群の構造に依存する頂点ラベル付け $P^j \mapsto \overline{jk}$ を用いて、$\mathrm{IG}_{n,k}^{(r)}$ から円形クリーク $K_{n/k}$ へのグラフホモモルフィズムを構成する。
• $r$-安定 $k$-多角形を、円周上に配置された $[n]$ の $k$ 部分集合として定義する。ここで、任意の二点間には少なくとも $r-1$ 個の要素が存在する。
• 相互接続条件を用いる：二つの $k$-多角形が隣接するとは、一方を除去することで円周が弧に分割され、それぞれの弧に他方の多角形のちょうど一つの点が含まれることを意味する。
• 分数部分 $\{x\} = x - \lfloor x \rfloor$ の性質を用いて、多角形間の位置関係を分析し、ホモモルフィズムにおける隣接性を検証する。
• 非相互接続ペアが、$K_{n/k}$ 内で距離 $k$ 未満の頂点に正確に対応することを証明し、ホモモルフィズムが辺を保存することを保証する。
• 組合せ的数え上げと区間解析を用いて、すべての必要な相互接続ペアが正しく写像されることを検証する。特に、$s=1$ および区間 $[1, \lfloor(i+1)n/k\rfloor - \lceil in/n\rceil - 1]$ 内の最大の $s$ について注目する。

実験結果

リサーチクエスチョン

• RQ1 r-安定相互接続グラフ $\mathrm{IG}_{n,k}^{(r)}$ の円形彩色数は何か？
• RQ2 $\mathrm{IG}_{n,k}^{(r)}$ の独立集合数は、Kneserグラフ $\mathrm{KG}_{n,k}$ のそれと比べてどう異なるか。また、正確に計算可能か？
• RQ3 $\mathrm{IG}_{n,k}^{(r)}$ の円形クリーク数は、その円形彩色数と等しいか。これは境界のタイトさを示唆する。
• RQ4 $\mathrm{IG}_{n,k}^{(r)}$ から $K_{n/k}$ へのグラフホモモルフィズムを、循環対称性と多角形の配置に基づいて明示的に構成できるか？

主な発見

• $\mathrm{IG}_{n,k}^{(r)}$ の円形彩色数は正確に $n/k$ であり、これによりその彩色数が $\lceil n/k \rceil$ であることが示される。
• $\mathrm{IG}_{n,k}^{(r)}$ の独立集合数は $\binom{n-(r-1)k-1}{k-1}$ である。これは、この $r$-安定設定における独立集合の上界をタイトに保証する。
• $\mathrm{IG}_{n,k}^{(r)}$ の円形クリーク数も $n/k$ である。これは、$K_{n/k}$ がこのグラフへ写像する最小の円形クリークであることを示している。
• $\mathrm{IG}_{n,k}^{(r)}$ から $K_{n/k}$ へのグラフホモモルフィズムは、循環ラベル付け $P^j \mapsto \overline{jk}$ を用いて明示的に構成され、分数部分の分析により隣接性が保存されることを証明している。
• 証明により、距離が $k$ 未満の頂点に写像されるのは、非相互接続ペアに限ることが示され、ホモモルフィズムが適切に定義されていることが確認される。
• この構成は $\gcd(n,k) = 1$ の条件下で成り立ち、一般の $n,k$ については、互いに素な場合に還元することで拡張可能である。