A random approach to the multibonacci sequence

本文通过使用有颜色的线性 $k$-omino 推广了一种随机铺砌模型，从而推导出一种加权多重斐波那契数列（multibonacci sequence），并确定了相关随机变量的分布与期望值。

要点

想象一下，你正在一个由无数个微小方格组成的、编号为 1, 2, 3... 的无限长纸条上玩一个游戏。这段文字描述了一种在纸条上进行游戏的新方法，它将简单的硬币投掷概率与一个被称为“多元斐波那契”（Multibonacci）数列的著名数字模式联系了起来。

以下是该游戏的拆解以及作者们的发现，使用了日常类比。

设置：神奇的纸条

把这条纸条想象成一条长长的走廊。走廊里的每一个方格都通过抛掷一枚公平的硬币被涂成黑色或白色。

• 正面 = 黑色。
• 反面 = 白色。
• 每个方格是独立决定的，所以任何特定颜色的出现概率都是 50/50。

游戏的规则

目标是找到一段非常特定的、罕见的颜色模式。作者根据一个数字 $s$（你可以把它看作游戏的“难度等级”）来定义一个“获胜模式”。

1. “停止”标志： 你正在寻找一段特定的颜色序列，它充当了停止标志的作用。

   • 首先，你需要一段很长的黑色方格。
   • 具体来说，你需要一段长度恰好为 $s-1$ 的黑色方格，紧接着是一个白色方格。
   • 等等，它更复杂： 游戏实际上在寻找一段长度为 $s$ 的倍数、加上那段 $s-1$ 的片段、最后以一个白色方格结尾的黑色方格序列。
   • 类比： 想象你正在走廊里行走。只有当你看到一个“白色”方格，且该方格紧接在一段特定的、很长的“黑色”方格链之后时，你才会停下。

2. “铺砖”技巧（秘诀）：
   在你撞到那个停止标志之前，走廊里充满了“瓷砖”。

   • 把这些瓷砖想象成不同尺寸的多米诺骨牌（1格、2格……直到 $s$ 格）。
   • 关于这些瓷砖如何拼接，有一个特殊规则：大小为 $j$ 的瓷砖必须由 $j-1$ 个黑色方格和 1 个白色方格组成。
   • 还有一个特殊的“超级瓷砖”，其大小为 $s+1$，且全部由黑色组成。
   • 作者们意识到，利用这些特定瓷砖填满直到停止点之前的走廊的方法总数，正好等于多元斐波那契数列。
   • 什么是多元斐波那契？ 你可能知道斐波那契数列（1, 1, 2, 3, 5...，即前两项之和等于下一项）。多元斐波那契数列是它的“加强版”，即通过累加最后 $s$ 项来得到下一个数。

重大发现：“预期”距离

作者们提出了一个简单的问题：“平均而言，我需要沿着这条走廊走多远才能遇到我的特定停止标志？”

他们计算了停止点的期望值（数学上的平均值），他们称之为 $X$。

• 结果： 你平均需要走的距离正好是 $2^{s+1} - 3$。
• 让我们尝试一些例子：
  • 如果难度为 2（经典的斐波那契情况）：你平均走 5 格。
  • 如果难度为 3（三阶斐波那契 Tribonacci）：你平均走 13 格。
  • 如果难度为 4：你平均走 29 格。

为什么这很酷？

通常，数学家使用复杂的公式来计算这些数字模式。而这篇论文反其道而行之：它使用了一个随机游戏（抛硬币并在走廊中行走）来生成这些数字。

• 这种联系： 在特定方格停止的概率，与多元斐波那契数列直接相关。
• 核心要点： 通过玩这个随机颜色游戏，你不仅仅是在猜测；你从统计学上保证了自己会落在揭示这些数字序列隐藏结构的地点。

简要总结

作者创建了一个通过抛硬币为长纸条着色的游戏。他们证明了，如果你寻找某种特定的颜色模式，找到它的平均距离是一个简单的公式（$2^{s+1} - 3$）。此外，在停止之前，纸条可能的着色方式总数正好是多元斐波那契数列。它是随机偶然性（抛硬币）与有序模式（著名的数字序列）之间的一座桥梁。

技术摘要

技术摘要：一种针对多斐波那契（Multibonacci）序列的随机方法

问题陈述
本文探讨了将生成斐波那契（Fibonacci）和三阶斐波那契（Tribonacci）恒等式的概率模型推广至更广泛的多阶斐波那契（或称 $s$-bonacci）序列（其中 $s \ge 2$）的问题。虽然 Benjamin 等人的前人工作通过使用多米诺骨牌（dominoes）和方块（squares）的随机铺设建立了斐波那契序列的概率框架，且作者此前已将该框架扩展至三阶斐波那契情形，本研究旨在为任何整数 $s \ge 2$ 构建一个统一的模型。其目标是定义一个在铺设框架内的随机变量 $X$，使其分布和期望值与多阶斐波那契数具有内在联系。

方法论
作者采用了一种基于对编号为 $1, 2, \dots$ 的无限棋盘进行随机铺设的组合与概率方法。该方法论如下进行：

1. 组合解释： 论文首先建立了一个结论：使用集合 $\{1, 2, \dots, s\}$ 中的部分组成整数 $n$ 的方案数对应于多阶斐波那契数 $U_{n+1}$。这使得多阶斐波那契序列可以被组合地定义为：使用长度为 $1$到$s$的瓷砖铺设长度为$n-1$ 的棋盘的方法数。
2. 铺设模型： 该模型利用一个每个单元格以概率 $1/2$ 独立被涂成黑色或白色色的无限棋盘。作者定义了一组特定的“瓷砖”（线性 $k$-ominoes）来解释铺设过程：
   • 一个 $j$-omino（其中 $j = 1, \dots, s$）由 $j-1$ 个黑色单元格后接一个白色单元格组成。
   • 一个 $(s+1)$-omino 则完全由黑色单元格组成。
3. 随机变量的定义： 随机变量 $X$ 被定义为第一个连续黑色单元格串的结束位置，该串的长度形式为 $sk + (s-1)$，其中$k$ 为非负整数。
4. 概率分析： 作者通过对直到停止条件为止的有效铺设进行分类，来分析 $X$ 的概率分布。作者将 $X$ 分解为三个独立或条件独立的随机变量之和，以计算各阶矩：
   • $B$：一个几何随机变量，代表第一个连续 $s-1$ 个黑色单元格出现的位置。
   • $M$：一个几何随机变量，统计在初始运行之后，完整组别（每组包含 $s$ 个连续黑色单元格）的数量。
   • $R$：一个剩余变量，代表在满足停止条件前的最后一段长度，利用了“重启”（restart）性质。

主要贡献与结果
本文确立了以下主要结果：

• $X$ 的分布： 对于 $n \ge s-1$，随机变量 $X$ 等于 $n$ 的概率由下式给出：
  $$P(X = n) = \frac{U_{n-s+2}}{2^{n+1}}$$
  其中 $U_k$ 表示第 $k$ 个多阶斐波那契数。该结果导出了恒等式 $\sum_{n \ge s-1} \frac{U_{n-s+2}}{2^n} = 2$。
• 期望值： 论文推导出了 $X$ 的期望值的闭式表达式：
  $$E[X] = 2^{s+1} - 3$$
  文中特别指出了特定情形：当 $s=2$ 时，$E[X] = 5$（斐波那契）；当 $s=3$ 时，$E[X] = 13$（三阶斐波那契）；当 $s=4$ 时，$E[X] = 29$（四阶斐波那契）。
• 二阶矩与方差： 作者提供了一个复杂的闭式公式用于表示二阶矩 $E[X^2]$ 和方差 $\text{Var}(X)$，该公式通过在 $t=2^s$ 处评估多项式 $A(t)$、$B(t)$ 和 $C(t)$ 来表达。文中还计算了斐波那契、三阶斐波那契和四阶斐波那契情形下的方差具体数值。

意义与主张
本文声称将 Benjamin 等人的概率模型以及作者自身关于三阶斐波那契情形的前期工作，推广到了通用的多阶斐波那契序列。通过采用一种带有线性 $k$-ominoes 和特定着色规则的随机铺设法，本研究成功生成了一个加权的多阶斐波那契序列。其主要意义在于严谨地建立了随机变量 $X$ 的分布与多阶斐波那契数之间的关系，并计算了其期望值，从而将随机铺设模型与线性递推序列之间的联系扩展到了 $s$-bonacci 系列。这项工作属于组合概率论与数论范畴，提供了无需提出外部应用或未来实验方向的各阶矩显式公式。