arXiv subjects

Kay Barshad

Publications and source records attributed to Kay Barshad.

6 recordsLinked to original sources

arXiv2026

A new theorem of alternatives leading to sufficient conditions for the superiorization guarantee question of Dynamic String-Averaging in the inconsistent case

We study the Superiorization Methodology (SM) in the context of the General Dynamic String-Averaging (GDSA) method in the inconsistent case (that is, where the input operators don't have a common fixed point) which primarily aims at achieving convex feasibility while simultaneously reducing an objective function. In many scientific and real-world problems modeled as constrained minimization tasks, striving for the exact constrained optimum can be costly in terms of time, energy, and resources. Therefore, applying the SM can offer a practical and efficient alternative. In particular, we present a new "theorem of alternatives" for the superiorization method which leads to investigation of theoretical conditions under which the superiorized version of the GDSA algorithm converges to a "superior" feasible point, i.e., one with an objective function value that is smaller or equal to that produced by the unperturbed feasibility-seeking algorithm. While this question has only been partially addressed in the existing literature, we present new sufficient conditions that guarantee that the SM attains such a superior outcome.

math.OC↗

arXiv2026

GPU-accelerated superiorization on constrained physical problems with SupPy

The superiorization method (SM) is situated between feasibility-seeking and constrained optimization. Instead of aiming at the minimum of a given objective function over a constraint set, it seeks a feasible point at which the objective function value is reduced - though not necessarily minimal - rather than hard targets, or in which a mathematically optimal solution is not strictly required. While the method has been investigated for several applications in physics, its broader use has been limited, in part due to the lack of openly available software for researchers wishing to explore it. In this work we apply superiorization to three problems from applied physics: seismic image reconstruction, low-dose CT reconstruction and intensity-modulated radiotherapy treatment planning. These experiments are conducted with SupPy, an open-source modularized Python toolbox developed for this work, which supports execution of feasibility-seeking algorithms and their superiorized version on both the CPU and the GPU. In all three cases the superiorized algorithms achieve favorable results compared to feasibility-seeking alone, with reduced noise in the imaging examples and lowered body dose in the radiotherapy plans. For the radiotherapy case we further observe that superiorization produces clinically viable plans on infeasible constraint sets.

physics.comp-ph↗

arXiv2026

Strong convergence, perturbation resilience and superiorization of Generalized Modular String-Averaging with infinitely many input operators

We study the strong convergence and bounded perturbation resilience of iterative algorithms based on the Generalized Modular String-Averaging (GMSA) procedure for infinite sequences of input operators under a general admissible control. These methods address a variety of feasibility-seeking problems in real Hilbert spaces, including the common fixed point problem and the convex feasibility problem. In addition to the general case, involving certain strongly quasi-nonexpansive input operators, we consider a specific subclass of their corresponding relaxed firmly nonexpansive operators. This subclass proves useful for establishing bounded perturbation resilience. We further demonstrate the applicability of our strong convergence results, within the GMSA framework, to the Superiorization Methodology and to Dynamic String-Averaging, analyzing the behavior of a superiorized version of our main algorithm. The novelty and significance of this work is that it not only includes a variety of earlier algorithms as special cases but, more importantly, it allows the use of modular options of string-averaging that give rise to new, hitherto unavailable, algorithmic schemes with emphasis on infinitely many input operators. The strong convergence guarantees and the applications for superiorization and dynamic string-averaging are also important facets.

math.OC↗

arXiv2025

General Perturbation Resilient Dynamic String-Averaging for Inconsistent Problems with Superiorization

In this paper we introduce a General Dynamic String-Averaging (GDSA) iterative scheme and investigate its convergence properties in the inconsistent case, that is, when the input operators don't have a common fixed point. The Dynamic String-Averaging Projection (DSAP) algorithm itself was introduced in an 2013 paper, where its strong convergence and bounded perturbation resilience were studied in the consistent case (that is, when the sets under consideration had a nonempty intersection). Results involving combination of the DSAP method with superiorization, were presented in 2015. The proof of the weak convergence of our GDSA method is based on the notion of "strong coherence" of sequences of operators that was introduced in 2019. This is an improvement of the property of "coherence" of sequences of operators introduced in 2001 by Bauschke and Combettes. Strong coherence provides a more convenient sufficient convergence condition for methods that employ infinite sequences of operators and it turns out to be a useful general tool when applied to proving the convergence of many iterative methods. In this paper we combine the ideas of both dynamic string-averaging and strong coherence, in order to analyze our GDSA method for a general class of operators and its bounded perturbation resilience in the inconsistent case with weak and strong convergence. We then discuss an application of the GDSA method to the Superiorization Methodology, developing results on the behavior of its superiorized version.

math.OC↗

arXiv2025

A necessary condition for the guarantee of the superiorization method

We study a method that involves principally convex feasibility-seeking and makes secondary efforts of objective function value reduction. This is the well-known superiorization method (SM), where the iterates of an asymptotically convergent iterative feasibility-seeking algorithm are perturbed by objective function nonascent steps. We investigate the question under what conditions a sequence generated by an SM algorithm asymptotically converges to a feasible point whose objective function value is superior (meaning smaller or equal) to that of a feasible point reached by the corresponding unperturbed one (i.e., the exactly same feasibility-seeking algorithm that the SM algorithm employs.) This question is yet only partially answered in the literature. We present a condition under which an SM algorithm that uses negative gradient descent steps in its perturbations fails to yield such a superior outcome. The significance of the discovery of this negative condition is that it necessitates that the inverse of this condition will have to be assumed to hold in any future guarantee result for the SM. The condition is important for practitioners who use the SM because it is avoidable in experimental work with the SM, thus increasing the success rate of the method in real-world applications.

math.OC↗

arXiv2022

Unrestricted Douglas-Rachford algorithms for solving convex feasibility problems in Hilbert space

In this work we focus on the convex feasibility problem (CFP) in Hilbert space. A specific method in this area that has gained a lot of interest in recent years is the Douglas-Rachford (DR) algorithm. This algorithm was originally introduced in 1956 for solving stationary and non-stationary heat equations. Then in 1979, Lions and Mercier adjusted and extended the algorithm with the aim of solving CFPs and even more general problems, such as finding zeros of the sum of two maximally monotone operators. Many developments which implement various concepts concerning this algorithm have occurred during the last decade. We introduce an unrestricted DR algorithm, which provides a general framework for such concepts. Using unrestricted products of a finite number of strongly nonexpansive operators, we apply this framework to provide new iterative methods, where, \textit{inter alia}, such operators may be interlaced between the operators used in the scheme of our \ unrestricted \color DR algorithm.

math.OC↗