[論文レビュー] 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）に対する非自明な下界を導出する一般的手法を開発すること。
• この手法を等差数列および特定の形をした二次数列に適用し、タイトな漸近的推定を得ること。
• $\mathrm{lcm}\{n, n+1, \dots, n+k\}$ の LCM を分析し、最適な振る舞いを示す単純な因子 $d_{n,k}$ と倍数 $m_{n,k}$ を同定すること。
• $\mathrm{lcm}\{n, \dots, n+k\} = d_{n,k}$ および $\mathrm{lcm}\{n, \dots, n+k\} = m_{n,k}$ が無限に多くのペア $(n,k)$ で成り立つことを証明し、最適性を確立すること。
• $k!$ を法とする LCM 構造を支配する関数 $g_k(n)$ の最小周期を特定する未解決問題を提示・探求すること。

提案手法

• 中心的な手法は、$\sum_{i \in I} \frac{1}{\alpha_i \beta_i} = \frac{1}{\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) = \gcd\{k!, (n+k)g_{k-1}(n)\}$ により再帰的に定義される関数 $g_k(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\}$ が単純かつ最適な成分であり、無限に多くの場合に等号が成り立つことを証明する。

実験結果

リサーチクエスチョン

• 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 $k!$ を法とする LCM 構造を支配する関数 $g_k(n)$ の最小周期は何か？

主な発見

• 初項 $u_0$ と公差 $r$ が互いに素な等差数列に対して、$\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$ の数列に対して、本稿はすべての $n \geq 1$ に対して明示的下界 $\mathrm{lcm}\{1^2+1, \dots, n^2+1\} \geq 0.32(1.442)^n$ を導出し、非自明な指数的成長を示している。
• $k+1$ 個の連続整数 $\mathrm{lcm}\{n, \dots, n+k\}$ に対して、単純な因子 $d_{n,k}$ と倍数 $m_{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)$ は $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}$ の最適性を確認した。