[论文解读] Odd Entries in Pascal's Trinomial Triangle

Steven R. Finch, Pascal Sebah+1 more|ArXiv.org|Feb 19, 2008

History and Theory of Mathematics参考文献 20被引用 5

一句话总结

本文研究了帕斯卡三項式三角形中奇數係數的數量，定義為 $ g(n) $，即 $ (1+x+x^2)^n $ 展開式中奇數項的數目。利用莫什算法與隨機矩陣積的李雅普諾夫指數分析，作者推導出 $ \mathop{\mathrm{E}}(\ln g(N)) $ 和 $ \ln \mathop{\mathrm{E}}(g(N)) $ 的漸近增長率，確立了 $ \frac{\ln \mathop{\mathrm{E}}(g(N))}{\ln n} \to \frac{\ln \xi}{\ln 2} $，其中 $ \xi \approx 2.813 $，並透過重新表述的矩陣積形式驗證了關於李雅普諾夫指數的猜想。

ABSTRACT

The nth row of Pascal's trinomial triangle gives coefficients of (1+x+x^2)^n. Let g(n) denote the number of such coefficients that are odd. We review Moshe's algorithm for evaluating asymptotics of g(n) -- this involves computing the Lyapunov exponent for certain 2x2 random matrix products -- and then analyze further examples with more terms and higher powers of x.

研究动机与目标

• 分析 $ (1+x+x^2)^n $ 展開式中奇數係數數量的漸近行為，記為 $ g(n) $。
• 將莫什算法擴展至隨機矩陣積中李雅普諾夫指數的計算，適用於三項式及更高階情形。
• 推導 $ \mathop{\mathrm{E}}(\ln g(N)) $ 和 $ \ln \mathop{\mathrm{E}}(g(N)) $ 的精確漸近增長率，將已知的二項式結果推廣至三項式係數。
• 透過重新表述的矩陣積形式，嚴謹證明三項式情形下李雅普諾夫指數的猜想。

提出的方法

• 應用莫什算法，透過矩陣積 $ D_{n_{k-1}} D_{n_{k-2}} \cdots D_{n_0} $ 計算 $ g(n) $，其中 $ D_s $ 為模 2 意義下由三項式三角形導出的 $ 3 \times 3 $ 矩陣。
• 定義 $ D_s(i,j) = \#\{ t : B_j^{s,t} = A_i \} $，其中 $ B_j^{s,t} $ 為從三項式三角形中偶數與奇數位置提取的向量。
• 使用公式 $ g(n) = w^T D_{n_{k-1}} \cdots D_{n_0} e_0 $，其中 $ w $ 和 $ e_0 $ 分別為權重向量與指示向量，以遞迴方式計算 $ g(n) $。
• 透過 $ D_0 + D_1 $ 的譜半徑分析 $ \mathop{\mathrm{E}}(g(N)) $ 的增長，得出 $ \frac{\ln \mathop{\mathrm{E}}(g(N))}{\ln n} \to \frac{\ln \xi}{\ln 2} $，其中 $ \xi \approx 2.813 $。
• 將矩陣積重寫為 $ \tilde{D}_j = D_1 D_0^j $，將系統簡化為三組矩陣，其機率分別為 $ 1/2, 1/4, 1/4 $，進而可計算李雅普諾夫指數。
• 計算李雅普諾夫指數為 $ \lambda = \frac{1}{2} \sum_{i,j} \sum_k p_i p_j q^k \ln(\beta_j^T M^k \alpha_i) $，並驗證 $ \lambda / \ln 2 = 1 $，從而確認猜想。

实验结果

研究问题

• RQ1 什麼是 $ \mathop{\mathrm{E}}(\ln g(N)) $ 的漸近增長率，即 $ (1+x+x^2)^n $ 中奇數係數數量的期望對數？
• RQ2 什麼是 $ \ln \mathop{\mathrm{E}}(g(N)) $ 的漸近增長率，即奇數係數數量期望值的對數？
• RQ3 與二項式係數相比，三項式係數相關隨機矩陣積的李雅普諾夫指數有何差異？
• RQ4 能否透過重新表述的矩陣積形式，嚴謹證明三項式情形下李雅普諾夫指數的猜想值？
• RQ5 在 $ 3k $、$ 3k+1 $ 和 $ 3k+2 $ 三種情況下，二進位表示中 1 的數目是否與三進位同餘類無關？

主要发现

• 漸近增長率 $ \ln \mathop{\mathrm{E}}(g(N)) $ 滿足 $ \frac{\ln \mathop{\mathrm{E}}(g(N))}{\ln n} \to \frac{\ln \xi}{\ln 2} $，其中 $ \xi \approx 2.813 $ 為方程 $ \xi^3 - 2\xi^2 - 3\xi + 2 = 0 $ 的實根。
• 漸近增長率 $ \mathop{\mathrm{E}}(\ln g(N)) $ 滿足 $ \frac{\mathop{\mathrm{E}}(\ln g(N))}{\ln n} \to \frac{1}{2} $，與二項式情形類似。
• 三項式矩陣積的李雅普諾夫指數 $ \lambda $ 確認為滿足 $ \lambda / \ln 2 = 1 $，透過三組矩陣與適當權重的重新表述矩陣積形式，嚴謹證明了猜想。
• 作為推論，成立 $ \sum_{k=0}^{\lfloor n/3 \rfloor} \#(3k) \sim \frac{1}{2\ln 2} \cdot \frac{n}{3} \ln n $，其中 $ \#(n) $ 為 $ n $ 的二進位展開中 1 的數目。
• 結果顯示，二進位展開中 1 的平均數目在漸近意義下與模 3 的三進位同餘類無關。
• 矩陣表述將問題簡化為三組秩 1 與一組秩 2 矩陣的乘積，進而可透過涉及 $ M^k $ 的級數精確計算李雅普諾夫指數。