English
Related papers

Related papers: An application of proof mining to nonlinear iterat…

200 papers

This paper considers the problem of testing whether there exists a non-negative solution to a possibly under-determined system of linear equations with known coefficients. This hypothesis testing problem arises naturally in a number of…

Econometrics · Economics 2021-09-16 Zheng Fang , Andres Santos , Azeem M. Shaikh , Alexander Torgovitsky

For a class of linear elliptic equations of general type with rapidly oscillating coefficients, we use the sigma-convergence method to prove the homogenization result and a corrector-type result. In the case of asymptotic periodic…

Analysis of PDEs · Mathematics 2019-11-26 Renata Bunoiu , Giuseppe Cardone , Willi Jäger , Jean Louis Woukeng

Over extended systems of finite type arithmetic, we utilize a formal representation of the outer measure to define a translation which allows for the systematic formalization of probabilistic statements. As a main result, this translation…

Logic · Mathematics 2026-04-10 Morenikeji Neri , Paulo Oliva , Nicholas Pischke

In this paper, we propose an improved numerical algorithm for solving minimax problems based on nonsmooth optimization, quadratic programming and iterative process. We also provide a rigorous proof of convergence for our algorithm under…

Artificial Intelligence · Computer Science 2025-07-02 Qing Xu , Xiaohua Xuan

This paper is concerned with the numerical solution of nonlinear ill-posed operator equations involving convex constraints. We study a Newton-type method which consists in applying linear Tikhonov regularization with convex constraints to…

Functional Analysis · Mathematics 2015-04-01 Robert Stück , Martin Burger , Thorsten Hohage

In this paper we propose a new iteration process, called the K iteration process, for approximation of fixed points. We show that our iteration process is faster than the existing leading iteration processes like Picard-S iteration process,…

Functional Analysis · Mathematics 2019-02-26 Nawab Hussain , Kifayat Ullah , Muhammad Arshad

Incremental methods are widely utilized for solving finite-sum optimization problems in machine learning and signal processing. In this paper, we study a family of incremental methods -- including incremental subgradient, incremental…

Optimization and Control · Mathematics 2022-12-26 Xiao Li , Zhihui Zhu , Anthony Man-Cho So , Jason D Lee

In this study, we introduce a new iterative processes to approximate common fixed points of an infinite family of quasi-nonexpansive mappings and obtain a strongly convergent iterative sequence to the common fixed points of these mappings…

Functional Analysis · Mathematics 2015-02-24 K. Dogan , V. Karakaya

Principled nonparametric tests for regression curvature in $\mathbb{R}^{d}$ are often statistically and computationally challenging. This paper introduces the stratified incomplete local simplex (SILS) tests for joint concavity of…

Statistics Theory · Mathematics 2022-10-17 Yanglei Song , Xiaohui Chen , Kengo Kato

Iterative hard thresholding (IHT) has gained in popularity over the past decades in large-scale optimization. However, convergence properties of this method have only been explored recently in non-convex settings. In matrix completion,…

Optimization and Control · Mathematics 2023-01-11 Trung Vu , Evgenia Chunikhina , Raviv Raich

We study the convergence rate of a family of inertial algorithms, which can be obtained by discretization of an inertial system combining asymptotic vanishing viscous and Hessian-driven damping. We establish a fast sublinear convergence…

Optimization and Control · Mathematics 2025-07-18 Zepeng Wang , Juan Peypouquet

In this paper, we develop a systematical approach in applying an asymptotic method of moving planes to investigate qualitative properties of positive solutions for fractional parabolic equations. We first obtain a series of needed key…

Analysis of PDEs · Mathematics 2020-06-26 Wenxiong Chen , Pengyan Wang , Yahui Niu , Yunyun Hu

We consider a variable metric linesearch based proximal gradient method for the minimization of the sum of a smooth, possibly nonconvex function plus a convex, possibly nonsmooth term. We prove convergence of this iterative algorithm to a…

Numerical Analysis · Mathematics 2017-04-11 Silvia Bonettini , Ignace Loris , Federica Porta , Marco Prato , Simone Rebegoldi

The subject of this paper is regularity-preserving aggregation of regular norms on finite-dimensional linear spaces. Regular norms were introduced in [5] and are closely related to ``type 2'' spaces [9, Chapter 9] playing important role in…

Optimization and Control · Mathematics 2024-02-13 Anatoli Juditsky , Arkadi Nemirovski

In this paper, we present a convergence rate analysis for the inexact Krasnosel'skii-Mann iteration built from nonexpansive operators. Our results include two main parts: we first establish global pointwise and ergodic iteration-complexity…

Optimization and Control · Mathematics 2015-09-17 Jingwei Liang , Jalal Fadili , Gabriel Peyré

In this paper we propose an extension of the iteratively regularized Gauss--Newton method to the Banach space setting by defining the iterates via convex optimization problems. We consider some a posteriori stopping rules to terminate the…

Numerical Analysis · Mathematics 2013-06-11 Qinian Jin , Min Zhong

We develop a novel iterative direct sampling method (IDSM) for solving linear or nonlinear elliptic inverse problems with partial Cauchy data. It integrates three innovations: a data completion scheme to reconstruct missing boundary…

Numerical Analysis · Mathematics 2025-11-12 Bangti Jin , Fengru Wang , Jun Zou

Our first result is a rate of metastability in the sense of Tao for Bruck's iteration scheme for demicontinuous pseudocontractions in Hilbert space, extracted from Bruck's original proof. This result generalizes earlier work in the ongoing…

Logic · Mathematics 2016-10-04 Daniel Körnlein

We are concerned with minimax signal detection. In this setting, we discuss non-asymptotic and asymptotic approaches through a unified treatment. In particular, we consider a Gaussian sequence model that contains classical models as special…

Statistics Theory · Mathematics 2016-01-27 Clement Marteau , Theofanis Sapatinas

Recently, the stochastic asymptotical regularization (SAR) has been developed in (\emph{Inverse Problems}, 39: 015007, 2023) for the uncertainty quantification of the stable approximate solution of linear ill-posed inverse problems. In this…

Numerical Analysis · Mathematics 2024-08-27 Haie Long , Ye Zhang
‹ Prev 1 8 9 10 Next ›