Core Concepts
초월수열의 이차 매개변수에 대한 임계값 문제를 결정할 수 있다.
Abstract
이 논문은 초월수열의 임계값 문제에 대해 다룹니다. 초월수열은 다항식 계수를 가진 1차 선형 재귀 관계를 만족하는 유리수 수열입니다.
저자는 다음과 같은 결과를 제시합니다:
다항식 계수가 허수 이차 확장 위에서 분해되는 초월수열의 임계값 문제는 결정 가능합니다 (정리 15).
다항식 계수가 선형 또는 이차 인수를 가지는 초월수열의 임계값 문제는 Schanuel 가설이 참이라는 전제 하에 결정 가능합니다 (corollary 18).
다항식 계수가 Property S를 만족하는 초월수열의 임계값 문제는 Schanuel 가설이 참이라는 전제 하에 결정 가능합니다 (정리 17).
Property S는 다항식의 근들 사이에 특정한 대칭성을 요구하는 개념입니다. 이를 통해 저자는 초월수열의 극한값을 결정하는 문제를 감마 함수 항등식 검사 문제로 환원할 수 있습니다.
Stats
초월수열 ⟨un⟩∞
n=0은 다음 선형 재귀 관계를 만족합니다:
p(n)un+1 = q(n)un
여기서 p, q ∈Z[x]이고 p(x)는 음이 아닌 정수 근을 가지지 않습니다.
Quotes
"초월수열의 임계값 문제는 결정 가능한 기본적인 열린 문제이다."
"초월수열의 극한값을 결정하는 문제는 감마 함수에 대한 대수적 관계에 관한 열린 문제와 밀접하게 연관되어 있다."