[论文解读] Positivity problems for low-order linear recurrence sequences

Joël Ouaknine, James Worrell|arXiv (Cornell University)|Jan 5, 2014

Polynomial and algebraic computation参考文献 46被引用 57

一句话总结

该论文证明了五阶及以下线性递推序列（LRS）的正性问题与最终正性问题的可判定性，表明前者属于计数层次，后者可在多项式时间内求解。此外，研究进一步表明，将可判定性结果推广至六阶将需要在超越数的丢番图逼近方面取得突破性进展。

ABSTRACT

We consider two decision problems for linear recurrence sequences (LRS) over the integers, namely the Positivity Problem (are all terms of a given LRS positive?) and the Ultimate Positivity Problem (are all but finitely many terms of a given LRS positive?). We show decidability of both problems for LRS of order 5 or less, with complexity in the Counting Hierarchy for Positivity, and in polynomial time for Ultimate Positivity. Moreover, we show by way of hardness that extending the decidability of either problem to LRS of order 6 would entail major breakthroughs in analytic number theory, more precisely in the field of Diophantine approximation of transcendental numbers.

研究动机与目标

• 确定给定整数线性递推序列（LRS）的正性问题——即所有项是否均为正——在低阶序列中的可判定性。
• 在相同阶数限制下，研究最终正性问题——即给定LRS的所有项除有限项外是否均为正——的可判定性。
• 在五阶或以下LRS的情况下，为两个问题建立复杂度界限。
• 通过表明将结果推广至六阶将需要分析数论的重大进展，探索可判定性的理论极限。

提出的方法

• 利用代数技术将正性问题与最终正性问题约化为实闭域上的决策程序。
• 采用计数层次作为正性问题的复杂度度量，利用计算模型理论的相关结果。
• 通过递推根的符号分析与渐近行为，应用多项式时间算法求解最终正性问题。
• 利用线性递推序列的结构特性，包括特征根及其重数，分析项的符号模式。
• 通过将已知的丢番图逼近难题约化为LRS决策问题，建立下界复杂度结果。
• 证明：若六阶LRS的可判定性成立，则意味着在有理数逼近超越数方面取得突破。

实验结果

研究问题

• RQ1 五阶或以下线性递推序列的正性问题是否可判定？
• RQ2 五阶或以下LRS的最终正性问题是否可在多项式时间内求解？
• RQ3 低阶LRS的正性问题的精确复杂度类是什么？
• RQ4 这些问题的可判定性在多大程度上受数论障碍的限制？
• RQ5 将可判定性推广至六阶序列是否需要数论中丢番图逼近的新结果？

主要发现

• 五阶或以下整数线性递推序列的正性问题可判定，且位于计数层次之内。
• 此类序列的最终正性问题可在多项式时间内求解。
• 若六阶或更高阶LRS的可判定性成立，则意味着在超越数的丢番图逼近方面取得重大进展。
• 研究结果为低阶LRS的可判定性设定了紧密的理论边界。
• 下界复杂度结果表明，除非在解析数论中取得突破，否则难以将可判定性结果推广至六阶。