[論文レビュー] Characterization of Randomly k-Dimensional Graphs

Mohsen Jannesari, Behnaz Omoomi|arXiv (Cornell University)|Mar 18, 2011

Graph Labeling and Dimension Problems参考文献 3被引用数 6

ひとこと要約

この論文は、任意のk頂点集合が基底であるようなグラフ、すなわちランダムにk次元のグラフを特徴づけ、このようなグラフがちょうど完全グラフK_{k+1}と奇数長のサイクルであることを証明する。著者らはk ≥ 3の場合、ランダムにk次元の性質を満たすのはK_{k+1}のみであることを確立し、完全グラフと奇数長のサイクル以外にこのようなグラフが存在するかという未解決の問題を解決する。

ABSTRACT

For an ordered set $W=\{w_1,w_2,...,w_k\}$ of vertices and a vertex $v$ in a connected graph $G$, the ordered $k$-vector $r(v|W):=(d(v,w_1),d(v,w_2),.,d(v,w_k))$ is called the (metric) representation of $v$ with respect to $W$, where $d(x,y)$ is the distance between the vertices $x$ and $y$. The set $W$ is called a resolving set for $G$ if distinct vertices of $G$ have distinct representations with respect to $W$. A minimum resolving set for $G$ is a basis of $G$ and its cardinality is the metric dimension of $G$. The resolving number of a connected graph $G$ is the minimum $k$, such that every $k$-set of vertices of $G$ is a resolving set. A connected graph $G$ is called randomly $k$-dimensional if each $k$-set of vertices of $G$ is a basis. In this paper, along with some properties of randomly $k$-dimensional graphs, we prove that a connected graph $G$ with at least two vertices is randomly $k$-dimensional if and only if $G$ is complete graph $K_{k+1}$ or an odd cycle.

研究の動機と目的

• チャーランドらが提起した未解決問題、すなわち完全グラフと奇数長のサイクル以外にランダムにk次元のグラフが存在するかを解明すること。
• k ≥ 3の場合にランダムにk次元の性質を満たすすべての連結グラフを特徴づけること。
• メトリック次元と解消集合理論を用いて、グラフがランダムにk次元であるための必要十分条件を確立すること。
• k ≥ 3の場合に、ランダムにk次元のグラフとして認められるのはK_{k+1}と奇数長のサイクルのみであることを証明し、k=2の既知の結果を拡張すること。

提案手法

• 各頂点をk集合Wからの距離のk次元ベクトルに割り当てるメトリック表現理論を用いる。
• 解消集合と基底の概念を適用し、すべてのk集合が基底であるようなグラフをランダムにk次元のグラフと定義する。
• 近傍解析、距離分割（Γ_i(v)）、および辺正則性に関する議論を含む構造的グラフ理論を用いる。
• K_{k+1}や奇数長のサイクル以外にランダムにk次元のグラフが存在すると仮定し、背理法を適用する。
• 部分証明において3正則性の仮定を用い、距離表現を通じて構造的制約と矛盾を導出する。
• 既知のメトリック次元に関する結果（β(G) = 1 iff G = P_n および β(G) = n−1 iff G = K_n）を分析の基盤として用いる。

実験結果

リサーチクエスチョン

• RQ1 k ≥ 3の場合に、完全グラフと奇数長のサイクル以外にランダムにk次元のグラフが存在するか？
• RQ2 グラフがランダムにk次元であるためにはどのような構造的性質を満たす必要があるか？
• RQ3 ランダムにk次元のグラフの特徴づけをk=2を超えて拡張可能か？
• RQ4 このようなグラフにおいて、メトリック次元、解消数、および基底数の関係は何か？
• RQ5 どのような条件下で、頂点の任意のk集合が基底を形成するか？

主な発見

• k ≥ 3の場合、ランダムにk次元のグラフとして認められるのは完全グラフK_{k+1}と奇数長のサイクルのみである。
• この特徴づけにより、k ≥ 3の場合にK_{k+1}と奇数長のサイクル以外にランダムにk次元のグラフが存在しないことを証明し、未解決問題を解決する。
• 論文は、Gがランダムに3次元のグラフであるならばG = K_4であることを証明し、k=3の場合の基本ケースを確立する。
• k ≥ 3のランダムにk次元のグラフでは、各頂点の近傍が独立集合でなければならないことが示された。
• 3正則で、完全でないランダムに3次元のグラフを構成しようと試みる際、距離表現に矛盾が生じることを証明した。
• 既知のランダムに2次元のグラフ（奇数長のサイクル）の特徴づけを高次元に拡張し、明確な二分法が成り立つことを示した：k ≥ 3の場合にのみK_{k+1}と奇数長のサイクルがこの性質を満たす。