[論文レビュー] What is actually a metric graph?

Delio Mugnolo|arXiv (Cornell University)|Dec 16, 2019

Graph theory and applications参考文献 5被引用数 10

ひとこと要約

本稿では、組合せ的グラフ理論に依存しない、きめ細かくトポロジカルな定義を用いて、区間の直和の商空間としての距離グラフを提示する。端点の同値関係を定義し、経路長の下界を用いて経路距離を導出し、頂点、辺、連結性といった主要構造が一意に定まることを示す。これにより、恣意的な構成を避け、距離グラフ上の解析のための基盤が提供される。

ABSTRACT

Metric graphs are often introduced based on combinatorics, upon "associating" each edge of a graph with an interval; or else, casually "gluing" a collection of intervals at their endpoints in a network-like fashion. Here we propose an abstract, self-contained definition of metric graph. Being mostly topological, it doesn't require any knowledge from graph theory and already determines uniquely several concepts that are commonly and unnecessarily extit{defined} in the literature. Nevertheless, many ideas mentioned here are folklore in the quantum graph community: we discuss them for later reference.

研究の動機と目的

• グラフ理論や組合せ的構成に依存しない、数学的に厳密で自己完結的な距離グラフの定義を提供すること。
• 頂点、辺、連結性、距離といった基礎的概念を、トポロジカルな商構成によって明確化・統一すること。
• 量子グラフ理論における関数、ノルム、ソボレフ空間を定義する標準的枠組みを確立し、解析を可能にすること。
• 文献に一般的に見られる多くの概念が、提案されたトポロジカルな定義から自明に導かれるか、余分に定義されていることを示し、それらが不要であることを示すこと。

提案手法

• 区間の直和 $\mathcal{E} = \bigsqcup_{\mathsf{e} \in \mathsf{E}} [0, \ell_{\mathsf{e}}] $ を直和位相で定義する。
• 端点の集合 $\mathcal{V}$ 上の同値関係 $\sim$ を導入し、$\mathcal{E}$ に拡張し、距離グラフを商空間 $\mathcal{G} = \mathcal{E}/\sim$ として定義する。
• 同値関係で接続された点の鎖を用いた、経路の擬距離 $d_{\mathcal{G}}(\xi, \theta) = \inf \sum_{i=1}^k d_{\mathcal{E}}(\xi_i, \theta_i)$ を定義する。
• 辺長が正であるか、辺集合が有限であるといった弱い条件下で、$d_{\mathcal{G}}$ が一般化距離（すなわち $d_{\mathcal{G}}(\xi, \theta) = 0$ ならば $\xi = \theta$）であることを証明する。
• ソボレフ空間 $W^{k,p}(\mathcal{G})$ を、ノルム $\|f\|_{k,p} = \sum_{h=0}^k \|f^{(h)}\|_p$ で $C^k(\mathcal{G})$ 関数の閉包として定義する。
• 同値関係への演算を用いて、距離グラフ上の二項演算を定義する。例えば、交わり $\sim_1 \cap \sim_2$ や、$\sim_1 \cup \sim_2$ が生成する同値関係による和を用いる。

実験結果

リサーチクエスチョン

• RQ1 組合せ的グラフ理論に依存しない、最小限で自己完結的なトポロジカルな距離グラフの定義は何か？
• RQ2 距離グラフ上の経路距離が、接続された点の鎖を用いた下界として、どのように厳密に定義できるか？
• RQ3 量子グラフ理論における標準的概念（例：頂点、辺、連結性）は、商構成によって一意に定まり、追加の公理を必要としないか？
• RQ4 距離グラフの交わりや和といった演算を、端点上の同値関係のみを用いて定義できるか？
• RQ5 ソボレフ空間 $W^{k,p}(\mathcal{G})$ は、グラフのトポロジカル構造から自然に導かれるか？

主な発見

• 距離グラフを商空間 $\mathcal{G} = \mathcal{E}/\sim$ として定義することで、グラフ理論的仮定を必要とせず、トポロジカルおよび距離的構造が一意に定まる。
• 辺長の下限 $\inf_{\mathsf{e} \in \mathsf{E}} \ell_{\mathsf{e}} > 0$ または $\mathsf{E}$ が有限であるとき、経路擬距離 $d_{\mathcal{G}}$ が真の一般化距離（すなわち $d_{\mathcal{G}}(\xi, \theta) = 0$ ならば $\xi = \theta$）であることが示された。
• 頂点 $\mathsf{v}$ の次数（隣接頂点の数）および距離的局所的有限性条件 $\sum_{\mathsf{v} \sim \mathsf{e}} \ell_{\mathsf{e}} < \infty$ は、すべて商構造から自然に導かれる。
• ソボレフ空間 $W^{k,p}(\mathcal{G})$ は、ノルム $\|f\|_{k,p} = \sum_{h=0}^k \|f^{(h)}\|_p$ で $C^k(\mathcal{G})$ 関数の閉包として適切に定義され、各辺上でほとんど everywhere に点での微分が定義される。
• 交わり $\sim_1 \cap \sim_2$ および $\sim_1 \cup \sim_2$ が生成する同値関係による和を用いて、距離グラフの二項演算（交わり・和）が同値関係に基づいて定義される。
• アーチャイブフラワーグラフにおけるラッソグラフの補集合は、図8グラフを与える。これは、同値関係によるグラフ演算が一貫性があり直感的な結果をもたらすことを示している。