{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T00:35:30Z","timestamp":1767141330994,"version":"build-2238731810"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,8,23]],"date-time":"2021-08-23T00:00:00Z","timestamp":1629676800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,8,23]],"date-time":"2021-08-23T00:00:00Z","timestamp":1629676800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["DFG KO 1737\/6-1"],"award-info":[{"award-number":["DFG KO 1737\/6-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005714","name":"Technische Universit\u00e4t Darmstadt","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005714","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Numer Algor"],"published-print":{"date-parts":[[2022,5]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>We use techniques originating from the subdiscipline of mathematical logic called \u2018proof mining\u2019 to provide rates of metastability and\u2014under a metric regularity assumption\u2014rates of convergence for a subgradient-type algorithm solving the equilibrium problem in convex optimization over fixed-point sets of firmly nonexpansive mappings. The algorithm is due to H. Iiduka and I. Yamada who in 2009 gave a noneffective proof of its convergence. This case study illustrates the applicability of the logic-based abstract quantitative analysis of general forms of Fej\u00e9r monotonicity as given by the second author in previous papers.<\/jats:p>","DOI":"10.1007\/s11075-021-01184-9","type":"journal-article","created":{"date-parts":[[2021,8,23]],"date-time":"2021-08-23T10:06:06Z","timestamp":1629713166000},"page":"197-219","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Quantitative analysis of a subgradient-type method for equilibrium problems"],"prefix":"10.1007","volume":"90","author":[{"given":"Nicholas","family":"Pischke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrich","family":"Kohlenbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,8,23]]},"reference":[{"key":"1184_CR1","doi-asserted-by":"crossref","unstructured":"Bauschke, H., Combettes, P.: Convex analysis and monotone operator theory in Hilbert spaces. CMS Books in Mathematics, 2nd edn. Springer, Cham (2017)","DOI":"10.1007\/978-3-319-48311-5_2"},{"key":"1184_CR2","volume-title":"Foundations of Constructive Analysis","author":"E Bishop","year":"1967","unstructured":"Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)"},{"issue":"6","key":"1184_CR3","doi-asserted-by":"publisher","first-page":"3319","DOI":"10.1090\/S0002-9947-09-05048-X","volume":"362","author":"J Bolte","year":"2010","unstructured":"Bolte, J., Daniilidis, A., Ley, O., Mazet, L.: Characterizations of \u0141ojasiewicz inequalities: subgradient flows, talweg, convexity. Trans. Am. Math. Soc. 362(6), 3319\u20133363 (2010)","journal-title":"Trans. Am. Math. Soc."},{"key":"1184_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1137\/15M1045223","volume":"27","author":"JM Borwein","year":"2017","unstructured":"Borwein, J.M., Li, G., Tam, M.K.: Convergence rate analysis for averaged fixed point iterations in common fixed point problems. SIAM J. Optim. 27, 1\u201333 (2017)","journal-title":"SIAM J. Optim."},{"issue":"2","key":"1184_CR5","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1080\/02331930701762829","volume":"58","author":"H Iiduka","year":"2009","unstructured":"Iiduka, H., Yamada, I.: A subgradient-type method for the equilibrium problem over the fixed point set and its applications. Optimization 58 (2), 251\u2013261 (2009)","journal-title":"Optimization"},{"issue":"4","key":"1184_CR6","doi-asserted-by":"publisher","first-page":"1894","DOI":"10.1137\/080722059","volume":"19","author":"AD Ioffe","year":"2009","unstructured":"Ioffe, A.D.: An invitation to tame optimization. SIAM J. Optim. 19(4), 1894\u20131917 (2009)","journal-title":"SIAM J. Optim."},{"key":"1184_CR7","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1080\/0233193031000120039","volume":"52","author":"AN Iusem","year":"2003","unstructured":"Iusem, A.N., Sosa, W.: Iterative algorithms for equilibrium problems. Optimization 52, 301\u2013316 (2003)","journal-title":"Optimization"},{"key":"1184_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-6802-1","volume-title":"Complexity theory of real functions","author":"K-I Ko","year":"1991","unstructured":"Ko, K.-I.: Complexity theory of real functions. Birkh\u00e4user, Boston-Basel-Berlin (1991). x + 309 pp."},{"key":"1184_CR9","volume-title":"Applied proof theory: Proof Interpretations and Their Use in Mathematics. Springer Monographs in Mathematics","author":"U Kohlenbach","year":"2008","unstructured":"Kohlenbach, U.: Applied proof theory: Proof Interpretations and Their Use in Mathematics. Springer Monographs in Mathematics. Springer, Berlin (2008)"},{"key":"1184_CR10","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U.: Proof-theoretic methods in nonlinear analysis. In: Sirakov, B., Ney de Souza, P., Viana, M. (eds.) Proc. ICM, vol. 2, pp 61\u201382. World Scientific (2019)","DOI":"10.1142\/9789813272880_0045"},{"key":"1184_CR11","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U., Leu\u015ftean, L., Nicolae, A.: Quantitative results on Fej\u00e9r monotone sequences. Commun. Contemp. Math. 20(2) (2018)","DOI":"10.1142\/S0219199717500158"},{"key":"1184_CR12","doi-asserted-by":"publisher","first-page":"1291","DOI":"10.1080\/02331934.2016.1200577","volume":"66","author":"U Kohlenbach","year":"2017","unstructured":"Kohlenbach, U., L\u00f3pez-Acedo, G., Nicolae, A.: Quantitative asymptotic regularity results for the composition of two mappings. Optimization 66, 1291\u20131299 (2017)","journal-title":"Optimization"},{"key":"1184_CR13","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s11856-019-1870-x","volume":"232","author":"U Kohlenbach","year":"2019","unstructured":"Kohlenbach, U., L\u00f3pez-Acedo, G., Nicolae, A.: Moduli of regularity and rates of convergence for fej\u00e9r monotone sequenc es. Isr. J. Math. 232, 261\u2013297 (2019)","journal-title":"Isr. J. Math."},{"key":"1184_CR14","doi-asserted-by":"crossref","unstructured":"Neumann, E.: Computational problems in metric fixed point theory and their Weihrauch degrees. Log. Methods Comput. Sci. 11(4) (2015)","DOI":"10.2168\/LMCS-11(4:20)2015"},{"key":"1184_CR15","doi-asserted-by":"crossref","unstructured":"Pischke, N.: Quantitative proof-theoretic analysis of a subgradient-type method for equilibrium problems. Bachelor Thesis, TU Darmstadt. 41pp (2020)","DOI":"10.1007\/s11075-021-01184-9"},{"key":"1184_CR16","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1017\/S0143385708000011","volume":"28","author":"T Tao","year":"2008","unstructured":"Tao, T.: Norm convergence of multiple ergodic averages for commuting transformations. Ergod. Theory Dyn. Syst. 28, 657\u2013688 (2008)","journal-title":"Ergod. Theory Dyn. Syst."},{"key":"1184_CR17","unstructured":"Tao, T.: Soft analysis, hard analysis, and the finite convergence principle. In: Structure and Randomness: Pages from Year One of a Mathematical Blog. American Mathematical Society, Providence (2008)"},{"key":"1184_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis","author":"K Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis. Springer, Berlin (2000)"},{"key":"1184_CR19","doi-asserted-by":"crossref","unstructured":"Yamada, I.: The hybrid steepest descent method for the variational inequality problem over the intersection of fixed point sets of nonexpansive mappings. In: Inherently Parallel Algorithms for Feasibility and Optimization and Their Applications, pp 473\u2013504. Elsevier, New York (2001)","DOI":"10.1016\/S1570-579X(01)80028-8"}],"updated-by":[{"DOI":"10.1007\/s11075-021-01202-w","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2021,10,4]],"date-time":"2021-10-04T00:00:00Z","timestamp":1633305600000}}],"container-title":["Numerical Algorithms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11075-021-01184-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11075-021-01184-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11075-021-01184-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,18]],"date-time":"2022-04-18T06:44:43Z","timestamp":1650264283000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11075-021-01184-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,23]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,5]]}},"alternative-id":["1184"],"URL":"https:\/\/doi.org\/10.1007\/s11075-021-01184-9","relation":{},"ISSN":["1017-1398","1572-9265"],"issn-type":[{"value":"1017-1398","type":"print"},{"value":"1572-9265","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,8,23]]},"assertion":[{"value":"20 March 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 August 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 August 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 October 2021","order":4,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":5,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"A Correction to this paper has been published:","order":6,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"https:\/\/doi.org\/10.1007\/s11075-021-01202-w","URL":"https:\/\/doi.org\/10.1007\/s11075-021-01202-w","order":7,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}]}}