[논문 리뷰] Inequalities for binomial coefficients

Zhi-Hong Sun|arXiv (Cornell University)|2013. 10. 01.

Analytic Number Theory Research참고 문헌 4인용 수 3

한 줄 요약

이 논문은 보다 정교한 스타링어 유형 근사와 계승 부등식을 사용하여 이항계수 ${n \choose k}$에 대한 날카운 상계를 확립한다. $n \geq 400$ 이고 $[n/5] \leq k \leq [n/2]$ 이면 ${n \choose k} < \left(1 - \frac{5(k - [n/5])}{6n^2}\right) \frac{n^{n-1/2}}{k^k (n-k)^{n-k}}$임을 증명하며, 기존의 점근적 상계를 향상시키고, 극값 이항계수 행동에 대한 추측을 확인한다.

ABSTRACT

In this paper we prove several inequalities for binomial coefficients. For instance, if $ k$ and $n$ are positive integers such that $n\ge 400$ and $[\frac n5]\le k\le [\frac n2]$, where $[x]$ is the greatest integer not exceeding $x$, then $$\binom nk

연구 동기 및 목표

• 기존의 점근적 상계를 더 견고한 계승 근사로 개선하기 위해.
• 범위 $[n/5] \leq k \leq [n/2]$ 내에서 $\binom{n}{k}$에 대한 명시적이고 비점근적인 부등식을 확립하기 위해.
• 학생이 제기한 추측, 즉 $n^{n-1/2}/(k^k (n-k)^{n-k})$ 가 $\binom{n}{k}$의 상계로서 지배적임을 확인하기 위해.
• $\binom{n}{k} > 2^n / (n+1)$ 를 만족하는 가장 작은 $k$ 의 구조를 조사하여, 극값 이항계수 행동과 연결하기 위해.

제안 방법

• 히르슈혼의 결과를 활용해 정교한 계승 근사를 유도함: $n! = \sqrt{\pi} (n/e)^n (8n^3 + 4n^2 + n + 1/30 - 11/(240n) + r/(240n^2))^{1/6}$, $5 < r < 11$.
• 로빈스와 펠러의 $n!$ 에 대한 부등식을 적용하여 $\binom{mn}{n}$ 과 $\binom{n}{k}$ 에 대한 부등식을 도출함.
• 로그 미분법과 급수 전개를 사용하여 비율 $F(n,k) = \frac{\binom{n}{k} k^k (n-k)^{n-k}}{\binom{n}{k+1} (k+1)^{k+1} (n-k-1)^{n-k-1}}$ 의 상한을 구함.
• 귀납법과 다항식 부등식을 활용하여 $k \leq [n/2] - 1$ 이면 $F(n,k) > \exp(11/(12n^2))$ 임을 증명함.
• 비율 상한을 기존의 상한 $\binom{n}{k} \leq 2^n$ 과 결합하여 최종 부등식을 도출함.
• 함수 $f(k) = k^k (n-k)^{n-k}$ 의 대칭성과 단조성에 의해 분석 범위를 $k \leq n/2$ 로 축소함.

실험 결과

연구 질문

• RQ1 큰 $n$ 과 $k$ 가 $n/5$ 근처일 때, $\binom{n}{k}$ 에 대해 더 견고한 상계를 유도할 수 있는가?
• RQ2 주어진 조건 $n \geq 400$ 과 $[n/5] \leq k \leq [n/2]$ 에 대해 부등식 $\binom{n}{k} < \left(1 - \frac{5(k - [n/5])}{6n^2}\right) \frac{n^{n-1/2}}{k^k (n-k)^{n-k}}$ 는 참인가?
• RQ3 $\binom{n}{k} > 2^n / (n+1)$ 를 만족하는 가장 작은 $k$ 의 정확한 구조는 무엇이며, $2^n / n$ 과의 관계는 어떠한가?
• RQ4 $\binom{n}{f(n)} \leq 2^n / n$ 를 만족하는 무한히 많은 $n$ 이 존재하는가? 여기서 $f(n)$ 은 $\binom{n}{k} > 2^n / (n+1)$ 를 만족하는 가장 작은 $k$ 를 의미한다.

주요 결과

• $n \geq 400$ 이고 $[n/5] \leq k \leq [n/2]$ 이면 부등식 ${n \choose k} < \left(1 - \frac{5(k - [n/5])}{6n^2}\right) \frac{n^{n-1/2}}{k^k (n-k)^{n-k}}$ 가 성립한다.
• 이 상한은 $\binom{n}{k} \leq \frac{n^n}{k^k (n-k)^{n-k}}$ 라는 고전적 부등식을 개선하며, $k - [n/5]$ 에 따라 변하는 보정 인자(보정 요소)를 포함한다.
• 이 부등식은 $k \in [n/5, 4n/5]$ 에 대해 $\binom{n}{k} < \left(1 - \frac{5(k - [n/5])}{6n^2}\right) \frac{2^n}{\sqrt{n}}$ 를 암시한다.
• 논문은 이론이 $\binom{n}{k} < \frac{n^{n-1/2}}{k^k (n-k)^{n-k}}$ 가 $k \in [n/5, 4n/5]$ 이고 $n \geq 400$ 일 때 성립한다는 추측을 확인한다.
• 가장 작은 $k$ 가 $\binom{n}{k} > 2^n / (n+1)$ 를 만족하는 경우, 이 $k$ 는 주어진 조건 하에 $k \leq n/2$ 범위 내에서 $\binom{n}{k}$ 의 유일한 최소화자임을 보였다.
• 추측 2.1은 $\frac{2^n}{n+1} < \binom{n}{k} \leq \frac{2^n}{n}$ 를 만족하는 무한히 많은 $n$ 이 존재한다고 제기하며, $n \leq 1500$ 범위에서 18개의 그러한 쌍을 발견하였다.