[논문 리뷰] Computing bounded solutions to linear Diophantine equations with the sum of divisors

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

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를 찾기 위한 효율적 계산 방법을 개발한다.
• U까지의 정수를 루트가 1인 트리로 표현하고 탐색 공간을 표현하여 효율적인 가지치기와 해 발견을 가능하게 한다.
• 짧은 경로, 소수 바퀴(prime wheels), 가지치기를 활용하여 트래버설 양을 줄이고 특수한 경우(예: 홀수 σ(n), gcd 시나리오)를 처리한다.
• RES 프레임워크를 갖춘 SageMath 구현을 제공하여 MapReduce 병렬화를 가능하게 하고 타깃 탐색에 대해 구성 가능한 제약 조건을 제공한다.

제안 방법

• 정수 n ≤ U를 트리 T_U로 표현하되 1에서 시작하는 루트이며, 자식은 가장 큰 소수 인수의 제약 조건 하에 소수 거듭제곱을 곱해 형성된다.
• n′가 소수 인수 두 개 이하이거나 단일 소수 거듭제곱인 경우 해결책을 직접 도출하는 지름길을 사용하여 T_U의 제한적 깊이 우선 탐색을 수행한다.
• n′에 대한 가능한 소수 거듭제곱을 유지하고 σ(n′)/n′를 이론적 부등식을 사용해 경계하는 소수 바퀴를 도입하여 가지치기 결정을 유도한다.
• g = gcd(a′, c′)에 의해 gcd가 1보다 큰 경우 prime powers에서 파생된 선택적 점프를 사용하고 spf(n′)에 대한 하한 l_p를 전파한다.
• 홀수 σ, a′ 또는 b′ + c′가 홀수인 경계 사례를 구분하고 레젠드르 기호 테스트를 사용해 불가능한 거듭제곱을 가지치기한다.
• SageMath RES 프레임워크를 통해 구성 단순화를 위한 reduce_abc(), MapReduce 병렬화, 그리고 OEIS 코어에 대한 참조 옵션을 구현한다.

실험 결과

연구 질문

• RQ1 일반적인 a, b, c에 대해 재귀적 트리 기반 탐색이 n ≤ U를 만족하는 모든 해를 효율적으로 찾을 수 있는가?
• RQ2 다양한 계수 선택에서 짧은 경로와 소수 바퀴 가지치기가 탐색 공간을 얼마나 효과적으로 줄이는가?
• RQ3 SageMath에서 MapReduce로 구현했을 때 큰 U에 대한 실용적 성능 및 확장성 이점은 무엇인가?
• RQ4 홀수 σ, gcd 제약, U를 넘는 잠재 해와 같은 특수한 경우를 방법이 어떻게 처리하는가?
• RQ5 σ(n) 이외의 관련 곱함수에도 이 접근법을 확장할 수 있는가?

주요 결과

• 이 방법은 Quasiperfect 및 Almost-perfect 수를 포함한 여러 σ(n) 방정식에 대해 새로운 해를 발견하고 경계를 강화한다.
• Quasiperfect 및 Odd Almost-perfect 수에 대한 존재 경계를 올려주며, 예시 실행에서 10^45 미만의 quasiperfect 수와 10^47 미만의 홀수 거의 완수 수를 확인한다.
• Hyperperfect 및 f-perfect 수 계열에서 알려진 항들을 넘어선 큰 항의 발견이 가능하고, 더 큰 탐색 범위에서 알려진 항들이 위치한다.
• 다양한 풍부한 대상과 OEIS 시퀀스에 대해 핵심 시간 보고를 통해 구현의 실용적 효율을 보여준다.
• 다수의 코어에서 MapReduce를 통한 병렬화가 계산을 크게 가속하지만 성능은 계수와 하드웨어 한계에 따라 달라진다.
• 저자들은 공개 SageMath 구현(sigma_linear_eq.sage)을 제공하고 다른 곱함수로의 확장 가능성을 논의한다.