[论文解读] An elementary recursive bound for effective Positivstellensatz and Hilbert 17-th problem

Henri Lombardi, Daniel Perrucci+1 more|arXiv (Cornell University)|Apr 9, 2014

Polynomial and algebraic computation参考文献 16被引用 19

一句话总结

本文為非负多项式及符号条件系统不可满足性的证书中多项式次数建立了初等递归界，通过显式次数估计解决了希尔伯特第17题与斯坦格尔的正定性定理（Positivstellensatz），证明了在 $k$ 个变量中、次数为 $d$ 的非负多项式可表示为有理函数平方和，其分子与分母的次数被一个五重指数塔所限制：$2^{2^{2^{d^{4^{k}}}}}$，利用实代数几何与消去理论进行代数认证。

ABSTRACT

We prove elementary recursive bounds in the degrees for Positivstellensatz and Hilbert 17-th problem, which is the expression of a nonnegative polynomial as a sum of squares of rational functions. We obtain a tower of five exponentials. A precise bound in terms of the number and degree of the polynomials and their number of variables is provided in the paper.

研究动机与目标

• 为以有理函数表示非负多项式为平方和的次数提供一种有效且初等递归的界，从而构造性地解决希尔伯特第17题。
• 为斯坦格尔正定性定理中符号条件系统不可满足性的代数证书推导显式次数界。
• 通过初等递归函数与消去技术，统一并扩展实代数几何中的构造性次数界。
• 为实闭域上多项式系统的正性与可行性提供一种定量且可计算的框架。

提出的方法

• 通过非负锥中平方和与单项式构造不可满足性的代数证书，以构造性方式证明斯坦格尔正定性定理。
• 在实闭域上应用消去理论，依赖汤姆编码（Thom encoding）与实根序化来认证符号条件。
• 运用赫米特二次型与西尔维斯特惯性定律来计数实根并分析符号模式。
• 通过迭代消去变量建立次数的递归界，利用结式与判别式上的界。
• 通过涉及指数的递归函数推导次数估计，显式控制有理表示中分子与分母次数的增长。
• 使用技术引理控制消去过程中中间表达式的复杂度，确保初等递归性。

实验结果

研究问题

• RQ1 表达非负多项式为平方和的有理函数的最小可能次数界是什么？
• RQ2 能否为斯坦格尔正定性定理中证书的次数建立一种有效且初等递归的界？
• RQ3 证书的次数如何随变量数、多项式次数及不等式数量而增长？
• RQ4 希尔伯特第17题的证明能否通过显式次数估计实现有效化？
• RQ5 控制实代数几何中此类表示复杂性的精确指数塔是什么？

主要发现

• 在 $k$ 个变量中、次数为 $d$ 的非负多项式可表示为有理函数平方和，其分子与分母的次数均被 $2^{2^{2^{d^{4^{k}}}}}$ 所限制。
• 对于包含 $s$ 个多项式、$k$ 个变量、最大次数为 $d$ 的符号条件系统，斯坦格尔正定性定理中代数证书的次数被一个五重指数塔所限制：$2^{2^{ig(2^{ ext{max}igrace{2,digrace}^{4^{k}}+s^{2^{k}} ext{max}igrace{2,digrace}^{16^{k} ext{bit}(d)}ig)}}}$。
• 该界为初等递归，意味着其可通过有限重指数塔计算，满足实代数几何中有效构造性的要求。
• 该证明依赖于实闭域上的递归消去过程，利用汤姆编码与赫米特理论控制根序与符号条件。
• 次数界通过仔细分析结式、判别式以及中间代数表达式中系数的增长而导出。
• 本研究首次为希尔伯特第17题与斯坦格尔正定性定理提供了显式且初等递归的次数界，解决了有效实代数几何中长期悬而未决的开放问题。