[論文レビュー] Spectral Analysis and Operator Theory on (Infinite) Graphs, Graph-Laplacians and Dirac Operators and the Connes-Distance-Functional

Manfred Requardt|arXiv (Cornell University)|Jan 18, 2000

Advanced Operator Algebra Research被引用数 5

ひとこと要約

本稿では、非可換幾何学に根ざしたグラフ-ヒルバート空間フレームワークを導入し、グラフラプラシアンおよびグラフディラック作用素のスペクトル的性質を分析する。コンネスのスペクトルトリプレットに類似したスペクトルトリプレットを構築する。一般のグラフ上でのコンネス距離関数の明示的表現を導出し、特定のグラフ型についての事前推定と正確な計算を確立するとともに、最適化フレームワークと関連付ける。

ABSTRACT

We develop a graph-Hilbert-space framework, inspired by non-commutative geometry, on (infinite) graphs and use it to study spectral properies of it{graph-Laplacians} and so-called it{graph-Dirac-operators}. Putting the various pieces together we define a {\it spectral triplet} sharing most (if not all, depending on the particular graph model) of the properties of what Connes calls a it{spectral triple}. With the help of this scheme we derive an explicit expression for the {\it Connes-distance function} on general graphs and prove both a variety of apriori estimates for it and calculate it for certain examples of graphs. As a possibly interesting aside, we show that the natural setting of approaching such problems may be the framework of it{(non-)linear programming} or it{optimization}. We compare our results (arrived at within our particular framework) with the results of other authors and show that the seeming differences depend on the use of different graph-geometries and/or Dirac operators.

研究の動機と目的

• 非可換幾何学にインspiredされたグラフ-ヒルバート空間フレームワークを構築し、グラフのスペクトル的性質を分析すること。
• 無限大グラフ上に、コンネスのスペクトルトリプレットの性質を模倣するスペクトルトリプレットを定義すること。
• 一般のグラフ上でのコンネス距離関数の明示的表現を導出すること。
• 特定のグラフ例についてのコンネス距離の事前推定を確立し、正確な計算を行うこと。
• グラフ幾何、ディラック作用素、最適化または非線形計画法との間の関係を調査すること。

提案手法

• ヒルバート空間上の作用素を用いて無限大グラフをモデル化するため、グラフ-ヒルバート空間構造を形式化すること。
• このヒルバート空間フレームワーク内において、グラフラプラシアンおよびグラフディラック作用素を定義すること。
• グラフラプラシアンとディラック作用素からスペクトルトリプレットを構築し、コンネスの公理と整合性を持つようにすること。
• ディラック作用素を用いた標準的な公式を用いて、スペクトルトリプレットからコンネス距離関数を導出すること。
• 一般のグラフクラス全体にわたるコンネス距離の境界を求めるために、事前推定技術を適用すること。
• 距離およびスペクトル問題の解法として、非線形計画法または最適化手法を自然なフレームワークとして用いること。

実験結果

リサーチクエスチョン

• RQ1 グラフラプラシアンおよびディラック作用素を用いて、無限大グラフ上にスペクトルトリプレットをどのように構築できるか。
• RQ2 このフレームワーク内において、一般のグラフ上でのコンネス距離関数の明示的形は何か。
• RQ3 異なるグラフ型にわたるコンネス距離の事前推定は、どのように振る舞うか。
• RQ4 異なるグラフ幾何やディラック作用素の定義は、結果として得られるコンネス距離にどのような影響を与えるか。
• RQ5 グラフ上でのコンネス距離の計算問題は、自然に最適化または非線形計画法の問題として定式化できるか。

主な発見

• スペクトルトリプレットフレームワークを用いて、一般のグラフ上でのコンネス距離関数の明示的表現が導出された。
• 本稿では、特定のグラフ実装に依存しない境界を提供する、コンネス距離の多様な事前推定が確立された。
• 特定のグラフクラスについて、コンネス距離の正確な計算が行われ、フレームワークの計算可能性が実証された。
• フレームワークは、過去の結果に見られる顕在的な不一致が、グラフ幾何やディラック作用素の定義の違いに起因することを明らかにした。
• コンネス距離の計算問題が、最適化または非線形計画法の手法に対して自然に適合可能であることが示された。
• 構築されたスペクトルトリプレットは、グラフモデルに応じて、すべてまたはほとんどすべてのコンネススペクトルトリプレットの公理を満たしている。