arXiv論文メモ
新着一覧
math.NT / math.CO · 査読状況未確認

加法鎖の最短長と鎖の個数の分布

On the distribution of the minimal length of addition chains

Jean-Marie De Koninck, Nicolas Doyon, William Verreault

この論文をやさしく読む

ひとことで言うと

整数を加法鎖で作る最短手順の長さと、条件を満たす鎖の個数に対して、上下からの数量的な評価を与えた。

何に役立つ?

考えられる用途は、加法鎖の長さや個数の分布を調べる数論・組合せ論の基礎結果として使うこと。

この研究の面白いところ

最短長がm+r以下となる整数の個数だけでなく、長さm+rの異なる鎖の個数も評価し、それぞれ異なる形の上下界を示す。

どこまで分かった?

Fの両側評価とGの評価には、mが十分大きいことやrの範囲などの条件がある。Gの範囲はm⁰·⁹<r<m。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

整数列1=a₀<a₁<…<aₖ=nで、各j=1,…,kについてaⱼがそれ以前の2つの項aₛ+aₜ(0≤s,t<j)で表されるものを、長さkの加法鎖という。nに至る加法鎖の最短長をℓ(n)とする。本研究は、計数関数F(m,r)=#{n∈[2ᵐ,2ᵐ⁺¹):ℓ(n)≤m+r}を通じてℓの分布を調べる。任意に固定した0<c<log 2について、正の定数K₁、K₂が存在し、十分大きいすべてのmとm⁰·⁹<r≤cm/log mを満たすすべての整数rに対し、K₁ʳmʳ≤F(m,r)≤K₂ʳmʳとなることを示す。この上界は、すべての整数r>m⁰·⁹についても成り立つ。 また、[2ᵐ,2ᵐ⁺¹)にある整数nに至る、長さm+rの異なる加法鎖の個数をG(m,r)とすると、m⁰·⁹<r<mのもとで、正の定数K₃、K₄が存在し、K₃ʳ(m²/r)ʳ≤G(m,r)≤K₄ʳ(m²/r)ʳとなることを示す。これにより、加法鎖の最短長についての既存結果を改善・一般化し、Paul Erdősが提起した問いに取り組む。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-09-23(UTC)
最新改訂
2026-09-23 · v1
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

A sequence of integers $1=a_0<a_1<\cdots<a_k=n$ is called an addition chain of length $k$ if $a_j=a_s+a_t$ with $0\le s,t<j$ for all integers $j\in \{1,2,\ldots,k\}$. We denote by $\ell(n)$ the minimal length of an addition chain leading to $n$. Here we investigate the distribution of the function $\ell$ through the counting function $$ F(m,r):=\#\{n\in [2^m,2^{m+1}):\ell(n)\le m+r\} $$ and show that, for every fixed $0<c<\log 2$, there exist positive constants $K_1$ and $K_2$ such that $$ K_1^r m^r\le F(m,r)\le K_2^r m^r $$ for all sufficiently large $m$ and all integers $m^{0.9}<r\le cm/\log m$. The upper bound also holds for every integer $r>m^{0.9}$. Moreover, denoting by $G(m,r)$ the number of \emph{distinct} addition chains of length $m+r$ leading to an integer $n\in [2^m, 2^{m+1})$, we show that there exist positive constants $K_3$ and $K_4$ such that $$ K_3^r \left(\frac{m^2}{r}\right)^r\le G\left(m,r\right)\le K_4^r \left(\frac{m^2}{r} \right)^r $$ provided $m^{0.9}<r<m$. This improves and generalizes previous results on the minimal length of addition chains and addresses a question raised by Paul Erdős.

著者のコメント

34 pages

arXiv ID: 2609.28374 / 要約の誤りについて