DOCSLIB.ORG

Arxiv:2011.09194V1 [Math.OC]

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2011.09194V1 [Math.OC] Noname manuscript No. (will be inserted by the editor) Lagrangian duality for nonconvex optimization problems with abstract convex functions Ewa M. Bednarczuk · Monika Syga Received: date / Accepted: date Abstract We investigate Lagrangian duality for nonconvex optimization prob- lems. To this aim we use the Φ-convexity theory and minimax theorem for Φ-convex functions. We provide conditions for zero duality gap and strong duality. Among the classes of functions, to which our duality results can be applied, are prox-bounded functions, DC functions, weakly convex functions and paraconvex functions. Keywords Abstract convexity · Minimax theorem · Lagrangian duality · Nonconvex optimization · Zero duality gap · Weak duality · Strong duality · Prox-regular functions · Paraconvex and weakly convex functions 1 Introduction Lagrangian and conjugate dualities have far reaching consequences for solution methods and theory in convex optimization in finite and infinite dimensional spaces. For recent state-of the-art of the topic of convex conjugate duality we refer the reader to the monograph by Radu Bot¸[5]. There exist numerous attempts to construct pairs of dual problems in non- convex optimization e.g., for DC functions [19], [34], for composite functions [8], DC and composite functions [30], [31] and for prox-bounded functions [15]. In the present paper we investigate Lagrange duality for general optimiza- tion problems within the framework of abstract convexity, namely, within the theory of Φ-convexity. The class Φ-convex functions encompasses convex l.s.c. Ewa M. Bednarczuk Systems Research Institute, Polish Academy of Sciences, Newelska 6, 01–447 Warsaw Warsaw University of Technology, Faculty of Mathematics and Information Science, ul. arXiv:2011.09194v1 [math.OC] 18 Nov 2020 Koszykowa 75, 00–662 Warsaw, Poland E-mail: [email protected] Monika Syga Warsaw University of Technology, Faculty of Mathematics and Information Science, ul. Koszykowa 75, 00–662 Warsaw, Poland E-mail: [email protected] 2 Ewa M. Bednarczuk, Monika Syga functions, and, among others, the classes of functions mentioned above. A comprehensive study of Φ-convex functions can be found in the monographs by Pallaschke and Rolewicz [20] and by Rubinow [29]. The set Φ is a set of functions defined on a given space X, called ele- mentary functions. Φ-convex functions are pointwise suprema of elementary minorizing functions ϕ ∈ Φ (e.g. quadratic, quasi-convex). This corresponds to the classical fact that proper lower semicontinuous convex functions are pointwise suprema of affine minorizing functions. Φ-convexity provides a uni- fying framework for dealing with important classes of nonconvex functions, e.g, paraconvex (weakly convex), DC, and prox-bounded functions. In the context of duality theory Φ-convexity is investigated in a large number of papers, e.g. [1], [3], [12], [16], [25]. The underlying concepts of Φ-convexity are Φ-conjugation and Φ-subdifferen- tiation, which mimic the corresponding constructions of convex analysis, i.e., the Φ-conjugate function and the Φ-subdifferential are defined by replacing, in the respective classical definitions, the linear (affine) functions with elemen- tary functions ϕ ∈ Φ which may not be affine, in general. This motivates the name Convexity without linearity, coined for Φ-convexity by Rolewicz [25]. The subject of the present investigation is the Lagrangian duality for opti- mization problems involving Φ-convex functions. In particular, we investigate Lagrangian duality for problems involving Φlsc-convex functions (see (1)), i.e., proper lower semicontinuous functions defined on a Hilbert space and mi- norized by quadratic functions. The class of Φlsc-convex functions embodies many important classes of functions appearing in optimization, e.g. prox-bounded functions [23], DC (difference of convex) functions [35], weakly convex functions [36], paracon- vex functions [27] and lower semicontinuous convex (in the classical sense) functions. Within the framework of Φ-convexity, the Lagrange duality has been al- ready investigated on different levels of generality by [9], [14], [21]. Main contributions of the paper are as follows. (i) Theorem 3 provides necessary and sufficient condition for zero duality gap for the pair of Lagrange dual problems LP and LD with the Lagrangian L satisfying some Φ-convexity assumptions, where Φ is any class of elemen- tary functions. This condition, called the intersection property is defined in Definition 4. See also [32]. (ii) Theorem 6 and Theorem 7 provide conditions for zero duality gap for the pair of Lagrange dual problems LP and LD with the Lagrangian L satisfying some Φlsc-convexity assumptions, where the class Φlsc is defined in Example 1.2. (iii) Theorem 8 provides sufficient conditions for the strong duality for prob- lems, where the optimal value function V (see the formula (14)) is para- convex (weakly convex), and int domV 6= ∅. Title Suppressed Due to Excessive Length 3 (iv) Theorem 9 shows that for constrained optimization problems with fi- nite optimal values, Ψlsc-convex perturbation functions and Φlsc-convex Lagrangians, our main condition i.e. intersection property is satisfied. The organization of the paper is as follows. In Section 2 we recall basic concepts of Φ-convexity. We close Section 2 with a minimax theorem from [32] which is the starting point for our investigations. In Section 3 we introduce the Lagrange function and we discuss the Lagrangian duality for optimization problems involving Φ-convex functions (Theorem 3), we also deliver conditions for the strong duality (Theorem 4). In Section 4 and Section 5 we discuss our duality scheme in the class of Φconv-convex functions nad Φlsc-convex functions, respectively. In Section 6 we discuss our duality scheme for for a particular form of optimization problem. 2 Φ-convexity Let X be a set. A function f : X → Rˆ := R ∪{−∞}∪{+∞} is proper if its domain dom f = {x ∈ X | f(x) < +∞} 6= ∅ and f(x) > −∞ for any x ∈ X. Let Φ be a set of real-valued functions ϕ : X → R and f : X → Rˆ. The set suppΦ(f) := {ϕ ∈ Φ : ϕ ≤ f} is called the support of f with respect to Φ, where, for any g,h : X → Rˆ, g ≤ h ⇔ g(x) ≤ h(x) ∀ x ∈ X. We will use the notation supp(f) whenever the class Φ is clear from the context. Elements of class Φ are called elementary functions. Definition 1 ([12], [20], [29]) A function f : X → Rˆ is called Φ-convex on X if f(x) = sup{ϕ(x): ϕ ∈ supp(f)} ∀ x ∈ X. If the set X is clear from the context, we simply say that f is Φ-convex. A function f : X → Rˆ is called Φ-convex at x0 ∈ X if f(x0) = sup{ϕ(x0): ϕ ∈ supp(f)}. We have supp(f)= ∅ iff f ≡ −∞. By convention, we consider that the function f ≡ −∞ is Φ-convex (c.f. [29]). A Φ-convex function f : X → Rˆ is proper if supp(f) 6= ∅ and the domain of f is nonempty, i.e. dom(f) := {x ∈ X : f(x) < +∞} 6= ∅. If X is a topological space and a given class Φ consists of functions ϕ : X → R which are lower semicontinuous on X, then Φ-convex functions are lower semicontinuous on X ([37]). Note that Φ-convex functions defined above may admit the value +∞ which allows us to consider indicator functions within the framework of Φ-convexity. 4 Ewa M. Bednarczuk, Monika Syga Analogously, we say that f : X → R¯ is Φ-concave on X if f(x) = inf{ϕ(x): ϕ ∈ Φ, f ≤ ϕ}. Clearly, f is Φ-concave on X iff −f is −Φ-convex on X. The following classes of elementary functions are considered. Example 1 1. ∗ Φconv := {ϕ : X → R, ϕ(x)= hℓ, xi + c, x ∈ X, ℓ ∈ X , c ∈ R}, where X is a topological vector space, X∗ is the dual space to X. It is a well known fact (see for example Proposition 3.1 of [13]) that a proper convex lower semicontinuous function f : X → R¯ is Φconv-convex. For the analysis of the class Φ which generates all convex functions [32]. 2. 2 ∗ Φlsc := {ϕ : X → R, ϕ(x)= −akxk +hℓ, xi+c, x ∈ X, ℓ ∈ X , a ≥ 0, c ∈ R}, (1) where X is a normed space. If X is a Hilbert space, then f : X → R¯ is Φlsc- convex iff f is lower semicontinuous and minorized by a quadratic function 2 q(x) := −akxk −c on X (e.g. [29], Example 6.2). The class of Φlsc- convex functions encompasses: prox-bounded functions [22] and weakly convex functions [36], known also under the name paraconvex functions [27] and semiconvex functions [11]. 3. + R 2 ∗ R Φlsc := {ϕ : X → , ϕ(x)= akxk +hℓ, xi+c, x ∈ X, ℓ ∈ X , a ≥ 0, c ∈ }, where X is a normed space. If X is a Hilbert space, then f : X → R¯ is + Φlsc-concave iff f is upper semicontinuous and majorized by a quadratic function q(x) := akxk2 − c on X ([29], Example 6.2). 2.1 Φ-Subgradients Definition 2 An element ϕ ∈ Φ is called a Φ-subgradient of a function f : X → R¯ atx ¯ ∈ dom f, if the following inequality holds f(x) − f(¯x) ≥ ϕ(x) − ϕ(¯x) ∀ x ∈ X. (2) The set of all Φ-subgradients of f atx ¯ is denoted as ∂Φf(¯x). Let ε > 0. An element ϕ ∈ Φ is called a Φ − ε-subgradient of a function f : X → R¯ atx ¯ ∈ dom f, if the following inequality holds f(x) − f(¯x) ≥ ϕ(x) − ϕ(¯x) − ε ∀ x ∈ X. (3) ε The set of all Φ − ε-subgradients of f atx ¯ is denoted as ∂Φf(¯x). Title Suppressed Due to Excessive Length 5 Definition 2 was introduced in [20] and [29]. Definition 3 An element (a, v) ∈ R+ × X is called a Φlsc-subgradient of a function f : X → R¯ atx ¯ ∈ dom f, if the following inequality holds f(x) − f(¯x) ≥ hv, x − x¯i− akxk2 + akx¯k2, ∀ x ∈ X.
Load more

Recommended publications
  • Boosting Algorithms for Maximizing the Soft Margin
    Boosting Algorithms for Maximizing the Soft Margin Manfred K. Warmuth∗ Karen Glocer Gunnar Ratsch¨ Dept. of Engineering Dept. of Engineering Friedrich Miescher Laboratory University of California University of California Max Planck Society Santa Cruz, CA, U.S.A. Santa Cruz, CA, U.S.A. T¨ubingen, Germany Abstract We present a novel boosting algorithm, called SoftBoost, designed for sets of bi- nary labeled examples that are not necessarily separable by convex combinations of base hypotheses. Our algorithm achieves robustness by capping the distribu- tions on the examples. Our update of the distribution is motivated by minimizing a relative entropy subject to the capping constraints and constraints on the edges of the obtained base hypotheses. The capping constraints imply a soft margin in the dual optimization problem. Our algorithm produces a convex combination of hypotheses whose soft margin is within δ of its maximum. We employ relative en- ln N tropy projection methods to prove an O( δ2 ) iteration bound for our algorithm, where N is number of examples. We compare our algorithm with other approaches including LPBoost, Brown- Boost, and SmoothBoost. We show that there exist cases where the numberof iter- ations required by LPBoost grows linearly in N instead of the logarithmic growth for SoftBoost. In simulation studies we show that our algorithm converges about as fast as LPBoost, faster than BrownBoost, and much faster than SmoothBoost. In a benchmark comparison we illustrate the competitiveness of our approach. 1 Introduction Boosting methods have been used with great success in many applications like OCR, text classifi- cation, natural language processing, drug discovery, and computational biology [13].
    [Show full text]
  • On the Dual Formulation of Boosting Algorithms
    On the Dual Formulation of Boosting Algorithms Chunhua Shen, and Hanxi Li Abstract—We study boosting algorithms from a new perspective. We show that the Lagrange dual problems of ℓ1 norm regularized AdaBoost, LogitBoost and soft-margin LPBoost with generalized hinge loss are all entropy maximization problems. By looking at the dual problems of these boosting algorithms, we show that the success of boosting algorithms can be understood in terms of maintaining a better margin distribution by maximizing margins and at the same time controlling the margin variance. We also theoretically prove that, approximately, ℓ1 norm regularized AdaBoost maximizes the average margin, instead of the minimum margin. The duality formulation also enables us to develop column generation based optimization algorithms, which are totally corrective. We show that they exhibit almost identical classification results to that of standard stage-wise additive boosting algorithms but with much faster convergence rates. Therefore fewer weak classifiers are needed to build the ensemble using our proposed optimization technique. Index Terms—AdaBoost, LogitBoost, LPBoost, Lagrange duality, linear programming, entropy maximization. ✦ 1 INTRODUCTION that the hard-margin LPBoost does not perform well in OOSTING has attracted a lot of research interests since most cases although it usually produces larger minimum B the first practical boosting algorithm, AdaBoost, was margins. More often LPBoost has worse generalization introduced by Freund and Schapire [1]. The machine learn- performance. In other words, a higher minimum margin ing community has spent much effort on understanding would not necessarily imply a lower test error. Breiman [11] how the algorithm works [2], [3], [4].
    [Show full text]
  • Lagrangian Duality in Convex Optimization
    Lagrangian Duality in Convex Optimization LI, Xing A Thesis Submitted in Partial Fulfillment of the Requirements for the Degree of Master of Philosophy in Mathematics The Chinese University of Hong Kong July 2009 ^'^'^xLIBRARr SYSTEf^N^J Thesis/Assessment Committee Professor LEUNG, Chi Wai (Chair) Professor NG, Kung Fu (Thesis Supervisor) Professor LUK Hing Sun (Committee Member) Professor HUANG, Li Ren (External Examiner) Abstract of thesis entitled: Lagrangian Duality in Convex Optimization Submitted by: LI, Xing for the degree of Master of Philosophy in Mathematics at the Chinese University of Hong Kong in July, 2009. Abstract In convex optimization, a strong duality theory which states that the optimal values of the primal problem and the Lagrangian dual problem are equal and the dual problem attains its maximum plays an important role. With easily visualized physical meanings, the strong duality theories have also been wildly used in the study of economical phenomenon and operation research. In this thesis, we reserve the first chapter for an introduction on the basic principles and some preliminary results on convex analysis ； in the second chapter, we will study various regularity conditions that could lead to strong duality, from the classical ones to recent developments; in the third chapter, we will present stable Lagrangian duality results for cone-convex optimization problems under continuous linear perturbations of the objective function . In the last chapter, Lagrange multiplier conditions without constraint qualifications will be discussed. 摘要 拉格朗日對偶理論主要探討原問題與拉格朗日對偶問題的 最優值之間“零對偶間隙”成立的條件以及對偶問題存在 最優解的條件，其在解決凸規劃問題中扮演著重要角色， 並在經濟學運籌學領域有著廣泛的應用。 本文將系統地介紹凸錐規劃中的拉格朗日對偶理論，包括 基本規範條件，閉凸錐規範條件等，亦會涉及無規範條件 的序列拉格朗日乘子。 ACKNOWLEDGMENTS I wish to express my gratitude to my supervisor Professor Kung Fu Ng and also to Professor Li Ren Huang, Professor Chi Wai Leung, and Professor Hing Sun Luk for their guidance and valuable suggestions.
    [Show full text]
  • Applications of LP Duality
    Lecture 6 Duality of LPs and Applications∗ Last lecture we introduced duality of linear programs. We saw how to form duals, and proved both the weak and strong duality theorems. In this lecture we will see a few more theoretical results and then begin discussion of applications of duality. 6.1 More Duality Results 6.1.1 A Quick Review Last time we saw that if the primal (P) is max c>x s:t: Ax ≤ b then the dual (D) is min b>y s:t: A>y = c y ≥ 0: This is just one form of the primal and dual and we saw that the transformation from one to the other is completely mechanical. The duality theorem tells us that if (P) and (D) are a primal-dual pair then we have one of the three possibilities 1. Both (P) and (D) are infeasible. 2. One is infeasible and the other is unbounded. 3. Both are feasible and if x∗ and y∗ are optimal solutions to (P) and (D) respectively, then c>x∗ = b>y∗. *Lecturer: Anupam Gupta. Scribe: Deepak Bal. 1 LECTURE 6. DUALITY OF LPS AND APPLICATIONS 2 6.1.2 A Comment about Complexity Note that the duality theorem (and equivalently, the Farkas Lemma) puts several problems related to LP feasibility and solvability in NP \ co-NP. E.g., Consider the question of whether the equational form LP Ax = b; x ≥ 0 is feasible. If the program is feasible, we may efficiently verify this by checking that a \certificate” point satisfies the equations. By taking this point to be a vertex and appealing to Hwk1 (Problem 4), we see that we may represent this certificate point in size polynomial in the size of the input.
    [Show full text]
  • Duality Theory and Sensitivity Analysis
    4 Duality Theory and Sensitivity Analysis The notion of duality is one of the most important concepts in linear programming. Basically, associated with each linear programming problem (we may call it the primal problem), defined by the constraint matrix A, the right-hand-side vector b, and the cost vector c, there is a corresponding linear programming problem (called the dual problem) which is constructed by the same set of data A, b, and c. A pair of primal and dual problems are closely related. The interesting relationship between the primal and dual reveals important insights into solving linear programming problems. To begin this chapter, we introduce a dual problem for the standard-form linear programming problem. Then we study the fundamental relationship between the primal and dual problems. Both the "strong" and "weak" duality theorems will be presented. An economic interpretation of the dual variables and dual problem further exploits the concepts in duality theory. These concepts are then used to derive two important simplex algorithms, namely the dual simplex algorithm and the primal dual algorithm, for solving linear programming problems. We conclude this chapter with the sensitivity analysis, which is the study of the effects of changes in the parameters (A, b, and c) of a linear programming problem on its optimal solution. In particular, we study different methods of changing the cost vector, changing the right-hand-side vector, adding and removing a variable, and adding and removing a constraint in linear programming. 55 56 Duality Theory and Sensitivity Analysis Chap. 4 4.1 DUAL LINEAR PROGRAM Consider a linear programming problem in its standard form: Minimize cT x (4.1a) subject to Ax = b (4.1b) x:::O (4.1c) where c and x are n-dimensional column vectors, A an m x n matrix, and b an m­ dimensional column vector.
    [Show full text]
  • Duality Gap Estimation Via a Refined Shapley--Folkman Lemma | SIAM
    SIAM J. OPTIM. \bigcircc 2020 Society for Industrial and Applied Mathematics Vol. 30, No. 2, pp. 1094{1118 DUALITY GAP ESTIMATION VIA A REFINED SHAPLEY{FOLKMAN LEMMA \ast YINGJIE BIy AND AO TANG z Abstract. Based on concepts like the kth convex hull and finer characterization of noncon- vexity of a function, we propose a refinement of the Shapley{Folkman lemma and derive anew estimate for the duality gap of nonconvex optimization problems with separable objective functions. We apply our result to the network utility maximization problem in networking and the dynamic spectrum management problem in communication as examples to demonstrate that the new bound can be qualitatively tighter than the existing ones. The idea is also applicable to cases with general nonconvex constraints. Key words. nonconvex optimization, duality gap, convex relaxation, network resource alloca- tion AMS subject classifications. 90C26, 90C46 DOI. 10.1137/18M1174805 1. Introduction. The Shapley{Folkman lemma (Theorem 1.1) was stated and used to establish the existence of approximate equilibria in economy with nonconvex preferences [13]. It roughly says that the sum of a large number of sets is close to convex and thus can be used to generalize results on convex objects to nonconvex ones. n m P Theorem 1.1. Let S1;S2;:::;Sn be subsets of R . For each z 2 conv i=1 Si = Pn conv S , there exist points zi 2 conv S such that z = Pn zi and zi 2 S except i=1 i i i=1 i for at most m values of i. Remark 1.2.
    [Show full text]
  • On the Ekeland Variational Principle with Applications and Detours
    Lectures on The Ekeland Variational Principle with Applications and Detours By D. G. De Figueiredo Tata Institute of Fundamental Research, Bombay 1989 Author D. G. De Figueiredo Departmento de Mathematica Universidade de Brasilia 70.910 – Brasilia-DF BRAZIL c Tata Institute of Fundamental Research, 1989 ISBN 3-540- 51179-2-Springer-Verlag, Berlin, Heidelberg. New York. Tokyo ISBN 0-387- 51179-2-Springer-Verlag, New York. Heidelberg. Berlin. Tokyo No part of this book may be reproduced in any form by print, microfilm or any other means with- out written permission from the Tata Institute of Fundamental Research, Colaba, Bombay 400 005 Printed by INSDOC Regional Centre, Indian Institute of Science Campus, Bangalore 560012 and published by H. Goetze, Springer-Verlag, Heidelberg, West Germany PRINTED IN INDIA Preface Since its appearance in 1972 the variational principle of Ekeland has found many applications in different fields in Analysis. The best refer- ences for those are by Ekeland himself: his survey article [23] and his book with J.-P. Aubin [2]. Not all material presented here appears in those places. Some are scattered around and there lies my motivation in writing these notes. Since they are intended to students I included a lot of related material. Those are the detours. A chapter on Nemyt- skii mappings may sound strange. However I believe it is useful, since their properties so often used are seldom proved. We always say to the students: go and look in Krasnoselskii or Vainberg! I think some of the proofs presented here are more straightforward. There are two chapters on applications to PDE.
    [Show full text]
  • Subdifferentiability and the Duality
    Subdifferentiability and the Duality Gap Neil E. Gretsky ([email protected]) ∗ Department of Mathematics, University of California, Riverside Joseph M. Ostroy ([email protected]) y Department of Economics, University of California, Los Angeles William R. Zame ([email protected]) z Department of Economics, University of California, Los Angeles Abstract. We point out a connection between sensitivity analysis and the funda- mental theorem of linear programming by characterizing when a linear programming problem has no duality gap. The main result is that the value function is subd- ifferentiable at the primal constraint if and only if there exists an optimal dual solution and there is no duality gap. To illustrate the subtlety of the condition, we extend Kretschmer's gap example to construct (as the value function of a linear programming problem) a convex function which is subdifferentiable at a point but is not continuous there. We also apply the theorem to the continuum version of the assignment model. Keywords: duality gap, value function, subdifferentiability, assignment model AMS codes: 90C48,46N10 1. Introduction The purpose of this note is to point out a connection between sensi- tivity analysis and the fundamental theorem of linear programming. The subject has received considerable attention and the connection we find is remarkably simple. In fact, our observation in the context of convex programming follows as an application of conjugate duality [11, Theorem 16]. Nevertheless, it is useful to give a separate proof since the conclusion is more readily established and its import for linear programming is more clearly seen. The main result (Theorem 1) is that in a linear programming prob- lem there exists an optimal dual solution and there is no duality gap if and only if the value function is subdifferentiable at the primal constraint.
    [Show full text]
  • A Perturbation View of Level-Set Methods for Convex Optimization
    A perturbation view of level-set methods for convex optimization Ron Estrin · Michael P. Friedlander January 17, 2020 (revised May 15, 2020) Abstract Level-set methods for convex optimization are predicated on the idea that certain problems can be parameterized so that their solutions can be recov- ered as the limiting process of a root-finding procedure. This idea emerges time and again across a range of algorithms for convex problems. Here we demonstrate that strong duality is a necessary condition for the level-set approach to succeed. In the absence of strong duality, the level-set method identifies -infeasible points that do not converge to a feasible point as tends to zero. The level-set approach is also used as a proof technique for establishing sufficient conditions for strong duality that are different from Slater's constraint qualification. Keywords convex analysis · duality · level-set methods 1 Introduction Duality in convex optimization may be interpreted as a notion of sensitivity of an optimization problem to perturbations of its data. Similar notions of sensitivity appear in numerical analysis, where the effects of numerical errors on the stability of the computed solution are of central concern. Indeed, backward-error analysis (Higham 2002, §1.5) describes the related notion that computed approximate solutions may be considered as exact solutions of perturbations of the original problem. It is natural, then, to ask if duality can help us understand the behavior of a class of numerical algorithms for convex optimization. In this paper, we describe how the level-set method (van den Berg and Friedlander 2007, 2008a; Aravkin et al.
    [Show full text]
  • Lagrangian Duality and Perturbational Duality I ∗
    Lagrangian duality and perturbational duality I ∗ Erik J. Balder Our approach to the Karush-Kuhn-Tucker theorem in [OSC] was entirely based on subdifferential calculus (essentially, it was an outgrowth of the two subdifferential calculus rules contained in the Fenchel-Moreau and Dubovitskii-Milyutin theorems, i.e., Theorems 2.9 and 2.17 of [OSC]). On the other hand, Proposition B.4(v) in [OSC] gives an intimate connection between the subdifferential of a function and the Fenchel conjugate of that function. In the present set of lecture notes this connection forms the central analytical tool by which one can study the connections between an optimization problem and its so-called dual optimization problem (such connections are commonly known as duality relations). We shall first study duality for the convex optimization problem that figured in our Karush-Kuhn-Tucker results. In this simple form such duality is known as Lagrangian duality. Next, in section 2 this is followed by a far-reaching extension of duality to abstract optimization problems, which leads to duality-stability relationships. Then, in section 3 we specialize duality to optimization problems with cone-type constraints, which includes Fenchel duality for semidefinite programming problems. 1 Lagrangian duality An interesting and useful interpretation of the KKT theorem can be obtained in terms of the so-called duality principle (or relationships) for convex optimization. Recall our standard convex minimization problem as we had it in [OSC]: (P ) inf ff(x): g1(x) ≤ 0; ··· ; gm(x) ≤ 0; Ax − b = 0g x2S n and recall that we allow the functions f; g1; : : : ; gm on R to have values in (−∞; +1].
    [Show full text]
  • Bounding the Duality Gap for Problems with Separable Objective
    Bounding the Duality Gap for Problems with Separable Objective Madeleine Udell and Stephen Boyd March 8, 2014 Abstract We consider the problem of minimizing a sum of non-convex func- tions over a compact domain, subject to linear inequality and equality constraints. We consider approximate solutions obtained by solving a convexified problem, in which each function in the objective is replaced by its convex envelope. We propose a randomized algorithm to solve the convexified problem which finds an -suboptimal solution to the original problem. With probability 1, is bounded by a term propor- tional to the number of constraints in the problem. The bound does not depend on the number of variables in the problem or the number of terms in the objective. In contrast to previous related work, our proof is constructive, self-contained, and gives a bound that is tight. 1 Problem and results The problem. We consider the optimization problem Pn minimize f(x) = i=1 fi(xi) subject to Ax ≤ b (P) Gx = h; N ni Pn with variable x = (x1; : : : ; xn) 2 R , where xi 2 R , with i=1 ni = N. m1×N There are m1 linear inequality constraints, so A 2 R , and m2 linear equality constraints, so G 2 Rm2×N . The optimal value of P is denoted p?. The objective function terms are lower semi-continuous on their domains: 1 ni fi : Si ! R, where Si ⊂ R is a compact set. We say that a point x is feasible (for P) if Ax ≤ b, Gx = h, and xi 2 Si, i = 1; : : : ; n.
    [Show full text]
  • Arxiv:2001.06511V2 [Math.OC] 16 May 2020 R
    A perturbation view of level-set methods for convex optimization Ron Estrin · Michael P. Friedlander January 17, 2020 (revised May 15, 2020) Abstract Level-set methods for convex optimization are predicated on the idea that certain problems can be parameterized so that their solutions can be recovered as the limiting process of a root-finding procedure. This idea emerges time and again across a range of algorithms for convex problems. Here we demonstrate that strong duality is a necessary condition for the level-set approach to succeed. In the absence of strong duality, the level-set method identifies -infeasible points that do not converge to a feasible point as tends to zero. The level-set approach is also used as a proof technique for establishing sufficient conditions for strong duality that are different from Slater's constraint qualification. Keywords convex analysis · duality · level-set methods 1 Introduction Duality in convex optimization may be interpreted as a notion of sensitivity of an optimization problem to perturbations of its data. Similar notions of sensitivity ap- pear in numerical analysis, where the effects of numerical errors on the stability of the computed solution are of central concern. Indeed, backward-error analysis (Higham 2002, x1.5) describes the related notion that computed approximate solutions may be considered as exact solutions of perturbations of the original problem. It is natural, then, to ask if duality can help us understand the behavior of a class of numerical al- gorithms for convex optimization. In this paper, we describe how the level-set method arXiv:2001.06511v2 [math.OC] 16 May 2020 R.
    [Show full text]