🔢 mathematics

Hankel determinants of weighted binary sums of digits

本文为计算加权二进制数位和函数的汉克尔行列式建立了一个通用的递推关系，推导出了普通情况下的显式闭式解以部分解决 Allouche 和 Shallit 提出的问题，并分析了这些行列式在多项式权重及其一阶差分下的消失行为。

原作者： Bartosz Sobolewski, Maciej Ulas

发布于 2026-07-13

📖 1 分钟阅读🧠 深度阅读

原作者： Bartosz Sobolewski, Maciej Ulas

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，你拥有一个神奇的计算器，它不仅仅是做加法，还能观察一个数字隐藏在秘密二进制代码（就像一种只由 0 和 1 组成的秘密语言）中的“1”的数量。我们把这个叫做“数位和”（digit-sum）。现在，想象你将这些数位和排列成一个巨大的正方形网格，其中每个单元格都根据其行和列持有特定的和。这个网格被称为汉克尔矩阵（Hankel matrix）。

大问题在于，作者 Bartosz Sobolewski 和 Maciej Ulas 想要探究的是：如果你将这个网格压缩成一个单一的数字（称为行列式），你会得到什么？

通常情况下，这些数字是杂乱无章、难以预测且难以计算的。但这篇文章就像是找到了一把万能钥匙，解开了隐藏在混沌中的模式。

魔法钥匙：递归配方

作者发现了一个通用的“配方”（递归），让你无需每次都构建整个网格就能计算这些巨大的网格数字。这就像是意识到，与其数清沙滩上的每一粒沙子，不如只需观察几个特定的沙丘并使用公式就能知道总数。

他们在最基础的版本上测试了这个配方：标准的二进制数位和。你猜怎么着？他们发现对于特定的、无限的网格尺寸族，答案竟然如此简单。

例如，如果你选择一个基于公式 $n = \lceil 2^{k+2}/3 \rceil$ 的网格大小（这表示一个特定的增长序列），结果是惊人的简单：
$\text{结果} = (-1)^{\text{某个东西}} \times (k + 1)$
它仅仅是带有正负号的数字 $k+1$ ！这解决了一个数学家 Allouche 和 Shallit 曾研究许久的谜题。

“权重”的转折

作者并没有止步于标准版本。他们引入了“权重”，这些权重就像是给二进制代码中的不同位置赋予不同的分值。想象一下，如果你看到的第一个“1”值 1 分，第二个“1”值 $t$ 分，第三个“1”值 $t^2$ 分，以此类推。

当他们这样做时，这些单一的数字变成了多项式（含有变量 $t$ 的方程）。他们发现，对于某些特殊的 $t$ 值——特别是当 $t$ 与“单位根”（即乘以自身足够多次后会绕回 1 的数）相关时——这些多项式会在巨大的网格尺寸范围内消失（变为零）。

把这想象成一架钢琴。如果你按下某些键（特定的网格大小），音符是沉默的。作者证明了对于这些特殊的 $t$ 值，存在着长而有结构的沉默区间。然而，他们也表明，“非沉默”的音符是稀少且分散的，就像在广袤空旷的大海中寻找少数特定的岛屿。

他们做了什么，以及没做什么

了解这篇文章所说的不是答案以及它留下的开放问题是很重要的。

没有适用于一切的单一魔法公式： 他们并没有找到一个适用于所有可能网格大小的简单公式。模式是复杂的，并且取决于数字的二进制结构。
并非随机性： 他们明确展示了这些零并不是随机的。它们出现在非常特定、有结构的区块中。
关于“重根”的开放问题： 他们并没有证明不存在其他让多项式具有“重根”（双重零点）的特殊数字。相反，他们明确地将这列为开放问题（问题 6.2）。他们询问是否除了已知的那些（ $t=0$ 和 $t=2\zeta$ ）之外还存在这样的根，但他们尚未排除这种可能性。

他们有多确定？

已证事实： 递归配方、特定序列（如 $k+1$ 结果）的闭式公式，以及行列式消失的特定区间存在性，都是经过数学证明的。它们是坚实的数学事实。
模拟与猜测： 作者通过计算机模拟检查了更大数字的模式。基于这些模拟，他们建议（但尚未证明）非零索引集甚至比他们计算出的还要稀疏。他们还猜想（强烈猜测）行列式为零的索引集合遵循一个非常特定的模式，但他们承认证明非零情况的“难点”仍然缺失。

“倍周期”的联系

该论文还联系到了一个著名的序列——“倍周期序列”（一种不断翻转和翻倍的模式）。他们发现，他们新的通用方法实际上解释了一个关于该序列的旧结果，但带有一个转折：他们发现原论文公式中存在一个小小的符号错误，并对其进行了修正。这就像是在旧地图中发现了一个错别字，然后意识到宝藏其实就在你以为空无一物的地方。

大局观

简而言之，这篇论文将一个杂乱、复杂的数学对象（数位和的汉克尔行列式）转化为一个展示出严密、优美结构的物体。他们找到了一种方法来预测特定无限族情况下的值，并证明了在某些特殊设置下，这些值会以长而可预测的波浪形式消失。

他们留下了一些开放问题，比如这些多项式的根是否存在一个普遍的极限（模拟表明极限在 2.618 左右），以及这些模式是否适用于其他数制（如三进制或十进制）。但就目前而言，他们为解码二进制求和的秘密提供了一个强大的新工具。

技术摘要：加权二进制数位和的汉克尔行列式

问题陈述
本文研究了评估与数字序列（特别是二进制数位和函数）相关的汉克尔行列式的问题。这一问题由 Allouche 和 Shallit 在其专著中明确提出（问题 4），即要求为 $H(n) = \det[s(i+j)]_{0 \le i,j < n}$ （其中 $s(n)$ 为普通二进制数位和）求出一个简单的闭式解。虽然之前的研究已成功分析了这些行列式对整数的模运算性质（例如证明了 Thue-Morse 序列在模 2 下不为零），但对于任意 $n$ 获取精确的闭式表达式仍然非常罕见。作者指出，将研究范围局限于普通的数位和往往过于受限，因为这会导致由于数位贡献的扰动而难以进行递归矩阵约简；因此，他们将问题推广到了加权二进制数位和。

方法论
作者引入了一系列复数权重 $w = (w_j)_{j \ge 0}$ ，并定义了加权数位和函数 $s_w(n)$ 。相关的汉克尔行列式记作 $H_w(n)$ 。核心方法论依赖于通过分块矩阵分解和克罗内克积（Kronecker products）来利用数位和函数的自相似性。

递归约简： 本文建立了一个通用的递归框架（定理 4.2），将 $H_w(n)$ 与一个辅助行列式 $\tilde{G}_w(n)$ （与 $s_w$ 的一阶差分相关）联系起来，使其与较小规模的行列式相关联。该递归取决于 $n$ 的二进制展开。
辅助行列式： 大部分技术工作涉及分析 $G_w(n)$ ，即一阶差分序列 $d_w(n) = s_w(n+1) - s_w(n)$ 的汉克尔行列式。作者基于 $n$ 的二进制展开的游程结构（run-length structure）推导出了 $G_w(n)$ 的闭合乘积公式（定理 3.4）。
多项式特化： 作者将权重特化为形式 $w_j = t^j$ ，从而将行列式转化为多项式 $H(n, t)$ 。这使得研究根、次数和首项系数成为可能。
核构造： 为了研究特定 $t$ 值（特别是 $t = 2\zeta$ ，其中 $\zeta$ 是单位根）下的消失条件，作者利用张量积和矩阵 $F(n, t)$ 的性质，构造了汉克尔矩阵的显式非零向量（即核向量）。

主要贡献与结果

通用递归： 核心结果（定理 4.2）提供了一套递归公式，允许有效计算所有的 $H_w(n)$ 。这为 Allouche-Shallit 问题在推广背景下提供了部分解决方案。
特定指标的闭式解： 对于普通二进制数位和（ $w_j=1$ $w_{j} = 1$ ），作者推导出了若干无穷指标族下的显式闭式解：
- 对于 $n_k = \lceil 2^{k+2}/3 \rceil$ ，行列式由极其简单的公式给出：
  $H(n_k) = (-1)^{\frac{(k+2)(k+3)}{2}} (k+1)$
- 同时也提供了针对形式为 $2^m$ , $2^m \pm 1$ , 以及 $2^m + \epsilon$ 指标的公式（命题 4.5）。
多项式结构： 对于多项式特化 $w_j = t^j$ ，作者确定了 $H(n, t)$ 的次数和首项系数。他们证明了 $H(n, t)$ 可以分解为 $\sigma(n) t^{\beta(n)} (2-t)^{n-2} \hat{H}(n, t)$ ，其中 $\hat{H}(n, t)$ 是一个具有正整数系数的单项式多项式（定理 4.10）。
消失与非消失：
- 本文研究了对于单位根 $\zeta$ ， $H(n, 2\zeta) = 0$ 的指标集合 $n$ 。研究表明，对于阶数 $d \ge 2$ 的任何单位根 $\zeta$ ，行列式在以 2 的高次幂为中心的较长区间内会消失（定理 5.4）。
- 非消失指标集合被证明是稀疏的（密度为 0）但又是无穷的（定理 5.5）。
- 识别出了另一个不同于 $n_k$ 的无穷指标族，在该族中 $H(n, 2\zeta) \neq 0$ （定理 5.10）。
周期倍增序列： 通过选择 Jacobsthal 数作为权重，作者恢复并修正了 Fokkink, Kraaikamp, 和 Shallit 关于周期倍增序列汉克尔行列式的研究结果（命题 3.9）。
符号行为： $H(n, 1)$ 的符号序列被证明是非周期的，且其生成函数被证明是关于 $\mathbb{Q}(x)$ 的超越函数（定理 4.13）。

意义
本文声称通过将范围扩展到加权和，为 Allouche 和 Shallit 提出的问题提供了“部分解决方案”，而这种扩展对于推导有效的递归是必要的。其主要意义在于为特定的无穷指标族推导出了精确的闭式求值，这在通常仅限于模运算研究的领域中是非常罕见的。此外，这项工作推广了先前关于周期倍增序列的研究结果，并对这些行列式作为多项式时的消失行为进行了详细的结构分析。作者指出，虽然他们没有提供针对任意 $n$ 的单一闭式解，但其递归结构允许进行有效计算，并揭示了指标的 2-进结构（2-adic structure）与行列式的代数性质之间的深层联系。

魔法钥匙：递归配方

“权重”的转折

他们做了什么，以及没做什么

他们有多确定？

“倍周期”的联系

大局观

类似论文