[論文レビュー] Ubergraphs: A Definition of a Recursive Hypergraph Structure

Cliff Joslyn, Kathleen Nowak|arXiv (Cornell University)|Apr 18, 2017

Data Management and Algorithms参考文献 1被引用数 6

ひとこと要約

この論文は、エッジが他のエッジを頂点として含めることが可能な再帰的ハイパーグラフ構造、すなわちアバーグラフを導入する。これにより、階層的かつ自己参照的なデータモデリングが可能になる。主な貢献は、インシデント行列、アバーグラフ・レヴィ図、代数的エントロピーを含む形式的フレームワークであり、構造的同型性を用いた同型性の定義により、AvesTerraのようなシステムにおける高度なデータモデリングを可能にする。

ABSTRACT

Partly in service of exploring the formal basis for Georgetown University's AvesTerra database structure, we formalize a recursive hypergraph data structure, which we call an ubergraph.

研究の動機と目的

• 自己参照的かつ階層的なデータをモデル化できる再帰的ハイパーグラフ構造を形式化すること。Georgetown UniversityのAvesTerraデータベースにインspiredされる。
• エッジが他のエッジを頂点として含めるデータ構造に、形式的基盤が欠如している問題に対処すること。これは、高度なグラフベースのデータシステムで一般的な特徴である。
• 標準的なハイパーグラフを超える複雑でネストされたデータ関係を表現するための堅牢な数学的フレームワークを提供すること。
• インシデント行列、アバーグラフ・レヴィ図、ラプラシアンに基づくエントロピーといった構造的不変量を定義し、アバーグラフの分析と比較を可能にする。
• アバーグラフの同型性を、アバーグラフ・レヴィ図の同型性によって定義し、モデル間の構造的一致性を保証すること。

提案手法

• 深さ-kアバーグラフを、基本頂点の集合Vと、再帰的に定義されたべき集合階層からなるエッジの集合Eのペア(V, E)として定義する。
• インシデント行列Mを、サイズ(n + m) × mの行列として定義し、M_xy = 1となるのは、頂点またはエッジxがアバーエッジyに属する場合に限る。これにより代数的解析が可能になる。
• アバーグラフ・レヴィ図を、基本頂点とエッジの頂点をもつ有向無閉路グラフ（DAG）として構築し、有向エッジがメンバー関係（x ∈ y）を示す。
• エッジ同士の包含関係を、部分集合関係として表現する。e_i ⊆ e_j であることは、アバーグラフ・レヴィ図においてN^−(e_i) ⊆ N^−(e_j)であることと同値である。
• 頂点とエッジの結合集合に対する隣接行列A(U)とラプラシアン行列L(U)を定義し、スぺクトラル解析を可能にする。
• L(U)の正規化固有値μ_i = λ_i / ̂dを用いて、代数的エントロピーI(U) = −∑ μ_i log₂(μ_i)を定義する。これにより構造的複雑性を定量化する。

実験結果

リサーチクエスチョン

• RQ1 ハイパーグラフをどのように一般化すれば、エッジが他のエッジを頂点として含める再帰的データ構造を形成できるか？
• RQ2 このような再帰的構造を表現・分析するために必要な形式的数学的構造（例：インシデント行列、レヴィ図）は何か？
• RQ3 アバーグラフ同士の同型性は、それらのアバーグラフ・レヴィ図によって特徴付けられるか？この同型性は十分かつ必要条件か？
• RQ4 ラプラシアン行列およびその固有値といった代数的不変量をどのように用いて、アバーグラフにおける構造的複雑性の尺度を定義できるか？
• RQ5 自己参照的または循環的エッジ参照を許容することは、基礎的集合論およびグラフ構造にどのような影響を及えるか？

主な発見

• アバーグラフは、エッジが他のエッジを頂点として含めることを許容することでハイパーグラフを一般化する。すべてのグラフとハイパーグラフは、それぞれ深さ0および深さ1のアバーグラフの特別な場合である。
• アバーグラフのインシデント行列は(n + m) × m行列であり、頂点またはエッジがアバーエッジに属するかどうかを示す。これにより、次数やインシデント性といった性質の代数的計算が可能になる。
• アバーグラフ・レヴィ図は、根が基本頂点で、内部ノードがアバーエッジである有向無閉路グラフ（DAG）である。アバーグラフ同士の同型性は、それらのアバーグラフ・レヴィ図同士の同型性と等価である。
• アバーグラフにおけるエッジ同士の包含関係は、インシデント構造における部分集合関係に対応し、アバーグラフ・レヴィ図における近傍包含関係によって検出可能である。
• アバーグラフのラプラシアン行列はエルミート行列であり、非負の固有値を持つ。その正規化固有値は、代数的エントロピーI(U)を計算するための離散確率分布を定義する。
• 自己参照的エッジ（例：e = {e}）を許容すると、アバーグラフ・レヴィ図にサイクルが生じ、基礎の公理（Axiom of Foundation）に違反する。このため、形式的整合性を保つには非整礎集合論が必要となる。