2025-11-10T02:51:50.582851

Ratios of two powers of van der Laan-Padovan numbers

Yamada
The van der Laan-Padovan sequence $P_n ~ (n=0, 1, \ldots)$ is defined by $P_0=1, P_1=P_2=0$, and $P_{n+3}=P_{n+1}+P_n$ for $n=0, 1, \ldots$. We determine all pairs $(P_m, P_n)$ satisfying $P_m^b=2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a$ for some integers $g_1, g_2, g_3, g_4$, $a$, and $b$. More generally, for a linear recurrence sequence $u_n$ satisfying the dominant root condition and a given set of primes $p_1, \ldots, p_k$, there exist only finitely many pairs $(u_m, u_n)$ satisfying $u_m^b=p_1^{g_1} \cdots p_k^{g_k} u_n^a$ for some integers $g_1, \ldots, g_k$, $a$, and $b$.
academic

van der Laan-Padovan 수의 두 거듭제곱의 비

기본 정보

  • 논문 ID: 2510.06192
  • 제목: Ratios of two powers of van der Laan-Padovan numbers
  • 저자: Tomohiro Yamada (오사카 대학교 일본어 언어문화 센터)
  • 분류: math.NT (정수론)
  • 발표 시간: 2025년 10월 12일 (arXiv 프리프린트 v2)
  • 논문 링크: https://arxiv.org/abs/2510.06192

초록

van der Laan-Padovan 수열 PnP_n (n = 0, 1, ...)은 P0=1P_0 = 1, P1=P2=0P_1 = P_2 = 0 및 점화식 Pn+3=Pn+1+PnP_{n+3} = P_{n+1} + P_n (n ≥ 0)으로 정의됩니다. 본 논문은 Pmb=2g13g25g37g4PnaP_m^b = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a를 만족하는 모든 정수 쌍 (Pm,Pn)(P_m, P_n)을 결정합니다. 여기서 g1,g2,g3,g4,a,bg_1, g_2, g_3, g_4, a, b는 정수입니다. 더 일반적으로, 주근 조건을 만족하는 선형 점화 수열 unu_n과 주어진 소수 집합 p1,…,pkp_1, \ldots, p_k에 대해, umb=p1g1⋯pkgkunau_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a를 만족하는 해 쌍 (um,un)(u_m, u_n)은 유한개만 존재합니다.

연구 배경 및 동기

문제 배경

  1. 선형 점화 수열의 산술적 성질: 선형 점화 수열의 산술적 성질과 디오판토스 방정식은 정수론 연구의 중요한 영역입니다. 이 중 가장 광범위하게 연구된 것은 Lucas 수열이며, 이미 많은 깊이 있는 결과가 있습니다.
  2. van der Laan-Padovan 수열: 이 수열은 원래 Dom Hans van der Laan이 건축학 연구에서 도입했으며, 나중에 Richard Padovan이 더욱 발전시켰습니다. 수열은 다음과 같습니다: 1, 0, 0, 1, 0, 1, 1, 1, 2, 2, 3, 4, 5, 7, 9, 12, 16, 21, 28, 37, 49, 65, 86, 114, 151, 200, ...
  3. 기존 이론의 한계: 일반 선형 점화 수열의 경우, Lucas 수열에 비해 알려진 결과가 적습니다. 특히 거듭제곱 관계에 대한 연구에서 모든 해를 결정하기 위한 효과적인 방법이 부족합니다.

연구 동기

  1. 이론적 공백 채우기: 일반 선형 점화 수열의 거듭제곱 관계 문제에 대한 효과적인 해결 방법 제공
  2. 실제 응용: van der Laan-Padovan 수열은 건축학 및 기하학에서 중요한 응용을 가집니다
  3. 방법론적 기여: 더 광범위한 선형 점화 수열에 적용 가능한 기법 개발

핵심 기여

  1. 일반적 유한성 정리 수립: 주근 조건을 만족하는 선형 점화 수열에 대해 umb=p1g1⋯pkgkunau_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a 형태의 해가 유한개임을 증명
  2. 효과적 상한 제공: 정리 4.1에서 해의 효과적 계산 가능한 상한을 제시하며, 상한이 크지만 실제 계산에서 실행 가능합니다
  3. van der Laan-Padovan 수열 문제의 완전한 해결: Pmb=2g13g25g37g4PnaP_m^b = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a를 만족하는 모든 해를 결정
  4. 새로운 계산 기법 개발: Baker 방법, 격 축약 기법 및 컴퓨터 검증을 결합하여 실용적인 해결 전략 제공

방법론 상세 설명

작업 정의

선형 점화 수열 unu_n과 소수 집합 {p1,…,pk}\{p_1, \ldots, p_k\}가 주어졌을 때, 다음 방정식을 만족하는 모든 정수 쌍 (m,n)(m,n)을 찾습니다: umb=p1g1⋯pkgkunau_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a 여기서 g1,…,gk,a,bg_1, \ldots, g_k, a, b는 정수이고 a>0a > 0입니다.

이론적 프레임워크

1. 선형 점화 수열의 표현

r차 선형 점화 수열의 일반항 공식은: un=∑i=1tqi(n)αinu_n = \sum_{i=1}^t q_i(n)\alpha_i^n 여기서 α1,…,αt\alpha_1, \ldots, \alpha_t는 특성 다항식의 근이고, qi(n)q_i(n)은 다항식입니다.

2. 주근 조건

∣α1∣>∣α2∣≥⋯≥∣αt∣|\alpha_1| > |\alpha_2| \geq \cdots \geq |\alpha_t|이고 κ1≠0\kappa_1 \neq 0이라고 가정합니다. 여기서 κ1\kappa_1은 α1\alpha_1에 대응하는 계수입니다.

3. 선형 로그 형식의 하한

핵심 기법은 Matveev의 선형 로그 형식 하한 정리(보조정리 2.1)입니다:

대수수 α1,…,αn\alpha_1, \ldots, \alpha_n과 정수 b1,…,bnb_1, \ldots, b_n에 대해, 선형 형식 Λ=b1log⁡α1+⋯+bnlog⁡αn\Lambda = b_1 \log \alpha_1 + \cdots + b_n \log \alpha_n 은 다음을 만족합니다: Λ=0\Lambda = 0 또는 log⁡∣Λ∣>−C(n)Ωlog⁡(c1B)\log |\Lambda| > -C(n)\Omega \log(c_1B)

알고리즘 흐름

1단계: 전처리 및 특수 경우

  1. Pn=2f13f25f37f4P_n = 2^{f_1} 3^{f_2} 5^{f_3} 7^{f_4}인 경우 처리 (보조정리 5.1)
  2. 직접 계산을 사용하여 n∈{0,1,…,18,20,25,36}n \in \{0, 1, \ldots, 18, 20, 25, 36\} 결정

2단계: 일반 경우의 상한 추정

Pna=2g13g25g37g4PmbP_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b에 대해:

  1. 선형 로그 형식 수립: Λ=g1log⁡2+⋯+g4log⁡7+(a−b)log⁡κ1+(an−bm)log⁡α1\Lambda = g_1 \log 2 + \cdots + g_4 \log 7 + (a-b) \log \kappa_1 + (an-bm) \log \alpha_1
  2. Matveev 정리 적용: m,nm, n의 이론적 상한 획득
  3. 격 축약을 통한 개선: LLL 알고리즘 및 보조정리 2.3을 사용하여 상한 개선

3단계: 컴퓨터 검증

  1. 각 가능한 mm 값에 대해 해당 선형 로그 형식 구성
  2. 격 축약 기법을 사용하여 더 정확한 하한 획득
  3. 남은 경우들을 일일이 검증

기술적 혁신점

  1. 효과성: 이전의 비효과적 결과와 달리, 본 논문은 효과적 계산 가능한 상한 제공
  2. 격 축약 기법: 격 축약 방법을 창의적으로 결합하여 이론적 상한을 크게 개선
  3. 분류 논의: 문제를 특수 경우와 일반 경우로 교묘하게 분해하여 계산 복잡도 대폭 감소

실험 설정

수학 상수

  • 소성비: α1=1.324717…\alpha_1 = 1.324717\ldots (방정식 X3−X−1=0X^3 - X - 1 = 0의 실근)
  • 복소근: α2,α3=−0.662358…±0.562279…i\alpha_2, \alpha_3 = -0.662358\ldots \pm 0.562279\ldots i
  • 계수: κi=1/(2αi+3)\kappa_i = 1/(2\alpha_i + 3) for i=1,2,3i = 1, 2, 3
  • 매개변수: K=5.599815…K = 5.599815\ldots, δ=1.524702…\delta = 1.524702\ldots

계산 매개변수

  • 초기점: n1=27n_1 = 27
  • 정밀도 매개변수: μ=10\mu = 10
  • 오차 한계: ϵ<6.3413×10−5\epsilon < 6.3413 \times 10^{-5}

격 축약 설정

  • 다양한 단계에서 서로 다른 격 매개변수 (C,γ)(C, \gamma) 사용
  • 1단계: (C,γ)=(10150,11)(C, \gamma) = (10^{150}, 11)
  • 후속 단계: 필요에 따라 매개변수 조정

실험 결과

주요 결과 (정리 1.3)

Pna=2g13g25g37g4PmbP_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b가 어떤 정수 g1,g2,g3,g4,a,bg_1, g_2, g_3, g_4, a, b에 대해 성립하고 a>0a > 0이면, 다음 중 하나가 반드시 성립합니다:

  1. m,n∈{1,2,4}m, n \in \{1, 2, 4\}, 또는
  2. m,n∈{0,3,5,6,…,18,20,25,36}m, n \in \{0, 3, 5, 6, \ldots, 18, 20, 25, 36\}, 또는
  3. m,n∈{21,27,49}m, n \in \{21, 27, 49\}

중간 결과

보조정리 5.1

Pn=2f13f25f37f4P_n = 2^{f_1} 3^{f_2} 5^{f_3} 7^{f_4}이면, n∈{0,1,…,18,20,25,36}n \in \{0, 1, \ldots, 18, 20, 25, 36\}입니다.

보조정리 5.2

Pna=2g13g25g37g4PmbP_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b이고 gcd⁡(a,b)=1\gcd(a,b) = 1이면:

  • m≤988m \leq 988
  • bm≤3.850562×1029bm \leq 3.850562 \times 10^{29}
  • an<5.5553×1029an < 5.5553 \times 10^{29}

계산 검증

m≤988m \leq 988의 모든 경우를 일일이 검토하여 위의 세 가지 해 집합만 존재함을 확인했습니다. 검증 과정에서 다음을 발견했습니다:

  • Hm=Pm/(2e1⋯7e4)H_m = P_m/(2^{e_1} \cdots 7^{e_4})에 대해, 0≤m≤10120 \leq m \leq 1012이고 Hm∉{0,1}H_m \notin \{0,1\}일 때, HmH_m은 완전 거듭제곱이 아닙니다
  • 이는 대부분의 경우 a=1a = 1임을 보장합니다

관련 연구

고전적 결과

  1. Lucas 수열: Bilu-Hanrot-Voutier 정리는 Lucas 수열에 강력한 도구를 제공합니다
  2. 일반 선형 점화: van der Poorten-Schlickewei의 성장 조건, Evertse의 소인수 결과
  3. 효과적 결과: Mignotte, Stewart, Pethö 등의 효과적 상한

최근 진전

  1. Odjoumani-Ziegler: 선형 점화 수열에서 소수 거듭제곱의 출현에 관한 연구
  2. Bugeaud-Kaneko: 완전 거듭제곱의 효과적 상한에 관한 연구
  3. Gómez Ruiz-Luca: 서로 다른 점화 수열 간의 곱셈 관계

본 논문의 기여

기존 연구와 비교하여, 본 논문은 van der Laan-Padovan 수열의 거듭제곱 관계에 대한 완전한 해를 처음으로 제시하며, 주근 조건을 만족하는 일반 선형 점화 수열에 적용 가능한 효과적 방법을 제공합니다.

결론 및 논의

주요 결론

  1. 완전성: van der Laan-Padovan 수열의 거듭제곱 관계 문제를 철저히 해결
  2. 일반성: 주근 조건을 만족하는 선형 점화 수열에 적용 가능한 일반 이론 수립
  3. 효과성: 실제 계산 가능한 상한 및 알고리즘 제공

제한사항

  1. 과도한 상한: 이론적 상한 C′′Ψlog⁡(c2C′Ψ′)C^{\prime\prime} \Psi \log(c_2 C^\prime \Psi^\prime)은 실제 응용에서 과도할 수 있습니다
  2. 계산 복잡도: 매개변수가 큰 경우, 계산량은 여전히 거대합니다
  3. 특정 소수: 현재 결과는 소수 집합 {2,3,5,7}\{2, 3, 5, 7\}로 제한됩니다

향후 방향

  1. 상한 개선: 더 타이트한 이론적 상한 탐색
  2. 소수 집합 확장: 더 큰 소수 집합의 경우 연구
  3. 다른 점화 수열: 방법을 다른 중요 점화 수열에 적용
  4. 알고리즘 최적화: 더 효율적인 계산 알고리즘 개발

심층 평가

장점

  1. 이론적 기여: 구체적인 3차 선형 점화 수열의 거듭제곱 관계 문제를 처음으로 완전히 해결
  2. 방법론적 혁신: Baker 방법, 격 축약 기법 및 컴퓨터 검증을 교묘하게 결합
  3. 실용적 가치: 실행 가능한 PARI-GP 코드 제공으로 재현성 강화
  4. 명확한 작성: 논문 구조가 명확하고 기술적 세부사항이 충분함

부족한 점

  1. 이론적 한계: 주근 조건의 요구는 방법의 적용 범위를 제한합니다
  2. 계산 의존성: 최종 결과는 컴퓨터 검증에 크게 의존하며, 이론적 분석이 충분하지 않습니다
  3. 일반화 가능성: 다른 점화 수열로의 일반화가 직접적이지 않습니다

영향력

  1. 학술적 가치: 선형 점화 수열의 디오판토스 방정식 연구에 새로운 기술 경로 제공
  2. 실용적 의미: van der Laan-Padovan 수열의 건축학 응용으로 인해 결과가 학제간 가치를 가집니다
  3. 방법론: 격 축약 기법의 정수론 문제 응용은 시범적 의미를 가집니다

적용 분야

  1. 정수론 연구: 선형 점화 수열의 산술적 성질 연구
  2. 계산 수학: 디오판토스 방정식의 정확한 해를 요구하는 경우
  3. 응용 수학: 점화 수열을 포함하는 실제 문제

참고문헌

논문은 37편의 중요 문헌을 인용하며, 선형 점화 수열 이론, Baker 방법, 격 축약 기법 등 다양한 분야의 고전 및 최신 연구를 포함하여 연구에 견고한 이론적 기초를 제공합니다.