[論文レビュー] Calculus proofs of some combinatorial inequalities

Tomislav Došlić, Darko Veljan|ArXiv.org|Mar 16, 2006

Advanced Combinatorial Mathematics参考文献 6被引用数 4

ひとこと要約

本稿では、再帰関係から導かれる有理関数の単調性を分析することにより、微分法を用いた組合せ的数列の対数凹型および対数凸型を証明するための計算手法を提案する。この手法により、二項係数、スターリング数、モツキン数、2次構造数、デラヌワ数、およびルジャンドル多項式の値が、離散的数列の連続的補間における微分解析を用いて対数凸型または対数凹型であることが示される。

ABSTRACT

Using calculus we show how to prove some combinatorial inequalities of the type log-concavity or log-convexity. It is shown by this method that binomial coefficients and Stirling numbers of the first and second kinds are log-concave, and that Motzkin numbers and secondary structure numbers of rank 1 are log-convex. In fact, we prove via calculus a much stronger result that a natural continuous ``patchwork'' (i.e. corresponding dynamical systems) of Motzkin numbers and secondary structures recursions are increasing functions. We indicate how to prove asymptotically the log-convexity for general secondary structures. Our method also applies to show that sequences of values of some orthogonal polynomials, and in particular the sequence of central Delannoy numbers, are log-convex.

研究の動機と目的

• 組合せ的不等式、特に対数凹型および対数凸型を証明する体系的で微積分に基づくアプローチを開発すること。組合せ的双対写像や代数的恒等式に依存しないこと。
• 二項係数、スターリング数、モツキン数、2次構造数などの数列が、連続的拡張と微分解析を通じて対数凸型または対数凹型を示すことを示すこと。
• この手法を直交多項式へと拡張し、t ≥ 1 におけるルジャンドル多項式の値が、再帰的商関数を用いた微分解析により対数凸型であることを示すこと。
• 再帰的数列の成長率を分析することにより、一般の2次構造における対数凸型の漸近的妥当性を示すこと。
• ロルの定理および微分不等式に基づく解析的技法を用いて、複雑な組合せ的構成を置き換えることで、既存の組合せ的不等式証明を統一的かつ一般化すること。

提案手法

• ルジャンドル多項式の比 x_n(t) = P_n(t)/P_{n-1}(t) を補間する連続的で区分的有理関数 f_t(x) を定義し、離散的再帰関係を x ≥ 1 の実数に拡張する。
• 帰納法と微分を用いて、f_t(x) が [1, ∞) 上で単調増加であることを示し、これにより数列 P_n(t) の対数凸型が導かれる。
• 線形再帰で定義される数列に対して、比 a_n / a_{n-1} を関数に変換し、その導関数を分析することにより手法を適用する。
• 実根多項式の性質（例：ニュートンの補題）とロルの定理を活用し、実根を持つ母関数から導かれる数列の対数凹型を確立する。
• S^{(l)}(n) ~ K_l α_l^n n^{-3/2} のような再帰的解の漸近的解析を用い、比 x_n^{(l)} = S^{(l)}(n)/S^{(l)}(n-1) の単調性を導出し、結果として対数凸型を示す。
• 導出された関数 f_t(x) が [1, ∞) 上で有界かつ連続であること、したがって開区間 (n, n+1) で微分可能であることを確認し、帰納的微分解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 組合せ的数列の対数凹型および対数凸型を、組合せ的双対写像よりも体系的に証明するために、微積分的アプローチを用いることは可能か？
• RQ2 再帰的数列を、元の数列の対数凸型を示す単調性を有する連続関数にどの程度まで拡張できるか？
• RQ3 2次構造数の漸近的挙動を用いて、比の解析を通じて対数凸型をどのように推論できるか？
• RQ4 ルジャンドル多項式の値が t ≥ 1 で対数凸型であることは、再帰的比関数の微分解析によって確立できるか？
• RQ5 母関数の実根性が、微積分的技法による対数凹型証明に果たす役割は何か？

主な発見

• 二項係数および第一種・第二種スターリング数は、ニュートンの補題とその母多項式の実根性を用いて対数凹型であることが証明された。
• モツキン数およびランク1の2次構造数は対数凸型であり、その証明は再帰関係から導かれる連続的で区分的有理関数の単調性に依存する。
• 中央デラヌワ数 D(n) の数列は対数凸型である。なぜなら D(n) = P_n(3) であり、P_n(t) はすべての t ≥ 1 に対して対数凸型であるからである。
• デラヌワ数の成長率は lim_{n→∞} D(n)/D(n-1) = 3 + 2√2 を満たし、これはルジャンドル多項式比の漸近的挙動から導かれる。
• ルジャンドル多項式の比関数 f_t(x) は [1, ∞) 上で単調増加であり、帰納法と微分を用いて証明された。これにより P_n(t) の対数凸型が導かれる。
• この手法はビッグシュレーディンガー数や直交多項式などの他の数列へと一般化可能であり、連続的補間と微分解析を用いてそれらの対数凸型が確立された。