[論文レビュー] Quantitative asymptotic regularity and $T$-asymptotic regularity for the inexact generalized Halpern iteration

Nicoleta Dumitru, Laurenţiu Leuştean|arXiv (Cornell University)|Mar 17, 2026

Optimization and Variational Analysis被引用数 0

ひとこと要約

この論文は、inexact generalized Halpern反復のT-漸近正規性の定量的および定性的評価率を、Kanzow–Shehu反復の粘性型拡張であるproof miningを用いて導出し、SAMや特別な場合への適用を示す。

ABSTRACT

We apply proof mining techniques to obtain quantitative and qualitative results on asymptotic and T-asymptotic regularity for the inexact generalized Halpern iteration, a viscosity-type extension of an iteration recently studied by Kanzow and Shehu. Specializing our results to the Kanzow-Shehu iteration and the sequential averaging method (SAM) yields analogous results for these iterations. Furthermore, we compute rates of (T-)asymptotic regularity for particular choices of the parameter sequences, and for one of them, we obtain linear rates as an application of a lemma due to Sabach and Shtern.

研究の動機と目的

• Banach空間における非拡張作用素を持つinexact generalized Halpern反復の漸近的挙動を動機づけて研究する。
• パラメータ列の具体的仮定の下で、漸近性および$T$-漸近正規性の定量的（レート）および定性的結果を提供する。
• Kanzow–Shehu反復および sequential averaging method (SAM)へのフレームワークの特化方法を示す。
• 特定のパラメータ列に対する（T-）漸近正規性のレートを計算し、例で線形/二次レートを示す。

提案手法

• Halpern反復のproof mining法をinexact generalized Halpern反復へ拡張する。
• 固定点$T$の点に対する反復を制御する主要な技術的不等式（例：(4)および(6)-(7)）を導出する。
• $( heta_n)$、$(eta_n)$、$( ho_n)$、および残差に関する定性的仮定を導入する（Q0–Q3）。
• 定量的補題（Xu型）および命題（例：Proposition 2.4）を通じて漸近正規性および$T$-漸近正規性の一様レートを得る。
• Kanzow–Shehu反復$( ef{eq: Kanzow–Shehu})$およびSAMへの結果の特化を行い、レートが収束率/発散率のモジュールに依存する様子を詳述する。
• 具体的な例として、明示的なパラメータ列を用いてレート結果を示し、指数的および多項式レートを例示する。

実験結果

リサーチクエスチョン

• RQ1 inexact generalized Halpern反復の定量条件下で得られる漸近正規性および$T$-漸近正規性のレートはどの程度か。
• RQ2 これらのレートはKanzow–Shehu反復およびSAMに特化するとどうなるか。
• RQ3 特定の$(\alpha_n,\beta_n,\bar\nabla\delta_n)$および残差$(r_n)$の選択に対する、線形・二次・指数的を含む明示的レートの結論は何か。

主な発見

• inexact generalized Halpern 反復に対して、パラメータ列に適した定量的仮定の下で漸近正規性および$T$-漸近正規性の一様レートが確立される。
• Kanzow–Shehu反復およびSAMに対する特別なケースとしてのレートが含まれる。
• レートは結合モジュール（例：$\sigma_1,\theta_1,\tau_1,\rho$依存）を通じて表現され、固定点データを$K_p$で表す。これらのモジュールが多項式であればレートも多項式になる。
• 主たる二つの定理（定理4.1および定理4.2）はレート$\n\Phi$および$\n\Psi$の明示的形を提供する。一般論としての漸近正規性と$T$-漸近正規性を導く定性的結果（定理4.3）。
• 特定のパラメータ選択（例1）およびKanzow–Shehu設定（命題5.3）では、（T-）漸近正規性の指数レートを得る。
• SabachとShternの補題を用いた線形レートを示す第三の例。