異なる約数の和として表せる整数の密度
The density of sums of distinct divisors
この論文をやさしく読む
ひとことで言うと
ある整数を、別の整数の異なる約数の和で表せる頻度を評価した。
何に役立つ？
約数の和に関する数論上の密度や、その漸近形の候補を絞り込むのに役立つ。
この研究の面白いところ
上界と下界を明示し、K/log t だけでは真の密度を近似しきれないことを、追加の下界で示した。
どこまで分かった？
漸近形 c₃/(log t)^c₄ 自体を証明したわけではない。c₄ の範囲はその形が成り立つと仮定した条件付きの結論である。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
正の整数 t について、t を n の互いに異なる約数の和として表せるような整数 n の集合の自然密度を d_t とする。エルデシュは d_t の存在を証明し、具体的な指数を指定しない対数の多項式による上界を与え、対応する下界を証明なしで主張して、d_t が c₃/(log t)^c₄ に漸近するかを問うた。本研究は、ν_t≤d_t≪(log log t)^(δ−3/2)/(log t)^δ、および ν_t=K/log t・[1＋O(log log t/log t)] という明示的な評価を与える。ここで δ=0.086071… はエルデシュ・フォード・テネンバウム定数、K=c exp(−γ)、c=1.33607… は実用数定数である。したがって、エルデシュの予想した漸近形が成り立つなら、δ<c₄≤1 となる。さらに、半分の規模の和集合で剰余類をすべて覆う二つの素数を使った構成から、liminf(t→∞)(log t)(d_t−ν_t)≥KI という各 t に関する超過分の評価を得る。I=∫₀²G(w)dw=0.05887… は明示的な初等積分である。特に十分大きなすべての t について d_t≥0.79/log t であり、d_t は K/log t に漸近しない。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
For a positive integer $t$, let $d_t$ denote the natural density of the set of $n$ for which $t$ is a sum of distinct divisors of $n$. Erdős proved that $d_t$ exists, gave an unspecified polylogarithmic upper bound, asserted without proof a matching lower bound, and asked whether $d_t \sim c_3/(\log t)^{c_4}$. We record the explicit bounds \[ \nu_t \le d_t \ll \frac{(\log\log t)^{\delta-3/2}}{(\log t)^{\delta}}, \qquad \nu_t = \frac{K}{\log t}\Bigl(1 + O\Bigl(\frac{\log\log t}{\log t}\Bigr)\Bigr), \] where $\delta = 0.086071\ldots$ is the Erdős--Ford--Tenenbaum constant, $K=c\,e^{-\gamma}$, and $c=1.33607\ldots$ is the practical-number constant. Consequently, if Erdős's asymptotic holds, then $\delta<c_4\le 1$. A two-prime construction, using a half-scale sumset to obtain full residue coverage, then yields the pointwise excess \[ \liminf_{t\to\infty}(\log t)\,(d_t-\nu_t) \ge KI, \] where $I=\int_0^2 G(w)\,\mathrm{d}w=0.05887\ldots$ is an explicit elementary integral. In particular $d_t\ge 0.79/\log t$ for every sufficiently large $t$, and $d_t$ is not asymptotic to $K/\log t$.
著者のコメント
11 pages
arXiv ID: 2609.25446 ／ 要約の誤りについて