[論文レビュー] The Laplacian on planar graphs and graphs on surfaces

Richard Kenyon|arXiv (Cornell University)|Mar 6, 2012

Stochastic processes and statistical mechanics参考文献 21被引用数 11

ひとこと要約

本稿は、平面、アニュラス、トーラスなどの曲面上に埋め込まれた抵抗ネットワークにおけるラプラシアン作用素を研究し、ラプラシアンの行列式、サイクルルート付きスパニングフォレスト（CRSFs）、スペクトル曲線の間の関係を明らかにする。特に、トーラス上のラプラシアンの固有多項式がハルナック曲線であることを証明し、その多項式を実現する最小ネットワークが、 genus g に対し次元 g/2 の実トーラスをなすことを示している。本研究は、離散的EIT、スパニングツリー・モデル、トポロジー的不変量を、スペクトル的および組合せ的手段によって統一する。

ABSTRACT

These are lecture notes for the Current Developments in Mathematics conference at Harvard, November, 2011. We discuss topological, probabilistic and combinatorial aspects of the Laplacian on a graph embedded on a surface. The three main goals are to discuss: (1) for "circular" planar networks, the characterization due to Colin de Verdière of Dirichlet-to-Neumann operator; (2) The connections with the random spanning tree model; and (3) the characteristic polynomial of the Laplacian on an annulus and torus.

研究の動機と目的

• 曲面上に埋め込まれたネットワークにおける離散的電気的インピーダンス断層法（EIT）問題を理解すること、特に境界測定値によるネットワークの分類を行うこと。
• トーラスやアニュラスを含む非自明なトポロジーを持つ曲面上でのラプラシアン行列式のトポロジー的および代数的特徴付けを行うこと。
• ラプラシアンの固有多項式とサイクルルート付きスパニングフォレスト（CRSFs）や有限ラミネーションといった組合せ的構造との対応関係を確立すること。
• トーラス上でのラプラシアンの固有多項式がハルナック曲線であることを示し、その多項式を実現する最小ネットワークが、genus g に対し次元 g/2 の実トーラスをなすこと。
• 基本群が非可換であるような高 genus の曲面へ理論を拡張すること。ラプラシアン行列式を、サイクルのホモトピー型による重み付きCRSFの和として表現し、SL₂(ℂ)-接続を用いる。

提案手法

• 抵抗率 c_e を持つグラフ上で定義される離散ラプラシアン Δ は、(Δf)(v) = Σ_{v'~v} c_{vv'}(f(v) - f(v')) で与えられる。
• スターメッシュ変換やYΔ変換による電気的等価性を含む、電気ネットワーク理論を適用する。
• 一様スパニングツリー（UST）およびサイクルルート付きスパニングフォレスト（CRSF）モデルを用い、グリーン関数および確率的行列過程と結びつける。
• 曲面上に平坦な接続を持つベクトルバンドルラプラシアンを導入し、U(1)およびSL₂(ℂ)接続を用いてトポロジカル位相をモデル化する。
• ラウレンツ多項式 P = detΔ のアモーバを用いてスペクトル曲線を特徴付け、P=0 が特定のトポロジー的性質を満たすハルナック曲線であることを示す。
• ラプラシアン行列式を、表現多様体 π₁(Σ) 上の積分により抽出可能な係数を持つ、有限ラミネーションでインデックスされたCRSFの和として表現する。

実験結果

リサーチクエスチョン

• RQ1 非平面な曲面上に埋め込まれた抵抗ネットワークの内部構造は、境界測定値から再構成可能か、特に非平面な表面においては？
• RQ2 トーラスやアニュラス上でのラプラシアンの固有多項式のトポロジー的および代数的特徴付けは何か？
• RQ3 曲面上のサイクルルート付きスパニングフォレスト（CRSFs）は、そのサイクルのホモロジーまたはホモトピー型とどのように関係するか？
• RQ4 平坦な接続（U(1)およびSL₂(ℂ)）は、非自明なトポロジーを持つ曲面上でのラプラシアン行列式の表現において果たす役割は何か？
• RQ5 与えられた固有多項式を実現する最小ネットワークの空間は幾何学的に記述可能か？その構造は何か？

主な発見

• トーラス上での固有多項式 P = detΔ はハルナック曲線であり、以下の4つの性質を満たす：実係数、対称性 P(z₁,z₂) = P(z₁⁻¹,z₂⁻¹)、P(1,1) = 0、および |z|=c、|w|=c に対して実部分集合がそれぞれ2点以下に交わる。
• 上記4つのハルナック曲線の性質を満たす任意の多項式 P に対して、そのラプラシアンの固有多項式が P であるようなネットワークが存在し、P を実現する最小ネットワークの集合は、genus g（アモーバにおける実オービットの数）に対し次元 g/2 の実トーラスをなす。
• アニュラス上では、最小ネットワークはサイクルのホモロジーによって定義される「景観（landscapes）」に対応し、応答行列からの再構成は部分順序と最小不等式を用いて可能である。
• トーラス上では、Δ のスペクトル曲線はハルナック曲線として特徴付けられ、行列式 detΔ はゼロ集合がハルナック曲線であるローレンツ多項式であり、そのアモーバ構造は曲面のトポロジーを反映する。
• 基本群が非可換であるような曲面（例：パンツ）に対しては、ラプラシアン行列式を、サイクルのホモトピー型による重み付きCRSFの和として表現でき、係数はSL₂(ℂ)-表現多様体上の積分により抽出可能である。
• パンツの場合、detΔ = Σ_{i,j,k≥0} c_{i,j,k} X^i Y^j Z^k と書け、ここで X=2−TrA、Y=2−TrB、Z=2−Tr(AB) であり、係数 c_{i,j,k} はネットワークのCRSF構造により決定される。