[論文レビュー] Pairwise Suitable Family of Permutations and Boxicity

Manu Basavaraju, L. Sunil Chandran+2 more|arXiv (Cornell University)|Dec 30, 2012

graph theory and CDMA systems被引用数 6

ひとこと要約

本稿は、超グラフ H の分離次元 π(H) とそのライングラフのボクシティの間に直接的な同値性を確立し、分離次元を軸に平行な超平面によって互いに素な超辺が分離可能なように埋め込むための最小次元としての幾何的解釈を提供する。主な貢献は、組合せ的順列族と幾何的グラフ表現との間の新しい接続を確立したことであり、これによりボクシティ理論からの既知の結果を分離次元問題へと移転可能にする。

ABSTRACT

A family F of permutations of the vertices of a hypergraph H is called "pairwise suitable" for H if, for every pair of disjoint edges in H, there exists a permutation in F in which all the vertices in one edge precede those in the other. The cardinality of a smallest such family of permutations for H is called the "separation dimension" of H and is denoted by π(H). Equivalently, π(H) is the smallest natural number k so that the vertices of H can be embedded in R^k such that any two disjoint edges of H can be separated by a hyperplane normal to one of the axes. We show that the separation dimension of a hypergraph H is equal to the "boxicity" of the line graph of H. This connection helps us in borrowing results and techniques from the extensive literature on boxicity to study the concept of separation dimension.

研究の動機と目的

• 超グラフにおける順列の対ごとの適切な族の概念を定義し、その性質を調査すること。
• このような族の最小サイズとして、分離次元 π(H) を明示的に定式化すること。
• π(H) と H のライングラフのボクシティの間に基本的な同値性を確立すること。
• ボクシティ理論における既知の結果を活用して、分離次元に対する新たな境界と構造的洞察を導出すること。
• 最大次数、彩色数、クリーク数といったグラフパラメータを用いた π(G) の境界に関する未解決問題を探索すること。

提案手法

• 任意の2つの互いに素な超辺が、族に属する少なくとも1つの順列によって分離されるような順列族を、対ごとの適切な順列族と定義する。
• このような族と R^k 内の軸に平行な超平面による分離の間に同値性を確立し、分離埋め込みの概念を導入する。
• 幾何的および組合せ的議論を用いて、分離次元 π(H) が H のライングラフのボクシティに正確に等しいことを証明する。
• 既知のボクシティの境界を用いて、特に最大次数、木幅、および退化度に関して、π(H) の上界および下界を導出する。
• 極値組合せ論および順列族（例：かき混ぜられた順列、k-適切な族）の結果を応用し、特定の超グラフクラスにおける π(H) を分析する。
• 反例や予想を用いて、彩色数、クリーク数、Hadwiger数といった他のグラフパラメータとの関係を探索する。

実験結果

リサーチクエスチョン

• RQ1 超グラフ H の分離次元 π(H) とそのライングラフのボクシティとの間の正確な関係は何か？
• RQ2 ボクシティに関する既知の上界および下界を用いて、分離次元に対するタイトな境界を導出できるか？
• RQ3 すべてのグラフ G に対して boxicity(G) ≤ f(π(G)) を満たす普遍的な関数 f が存在するか？
• RQ4 π(G) は彩色数 χ(G) の関数として有界にできるか、あるいはある定数 c に対して π(G) ≥ log χ(G) − c が成り立つか？
• RQ5 r-一様完全超グラフ K_n^r の分離次元 π(K_n^r) の正確な漸近的成長は何か？

主な発見

• 分離次元 π(H) は、H のライングラフのボクシティに正確に等しく、組合せ的順列族と幾何的ボックス表現との間に基本的な同値性が確立される。
• 任意のグラフ G に対して π(G) ≥ log⌊ω(G)/2⌋ が成り立ち、クリーク数 ω(G) を用いた非自明な下界が得られる。
• 弦的グラフでは、最大次数 Δ(G) を用いて π(G) ∈ O(log Δ(G)) が成り立つ。これは、次数に対してクリークサイズが有界であることに起因する。
• Δ(G) ≥ log n を満たすグラフでは、π(G) ∈ O(Δ(G)) が成り立ち、スパarsな領域において最大次数に線形的に依存することが示される。
• 上界 π(G) ≤ 2^{9 log* Δ(G)} Δ(G) が導出されたが、そのタイトネスは未だ不明である。
• 本稿では、boxicity(G) ≤ f(π(G)) を満たす関数 f の存在に関する未解決問題、および π(K_n^r) の正確なオーダーに関する問題を提示し、未解決の極値的問題を浮き彫りにしている。