The Pell Tower and Ostronometry

本文将 Conway 和 Ryba 关于双无限斐波那契数列表的发现推广至由递推式 $X_{n+1}=dX_n+X_{n-1}$（$d$为自然数）定义的数列表，并在探索新规律的过程中揭示了“红墙”现象及 exotic 记数系统。

要点

这篇文章就像是一位数学家在探索一个**“数字宇宙”中的建筑奇迹**。作者罗伯特·福金克（Robbert Fokkink）受前人启发，发现了一些关于数字排列的惊人规律，并把这些规律扩展到了更广阔的领域。

为了让你轻松理解，我们可以把这篇论文想象成在建造一座座神奇的“数字摩天大楼”。

1. 从“帝国大厦”到“佩尔塔”：数字的排列游戏

背景故事：
几年前，两位著名的数学家（康威和瑞巴）玩了一个数字游戏。他们把斐波那契数列（0, 1, 1, 2, 3, 5, 8...，就是那个兔子生兔子的数列）排成了一个巨大的表格。

• 神奇发现： 他们发现，如果把这个表格向左、向右无限延伸，数字的排列会形成一种像纽约帝国大厦一样的结构。
• 结构特点： 这座“大厦”有左右两堵墙，中间是楼层。有些楼层是“对称”的（像回文一样），有些楼层是“不对称”的。这些对称的楼层就像大厦里的“黄金楼层”，非常有规律。

本文的贡献：
作者想：“如果斐波那契数列（每次加前两个数）能造出帝国大厦，那如果我们改变规则，比如每次加前一个数的 2 倍，再加前前一个数（即 $X_{n+1} = 2X_n + X_{n-1}$），会发生什么？”

• 这种新数列叫佩尔数列（Pell numbers）。
• 作者发现，用这种新规则也能造出一座“楼”，但他把它称为**“佩尔塔”（Pell Tower）**。
• 区别： 帝国大厦很规整，但佩尔塔看起来有点“乱”，像是一个错层式的露台建筑。它的墙壁位置不固定，数字在正负之间跳跃，结构比帝国大厦更复杂、更狂野。

2. 核心工具：给数字发“身份证”

为了看懂这些大楼的结构，作者发明（或借用）了一套给数字发“身份证”的方法，叫**“奥斯特罗夫斯基记数法”**（Ostrowski numeration）。

• 普通记数法（十进制）： 就像我们平时数数，用 0-9 这些数字。
• 斐波那契记数法： 用斐波那契数列（1, 2, 3, 5, 8...）作为“积木”来拼凑任何数字。比如 15 可以写成 $8 + 5 + 2$。
• 佩尔记数法（本文重点）： 用佩尔数列（1, 2, 5, 12, 29...）作为积木。

比喻：
想象你要用不同长度的乐高积木（1, 2, 5, 12...）去拼出一个数字。

• 规则是：你不能连续用两个同样长度的积木（或者有更复杂的限制）。
• 每个数字都有唯一的一种拼法。
• 作者把这种拼法看作一串“代码”（比如 101, 110 等）。
• 表格的行：每一行代表一种特定的“代码”（积木拼法）。
• 表格的列：代表根据这个代码生成的数字序列。

3. “红墙”与“左墙”：数字的迷宫

在佩尔塔里，作者发现了一个有趣的**“红墙”**现象。

• 红墙（Red Wall）： 这是一条虚拟的线。在它的右边，数字是正的；在它的左边，数字开始变成负的，或者正负交替。
• 左墙（Left Wall）： 这是另一条线，标志着数字序列的“对称中心”或“起点”。
• 露台（Terrace）： 在红墙和左墙之间，有一块“露台”区域。这里的数字非常特殊，它们既不是完全对称的，也不是完全混乱的。
• 发现： 作者发现，所有的整数（正数、负数，除了 0）都会出现在红墙的左边。而且，如果一个正数在红墙左边，它的相反数（负数）就会出现在“露台”上，或者反之。这就像是一个数字的镜像世界。

4. “奥斯特罗米特”（Ostronometry）：用三角函数解密码

这是论文最“烧脑”但也最精彩的部分。

• 背景： 以前数学家发现，斐波那契数列的很多规律，其实可以用三角函数（正弦、余弦）来解释。康威和瑞巴把这叫“斐波那契计量学”（Fibonometry）。
• 本文创新： 作者把这种方法推广到了佩尔数列和其他类似的数列，并命名为**“奥斯特罗米特”（Ostronometry）**。
• 比喻：
  • 想象数字序列是在一个旋转的圆盘上跳动的。
  • 作者发现，这些看似复杂的数字加减乘除规律，其实对应着圆盘旋转时的角度和正弦/余弦值。
  • 通过这种“魔法”，原本很难证明的复杂数学公式（比如两个数字互质的规律、整除规律），瞬间变成了简单的三角恒等式。就像是用几何图形去解释代数方程一样，让复杂的规律变得一目了然。

5. 总结：我们在看什么？

这篇论文其实是在做三件事：

1. 造房子： 把简单的数字递推公式（比如 $X_{n+1} = 2X_n + X_{n-1}$）变成巨大的、有结构的表格（佩尔塔）。
2. 画地图： 用一种特殊的“积木拼法”（奥斯特罗夫斯基记数法）给每个数字定位，告诉我们它在塔里的哪个位置。
3. 找钥匙： 发明了一种“三角函数钥匙”（奥斯特罗米特），能打开这些数字结构背后的秘密，证明它们为什么长这样。

一句话概括：
作者通过研究一种特殊的数字生成规则，发现了一个像“佩尔塔”一样复杂的数字结构，并用一种巧妙的“三角函数魔法”揭示了其中隐藏的对称性和规律，证明了正数和负数在这个数字宇宙中是如何完美平衡的。

给普通人的启示：
即使是最简单的数学规则（比如“前一个数乘 2 加后一个数”），只要深入挖掘，也能发现像摩天大楼一样宏伟、像迷宫一样精妙的结构。数学不仅仅是计算，更是关于模式、对称和无限的艺术。

技术摘要

这篇论文由 Robbert Fokkink 撰写，题为《Pell 塔与奥斯特罗诺米》（The Pell tower and Ostronometry）。文章受 Conway 和 Ryba 关于斐波那契数列及其“帝国大厦”（Empire State Building）结构的发现启发，将研究推广到更一般的线性递推关系 $X_{n+1} = dX_n + X_{n-1}$（其中 $d$ 为自然数）。

以下是该论文的详细技术总结：

1. 研究问题与背景

• 背景：Conway 和 Ryba 在研究斐波那契递推关系（$d=1$）的双向无限序列表时，发现了一个被称为“帝国大厦”（Empire State Building）的有趣结构。该结构基于 Wythoff 数组，其中包含种子列（seed）和墙列（wall），并展示了斐波那契数和卢卡斯数在特定块中的分布规律。
• 问题：对于一般的递推关系 $X_{n+1} = dX_n + X_{n-1}$（特别是 $d=2$ 时产生佩尔数 Pell numbers），是否存在类似的结构？如何描述这些结构中的模式、对称性以及负数项的分布？
• 目标：构建广义的 Ostrowski 数组，定义“佩尔塔”（Pell Tower）结构，并建立一套类似于 Fibonometry 的数学工具（作者称为 Ostronometry）来推导这些数列的恒等式和性质。

2. 方法论

• Ostrowski 数组的构建：
  • 定义基于递推 $X_{n+1} = dX_n + X_{n-1}$ 的数组 $A_{m,n}$。
  • 利用 Ostrowski 记数系统（基于 $\alpha = \frac{d+\sqrt{d^2+4}}{2}$ 的连分数展开）对行进行标记。行由修剪后的 Ostrowski 词（trimmed Ostrowski words）按基数顺序（radix order）排列。
  • 引入“种子”和“墙”的概念，将数组向左扩展至负索引，形成双向无限序列。
• 算子定义：
  • 定义算子 $out(n)$：在数组中向右移动一步。数学上表示为 $out(n) = \lfloor \alpha n + \frac{1}{\alpha} \rfloor$。
  • 定义算子 $nut(n)$（负向 out）：在负 Ostrowski 数组中向左移动一步。数学上表示为 $nut(n) = \lceil -n\alpha \rceil$。
• 对偶记数系统（Dual Ostrowski Numeration）：
  • 引入负分母 $D_{-n}$ 构建整数的唯一表示系统，用于分析佩尔塔左侧（负数区域）的结构。
• 奥斯特罗诺米（Ostronometry）：
  • 借鉴 Vajda 的技巧，利用三角函数与递推数列的联系。
  • 定义 $z = \frac{\pi}{2} - i \ln(\alpha)$，将递推数列 $D_n$（分母）和 $E_n$（伴随数）映射为正弦和余弦函数：$\sin(nz) \propto D_n$，$\cos(nz) \propto E_n$。
  • 利用三角恒等式（如 Jacobi 恒等式）推导数列的代数恒等式。

3. 关键贡献与结果

A. 佩尔塔（The Pell Tower）结构

• 结构描述：对于 $d > 1$，双向无限数组形成了一个类似“露台建筑”的结构，称为佩尔塔。
• 红墙（Red Wall）：在数组左侧引入了一条“红墙”，将正数区域与负数区域分开。
  • 红墙右侧是标准的 Ostrowski 数组（正数）。
  • 红墙左侧是负 Ostrowski 数组（交替符号）。
  • 红墙与左墙（Left Wall）之间的距离取决于生成该行的 Ostrowski 词的长度 $|w|$，距离为 $|w|$ 或 $|w|+1$。
• 整数分布：
  • 所有非零整数在红墙左侧恰好出现一次。
  • 如果一对 $\{N, -N\}$ 中的一个在红墙左侧，另一个则位于“露台”（红墙与左墙之间）。
  • 当红墙与左墙重合时，其左侧的项为正数。
• 块（Blocks）与回文序列：
  • 类似于帝国大厦，佩尔塔也被分为不同的块（Block $k$ 包含长度为 $2k-1$或$2k$ 的词）。
  • 定义了 Deedees（$D_n$ 的倍数）和 Edees（$E_n$ 的倍数，即伴随数的倍数）。
  • 定理 2.14 给出了每个块中 Deedees 和 Edees 数量的计算公式，涉及 $\lfloor \log_\alpha(j) \rfloor + 1$。
  • 与帝国大厦不同，佩尔塔中的回文序列分布不如前者规则，没有简单的公式直接定位。

B. 奥斯特罗诺米（Ostronometry）理论

• 恒等式推广：
  • 将斐波那契恒等式推广到 $D_n$ 和 $E_n$。例如，Cassini 恒等式推广为 $D_{n+1}D_{n-1} - D_n^2 = (-1)^n$。
  • 利用三角变换推导出广义的 Jacobi 恒等式：$(-1)^c D_a D_{b-c} + (-1)^a D_b D_{c-a} + (-1)^b D_c D_{a-b} = 0$。
• 整除性质：
  • 证明了 $\gcd(D_m, D_n) = D_{\gcd(m,n)}$，即 $D_n$ 整除 $D_m$ 当且仅当 $n$ 整除 $m$。
  • 推广了 Carmichael 定理：任意 $n$ 个连续项的乘积可被前 $n$ 项的乘积整除。
• Pell 方程解：
  • 展示了 $(D_n, E_n)$ 是 Pell 方程 $X^2 - (d^2+4)Y^2 = \pm 4$ 的解。
  • 对于数组中的任意行 $Y_n$，可以构造伴随序列 $X_n$ 使其满足广义 Pell 方程，并通过引入相位角 $\phi$ 将 Vajda 技巧应用于任意行。

C. 负数与 Stolarsky 数组

• 证明了负 Ostrowski 数组是一个 $d$-Stolarsky 数组，即包含每个非零整数恰好一次，且任何双向无限递推序列都与数组中的某一行尾部等价。
• 对于 $d=1$（斐波那契情况），虽然存在种子列，但通过类似方法也能在帝国大厦中定义“红墙”，并分析其距离分布。

4. 意义与结论

• 理论扩展：本文成功将 Conway 和 Ryba 关于斐波那契数列的几何与组合发现推广到了更广泛的线性递推系统（$d \ge 2$），揭示了佩尔数及其他类似数列中隐藏的复杂结构。
• 新工具：提出了“奥斯特罗诺米”（Ostronometry）这一概念，提供了一种通过三角函数统一处理线性递推数列恒等式的强大方法。
• 负数视角：强调了负数在递推序列研究中的重要性，利用对偶记数系统清晰地描述了双向无限序列的对称性和分布规律。
• 未来方向：作者指出，虽然 Tribonacci 递推（三项递推）难以找到类似结果，但基于对偶 Ostrowski 系统，可以定义任意 $\alpha > 1$ 的双向 Ostrowski 数组，这为研究更广泛的动力系统留下了开放问题。

总结：该论文通过引入 Ostrowski 记数系统、对偶记数系统以及三角变换技巧，深入刻画了广义线性递推数列 $X_{n+1} = dX_n + X_{n-1}$ 的数组结构（佩尔塔），揭示了其内部关于整数分布、回文序列块以及整除性质的深刻规律，并建立了一套系统的代数推导方法（Ostronometry）。