[论文解读] 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}$ 的上界。
• 研究满足 $\binom{n}{k} > 2^n / (n+1)$ 的最小 $k$ 的结构，将其与二项式系数的极值行为联系起来。

提出的方法

• 利用 Hirschhorn 的结果推导改进的阶乘近似：$n! = \sqrt{\pi} (n/e)^n (8n^3 + 4n^2 + n + 1/30 - 11/(240n) + r/(240n^2))^{1/6}$，其中 $5 < r < 11$。
• 应用 Robbins 和 Feller 对 $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 当 $k$ 接近 $n/5$ 且 $n$ 较大时，能否为 $\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 满足 $\binom{n}{k} > 2^n / (n+1)$ 的最小 $k$ 的精确结构是什么？它与 $2^n / n$ 的关系如何？
• RQ4 是否存在无穷多个 $n$，使得 $\binom{n}{f(n)} \leq 2^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}}$。
• 本文证实了学生 Shu-Yao Yi 的猜想：当 $k \in [n/5, 4n/5]$ 且 $n \geq 400$ 时，有 $\binom{n}{k} < \frac{n^{n-1/2}}{k^k (n-k)^{n-k}}$。
• 研究发现，满足 $\binom{n}{k} > 2^n / (n+1)$ 的最小 $k$ 记为 $f(n)$，且该 $k$ 是在给定界下 $\binom{n}{k}$ 在 $k \leq n/2$ 范围内的唯一最小值点。
• 猜想 2.1 提出存在无穷多个 $n$，使得 $\frac{2^n}{n+1} < \binom{n}{k} \leq \frac{2^n}{n}$，在 $n \leq 1500$ 时已找到 18 组这样的配对。