Skip to content
DraconiticResearch
Search Sources API
203,234 studies31 sourcesUpdated 52 min ago
PreprintCC BY 4.0arXiv

Restricted-Multiplier Positivstellensätze for Polynomial Optimization with Affine Parameters

Abstract

We develop positivity certificates for polynomials that are affine in auxiliary parameters, with sum-of-squares multipliers depending only on the principal variables. Under a restricted Archimedean order-unit condition, every strictly positive scalar polynomial admits such a certificate. We construct a convergent restricted moment-SOS hierarchy for polynomial optimization problems with affine parameters and establish a flatness criterion for global optimality detection and global minimizer recovery. The scalar theorem extends to polynomial-matrix constraints with any number of affine parameters. For matrix-valued objectives, pointwise positivity is sufficient with one parameter but can fail with two or more parameters; uniform free positivity provides a general sufficient replacement. Applications include robust linear programming, robust Lyapunov design, min-max polynomial optimization, analysis and control of input-affine dynamical systems. Numerical experiments show that the proposed approach substantially reduces semidefinite block sizes and solution times while incurring little or no degradation in bound quality for most test cases.

Related

  1. Fischer-Burmeister-based Multiplier Dynamics in Inequality-Constrained Optimization
    Kang Liu, Jianchen Hu
    arXivPreprintarXiv licenceFull textOptimisation & controlarXiv
  2. Operational Regimes in Non-Convex Optimization: A Multiplier-Based Taxonomy
    Seyed Mohsen Kazemi, Ali Movaghar, Shaahin hessabi
    arXivPreprintarXiv licenceFull textOptimisation & controlarXiv
  3. Reasonable bounds for Restricted Polynomial Progressions in 𝔽np
    Alex Burgin, Anastasios Fragkos, David Kruzel +2
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryAnalysis & PDEsarXiv
  4. Symmetric group actions on the coordinate ring of the lower unipotent group and the polynomial ring with quantum parameters
    Tatsuya Horiguchi
    arXivPreprintarXiv licenceFull textAlgebra & number theoryCombinatorics & discrete mathematicsarXiv
  5. Optimal Control of State Constrained Systems via Measure Relaxations and Polynomial Optimization
    Saroj Prasad Chhatoi, Aneel Tanwani, Didier Henrion
    HALPreprintPublisher termsFull textOptimisation & controlHAL
BibTeX
@misc{wang2026restrictedmultiplier,
  title = {{Restricted-Multiplier Positivstellensätze for Polynomial Optimization with Affine Parameters}},
  author = {Jie Wang},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.33697},
  eprint = {2609.33697},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.33697},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Restricted-Multiplier Positivstellensätze for Polynomial Optimization with Affine Parameters
AU  - Jie Wang
PY  - 2026
DA  - 2026/09/27
PB  - arXiv
DO  - 10.48550/arxiv.2609.33697
UR  - https://arxiv.org/abs/2609.33697
AB  - We develop positivity certificates for polynomials that are affine in auxiliary parameters, with sum-of-squares multipliers depending only on the principal variables. Under a restricted Archimedean order-unit condition, every strictly positive scalar polynomial admits such a certificate. We construct a convergent restricted moment-SOS hierarchy for polynomial optimization problems with affine parameters and establish a flatness criterion for global optimality detection and global minimizer recovery. The scalar theorem extends to polynomial-matrix constraints with any number of affine parameters. For matrix-valued objectives, pointwise positivity is sufficient with one parameter but can fail with two or more parameters; uniform free positivity provides a general sufficient replacement. Applications include robust linear programming, robust Lyapunov design, min-max polynomial optimization, analysis and control of input-affine dynamical systems. Numerical experiments show that the proposed approach substantially reduces semidefinite block sizes and solution times while incurring little or no degradation in bound quality for most test cases.
ER  -