[論文レビュー] The inverse scattering problem for metric graphs and the traveling salesman problem

Vadim Kostrykin, Robert Schrader|ArXiv.org|Mar 2, 2006

Spectral Theory in Mathematical Physics参考文献 70被引用数 36

ひとこと要約

この論文は、一般の境界条件のもとで、メトリックグラフ上のラプラシアン作用素の逆散乱問題を解き、散乱行列がグラフの位相的構造と辺の長さを一意に特定することを示している。著者らは散乱行列の組み合わせ的フーリエ展開を用い、散乱データの解析的性質とグラフ構造との間の関係を確立し、グラフ上の巡回セールスマン問題（TSP）を解くための新しい解析的アプローチを可能にした。

ABSTRACT

We present a solution to the inverse scattering problem for differential Laplace operators on metric noncompact graphs. We prove that for almost all boundary conditions (i) the scattering matrix uniquely determines the graph and its metric structure, (ii) the boundary conditions are determined uniquely up to trivial gauge transformations. The main ingredient of our approach is a combinatorial Fourier expansion of the scattering matrix which encodes the topology of the graph into analytic properties of the scattering matrix. Using the technique developed in this work, we also propose an analytic approach to solving some combinatorial problems on graphs, in particular, the Traveling Salesman Problem.

研究の動機と目的

• 非コンパクトなメトリックグラフ上のラプラシアン作用素の逆散乱問題を解く。その目的は、散乱データからグラフの位相的構造、辺の長さ、境界条件を再構成することにある。
• 散乱行列が、ゲージ同値を除いて、メトリックグラフおよび境界条件を一意に特定する条件を確立すること。
• グラフの位相的および計量的性質と散乱行列の解析的構造との間の関係を結ぶ解析的枠組みを構築すること。
• 開発した枠組みを応用し、特に巡回セールスマン問題（TSP）のような組合せ最適化問題をグラフ上で解くこと。
• 散乱行列の解析的性質がウォーク構造と計量的長さを符号化しており、スペクトル解析を用いて最適化を実現できることを示すこと。

提案手法

• 波数の関数として、グラフの位相的構造と計量的構造を解析関数に埋め込む、散乱行列の組み合わせ的フーリエ展開を導入する。
• 境界条件パラメータに関する部分的フーリエ変換を用い、グラフ上のウォークスコアに該当する係数を抽出する。
• TSP制約をモデル化するため、内部頂点にペナルティループを追加した拡張グラフ上で散乱行列を定義し、解析的取り扱いを可能にする。
• 定理6.9を適用し、散乱行列の非ゼロフーリエ係数が、すべての頂点を少なくとも1回以上訪問するウォークに正確に対応することを示す。
• 波数が無限大に近づく際の散乱行列の対数微分の漸近的挙動を用い、最小ウォーク長を抽出する。
• 辺の長さの有理独立性（仮定2）を活用し、散乱データから特定された最小長さウォークが一意に保証されることを確保する。

実験結果

リサーチクエスチョン

• RQ1 ラプラシアン作用素の散乱行列が、一般の境界条件のもとで、メトリックグラフの位相的構造と辺の長さを一意に特定できるか。
• RQ2 境界条件が散乱行列に与える影響はどの程度であり、それらはゲージ同値を除いて再構成可能か。
• RQ3 散乱行列の解析的構造を用いて、巡回セールスマン問題のような組合せ最適化問題を解くことができるか。
• RQ4 散乱行列のフーリエ係数と、すべての頂点を訪問するウォークの存在および長さとの間に直接的な対応関係があるか。
• RQ5 巡回セールスマン問題の制約を満たす最小長さウォークは、散乱行列の漸近的挙動から抽出可能か。

主な発見

• 一般の計量的構造および一般の境界条件のもとで、散乱行列はグラフの位相的構造と辺の長さを一意に特定する。
• 境界条件は、自明なゲージ変換を除いて、散乱行列から一意に特定可能である。
• 散乱行列の部分的変換のフーリエ係数は、すべての頂点を少なくとも1回以上訪問するウォークの存在および計量的長さを符号化している。
• 巡回セールスマン問題（TSP I）を満たす最小ウォーク長は、散乱行列の対数微分の無限大における極限として抽出される。
• 辺の長さが有理独立である場合、最短ウォークに対応するスコアベクトルは一意に特定可能であり、散乱データから同定可能である。
• TSP IIの解は、ハミルトンパスが存在する場合にかつその場合に限り存在する（TSP II）。TSP IIIの解は、最小ウォーク長が所定の閾値未満である場合にかつその場合に限り存在する（TSP III）。これらの条件は、散乱行列から解析的に検出可能である。