Abstract:The superiorization methodology is used for improving the efficacy of iterative algorithms whose convergence is resilient to certain kinds of perturbations. Such perturbations are designed to ‘force’ the perturbed algorithm to produce more useful results for the intended application than the ones that are produced by the original iterative algorithm. The perturbed algorithm is called the ‘superiorized version’ of the original unperturbed algorithm. If the original algorithm is computationally efficient and useful in terms of the application at hand and if the perturbations are simple and not expensive to calculate, then the advantage of this method is that, for essentially the computational cost of the original algorithm, we are able to get something more desirable by steering its iterates according to the designed perturbations. This is a very general principle that has been used successfully in some important practical applications, especially for inverse problems such as image reconstruction from projections, intensity-modulated radiation therapy and nondestructive testing, and awaits to be implemented and tested in additional fields. An important case is when the original algorithm is ‘feasibility-seeking’ (in the sense that it strives to find some point that is compatible with a family of constraints) and the perturbations that are introduced into the original iterative algorithm aim at reducing (not necessarily minimizing) a given merit function. In this case superiorization has a unique place in optimization theory and practice. Many constrained optimization methods are based on methods for unconstrained optimization that are adapted to deal with constraints. Such is, for example, the class of projected gradient methods wherein the unconstrained minimization inner step ‘leads’ the process and a projection onto the whole constraints set (the feasible set) is performed after each minimization step in order to regain feasibility. This projection onto the constraints set is in itself a non-trivial optimization problem and the need to solve it in every iteration hinders projected gradient methods and limits their efficiency to only feasible sets that are ‘simple to project onto.’ Barrier or penalty methods likewise are based on unconstrained optimization combined with various ‘add-on’s that guarantee that the constraints are preserved. Regularization methods embed the constraints into a ‘regularized’ objective function and proceed with unconstrained solution methods for the new regularized objective function. In contrast to these approaches, the superiorization methodology can be viewed as an antipodal way of thinking. Instead of adapting unconstrained minimization algorithms to handling constraints, it adapts feasibility-seeking algorithms to reduce merit function values. This is done while retaining the feasibility-seeking nature of the algorithm and without paying a high computational price. Furthermore, general-purpose approaches have been developed for automatically superiorizing iterative algorithms for large classes of constraints sets and merit functions; these provide algorithms for many application tasks. To a novice on the superiorization methodology and perturbation resilience of algorithms we recommend to read first the recent reviews in [1–3]. Current work on superiorization can be appreciated from the continuously updated Internet page [4]. For a recent description of previous work that is related to superiorization but is not included in [4] we direct the reader to [5, section 3]. Y Censor et al

Problem Structures in the Theory and Practice of Superiorization

Superiorization: The asymmetric roles of feasibility-seeking and objective function reduction

Superiorization: Theory and Applications

Decision Making: Superiority Degree

Plug-and-play superiorization

Categorical Structuralism and the Foundations of Mathematics

Foundations as Superstructure. (Reflections of a practicing mathematician)

Representational conventions and invariant structure

Abstraction Super-structuring Normal Forms: Towards a Theory of Structural Induction

Applied Philosophy in Mathematics

A Model of Spatial Thinking for Computational Intelligence

Abstraction in mathematics: Conflict, resolution and application

Mathematical Existence

The Prehistory of Mathematical Structuralism

What is a Mathematical Structure of Conscious Experience?

The Tools of Metaphysics and the Metaphysics of Science

A model for scaffolding mathematical problem-solving: From theory to practice

Pregeometry, Formal Language and Constructivist Foundations of Physics

Constructive mathematics and teaching

Targeting the Dominating-Scale Structure of a Multiscale Complex System: A Methodological Problem

07441 Summary -- Algorithmic-Logical Theory of Infinite Structures.