IDEAS home Printed from https://ideas.repec.org/a/spr/jglopt/v63y2015i2p343-361.html
   My bibliography  Save this article

Smaller SDP for SOS decomposition

Author

Listed:
  • Liyun Dai
  • Bican Xia

Abstract

A popular numerical method to compute sum of squares (SOS of polynomials) decompositions for polynomials is to transform the problem into semi-definite programming (SDP) problems and then solve them by SDP solvers. In this paper, we focus on reducing the sizes of inputs to SDP solvers to improve the efficiency and reliability of those SDP based methods. Two types of polynomials, convex cover polynomials and split polynomials, are defined. A convex cover polynomial or a split polynomial can be decomposed into several smaller sub-polynomials such that the original polynomial is SOS if and only if the sub-polynomials are all SOS. Thus the original SOS problem can be decomposed equivalently into smaller sub-problems. It is proved that convex cover polynomials are split polynomials and it is quite possible that sparse polynomials with many variables are split polynomials, which can be efficiently detected in practice. Some necessary conditions for polynomials to be SOS are also given, which can help refute quickly those polynomials which have no SOS representations so that SDP solvers are not called in this case. All the new results lead to a new SDP based method to compute SOS decompositions, which improves this kind of methods by passing smaller inputs to SDP solvers in some cases. Experiments show that the number of monomials obtained by our program is often smaller than that by other SDP based software, especially for polynomials with many variables and high degrees. Numerical results on various tests are reported to show the performance of our program. Copyright Springer Science+Business Media New York 2015

Suggested Citation

  • Liyun Dai & Bican Xia, 2015. "Smaller SDP for SOS decomposition," Journal of Global Optimization, Springer, vol. 63(2), pages 343-361, October.
  • Handle: RePEc:spr:jglopt:v:63:y:2015:i:2:p:343-361
    DOI: 10.1007/s10898-015-0300-9
    as

    Download full text from publisher

    File URL: http://hdl.handle.net/10.1007/s10898-015-0300-9
    Download Restriction: Access to full text is restricted to subscribers.

    File URL: https://libkey.io/10.1007/s10898-015-0300-9?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. NESTEROV, Yu., 2000. "Squared functional systems and optimization problems," LIDAM Reprints CORE 1472, Université catholique de Louvain, Center for Operations Research and Econometrics (CORE).
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Wang, Wei & Xu, Huifu & Ma, Tiejun, 2023. "Optimal scenario-dependent multivariate shortfall risk measure and its application in risk capital allocation," European Journal of Operational Research, Elsevier, vol. 306(1), pages 322-347.
    2. Kato, Naohiro & Kuriki, Satoshi, 2013. "Likelihood ratio tests for positivity in polynomial regressions," Journal of Multivariate Analysis, Elsevier, vol. 115(C), pages 334-346.
    3. Sturm, J.F. & Zhang, S., 2001. "On Cones of Nonnegative Quadratic Functions," Discussion Paper 2001-26, Tilburg University, Center for Economic Research.
    4. Siem, A.Y.D. & de Klerk, E. & den Hertog, D., 2005. "Discrete Least-norm Approximation by Nonnegative (Trigonomtric) Polynomials and Rational Functions," Discussion Paper 2005-73, Tilburg University, Center for Economic Research.
    5. Siem, A.Y.D. & de Klerk, E. & den Hertog, D., 2005. "Discrete Least-norm Approximation by Nonnegative (Trigonomtric) Polynomials and Rational Functions," Other publications TiSEM 43a1152a-8130-4e42-851b-e, Tilburg University, School of Economics and Management.
    6. Jibetean, D. & de Klerk, E., 2006. "Global optimization of rational functions : A semidefinite programming approach," Other publications TiSEM 25febbc3-cd0c-4eb7-9d37-d, Tilburg University, School of Economics and Management.
    7. Jos F. Sturm & Shuzhong Zhang, 2003. "On Cones of Nonnegative Quadratic Functions," Mathematics of Operations Research, INFORMS, vol. 28(2), pages 246-267, May.
    8. Sönke Behrends & Ruth Hübner & Anita Schöbel, 2018. "Norm bounds and underestimators for unconstrained polynomial integer minimization," Mathematical Methods of Operations Research, Springer;Gesellschaft für Operations Research (GOR);Nederlands Genootschap voor Besliskunde (NGB), vol. 87(1), pages 73-107, February.
    9. Roland Hildebrand, 2022. "Semi-definite Representations for Sets of Cubics on the Two-dimensional Sphere," Journal of Optimization Theory and Applications, Springer, vol. 195(2), pages 666-675, November.
    10. DEVOLDER, Olivier & GLINEUR, François & NESTEROV, Yurii, 2010. "Solving infinite-dimensional optimization problems by polynomial approximation," LIDAM Discussion Papers CORE 2010029, Université catholique de Louvain, Center for Operations Research and Econometrics (CORE).
    11. Monique Laurent, 2003. "A Comparison of the Sherali-Adams, Lovász-Schrijver, and Lasserre Relaxations for 0--1 Programming," Mathematics of Operations Research, INFORMS, vol. 28(3), pages 470-496, August.
    12. de Klerk, E. & Elfadul, G.E.E. & den Hertog, D., 2006. "Optimization of Univariate Functions on Bounded Intervals by Interpolation and Semidefinite Programming," Discussion Paper 2006-26, Tilburg University, Center for Economic Research.
    13. Wu, Zhiyou & Tian, Jing & Quan, Jing & Ugon, Julien, 2014. "Optimality conditions and optimization methods for quartic polynomial optimization," Applied Mathematics and Computation, Elsevier, vol. 232(C), pages 968-982.
    14. Ivanov, I.D. & de Klerk, E., 2007. "Parallel Implementation of a Semidefinite Programming Solver based on CSDP in a distributed memory cluster," Discussion Paper 2007-20, Tilburg University, Center for Economic Research.
    15. Karthik Natarajan & Chung Piaw Teo & Zhichao Zheng, 2011. "Mixed 0-1 Linear Programs Under Objective Uncertainty: A Completely Positive Representation," Operations Research, INFORMS, vol. 59(3), pages 713-728, June.
    16. Zhi Chen & Melvyn Sim & Huan Xu, 2019. "Distributionally Robust Optimization with Infinitely Constrained Ambiguity Sets," Operations Research, INFORMS, vol. 67(5), pages 1328-1344, September.
    17. Jenny Carolina Saldana Cortés, 2011. "Programación semidefinida aplicada a problemas de cantidad económica de pedido," Documentos CEDE 8735, Universidad de los Andes, Facultad de Economía, CEDE.
    18. Meng-Meng Zheng & Zheng-Hai Huang & Sheng-Long Hu, 2022. "Unconstrained minimization of block-circulant polynomials via semidefinite program in third-order tensor space," Journal of Global Optimization, Springer, vol. 84(2), pages 415-440, October.
    19. Monique Laurent, 2003. "Lower Bound for the Number of Iterations in Semidefinite Hierarchies for the Cut Polytope," Mathematics of Operations Research, INFORMS, vol. 28(4), pages 871-883, November.
    20. Ivanov, I.D. & de Klerk, E., 2007. "Parallel Implementation of a Semidefinite Programming Solver based on CSDP in a distributed memory cluster," Other publications TiSEM 9b41ff5e-2808-4d12-a58c-0, Tilburg University, School of Economics and Management.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:jglopt:v:63:y:2015:i:2:p:343-361. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.