[논문 리뷰] Sylvester's Theorem and the Non-integrality of a certain Binomial Sum

Daniel López-Aguayo, Florian Luca|arXiv (Cornell University)|2015. 07. 30.

Advanced Mathematical Theories and Applications참고 문헌 2인용 수 4

한 줄 요약

이 논문은 모든 양의 정수 $ n $ 과 $ r \in \{1,2,3,4,5,6\} $ 에 대해 이항합 $ S(n,r) = \sum_{k=0}^{n} \frac{k}{k+r} \binom{n}{k} $ 가 정수가 되지 않음을 증명한다. 또한 $ n \leq r-1 $ 이면 동일한 성질이 성립함을 보인다. 정수 표현과 연속된 정수에서의 소수 인수에 대한 실베스터의 정리(소수의 분포에 관한)를 이용하여, 이항계수와 지수항으로부터 유도된 유리수 표현의 분모를 분석함으로써, 정수성의 부재를 입증한다.

ABSTRACT

In this note, we show that $S(n,r):=\sum_{k=0}^{n} \binom{n}{k}\frac{k}{k+r}$ is not an integer for any positive integer $n$ and $r\in \{1,2,3,4,5,6\}$ and for $n\le r-1$. This gives a partial answer to a conjecture of [3].

연구 동기 및 목표

• 양의 정수 $ n $ 과 $ r $ 에 대해 이항합 $ S(n,r) = \sum_{k=0}^{n} \frac{k}{k+r} \binom{n}{k} $ 의 정수성에 대한 추측을 해결하는 것.
• 이전 결과에서 $ r = 2,3,4 $ 에 대해 정수성이 성립하지 않는 것을 $ r = 5 $ 와 $ r = 6 $ 으로 확장하고, $ n \leq r-1 $ 인 경우에도 정수성이 성립하지 않음을 증명하는 것.
• 일반적인 공식을 유도하여 $ S(n,r) $ 를 $ 2^{n+j+1}-1 $ 을 분자로, $ n+j+1 $ 을 분모로 하는 유리함수의 조합으로 표현함으로써 정수성의 체계적 분석이 가능하도록 하는 것.

제안 방법

• 적분 표현을 이용하여 $ S(n,r) $ 의 닫힌 형태 표현을 유도: $ S(n,r) = r \int_0^1 (1+x)^n x^{r-1} dx $, 이를 이항정리로 전개한다.
• 이항정리를 활용하여 적분을 유한합으로 변환: $ S(n,r) = \sum_{j=0}^{r-1} (-1)^{r-1-j} r \binom{r-1}{j} \frac{2^{n+j+1} - 1}{n+j+1} $, 이는 핵심 대수적 항등식을 확립한다.
• 실베스터의 버트란드의 추측에 대한 확장판을 적용하여, 연속된 $ r $ 개의 정수 $ n+1, \dots, n+r $ 중에서 적어도 하나는 $ r $ 보다 큰 소수 $ p $ 로 나누어지는 것을 보장함으로써, 비정수 분모를 식별하는 데 기여한다.
• 각 항의 $ p $-진 값의 분석을 통해 총합이 정수가 될 수 없음을 증명함. 즉, 어떤 소수 $ p > r $ 가 분모에는 포함되지만 분자에는 포함되지 않는다는 것을 보임.
• 짝수/홀수 여부 및 작은 소수(예: 2, 3, 5)의 나눗셈 여부에 기반한 케이스 분석을 통해 작은 $ r $ 의 경우, 특히 $ n \leq r-1 $ 인 경우를 다루며, 분모의 구조를 통해 비정수성을 검증한다.
• 모든 $ n \geq 2 $ 에 대해 $ n \nmid 2^n - 1 $ 이라는 사실을 활용하여 $ \frac{2^{n+1}-1}{n+1} $ 이 정수가 아님을 보이고, 이를 선형 조합을 통해 더 큰 $ r $ 에까지 확장한다.

실험 결과

연구 질문

• RQ1 양의 정수 $ n $ 과 $ r $ 에 대해 이항합 $ S(n,r) = \sum_{k=0}^{n} \frac{k}{k+r} \binom{n}{k} $ 가 정수가 되는 경우가 있는가?
• RQ2 모든 $ n \geq 2 $ 에 대해 $ S(n,r) $ 가 비정수임을 보장하는 $ r \in \{1,2,3,4,5,6\} $ 의 값은 무엇인가?
• RQ3 실베스터의 정리(연속된 정수에서의 소수 인수에 관한)를 사용하여 $ n \leq r-1 $ 인 경우 $ S(n,r) $ 의 비정수성을 증명할 수 있는가?
• RQ4 일반 공식 $ S(n,r) = \sum_{j=0}^{r-1} (-1)^{r-1-j} r \binom{r-1}{j} \frac{2^{n+j+1}-1}{n+j+1} $ 이 정수성의 체계적 분석을 가능하게 하는가?
• RQ5 일부 조건 하에서 $ n $ 과 $ r $ 에 대해 $ S(n,r) $ 의 분모가 소수 $ p > r $ 로 나누어지는 것으로 보일 수 있는가. 이는 비정수성을 암시한다?

주요 결과

• $ r \in \{1,2,3,4,5,6\} $ 이고 모든 $ n \geq 2 $ 에 대해 합 $ S(n,r) $ 는 정수가 아니며, 이는 이전에 $ r = 2,3,4 $ 에 대해 성립한 결과를 $ r = 5 $ 와 $ r = 6 $ 으로 확장한 것이다.
• $ n \leq r-1 $ 인 경우, 합 $ S(n,r) $ 는 정수가 아니며, 실베스터의 정리와 버트란드의 추측을 활용하여 분모에 $ n $ 보다 큰 소수 $ p $ 가 포함됨을 보여 정수성의 부재를 증명한다.
• 일반 공식 $ S(n,r) = \sum_{j=0}^{r-1} (-1)^{r-1-j} r \binom{r-1}{j} \frac{2^{n+j+1}-1}{n+j+1} $ 는 적분 표현과 이항정리 전개를 통해 유도되었다.
• $ r = 1 $ 인 경우 $ S(n,1) = \frac{2^{n+1}-1}{n+1} $ 이고, $ n \geq 2 $ 이면 $ n+1 \nmid 2^{n+1}-1 $ 이므로 합은 정수가 아니다.
• $ r = 2 $ 인 경우, $ S(n,2) $ 의 분모는 $ n+2 $ 를 나누지 않는 홀수 소수 $ p $ 로 나누어지므로 $ S(n,2) $ 는 정수가 아니다.
• $ r \geq 5 $ 인 경우, 분모가 소수 $ p \geq 7 $ 로 나누어지는 항 $ \frac{c_i(2^{n+i}-1)}{n+i} $ 가 존재하고, 이 소수 $ p $ 가 다른 분모에는 포함되지 않기 때문에 $ S(n,r) $ 는 정수가 아니다.