[논문 리뷰] Arithmetic properties of Apéry-like numbers

Éric Delaygue|arXiv (Cornell University)|2013. 10. 15.

Advanced Mathematical Identities참고 문헌 29인용 수 8

한 줄 요약

이 논문은 Apéry 수의 $p$-진 값에 대한 Beukers의 추측을 증명하고 Apéry-유사 수열의 $p$-진 값에 대한 하한을 설정하는 일반적인 프레임워크를 수립한다. $p$-Lucas 성질을 판단하는 기준을 제시하며, Apéry-유사 재귀를 만족하는 계승 비율의 다중합이 Lucas 정리와 유사한 합동식을 보이며, 이는 $p$-진 값이 $n$의 $p$-진 전개 숫자에 의해 결정됨을 보여준다. 핵심 결과는 $p^\alpha$가 $A(n)$을 나누며, 이때 $\alpha$는 $A(n_k) \equiv 0 \pmod{p}$를 만족하는 $n_k$의 숫자 개수를 세는 것이다.

ABSTRACT

We provide lower bounds for p-adic valuations of multisums of factorial ratios which satisfy an Apéry-like recurrence relation: these include Apéry, Domb, Franel numbers, the numbers of abelian squares over a finite alphabet, and constant terms of powers of certain Laurent polynomials. In particular, we prove Beukers' conjectures on the p-adic valuation of Apéry numbers. Furthermore, we give an effective criterion for a sequence of factorial ratios to satisfy the p-Lucas property for almost all primes p.

연구 동기 및 목표

• 소수 $p=5$ 및 $p=11$에 대해 Apéry 수의 $p$-진 값에 대한 Beukers의 추측을 해결하기 위해.
• Apéry-유사 수열의 광범위한 클래스에 대해 $p$-Lucas 성질을 일반화하기 위해.
• pratickly 모든 소수 $p$에 대해 계승 비율의 수열이 $p$-Lucas 성질을 만족하는지 판단할 수 있는 효과적인 기준을 제공하기 위해.
• Apéry-유사 재귀 관계를 만족하는 계승 비율의 다중합에 대한 $p$-진 값의 하한을 설정하기 위해.
• Apéry, Domb, Franel 및 로렌트 다항식의 상수항과 같은 수열에 알려진 합동식을 통합하고 확장하기 위해.

제안 방법

• 다중합의 계승 비율을 분석하기 위해 $p$-진 분석과 $p$-진 감마 함수 $\Gamma_p$ 이론을 사용한다.
• 지수 $n = n_0 + n_1p + \cdots + n_kp^k$의 $p$-진 전개를 적용하여, $p$ 모듈로에서 수열 $A(n)$을 구성요소 $A(n_i)$로 분해한다.
• $p$-진 함수의 링인 $\mathfrak{F}_p^d$를 활용한 기능적 프레임워크를 도입하여 합의 항들의 $p$-진 순서를 제어한다.
• $\mathfrak{S}_{e,f}^g(v + np)$의 재귀적 분해를 $\mathcal{Q}_{e,f}(\mathbf{m})$과 $p$-진 함수 $\tau_{\mathbf{a}}$를 통해 유도하며, 이는 $A(n_k) \equiv 0 \pmod{p}$를 만족하는 $n_k$의 개수에 의해 $p$-진 값이 결정됨을 보여준다.
• $A(n)$의 $p$-진 값이 정확히 $A(n_k) \equiv 0 \pmod{p}$를 만족하는 $p$-진 전개 숫자 $n_k$의 개수와 같음을 증명하며, 이는 Lucas 유형의 합동식을 일반화한다.
• $2$-가능 벡터 $\mathbf{e}_i$와 오직 $\mathbf{1}_k$로 구성된 벡터 $\mathbf{f}_i$의 구조를 이용하여 $\Delta_{e,f}(\mathbf{a}/p)$의 $p$-진 값 지수를 제어한다.

실험 결과

연구 질문

• RQ1 Apéry-유사 수열은 $p$-진 버전의 Lucas 정리, 즉 $n$의 $p$-진 숫자 $n_i$에 대해 $A(n) \equiv \prod A(n_i) \pmod{p}$를 만족하는가?
• RQ2 Beukers의 추측에 따르면, $A(n)$의 $p$-진 값은 $A(n_k) \equiv 0 \pmod{p}$를 만족하는 $p$-진 숫자 $n_k$의 개수와 같은가? ($p=5$ 및 $p=11$에 대해 확인한다.)
• RQ3 pratickly 모든 소수 $p$에 대해 계승 비율의 수열이 $p$-Lucas 성질을 만족하는지 판단할 수 있는 일반적인 기준을 유도할 수 있는가?
• RQ4 Apéry-유사 재귀를 만족하는 계승 비율의 다중합은 $n$의 $p$-진 숫자에만 의존하는 $p$-진 값의 하한을 가진다?
• RQ5 $p$-Lucas 성질은 일반화된 Apéry 수에 대해 유지되는가? 그렇지 않다면 어떤 조건이 이를 방해하는가?

주요 결과

• 논문은 $p=5$에 대해 Beukers의 추측을 증명한다: $5^\alpha$는 $A_1(n)$을 나누며, 이때 $\alpha$는 $n_k$가 $1$ 또는 $3$인 $5$-진 숫자의 개수이며, $A_1(1) \equiv A_1(3) \equiv 0 \pmod{5}$이다.
• 논문은 $p=11$에 대해 Beukers의 추측을 증명한다: $11^\alpha$는 $A_1(n)$을 나누며, 이때 $\alpha$는 $n_k$가 $5$인 $11$-진 숫자의 개수이며, $A_1(5) \equiv 0 \pmod{11}$이다.
• 논문은 $A_2(n)$에 대해 Beukers의 추측을 증명한다: $p \equiv 3 \pmod{4}$일 때 $p^\alpha$는 $A_2(n)$을 나누며, 이때 $\alpha$는 $n_k$가 $\frac{p-1}{2}$인 $p$-진 숫자의 개수이며, $A_2\left(\frac{p-1}{2}\right) \equiv 0 \pmod{p}$이다.
• 논문은 Apéry-유사 수열의 $A(n)$에 대해 $p$-진 값이 정확히 $A(n_k) \equiv 0 \pmod{p}$를 만족하는 $p$-진 숫자 $n_k$의 개수와 같음을 증명하며, 이는 $p$-Lucas 성질의 일반화를 확인한다.
• 논문은 효과적인 기준을 제공한다: 계승 비율의 수열이 거의 모든 소수 $p$에 대해 $p$-Lucas 성질을 만족하려면 그 관련 벡터 $\mathbf{e}_i$가 $2$-가능하고 $\mathbf{f}_i$가 오직 $\mathbf{1}_k$ 벡터로 이루어져 있어야 한다.
• 논문은 $A(n)$의 $p$-진 값이 $A(n_k) \equiv 0 \pmod{p}$를 만족하는 숫자 $n_k$의 개수에 의해 아래로 유계이며, 이 하한은 연구된 모든 Apéry-유사 수열에 대해 정확하다.