Skip to main content
Top
Published in: Numerical Algorithms 1/2021

05-11-2020 | Original Paper

Derivative-free superiorization: principle and algorithm

Authors: Yair Censor, Edgar Garduño, Elias S. Helou, Gabor T. Herman

Published in: Numerical Algorithms | Issue 1/2021

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

The superiorization methodology is intended to work with input data of constrained minimization problems, that is, a target function and a set of constraints. However, it is based on an antipodal way of thinking to what leads to constrained minimization methods. Instead of adapting unconstrained minimization algorithms to handling constraints, it adapts feasibility-seeking algorithms to reduce (not necessarily minimize) target function values. This is done by inserting target-function-reducing perturbations into a feasibility-seeking algorithm while retaining its feasibility-seeking ability and without paying a high computational price. A superiorized algorithm that employs component-wise target function reduction steps is presented. This enables derivative-free superiorization (DFS), meaning that superiorization can be applied to target functions that have no calculable partial derivatives or subgradients. The numerical behavior of our derivative-free superiorization algorithm is illustrated on a data set generated by simulating a problem of image reconstruction from projections. We present a tool (we call it a proximity-target curve) for deciding which of two iterative methods is “better” for solving a particular problem. The plots of proximity-target curves of our experiments demonstrate the advantage of the proposed derivative-free superiorization algorithm.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Footnotes
1
The approach followed in the present paper was termed strong superiorization in [13, Section 6] and [7] to distinguish it from weak superiorization, wherein asymptotic convergence to a point in C is studied instead of ε-compatibility.
 
2
The term projection has in this field a different meaning than in convex analysis. It stands for a set of estimated line integrals through the image that has to be reconstructed (see [25, p. 3]).
 
Literature
1.
go back to reference Audet, C., Dennis, Jr., J.E.: A progressive barrier for derivative-free nonlinear programming. SIAM J. Optim. 20, 445–472 (2009) Audet, C., Dennis, Jr., J.E.: A progressive barrier for derivative-free nonlinear programming. SIAM J. Optim. 20, 445–472 (2009)
2.
go back to reference Audet, C., Hare, W.: Derivative-Free and Blackbox Optimization. Springer International Publishing, Cham (2017) Audet, C., Hare, W.: Derivative-Free and Blackbox Optimization. Springer International Publishing, Cham (2017)
3.
go back to reference Bargetz, C., Reich, S., Zalas, R.: Convergence properties of dynamic string-averaging projection methods in the presence of perturbations. Numer. Algorithm. 77, 185–209 (2018) Bargetz, C., Reich, S., Zalas, R.: Convergence properties of dynamic string-averaging projection methods in the presence of perturbations. Numer. Algorithm. 77, 185–209 (2018)
4.
go back to reference Butnariu, D., Reich, S., Zaslavski, A. J.: Convergence to fixed points of inexact orbits of Bregman-monotone and of nonexpansive operators in Banach spaces. In: Proceedings of Fixed Point Theory and its Applications, Mexico, pp. 11–32 (2006) Butnariu, D., Reich, S., Zaslavski, A. J.: Convergence to fixed points of inexact orbits of Bregman-monotone and of nonexpansive operators in Banach spaces. In: Proceedings of Fixed Point Theory and its Applications, Mexico, pp. 11–32 (2006)
5.
go back to reference Cegielski, A.: Iterative Methods for Fixed Point Problems in Hilbert Spaces. Springer, Berlin (2012) Cegielski, A.: Iterative Methods for Fixed Point Problems in Hilbert Spaces. Springer, Berlin (2012)
6.
go back to reference Cegielski, A., Al-Musallam, F.: Superiorization with level control. Inverse Probl. 33, 044009 (2017) Cegielski, A., Al-Musallam, F.: Superiorization with level control. Inverse Probl. 33, 044009 (2017)
7.
go back to reference Censor, Y.: Weak and strong superiorization: Between feasibility-seeking and minimization. Anal. Stiint. Univ. Ovid. Const.-Ser. Mat. 23, 41–54 (2015) Censor, Y.: Weak and strong superiorization: Between feasibility-seeking and minimization. Anal. Stiint. Univ. Ovid. Const.-Ser. Mat. 23, 41–54 (2015)
9.
go back to reference Censor, Y., Cegielski, A.: Projection methods: An annotated bibliography of books and reviews. Optimization 64, 2343–2358 (2015) Censor, Y., Cegielski, A.: Projection methods: An annotated bibliography of books and reviews. Optimization 64, 2343–2358 (2015)
10.
go back to reference Censor, Y., Heaton, H., Schulte, R.W.: Derivative-free superiorization with component-wise perturbations. Numer. Algorithm. 80, 1219–1240 (2019) Censor, Y., Heaton, H., Schulte, R.W.: Derivative-free superiorization with component-wise perturbations. Numer. Algorithm. 80, 1219–1240 (2019)
11.
go back to reference Censor, Y., Herman, G.T., Jiang, M. (eds.): Special issue on Superiorization: Theory and Applications. Inverse Problem. 33, 040301–044014 (2017) Censor, Y., Herman, G.T., Jiang, M. (eds.): Special issue on Superiorization: Theory and Applications. Inverse Problem. 33, 040301–044014 (2017)
13.
go back to reference Censor, Y., Zaslavski, A.: Strict Fejér monotonicity by superiorization of feasibility-seeking projection methods. J. Optim. Theory Appl. 165, 172–187 (2015) Censor, Y., Zaslavski, A.: Strict Fejér monotonicity by superiorization of feasibility-seeking projection methods. J. Optim. Theory Appl. 165, 172–187 (2015)
14.
go back to reference Conn, A.R., Scheinberg, K., Vicente, L.N.: Introduction to Derivative-Free Optimization. Society for Industrial and Applied Mathematics (SIAM) (2009) Conn, A.R., Scheinberg, K., Vicente, L.N.: Introduction to Derivative-Free Optimization. Society for Industrial and Applied Mathematics (SIAM) (2009)
15.
go back to reference Cooley, T.A., Barrett, H.H.: Evaluation of statistical methods for image reconstruction through ROC analysis. IEEE Trans. Med. Imaging 11, 276–282 (1992) Cooley, T.A., Barrett, H.H.: Evaluation of statistical methods for image reconstruction through ROC analysis. IEEE Trans. Med. Imaging 11, 276–282 (1992)
17.
go back to reference Diniz-Ehrhardt, M., Martínez, J., Pedroso, L.: Derivative-free methods for nonlinear programming with general lower-level constraints. Comput. Appl. Math. 30, 19–52 (2011) Diniz-Ehrhardt, M., Martínez, J., Pedroso, L.: Derivative-free methods for nonlinear programming with general lower-level constraints. Comput. Appl. Math. 30, 19–52 (2011)
18.
go back to reference Echeverría Ciaurri, D., Isebor, O., Durlofsky, L.: Application of derivative-free methodologies to generally constrained oil production optimization problems. Procedia Comput. Sci. 1, 1301–1310 (2012) Echeverría Ciaurri, D., Isebor, O., Durlofsky, L.: Application of derivative-free methodologies to generally constrained oil production optimization problems. Procedia Comput. Sci. 1, 1301–1310 (2012)
19.
go back to reference Engl, H.W., Hanke, M., Neubauer, A.: Regularization of Inverse Problems. Kluwer Academic Publishers (2000) Engl, H.W., Hanke, M., Neubauer, A.: Regularization of Inverse Problems. Kluwer Academic Publishers (2000)
20.
go back to reference Fletcher, R., Leyffer, S.: Nonlinear programming without a penalty function. Math. Programm. Ser. A 91, 239–269 (2002) Fletcher, R., Leyffer, S.: Nonlinear programming without a penalty function. Math. Programm. Ser. A 91, 239–269 (2002)
21.
go back to reference Garduño, E., Herman, G.T.: Superiorization of the ML-EM algorithm. IEEE Trans. Nuclear Sci. 61, 162–172 (2014) Garduño, E., Herman, G.T.: Superiorization of the ML-EM algorithm. IEEE Trans. Nuclear Sci. 61, 162–172 (2014)
22.
go back to reference Garduño, E., Herman, G.T.: Computerized tomography with total variation and with shearlets. Inverse Probl. 33, 044011 (2017) Garduño, E., Herman, G.T.: Computerized tomography with total variation and with shearlets. Inverse Probl. 33, 044011 (2017)
23.
go back to reference Gay, H.A., Niemierko, A.: A free program for calculating EUD-based NTCP and TCP in external beam radiotherapy. Physica Med. 23, 115–25 (2007) Gay, H.A., Niemierko, A.: A free program for calculating EUD-based NTCP and TCP in external beam radiotherapy. Physica Med. 23, 115–25 (2007)
24.
go back to reference He, H., Xu, H.K.: Perturbation resilience and superiorization methodology of averaged mappings. Inverse Probl. 33, 044007 (2017) He, H., Xu, H.K.: Perturbation resilience and superiorization methodology of averaged mappings. Inverse Probl. 33, 044007 (2017)
25.
go back to reference Herman, G.T.: Fundamentals of Computerized Tomography: Image Reconstruction from Projections, 2nd ed.. Springer, Berlin (2009) Herman, G.T.: Fundamentals of Computerized Tomography: Image Reconstruction from Projections, 2nd ed.. Springer, Berlin (2009)
26.
go back to reference Herman, G.T.: Iterative reconstruction techniques and their superiorization for the inversion of the Radon transform. In: Ramlau, R., Scherzer, O. (eds.) The Radon Transform: The First 100 Years and Beyond, pp 217–238. De Gruyter (2019) Herman, G.T.: Iterative reconstruction techniques and their superiorization for the inversion of the Radon transform. In: Ramlau, R., Scherzer, O. (eds.) The Radon Transform: The First 100 Years and Beyond, pp 217–238. De Gruyter (2019)
27.
go back to reference Herman, G.T.: Problem structures in the theory and practice of superiorization. J. Appl. Numer. Optim. 2, 71–76 (2020) Herman, G.T.: Problem structures in the theory and practice of superiorization. J. Appl. Numer. Optim. 2, 71–76 (2020)
28.
go back to reference Herman, G.T., Garduño, E., Davidi, R., Censor, Y.: Superiorization: An optimization heuristic for medical physics. Med. Phys. 39, 5532–5546 (2012) Herman, G.T., Garduño, E., Davidi, R., Censor, Y.: Superiorization: An optimization heuristic for medical physics. Med. Phys. 39, 5532–5546 (2012)
29.
go back to reference Hoseini, M., Saeidi, S., Kim, D.S.: On perturbed hybrid steepest descent method with minimization or superiorization for subdifferentiable functions. Numer. Algorithm. 85, 353–374 (2020)MathSciNetCrossRef Hoseini, M., Saeidi, S., Kim, D.S.: On perturbed hybrid steepest descent method with minimization or superiorization for subdifferentiable functions. Numer. Algorithm. 85, 353–374 (2020)MathSciNetCrossRef
30.
go back to reference Kaczmarz, S.: Angenäherte Auflösung von Systemen linearer Gleichungen. Bullet. l’Acad. Polon. Sci. Lett. A35, 355–357 (1937) Kaczmarz, S.: Angenäherte Auflösung von Systemen linearer Gleichungen. Bullet. l’Acad. Polon. Sci. Lett. A35, 355–357 (1937)
31.
go back to reference Kolda, T., Lewis, R., Torczon, V.: Optimization by direct search: New perspectives on some classical and modern methods. SIAM Rev. 45, 385–482 (2003) Kolda, T., Lewis, R., Torczon, V.: Optimization by direct search: New perspectives on some classical and modern methods. SIAM Rev. 45, 385–482 (2003)
32.
go back to reference Li, L., Chen, Y., Liu, Q., Lazic, J., Luo, W., Li, Y.: Benchmarking and evaluating MATLAB derivative-free optimisers for single-objective applications. In: Huang, D.S., Jo, K.H., Figueroa-García, J. (eds.) Intelligent Computing Theories and Application. ICIC 2017, pp 75–88. Springer (2017) Li, L., Chen, Y., Liu, Q., Lazic, J., Luo, W., Li, Y.: Benchmarking and evaluating MATLAB derivative-free optimisers for single-objective applications. In: Huang, D.S., Jo, K.H., Figueroa-García, J. (eds.) Intelligent Computing Theories and Application. ICIC 2017, pp 75–88. Springer (2017)
33.
go back to reference Luo, S., Zhang, Y., Zhou, T., Song, J.: Superiorized iteration based on proximal point method and its application to XCT image reconstruction. ArXiv e-prints, arXiv:1608.03931 (2016) Luo, S., Zhang, Y., Zhou, T., Song, J.: Superiorized iteration based on proximal point method and its application to XCT image reconstruction. ArXiv e-prints, arXiv:1608.​03931 (2016)
35.
go back to reference Metz, C.E.: Some practical issues of experimental design and data analysis in radiological ROC studies. Invest. Radiol. 24, 234–243 Metz, C.E.: Some practical issues of experimental design and data analysis in radiological ROC studies. Invest. Radiol. 24, 234–243
36.
go back to reference Nikazad, T., Davidi, R., Herman, G.T.: Accelerated perturbation resilient block-iterative projection methods with application to image reconstruction. Inverse Probl. 28, 035005 (2012) Nikazad, T., Davidi, R., Herman, G.T.: Accelerated perturbation resilient block-iterative projection methods with application to image reconstruction. Inverse Probl. 28, 035005 (2012)
38.
go back to reference Reich, S., Zalas, R.: A modular string averaging procedure for solving the common fixed point problem for quasi-nonexpansive mappings in Hilbert space. Numer. Algorithm. 72, 297–323 (2016) Reich, S., Zalas, R.: A modular string averaging procedure for solving the common fixed point problem for quasi-nonexpansive mappings in Hilbert space. Numer. Algorithm. 72, 297–323 (2016)
39.
go back to reference Reich, S., Zaslavski, A.J.: Convergence to approximate solutions and perturbation resilience of iterative algorithms. Inverse Problem. 33, 044005 (2017) Reich, S., Zaslavski, A.J.: Convergence to approximate solutions and perturbation resilience of iterative algorithms. Inverse Problem. 33, 044005 (2017)
40.
go back to reference Rios, L.M., Sahinidis, N.V.: Derivative-free optimization: A review of algorithms and comparison of software implementations. J. Glob. Optim. 56, 1247–1293 (2013) Rios, L.M., Sahinidis, N.V.: Derivative-free optimization: A review of algorithms and comparison of software implementations. J. Glob. Optim. 56, 1247–1293 (2013)
41.
go back to reference Swets, J.A.: ROC analysis applied to the evaluation of medical imaging techniques. Invest. Radiol. 14, 109–112 (1979) Swets, J.A.: ROC analysis applied to the evaluation of medical imaging techniques. Invest. Radiol. 14, 109–112 (1979)
42.
go back to reference Zaslavski, A.J.: Algorithms for Solving Common Fixed Point Problems. Springer International Publishing (2018) Zaslavski, A.J.: Algorithms for Solving Common Fixed Point Problems. Springer International Publishing (2018)
Metadata
Title
Derivative-free superiorization: principle and algorithm
Authors
Yair Censor
Edgar Garduño
Elias S. Helou
Gabor T. Herman
Publication date
05-11-2020
Publisher
Springer US
Published in
Numerical Algorithms / Issue 1/2021
Print ISSN: 1017-1398
Electronic ISSN: 1572-9265
DOI
https://doi.org/10.1007/s11075-020-01038-w

Other articles of this Issue 1/2021

Numerical Algorithms 1/2021 Go to the issue

Premium Partner