[論文レビュー] Gamma-convergence of graph Ginzburg-Landau functionals

Yves van Gennip, Andrea L. Bertozzi|arXiv (Cornell University)|Apr 23, 2012

Advanced Mathematical Modeling in Engineering被引用数 50

ひとこと要約

本稿では、界面パラメータ ε → 0 およびノード数 m → ∞ の2つの極限において、グラフに基づくギンツブルク＝ランダウ関数への Γ 収束を確立する。ε → 0 の極限では、グラフ関数がグラフカット目的関数へ Γ 収束することを証明し、m → ∞ の極限において4正則グラフ上で、全 Variation 半ノルムへ収束することを示す。同時に ε ∝ m^−α（α > 0）とスケーリングする極限についても分析し、連続体全 Variation 機能へ収束することを示している。

ABSTRACT

We study Gamma-convergence of graph based Ginzburg-Landau functionals, both the limit for zero diffusive interface parameter epsilon->0 and the limit for infinite nodes in the graph m -> infinity. For general graphs we prove that in the limit epsilon -> 0 the graph cut objective function is recovered. We show that the continuum limit of this objective function on 4-regular graphs is related to the total variation seminorm and compare it with the limit of the discretized Ginzburg-Landau functional. For both functionals we also study the simultaneous limit epsilon -> 0 and m -> infinity, by expressing epsilon as a power of m and taking m -> infinity. Finally we investigate the continuum limit for a nonlocal means type functional on a completely connected graph.

研究の動機と目的

• データクラスタリングおよび画像処理に用いられるグラフ Ginzburg-Landau 関数の理論的基盤を、その漸近的挙動を分析することで確立すること。
• 拡散界面パラメータ ε → 0 の極限におけるグラフ Ginzburg-Landau 関数の Γ 収束を調査し、グラフカット目的関数が回復されることを示すこと。
• 4正則グラフ上でのノード数 m → ∞ の連続体極限を研究し、全 Variation 半ノルムへ収束することを示すこと。
• ε → 0 および m → ∞ を同時に取り、ε を m のべき乗としてスケーリングする極限を分析し、連続体全 Variation 機能へ収束することを示すこと。
• 完全に接続されたグラフ上での非局所平均型関数への分析を拡張し、その連続体極限を導出すること。

提案手法

• Γ 収束理論を用いて、2つの極限（ε → 0 および m → ∞）におけるグラフベースのギンツブルグ＝ランダウ関数の漸近的挙動を分析する。
• グラフ Ginzburg-Landau 関数を $ f_{\bar{\varepsilon}}(u) = \chi \sum_{i,j=1}^{m} \omega_{ij}(u_i - u_j)^2 + \frac{1}{\varepsilon} \sum_{i=1}^{m} W(u_i) $ として定義し、χ = 1/2 とし、重み ω_ij をグラフ構造に基づくものとする。
• 平坦トーラス $\mathbb{T}^2$ に埋め込まれた4正則グラフを対象とし、均一な辺重みを用い、グラフをスケーリングすることで連続体極限を回復する。
• フーリエ解析および滑らか化技術（$J_\varepsilon u_n$ を通じて）を用い、微分を制御し、Γ 収束の証明に必要なコンパクト性を確立する。
• 台形則近似および積分推定を用いて、離散関数がその連続体対応物へ一様に収束することを導出する。
• 完全に接続されたグラフ上での非局所平均型関数を検討し、m → ∞ の極限で、非局所全 Variation に類似した関数へ収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 ε → 0 の極限において、グラフ Ginzburg-Landau 関数はグラフカット目的関数へ Γ 収束するか？
• RQ2 m → ∞ の極限において、4正則グラフ上でのグラフ Ginzburg-Landau 関数の連続体極限は何か？
• RQ3 ε → 0 および m → ∞ を同時に取り、ε を m のべき乗としてスケーリングする場合、その極限はどのように振る舞うか？
• RQ4 完全に接続されたグラフ上での非局所平均型関数の連続体極限は何か？
• RQ5 連続体極限において、グラフカット目的関数は全 Variation 半ノルムとどのように関係するか？

主な発見

• ε → 0 の極限において、グラフ Ginzburg-Landau 関数はグラフカット目的関数へ Γ 収束し、離散的セグメンテーションエネルギーが回復される。
• 4正則グラフ上では、グラフカット目的関数の連続体極限は全 Variation 半ノルムに比例し、二重井戸ポテンシャル W に依存する表面張力係数 σ(W) を持つ。
• ε → 0 および m → ∞ の同時極限において ε ∝ m^{−α}（α > 0）とスケーリングする場合、関数は Γ 収束して連続体全 Variation 機能へ収束する。
• 4正則グラフ上での離散化されたギンツブルグ＝ランダウ関数の極限も、同じ全 Variation 半ノルムへ収束し、連続体モデルと一貫性があることが確認される。
• 完全に接続されたグラフ上での非局所平均型関数に対しては、連続体極限が非局所全 Variation に類似した関数となり、N に一様に収束することが示された。
• 離散関数がその連続体極限へ収束することは一様であることが示され、積分推定および台形則近似における剰余項の境界を用いて証明された。