[論文レビュー] Zeros of Sections of the Binomial Expansion

Svante Janson, Timothy S. Norfolk|ArXiv.org|Mar 23, 2009

Mathematical functions and polynomials参考文献 12被引用数 4

ひとこと要約

本稿は、二項展開の部分和 $ B_{r,n}(z) = \sum_{k=0}^{r} \binom{n}{k} z^k $ の零点の漸近的分布を調査し、$ n \to \infty $ で $ r/n \to \alpha \in (0,1) $ のとき、鋭い境界と極限曲線を確立する。曲線 $ C_\alpha $ を $ \frac{|z|^\alpha}{|1+z|} = \alpha^\alpha(1-\alpha)^{1-\alpha} $ で定義し、零点がこの曲線の周囲に集積し、適切なスケーリングのもとでその曲線に収束することを示す。

ABSTRACT

We examine the asymptotic behaviour of the zeros of sections of the binomial expansion. That is, we consider the distribution of zeros of $\displaystyle B_{r,n}(z) = \sum_{k=0}^r {n \choose k} z^k$, where $1 \le r < n$.

研究の動機と目的

• 多項式 $ B_{r,n}(z) = \sum_{k=0}^{r} \binom{n}{k} z^k $ の零点の漸近的分布を理解すること。$ 1 \leq r < n-1 $ に対して。
• 係数比解析と複素関数論を用いて、これらの零点の位置に対する鋭い幾何的境界を確立すること。
• 極限曲線 $ C_\alpha $ を特徴づけること。$ \alpha = r/n \in (0,1) $ に対して、$ \frac{|z|^\alpha}{|1+z|} = \alpha^\alpha(1-\alpha)^{1-\alpha} $ で定義される。$ n \to \infty $ のとき、零点がこの曲線に収束することを示すこと。
• 収束の証明を支援するため、二項展開の剰余項に関する定量的推定を提供すること。
• 均一マトロイド $ U_{r,n} $ の信頼性多項式を通じて、零点分布とマトロイド理論を結びつけること。

提案手法

• 係数比 $ \frac{\binom{n}{k}}{\binom{n}{k-1}} = \frac{n-k+1}{k} $ を用いて、ゼロのモジュラスをエネストルム＝カケヤの定理で評価する。
• 二項変換 $ z = \frac{q}{1-q} $ を適用し、$ B_{r,n}(z) $ を信頼性多項式 $ H_{r,n}(q) $ と関連づけ、$ q $ に関する既知の境界を用いて解析を可能にする。
• $ \alpha = r/n \in (0,1) $ に対して、極限曲線 $ C_\alpha $ を、$ \frac{|z|^\alpha}{|1+z|} = K_\alpha = \alpha^\alpha(1-\alpha)^{1-\alpha} $ で定義する。
• 剰余項 $ R_{r,n}(z) $ を分析するため、$ (1+z)^{-n}B_{r,n}(z) = 1 - \frac{z^r}{(1+z)^n} R_{r,n}(z) $ の分解を用いる。
• 補題 3.2 を用いて、特定のべき級数に対して $ |f(z)| $ の下界を評価し、単位円板内で非ゼロであることを保証し、収束の議論を支援する。
• 中心極限定理を漸近的に適用し、$ \sum_{k=r+1}^{n} \binom{n}{k} \beta^k (1-\beta)^{n-k} \sim \frac{1}{2} $ を大規模な $ n $、$ r $、$ n-r $ に対して推定する。

実験結果

リサーチクエスチョン

• RQ1 $ n \to \infty $ のとき、複素平面上での $ B_{r,n}(z) = \sum_{k=0}^{r} \binom{n}{k} z^k $ の零点はどのように分布するか？
• RQ2 $ r/n \to \alpha \in (0,1) $ のとき、$ B_{r,n}(z) $ の零点が収束する極限曲線は何か？
• RQ3 零点の位置に対して、$ n $ に依存しない鋭い幾何的境界を確立できるか？
• RQ4 $ |z| \leq \frac{\alpha}{1-\alpha} $ のとき、剰余項 $ R_{r,n}(z) = \sum_{k=r+1}^{n} \binom{n}{k} z^{k-r} $ の大きさはどのように振る舞うか？
• RQ5 $ B_{r,n}(z) $ の零点分布と、均一マトロイド $ U_{r,n} $ の信頼性多項式との間にどのような関係があるか？

主な発見

• $ B_{r,n}(z) $ の零点は、スケーリングされた係数にエネストルム＝カケヤの定理を適用することで得られる領域 $ |z| \leq \frac{r}{n+1-r} $ に存在する。
• 零点は $ \gamma = \frac{r}{n-1} $ を用いて $ \left| z - \frac{\gamma^2}{1-\gamma^2} \right| \leq \frac{\gamma}{1-\gamma^2} $ を満たし、円板制約を形成する。
• すべての零点は $ \left| \frac{z}{1+z} \right| < 1 $ の条件から、$ \operatorname{Re}(z) > -\frac{1}{2} $ を満たす。
• 零点は、$ \alpha = r/n $ に対して $ \frac{|z|^\alpha}{|1+z|} = \alpha^\alpha(1-\alpha)^{1-\alpha} $ で定義される曲線 $ C_\alpha $ の外側に存在する。
• $ n \to \infty $ で $ r/n \to \alpha \in (0,1) $ のとき、$ B_{r,n}(z) $ の零点は曲線 $ C_\alpha $ に収束する。収束速度は写像 $ w = z^{\alpha}/(1+z) $ を用いて分析される。
• 剰余項 $ R_{r,n}(z) $ は、$ |z| \leq \frac{\alpha}{1-\alpha} $ に対して $ |R_{r,n}(z)| \leq K_\alpha^{-n} $ を満たし、さらに $ |R_{r,n}(z)| \geq \frac{|z|}{r+1} K_\alpha^{-n} \sum_{k=r+1}^{n} \binom{n}{k} \beta^k (1-\beta)^{n-k} $ を満たす。ここで、和は漸近的に $ \sim \frac{1}{2} $ に近づく。