[论文解读] Representing elementary semi-algebraic sets by a few polynomial inequalities: A constructive approach

Gennadiy Averkov|ArXiv.org|Apr 14, 2008

Advanced Optimization Algorithms Research参考文献 12被引用 6

一句话总结

本文提出一种构造性方法，使用最少数量的多项式不等式来表示 ℝᵈ 中的有界初等半代数集。通过分析集合中任意点处活跃约束的最大数量，证明当具有 n 个活跃约束的点集为有限集时，闭集仅需 n+1 个多项式，开集仅需 n 个多项式，同时提供了具体的构造算法。

ABSTRACT

Let P be an elementary closed semi-algebraic set in R^d, i.e., there exist real polynomials p_1,...,p_s such that P= \{x \in R^d : p_1(x) \ge 0, >..., p_s(x) \ge 0 \}; in this case p_1,...,p_s are said to represent P. Denote by $n$ the maximal number of the polynomials from \{p_1,...,p_s\} that vanish in a point of P. If P is non-empty and bounded, we show that it is possible to construct n+1 polynomials representing P. Furthermore, the number n+1 can be reduced to n in the case when the set of points of P in which n polynomials from \{p_1,...,p_s\} vanish is finite. Analogous statements are also obtained for elementary open semi-algebraic sets.

研究动机与目标

• 提供初等半代数集表示所需多项式不等式数量的构造性上界。
• 解决半代数几何中先前理论界限的非构造性问题。
• 开发基于集合几何与组合性质的显式算法，以生成最小多项式表示。
• 利用最大活跃约束数量点的结构，进一步优化界限。
• 在有界性和有限性条件下，将结果推广至闭集与开集。

提出的方法

• 定义 n 为半代数集 P 中任意点处同时为零的多项式最大数量。
• 利用定义多项式的初等对称函数，构造局部表示 P 的新不等式。
• 应用 Łojasiewicz 型不等式，并通过非负多项式进行扰动，以确保新表示的全局有效性。
• 构造一个严格拟凹多项式 q₁，使其在临界点（即 n 个约束活跃的点）上为零，且在 P 外为负。
• 引入扰动项 gₘ,λ,k(x)ˡ hᵤ(x)ᵐ，以修改首项对称函数，保持在 P 上的非负性，并在内部强制严格正性。
• 利用实数一阶理论的可判定性，确保所得到多项式系统的算法可计算性。

实验结果

研究问题

• RQ1 能否以最大活跃约束数量为基准，构造性地界定表示有界初等半代数集所需的多项式不等式数量？
• RQ2 在何种条件下，半代数集表示所需的不等式数量可从 n+1 减少至 n？
• RQ3 如何算法化地构造给定半代数集的最小多项式表示？
• RQ4 最大活跃约束数量点集的有限性在减少所需不等式数量方面起到何种作用？
• RQ5 能否发展出构造性方法，以替代半代数几何中经典界限的非构造性证明？

主要发现

• 对于由 s 个多项式定义的非空有界初等闭半代数集 P，有 s(d,P) ≤ n+1，其中 n 为 P 中任意点处同时为零的多项式最大数量。
• 若 n 个多项式同时为零的点集为有限集，则 s(d,P) ≤ n，较 n+1 的界限有所改进。
• 提供了一种显式算法，当活跃约束集为无限时，构造 n+1 个多项式表示 P 和 P₀；当活跃约束集为有限时，构造 n 个多项式。
• 该构造依赖于原始多项式的对称函数，以及经过精心设计的扰动项，以确保全局有效性。
• 该算法可通过实数一阶理论的可判定性实现计算，尽管计算复杂度较高。
• 结果可推广至开半代数集，一般情况下有 s₀(d,P₀) ≤ n+1，当临界点集为有限时，有 s₀(d,P₀) ≤ n。