析取平方和

摘要

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