{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T17:40:31Z","timestamp":1781545231340,"version":"3.54.5"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2025,2,15]],"date-time":"2025-02-15T00:00:00Z","timestamp":1739577600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,2,15]],"date-time":"2025-02-15T00:00:00Z","timestamp":1739577600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math. Program."],"published-print":{"date-parts":[[2025,11]]},"DOI":"10.1007\/s10107-025-02199-z","type":"journal-article","created":{"date-parts":[[2025,2,15]],"date-time":"2025-02-15T05:02:46Z","timestamp":1739595766000},"page":"685-722","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Finite convergence of the Moment-SOS hierarchy for polynomial matrix optimization"],"prefix":"10.1007","volume":"214","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9734-5387","authenticated-orcid":false,"given":"Lei","family":"Huang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jiawang","family":"Nie","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,2,15]]},"reference":[{"key":"2199_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03718-8","volume-title":"Real Algebraic Geometry","author":"J Bochnak","year":"1998","unstructured":"Bochnak, J., Coste, M., Roy, M.: Real Algebraic Geometry. Springer, Berlin (1998)"},{"key":"2199_CR2","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.jalgebra.2012.03.011","volume":"359","author":"J Cimpri\u0109","year":"2012","unstructured":"Cimpri\u0109, J.: Real algebraic geometry for matrices over commutative rings. J. Algebra 359, 89\u2013103 (2012)","journal-title":"J. Algebra"},{"key":"2199_CR3","first-page":"189","volume":"54","author":"R Curto","year":"2005","unstructured":"Curto, R., Fialkow, L.: Truncated K-moment problems in several variables. J. Oper. Theory 54, 189\u2013226 (2005)","journal-title":"J. Oper. Theory"},{"key":"2199_CR4","doi-asserted-by":"publisher","first-page":"824","DOI":"10.1137\/100814147","volume":"21","author":"E De Klerk","year":"2011","unstructured":"De Klerk, E., Laurent, M.: On the Lasserre hierarchy of semidefinite programming relaxations of convex polynomial optimization problems. SIAM J. Optim. 21, 824\u2013832 (2011)","journal-title":"SIAM J. Optim."},{"issue":"12","key":"2199_CR5","doi-asserted-by":"publisher","first-page":"2494","DOI":"10.1080\/00207179.2010.531397","volume":"83","author":"A Deliba\u015f\u0131","year":"2010","unstructured":"Deliba\u015f\u0131, A., Henrion, D.: Hermite matrix in Lagrange basis for scaling static output feedback polynomial matrix inequalities. Int. J. Control 83(12), 2494\u20132505 (2010)","journal-title":"Int. J. Control"},{"issue":"1\u20132","key":"2199_CR6","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s10107-015-0915-0","volume":"158","author":"D Dorsch","year":"2016","unstructured":"Dorsch, D., G\u00f3mez, W., Shikhman, V.: Sufficient optimality conditions hold for almost all nonlinear semidefinite programs. Math. Program. 158(1\u20132), 77\u201397 (2016)","journal-title":"Math. Program."},{"key":"2199_CR7","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/PL00011370","volume":"88","author":"A Forsgren","year":"2000","unstructured":"Forsgren, A.: Optimality conditions for nonconvex semidefinite programming. Math. Program. 88, 105\u2013128 (2000)","journal-title":"Math. Program."},{"issue":"5","key":"2199_CR8","doi-asserted-by":"publisher","first-page":"1013","DOI":"10.1007\/s10208-018-09410-y","volume":"19","author":"S Gribling","year":"2019","unstructured":"Gribling, S., de Laat, D., Laurent, M.: Lower bounds on matrix factorization ranks via noncommutative polynomial optimization. Found. Comput. Math. 19(5), 1013\u20131070 (2019)","journal-title":"Found. Comput. Math."},{"key":"2199_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.laa.2022.04.010","volume":"648","author":"S Gribling","year":"2022","unstructured":"Gribling, S., Laurent, M., Steenkamp, A.: Bounding the separable rank via polynomial optimization. Linear Algebra Appl. 648, 1\u201355 (2022)","journal-title":"Linear Algebra Appl."},{"key":"2199_CR10","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-319-16865-4_20","volume":"9003","author":"J Heller","year":"2015","unstructured":"Heller, J., Henrion, D., Pajdla, T.: Stable radial distortion calibration by polynomial matrix inequalities programming. Lect. Notes Comput. Sci. 9003, 307\u2013321 (2015)","journal-title":"Lect. Notes Comput. Sci."},{"key":"2199_CR11","doi-asserted-by":"crossref","unstructured":"Henrion, D., Lasserre, J.: Detecting global optimality and extracting solutions in Gloptipoly. In: Positive polynomials in control, 293.C310, Lecture Notes in Control and Inform. Sci., 312, Springer (2005)","DOI":"10.1007\/10997703_15"},{"key":"2199_CR12","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1109\/TAC.2005.863494","volume":"51","author":"D Henrion","year":"2006","unstructured":"Henrion, D., Lasserre, J.: Convergent relaxations of polynomial matrix inequalities and static output feedback. IEEE Trans. Autom. Control 51, 192\u2013202 (2006)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"6","key":"2199_CR13","doi-asserted-by":"publisher","first-page":"1456","DOI":"10.1109\/TAC.2011.2178717","volume":"57","author":"D Henrion","year":"2011","unstructured":"Henrion, D., Lasserre, J.: Inner approximations for polynomial matrix inequalities and robust stability regions. IEEE Trans. Autom. Control 57(6), 1456\u20131467 (2011)","journal-title":"IEEE Trans. Autom. Control"},{"key":"2199_CR14","doi-asserted-by":"publisher","DOI":"10.1142\/q0252","volume-title":"The Moment-SOS Hierarchy: lectures in Probability, Statistics, Computational Geometry, Control And Nonlinear Pdes","author":"D Henrion","year":"2020","unstructured":"Henrion, D., Korda, M., Lasserre, J.: The Moment-SOS Hierarchy: lectures in Probability, Statistics, Computational Geometry, Control And Nonlinear Pdes. World Scientific, Cambridge (2020)"},{"key":"2199_CR15","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1090\/S0002-9939-07-09068-5","volume":"136","author":"C Hillar","year":"2008","unstructured":"Hillar, C., Nie, J.: An elementary and constructive proof of Hilbert\u2019s 17th Problem for matrices. Proc. Amer. Math. Soc. 136, 73\u201376 (2008)","journal-title":"Proc. Amer. Math. Soc."},{"key":"2199_CR16","doi-asserted-by":"publisher","first-page":"1263","DOI":"10.1007\/s11590-022-01940-3","volume":"17","author":"L Huang","year":"2023","unstructured":"Huang, L.: Optimality conditions for homogeneous polynomial optimization on the unit sphere. Optim. Lett. 17, 1263\u20131270 (2023)","journal-title":"Optim. Lett."},{"key":"2199_CR17","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/s10107-022-01878-5","volume":"200","author":"L Huang","year":"2023","unstructured":"Huang, L., Nie, J., Yuan, Y.: Homogenization for polynomial optimization with unbounded sets. Math. Program. 200, 105\u2013145 (2023)","journal-title":"Math. Program."},{"key":"2199_CR18","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/s10915-023-02139-z","volume":"95","author":"L Huang","year":"2023","unstructured":"Huang, L., Nie, J., Yuan, Y.: Generalized truncated moment problems with unbounded sets. J. Sci. Comput. 95, 15 (2023)","journal-title":"J. Sci. Comput."},{"key":"2199_CR19","doi-asserted-by":"crossref","unstructured":"Huang, L., Nie, J., Yuan, Y.: Finite convergence of Moment-SOS relaxations with non-real radical ideals. arXiv preprint, (2023). arXiv:2309.15398","DOI":"10.1137\/23M1605430"},{"issue":"3","key":"2199_CR20","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1512\/iumj.2010.59.4107","volume":"59","author":"I Klep","year":"2010","unstructured":"Klep, I., Schweighofer, M.: Pure states, positive matrix polynomials and sums of hermitian squares. Indiana Univ. Math. J. 59(3), 857\u2013874 (2010)","journal-title":"Indiana Univ. Math. J."},{"issue":"1","key":"2199_CR21","first-page":"703","volume":"205","author":"M Korda","year":"2004","unstructured":"Korda, M., Laurent, M., Margon, V., Steenkamp, A.: Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks. Math. Program. 205(1), 703\u2013744 (2004)","journal-title":"Math. Program."},{"issue":"3","key":"2199_CR22","doi-asserted-by":"publisher","first-page":"796","DOI":"10.1137\/S1052623400366802","volume":"11","author":"J Lasserre","year":"2001","unstructured":"Lasserre, J.: Global optimization with polynomials and the problem of moments. SIAM J. Optim. 11(3), 796\u2013817 (2001)","journal-title":"SIAM J. Optim."},{"key":"2199_CR23","doi-asserted-by":"publisher","first-page":"1995","DOI":"10.1137\/080728214","volume":"19","author":"J Lasserre","year":"2009","unstructured":"Lasserre, J.: Convexity in semi-algebraic geometry and polynomial optimization. SIAM J. Optim. 19, 1995\u20132014 (2009)","journal-title":"SIAM J. Optim."},{"key":"2199_CR24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107447226","volume-title":"An Introduction to Polynomial and Semi-algebraic Optimization","author":"J Lasserre","year":"2015","unstructured":"Lasserre, J.: An Introduction to Polynomial and Semi-algebraic Optimization. Cambridge University Press, Cambridge (2015)"},{"key":"2199_CR25","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/s10208-007-9004-y","volume":"8","author":"J Lasserre","year":"2008","unstructured":"Lasserre, J., Laurent, M., Rostalski, P.: Semidefinite characterization and computation of zero-dimensional real radical ideals. Found. Comput. Math. 8, 607\u2013647 (2008)","journal-title":"Found. Comput. Math."},{"issue":"10","key":"2199_CR26","doi-asserted-by":"publisher","first-page":"2965","DOI":"10.1090\/S0002-9939-05-08133-5","volume":"133","author":"M Laurent","year":"2005","unstructured":"Laurent, M.: Revisiting two theorems of Curto and Fialkow on moment matrices. Proc. Am. Math. Soc. 133(10), 2965\u20132976 (2005)","journal-title":"Proc. Am. Math. Soc."},{"key":"2199_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10107-004-0561-4","volume":"109","author":"M Laurent","year":"2007","unstructured":"Laurent, M.: Semidefinite representations for finite varieties. Math. Program. 109, 1\u201326 (2007)","journal-title":"Math. Program."},{"key":"2199_CR28","first-page":"157","volume-title":"Emerging Applications of Algebraic Geometry of IMA Volumes in Mathematics and its Applications","author":"M Laurent","year":"2009","unstructured":"Laurent, M.: Sums of squares, moment matrices and optimization over polynomials. In: Emerging Applications of Algebraic Geometry of IMA Volumes in Mathematics and its Applications, pp. 157\u2013270. Springer, New York (2009)"},{"key":"2199_CR29","doi-asserted-by":"publisher","first-page":"599","DOI":"10.5802\/afst.1131","volume":"15","author":"M Marshall","year":"2006","unstructured":"Marshall, M.: Representation of non-negative polynomials with finitely many zeros. Annales de la Faculte des Sciences Toulouse 15, 599\u2013609 (2006)","journal-title":"Annales de la Faculte des Sciences Toulouse"},{"key":"2199_CR30","doi-asserted-by":"publisher","DOI":"10.1090\/surv\/146","volume-title":"Positive Polynomials and Sums of Squares","author":"M Marshall","year":"2008","unstructured":"Marshall, M.: Positive Polynomials and Sums of Squares. American Mathematical Society, Providence (2008)"},{"issue":"3","key":"2199_CR31","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1287\/moor.1110.0498","volume":"36","author":"J Nie","year":"2011","unstructured":"Nie, J.: Polynomial matrix inequality and semidefinite representation. Math. Oper. Res. 36(3), 398\u2013415 (2011)","journal-title":"Math. Oper. Res."},{"key":"2199_CR32","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/s10107-012-0589-9","volume":"142","author":"J Nie","year":"2013","unstructured":"Nie, J.: Certifying convergence of Lasserre\u2019s hierarchy via flat truncation. Math. Program. 142, 485\u2013510 (2013)","journal-title":"Math. Program."},{"issue":"3","key":"2199_CR33","doi-asserted-by":"publisher","first-page":"1634","DOI":"10.1137\/120898772","volume":"23","author":"J Nie","year":"2013","unstructured":"Nie, J.: Polynomial optimization with real varieties. SIAM J. Optim. 23(3), 1634\u20131646 (2013)","journal-title":"SIAM J. Optim."},{"issue":"1\u20132","key":"2199_CR34","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s10107-013-0680-x","volume":"146","author":"J Nie","year":"2014","unstructured":"Nie, J.: Optimality conditions and finite convergence of Lasserre\u2019s hierarchy. Math. Program. 146(1\u20132), 97\u2013121 (2014)","journal-title":"Math. Program."},{"key":"2199_CR35","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611977608","volume-title":"Moment and Polynomial Optimization","author":"J Nie","year":"2023","unstructured":"Nie, J.: Moment and Polynomial Optimization. SIAM, Philadelphia (2023)"},{"key":"2199_CR36","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/s10107-008-0253-6","volume":"122","author":"J Nie","year":"2010","unstructured":"Nie, J., Ranestad, K., Sturmfels, B.: The algebraic degree of semidefinite programming. Math. Program. 122, 379\u2013405 (2010)","journal-title":"Math. Program."},{"issue":"3","key":"2199_CR37","doi-asserted-by":"publisher","first-page":"969","DOI":"10.1512\/iumj.1993.42.42045","volume":"42","author":"M Putinar","year":"1993","unstructured":"Putinar, M.: Positive polynomials on compact semi-algebraic sets. Indiana Univ. Math. J. 42(3), 969\u2013984 (1993)","journal-title":"Indiana Univ. Math. J."},{"key":"2199_CR38","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1007\/s00209-003-0568-1","volume":"245","author":"C Scheiderer","year":"2003","unstructured":"Scheiderer, C.: Sums of squares on real algebraic curves. Math. Z. 245, 725\u2013760 (2003)","journal-title":"Math. Z."},{"key":"2199_CR39","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1016\/j.jalgebra.2005.01.043","volume":"289","author":"C Scheiderer","year":"2005","unstructured":"Scheiderer, C.: Distinguished representations of non-negative polynomials. J. Algebra 289, 558\u2013573 (2005)","journal-title":"J. Algebra"},{"key":"2199_CR40","first-page":"271","volume-title":"Emerging Applications of Algebraic Geometry of IMA Volumes in Mathematics and its Applications","author":"C Scheiderer","year":"2009","unstructured":"Scheiderer, C.: Positivity and sums of squares: a guide to recent results. In: Emerging Applications of Algebraic Geometry of IMA Volumes in Mathematics and its Applications, pp. 271\u2013324. Springer, New York (2009)"},{"key":"2199_CR41","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s10107-005-0684-2","volume":"107","author":"C Scherer","year":"2006","unstructured":"Scherer, C., Hol, C.: Matrix sum-of-squares relaxations for robust semi-definite programs. Math. Program. 107, 189\u2013211 (2006)","journal-title":"Math. Program."},{"key":"2199_CR42","first-page":"325","volume-title":"Emerging Applications of Algebraic Geometry of IMA Volumes in Mathematics and its Applications","author":"K Schm\u00fcdgen","year":"2009","unstructured":"Schm\u00fcdgen, K.: Noncommutative real algebraic geometry: some basic concepts and first ideas. In: Emerging Applications of Algebraic Geometry of IMA Volumes in Mathematics and its Applications, pp. 325\u2013350. Springer, New York (2009)"},{"issue":"2","key":"2199_CR43","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF02614439","volume":"77","author":"A Shapiro","year":"1997","unstructured":"Shapiro, A.: First and second order analysis of nonlinear semidefinite programs. Math. Program. 77(2), 301\u2013320 (1997)","journal-title":"Math. Program."},{"issue":"2","key":"2199_CR44","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1137\/S1052623495279785","volume":"7","author":"A Shapiro","year":"1997","unstructured":"Shapiro, A.: On uniqueness of Lagrange multipliers in optimization problems subject to cone constraints. SIAM J. Optim. 7(2), 508\u2013518 (1997)","journal-title":"SIAM J. Optim."},{"issue":"4","key":"2199_CR45","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1287\/moor.1060.0195","volume":"31","author":"D Sun","year":"2006","unstructured":"Sun, D.: The strong second order sufficient condition and constraint nondegeneracy in nonlinear semidefinite programming and their implications. Math. Oper. Res. 31(4), 761\u2013776 (2006)","journal-title":"Math. Oper. Res."},{"key":"2199_CR46","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s10107-021-01728-w","volume":"197","author":"Y Zheng","year":"2023","unstructured":"Zheng, Y., Fantuzzi, G.: Sum-of-squares chordal decomposition of polynomial matrix inequalities. Math. Program. 197, 71\u2013108 (2023)","journal-title":"Math. Program."}],"container-title":["Mathematical Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10107-025-02199-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10107-025-02199-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10107-025-02199-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T08:14:43Z","timestamp":1764576883000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10107-025-02199-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,15]]},"references-count":46,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2025,11]]}},"alternative-id":["2199"],"URL":"https:\/\/doi.org\/10.1007\/s10107-025-02199-z","relation":{},"ISSN":["0025-5610","1436-4646"],"issn-type":[{"value":"0025-5610","type":"print"},{"value":"1436-4646","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,2,15]]},"assertion":[{"value":"15 April 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 January 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 February 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}