🔢 mathematics

Greedy Regular Convolutions

本文引入了一类定义在算术函数上的有界、正则且齐次的“贪婪”卷积，强调了幺正卷积和三元卷积是所有原初数都具有相同有限秩的独特情况，同时还详细介绍了一种通过一种新颖的“选择性筛分”程序生成的长度为 3 的变体。

原作者： Jan Snellman

发布于 2026-08-18

📖 1 分钟阅读🧠 深度阅读

原作者： Jan Snellman

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

数学往往让人觉得是在研究静态的对象：形状、数字以及支配它们的固定规则。然而，数论中有一个充满活力的分支，致力于研究当数字结合在一起时是如何相互作用的。想象一座巨大的图书馆，每一本书都代表一个整数。数学家们长期以来一直在寻求一种通用的方式将这些书进行配对，通过一种被称为“卷积”的过程创造出新的数字。这并非简单的加法或乘法，而是一种基于每个数字隐藏因子结构的复杂信息混合方法。几十年来，研究人员对这些配对进行了分类，发现其中一些是完全均匀的，就像一格格相同的瓷砖；而另一些则更为复杂。核心问题在于，是否可以创造出一种既有序又在规模上受到严格限制，同时又足够灵活以处理所有可能的数字而不留空白的配对系统。

在最近的一项研究中，来自林雪平大学的扬·斯内尔曼（Jan Snellman）通过引入一种构建这些数字配对的新方法来解决这一难题，他称之为“贪婪卷积”。其目标是构建一个规则在所有质数之间保持一致，但涉及的数字组规模保持较小且有限的系统。以往的研究表明，如果你要求每个组的大小完全相同，那么你只能有两种选择：一种是组内仅包含一个数字的系统，另一种是组内恰好包含两个数字的系统。斯内尔曼提出了一个问题：如果他稍微放宽这个规则会发生什么？他不再强求每个组的大小都完全相同，而是提出了一种“贪婪”的方法：按顺序一个接一个地取出数字，并将每个新数字放入第一个有剩余空间的组中，直到达到一个最大规模限制。

这种简单的逐步操作程序所揭示的结果展现了一个令人惊讶的图景。当限制设为 1 时，该方法重现了已知的单数组成组的系统。当限制为 2 时，它重现了已知的双数组成组的系统。然而，一旦将限制提高到 3，系统就会发生根本性的变化。这些组不再具有完全相同的大小；有些包含三个数字，而有些则只包含一个。研究人员精确地绘制了这些组是如何形成的，发现那些开启一个新组的数字（称为“原初元素”）遵循着一种特定的、复杂的模式。对于限制为 3 的情况，研究人员发现这些起始数字构成了所有整数中的特定部分，并以可预测的频率出现。

该研究进一步引入了一种名为“选择性筛选”的方法来描述这些起始数字。这个过程就像一个过滤器，根据一个数字是否能由较小的、已被选中的数字构建出来，从而将其剔除。对于限制为 3 的情况，这个过滤器能完美地识别出起始数字。然而，当研究人员尝试将同样的逻辑应用于限制为 4 的情况时，模式失效了。限制为 4 的起始数字并不符合现有的过滤器。相反，它们似乎遵循着一种更复杂、近乎混沌的规则，研究人员只能通过计算机模拟支持下的粗略猜测来对其进行描述。研究证实，虽然构建组的规则是直观的，但随着规模限制的增长，产生的结构变得越来越难以预测。

该论文还解决了一个长期存在的问题，即是否可能存在一个每个组大小都相同且大于 2 的系统。研究人员证明，这样的系统是不存在的。如果试图强制每个组的大小完全相同，贪婪过程不可避免地会留下一些不完整的组，从而在系统中造成缺口。这证实了已知的两种系统是仅有的那类每个组都完全相同的系统。这项工作留下了关于更大限制下起始数字如何分布的问题，暗示着随着人们对这些贪婪系统挖掘得越深，其潜在的秩序就变得越发复杂且不再均匀。

技术摘要：贪婪正则卷积 (Greedy Regular Convolutions)

问题陈述
本文研究了算术函数集 ( $\Gamma$ ) 上正则卷积的分类与构造。基于 Narkiewicz 的分类（该分类通过将自然数 $\mathbb{N}$ 分解为包含零的算术级数的族来定义正则卷积），作者调查了“齐次”且“有界”正则卷积这一特定类别。

若分解结构对于所有素数 $p$ 均相同，则称正则卷积是齐次的；若算术级数块的长度被某个整数 $M$ 一致有界，则称其是有界的。狄利克雷卷积（无界）和幺元卷积（有界，块长度为 1）是广为人知的，而三元卷积（有界，块长度为 2）由 Gavell 确定。然而，在理解块长度 $d > 2$ 的正则卷积方面仍存在空白。Gavell 证明了，对于 $d > 2$ ，不存在所有块都具有完全相同长度 $d$ 的正则齐次卷积。本文旨在定义一种能够通过尽可能填满块来逼近这种均匀性的规范卷积，从而引出了“贪婪”卷积的概念。

方法论
作者引入了一种构造程序来生成这些卷积，称为长度为 $d$ 的贪婪卷积。该方法依赖于两种主要的表示形式：

树构造法： 对于给定的 $d$ ，在顶点集 $\{0, 1, \dots, n\}$ 上定义了一系列根树 $T_d(n)$ 。整数按顺序添加。若满足 $n+1 = (m+1)k$ 且 $m+1 \le d$ ，则将 $n+1$ 作为叶节点连接到现有的分支 $0 \to k \to 2k \to \dots \to mk$ 上。如果存在多个此类分支，则选择最小的 $k$ 所在的那个分支（即“贪婪”规则）。如果不存在此类分支，则开始一个新的分支 $0 \to (n+1)$ 。这些树的极限定义了 $\mathbb{N}$ 的分解 $\Pi(d)$ 。
矩阵表示法： 该分解等价地由一个 $d \times \mathbb{N}$ 的矩阵 $A(d, N)$ 生成，其中条目 $(i, j) = ij $。对列进行处理：如果一个数值$ ar,c $出现在较早的列中，则当前的列会被“剪枝”（即在行$ r $以下置为零）。非零列代表正整数$ \mathbb{P} $的划分$ S(d)$ 的部分。

论文利用原元 (primitive elements)（指分解中每个块中的最小正元素）的概念来表征其代数结构。为了分析 $d=2$ 和 $d=3$ 时原元的集合，作者引入了一种名为选择性筛法 (selective sifting) 的递归类筛法，记作 $s(S)$ 。该程序迭代地包含一个整数 $n$ ，除非它可以表示为 $ab $，其中$ a \in S $且$ b$ 已经在已筛出的集合中。

主要贡献与结果

贪婪卷积的定义： 本文正式定义了任何正整数 $d$ 的贪婪卷积 $G(d)$ 。文中确立了 $G(1)$ 对应于幺元卷积，而 $G(2)$ 对应于三元卷积。
均匀块长度的唯一性： 本文提供了一个证明（归功于 Gavell），证明对于 $d > 2$ ，不存在所有块都具有完全相同长度 $d$ 的正则齐次卷积。贪婪构造被呈现为一种自然的替代方案，其中块长度 $\le d$ ，但不一定相等。
针对 $d=3$ 的详细分析：
- $G(3)$ 的块长度被证明要么为 3，要么为 1。
- 原元集合被划分为满秩（3）的原元和秩为 1 的原元。
- 满秩原元集 $M$ 被识别为满足 $m = 4^i 9^j k$ 且 $\gcd(k, 6)=1$ 的整数集（OEIS A339690）。
- 秩为 1 的原元集被识别为 $6M$ 。
- $d=3$ 时全集原元的自然密度被计算为 $7/12$ 。
- 作者展示了 $d=3$ 的原元集可以通过使用集合 $S = \{2, 3, 6\}$ 的选择性筛法来描述。
选择性筛法框架： 论文推广了筛法概念，提供了 $s(\{p\})$ 、 $s(\{p, q, pq\})$ 以及其他特定集合的闭式描述。它确立了对于 $d=2$ 和 $d=3$ ，原元集恰好是特定 $S$ 的 $s(S)$ 。
针对 $d=4$ 的分析：
- 本文展示了 $G(4)$ 的数据，指出存在秩为 1、2 和 4 的原元，但不存在秩为 3 的原元。
- 观察到 $d=4$ 的原元集无法通过有限的选择性筛法集合 $S$ 进行精确表示。
- 提出了一个猜想，即秩为 4 的原元集“接近”于一个由形如 $2^a 3^b$ 的数组成的无限集合 $S$ 所生成的选择性筛法集合。
统计性质： 论文计算了各种情况下的自然密度，并绘制了块长度分布以及连续原元之间距离的分布图，并指出原元之间的平均距离是其自然密度的倒数。

意义与主张
本文声称提供了一种系统性的构造方法，用于建立一类新的正则卷积，从而填补了幺元/三元情况与更高阶均匀块长度之间的空白。其主要意义在于：

结构特征化： 证明了对于 $d > 2$ ，均匀块长度是不可能的，并将贪婪构造作为规范的解决方案提出。
复杂的原元结构： 揭示了虽然贪婪卷积的定义非常直观，但其原元的结构在 $d \ge 3$ 时变得异常复杂。论文强调，对于 $d=3$ ，其结构是规则的且可以通过选择性筛法描述；但对于 $d=4$ ，其结构变得“异常复杂”，并难以用简单的筛法进行描述。
开放问题： 论文最后提出了几个开放性问题，涉及一般 $d$ 下原元的秩、它们的自然密度，以及高阶长度贪婪卷积中“偶发”元素的精确结构。

作者明确指出，结果是基于定义和计算实验（使用 SageMath）得出的，且本文并不声称在算术函数和正则卷积的理论框架之外有任何应用。这项工作是对这些特定代数结构的分类与探索。

类似论文