[論文レビュー] Higher order Dirichlet-to-Neumann maps on graphs and their eigenvalues

Yongjie Shi, Chengjie Yu|arXiv (Cornell University)|Apr 8, 2019

advanced mathematical theories参考文献 19被引用数 6

ひとこと要約

本稿では、境界を持つ有限重み付きグラフ上における高次のディリクレ・トゥ・ノイマン（DtN）写像を導入し、微分形式への離散的ステクロフ固有値問題を一般化する。ホッジ理論とグリーンの恒等式を用いて、リュアロット＝サボ型の固有値推定を導出し、古典的結果を離散的設定に一般化する境界を確立する。グラフスペクトル理論への応用を含む。

ABSTRACT

In this paper, we first introduce higher order Dirichlet-to-Neumann maps on graphs which can be viewed as a discrete analogue of the corresponding Dirichlet-to-Neumann maps on compact Riemannian manifolds with boundary and a higher order generalization of the Dirichlet-to-Neumann map on graphs introduced by Hua-Huang-Wang\cite{HHW} and Hassannezhad-Miclo \cite{HM}. Then, some Raulot-Savo-type estimates on the eigenvalues of the DtN maps introduced are derived.

研究の動機と目的

• グラフ上における高次のディリクレ・トゥ・ノイマン写像の離散的類似を構築し、古典的ステクロフ固有値問題を微分形式へ拡張すること。
• フア＝フアン＝ワンおよびアッサネジャン＝ミクロの離散的DtN写像に関する研究を、高次の形式へ一般化すること。
• 提案されたDtN写像の固有値に対するスペクトル推定を確立し、多様体上でのリュアロット＝サボの結果に類似したものとすること。
• 離散的ホッジ理論と境界形式を用いて、グラフ上におけるステクロフ型固有値を研究するための枠組みを提供すること。
• 微分形式が極値をとる点の数に対する定量的境界を導出し、スペクトル推定を支援すること。

提案手法

• k-形式を (k+1)-クリーク上の反対称関数として定義し、重み付き内積を備える。
• 外微分 d とその随伴 δ を導入し、有限重み付きグラフ上でのホッジラプラシアン Δ = δd + dδ を構成する。
• 境界 B に一つの頂点を含むクリークへの制限により、境界 k-形式 A^k(∂Ω) を定義し、境界に重みを付けた内積を備える。
• 法線成分と接線成分を含む二つのグリーンの恒等式（1.4）および（1.5）を導出し、DtN写像の定義に至る。
• ホッジ分解と境界への射影に基づき、三種類のDtN写像 T_{δd}^{(k)}、T_{dδ}^{(k)}、および T_{dδ}^{(k)}^{(1)} を構成する。
• 整数格子 Z^n の構造とクリークのフラッグ分解を用いて、微分形式の台と符号を分析し、固有値推定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 境界を持つ有限重み付きグラフ上に、高次のディリクレ・トゥ・ノイマン写像をどのように定義できるか。これは、古典的ステクロフ問題を微分形式へ一般化するものである。
• RQ2 これらの高次のDtN写像のスペクトル的性質は何か。また、グラフの幾何構造とはどのように関係するか。
• RQ3 リュアロット＝サボ型の固有値推定を、境界を持つグラフの離散的設定に拡張できるか。
• RQ4 k-形式が極値をとる頂点の最大数は何か。また、これはスペクトル境界にどのように影響するか。
• RQ5 グラフ上での離散的ホッジ理論と境界形式は、境界を持つリーマン多様体上での微分形式の挙動をどの程度模倣するか。

主な発見

• n 次元の埋め込み格子における、k-形式 dx_{i1}∧⋯∧dx_{ik+1} が値 ±1/(k+1)! をとる頂点 u の数は 2^{n−k−1} で抑えられる。
• 整数格子 Z^n 内の任意の (k+2)-クリークにおいて、順序付き頂点上で k-形式 dx_{i1}∧⋯∧dx_{ik+1} の値は、インデックスの置換の符号に応じて ±1/(k+1)! となる。
• k-クリークと変数頂点 u に対して形式を評価した場合、非ゼロ値をとる u の数は 2^{n−k−1} 以下であり、正負の極値をとる個数は等しい。
• k-形式 dx_{i1}∧⋯∧dx_{ik+1} が k-クリークと頂点 u に対して定義されるとき、その台は、インデックス集合のフラッグ構造に依存する大きさの集合に含まれ、そのサイズは最大で 2^{n−k−1} である。
• 極値点の数に対する境界は鋭く、インデックス集合が1次元の増分を伴うフラッグを形成する場合に達成される。
• 導出された形式の台に関する境界は、高次のDtN写像の固有値に対するリュアロット＝サボ型スペクトル推定を証明するために不可欠である。