[论文解读] A criterion for membership in archimedean semirings

Markus Schweighofer|arXiv (Cornell University)|Sep 23, 2004

Advanced Topics in Algebra被引用 7

一句话总结

本文通过将实表示定理推广至一般半环（而不仅限于预序），建立了阿基米德半环中成员资格的新判据。证明了若一个多项式在其半环的实谱上非负，且其初等形式满足某种正性条件，则其所有足够高的幂次均具有非负系数——这一结果推广了Handelman的定理。

ABSTRACT

We prove an extension of the classical Real Representation Theorem (going back to Krivine, Stone, Kadison, Dubois and Becker and often called Kadison-Dubois Theorem). It is a criterion for membership in subsemirings (sometimes called preprimes) of a commutative ring. Whereas the classical criterion is only applicable for functions which are positive on the representation space, the new criterion can under certain arithmetic conditions be applied also to functions which are only nonnegative. Only in the case of preorders (i.e., semirings containing all squares), our result follows easily from recent work of Scheiderer, Kuhlmann, Marshall and Schwartz. Our proof does not use (and therefore shows) the classical criterion. We illustrate the usefulness of the new criterion by deriving a theorem of Handelman from it saying inter alia the following: If an odd power of a real polynomial in several variables has only nonnegative coefficients, then so do all sufficiently high powers.

研究动机与目标

• 为克服经典实表示定理的局限性，即在将严格正性替换为弱非负性时，仅具充分性而不具必要性。
• 为一般阿基米德半环（不限于包含所有平方的预序）发展一个成员资格判据。
• 提供一种构造性、非递归的方法，避免依赖Scheiderer、Kuhlmann、Marshall和Schwartz的早期结果。
• 推广Handelman关于多项式高次幂具有非负系数的定理。
• 建立初等形式、牛顿多面体与多项式半环中系数符号模式之间的联系。

提出的方法

• 将实谱 $ S(T) $ 定义为所有满足 $ \varphi(T) \subset [0,\infty) $ 的环同态 $ \varphi: A \to \mathbb{R} $ 的集合，并赋予乘积拓扑。
• 利用阿基米德性质确保 $ S(T) $ 是紧致的，从而可应用拓扑论证。
• 通过关于 $ w \in \mathbb{R}^n $ 的赋值分析，引入基于初等形式 $ \operatorname{in}_w(f) $ 的方法，重点关注牛顿多面体 $ \operatorname{New}(f) $ 的顶点。
• 定义辅助多项式 $ c_1, c_2 $，并利用其在 $ S(T) $ 上的正性，通过扰动论证构造 $ T $ 中成员资格的证书。
• 应用定理10，得出若在 $ S(T) $ 上满足特定正性条件（特别是 $ b_1(N) = 1 - Nc_1 > 0 $ 且 $ b_2(N) = Nc_2 - 1 > 0 $ 在 $ S_{a=0}(T) $ 上成立），则 $ a \in T $。
• 对 $ f $ 中单项式的数量进行归纳，将一般情形约化为初等形式 $ f^k $ 在 $ k $ 足够大时非负的情形。

实验结果

研究问题

• RQ1 能否将实表示定理从预序推广至一般阿基米德半环，而无需要求半环中包含所有平方？
• RQ2 在何种条件下，多项式在实谱上的非负性可推出其所有足够高的幂次均具有非负系数？
• RQ3 是否存在一个在将 $ \varphi(a) > 0 $ 弱化为 $ \varphi(a) \geq 0 $ 时，既必要又充分的半环成员资格判据？
• RQ4 在各种赋值下，初形式的正性是否能保证多项式高次幂具有非负系数？
• RQ5 如何利用牛顿多面体与初形式的结构，推导出多项式幂次中系数符号的模式？

主要发现

• 本文证明了阿基米德半环中成员资格的新判据，在温和条件下既必要又充分，将经典实表示定理推广至非预序的半环。
• 证明了若 $ f \in \mathbb{R}[\bar{X}] $ 满足在 $ (0,\infty)^n $ 上 $ f > 0 $，且对所有足够大的 $ k $，其所有初形式 $ \operatorname{in}_w(f^k) $ 均非负，则 $ f $ 的所有足够高的幂次均仅含非负系数。
• 关键的技术结果是 $ c_2 > 0 $ 在 $ S(T) $ 上成立，这使得可构造正扰动 $ b_2(N) = Nc_2 - 1 > 0 $（当 $ N $ 足够大时），从而可应用定理10。
• 证明表明存在某个 $ m $，使得 $ f^{km+1} \in \mathbb{R}[\bar{X}]^+ $，并由命题20可知，$ f $ 的所有高次幂最终均属于 $ \mathbb{R}[\bar{X}]^+ $。
• 该结果推广了Handelman定理：若一个实系数多项式的奇次幂仅含非负系数，则其所有足够高的幂次也具有非负系数。
• 该方法避免依赖Scheiderer等人早期的结果，而是提供了一个自包含的证明，且其结果可作为这些先前工作的特例被推出。