Showing 1–4 of 4 results for author: Firmino, P

Rate of metastability of an iterative algorithm for quadratic optimization

Authors: Paulo Firmino

Abstract: In this paper, relying on methods from proof mining, we provide a quantitative analysis of a theorem due to Xu, stating that an iteration strongly converges to the solution of a well known quadratic optimization problem. Rates of metastability and some rates of asymptotic regularity were obtained. We get quadratic rates of asymptotic regularity for particular sequences. In this paper, relying on methods from proof mining, we provide a quantitative analysis of a theorem due to Xu, stating that an iteration strongly converges to the solution of a well known quadratic optimization problem. Rates of metastability and some rates of asymptotic regularity were obtained. We get quadratic rates of asymptotic regularity for particular sequences. △ Less

Submitted 12 June, 2025; originally announced June 2025.

Comments: 34 pages

MSC Class: 03F10; 47H09; 47J25; 47N10

Rates of (T-)asymptotic regularity of the generalized Krasnoselskii-Mann-type iteration

Authors: Paulo Firmino, Laurentiu Leustean

Abstract: In this paper we use proof mining methods to compute rates of ($T$-)asymptotic regularity of the generalized Krasnoselskii-Mann-type iteration associated to a nonexpansive mapping $T:X\to X$ in a uniformly convex normed space $X$. For special choices of the parameter sequences, we obtain quadratic rates. In this paper we use proof mining methods to compute rates of ($T$-)asymptotic regularity of the generalized Krasnoselskii-Mann-type iteration associated to a nonexpansive mapping $T:X\to X$ in a uniformly convex normed space $X$. For special choices of the parameter sequences, we obtain quadratic rates. △ Less

Submitted 22 January, 2025; v1 submitted 16 January, 2025; originally announced January 2025.

MSC Class: 47H05; 47H09; 47J25

Quantitative asymptotic regularity of the VAM iteration with error terms for m-accretive operators in Banach spaces

Authors: Paulo Firmino, Laurentiu Leustean

Abstract: In this paper we obtain, by using proof mining methods, quantitative results on the asymptotic regularity of the viscosity approximation method (VAM) with error terms for m-accretive operators in Banach spaces. For concrete instances of the parameter sequences, linear rates are computed by applying a lemma due to Sabach and Shtern. In this paper we obtain, by using proof mining methods, quantitative results on the asymptotic regularity of the viscosity approximation method (VAM) with error terms for m-accretive operators in Banach spaces. For concrete instances of the parameter sequences, linear rates are computed by applying a lemma due to Sabach and Shtern. △ Less

Submitted 25 June, 2024; v1 submitted 27 February, 2024; originally announced February 2024.

MSC Class: 47H05; 47H09; 47J25; 03F10

Herbrandized modified realizability

Authors: Gilda Ferreira, Paulo Firmino

Abstract: Realizability notions in mathematical logic have a long history, which can be traced back to the work of Stephen Kleene in the 1940s, aimed at exploring the foundations of intuitionistic logic. Kleene's initial realizability laid the ground for more sophisticated notions such as Kreisel's modified realizability and various modern approaches. In this context, our work aligns with the lineage of rea… ▽ More Realizability notions in mathematical logic have a long history, which can be traced back to the work of Stephen Kleene in the 1940s, aimed at exploring the foundations of intuitionistic logic. Kleene's initial realizability laid the ground for more sophisticated notions such as Kreisel's modified realizability and various modern approaches. In this context, our work aligns with the lineage of realizability strategies that emphasize the accumulation, rather than the propagation of precise witnesses. In this paper, we introduce a new notion of realizability, namely herbrandized modified realizability. This novel form of (cumulative) realizability, presented within the framework of semi-intuitionistic logic is based on a recently developed star combinatory calculus, which enables the gathering of witnesses into nonempty finite sets. We also show that the previous analysis can be extended from logic to (Heyting) arithmetic. △ Less

Submitted 26 February, 2024; originally announced February 2024.

MSC Class: 03F10; 03B20; 03B40; 03F30; 03F25