LEADER 08596nam 2200553 450 001 9910799488503321 005 20240119114045.0 010 $a3-031-38659-0 024 7 $a10.1007/978-3-031-38659-6 035 $a(CKB)29476185800041 035 $a(DE-He213)978-3-031-38659-6 035 $a(MiAaPQ)EBC31051201 035 $a(Au-PeEL)EBL31051201 035 $a(EXLCZ)9929476185800041 100 $a20240119d2023 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aPolynomial Optimization, Moments, and Applications /$fMichal Kocvara, Bernard Mourrain, and Cordian Riener, editors 205 $aFirst edition. 210 1$aCham, Switzerland :$cSpringer,$d[2023] 210 4$d©2023 215 $a1 online resource (XIV, 266 p. 40 illus., 29 illus. in color.) 225 1 $aSpringer Optimization and Its Applications Series ;$vVolume 206 311 08$a9783031386589 320 $aIncludes bibliographical references and index. 327 $aIntro -- Preface -- Acknowledgments -- Contents -- Contributors -- Polynomial Optimization, Certificates of Positivity, and Christoffel Function -- 1 Introduction -- 2 Notation, Definitions and Preliminary Results -- 3 The Moment-SOS Hierarchy in Polynomial Optimization -- 3.1 A Moment-SOS Hierarchy of Lower Bounds -- 3.2 A Moment-SOS Hierarchy of Upper Bounds -- 4 The Christoffel-Darboux Kernel and Christoffel Functions -- 4.1 Christoffel-Darboux Kernel -- 4.2 Christoffel Function -- 4.3 Some Distinguishing Properties of the CF -- 5 CF, Optimization, and SOS-Certificates of Positivity -- 5.1 The CF to Compare the Hierarchies of Upper and Lower Bounds -- 5.2 The CF and Positive Polynomials -- 5.3 A Disintegration of the CF -- 5.4 Positive Polynomials and Equilibrium Measure -- 6 Conclusion -- Appendix -- References -- Relative Entropy Methods in Constrained Polynomial and Signomial Optimization -- 1 Introduction -- 2 From Relative Entropy Programming to the SAGE Cone -- 2.1 Cones and Optimization -- 2.2 The Exponential Cone and the Relative Entropy Cone -- 2.3 The Basic AM/GM Idea -- 2.4 The SAGE Cone (Sums of Arithmetic-Geometric Exponentials) -- 3 Conditional Nonnegativity Over Convex Sets -- 4 The Circuit View for Unconstrained AM/GM Optimization -- 5 Sublinear Circuits -- 6 Irredundant Decompositions -- 7 Further Developments -- References -- Symmetries in Polynomial Optimization -- 1 Introduction -- 2 Preliminaries on the Moment-SOS Hierarchy in Polynomial Optimization and Semidefinite Programming -- 3 Using Representation Theory in SDPs for Sums-of-Squares -- 3.1 Basic Representation Theory -- 3.2 Representation Theory of Sn -- 3.3 Using Representation Theory to Simplify Semidefinite Formulations -- 4 Invariant Theory -- 4.1 Basics of Invariant Theory -- 4.2 Invariant Theory and Sums of Squares -- 4.3 Symmetric Sums of Squares. 327 $a5 Miscellaneous Approaches -- 5.1 Orbit Spaces and Polynomial Optimization -- 5.2 Reduction Via Orbit Decomposition -- 5.3 Symmetries of Optimizers -- References -- Copositive Matrices, Sums of Squares and the Stability Number of a Graph -- 1 Introduction -- 1.1 Organization of the Chapter -- 1.1.1 Notation -- 2 Preliminaries on Polynomial Optimization, Nonnegative Polynomials and Sums of Squares -- 2.1 Sum-of-Squares Certificates for Nonnegativity -- 2.2 Approximation Hierarchies for Polynomial Optimization -- 2.3 Optimality Conditions and Finite Convergence -- 3 Sum-of-Squares Approximations for COPn -- 3.1 Cones Based on Pólya's Nonnegativity Certificate -- 3.2 Lasserre-Type Approximation Cones -- 3.3 Links Between the Various Approximation Cones for COPn -- 4 Exactness of Sum-of-Squares Approximations for COPn -- 4.1 Exactness of the Conic Approximations Kn(r) -- 4.2 Exactness of the Conic Approximations LAS(r)n -- 4.3 The Cone of 55 Copositive Matrices -- 5 The Stability Number of a Graph ?(G) -- 5.1 The Hierarchy ?(r)(G) -- 5.2 The Hierarchy (r)(G) -- 5.2.1 Some Key Ingredients for the Proof for Theorem 22 -- 6 Concluding Remarks -- References -- Matrix Factorization Ranks Via Polynomial Optimization -- 1 Introduction and Motivation for Matrix Factorization Ranks -- 1.1 Applications of Nonnegative Factorization -- 1.2 Commonly Used Notation -- 1.3 On Computing the Nonnegative Rank -- 1.4 Other Factorization Ranks -- 2 Bounding Matrix Factorization Ranks -- 2.1 A Brief Introduction to Polynomial Optimization -- 2.2 Generalized Moment Problems -- 2.3 Constructing a Hierarchy of Lower Bounds for CP-Rank -- 2.4 A Note on Computing Hierarchies of SDPs -- 3 Exploiting Sparsity -- 3.1 An Abbreviated Introduction to Ideal Sparsity -- 3.2 Ideal Sparsity in Approximating CP-Rank -- 3.3 Advantages of the Sparse Hierarchy -- 4 Summary -- References. 327 $aPolynomial Optimization in Geometric Modeling -- 1 Geometric Modeling and Polynomials -- 2 Polynomial Optimization Problems and Convex Relaxations -- 2.1 Sum of Squares Relaxations -- 2.2 Moment Relaxations -- 2.3 Computing the Minimizers -- 3 Minimal Enclosing Ellipsoids of Semi-algebraic Sets -- 4 Parameterized Surfaces -- 4.1 Closest Point and Surface-Surface Intersection -- 4.2 Bounding Box and Enclosing Ellipsoid of Parametric Surfaces -- 5 Robots and Mechanisms -- 5.1 Direct Kinematic Problem -- 5.2 Bounding Box of Robot Workspace -- 5.3 Enclosing Ellipsoid of Robot Workspace -- 5.4 Trajectories of a Parallel Robot -- 6 Conclusion -- References -- Assessing Safety for Control Systems Using Sum-of-Squares Programming -- 1 Introduction -- 1.1 Organization -- 1.2 Notation -- 2 Safety in Control Systems -- 2.1 Relationship Between Invariance and Safety -- 2.2 Control Invariance for Continuous-Time Systems -- 2.2.1 Control Invariance with Set Representation -- 2.2.2 Control Invariance with Function Representation -- 2.3 Control Invariance for Discrete-Time Systems -- 2.4 Summary -- 3 Sum-of-Squares Programming -- 3.1 Sum-of-Squares Decomposition -- 3.2 Convex Optimisation for Safety -- 3.3 Safety for Continuous-Time Systems -- 3.4 Safety for Discrete-Time Systems -- 3.5 Summary -- 4 Safety for Linear Systems with Constrained Inputs -- 4.1 Unit Peak Input -- 4.2 Summary -- 5 Applications -- 5.1 Nonlinear Control Affine System -- 5.2 Linear System -- 6 Conclusion -- Appendix -- References -- Polynomial Equations: Theory and Practice -- 1 Polynomial Equations in Optimization -- 2 Systems of Equations and Algebraic Varieties -- 3 Number of Solutions -- 3.1 Bézout's Theorem -- 3.2 Kushnirenko's Theorem -- 3.3 Bernstein's Theorem -- 4 Computational Methods -- 4.1 Normal Form Methods -- 4.2 Homotopy Continuation. 327 $a5 Case Study: 27 Lines on the Clebsch Surface -- References -- Index. 330 $aPolynomial optimization is a fascinating field of study that has revolutionized the way we approach nonlinear problems described by polynomial constraints. The applications of this field range from production planning processes to transportation, energy consumption, and resource control. This introductory book explores the latest research developments in polynomial optimization, presenting the results of cutting-edge interdisciplinary work conducted by the European network POEMA. For the past four years, experts from various fields, including algebraists, geometers, computer scientists, and industrial actors, have collaborated in this network to create new methods that go beyond traditional paradigms of mathematical optimization. By exploiting new advances in algebra and convex geometry, these innovative approaches have resulted in significant scientific and technological advancements. This book aims to make these exciting developments accessible to a wider audience by gathering high-quality chapters on these hot topics. Aimed at both aspiring and established researchers, as well as industry professionals, this book will be an invaluable resource for anyone interested in polynomial optimization and its potential for real-world applications. 410 0$aSpringer optimization and its applications ;$vVolume 206. 606 $aMathematical optimization 606 $aPolynomials 615 0$aMathematical optimization. 615 0$aPolynomials. 676 $a519.3 702 $aKoc?vara$b Michal 702 $aMourrain$b Bernard 702 $aRiener$b Cordian 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910799488503321 996 $aPolynomial Optimization, Moments, and Applications$93872780 997 $aUNINA