On Zeckendorf-Niven numbers and arithmetic progressions

기술 요약: 제켄도르프-니븐 수와 등차수열에 관하여

문제 정의
본 논문은 제켄도르프-니븐(Zeckendorf-Niven) 수와 루카스-니븐(Lucas-Niven) 수가 등차수열 내에서 어떻게 분포하는지 조사한다. 양의 정수 $n$이 $n$의 유일한 제켄도르프 분해(비인접한 피보나치 수 $F_i$ ($i \ge 2$)들의 합으로 표현되는 방식)에서의 0이 아닌 항의 개수인 $s_Z(n)$에 의해 나누어떨어질 때, 이를 제켄도르프-니븐 수라고 정의한다. 마찬가지로, $n$이 그 유일한 루카스 분해(루카스 수 $L_i$ ($i \ge 0$)를 사용하는 방식)에서의 항의 개수인 $s_L(n)$에 의해 나누어떨어질 때, 이를 루카스-니븐 수라고 한다.

표준 $b$진법 니븐 수의 등차수열 내 분포는 이미 잘 연구되어 있으나(예: 무한히 많은 존재성과 연속 항에 대한 상한선 등), 이러한 피보나치 기반 변형들의 등차수열 내 거동은 완전히 규명되지 않은 상태였다. 구체적으로, 본 논문은 모든 등차수열이 이러한 수들을 무한히 포함하는지 여부를 다루며, 이러한 성질을 공유하는 연속 항의 최대 길이에 대한 상한을 설정한다.

방법론
저자들은 피보나치 및 루카스 수열의 수론적 성질, 특히 임의의 정수 $d$에 대한 주기성(피사노 주기)과 약수 성질을 활용한다.

1. 주기성 및 약수 성질: 증명은 피보나치 수열 $(F_i)$와 루카스 수열 $(L_i)$가 임의의 정수 $d$에 대해 주기적이라는 사실에 크게 의존한다. 저자들은 특정 성질을 가진 항을 구성하기 위해 $\pi(F_{2j}) = 4j$ 및 $\pi(F_{2j+1}) = 8j+4$와 같은 피사노 주기의 특정 성질을 활용한다.
2. 항의 구성: 등차수열 $(a + kd)$내에 무한히 많은 니븐 수가 존재함을 증명하기 위해, 저자들은 특정 항$N$을 구성한다. 이들은 공차(또는 관련 주기)의 배수인 큰 피보나치/루카스 수를 더함으로써 제켄도르프 또는 루카스 분해를 조작한다. 이를 통해 결과값인$N$이 해당 등차수열에 속하도록 보장하면서, 항의 개수$s_Z(N)$또는$s_L(N)$을 제어할 수 있다.
3. 모듈로 산술 및 사례 분석: 루카스 수열의 경우, 루카스 수열에는 직접적인 약수 성질(예: $i|j$이면 $F_i | F_j$)이 부족하므로 더 미묘한 접근 방식이 필요하다. 저자들은 디리클레의 소수 정리(Dirichlet's Theorem on primes)를 사용하여 $p \equiv -1 \pmod{10\pi_L(d)}$인 소수 $p$를 선택하고, 구성된 수가 $p$에 의해 나누어떨어지도록 하기 위해 분해 인덱스의 기우성(parity)에 따른 사례를 분석한다.
4. 연속 항에 대한 국소 분석: 연속 항의 개수를 제한하기 위해, 저자들은 절단된 합 $z_6(n)$($F_6$까지의 피보나치 성분들의 합)을 정의하고, 공차를 더할 때(예: $n \to n+2$) 제켄도르프 분해가 어떻게 변하는지 분석한다. 항의 개수 $s_Z(n)$의 변화를 추적함으로써, 특정 경계보다 긴 수열에 대한 모순을 도출한다.

주요 기여 및 결과

• 등차수열 내 무한성:

  • 정리 2.6: 모든 등차수열은 무한히 많은 제켄도르프-니븐 수를 포함한다. 증명은 $s_Z(N')$가 $N'$를 나누는 $N'$를 등차수열 내에서 구성한다.
  • 정리 3.4: 모든 등차수열은 무한히 많은 루카스-니븐 수를 포함한다. 이 결과는 루카스 수열의 특정한 모듈로 제약 조건을 처리하기 위해 구성 기법을 적응시킴으로써 달성된다.

• 비-니븐 수의 분포:

  • 정리 2.7: 모든 등차수열은 연속적인 비-제켄도르프-니븐 항들의 임의로 긴 부분 수열을 포함한다. 이는 니븐 수가 밀집되어 있기는 하지만, 균등하게 분포되어 있지는 않음을 보여준다.

• 2-AP에서의 연속 항에 대한 상한:

  • 정리 4.3: 2-AP(공차가 2인 등차수열)에서 연속된 제켄도르프-니븐 항의 최대 개수는 8이다. 길이가 8 이상인 유일한 수열은 $2, 4, 6, 8, 10, 12, 14, 16, 18$인 부분 수열이다.
  • 정리 4.4: 2-AP에서 5개의 연속된 제켄도르프-니븐 항을 갖는 수열이 존재한다 (예: $n, n+2, n+4, n+6, n+8$이며 여기서 $n = 27 + F_{120j+17}$).

• 일정한 항의 개수를 갖는 연속 항:

  • 정리 5.1: 피보나치 공차 $F_d$를 갖는 등차수열에서, $s_Z(a) = s_Z(a+F_d) = s_Z(a+2F_d)$를 만족하는 시작점 $a$는 무한히 존재한다. 그러나 네 개의 연속된 항이 동일한 $s_Z$ 값을 갖는 것은 불가능하다.
  • 정리 5.2: $d \ge 3$에 대하여, $a, a+F_d, a+2F_d$가 모두 제켄도르프-니븐이며 동일한 $s_Z$ 값을 갖는 $a$는 무한히 존재한다.

의의 및 주장
본 논문은 표준 진법 표현에서 제켄도르프 및 루카스 표현으로 니븐 수의 이론을 확장한다고 주장한다. 주요 의의는 표준 니븐 수와 유사하게, 제켄도르프-니븐 수와 루카스-니븐 수가 드물지 않으며, 모든 등차수열에서 무한히 자주 나타난다는 점을 확립한 데 있다.

나아가, 본 연구는 이러한 수들의 군집 현상에 대한 정밀한 구조적 제한을 제공한다. 표준 니븐 수가 긴 연속 항(1-AP에서 최대 20개)을 가질 수 있는 것과 달리, 2-AP에서의 제켄도르프-니븐 수는 엄격히 제한된다(최대 8). 또한 본 논문은 피보나치 차이를 갖는 수열에서 항의 개수가 정확히 세 개의 연속 항 동안 일정하게 유지될 수 있다는 독특한 현상을 강조하며, 이는 네 번째 항까지 확장될 수 없는 성질이다.

저자들은 이러한 결과들이 피보나치 및 루카스 수의 고유한 분해 성질과 정수에 대한 이 수열들의 주기성에 기초하고 있음을 밝힌다. 본 연구는 실험적 응용을 제안하기보다는, 가법적 수론적 성질에 의해 정의되는 정수의 분포에 대한 이론적 이해에 기여하는 것을 목적으로 한다.