[論文レビュー] The Fermat-Torricelli Problem in the Light of Convex Analysis

Nguyen Mau Nam|arXiv (Cornell University)|Feb 21, 2013

Facility Location and Emergency Management参考文献 16被引用数 5

ひとこと要約

この論文は、R^n 内の有限個の点へのユークリッド距離の和を最小化する点を求める古典的なフェルマー＝トリコリ問題を、凸解析と最適化の観点から再考する。部分微分と凸双対性などの道具を活用することで、高次元における問題の解法について、新たな理論的知見と数値的に安定したアルゴリズム的枠組みを提供する。

ABSTRACT

In the early 17th century, Pierre de Fermat proposed the following problem: given three points in the plane, find a point such that the sum of its Euclidean distances to the three given points is minimal. This problem was solved by Evangelista Torricelli and was named the Fermat-Torricelli problem. A more general version of the Fermat-Torricelli problem asks for a point that minimizes the sum of the distances to a finite number of given points in $\Bbb R^n$. This is one of the main problems in location science. In this paper, we revisit the Fermat-Torricelli problem from both theoretical and numerical viewpoints using some ingredients of of convex analysis and optimization.

研究の動機と目的

• 現代の凸解析の道具を用いて、古典的なフェルマー＝トリコリ問題を再解釈すること。
• R^n における幾何学的中央点の存在と一意性を、厳密な理論的基盤で裏付けられること。
• 凸最適化手法を用いて、解を数値的に安定して計算するためのアルゴリズム的アプローチを開発すること。
• 古典的な2次元問題を、解析的かつ計算的に厳密に高次元空間（R^n）に拡張すること。
• 部分微分と最適性条件が解の点を特徴付ける役割を明確にすること。

提案手法

• R^n 上での凸最小化問題としてフェルマー＝トリコリ問題を形式化すること。
• 解の点における最適性条件を特徴付けるために、部分微分の計算を適用すること。
• 凸双対性を用いて、数値計算を支援する代替的定式化を導出すること。
• 近接勾配法または部分勾配法に基づく反復的数値スキームを実装すること。
• 単調作用素理論の枠組みを用いて収束性を分析すること。
• R^n 内の点のさまざまな配置に対して数値実験を通じて手法の妥当性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 フェルマー＝トリコリ問題は、どのように凸解析の枠組み内で再定式化できるか？
• RQ2 R^n においてユークリッド距離の和を最小化するための必要十分条件は何か？
• RQ3 部分微分と凸双対性は、解の構造を理解する上でどのように役立つか？
• RQ4 高次元における幾何学的中央点を計算するのに最も効果的な数値手法は何か？
• RQ5 フェルマー＝トリコリ問題の解が一意となる条件は何か？

主な発見

• 与えられた点が非共線的であり、かつ低次元のアフィン部分空間上に存在しない限り、R^n におけるフェルマー＝トリコリ問題の解は存在し、一意である。
• 最適性条件は、距離関数の和のゼロ部分微分が解の点で成立することによって特徴付けられる。
• 凸双対性により、最適性の検証や数値的解法戦略の導出に役立つ双対定式化が得られる。
• 部分勾配反復に基づく提案された数値的手法は、弱い条件下でも幾何学的中央点に収束する。
• 幾何学的中央点はアフィン変換に関して不変であるため、実用的な立地科学の応用において有効である。
• 解析により、解が与えられた点の凸包内に存在することが示され、幾何的直観が厳密な証明によって裏付けられた。