析取平方和

Amir Ali Ahmadi, Sanjeeb Dash, Yixuan Hua, Bartolomeo Stellato

2026

摘要

本文提出析取平方和概念，用于证明多项式的非负性，通过多个可并行计算的代数恒等式实现。主要结果包括析取Positivstellensatz定理，证明每个代数恒等式的次数可保持与多项式相同，并基于此构建了半定规划收敛下界层次结构。

sum of squarespolynomial optimizationPositivstellensatzsemidefinite programmingcopositivity

OTHER

📊 1 引用

Qiang Cui, Chuan Yu, Daoqian Yang 等 5 位作者

Robotics and Computer-Integrated Manufacturing · 2026

OTHER

📊 0 引用

Ke Shang, Xin Jin, Teli Xu 等 7 位作者

Robotics and Computer-Integrated Manufacturing · 2026

OTHER

📊 0 引用

Aryan Chaudhary

Recent Advances in Computer Science and Communications · 2026

OTHER

📊 0 引用

Chuang Shi, Tianming Liu, Ning Xue 等 9 位作者

Aerospace Science and Technology · 2026