[논문 리뷰] Positivity problems for low-order linear recurrence sequences

Joël Ouaknine, James Worrell|arXiv (Cornell University)|2014. 01. 05.

Polynomial and algebraic computation참고 문헌 46인용 수 57

한 줄 요약

이 논문은 차수 5 이하의 선형 재귀 수열(LRS)에 대한 긍정성(Positivity) 문제와 최종 긍정성(Ultimate Positivity) 문제의 결정 가능성을 입증하며, 앞선 문제는 카운팅 계층에 속하고 후자는 다항시간 내에 해결 가능하다고 보여준다. 또한, 결정 가능성을 차수 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에 대해 두 문제의 복잡도 한계를 설정하는 것.
• 수론적 장벽을 통해 결정 가능성의 이론적 한계를 탐색하기 위해, 결과를 차수 6으로 확장할 경우 분석적 수론 분야에서의 획기적 진전이 필요하다는 것을 보여주는 것.

제안 방법

• 대수 기법을 사용하여 긍정성 문제와 최종 긍정성 문제를 실폐쇄체 위의 결정 절차로 환원하는 것.
• 카운팅 계층을 긍정성 문제의 복잡도 측정 척도로 활용하며, 계산 모델 이론의 결과를 활용하는 것.
• 재귀 근의 부호 분석과 점근적 행동을 통한 다항시간 알고리즘을 최종 긍정성 문제에 적용하는 것.
• 특성근과 그 중복도를 포함한 선형 재귀 수열의 구조적 성질을 활용하여 항의 부호 패턴을 분석하는 것.
• 기존의 디오판틴 근사 문제에서 어려운 문제들을 LRS 결정 문제로 환원하여 딱지성 결과를 도출하는 것.
• 차수 6에서의 결정 가능성이 초월수의 유리수에 의한 근사 이론에서의 돌풍 같은 진전을 암시한다는 것을 보여주는 것.

실험 결과

연구 질문

• RQ1 차수 5 이하의 선형 재귀 수열에 대해 긍정성 문제가 결정 가능한가?
• RQ2 차수 5 이하의 LRS에 대해 최종 긍정성 문제가 다항시간 내에 해결 가능한가?
• RQ3 저차수 LRS에 대한 긍정성 문제의 정확한 복잡도 클래스는 무엇인가?
• RQ4 이러한 문제들의 결정 가능성은 어느 정도 수론적 장벽에 의해 제한되는가?
• RQ5 차수 6 수열으로의 결정 가능성 확장을 위해서는 디오판틴 근사 이론에서 새로운 결과가 필요할까?

주요 결과

• 차수 5 이하의 정수 선형 재귀 수열에 대해 긍정성 문제가 결정 가능하며, 카운팅 계층에 속한다.
• 이러한 수열에 대해 최종 긍정성 문제가 다항시간 내에 결정 가능하다.
• 차수 6 이상에 대해서도 결정 가능성이 성립한다면, 초월수의 유리수에 의한 근사 이론에서의 획기적 진전이 필요하다는 것을 의미한다.
• 저차수 LRS에서의 결정 가능성에 대해 엄밀한 이론적 경계를 설정하였다.
• 딱지성 결과는 차수 6으로의 결정 가능성 확장을 위해 분석적 수론 분야에서의 돌풍 같은 진전이 없이는 불가능하다는 것을 보여준다.