[論文レビュー] Inequalities for binomial coefficients

Zhi-Hong Sun|arXiv (Cornell University)|Oct 1, 2013

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}$ の上界として支配的であるという予想を確認すること。
• ${n \choose 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 不等式 $\binom{n}{k} < \left(1 - \frac{5(k - [n/5])}{6n^2}\right) \frac{n^{n-1/2}}{k^k (n-k)^{n-k}}$ が $n \geq 400$ および $[n/5] \leq k \leq [n/2]$ で成り立つか？
• RQ3 ${n \choose k} > 2^n / (n+1)$ を満たす最小の $k$ の正確な構造は何か？また、$2^n / n$ とどのように関連するか？
• RQ4 $\binom{n}{f(n)} \leq 2^n / n$ を満たす無限に多くの $n$ が存在するか？ここで $f(n)$ は ${n \choose 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}}$ が成り立つ。
• この上界は、$k - [n/5]$ に依存する補正項を組み込んだことにより、古典的な不等式 $\binom{n}{k} \leq \frac{n^n}{k^k (n-k)^{n-k}}$ を改善している。
• この不等式から、$k \in [n/5, 4n/5]$ の範囲で $\binom{n}{k} < \left(1 - \frac{5(k - [n/5])}{6n^2}\right) \frac{2^n}{\sqrt{n}}$ が導かれる。
• 本稿は、Shu-Yao Yi が提起した予想 $\binom{n}{k} < \frac{n^{n-1/2}}{k^k (n-k)^{n-k}}$ が $k \in [n/5, 4n/5]$ および $n \geq 400$ の範囲で成り立つことを裏付けた。
• ${n \choose k} > 2^n / (n+1)$ を満たす最小の $k$ が $k = f(n)$ であることが示され、この $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 組のこのようなペアが発見された。