Mathematical Programming最新文献

{"title":"Convergence rates for sums-of-squares hierarchies with correlative sparsity","authors":"","doi":"10.1007/s10107-024-02071-6","DOIUrl":"https://doi.org/10.1007/s10107-024-02071-6","url":null,"abstract":"<h3>Abstract</h3> <p>This work derives upper bounds on the convergence rate of the moment-sum-of-squares hierarchy with correlative sparsity for global minimization of polynomials on compact basic semialgebraic sets. The main conclusion is that both sparse hierarchies based on the Schmüdgen and Putinar Positivstellensätze enjoy a polynomial rate of convergence that depends on the size of the largest clique in the sparsity graph but not on the ambient dimension. Interestingly, the sparse bounds outperform the best currently available bounds for the dense hierarchy when the maximum clique size is sufficiently small compared to the ambient dimension and the performance is measured by the running time of an interior point method required to obtain a bound on the global minimum of a given accuracy.</p>","PeriodicalId":18297,"journal":{"name":"Mathematical Programming","volume":null,"pages":null},"PeriodicalIF":2.7,"publicationDate":"2024-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140298272","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Accelerated first-order methods for a class of semidefinite programs","authors":"Alex L. Wang, Fatma Kılınç-Karzan","doi":"10.1007/s10107-024-02073-4","DOIUrl":"https://doi.org/10.1007/s10107-024-02073-4","url":null,"abstract":"<p>This paper introduces a new storage-optimal first-order method, CertSDP, for solving a special class of semidefinite programs (SDPs) to high accuracy. The class of SDPs that we consider, the <i>exact QMP-like SDPs</i>, is characterized by low-rank solutions, <i>a priori</i> knowledge of the restriction of the SDP solution to a small subspace, and standard regularity assumptions such as strict complementarity. Crucially, we show how to use a <i>certificate of strict complementarity</i> to construct a low-dimensional strongly convex minimax problem whose optimizer coincides with a factorization of the SDP optimizer. From an algorithmic standpoint, we show how to construct the necessary certificate and how to solve the minimax problem efficiently. Our algorithms for strongly convex minimax problems with inexact prox maps may be of independent interest. We accompany our theoretical results with preliminary numerical experiments suggesting that CertSDP significantly outperforms current state-of-the-art methods on large sparse exact QMP-like SDPs.\u0000</p>","PeriodicalId":18297,"journal":{"name":"Mathematical Programming","volume":null,"pages":null},"PeriodicalIF":2.7,"publicationDate":"2024-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140203212","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Sum-of-squares relaxations for polynomial min–max problems over simple sets","authors":"","doi":"10.1007/s10107-024-02072-5","DOIUrl":"https://doi.org/10.1007/s10107-024-02072-5","url":null,"abstract":"<h3>Abstract</h3> <p>We consider min–max optimization problems for polynomial functions, where a multivariate polynomial is maximized with respect to a subset of variables, and the resulting maximal value is minimized with respect to the remaining variables. When the variables belong to simple sets (e.g., a hypercube, the Euclidean hypersphere, or a ball), we derive a sum-of-squares formulation based on a primal-dual approach. In the simplest setting, we provide a convergence proof when the degree of the relaxation tends to infinity and observe empirically that it can be finitely convergent in several situations. Moreover, our formulation leads to an interesting link with feasibility certificates for polynomial inequalities based on Putinar’s Positivstellensatz. </p>","PeriodicalId":18297,"journal":{"name":"Mathematical Programming","volume":null,"pages":null},"PeriodicalIF":2.7,"publicationDate":"2024-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140147007","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"A slightly lifted convex relaxation for nonconvex quadratic programming with ball constraints","authors":"Samuel Burer","doi":"10.1007/s10107-024-02076-1","DOIUrl":"https://doi.org/10.1007/s10107-024-02076-1","url":null,"abstract":"<p>Globally optimizing a nonconvex quadratic over the intersection of <i>m</i> balls in <span>(mathbb {R}^n)</span> is known to be polynomial-time solvable for fixed <i>m</i>. Moreover, when <span>(m=1)</span>, the standard semidefinite relaxation is exact. When <span>(m=2)</span>, it has been shown recently that an exact relaxation can be constructed using a disjunctive semidefinite formulation based essentially on two copies of the <span>(m=1)</span> case. However, there is no known explicit, tractable, exact convex representation for <span>(m ge 3)</span>. In this paper, we construct a new, polynomially sized semidefinite relaxation for all <i>m</i>, which does not employ a disjunctive approach. We show that our relaxation is exact for <span>(m=2)</span>. Then, for <span>(m ge 3)</span>, we demonstrate empirically that it is fast and strong compared to existing relaxations. The key idea of the relaxation is a simple lifting of the original problem into dimension <span>(n, +, 1)</span>. Extending this construction: (i) we show that nonconvex quadratic programming over <span>(Vert xVert le min { 1, g + h^T x })</span> has an exact semidefinite representation; and (ii) we construct a new relaxation for quadratic programming over the intersection of two ellipsoids, which globally solves all instances of a benchmark collection from the literature.</p>","PeriodicalId":18297,"journal":{"name":"Mathematical Programming","volume":null,"pages":null},"PeriodicalIF":2.7,"publicationDate":"2024-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140146947","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Perseus: a simple and optimal high-order method for variational inequalities","authors":"Tianyi Lin, Michael I. Jordan","doi":"10.1007/s10107-024-02075-2","DOIUrl":"https://doi.org/10.1007/s10107-024-02075-2","url":null,"abstract":"<p>This paper settles an open and challenging question pertaining to the design of simple and optimal high-order methods for solving smooth and monotone variational inequalities (VIs). A VI involves finding <span>(x^star in {mathcal {X}})</span> such that <span>(langle F(x), x - x^star rangle ge 0)</span> for all <span>(x in {mathcal {X}})</span>. We consider the setting in which <span>(F: {mathbb {R}}^d rightarrow {mathbb {R}}^d)</span> is smooth with up to <span>((p-1)^{text {th}})</span>-order derivatives. For <span>(p = 2)</span>, the cubic regularization of Newton’s method has been extended to VIs with a global rate of <span>(O(epsilon ^{-1}))</span> (Nesterov in Cubic regularization of Newton’s method for convex problems with constraints, Tech. rep., Université catholique de Louvain, Center for Operations Research and Econometrics (CORE), 2006). An improved rate of <span>(O(epsilon ^{-2/3}log log (1/epsilon )))</span> can be obtained via an alternative second-order method, but this method requires a nontrivial line-search procedure as an inner loop. Similarly, the existing high-order methods based on line-search procedures have been shown to achieve a rate of <span>(O(epsilon ^{-2/(p+1)}log log (1/epsilon )))</span> (Bullins and Lai in SIAM J Optim 32(3):2208–2229, 2022; Jiang and Mokhtari in Generalized optimistic methods for convex–concave saddle point problems, 2022; Lin and Jordan in Math Oper Res 48(4):2353–2382, 2023). As emphasized by Nesterov (Lectures on convex optimization, vol 137, Springer, Berlin, 2018), however, such procedures do not necessarily imply the practical applicability in large-scale applications, and it is desirable to complement these results with a simple high-order VI method that retains the optimality of the more complex methods. We propose a <span>(p^{text {th}})</span>-order method that does <i>not</i> require any line search procedure and provably converges to a weak solution at a rate of <span>(O(epsilon ^{-2/(p+1)}))</span>. We prove that our <span>(p^{text {th}})</span>-order method is optimal in the monotone setting by establishing a lower bound of <span>(Omega (epsilon ^{-2/(p+1)}))</span> under a generalized linear span assumption. A restarted version of our <span>(p^{text {th}})</span>-order method attains a linear rate for smooth and <span>(p^{text {th}})</span>-order uniformly monotone VIs and another restarted version of our <span>(p^{text {th}})</span>-order method attains a local superlinear rate for smooth and strongly monotone VIs. Further, the similar <span>(p^{text {th}})</span>-order method achieves a global rate of <span>(O(epsilon ^{-2/p}))</span> for solving smooth and nonmonotone VIs satisfying the Minty condition. Two restarted versions attain a global linear rate under additional <span>(p^{text {th}})</span>-order uniform Minty condition and a local superlinear rate under additional strong Minty condition.</p>","PeriodicalId":18297,"journal":{"name":"Mathematical Programming","volume":null,"pages":null},"PeriodicalIF":2.7,"publicationDate":"2024-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140128068","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Generalized Nash equilibrium problems with mixed-integer variables","authors":"","doi":"10.1007/s10107-024-02063-6","DOIUrl":"https://doi.org/10.1007/s10107-024-02063-6","url":null,"abstract":"<h3>Abstract</h3> <p>We consider generalized Nash equilibrium problems (GNEPs) with non-convex strategy spaces and non-convex cost functions. This general class of games includes the important case of games with mixed-integer variables for which only a few results are known in the literature. We present a new approach to characterize equilibria via a convexification technique using the Nikaido–Isoda function. To any given instance of the GNEP, we construct a set of convexified instances and show that a feasible strategy profile is an equilibrium for the original instance if and only if it is an equilibrium for any convexified instance and the convexified cost functions coincide with the initial ones. We develop this convexification approach along three dimensions: We first show that for <em>quasi-linear</em> models, where a convexified instance exists in which for fixed strategies of the opponent players, the cost function of every player is linear and the respective strategy space is polyhedral, the convexification reduces the GNEP to a standard (non-linear) optimization problem. Secondly, we derive two complete characterizations of those GNEPs for which the convexification leads to a jointly constrained or a jointly convex GNEP, respectively. These characterizations require new concepts related to the interplay of the convex hull operator applied to restricted subsets of feasible strategies and may be interesting on their own. Note that this characterization is also computationally relevant as jointly convex GNEPs have been extensively studied in the literature. Finally, we demonstrate the applicability of our results by presenting a numerical study regarding the computation of equilibria for three classes of GNEPs related to integral network flows and discrete market equilibria.</p>","PeriodicalId":18297,"journal":{"name":"Mathematical Programming","volume":null,"pages":null},"PeriodicalIF":2.7,"publicationDate":"2024-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140128067","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"The Chvátal–Gomory procedure for integer SDPs with applications in combinatorial optimization","authors":"","doi":"10.1007/s10107-024-02069-0","DOIUrl":"https://doi.org/10.1007/s10107-024-02069-0","url":null,"abstract":"<h3>Abstract</h3> <p>In this paper we study the well-known Chvátal–Gomory (CG) procedure for the class of integer semidefinite programs (ISDPs). We prove several results regarding the hierarchy of relaxations obtained by iterating this procedure. We also study different formulations of the elementary closure of spectrahedra. A polyhedral description of the elementary closure for a specific type of spectrahedra is derived by exploiting total dual integrality for SDPs. Moreover, we show how to exploit (strengthened) CG cuts in a branch-and-cut framework for ISDPs. Different from existing algorithms in the literature, the separation routine in our approach exploits both the semidefinite and the integrality constraints. We provide separation routines for several common classes of binary SDPs resulting from combinatorial optimization problems. In the second part of the paper we present a comprehensive application of our approach to the quadratic traveling salesman problem (<span>QTSP</span>). Based on the algebraic connectivity of the directed Hamiltonian cycle, two ISDPs that model the <span>QTSP</span> are introduced. We show that the CG cuts resulting from these formulations contain several well-known families of cutting planes. Numerical results illustrate the practical strength of the CG cuts in our branch-and-cut algorithm, which outperforms alternative ISDP solvers and is able to solve large <span>QTSP</span> instances to optimality.</p>","PeriodicalId":18297,"journal":{"name":"Mathematical Programming","volume":null,"pages":null},"PeriodicalIF":2.7,"publicationDate":"2024-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140127998","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Generalized minimum 0-extension problem and discrete convexity","authors":"Martin Dvorak, Vladimir Kolmogorov","doi":"10.1007/s10107-024-02064-5","DOIUrl":"https://doi.org/10.1007/s10107-024-02064-5","url":null,"abstract":"<p>Given a fixed finite metric space <span>((V,mu ))</span>, the <i>minimum 0-extension problem</i>, denoted as <span>(mathtt{0hbox {-}Ext}[{mu }])</span>, is equivalent to the following optimization problem: minimize function of the form <span>(min nolimits _{xin V^n} sum _i f_i(x_i) + sum _{ij} c_{ij}hspace{0.5pt}mu (x_i,x_j))</span> where <span>(f_i:Vrightarrow mathbb {R})</span> are functions given by <span>(f_i(x_i)=sum _{vin V} c_{vi}hspace{0.5pt}mu (x_i,v))</span> and <span>(c_{ij},c_{vi})</span> are given nonnegative costs. The computational complexity of <span>(mathtt{0hbox {-}Ext}[{mu }])</span> has been recently established by Karzanov and by Hirai: if metric <span>(mu )</span> is <i>orientable modular</i> then <span>(mathtt{0hbox {-}Ext}[{mu }])</span> can be solved in polynomial time, otherwise <span>(mathtt{0hbox {-}Ext}[{mu }])</span> is NP-hard. To prove the tractability part, Hirai developed a theory of discrete convex functions on orientable modular graphs generalizing several known classes of functions in discrete convex analysis, such as <span>(L^natural )</span>-convex functions. We consider a more general version of the problem in which unary functions <span>(f_i(x_i))</span> can additionally have terms of the form <span>(c_{uv;i}hspace{0.5pt}mu (x_i,{u,v}))</span> for <span>({u,!hspace{0.5pt}hspace{0.5pt}v}in F)</span>, where set <span>(Fsubseteq left( {begin{array}{c}V 2end{array}}right) )</span> is fixed. We extend the complexity classification above by providing an explicit condition on <span>((mu ,F))</span> for the problem to be tractable. In order to prove the tractability part, we generalize Hirai’s theory and define a larger class of discrete convex functions. It covers, in particular, another well-known class of functions, namely submodular functions on an integer lattice. Finally, we improve the complexity of Hirai’s algorithm for solving <span>(mathtt{0hbox {-}Ext}[{mu }])</span> on orientable modular graphs.</p>","PeriodicalId":18297,"journal":{"name":"Mathematical Programming","volume":null,"pages":null},"PeriodicalIF":2.7,"publicationDate":"2024-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140074954","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Polyhedral properties of RLT relaxations of nonconvex quadratic programs and their implications on exact relaxations","authors":"Yuzhou Qiu, E. Alper Yıldırım","doi":"10.1007/s10107-024-02070-7","DOIUrl":"https://doi.org/10.1007/s10107-024-02070-7","url":null,"abstract":"<p>We study linear programming relaxations of nonconvex quadratic programs given by the reformulation–linearization technique (RLT), referred to as RLT relaxations. We investigate the relations between the polyhedral properties of the feasible regions of a quadratic program and its RLT relaxation. We establish various connections between recession directions, boundedness, and vertices of the two feasible regions. Using these properties, we present a complete description of the set of instances that admit an exact RLT relaxation. We then give a thorough discussion of how our results can be converted into simple algorithmic procedures to construct instances of quadratic programs with exact, inexact, or unbounded RLT relaxations.</p>","PeriodicalId":18297,"journal":{"name":"Mathematical Programming","volume":null,"pages":null},"PeriodicalIF":2.7,"publicationDate":"2024-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140057690","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Level constrained first order methods for function constrained optimization","authors":"Digvijay Boob, Qi Deng, Guanghui Lan","doi":"10.1007/s10107-024-02057-4","DOIUrl":"https://doi.org/10.1007/s10107-024-02057-4","url":null,"abstract":"<p>We present a new feasible proximal gradient method for constrained optimization where both the objective and constraint functions are given by summation of a smooth, possibly nonconvex function and a convex simple function. The algorithm converts the original problem into a sequence of convex subproblems. Formulating those subproblems requires the evaluation of at most one gradient-value of the original objective and constraint functions. Either exact or approximate subproblems solutions can be computed efficiently in many cases. An important feature of the algorithm is the constraint level parameter. By carefully increasing this level for each subproblem, we provide a simple solution to overcome the challenge of bounding the Lagrangian multipliers and show that the algorithm follows a strictly feasible solution path till convergence to the stationary point. We develop a simple, proximal gradient descent type analysis, showing that the complexity bound of this new algorithm is comparable to gradient descent for the unconstrained setting which is new in the literature. Exploiting this new design and analysis technique, we extend our algorithms to some more challenging constrained optimization problems where (1) the objective is a stochastic or finite-sum function, and (2) structured nonsmooth functions replace smooth components of both objective and constraint functions. Complexity results for these problems also seem to be new in the literature. Finally, our method can also be applied to convex function constrained problems where we show complexities similar to the proximal gradient method.</p>","PeriodicalId":18297,"journal":{"name":"Mathematical Programming","volume":null,"pages":null},"PeriodicalIF":2.7,"publicationDate":"2024-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140054873","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}