Upper Hölderian with Explicit Exponent of Solution Mapping with Applications to Ball Constrained Least Squares Problems

技術要約：解写像における明示的な指数を持つ上部ヘルダー連続性、および球制約付き最小二乗問題への応用

問題設定
本論文は、パラメータ化された一般方程式 $S(p) := \{x \in \mathbb{R}^n : 0 \in F(p, x) + T(x)\}$ における解写像の感度および安定性解析を扱う。ここで、$p$ はパラメータ、$F$ は連続写像、$T$ は集合値写像である。古典的な結果（例：陰関数定理）やロビンソンの定理は、解写像 $S(p)$ の局所的な上部リプシッツ連続性の条件を与えるが、これらは解写像が集合値であったり、単一値的な局在性を欠いたりする場合（制約付き最適化において一般的なシナリオ）には、しばしば適用できない。具体的に、本論文は以下の球制約付き最小二乗（Ball-LS）問題に焦点を当てている：
$$\min_{x} \frac{1}{2} \|Ax - b\|^2 \quad \text{s.t.} \quad \|x\| \le R,$$
ここで、$A \in \mathbb{R}^{m \times n}$、$b \in \mathbb{R}^m$、$R \ge 0$ である。著者らは、既存の文献が非退化行列や局所的な定数ランクを仮定していることが多い一方で、一般的な摂動（退化ケースを含む）に対する解集合の定量的な挙動はほとんど解明されていないと指摘している。主な目的は、この問題の解写像に対して、明示的な指数を持つ上部ヘルダー連続性を確立することである。

手法
手法は主に以下の2つの段階で進行する：

1. ロビンソン定理の拡張： 著者らは、一般方程式のロビンソンの陰関数定理を、上部リプシッツ連続性のケースから上部ヘルダー連続性のケースへと拡張する。

   • 集合値写像 $F$ が指数 $\alpha$ と係数 $\lambda$ を持つ上部ヘルダー連続であるとは、$F(p) \subseteq F(p_0) + \lambda \|p - p_0\|^\alpha B_Y$ を満たすことと定義される。
   • 定理 3.1 は、解写像が局所的に上部ヘルダー連続となるための条件を確立する。主要な仮定には、$T$ の外側半連続性、$F$ の微分可能性、および写像の「部分線形化」に関する特定の性質が含まれる。
   • 重要な技術的要素は、$\alpha < 1$ の場合の取り扱いである。著者らは、写像の合成における局所的な成長率を相殺するために、$F$ の導関数のヘルダー連続性に関する特定の仮定（A4）を導入している。これは、標準的な縮小写像の議論が $\alpha < 1$ のヘルダーケースには直接適用できないため、必要となる。
   • 証明には、不動点近似（カクタニの定理）、射影作用素、および有向ハウスドルフ距離を用いた推定が用いられる。

2. Ball-LSへの適用： 一般化された定理を、球制約の法錐（normal cone）を含む一般方程式として定式化することにより、Ball-LS問題に適用する。

   • 著者らは、$A, b, R$ をパラメータとして扱うことで、解写像 $S(A, b, R)$ を分析する。
   • 線形摂動下における解集合および最適ラグランジュ乗数の明示的な公式を導出する。
   • 分析は、特定の量 $\tilde{\Delta}_{A,b}(0)$（無制約解と球の境界との距離に関連するもの）の値に基づく3つのレジームを区別する：
     • 厳密な内部解 ($\tilde{\Delta} > 0$)： 解は一意であり、リプシッツ連続である（$\alpha = 1$）。
     • 厳密な外部解 ($\tilde{\Delta} < 0$)： 解はヘルダー連続である（$\alpha = 1/2$）。
     • 境界解 ($\tilde{\Delta} = 0$)： 解はヘルダー連続である（$\alpha = 1/3$）。

主要な貢献

1. 理論的拡張： 本論文は、明示的な指数の特性化を伴う、上部ヘルダー設定へのロビンソンの陰関数定理の拡張である定理 3.1 を確立している。これは、一般方程式の明示的な指数決定に関する文献の空白を埋めるものである。
2. Ball-LSに対する明示的な指数： 著者らは、Ball-LSの解写像のヘルダー特性の完全な特性化を提供している。彼らは、無制約解がちょうど球の境界上にあり、制約がアクティブである臨界的なケースにおいて、解写像が指数 $1/3$ の上部ヘルダー連続であることを証明している。
3. 結果のタイト性： 例 4.3 を通じて、著者らは指数 $1/3$ がタイトであることを示している。彼らは、摂動の下で解写像が漸近的に $\|z\|^{1/3}$ として振る舞う特定のケースを構築し、一般的なケースにおいてこれより優れた指数は保証できないことを確認している。
4. 分離型NLSへの拡張： 本フレームワークは、球制約を持つ**分離型非線形最小二乗（NLS）**問題に適用され、行列値写像 $G(y)$ が指数 $\beta$ の上部ヘルダー連続であれば、解写像は指数 $\alpha\beta$ を継承することを示している。

結果

• 定理 3.1： 線形化された写像が特定の逆ヘルダー特性を満たし、かつ関数の導関数が補完的なヘルダー条件を満たすとき、一般方程式の解写像が存在する近傍において、解写像が上部ヘルダー連続であることを証明する。
• 命題 4.1： 線形摂動下でのBall-LSの解写像を特性化し、幾何学的な関係（無制約解と制約境界との関係）に応じて指数 $\alpha$ が $1, 1/2, 1/3$ のいずれかであることを特定する。
• 定理 4.5： 一般的なパラメータ化されたBall-LS問題 $P(A, b, R)$ の解写像について、臨界的な退化ケースにおける明示的な指数 $1/3$ を伴う上部ヘルダー連続性を確立する。
• 命題 4.6： これらの結果を分離型NLS問題に拡張し、解のヘルダー指数と、パラメータ化された行列関数の指数およびBall-LSの分析から導出された指数の積を結びつける。

意義および主張
本論文は、その結果が独立した関心事であると主張している。なぜなら、それらは、標準的な正則性条件（非退化性や定数ランクなど）が成立しない場合においても、Ball-LSの解集合の完全な定量的特性化を提供するからである。

著者らは、JiangおよびLiによる先行研究が、指数 $1/4$ を持つ球制約付き二次計画法のヘルダー安定性を確立している一方で、本論文は精緻な分析を通じて、特定のBall-LSのケースにおいてよりタイトな指数 $1/3$ を達成していることを強調している。この改善は、これらの問題を解く数値アルゴリズムの収束レート解析において重要である。ロビンソンの定理の上部ヘルダーへの拡張は、ヘルダー連続性しか期待できない多項式系などの他の複雑なシステムにも適用可能なツールとして提示されている。本論文は、これらの知見が、一般的な二次制約付き二次計画問題（QCQP）や多様体上の最適化に関する将来の研究の基礎を築くものであると述べて締めくくっている。