OEIS A173419に関する単調性予想への反例
Counterexamples to a conjecture of Kamenetsky on OEIS A173419
この論文をやさしく読む
ひとことで言うと
OEISの数列について、素数の位置では前の項以上になるという予想に四つの反例を示しました。
何に役立つ？
数列の性質を検討する際に、誤った単調性の仮定を避ける材料になります。
この研究の面白いところ
5,000未満の反例を列挙し、その範囲では四つだけであることも示しています。
どこまで分かった？
反例があることで全素数に対する予想は否定されますが、5,000以上の反例の有無は要旨には記されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
関連するOEISのページで述べられているとおり、a(n)を加算、減算、乗算だけを使う最短の計算に対応する数と定義する。この数列へのコメントでD. Kamenetskyは、どの素数pについてもa(p)≥a(p−1)だと予想した。本研究は、5,000未満にa(p)<a(p−1)を満たす反例が四つあることを示し、この予想が誤りであると証明する。その素数は3359、3623、4909、4943に限られる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Define a(n) as the number corresponding to the shortest computation using only addition, subtraction, or multiplication, as A173419 states on the related OEIS page. In a comment to the sequence, D. Kamenetsky conjectured that a(p) $\ge$ a(p -1) for every prime. We show that the conjecture is false through four counterexamples below 5000 that satisfy the condition a(p) < a(p -1). They are exactly 3359, 3623, 4909, and 4943.
arXiv ID: 2609.28512 ／ 要約の誤りについて