[논문 리뷰] Nontrivial lower bounds for the least common multiple of some finite sequences of integers

Bakir Farhi|ArXiv.org|2008. 03. 03.

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)$ 쌍에서 성립함을 증명하여 최적성의 성립을 확립하는 것.
• 함수 $g_k(n)$이 $k!$ 모듈로에서 LCM 행동을 지배하는 바, 그 최소 주기를 결정하는 열린 문제를 제기하고 탐색하는 것.

제안 방법

• 핵심 방법은 $\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 LCM의 구조를 지배하는 함수 $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$ 에 대해 논문은 모든 $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}$ 를 지닌다. 이들은 $n$ 과 $k$ 에 대해 단순한 의존성을 가지며, 무한히 많은 $(n,k)$ 쌍에서 $d_{n,k} = \mathrm{lcm}\{n, \dots, n+k\}$ 와 $m_{n,k} = \mathrm{lcm}\{n, \dots, n+k\}$ 가 성립한다.
• LCM를 지배하는 함수 $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}$ 의 최적성의 성립을 확인한다.