[论文解读] 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

一句话总结

本文通过证明散射矩阵在一般边界条件下唯一确定度量图的拓扑结构与边长，解决了度量图上拉普拉斯算子的逆散射问题。利用散射矩阵的组合傅里叶展开，作者建立了散射数据的解析性质与图结构之间的联系，从而为图上的旅行商问题提供了新颖的解析解法。

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，证明散射矩阵的非零傅里叶系数恰好对应于访问所有顶点至少一次的行走。
• 利用波数趋于无穷时散射矩阵对数导数的渐近行为，提取最小行走长度。
• 利用边长的有理独立性（假设2）确保通过散射数据识别的最短行走路径唯一。

实验结果

研究问题

• RQ1 在一般边界条件下，拉普拉斯算子在度量图上的散射矩阵是否能唯一确定图的拓扑结构与边长？
• RQ2 边界条件在多大程度上影响散射矩阵？它们能否被唯一确定（模平凡规范变换）？
• RQ3 散射矩阵的解析结构能否用于求解组合优化问题，如旅行商问题？
• RQ4 散射矩阵的傅里叶系数与访问所有顶点的行走的存在性及其长度之间是否存在直接对应关系？
• RQ5 能否从散射矩阵的渐近行为中提取满足TSP约束的最短行走路径？

主要发现

• 在一般度量结构与一般边界条件下，散射矩阵唯一确定图的拓扑结构与边长。
• 边界条件可从散射矩阵唯一确定（模平凡规范变换）。
• 散射矩阵部分变换的傅里叶系数编码了访问所有顶点至少一次的行走的存在性及其度量长度。
• 满足旅行商问题（TSP I）的最短行走长度作为散射矩阵在无穷远处对数导数的极限被提取出来。
• 当边长具有有理独立性时，对应最短行走的得分向量唯一，且可从散射数据中识别。
• TSP II与TSP III的解存在，当且仅当存在哈密顿路径（TSP II）或最短行走长度低于给定阈值（TSP III），且这些条件可从散射矩阵中解析检测。