Greed Is Good Greedy Optimization Methods for Large-Scale Structured Problems

Total Page:16

File Type:pdf, Size:1020Kb

Greed Is Good Greedy Optimization Methods for Large-Scale Structured Problems Greed is Good Greedy Optimization Methods for Large-Scale Structured Problems by Julie Nutini B.Sc., The University of British Columbia (Okanagan), 2010 M.Sc., The University of British Columbia (Okanagan), 2012 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY in The Faculty of Graduate and Postdoctoral Studies (Computer Science) THE UNIVERSITY OF BRITISH COLUMBIA (Vancouver) May 2018 c Julie Nutini 2018 The following individuals certify that they have read, and recommend to the Faculty of Graduate and Postdoctoral Studies for acceptance, the dissertation entitled: Greed is Good: Greedy Optimization Methods for Large-Scale Structured Problems submitted by Julie Nutini in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Computer Science Examining Committee: Mark Schmidt, Computer Science Supervisor Chen Greif, Computer Science Supervisory Committee Member Will Evans, Computer Science Supervisory Committee Member Bruce Shepherd, Computer Science University Examiner Ozgur Yilmaz, Mathematics University Examiner ii Abstract This work looks at large-scale machine learning, with a particular focus on greedy methods. A recent trend caused by big datasets is to use optimization methods that have a cheap iteration cost. In this category are (block) coordinate descent and Kaczmarz methods, as the updates of these methods only rely on a reduced subspace of the problem at each iteration. Prior to our work, the literature cast greedy variations of these methods as computationally expensive with comparable convergence rates to randomized versions. In this dissertation, we show that greed is good. Specifically, we show that greedy coordinate descent and Kaczmarz methods have efficient implementations and can be faster than their randomized counterparts for certain common problem structures in machine learning. We show linear convergence for greedy (block) coordinate descent methods under a revived relaxation of strong convexity from 1963, which we call the Polyak-Lojasiewicz (PL) inequality. Of the proposed relaxations of strong convexity in the recent literature, we show that the PL inequality is the weakest condition that still ensures a global minimum. Further, we highlight the exploitable flexibility in block coordinate descent methods, not only in the different types of selection rules possible, but also in the types of updates we can use. We show that using second-order or exact updates with greedy block coordinate descent methods can lead to superlinear or finite convergence (respectively) for popular machine learning problems. Finally, we introduce the notion of \active-set complexity", which we define as the number of iterations required before an algorithm is guaranteed to reach the optimal active manifold, and show explicit bounds for two common problem instances when using the proximal gradient or the proximal coordinate descent method. iii Lay Summary A recent trend caused by big datasets is to use methods that are computationally inexpensive to solve large-scale problems in machine learning. This work looks at several of these methods, with a particular focus on greedy variations, that is, methods that try to make the most possible progress at each step. Prior to our work, these greedy methods were regarded as computation- ally expensive with similar performance to cheaper versions that make a random amount of progress at each step. In this dissertation, we show that greed is good. Specifically, we show that these greedy methods can be very efficient and can be faster relative to their randomized counterparts for solving machine learning problems with certain structure. We exploit the flex- ibility of these methods and show various ways (both theoretically and empirically) to speed them up. iv Preface The body of research in this dissertation (Chapters 2 - 6) is based off of several collaborative papers that have either been previously published or are currently under review. The work in Chapter 2 was published in the Proceedings of the 32nd International Con- • ference on Machine Learning (ICML) [Nutini et al., 2015]: J. Nutini, Mark Schmidt, Issam H. Laradji, Michael Friedlander and Hoyt Koepke. Coordinate Descent Converges Faster with the Gauss-Southwell Rule Than Random Selection, ICML 2015 [arXiv]. The majority of this chapter's manuscript was written by J. Nutini and Mark Schmidt. The new convergence rate analysis for the greedy coordinate descent method (Section 2.2.3) was done by Michael Friedlander and Mark Schmidt. The analysis of strong- convexity constants (Section 2.3) was contributed to by Michael Friedlander. The Gauss- Southwell-Lipschitz rule and nearest neighbour analysis in Sections 2.5.2 and 2.5.3 were a joint effort by J. Nutini, Issam Laradji and Mark Schmidt. The majority of the work in Section 2.8 (numerical experiments) was done by Issam Laradji, with help from J. Nutini. Appendix A.1 showing how to calculate the greedy Gauss-Southwell rule efficiently for sparse problems was primary researched by Issam Laradji and Mark Schmidt. All other sections were primarily researched by J. Nutini and Mark Schmidt. The final co-author on this paper, Hoyt Koepke, was the primary researcher on extending the greedy coordinate descent analysis to the case of using exact coordinate optimization (excluded from this dissertation). A version of Chapter 3 was published in the Proceedings of the 32nd Conference on • Uncertainty in Artificial Intelligence (UAI) [Nutini et al., 2016]: J. Nutini, Behrooz Sepehry, Issam H. Laradji, Mark Schmidt, Hoyt Koepke and Alim Virani. Convergence Rates for Greedy Kaczmarz Algorithms, and Faster Random- ized Kaczmarz Rules Using the Orthogonality Graph, UAI 2016 [arXiv]. The majority of this chapter's manuscript was researched and written by J. Nutini and Mark Schmidt. The majority of the work in Section 3.9 and Appendix B.12 (numerical experiments) was done by Issam Laradji, with help from J. Nutini and Alim Virani. A section of the corresponding paper on extending the convergence rate analysis of Kaczmarz v methods to consider more than one step (i.e., a sequence of steps) was written by my co- authors Behrooz Sepehry, Hoyt Koepke and Mark Schmidt, and therefore excluded from this dissertation. The material in Chapter 4 was published in the Proceedings of the 27th European Con- • ference on Machine Learning (ECML) [Karimi et al., 2016]: Hamed Karimi, J. Nutini and Mark Schmidt. Linear Convergence of Gradient and Proximal-Gradient Methods Under the Polyak-Lojasiewicz Condition, ECML 2016 [arXiv]. Hamed Karimi, Mark Schmidt and I all made contributions to Theorem 2 and Section C.5, while the work in Section C.4 was done by Hamed Karimi. Several results presented in the corresponding paper are excluded from this dissertation as they were written by my co-authors. These include using the Polyak-Lojasiewicz (PL) inequality to give new convergence rate analyses for stochastic gradient descent methods and stochastic variance reduced gradient methods, as well as a result proving the equivalence of our proposed proximal-PL condition to two other previously proposed conditions. A version of Chapter 5 has been submitted for publication [Nutini et al., 2017a]: • J. Nutini, Issam H. Laradji and Mark Schmidt. Let's Make Block Coordinate De- scent Go Fast: Faster Greedy Rules, Message-Passing, Active-Set Complexity, and Superlinear Convergence (2017) [arXiv]. This chapter's manuscript was written by J. Nutini and Mark Schmidt. The majority of the research was joint work between J. Nutini, Issam Laradji and Mark Schmidt. Section 5.5 and Appendix D.5 (numerical experiments) were primarily done by Issam Laradji, with help from J. Nutini and Mark Schmidt. The material in Chapter 6 is a compilation of material from the reference for Chap- • ter 5 [Nutini et al., 2017a] and a manuscript that has been submitted for publication [Nu- tini et al., 2017b]: J. Nutini, Mark Schmidt and Warren Hare. \Active-set complexity" of proximal gradient: How long does it take to find the sparsity pattern? (2017) [arXiv]. The majority of this chapter's manuscript was written by J. Nutini and Mark Schmidt. The proof of Lemmas 2 and 4 was joint work by Warren Hare, Mark Schmidt and J. Nutini. The majority of the work in Section 6.5 (numerical experiments) was done by Issam Laradji, with help from J. Nutini and Mark Schmidt. vi Table of Contents Abstract . iii Lay Summary . iv Preface . v Table of Contents . vii List of Tables . xiii List of Figures . xiv Acknowledgements . xvii Dedication . .xviii 1 Introduction . 1 1.1 Big-Data: A Barrier to Learning? . 1 1.2 The Learning Problem/Algorithm . 2 1.2.1 Loss Functions . 4 1.3 First-Order Methods . 6 1.4 Gradient Descent . 8 1.5 Stochastic Gradient Descent . 8 1.6 Coordinate Descent Methods . 10 1.7 Linear Systems and Kaczmarz Methods . 12 1.8 Relaxing Strong Convexity . 13 1.9 Proximal First-Order Methods . 13 1.10 Summary of Contributions . 14 2 Greedy Coordinate Descent . 17 2.1 Problems of Interest . 18 2.2 Analysis of Convergence Rates . 19 2.2.1 Randomized Coordinate Descent . 20 2.2.2 Gauss-Southwell . 20 2.2.3 Refined Gauss-Southwell Analysis . 21 vii 2.3 Comparison for Separable Quadratic . 22 2.3.1 `Working Together' Interpretation . 22 2.3.2 Fast Convergence with Bias Term . 23 2.4 Rates with Different Lipschitz Constants . 23 2.5 Rules Depending on Lipschitz Constants . 24 2.5.1 Lipschitz Sampling . 24 2.5.2 Gauss-Southwell-Lipschitz Rule . 24 2.5.3 Connection between GSL Rule and Normalized Nearest Neighbour Search 26 2.6 Approximate Gauss-Southwell . 28 2.6.1 Multiplicative Errors . 28 2.6.2 Additive Errors . 29 2.7 Proximal Gradient Gauss-Southwell . 30 2.8 Experiments . 33 2.9 Discussion . 35 3 Greedy Kaczmarz . 36 3.1 Problems of Interest . 37 3.2 Kaczmarz Algorithm and Greedy Selection Rules . 38 3.2.1 Efficient Calculations for Sparse A .....................
Recommended publications
  • CORE View Metadata, Citation and Similar Papers at Core.Ac.Uk
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Bulgarian Digital Mathematics Library at IMI-BAS Serdica Math. J. 27 (2001), 203-218 FIRST ORDER CHARACTERIZATIONS OF PSEUDOCONVEX FUNCTIONS Vsevolod Ivanov Ivanov Communicated by A. L. Dontchev Abstract. First order characterizations of pseudoconvex functions are investigated in terms of generalized directional derivatives. A connection with the invexity is analysed. Well-known first order characterizations of the solution sets of pseudolinear programs are generalized to the case of pseudoconvex programs. The concepts of pseudoconvexity and invexity do not depend on a single definition of the generalized directional derivative. 1. Introduction. Three characterizations of pseudoconvex functions are considered in this paper. The first is new. It is well-known that each pseudo- convex function is invex. Then the following question arises: what is the type of 2000 Mathematics Subject Classification: 26B25, 90C26, 26E15. Key words: Generalized convexity, nonsmooth function, generalized directional derivative, pseudoconvex function, quasiconvex function, invex function, nonsmooth optimization, solution sets, pseudomonotone generalized directional derivative. 204 Vsevolod Ivanov Ivanov the function η from the definition of invexity, when the invex function is pseudo- convex. This question is considered in Section 3, and a first order necessary and sufficient condition for pseudoconvexity of a function is given there. It is shown that the class of strongly pseudoconvex functions, considered by Weir [25], coin- cides with pseudoconvex ones. The main result of Section 3 is applied to characterize the solution set of a nonlinear programming problem in Section 4. The base results of Jeyakumar and Yang in the paper [13] are generalized there to the case, when the function is pseudoconvex.
    [Show full text]
  • Raport De Autoevaluare - 2012
    RAPORT DE AUTOEVALUARE - 2012 - 1. Date de identificare institut/centru : 1.1. Denumire: INSTITUTUL DE MATEMATICA OCTAV MAYER 1.2. Statut juridic: INSTITUTIE PUBLICA 1.3. Act de infiintare: Hotarare nr. 498 privind trecere Institutului de Matematica din Iasi la Academia Romana, din 22.02.1990, Guvernul Romaniei. 1.4. Numar de inregistrare in Registrul Potentialilor Contractori: 1807 1.5. Director general/Director: Prof. Dr. Catalin-George Lefter 1.6. Adresa: Blvd. Carol I, nr. 8, 700505-Iasi, Romania, 1.7. Telefon, fax, pagina web, e-mail: tel :0232-211150 http://www.iit.tuiasi.ro/Institute/institut.php?cod_ic=13. e-mail: [email protected] 2. Domeniu de specialitate : Mathematical foundations 2.1. Conform clasificarii UNESCO: 12 2.2. Conform clasificarii CAEN: CAEN 7310 (PE1) 3. Stare institut/centru 3.1. Misiunea institutului/centrului, directiile de cercetare, dezvoltare, inovare. Rezultate de excelenta in indeplinirea misiunii (maximum 2000 de caractere): Infiintarea institutului, in 1948, a reprezentat un moment esential pentru dezvoltarea, in continuare, a matematicii la Iasi. Cercetarile in prezent se desfasoara in urmatoarele directii: Ecuatii cu derivate partiale (ecuatii stochastice cu derivate partiale si aplicatii in studiul unor probleme neliniare, probleme de viabilitate si invarianta pentru ecuatii si incluziuni diferentiale si aplicatii in teoria controlului optimal, stabilizarea si controlabilitatea ecuatiilor dinamicii fluidelor, a sistemelor de tip reactie-difuzie, etc.), Geometrie (geometria sistemelor mecanice, geometria lagrangienilor pe fibrate vectoriale, structuri geometrice pe varietati riemanniene, geometria foliatiilor pe varietati semiriemanniene, spatii Hamilton etc), Analiza 1 matematica (analiza convexa, optimizare, operatori neliniari in spatii uniforme, etc.), Mecanica (elasticitate, termoelasticitate si modele generalizate in mecanica mediilor continue).
    [Show full text]
  • First Order Characterizations of Pseudoconvex Functions
    Serdica Math. J. 27 (2001), 203-218 FIRST ORDER CHARACTERIZATIONS OF PSEUDOCONVEX FUNCTIONS Vsevolod Ivanov Ivanov Communicated by A. L. Dontchev Abstract. First order characterizations of pseudoconvex functions are investigated in terms of generalized directional derivatives. A connection with the invexity is analysed. Well-known first order characterizations of the solution sets of pseudolinear programs are generalized to the case of pseudoconvex programs. The concepts of pseudoconvexity and invexity do not depend on a single definition of the generalized directional derivative. 1. Introduction. Three characterizations of pseudoconvex functions are considered in this paper. The first is new. It is well-known that each pseudo- convex function is invex. Then the following question arises: what is the type of 2000 Mathematics Subject Classification: 26B25, 90C26, 26E15. Key words: Generalized convexity, nonsmooth function, generalized directional derivative, pseudoconvex function, quasiconvex function, invex function, nonsmooth optimization, solution sets, pseudomonotone generalized directional derivative. 204 Vsevolod Ivanov Ivanov the function η from the definition of invexity, when the invex function is pseudo- convex. This question is considered in Section 3, and a first order necessary and sufficient condition for pseudoconvexity of a function is given there. It is shown that the class of strongly pseudoconvex functions, considered by Weir [25], coin- cides with pseudoconvex ones. The main result of Section 3 is applied to characterize the solution set of a nonlinear programming problem in Section 4. The base results of Jeyakumar and Yang in the paper [13] are generalized there to the case, when the function is pseudoconvex. The second and third characterizations are considered in Sections 5, 6.
    [Show full text]
  • Learning Output Kernels with Block Coordinate Descent
    Learning Output Kernels with Block Coordinate Descent Francesco Dinuzzo [email protected] Max Planck Institute for Intelligent Systems, 72076 T¨ubingen,Germany Cheng Soon Ong [email protected] Department of Computer Science, ETH Z¨urich, 8092 Z¨urich, Switzerland Peter Gehler [email protected] Max Planck Institute for Informatics, 66123 Saarbr¨ucken, Germany Gianluigi Pillonetto [email protected] Department of Information Engineering, University of Padova, 35131 Padova, Italy Abstract the outputs. In this paper, we introduce a method that We propose a method to learn simultane- simultaneously learns a vector-valued function and the ously a vector-valued function and a kernel kernel between the components of the output vector. between its components. The obtained ker- The problem is formulated within the framework of nel can be used both to improve learning per- regularization in RKH spaces. We assume that the formance and to reveal structures in the out- matrix-valued kernel can be decomposed as the prod- put space which may be important in their uct of a scalar kernel and a positive semidefinite kernel own right. Our method is based on the so- matrix that represents the similarity between the out- lution of a suitable regularization problem put components, a structure that has been considered over a reproducing kernel Hilbert space of in a variety of works, (Evgeniou et al., 2005; Capon- vector-valued functions. Although the regu- netto et al., 2008; Baldassarre et al., 2010). larized risk functional is non-convex, we show In practice, an important issue is the choice of the ker- that it is invex, implying that all local min- nel matrix between the outputs.
    [Show full text]
  • Invex Sets and Functions
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE Journal of Mathematical Analysis and Applications 263, 355–379 (2001) provided by Elsevier - Publisher Connector doi:10.1006/jmaa.2001.7574, available online at http://www.idealibrary.com on p r -Invex Sets and Functions Tadeusz Antczak Faculty of Mathematics, University of Łod´ ´z, Banacha 22, 90-238 Łod´ ´z, Poland E-mail: [email protected] Submitted by William F. Ames Received January 22, 2001 Notions of invexity of a function and of a set are generalized.The notion of an invex function with respect to η can be further extended with the aid of p-invex sets.Slight generalization of the notion of p-invex sets with respect to η leads to a new class of functions.A family of real functions called, in general, p r -pre- invex functions with respect to η (without differentiability) or p r -invex functions with respect to η (in the differentiable case) is introduced.Some (geometric) prop- erties of these classes of functions are derived.Sufficient optimality conditions are obtained for a nonlinear programming problem involving p r -invex functions with respect to η. 2001 Academic Press Key Words: p r -invex set with respect to η; r-invex set with respect to η; p r -pre-invex function with respect to ηp r -invex function with respect to η. 1.INTRODUCTION Convexity plays a vital role in many aspects of mathematical program- ming including, for example, sufficient optimality conditions and duality theorems.An invex function is one of the generalized convex functions
    [Show full text]
  • Arxiv:1608.04636V4 [Cs.LG]
    Linear Convergence of Gradient and Proximal-Gradient Methods Under the Polyak-Lojasiewicz Condition Hamed Karimi, Julie Nutini, and Mark Schmidt Department of Computer Science, University of British Columbia Vancouver, British Columbia, Canada {[email protected]},{jnutini,schmidtm}@cs.ubc.ca Abstract. In 1963, Polyak proposed a simple condition that is sufficient to show a global linear convergence rate for gradient descent. This condition is a special case of theLojasiewicz inequality proposed in the same year, and it does not require strong convexity (or even convexity). In this work, we show that this much-older Polyak-Lojasiewicz (PL) inequality is actually weaker than the main conditions that have been explored to show linear convergence rates without strong convexity over the last 25 years. We also use the PL inequality to give new analyses of randomized and greedy coordinate descent methods, sign-based gradient descent methods, and stochastic gradient methods in the classic setting (with decreasing or constant step-sizes) as well as the variance- reduced setting. We further propose a generalization that applies to proximal-gradient methods for non-smooth optimization, leading to simple proofs of linear convergence of these methods. Along the way, we give simple convergence results for a wide variety of problems in machine learning: least squares, logistic regression, boosting, resilient backpropagation, L1-regularization, support vector machines, stochastic dual coordinate ascent, and stochastic variance-reduced gradient methods. 1 Introduction Fitting most machine learning models involves solving some sort of optimization problem. Gradient descent, and variants of it like coordinate descent and stochastic gradient, are the workhorse tools used by the field to solve very large instances of these problems.
    [Show full text]
  • Glimpses Upon Quasiconvex Analysis Jean-Paul Penot
    Glimpses upon quasiconvex analysis Jean-Paul Penot To cite this version: Jean-Paul Penot. Glimpses upon quasiconvex analysis. 2007. hal-00175200 HAL Id: hal-00175200 https://hal.archives-ouvertes.fr/hal-00175200 Preprint submitted on 27 Sep 2007 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. ESAIM: PROCEEDINGS, Vol. ?, 2007, 1-10 Editors: Will be set by the publisher DOI: (will be inserted later) GLIMPSES UPON QUASICONVEX ANALYSIS Jean-Paul Penot Abstract. We review various sorts of generalized convexity and we raise some questions about them. We stress the importance of some special subclasses of quasiconvex functions. Dedicated to Marc Att´eia R´esum´e. Nous passons en revue quelques notions de convexit´eg´en´eralis´ee.Nous tentons de les relier et nous soulevons quelques questions. Nous soulignons l’importance de quelques classes particuli`eres de fonctions quasiconvexes. 1. Introduction Empires usually are well structured entities, with unified, strong rules (for instance, the length of axles of carts in the Chinese Empire and the Roman Empire, a crucial rule when building a road network). On the contrary, associated kingdoms may have diverging rules and uses.
    [Show full text]
  • Global Optimisation for Energy Systems
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by The Australian National University Global Optimisation for Energy Systems Ksenia Bestuzheva October 2018 A thesis submitted for the degree of Doctor of Philosophy of The Australian National University © Copyright by Ksenia Bestuzheva 2018 All Rights Reserved Except where otherwise stated, this thesis is my own original work. Ksenia Bestuzheva October 2018 1 Abstract The goal of global optimisation is to find globally optimal solutions, avoiding local optima and other stationary points. The aim of this thesis is to provide more efficient global optimisation tools for energy systems planning and operation. Due to the ongoing increasing of complex- ity and decentralisation of power systems, the use of advanced mathematical techniques that produce reliable solutions becomes necessary. The task of developing such methods is com- plicated by the fact that most energy-related problems are nonconvex due to the nonlinear Alternating Current Power Flow equations and the existence of discrete elements. In some cases, the computational challenges arising from the presence of non-convexities can be tackled by relaxing the definition of convexity and identifying classes of problems that can be solved to global optimality by polynomial time algorithms. One such property is known as invexity and is defined by every stationary point of a problem being a global optimum. This thesis investigates how the relation between the objective function and the structure of the feasible set is connected to invexity and presents necessary conditions for invexity in the general case and necessary and sufficient conditions for problems with two degrees of freedom.
    [Show full text]
  • International Journal of Pure and Applied Mathematics ————————————————————————– Volume 15 No
    International Journal of Pure and Applied Mathematics ————————————————————————– Volume 15 No. 2 2004, 137-250 FUNDAMENTALS OF MIXED QUASI VARIATIONAL INEQUALITIES Muhammad Aslam Noor Etisalat College of Engineering P.O. Box 980, Sharjah, UNITED ARAB EMIRATES e-mail: [email protected] Abstract: Mixed quasi variational inequalities are very important and sig- nificant generalizations of variational inequalities involving the nonlinear bi- function. It is well-known that a large class of problems arising in various branches of pure and applied sciences can be studied in the general framework of mixed quasi variational inequalities. Due to the presence of the bifunction in the formulation of variational inequalities, projection method and its variant forms cannot be used to suggest and analyze iterative methods for mixed quasi variational inequalities. In this paper, we suggest and analyze various itera- tive schemes for solving these variational inequalities using resolvent methods, resolvent equations and auxiliary principle techniques. We discuss the sensitiv- ity analysis, stability of the dynamical systems and well-posedness of the mixed quasi variational inequalities. We also consider and investigate various classes of mixed quasi variational inequalities in the setting of invexity, g-convexity and uniformly prox-regular convexity. The concepts of invexity, g-convexity and uniformly prox-regular convexity are generalizations of the classical convexity in different directions. Some classes of equilibrium problems are introduced and studied. We also suggest several open problems with sufficient information and references. AMS Subject Classification: 49J40, 90C30, 35A15, 47H17 Key Words: mixed quasi variational inequalities, auxiliary principle, fixed- points, resolvent equations, iterative methods, convergence, dynamical systems, global convergence, stability Received: March 11, 2004 c 2004, Academic Publications Ltd.
    [Show full text]
  • Local Cone Approximations in Optimization
    Control and Cybernetics vol. 36 (2007) No. 3 Local cone approximations in optimization by M. Castellani1 and M. Pappalardo2 1 Department of “Sistemi ed Istituzioni per l’Economia” University of L’Aquila 2 Department of “Matematica Applicata” University of Pisa Abstract: We show how to use intensively local cone approxi- mations to obtain results in some fields of optimization theory such as optimality conditions, constraint qualifications, mean value theo- rems and error bound. Keywords: nonsmooth optimization, cone approximations, generalized directional epiderivatives, optimality conditions, con- straint qualifications, mean value theorem, error bound. 1. Introduction Many approaches have been developed in literature for obtaining results in op- timization theory. In this paper we propose a systematic approach to many problems of optimization theory (i.e. necessary and sufficient optimality con- ditions, constraint qualifications, mean value theorems and error bound) which uses local cone approximations of sets. This concept, introduced by Elster and Thierfelder (1988) and studied also in Castellani and Pappalardo (1995), appears to be very useful when used together with separation theorems and generalized derivatives. When intensively applied, we show that it is very flexible in our scope of interest. The first step of this scheme consists in approximating a set with a cone; in particular, when the set is the epigraph of a function, the cone represents the epigraph of a positively homogeneous function, which will be called generalized derivative. The subsequent step consists in considering the case in which the generalized derivative is the difference between two sublinear functions; finally, the most general situation, is the one in which the generalized derivative is a minimum of sublinear functions.
    [Show full text]
  • Learning Output Kernels with Block Coordinate Descent
    Learning output kernels with block coordinate descent Francesco Dinuzzo [email protected] Max Planck Institute for Intelligent Systems, 72076 T¨ubingen,Germany Cheng Soon Ong [email protected] Department of Computer Science, ETH Z¨urich, 8092 Z¨urich, Switzerland Peter Gehler [email protected] Max Planck Institute for Informatics, 66123 Saarbr¨ucken, Germany Gianluigi Pillonetto [email protected] Department of Information Engineering, University of Padova, 35131 Padova, Italy Abstract the outputs. In this paper, we introduce a method that We propose a method to learn simultane- simultaneously learns a vector-valued function and the ously a vector-valued function and a kernel kernel between the components of the output vector. between its components. The obtained ker- The problem is formulated within the framework of nel can be used both to improve learning per- regularization in RKH spaces. We assume that the formance and to reveal structures in the out- matrix-valued kernel can be decomposed as the prod- put space which may be important in their uct of a scalar kernel and a positive semidefinite kernel own right. Our method is based on the so- matrix that represents the similarity between the out- lution of a suitable regularization problem put components, a structure that has been considered over a reproducing kernel Hilbert space of in a variety of works, (Evgeniou et al., 2005; Capon- vector-valued functions. Although the regu- netto et al., 2008; Baldassarre et al., 2010). larized risk functional is non-convex, we show In practice, an important issue is the choice of the ker- that it is invex, implying that all local min- nel matrix between the outputs.
    [Show full text]
  • Higher Order Strongly Exponentially Preinvex Functions
    J. Appl. Math. & Informatics Vol. 39(2021), No. 3 - 4, pp. 469 - 485 https://doi.org/10.14317/jami.2021.469 HIGHER ORDER STRONGLY EXPONENTIALLY PREINVEX FUNCTIONS MUHAMMAD ASLAM NOOR∗ AND KHALIDA INAYAT NOOR Abstract. In this paper, some new classes of the higher order strongly exponentially preinvex functions are introduced. New relationships among various concepts of higher order strongly exponentially preinvex functions are established. It is shown that the optimality conditions of differentiable higher order strongly exponentially preinvex functions can be character- ized by exponentially variational-like inequalities. Parallelogram laws for Banach spaces are obtained as an application. As special cases, one can obtain various new and known results from our results. Results obtained in this paper can be viewed as refinement and improvement of previously known results. AMS Mathematics Subject Classification : 26D15, 49J40, 90C33. Key words and phrases : Convex functions, exponentially preinvex func- tions, monotone operators, Wrght exponentially preinvex functions, variational- like inequalities. 1. Introduction Recently, several extensions and generalizations have been considered for classical convexity. Strongly convex functions were introduced and studied by Polyak [51], which play an important part in the optimization theory and related areas. Karmardian [18] used the strongly convex functions to discuss the unique existence of a solution of the nonlinear complementarity problems. Strongly convex functions are used to investigate the convergence analysis for solving variational inequalities and equilibrium problems, see Zu and Marcotte [59]. See also Nikodem and Pales [19] and Qu and Li [49]. Awan et al[7, 8, 9] have derived Hermite-Hadamard type inequalities, which provide upper and lower estimate for the integrand.
    [Show full text]