A supercongruence fantasy on Fibonacci and Lucas (after Guillera)

기술 요약: "피보나치와 루카스에 관한 슈퍼합동식의 환상(A Supercongruence Fantasy on Fibonacci and Lucas)"

문제 제기
본 논문은 전통적으로 절단된 하이퍼지오메트릭 급수(truncated hypergeometric series)를 $\pi$와 그 거듭제곱의 값과 소수의 거듭제곱에 대한 합동 관계로 연결하는 라마누잔 유형의 슈퍼합동식(Ramanujan-type supercongruences)의 확장을 다룬다. 기예라(Guillera) 등에 의한 이전 연구들은 무리수 공식과 그 대수적 공액(algebraic conjugates)을 결합하여 "유리적(rational)" 라마누잔 유형 시리즈를 구축해 왔으나, 이러한 유리적 시리즈는 대개 표준 이항 계수를 포함한다. 본 논문에서 탐구하는 핵심 문제는, 피보나치($F_n$) 및 루카스($L_n$) 수, 그리고 **아페리 수(Apéry numbers)**를 계수로 포함하는 시리즈로 이러한 "유리화(rationalization)"를 확장할 수 있는지 여부이다. 저자는 이러한 수열들이 고차 선형 재귀 관계를 만족한다는 점에 착안하여, 이들이 $p^k$ 모듈로에 대해 유사한 슈퍼합동식 성질을 보이는 $1/\pi$ 및 $1/\pi^2$를 위한 새로운 시리즈 군을 생성할 수 있는지 조사한다.

방법론
방법론은 주로 기예라의 발견 정신에 기반한 관찰 및 수치적 접근을 취한다. 접근 방식은 다음과 같다:

1. 무리수 시리즈의 유리화: 알려진 무리수 라마누잔 유형 시리즈(예: $\sqrt{5}$ 또는 $\sqrt{6}$을 포함하는 경우)에서 시작하여, 저자는 이를 그들의 대수적 공액과 결합한다. 이 과정은 무리수 항을 제거하여 유리수 계수를 가진 시리즈를 생성한다.
2. 피보나치/루카스 항의 도입: 결과로 얻어진 유리적 시리즈에서, 계수들을 $F_n$ 및 $L_n$(또는 $\sqrt{6}$으로부터 유도된 일반화된 수열 $U_n, V_n$)으로 표현한다.
3. 슈퍼합동식의 수치적 검증: 저자는 이 새로운 시리즈들에 대응하는 절단 합(truncated sums) $S_1(N)$부터 $S_6(N)$까지를 정의한다. 계산적 증거를 사용하여, 이 합들이 다음 형태의 슈퍼합동식을 만족하는지 테스트한다:
   $$S(p^s) \equiv \chi(p) p^k S(p^{s-1}) \pmod{p^{m s}}$$
   여기서 $\chi(p)$는 르장드르 기호(Legendre symbol), $p$는 소수, $s \geq 1$이다.
4. 생성 함수 분석: 수치적 검증을 용이하게 하기 위해, 저자는 합에 포함된 "희박한(rarefied)" 수열(예: $F_{8n}, L_{8n}, F_{15n}$)에 대한 생성 함수를 유도하며, 이들이 1보다 큰 차수의 상수 유리 계수를 갖는 선형 재귀 관계를 만족함을 보여준다.

주요 기여 및 결과
본 논문은 피보나치 및 루카스 수를 포함하는 슈퍼합동식에 관한 몇 가지 새로운 추측을 제시한다:

• 레벨 1 (모듈로 $p^3$ 및 $p^5$):

  • $\sqrt{5}$를 포함하는 기예라의 $1/\pi$ 시리즈를 결합함으로써, 저자는 $F_{8n}$과 $L_{8n}$을 포함하는 두 개의 새로운 시리즈(식 3 및 4)를 도출한다.
  • 추측: 절단 합 $S_1(N)$과 $S_2(N)$은 $p^3$ (및 높은 거듭제곱에 대해 $p^{3s}$) 모듈로에서 슈퍼합동식을 만족한다. 구체적으로:
    $$S_1(p^s) \equiv \left(\frac{-5}{p}\right) p S_1(p^{s-1}) \pmod{p^{3s}}$$
    $$S_2(p^s) \equiv \left(\frac{-1}{p}\right) p S_2(p^{s-1}) \pmod{p^{3s}}$$
  • 더 짧은 절단(즉, $(p^s+1)/2$까지)에 대해서도 유사한 합동식이 제안된다.

• 레벨 2 (모듈로 $p^5$):

  • 동일한 논리를 $1/\pi^2$를 위한 시리즈($\sqrt{5}$ 및 이항 계수의 고차항 포함)에 적용하여, 저자는 $F_{15n}$ 및 $L_{15n}$을 포함하는 시리즈 $S_3(N)$과 $S_4(N)$을 구성한다.
  • 추측: 이 합들은 $p^5$ 모듈로에서 더 강력한 슈퍼합동식을 만족한다:
    $$S_3(p^s) \equiv \left(\frac{5}{p}\right) p^2 S_3(p^{s-1}) \pmod{p^{5s}}$$
    $$S_4(p^s) \equiv p^2 S_4(p^{s-1}) \pmod{p^{5s}}$$

• 아페리 유형의 일반화:

  • 저자는 아페리 수($A_n$) 및 $\sqrt{6}$과 관련된 수열 $U_n, V_n$을 포함하도록 프레임워크를 확장한다.
  • 추측: 합 $S_5(N)$과 $S_6(N)$은 각각 특정 르장드르 기호 $\left(\frac{-3}{p}\right)$와 $\left(\frac{-2}{p}\right)$를 가지며 $p^3$ 모듈로에서 슈퍼합동식을 만족한다. 단 하나의 예외($S_6(31)$)가 언급되었다.

의의 및 주장
본 논문은 스스로를 엄밀한 증명이 아닌 "환상(fantasy)" 또는 수치적 관찰의 모음으로 겸손하게 규정한다. 본 논문의 의의는 다음과 같다:

1. 일반화: 저자는 라마누잔 유형의 시리즈를 피보나치 및 루카스 수를 포함하도록 "유리화"하는 현상이 고립된 기이함이 아니라 일반화 가능한 산술적 패턴임을 제안한다.
2. 구조적 차이: 저자는 고전적인 라마누간 공식(계수가 순수 거듭제곱과 같이 차수-1 재귀를 만족하는 수열에서 오는 경우)과 이 새로운 "피보나치 유사" 버전 사이의 주요한 차이점을 강조한다. 후자는 고차 선형 재귀를 만족하는 수열을 포함하며, 이는 더 깊고 아직 설명되지 않은 산술적 구조를 시사한다.
3. 이론적 호출: 논문은 "순수 하이퍼지오메트릭 및 유리적" 슈퍼합동식에 대한 상당한 연구가 존재함에도 불구하고, 이러한 피보나치 및 아페리 기반 사례들을 설명할 통합적인 개념적 프레임워크는 현재 존재하지 않는다고 언급하며 끝을 맺는다. 주요 기여는 이러한 패턴을 식별하고 수학계에 이를 설명할 이론적 틀을 개발하도록 초대하는 것이다.

이 작업은 이러한 합동식의 "수치적 관찰"에 크게 의존하고 있으며, 엄밀한 증명은 향후 연구를 위한 열린 과제로 남겨두었다.