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

完全数列で項を削除したときの境界と指数型の反例

Deletion thresholds and exponential examples for complete sequences

Jesse Geneson

この論文をやさしく読む

ひとことで言うと

十分大きな整数を異なる項の和で表せる数列について、項の削除で完全性が失われる境界を決めた。

何に役立つ?

加法的数論で、完全数列の頑健性や指数型数列の性質を調べる際に役立つ。

この研究の面白いところ

削除数の組を完全に分類し、長く残っていた指数型数列の予想にも反例を示した点。

どこまで分かった?

数列の非減少性や、指数型の底 γ の範囲など、結論ごとに条件が定められている。

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

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

整数 0≤m<n の組について、非減少の整数列が、どの m 項を削除しても完全であり続け、どの n 項を削除しても不完全になることが可能なのは、ちょうど m≤1 の場合であると証明する。ここで数列が完全とは、十分大きなすべての整数を、異なる添字の項の有限和として表せることをいう。これはGrahamが提示し、後にErdősとGrahamの著書に収録されたErdős問題348に答える。証明には中心区間に関する定理を用いる。完全で非減少な正整数列 (a_i) の接頭和 S_j が S_j−a_{j+1}→∞ を満たすなら、十分長い各接頭部分は、固定した完全性のしきい値 T から S_j−T までの整数をすべて表せる。 また、1<γ<(1+√5)/2 と t>0 のすべてに対して (⌊tγ^n⌋)_{n≥1} が完全であるという、Grahamの予想にも反例を与える。Dubickasの小数部分に関する定理と、初等的な符号の調整を組み合わせて反例を作る。さらに、この範囲の共通の底を持つ二つの数列について、それぞれの項を交互に並べた列が不完全となり、係数の比が底のどの整数べきの有理数倍にもならない例を構成する。

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

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

更新履歴

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

原文の要旨

We prove that the pairs of integers $0\le m<n$ for which a nondecreasing integer sequence can remain complete after every deletion of $m$ terms and become incomplete after every deletion of $n$ terms are exactly those with $m\le1$. Here a sequence is complete if every sufficiently large integer is a finite sum of terms with distinct indices. This answers Erdős Problem 348, posed by Graham and later included in the book of Erdős and Graham. The proof uses a central-interval theorem: if a complete nondecreasing positive integer sequence $(a_i)$ has prefix sums $S_j$ with $S_j-a_{j+1}\to\infty$, then each sufficiently long prefix represents every integer from any fixed completeness threshold $T$ to $S_j-T$. We also refute Graham's conjecture, later repeated by Erdős and Graham, that $(\lfloor t\gamma^n\rfloor)_{n\ge1}$ is complete for every $t>0$ and $1<\gamma<(1+\sqrt5)/2$. We obtain the counterexample by combining Dubickas's fractional-part theorem with an elementary sign adjustment. For a common base in this range, we further construct two such sequences whose interleaving is incomplete and whose coefficient ratio is not a rational multiple of any integer power of the base.

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