[論文レビュー] 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

ひとこと要約

この論文は、5次以下の線形再帰列（LRS）における正性問題と最終的正性問題の決定可能性を確立し、前者がカウンティング階層に属すること、後者が多項式時間で解けること、6次以上への拡張には超越数のディオファントス近似における画期的進展が不可欠であることを示している。

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のすべての項が有限個の項を除いて正であるかどうかを判定する最終的正性問題の同様の次数制約下での決定可能性を調査すること。
• 次数5以下のLRSにおける両問題の複雑性の上限を確立すること。
• 数論的障壁によって決定可能性がどのように制限されるかを理論的限界を明らかにすること。

提案手法

• 代数的手法を用いて、実閉体上の意思決定手続きへの正性問題および最終的正性問題の還元。
• 計算モデル理論の結果を活用し、カウンティング階層を正性問題の複雑性測度として採用。
• 再帰的根の符号解析と漸近的挙動を用いた多項式時間アルゴリズムによる最終的正性問題の適用。
• 特徴的根およびその重複度を含む線形再帰列の構造的性質を活用し、項の符号パターンを分析。
• ディオファントス近似における既知の難問をLRS意思決定問題へ還元することで、下界を確立。
• 次数6における決定可能性が、有理数による超越数の近似における画期的進展を意味することを示唆。

実験結果

リサーチクエスチョン

• RQ1 次数5以下の線形再帰列における正性問題は決定可能か？
• RQ2 次数5以下のLRSにおける最終的正性問題は多項式時間で解けるか？
• RQ3 低次元LRSにおける正性問題の正確な複雑性クラスは何か？
• RQ4 これらの問題の決定可能性は、数論的障壁によってどの程度制限されるか？
• RQ5 次数6のLRSへの決定可能性の拡張には、ディオファントス近似における新規結果が不可欠か？

主な発見

• 次数5以下の整数線形再帰列における正性問題は決定可能であり、カウンティング階層に属する。
• 同様のLRSにおける最終的正性問題は多項式時間で決定可能である。
• 次数6以上では決定可能性が成立するためには、超越数のディオファントス近似における画期的進展が不可欠である。
• 本研究は、低次元LRSにおける決定可能性のタイトな理論的境界を確立した。
• 下界結果により、解析的数論における画期的進展なしには、次数6への決定可能性の拡張は不確実であることが示された。