Boundary-Aware Stability of Nonlocal Proximity Sublevel Sets under C¹ Perturbations

技術要約：$C^1$ 摂動下における非局所近接劣水準集合の境界を考慮した安定性

問題設定
本論文は、有限個の正確なサンプルのみが与えられた条件下で、$\mathbb{R}^3$ 内の曲線 $\gamma$ の非局所近接集合のトポロジーを信頼性高く決定する問題に取り組んでいる。具体的には、非局所領域 $\Omega_\delta = \{(s, t) : |s - t| \ge \delta\}$ に制限された距離関数 $d_\gamma(s, t) = \|\gamma(s) - \gamma(t)\|$ の劣水準集合を調査している。集合 $E_r = \{d_\gamma < r\} \cap \Omega_\delta$ は、スケール $r$ における近接イベントを記録し、そのパス成分（path components）は、これらのイベントを連結な家族（例：自己交差やヘアピンターン）へとグループ化する。

核心となる困難は、以下の2つの領域にある：

1. トポロジカルな感受性： 補間関数と真の曲線の $L^\infty$ ノルム（sup-norm）における近接性は、それらが誘導する距離関数の劣水準集合のトポロジーが同一であることを保証しない。偽の成分の生成や既存の成分の破壊を防ぐためには、勾配の制御が必要である。
2. 境界の複雑性： パラメータ領域は、角（コーナー）と辺を持つ三角形の和集合である。距離関数の臨界点は、標準的な非退化条件が成立しないこれらの境界上に存在する可能性がある。この解析には、制約条件を扱うために接錐（tangent cone）を用いた「境界を考慮した（boundary-aware）」アプローチが必要である。

手法
本論文は、微分トポロジー、近似理論、および検証計算を組み合わせた厳密なフレームワークを開発している。

1. 境界を考慮した安定性定理： 著者は、三角形領域 $\Delta$ 上の定量的 $C^1$ 安定性定理を証明している。この定理は、2つの $C^1$ 関数 $f$ と $g$ が、sup-norm ($\|f-g\|_\infty < \eta/2$) および勾配ノルム ($\|\nabla f - \nabla g\|_\infty < \lambda/2$) の両方において近く、かつ $f$ が「境界を考慮した正則性」条件（レベルセット付近での接錐への射影勾配が $\lambda$ より離れていないこと）を満たす場合、劣水準集合 $\{f < r\}$ と $\{g < r\}$ は共通のコアに変形収縮（deformation retract）することを確立している。これは、両者がホモトピー同値であり、そのパス成分が一対一に対応することを意味する。

   • 主要な技術的革新： 角における接錐射影の不連続性を処理するために、著者は「緩和された錐（relaxed cone）」$K_\alpha(x) = \alpha(\Delta - x)$ への射影を用いてリプシッツ連続なベクトル場を構築している。この場は両方の関数に対して単調減少であり、かつ境界に接しているため、同時変形収縮を可能にする。

2. 補間と誤差評価： 真の曲線 $\gamma$ は、有限差分による傾きを用いた正確なサンプル $(s_i, \gamma(s_i))$ から構成される 3 次エルミート補間多項式 $S_N$ によって近似される。本論文では、この補間多項式に関する明示的な誤差評価を導出している：

   • 位置誤差：$\|S_N - \gamma\|_\infty \le \frac{3}{16}\kappa h_N^2$
   • 勾配誤差：$\|S'_N - \gamma'\|_\infty \le 0.7515 \kappa h_N$
     ここで $\kappa$ は既知の曲率境界であり、$h_N$ は最大サンプリング間隔である。これらの誤差は、距離関数 $d_{S_N}$ とその勾配へと伝播される。

3. 十分なサンプリング条件： 安定性定理と補間誤差を組み合わせることで、著者は十分なサンプリング密度 $h^*$ を導出している。サンプリング間隔 $h_N < h^*$ であれば、真の曲線の近接劣水準集合と補間多項式の近接劣水準集合のトポロジーが同一であることが保証される。この条件は、曲率境界、近接閾値 $r$、カラー幅 $\eta$、および正則性マージン $\lambda$ に依存する。

4. 検証計算： 正則性マージン $\lambda$ および最小距離 $d_{\min}$ は未知の特性であるため、本論文は、サンプリングデータから仮定を検証するための、区間演算を用いた健全な検証手順を提案している。この手順は以下の通りである：

   • グリッド上での $d_{\min}$ および射影勾配マージンの認定された下限を計算する。
   • 誤差の包含を厳密にするために、外向き丸め（outward rounding）を使用する。
   • サンプルデータからの「安定性の条件の検証（これは可能である）」と、「グローバルな成分の列挙（これは解決されていない別の、より困難な問題である）」を区別する。

主な貢献

1. 定量的な安定性定理： 角を持つ三角形上の劣水準集合に関する $C^1$ 変形定理を提供し、ホモトピー同値性と成分の対応を保証する明示的な微小条件 ($\epsilon_d < \eta/2, \epsilon_g < \lambda/2$) を提示した。
2. 明示的な補間境界： 任意のメッシュ上で有限差分傾きを用いた 3 次エルミート補間に関する厳密な $C^0$ および $C^1$ 誤差評価を、非局所距離関数に特化した形で導出した。
3. 境界を考慮した正則性： レベルセットがドメインの境界に接触する場合の安定性の失敗を防ぐために、接錐射影を通じて制約を考慮した正則性の定義を与えた。
4. 健全な検証手順： サンプリングデータから安定性の仮定を検証するためのアルゴリズム的手法を用い、安定性の認証とグローバルな成分列挙を分離した。

結果

• 理論的側面： 本論文は、導出されたサンプリング条件の下で、補間多項式 $S_N$ の非局所近接集合のパス成分が、真の曲線 $\gamma$ のパス成分と一対一に対応することを証明している。
• 実験的側面： 「ヘアピン」ターンを持つサイン生成曲線を用いた数値実験により、フレームワークを実証している。
  • 内部レベルセット ($r=0.6$) の場合、テストはオラクル推定値の約半分程度のサンプリング密度で通過した。
  • 境界に接するレベルセット ($r=0.9$) の場合、境界を考慮した条件が極めて重要であることが示された。内部のみの条件を用いた場合、マージンを 2.3 倍過大評価することになる。
  • 測定された誤差は、理論的な $O(h_N^2)$ および $O(h_N)$ のレートと一致している。
  • 論文では、グリッドベースの成分カウントが成功したケースにおいて真のトポロジーと一致する一方で、「判定不能（inconclusive）」な検証結果（グリッドが粗い、またはマージンがタイトな場合に発生）は、トポロジカルな失敗を意味するのではなく、単に証明ができなかったことを意味すると述べている。

意義と主張
本論文は、サンプリングされた曲線から非局所近接関係のトポロジーを回復するための、決定的かつ認定可能なフレームワークを提供することを主張している。その範囲を以下のように明確に限定している：

• 補間多項式の劣水準集合の全グローバル成分を列挙する問題を解決するものではない。補間多項式の成分が真の曲線に対応することを認定するものである。
• ノイズを含むデータや未知のパラメータ化を扱わない。正確な弧長パラメータとノイズのないサンプルを想定している。
• 導出されたサンプリング境界 $h^*$ が最適であることを主張するものではなく、それが十分条件であることを示している。
• その意義は、幾何学的サンプリング理論と厳密なトポロジー推論の間の溝を埋めることにあり、曲率境界が事前に既知であれば、データ自体からトポロジカルな結論の妥当性をアルゴリズム的に検証できる手法を提供している点にある。