パスカルの三角形の行から選ぶ数の最小公倍数
Extremal Least Common Multiples in Rows of Pascal's Triangle
この論文をやさしく読む
ひとことで言うと
パスカルの三角形の一つの行から数を選び、最小公倍数をできるだけ小さくする問題の構造と漸近挙動を調べています。
何に役立つ？
組合せ数論での最適化問題の理解と、有限の事例を厳密に確認する方法に役立ちます。
この研究の面白いところ
最適な数の選び方が行の先頭から連続するとは限らず、n=15で初めて穴のある最適解が現れます。
どこまで分かった？
主結果は漸近式と、二つの実装で確認した有限の事例です。要旨には全てのnに対する最適な選択の具体式はありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
r が0以上のとき、パスカルの三角形の第r行にある異なる数の集合を、二項係数 C(r,0) から C(r,⌊r/2⌋) までで定める。本論文は、行も自由に選んで同じ行からn個の数を取ったとき、その最小公倍数が取りうる最小値 a(n) を研究する。まず行を固定した問題を、重み付きの素数冪の排除問題として厳密に言い換える。この構造的な記述は、最適な選択が先頭から連続せず途中に穴を持つ理由を説明し、有限の事例を厳密に認定する方法を与える。主な漸近結果として、ある絶対定数 c>0 について log a(n)=2n+O(n exp(−c(log n)^{3/5}/(log log n)^{1/5})) を示し、a(n)^{1/n} が e² に収束することを得る。さらに二帯域による改良から、最適な行の番号 r_n も 2n+O(n exp(−c(log n)^{3/5}/(log log n)^{1/5})) を満たし、最適な選択の最小接頭部欠損が o(n) であることを示す。最後に、独立した二つの厳密計算によって、最初に先頭から連続しない最適解が現れるのは n=15、最小接頭部欠損が初めて1を超えるのは n=41 と確かめる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-19（UTC）
- 最新改訂
- 2026-09-19 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-19 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
For $r \geq 0$, let $\mathcal P_r=\{\binom{r}{0},\binom{r}{1},\ldots,\binom{r}{\lfloor r/2\rfloor}\}$ be the set of distinct entries in row $r$ of Pascal's triangle. We study the least possible least common multiple of $n$ entries chosen from one row, with the row itself also free: \[ a(n)=\min_{\substack{r\geq 0,\ S\subseteq\mathcal P_r\\ |S|=n}}\operatorname{lcm}(S). \] We first recast the fixed-row problem exactly as a weighted prime-power exclusion problem. This structural description explains why optimal supports may develop holes and yields an exact certification method for finite cases. Our main asymptotic result is \[ \log a(n)=2n+O\!\left(n\exp\!\left(-c\frac{(\log n)^{3/5}}{(\log\log n)^{1/5}}\right)\right) \] for some absolute $c>0$, so $a(n)^{1/n}\to e^2$. A two-band refinement further shows that every optimal row satisfies \[ r_n=2n+O\!\left(n\exp\!\left(-c\frac{(\log n)^{3/5}}{(\log\log n)^{1/5}}\right)\right), \] and that the minimum prefix defect of an optimal support is $o(n)$. Finally, two independent exact implementations certify the first finite structural transitions: $n=15$ is the first non-prefix optimum, while $n=41$ is the first case of minimum prefix defect greater than one.
著者のコメント
20 pages. Ancillary files contain the reproducibility archive for the exact computations
arXiv ID: 2609.23024 ／ 要約の誤りについて