剰余を繰り返し集めた集合の大きさに極限がないことを証明
Asymptotic Behavior of Iterated Sets of Remainders
この論文をやさしく読む
ひとことで言うと
整数をある集合の各要素で割った余りを集め、その操作を繰り返すと集合の大きさがどう変わるかを調べています。反復回数を固定して整数を大きくしても、一定の比率に落ち着かない場合を証明しています。
何に役立つ？
有理数のPierce級数展開やEngel級数展開の長さを理解するための数論的な結果です。集合の大きさを単一の漸近比率で表せるかを明らかにします。
この研究の面白いところ
従来の予想を証明するだけでなく、別の級数展開から生じる集合でも、0回・1回と2回以上で極限の有無が分かれることを示しています。
どこまで分かった？
極限を取るときに反復回数jを固定する点が条件です。要旨には新しい集合Tⱼ(n)の具体的な定義や、比率の上下極限の値は示されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
正の整数nに対して、S₀(n)＝{1,2,…,⌊n/2⌋}、Sⱼ₊₁(n)＝{n mod k：k∈Sⱼ(n)かつk≠0}とし、sⱼ(n)＝|Sⱼ(n)|と置く。これらの集合は、有理数のPierce級数展開の長さを研究する際に自然に現れる。BaraskarとVukusicは、固定された任意のj≧2に対して、n→∞におけるsⱼ(n)/nの極限は存在しないと予想した。本論文では、この予想が正しいことを証明する。 さらに、有理数のEngel級数展開の長さを研究する際に自然に現れる、反復剰余集合の新しいクラスTⱼ(n)を定義する。同様にtⱼ(n)＝|Tⱼ(n)|の漸近挙動を研究し、n→∞におけるtⱼ(n)/nの極限が存在するのはj∈{0,1}の場合に限られ、固定された任意の整数j≧2では存在しないことを示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
For a positive integer $n$, let $$S_0(n)=\{1,2,\ldots,\lfloor n/2\rfloor\},\qquad S_{j+1}(n)=\{n\bmod k:k\in S_j(n)\setminus\{0\}\},$$ and put $s_j(n) := |S_j(n)|$. The sets defined above arise naturally in the study of the length of the Pierce series expansion of a rational number. In \cite{Ba-Vu}, Baraskar and Vukusic conjectured that for every fixed $j\geq 2$, the limit $$\lim_{n\to\infty} s_j(n)/n$$ does not exist. In this paper, we prove this conjecture in the affirmative. Moreover, we define a new class of iterated remainder sets $T_j(n)$ that naturally arises from the study of the length of the Engel series expansion of a rational number. We analogously study the asymptotic behavior of $t_j(n) := |T_j(n)|$. We show that $$\lim_{n\to\infty}\frac{t_j(n)}n$$ exists precisely for $j\in\{0,1\}$ and fails to exist for every fixed integer $j\geq2$.
arXiv ID: 2609.24412 ／ 要約の誤りについて