[論文レビュー] On a problem of Specker about Euclidean representations of finite graphs

Linh V. Nguyen|arXiv (Cornell University)|Oct 14, 2008

Mathematical Approximation and Integration参考文献 6被引用数 3

ひとこと要約

この論文は、EinherとSchoenbergが提唱した結果を証明する。任意の有限グラフが完全でも独立でもなければ、そのグラフはユークリッド空間 ℝ^{|G|−2} に埋め込まれ、辺対と非辺対の距離関係が保存される。証明は、グラフの組合せ的構造に基づいた幾何的埋め込みを確立し、辺色分けされた完全グラフに対しても拡張可能である。

ABSTRACT

Say that a graph $G$ is \emph{representable in $\R ^n$} if there is a map $f$ from its vertex set into the Euclidean space $\R ^n$ such that $\| f(x) - f(x')\| = \| f(y) - f(y')\|$ iff $\{x,x'\}$ and $\{y, y'\}$ are both edges or both non-edges in $G$. The purpose of this note is to present the proof of the following result, due to Einhorn and Schoenberg: if $G$ finite is neither complete nor independent, then it is representable in $\R ^{|G|-2}$. A similar result also holds in the case of finite complete edge-colored graphs.

研究の動機と目的

• スペッカーが提起した、有限グラフに対するユークリッド表現の存在に関する問題を解決すること。
• 辺対と非辺対が距離等値性を保つような、有限グラフの等長埋め込みに必要な最小次元を特定すること。
• 単純グラフに関する表現結果を、類似の距離制約を満たす有限完全辺色分けグラフへ拡張すること。

提案手法

• グラフが ℝⁿ に表現可能であるとは、頂点の写像が存在し、頂点対間の距離が等しいことと、両対が辺であるか、または両対が非辺であることが同値であることを意味する。
• 距離保存埋め込みの特徴づけをグラム行列と内積を用いて行い、グラフの幾何的実現可能性を分析する。
• 特にシューベンガーとアインハンの理論を用いて、ユークリッド距離幾何学の結果を応用し、埋め込み次元を評価する。
• 完全でも独立でもない有限グラフ G に対して、次元 |G|−2 がこのような表現に十分であることを示す。
• 辺色分けグラフでは、色クラスを距離構造上の異なる辺タイプとして扱うことで、議論を拡張する。

実験結果

リサーチクエスチョン

• RQ1 完全でも独立でもない有限グラフが、辺対と非辺対が距離等値性を保つように埋め込まれる最小次元は何か？
• RQ2 単純グラフに関する表現結果を、類似の距離制約を満たす有限完全辺色分けグラフへ拡張できるか？
• RQ3 どのような組合せ的条件下で、グラフが |G|−1 よりも厳密に小さい次元でユークリッド表現をもつのか？

主な発見

• 完全でも独立でもない任意の有限グラフは、ℝ^{|G|−2} にユークリッド表現をもつ。
• 完全グラフおよび独立グラフがより高い次元を要することを踏まえると、次元の上限 |G|−2 はタイトである。
• 距離等値性が成り立つのは、両対が辺であるか、または両対が非辺である場合に限る。
• 色クラスを異なる距離タイプとして扱うことで、有限完全辺色分けグラフに対しても同様の埋め込み結果が成り立つ。
• 証明は、必要な距離関係を実現する適切な内積構造が ℝ^{|G|−2} 上に存在することに依拠している。