[论文解读] A generalization of Strassen's Positivstellensatz and its application to large deviation theory

T. A. Fritz|arXiv (Cornell University)|Oct 19, 2018

Mathematical and Theoretical Analysis被引用 1

一句话总结

本文通过用多项式增长条件替代阿基米德型有界性条件，推广了斯特拉斯滕的正定性定理（Positivstellensatz），并建立了关于单调同态映射到 ℝ₊ 所诱导的预序的两个新等价刻画。主要贡献在于为交换幺半环中的预序分析提供了一个更广泛的框架，通过增强的代数工具来处理正性和序结构，其应用涵盖大偏差理论。

ABSTRACT

Strassen's Positivstellensatz is a powerful but little known theorem on preordered commutative semirings satisfying a boundedness condition similar to Archimedeanicity. It characterizes the relaxed preorder induced by all monotone homomorphisms to $\mathbb{R}_+$ in terms of a condition involving large powers. Here, we generalize and strengthen Strassen's result. As a generalization, we replace the boundedness condition by a polynomial growth condition; as a strengthening, we prove two further equivalent characterizations of the homomorphism-induced preorder in our generalized setting.

研究动机与目标

• 将斯特拉斯滕的正定性定理从有界性（阿基米德）条件推广至更一般的多项式增长条件。
• 通过证明关于映射到 ℝ₊ 的单调同态所诱导的预序的两个额外等价刻画，强化原始结果。
• 为大偏差理论中的问题提供一个更具弹性的代数框架。
• 在更弱的假设下，统一并推广现有关于交换幺半环中正性和序结构的结果。

提出的方法

• 用幺半环上的多项式增长条件替代阿基米德有界性条件。
• 通过映射到非负实数 ℝ₊ 的单调同态定义预序。
• 引入涉及元素高次幂的条件，以刻画广义设定下的预序。
• 建立同态诱导的预序与两个涉及增长率的新代数条件之间的等价性。
• 运用有序代数与幺半环理论的技术推导出这些刻画。
• 将广义框架应用于分析大偏差理论中相关的结构。

实验结果

研究问题

• RQ1 斯特拉斯滕的正定性定理如何能超越有界性条件，推广到更广泛的幺半环类？
• RQ2 在多项式增长条件下，哪些替代代数条件与同态映射到 ℝ₊ 所诱导的预序等价？
• RQ3 广义框架能否支持在大偏差理论中的应用？
• RQ4 幺半环的哪些结构性质足以保证推广后的正定性定理成立？
• RQ5 新刻画如何细化或强化原始结果？

主要发现

• 本文通过以多项式增长条件替代有界性条件，建立了斯特拉斯滕正定性定理的广义形式。
• 在广义设定下，证明了关于同态诱导预序的两个新等价刻画。
• 扩展后的框架适用于比原始定理更广泛的预序交换幺半环类。
• 这些结果为在幺半环模型中分析正性和序结构提供了更稳健的代数基础。
• 广义结果通过更精细地控制序列的渐近行为，使大偏差理论中产生新的应用。
• 等价性结果揭示了代数同态与序理论性质之间更深层次的结构关联。