On some arithmetic conditions of recurrent sequences modulo prime p

기술적 요약: 소수 $p$에 대한 모듈로 재귀 수열의 일부 산술 조건에 관하여

문제 제기
본 논문은 소수 $p$에 대한 모듈로 $K$-피보나치 수열의 산술적 성질을 조사한다. 구체적으로, $F_p$가 모듈로 $p$에 대한 $K$-피보나치 재귀 관계식으로 생성된 원소들의 집합일 때, 합집합 $|F_p + F_p|$와 곱집합 $|F_p \cdot F_p|$의 크기를 추정하는 데 중점을 둔다. $K$-피보나치 수열은 $F_0=0, F_1=1$인 초기 조건과 $F_{n+2} = K F_n + F_{n+1}$로 정의되며, 여기서 $K \in \mathbb{F}_p^*$이다. 이는 고전적인 피보나치 수열 ($K=1$) 과 펠 수열 ($K=2$) 을 일반화한 것이다. 본 연구는 가법 및 승법 조합론의 '이중화 (doubling)' 문제를 다루며, 원래 집합의 크기 $|F_p|$에 상대적인 이러한 집합들의 크기에 대한 하한을 구한다.

방법론
저자들은 $\mathbb{F}_p$ 내의 $m$차원 재귀 집합의 이중화 상수를 추정하는 방법을 사용한다. 핵심 접근법은 다음과 같다:

1. 재귀 수열의 표현: 수열의 원소들은 특성 다항식의 근을 사용하여 표현된다. $K$-피보나치 수열의 경우, 저자들은 $F_p$ 집합을 짝수 인덱스와 홀수 인덱스에 해당하는 두 개의 재귀 부분 수열 ($F'_p$와 $F''_p$) 의 합집합으로 분해한다. 이러한 부분 수열들은 $\mathbb{F}_{p^s}^*$ 내의 승법 부분군 $G \subset \mathbb{F}_{p^s}^*$의 원소들의 거듭제곱의 선형 결합, 구체적으로 $x \in G$에 대해 $X_n = \sum \alpha_i x^{k_i}$ 형태로서 표현된다.
2. 다항식 이중화와 기약성: 문제는 다항식 $P$에 대해 $P(X, X) = \{P(X, Y) \mid X, Y \in X\}$ 집합의 크기로 일반화된다. $P(X, Y) = r$의 해의 개수를 상한으로 묶기 위해, 저자들은 부분군 $G$ 내에서 다항식 방정식 $Q_r(x, y) = 0$의 해를 찾는 문제로 문제를 변환한다.
3. 부분군 상한 적용: 저자들은 부분군 내의 다항식 방정식 해의 개수에 대한 기존 상한 ( [5] 의 정리 2 와 [4] 의 정리 1.2 인용) 을 활용한다. 이러한 상한은 다항식이 절대 기약적이고 특정 비퇴화 조건을 만족할 경우, 다항식의 차수와 부분군의 크기에 의존한다.
4. 기약성을 위한 뉴턴 다각형: 중요한 단계는 변환된 다항식 $Q_r(x, y)$의 절대 기약성을 증명하는 것이다. 저자들은 이러한 다항식의 구조를 분석하기 위해 뉴턴 다각형을 사용한다. 그들은 덧셈 ($x+y$) 과 곱셈 ($xy$) 과 관련된 특정 다항식들에 대해, 뉴턴 다각형이 퇴화 경우를 제외하고는 더 작은 다각형들의 민코프스키 합으로 분해될 수 없음을 보여 기약성을 증명한다.

주요 기여 및 결과
주요 기여는 모듈로 $p$에 대한 $K$-피보나치 수열의 합집합과 곱집합의 크기에 대한 하한을 확립하는 것이다.

• 주요 정리 (정리 1): $|F_p| < \frac{1}{6}p^{3/4}$인 조건 하에서, 논문은 절대 상수 $C$가 존재하여 다음이 성립함을 증명한다:
  $$|F_p + F_p| > C|F_p|^{4/3}$$
  $$|F_p \cdot F_p| > C|F_p|^{4/3}$$
• 기술적 보조정리: 논문은 뉴턴 다각형 분석을 사용하여 다항식 $P_1(x, y) = \alpha x^2y + \gamma xy^2 - rxy + \delta x + \beta y$와 곱셈 경우와 관련된 $P_2(x, y)$에 대한 기약성의 구체적인 증명을 제공한다. 이러한 보조정리들은 부분군 해 상한의 적용이 $K$-피보나치 수열의 특정 구조에 유효하도록 보장한다.
• 일반화: 방법론은 연관된 다항식 열의 기약성에 달려있으며, 모듈로 $p$에 대한 더 넓은 범주의 $m$차원 재귀 수열에 적용 가능하게 제시된다.

의의 및 주장
본 논문은 $m$차원 재귀 집합의 이중화 상수를 추정하는 방법을 제시한다고 주장한다. 이 방법을 $K$-피보나치 수열에 적용함으로써, 저자들은 이러한 집합들이 덧셈과 곱셈 하에서 상당한 성장을 보이며 일반 집합의 합 - 곱 문제에서 발견된 것과 유사한 상한을 만족함을 확립한다. 이 연구는 선형 재귀 수열의 산술을 가법 조합론과 연결하며, 특히 특성 근에 의해 생성된 기초 승법 부분군의 구조를 활용한다. 저자들은 이 방법이 연관된 다항식의 기약성 증명에 의존하며, $K$-피보나치 경우에 대해 뉴턴 다각형을 사용하여 이를 명시적으로 완수했다고 지적한다. 결과는 새로운 응용이나 실험적 검증을 제안하지 않고 산술 정수론 영역 내의 이론적 추정치로 제시된다.