[论文解读] Effective Positivity Problems for Simple Linear Recurrence Sequences.

Joël Ouaknine, James Worrell|arXiv (Cornell University)|Sep 6, 2013

Coding theory and cryptography参考文献 27被引用 3

一句话总结

该论文证明了阶数为 9 或以下的简单线性递推序列（LRS）的正性问题（Positivity Problem）的可判定性，并实现了有效最终正性问题（effective Ultimate Positivity Problem）的多项式时间可解性。其方法基于代数数论与实根隔离技术，将正性问题置于计数层次（Counting Hierarchy）中，并为最终正性提供了显式的阈值计算。

ABSTRACT

We consider two computational problems for linear recurrence sequences (LRS) over the integers, namely the Positivity Problem (determine whether all terms of a given LRS are positive) and the effective Ultimate Positivity Problem (determine whether all but finitely many terms of a given LRS are positive, and if so, compute an index threshold beyond which all terms are positive). We show that, for simple LRS (those whose characteristic polynomial has no repeated roots) of order 9 or less, Positivity is decidable, with complexity in the Counting Hierarchy, and effective Ultimate Positivity is solvable in polynomial time.

研究动机与目标

• 确定整数上简单线性递推序列（LRS）的正性问题的可判定性。
• 求解有效最终正性问题——即计算一个阈值，使得在此之后所有项均为正——针对有界阶数的简单 LRS。
• 为这些问题建立复杂度界，特别是将正性问题置于计数层次中，而有效最终正性问题则在多项式时间内可解。
• 将可判定性结果扩展至特征多项式无重根（即简单 LRS）的序列，阶数最高达 9 阶。

提出的方法

• 应用代数数论分析 LRS 特征多项式的根。
• 使用实根隔离技术精确确定特征多项式实根的位置。
• 利用简单 LRS（无重根）的结构特性，简化序列项符号模式的分析。
• 将正性问题约化为有限个实代数数比较问题，从而实现其在计数层次中的成员资格。
• 设计一种算法，通过根间距与符号分析，计算一个统一的阈值，使得在此之后所有 LRS 项均为正。
• 结合符号计算与复杂度理论分析，实现有效最终正性问题的多项式时间复杂度。

实验结果

研究问题

• RQ1 阶数为 9 或以下的简单线性递推序列的正性问题是否可判定？
• RQ2 对于阶数 ≤9 的简单 LRS，能否在多项式时间内计算出最终正性问题的有效阈值？
• RQ3 此类序列的正性问题的计算复杂度类是什么？
• RQ4 特征多项式中无重根如何影响正性问题的可判定性与复杂度？

主要发现

• 对于阶数为 9 或以下的简单 LRS，正性问题具有可判定性，且其复杂度位于计数层次中。
• 对于阶数为 9 或以下的简单 LRS，有效最终正性问题可在多项式时间内求解。
• 对于此类序列，可以高效地计算出一个统一的阈值，使得在此之后所有项均为正。
• 研究结果关键依赖于 LRS 的简洁性（无重根），这使得根的精确分析与符号判定成为可能。