[論文レビュー] Minimum representing measures in Idempotent Analysis

Cormac Walsh|ArXiv.org|Mar 30, 2005

Numerical methods in inverse problems参考文献 4被引用数 10

ひとこと要約

本稿は、idempotent解析におけるmax-plus超調和および調和的ベクトルの最小代表測度の存在を確立し、古典的ポテンシャル理論の類似性を拡張する。与えられたベクトルを代表するすべてのmax-plus測度の中で、最小のものが存在することを示し、古典的ポテンシャル理論におけるスペクトルの一意性に類似した標準的表現を提供する。

ABSTRACT

We show that the set of max-plus measures representing a given max-plus harmonic vector has a least element. This may be viewed as an analogue of the uniqueness of the integral representation of harmonic functions in Potential Theory. As an application, we show how the distance-like functions of a metric space can be expressed in terms of the Busemann points of the metric boundary.

研究の動機と目的

• max-plus調和的および超調和的ベクトルの標準的かつ最小の表現を、Martin境界上の測度を用いて確立すること。
• 古典的ポテンシャル理論に存在しない、max-plus測度表現における一意性の欠如という根本的問題を解決すること。
• 最小代表測度が、Martin空間上で他のすべての代表測度よりも厳密に小さいことを示すこと。
• 理論を距離空間に適用し、min-plus調和関数とBusemann点および距離境界を結びつけること。
• 最小測度が、古典的状況とは異なり、最小Martin空間の外側に非ゼロ質量を割り当てることがあることを示すこと。

提案手法

• max-plus調和的ベクトルを方程式 $ u_i = \sup_{j \in S} (A_{ij} + u_j) $ の解として定義し、古典的ポテンシャル理論における調和関数に類似させる。
• max-plus Martin空間 $ \mathscr{M} $ を正規化されたグリーン核の差の閉包として定義し、代表に必要な部分集合として最小Martin空間 $ \mathscr{M}^m $ を定義する。
• ベクトル $ u $ を $ u = \sup_{w \in \mathscr{M}^m} \mu(w) + w $ の形で表現し、ここで $ \mu $ は上半連続な密度（max-plus測度）である。
• 与えられた $ u $ を代表するすべての測度の点ごとの下界として最小代表測度 $ \mu^{\rm min}_u $ を定義し、その存在と最小性を証明する。
• 距離境界（Gromov境界）の構造を用いて、距離関数に類似する関数とBusemann点を関連させ、そのような関数が境界に台を持つ測度によって代表されることを示す。
• 無限状態空間や距離に基づくカーネルを含む具体的な例に理論を適用し、$ \mu^{\rm min}_u $ の非自明な振る舞いを示す。

実験結果

リサーチクエスチョン

• RQ1 任意のmax-plus超調和的ベクトルを代表する一意の最小max-plus測度が存在するか？
• RQ2 最小代表測度が、調和的ベクトルに対しても最小Martin空間 $ \mathscr{M}^m $ の外側に非ゼロ質量を割り当てることがあるか？
• RQ3 最小代表測度は、距離空間のBusemann点とどのように関係するか？
• RQ4 $ \mu^{\rm min}_u $ の存在を保証する条件は何か？また、最大代表測度 $ \mu^{\rm max}_u $ とはどのように異なるか？
• RQ5 どのような場合に $ \mu^{\rm min}_u $ が $ \mu^{\rm max}_u $ よりも厳密に小さくなるか？これはMartin境界の構造にどのような意味を持つのか？

主な発見

• 与えられた超調和的ベクトルを代表するmax-plus測度の集合には最小元が存在し、これを $ \mu^{\rm min}_u $ と表す。この測度は、$ \mathscr{K} \cup \mathscr{M}^m $ 上で他のすべての測度よりも厳密に小さい。
• max-plus調和的ベクトルに対して、$ \mu^{\rm min}_u $ を $ \mathscr{M}^m $ に制限したものは、その空間上での最小代表測度である。
• 例4.1では $ \mu^{\rm min}_u(b^1) = -4 $ であるが、$ b^1 \preceq_u b^0 $ であるにもかかわらず、これは $ \mu^{\rm min}_u $ が優越関係にかかわらず極限点で非ゼロ値を取ることを示している。
• 例4.2では $ \mu^{\rm min}_u(K_{\cdot \infty}) = -1 $ であり、調和関数に対しても最小測度が最小Martin空間の外側に非ゼロ質量を割り当てることがあることを示している。
• 最小測度 $ \mu^{\rm min}_u $ は上半連続であり、$ \mathscr{M}^m $ 上で正しく定義されており、max-plus測度としての有効性が保証される。
• 距離空間における距離関数に類似する関数に対して、最小代表測度は距離境界（Busemann点）に台を持つ。この表現は標準的かつ一意的である。