On orbit sets generated by semigroups of one-dimensional affine functions

技术摘要：由一维仿射函数半群生成的轨道集

问题陈述
本文研究了一组整数仿射函数 $F = \{f_i(x) = a_i x + b_i\}_{i=1}^n$ 作用于起始值（或集合）$s$ 时所生成的一维轨道集 $\langle F : s \rangle$ 和轨道多重集 $\langle F : s \rangle^\#$ 的渐近增长问题。核心问题是确定这些集合的密度，即在特定条件下，增长函数 $|\langle F : s \rangle \cap [0, x]|$ 是否为正（即是否具有非零的下渐近密度）。

本研究聚焦于斜率 $a_i$ 满足方程 $\sum_{i=1}^n \frac{1}{a_i} = 1$ 的临界情况。P. Erdős 此前的研究确立了当 $\sum a_i^{-\sigma} = 1$ 时，增长函数的上界为 $O(x^{\sigma+\epsilon})$。Erdős 与 Graham 提出了一个特定的开放性问题：如果 $F$ 构成一个自由半群的基（即函数之间不存在非平凡的复合关系），且 $\sum a_i^{-1} = 1$，那么轨道集 $\langle F : s \rangle$ 是否具有正密度？虽然已知若 $\sum a_i^{-1} < 1$ 则密度为零，但对于等号成立的情况，对于一般的自由半群，该问题仍未解决。

方法论
作者结合组合分析、归纳法和代数技术，推导出了这些轨道集大小的下界。

1. 多重集的下界： 本文首先确立了轨道多重集 $\langle F : s \rangle^\#$ 大小的下界。通过分析仿射函数的复合，作者推导出了一个辅助不等式（引理 4），用于界定一个点在函数复合下的像。利用该不等式，作者证明了当 $\sum a_i^{-\sigma} = 1$ 时，多重集的大小为 $\Omega(x^\sigma)$。这补充了现有的 Erdős-Lagarias 上界，尽管作者指出，在一般情况下，上界 $O(x^{\sigma+\epsilon})$ 与下界 $\Omega(x^\sigma)$ 之间仍存在差距，精确的渐近行为（即 $\Theta(x^\sigma)$）仍是一个开放性问题。

2. 自由半群的亚线性界： 为了解决 Erdős-Graham 问题，作者利用了自由半群的性质。他们构造了一组具有相同斜率但具有不同自由系数的函数复合形式（引理 6）。通过对这些复合形式的数量应用斯特林近似（Stirling's approximation），作者推导出了当 $\sum a_i^{-1} = 1$ 且 $F$ 为自由半群基时，轨道集大小的亚线性下界。

3. 精确覆盖系统： 本文引入了轨道集与“精确覆盖系统”（将整数划分为不相交算术级数的系统）之间的联系。通过对整数集 $\mathbb{Z}$ 上的直接函数应用一种版本的乒乓引理（Ping-Pong Lemma），作者表明，如果函数集 $F$ 构成一个精确覆盖系统（即 $f_1(\mathbb{Z}) \sqcup \dots \sqcup f_n(\mathbb{Z}) = \mathbb{Z}$），则该轨道集具有正密度。

主要贡献与结果

• 定理 2（多重集下界）： 作者证明了对于一组满足 $\sum a_i^{-\sigma} = 1$ 的有限仿射函数集，其轨道多重集的大小满足 $|\langle F : s \rangle^\# \cap [0, x]| = \Omega(x^\sigma)$。这提供了第一个补充 Erdős-Lagarias 上界的通用下界。
• 定理 5（自由半群的亚线性界）： 针对 Erdős-Graham 问题，本文确立了：如果 $F$ 是一个自由半群的基且 $\sum a_i^{-1} = 1$，那么对于任何 $s \ge 0$，轨道集的大小满足：
  $$|\langle F : s \rangle \cap [0, x]| = \Omega\left(\frac{x}{\log^{\frac{n-1}{2}} x}\right)$$
  这一结果表明其增长至少是亚线性的，但在证明一般自由半群情况下的正密度（这需要 $\Omega(x)$）方面仍有不足。
• 定理 7（精确覆盖系统的正密度）： 本文证明了如果函数集 $F$ 构成整数的精确覆盖系统，则轨道集 $\langle F : s \rangle$ 具有正密度。证明过程依赖于展示在此类条件下，轨道多重集中元素的重数至多为一，从而将多重集的大小简化为集合的大小，进而通过定理 2 推导出其线性下界。
• Klarner 元组的应用： 作者将研究结果应用于特定的“Klarner 元组”（即满足 $2x+a, 3x+b, 6x+c$ 构成自由半群的整数三元组 $(a, b, c)$）。虽然对于经典的斜率集合 $\{2, 3, 6\}$，密度问题仍处于开放状态，但作者展示了对于由精确覆盖系统导出的特定系数的斜率集合 $\{2, 4, 4\}$，其轨道集具有正密度。

意义与主张
本文声称通过提供一个匹配的多重集大小下界，补充了 Erdős 和 Lagarias 的基础性工作，从而缩小了理解这些集合增长的差距。具体而言，它为 Erdős-Graham 问题在自由半群语境下提供了一个“近线性”的下界。

此外，本文声称在生成函数构成精确覆盖系统的特定子情形下，解决了 Erdős-Graham 问题。作者强调，这项工作将两个此前截然不同的数论课题联系了起来：轨道集的研究与精确覆盖系统理论（由 Erdős 推向大众的课题）。研究阐明，虽然对于满足 $\sum a_i^{-1} = 1$ 的一般自由半群，其增长仍是开放的（目前仅证明了亚线性界），但构成精确覆盖系统的条件足以保证正密度的存在。本文并未声称解决了所有自由半群的广义 Erdős-Graham 问题，也未解决特定斜率 $\{2, 3, 6\}$ 的密度问题，并指出这些问题目前仍是开放的。