[論文レビュー] Computing bounded solutions to linear Diophantine equations with the sum of divisors

Max A. Alekseyev|arXiv (Cornell University)|Jan 25, 2026

Polynomial and algebraic computation被引用数 0

ひとこと要約

この論文は、aσ(n) = bn + c を満たす n ≤ U のすべての解を見つける、効率的な再帰的・木構造ベースの手法を提案。a, b, c は整数、SageMathで実装され、MapReduceによって並列化されている。

ABSTRACT

We propose an efficient computational method for finding all solutions $n\leq U$ to the Diophantine equation $aσ(n) = bn + c$, where integer coefficient $a,b,c$ and an upper bound $U$ are given. Our method is implemented in SageMath computer algebra system within the framework of recursively enumerated sets and natively benefits from MapReduce parallelization. We used it to discover new solutions to many published equations and close gaps in between the known large solutions, including but not limited to hyperperfect and $f$-perfect numbers, as well as to significantly lift the existence bounds in open questions about quasiperfect and almost-perfect numbers.

研究の動機と目的

• 与えられた整数 a, b, c（gcd(a,b,c)=1）に対して、n ≤ U の全解を見つけるための効率的な計算手法を開発する。
• 整数の探索空間を、効率的な剪定と解の発見を可能にする根付き木として表現・走査する。
• ショートカット、素数車輪、剪定を活用し、探索量を削減しつつ、奇数 σ(n) や gcd のケースなどの特別なケースを扱う。
• MapReduce並列化が可能なRESフレームワークを備えたSageMath実装と、ターゲット検索のための構成可能な制約を提供する。

提案手法

• n ≤ U を根1とする木 T_U として整数 n を表現し、子は最大素因数の制約を満たす素数べき乗を掛けることで形成する。
• n′ が素因数を2個以下か、1つの素数べき乗である場合に解を直接導くショートカットを用いた、T_U の限定された深さ優先探索を実行する。
• n′ の有効な素数べきを維持し、n′ に対する σ(n′)/n′ を理論的不等式で境界づける素数車輪を導入し、剪定 decisions を導く。
• gcd(a′, c′) > 1 の場合は、g = gcd(a′, c′) に由来する素数べき乗を選択的に跳躍させ、spf(n′) の下限 l_p を伝搬させる。
• 奇数 σ、a′ や b′ + c′ が奇数となるエッジケースを区分し、Legendre記号検定を用いて不可能な指数を剪定する。
• SageMathのRESフレームワークを用いて、reduce_abc() による設定の単純化、MapReduce並列化、OEISコアへの参照の任意オプションを実装する。

実験結果

リサーチクエスチョン

• RQ1 一般的な a, b, c に対して、再帰的・木構造探索は n ≤ U のすべての解を効率的に見つけられるか？
• RQ2 ショートカットと素数車輪による剪定は、さまざまな係数の組み合わせで探索空間をどれだけ削減できるか？
• RQ3 SageMathとMapReduceでの実装は、大きな U に対して実用的な性能とスケーラビリティを提供するか？
• RQ4 奇数 σ、gcd 制約、U を超える可能性のある解などの特別ケースを方法はどう扱うか？
• RQ5 このアプローチは σ(n) を超える他の乗法的関数へ拡張できるか？

主な発見

• この手法は、準完全数やほぼ完全数を含む複数の σ(n) 方程式に対して新しい解を発見し、境界を厳しくする。
• 準完全数と奇数ほぼ完全数の存在境界を引き上げ、例として引用された実行で 10^45 未満の準完全数、10^47 未満の奇数ほぼ完全数を示す。
• Hyperperfect 数・f-perfect 数族の長期的な発見をもたらす新しい項を含み、既知の項をより大きな探索範囲に配置する。
• 実装は、さまざまな豊富さのターゲットとOEIS系列に対するコア時間の報告で実用的な効率を示す。
• MapReduce を用いた複数コアでの並列化は計算を大幅に高速化するが、性能は係数とハードウェアの限界に依存する。
• 著者は公開された SageMath 実装（sigma_linear_eq.sage）を提供し、他の乗法的関数への拡張性についても言及している。