[论文解读] Nontrivial lower bounds for the least common multiple of some finite sequences of integers

Bakir Farhi|ArXiv.org|Mar 3, 2008

Analytic Number Theory Research被引用 6

一句话总结

本文提出一种新方法，利用涉及倒数和的代数恒等式，推导有限整数序列的最小公倍数（LCM）的非平凡下界。该方法为等差数列和形如 $u_n = an(n+t)+b$ 的二次序列建立了紧致的 LCM 下界，证明了最优增长速率，并导出了显式下界，例如 $\mathrm{lcm}\{1^2+1,\dots,n^2+1\} \geq 0.32(1.442)^n$。该方法借助恒等式将 LCM 与整数比联系起来，从而实现有效的渐近估计。

ABSTRACT

We present here a method which allows to derive a nontrivial lower bounds for the least common multiple of some finite sequences of integers. We obtain efficient lower bounds (which in a way are optimal) for the arithmetic progressions and lower bounds less efficient (but nontrivial) for quadratic sequences whose general term has the form $u_n = a n (n + t) + b$ with $(a, t, b) \in {\mathbb{Z}}^3, a \geq 5, t \geq 0, m{gcd}(a, b) = 1$. From this, we deduce for instance the lower bound: $\mathrm{lcm}\{1^2 + 1, 2^2 + 1, ..., n^2 + 1\} \geq 0,32 (1,442)^n$ (for all $n \geq 1$). In the last part of this article, we study the integer $\mathrm{lcm}(n, n + 1, ..., n + k)$ $(k \in \mathbb{N}, n \in {\mathbb{N}}^*)$. We show that it has a divisor $d_{n, k}$ simple in its dependence on $n$ and $k$, and a multiple $m_{n, k}$ also simple in its dependence on $n$. In addition, we prove that both equalities: $\mathrm{lcm}(n, n + 1, ..., n + k) = d_{n, k}$ and $\mathrm{lcm}(n, n + 1, ..., n + k) = m_{n, k}$ hold for an infinitely many pairs $(n, k)$.

研究动机与目标

• 开发一种通用方法，用于推导有限整数序列最小公倍数（LCM）的非平凡下界。
• 将该方法应用于具有特定形式的等差数列和二次序列，获得紧致的渐近估计。
• 分析连续整数的 LCM $\mathrm{lcm}\{n, n+1, \dots, n+k\}$，识别出具有最优行为的简单因子 $d_{n,k}$ 和倍数 $m_{n,k}$。
• 证明对无穷多对 $(n,k)$，有 $\mathrm{lcm}\{n, \dots, n+k\} = d_{n,k}$ 和 $\mathrm{lcm}\{n, \dots, n+k\} = m_{n,k}$ 成立，从而确立最优性。
• 提出并探讨一个开放问题：确定函数 $g_k(n)$ 的最小周期，该函数控制 LCM 模 $k!$ 的行为。

提出的方法

• 核心方法使用形如 $\sum_{i \in I} \frac{1}{\alpha_i \beta_i} = \frac{1}{\gamma}$ 的恒等式，其中 $\gamma$ 为整数，$\alpha_i$ 为序列项，$\beta_i$ 和 $\gamma$ 为辅助整数。
• 由此类恒等式出发，引理 1 建立了 $\mathrm{lcm}\{\alpha_i\} \cdot \mathrm{lcm}\{\beta_i\}$ 是 $\gamma$ 的倍数，从而得出下界 $\mathrm{lcm}\{\alpha_i\} \geq \gamma / \mathrm{lcm}\{\beta_i\}$。
• 对于等差数列，定理 5 推导出下界 $\mathrm{lcm}\{u_0, \dots, u_n\} \geq u_0(r+1)^{n-1}$，当 $n$ 是 $r+1$ 的倍数时，利用首项与公差互素的性质，可获得更强的下界。
• 对于二次序列 $u_n = an(n+t)+b$，其中 $a \geq 5$，$t \geq 0$，$\gcd(a,b)=1$，推论 10 通过定制化恒等式提供了非平凡但效率较低的下界。
• 对 $\mathrm{lcm}\{n, n+1, \dots, n+k\}$ 的分析引入了一个函数 $g_k(n)$，其通过递推关系 $g_k(n) = \gcd\{k!, (n+k)g_{k-1}(n)\}$ 定义，该函数控制 LCM 的结构。
• 本文证明了 $d_{n,k} = \frac{n \binom{n+k}{k}}{g_k(n)}$ 和 $m_{n,k} = n \binom{n+k}{k} \cdot \mathrm{lcm}\left\{\binom{k}{0}, \dots, \binom{k}{k}\right\}$ 是简单且最优的组成部分，且等式在无穷多对 $(n,k)$ 上成立。

实验结果

研究问题

• RQ1 能否系统地利用涉及倒数和的代数恒等式，推导出有限整数序列 LCM 的非平凡下界？
• RQ2 对于首项与公差互素的等差数列，$\mathrm{lcm}\{u_0, \dots, u_n\}$ 的最优增长速率是什么？
• RQ3 如何对序列如 $n^2 + 1$ 的 LCM 进行下界估计，且能达到的最佳渐近增长速率是什么？
• RQ4 对于 $\mathrm{lcm}\{n, n+1, \dots, n+k\}$，其简单因子 $d_{n,k}$ 和倍数 $m_{n,k}$ 是什么，且在何时达到等式？
• RQ5 控制 LCM 模 $k!$ 行为的函数 $g_k(n)$ 的最小周期是什么？

主要发现

• 对于首项 $u_0$ 与公差 $r$ 互素的等差数列，LCM 满足 $\mathrm{lcm}\{u_0, \dots, u_n\} \geq u_0(r+1)^{n-1}$，且对无穷多组 $n$ 存在等式成立。
• 当 $n$ 是 $r+1$ 的倍数时，下界增强为 $\mathrm{lcm}\{u_0, \dots, u_n\} \geq u_0(r+1)^n$，表明其接近最优。
• 对于序列 $u_n = n^2 + 1$，本文导出显式下界 $\mathrm{lcm}\{1^2+1, \dots, n^2+1\} \geq 0.32(1.442)^n$ 对所有 $n \geq 1$ 成立，展示了非平凡的指数增长。
• 连续 $k+1$ 个整数的 LCM $\mathrm{lcm}\{n, \dots, n+k\}$ 具有因子 $d_{n,k}$ 和倍数 $m_{n,k}$，二者在 $n$ 和 $k$ 上依赖关系简单，且满足 $d_{n,k} = \mathrm{lcm}\{n, \dots, n+k\}$ 和 $m_{n,k} = \mathrm{lcm}\{n, \dots, n+k\}$ 对无穷多对 $(n,k)$ 成立。
• 函数 $g_k(n)$ 控制 LCM，其模 $k!$ 周期性成立，且当 $n \equiv -k-1 \pmod{k!}$ 时，有 $g_k(n) = \gcd\{k!, (k-1)!1!, \dots, 0!k!\}$，从而可得到 LCM 的二项式系数闭式表达。
• 本文证明了 $\mathrm{lcm}\{n, \dots, n+k\} = n \binom{n+k}{k} \cdot \mathrm{lcm}\left\{\binom{k}{0}, \dots, \binom{k}{k}\right\}$ 在无穷多组情况下成立，从而确认了倍数 $m_{n,k}$ 的最优性。