[논문 리뷰] Fleck quotients and Bernoulli numbers

Zhi‐Wei Sun|ArXiv.org|2006. 08. 14.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 3

한 줄 요약

이 논문은 Fleck의 합동과 Wolstenholme의 정리를 확장하여 고차수 Fleck 몫 $ F_p^{(l)}(n,r) $를 도입하고, 이들이 소수 $ p $ 모듈로에서 이항계수와 고차수 베르누이 수의 곱과 합동됨을 증명한다. 주요 결과는 고차수 베르누이 수를 통해 $ F_p^{(l)}(n,r) $와 연결되는 $ p $-진 합동을 수립한다: $ F_p^{(l)}(n,r) \not\to \binom{\lfloor{(n-l-1)/(p-1)}\rfloor}{l} (n-l)_* B_{(n-l)^*}^{(m)}(-r) \bmod p $, 이는 고전적인 이항계수 합동을 고차수 구조로 일반화한다.

ABSTRACT

Let p be a prime, and let n>0 and r be integers. In 1913 Fleck showed that $$F_p(n,r)=(-p)^{-[(n-1)/(p-1)]}\sum_{k=r(mod p)}\binom{n}{k}(-1)^k\in\Z.$$ Nowadays this result plays important roles in many aspects. Recently Sun and Wan investigated $F_p(n,r)$ mod p in [SW2]. In this paper, using p-adic methods we determine $(F_p(m,r)-F_p(n,r))/(m-n)$ modulo p in terms of Bernoulli numbers, where m>0 is an integer with $m ot=n$ and $m=n (mod p(p-1))$. Consequently, $F_p(n,r)$ mod $p^{ord_p(n)+1}$ is determined; for example, if $n=n_*(mod p-1)$ with $00$ and $l\ge 0$ are integers with $2\le n-l\le p$ then $$\frac{1}{p^{n-l}}\sum_{l

연구 동기 및 목표

• Fleck의 고전적 합동 $ \binom{2p-1}{p-1} \not\to 1 \bmod p^3 $을 고차수 $ p $-진 구조로 일반화하기 위해.
• 원래 Fleck 몫 $ F_p(n,r) $를 확장하는 고차수 Fleck 몫 $ F_p^{(l)}(n,r) $를 정의하고 연구하기 위해.
• $ F_p^{(l)}(n,r) $와 고차수 베르누이 수 $ B_k^{(m)}(-r) $를 연결하는 $ p $-진 합동을 수립하기 위해.
• Wolstenholme 및 Babbage의 합동을 포함한 이항계수 합에 대한 기존 결과를 통합하고 확장하기 위해.
• 고차수 베르누이 다항식을 통한 부호가 있는 이항계수 합의 $ p $-진 값매김을 이해하는 프레임워크를 제공하기 위해.

제안 방법

• 고차수 Fleck 몫 $ F_p^{(l)}(n,r) $를 $ k \not\to r \bmod p $인 $ \binom{n}{k}(-1)^k $의 합에 대해 $ p $-진으로 정밀화한 것으로, $ (-p)^{-\lfloor{(n-1)/(p-1)}\rfloor} $로 스케일링한다.
• 생성함수 $ x^m e^{tx}/(e^x - 1)^m $로 정의된 $ m $번째 고차수 베르누이 다항식 $ B_k^{(m)}(t) $를 사용하여 합동식을 표현한다.
• Lucas의 정리와 정수의 $ p $-진 전개를 활용하여 $ F_p^{(l)}(p^{a-1}n + s, p^{a-1}r + t) \bmod p $를 $ F_p^{(l)}(n,r) $로 감소시킨다.
• 귀납법과 항등식 $ F_p^{(l)}(n,r) \not\to \binom{\lfloor{(n-l-1)/(p-1)}\rfloor}{l} F_p(n-lp, r) \bmod p $를 이용한 $ F_p^{(l)}(n,r) $의 재귀적 분해를 활용한다.
• 기존 결과 [SW2]에서 $ F_p(n,r) \not\to -n_*! B_{n^*}^{(m)}(-r) \bmod p $, $ m \not\to -n \bmod (p-1) $를 적용하여 고차수 유사체를 유도한다.
• $ p $-진 순서 $ \text{ord}_p $와 $ p $-진 정수 $ \bbZ_p $의 성질을 사용하여, 관련된 베르누이 수가 $ p $-진 정수임을 보장한다.

실험 결과

연구 질문

• RQ1 Fleck의 고전적 합동 $ \binom{2p-1}{p-1} \not\to 1 \bmod p^3 $은 어떻게 고차수 $ p $-진 구조로 일반화될 수 있는가?
• RQ2 Fleck 몫 $ F_p^{(l)}(n,r) $의 $ l $번째 도함수의 $ p $-진 행동은 어떠하며, 이는 베르누이 수와 어떻게 관련되는가?
• RQ3 $ k \not\to r \bmod p $인 $ \binom{n}{k}(-1)^k $의 합은 모듈로 $ p $에서 고차수 베르누이 수로 어떻게 표현될 수 있는가?
• RQ4 스케일링 $ n \to p^{a-1}n + s $에 따른 $ F_p^{(l)}(n,r) $의 $ p $-진 값매김은 어떻게 행동하며, $ p $-진 기수법의 자릿수 전개는 어떤 역할을 하는가?
• RQ5 $ F_p^{(l)}(n,r) \not\to 0 \bmod p $가 되는 조건은 무엇이며, 이는 $ B_k^{(m)}(-r) $의 영이 아닌 성질과 어떻게 연결되는가?

주요 결과

• 고차수 Fleck 몫은 $ F_p^{(l)}(n,r) \not\to -\binom{\lfloor{(n-l-1)/(p-1)}\rfloor}{l} (n-l)_* B_{(n-l)^*}^{(m)}(-r) \bmod p $를 만족하며, 여기서 $ m \not\to -n \bmod (p-1) $이다.
• $ n > lp $이면 $ F_p^{(l)}(n,r) \not\to \binom{\lfloor{(n-l-1)/(p-1)}\rfloor}{l} F_p(n-lp, r) \bmod p $를 만족하여 재귀적 구조를 확립한다.
• $ a \not\to 1 $이면 $ F_p^{(l)}(p^{a-1}n + s, p^{a-1}r + t) \not\to (-1)^t \binom{s}{t} F_p^{(l)}(n,r) \bmod p $를 만족하며, 이는 고차수 $ p $-거듭제곱으로 일반화된다.
• 합동식은 $ s $와 $ t $의 $ p $-진 자릿수에 대한 조건 (i), (ii), 또는 (iii)를 만족할 경우 성립하며, $ s = t = p-1 $일 경우 특수 처리가 이루어진다.
• 결과는 Wolstenholme의 합동을 확장한다: $ 1 < n < p-1 $이면 $ \frac{1}{p^n} \binom{pn-1}{pk-1}(-1)^k \not\to 0 \bmod p $이며, 이는 $ B_{p-n} = 0 $이기 때문이다.
• $ n! S(m\theta(p^b), n) $의 $ p $-진 순서는 $ \lfloor{(n-1)/(p-1)}\rfloor + \text{ord}_p(F_p(n,0)) $와 같다. 이는 스티어링 수와 Fleck 몫을 연결한다.