[論文レビュー] A New Approach to Functional Analysis on Graphs, the Connes-Spectral Triple and its Distance Function

Manfred Requardt|ArXiv.org|Aug 4, 1997

Graph theory and applications参考文献 3被引用数 4

ひとこと要約

本稿は、コンヌのスペクトル三重項形式を用いて、グラフ上の新規な関数解析的枠組みを導入する。ヒルベルト空間、代数表現、ディラック作用素を構成し、非可換幾何的構造を定義する。主な結果は、コンヌ距離関数の明示的表現であり、これは標準的なグラフ距離によって上から有界であり、ディラック作用素の作用が非局所的であるため、通常は厳密に小さいことが示されている。

ABSTRACT

Continuing previous work we develop a certain piece of functional analysis on general graphs and use it to create what Connes calls a 'spectral triple', i.e. a Hilbert space structure, a representation of a certain (function) algebra and a socalled 'Dirac operator', encoding part of the geometric/algebraic properties of the graph. We derive in particular an explicit expression for the 'Connes-distance function' and show that it is in general bounded from above by the ordinary distance on graphs (being, typically, strictly smaller(!) than the latter). We exhibit, among other things, the underlying reason for this phenomenon.

研究の動機と目的

• 一般のグラフに対して非可換幾何に適した関数解析的枠組みを構築すること。
• グラフ構造からヒルベルト空間、代数表現、ディラック作用素からなるコンヌのスペクトル三重項を構成すること。
• グラフ上のコンヌ距離関数を定義・計算し、標準的グラフ距離と比較すること。
• コンヌ距離が一般にグラフ距離よりも厳密に小さい理由を説明すること。
• 量子重力における離散的幾何モデルのための厳密な関数解析的基盤を提供すること。

提案手法

• グラフの頂点集合上の平方可 summable 関数のヒルベルト空間を定義する。
• グラフ上の有界関数の代数をヒルベルト空間上の作用素として表現する。
• グラフの隣接関係または接続構造に基づくディラック作用素を導入し、幾何的情報を符号化する。
• スペクトル距離の公式を用いてコンヌ距離関数を導出する: d_C(f,g) = sup{|f(x) - g(x)| : ||[D,π(f)]|| ≤ 1}。
• 関数表現とディラック作用素を含む交換子のノルムを計算するための関数解析的技法を用いる。
• 明示的な推定を通じて、スペクトル距離と組合せ的グラフ距離の関係を分析する。

実験結果

リサーチクエスチョン

• RQ1 一般のグラフ上にコンヌのスペクトル三重項を体系的に構成する方法は何か？
• RQ2 離散的グラフの文脈において、コンヌ距離関数の明示的形は何か？
• RQ3 なぜコンヌ距離は一般に標準的グラフ距離よりも厳密に小さいのか？
• RQ4 グラフの幾何的または代数的性質のうち、コンヌ距離の大きさに影響を与えるものは何か？
• RQ5 ディラック作用素の非局所的性質が、グラフの計量的構造にどのように影響するか？

主な発見

• コンヌ距離関数が明示的に導出され、標準的グラフ距離によって上から有界であることが示された。
• ディラック作用素の作用が非局所的であるため、コンヌ距離は通常、グラフ距離よりも厳密に小さい。
• 厳密な不等号が成立する根本的な理由は、ディラック作用素が関数の作用を通じて遠く離れた頂点を結合することにある。
• 関数解析的枠組みは、スペクトル三重項を介して離散的グラフを非可換幾何的設定にうまく埋め込むことに成功した。
• この構成は、追加の構造を要せず、任意の有限または局所的に有限なグラフに一般化可能であり、堅牢である。
• 本稿は第3節で関数解析的基盤を拡張し、より詳細な証明と洗練された推定を提供している。