🔢 mathematics

On divisor sums due to Erd\H{o}s and Ramanujan

이 논문은 골롬의 강력한 수에 대한 추정과 투란의 하디-라마누잔 정리의 정량적 형태를 활용하여 에르되시와 라마누잔의 문제를 결합한 혼합 약수 합 $\sum_{n \leq x} \frac{1}{d(d(n))} \asymp \frac{x}{\log \log x}$ 의 점근적 크기 차수를 확립한다.

원저자: John M. Campbell

게시일 2026-05-04

📖 3 분 읽기🧠 심층 분석

CC BY 4.0

원저자: John M. Campbell

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

당신이 숫자의 숨겨진 패턴을 이해하려는 형사라고 상상해 보세요. 수학의 세계에서는 모든 정수 (1, 2, 3, 100 등) 가 약수들의 '가족'을 가지고 있습니다. 예를 들어, 숫자 12 의 약수는 1, 2, 3, 4, 6, 12 입니다. 이러한 약수의 개수를 $d(n)$ 이라고 부릅니다.

100 년 이상 동안 라마누잔과 에르되시와 같은 유명한 수학자들은 수백만 개의 숫자에 대해 이러한 약수 개수를 더했을 때 어떤 일이 일어나는지 파악하려고 노력해 왔습니다. 그들은 아름답고 예측 가능한 패턴을 발견했습니다.

존 캠벨이 쓴 이 논문은 새로운, 더 까다로운 미스터리를 다룹니다. 단순히 약수를 세는 대신, 저자는 다음과 같은 질문을 던집니다: 매우 구체적이고 복잡한 약수 개수의 역수("1 나누기") 를 취하면 어떻게 될까요?

간단한 비유를 사용하여 이 논문의 이야기를 다음과 같이 정리해 보겠습니다:

1. 설정: 두 가지 유명한 문제

새로운 문제를 이해하려면 먼저 그것이 혼합된 두 가지 오래된 문제를 알아야 합니다:

라마누잔 문제: 거대한 군중 (숫자들) 이 있다고 상상해 보세요. 여러분은 모두에게 "친구 (약수) 가 몇 명이나 있나요?"라고 묻습니다. 라마누잔은 이러한 친구 수의 역수 (친구 수로 1 을 나눈 값) 를 모두 더하면, 그 합이 매우 구체적이고 예측 가능한 방식으로 증가한다는 것을 알아냈습니다.
에르되시 문제: 이제 '전화' 게임을 상상해 보세요. 숫자를 하나 취해 그 친구 수 ( $d(n)$ ) 를 세고, 그 다음 그 숫자의 친구 수 ( $d(d(n))$ ) 를 세는 것입니다. 에르되시는 이러한 '친구의 친구'들의 합이 어떻게 행동하는지 알아냈습니다.

2. 새로운 미스터리: '하이브리드'

캠벨의 논문은 다음과 같은 질문을 던집니다: 이 두 가지를 결합하면 어떻게 될까요?
단순히 '친구의 친구' ( $d(d(n))$ ) 를 세는 대신, 그 숫자의 역수를 취한다면 어떨까요?
$\frac{1}{d(d(n))} \text{의 합}$

이는 다음과 같은 질문과 같습니다: "백만까지의 모든 숫자에 대해 '친구의 친구'를 살펴보고, 그 수에 대한 분수 $1/\text{그 수}$ 를 모두 더하면 총합은 얼마일까요?"

저자는 이것이 원래 문제들보다 훨씬 더 어렵다고 지적합니다. 역수를 취하는 것은 '이상한' 숫자들의 볼륨을 높이는 것과 같습니다. 만약 어떤 숫자의 '친구의 친구' 수가 매우 작다면, 그 역수는 거대해져 합계의 균형을 무너뜨립니다.

3. 형사 활동: 군중 필터링

이를 해결하기 위해 캠벨은 숫자 군중을 세 그룹으로 나누어야 했습니다. 마치 지저분한 방을 더미로 분류하는 것과 같습니다:

더미 A ('강력한' 숫자들): 이들은 매우 무겁고 '강력한' 구조를 가진 숫자들입니다 (수학적으로 소수의 제곱으로 나누어집니다). 캠벨은 골롬이 발견한 규칙을 사용하여 이러한 숫자들이 충분히 희귀하여 전체 합계를 너무 많이 방해하지 않는다는 것을 보였습니다.
더미 B ('이상치'): 이들은 소인수 개수가 매우 많거나 매우 적은 숫자들입니다. 통계학의 '분산 확인'과 같은 고전적인 통계 도구인 투란 부등식을 사용하여 캠벨은 이러한 이상치도 주요 계산을 무시할 정도로 희귀하다는 것을 증명했습니다.
더미 C ('일반적인' 숫자들): 이는 압도적으로 많은 숫자들입니다. 이들에 대해 '친구의 친구' 수는 잘 행동합니다. 캠벨은 이 그룹에 대해 $1/d(d(n))$ 의 값이 모두에게 대략 같은 크기임을 보였습니다.

4. 큰 반전

지저분한 더미 (A 와 B) 를 필터링한 후, 캠벨은 주요 그룹 (C) 을 살펴보았습니다. 그는 합계가 놀랍도록 간단한 방식으로 행동한다는 것을 발견했습니다.

결과:
전체 합계는 대략 다음과 같은 비율로 증가합니다:
$\frac{x}{\log(\log x)}$
(여기서 $x$ 는 당신이 살펴보는 군중의 크기입니다.)

쉬운 말로: 군중의 크기를 두 배로 늘린다면, 합계도 두 배가 되지 않습니다. 대신 특정 '이중 로그' 곡선을 따라 약간 더 느리게 증가합니다.

5. '추측' (Conjecture)

이 논문은 이 합계의 크기 (크기 차수) 를 증명합니다. 그러나 저자는 또한 대담한 추측 (conjecture) 을 합니다:
라마누잔이 자신의 문제에 대해 특정 상수 수를 발견했듯이, 캠벨은 이 새로운 하이브리드 문제에도 특정 상수 수가 있을 것이라고 의심합니다. 그는 이 특정 상수의 존재를 증명하는 것이 아마도 매우 어려울 것이라고 썼으며, 이는 수학의 다른 유명한 미해결 문제들과 유사합니다.

요약

존 캠벨은 '약수의 약수'와 그 역수와 관련된 복잡한 수학 퍼즐을 다루었습니다. 그는 오래된 통계 도구와 새로운 필터링 기법을 혼합하여 이러한 값들의 합이 예측 가능한 비율로 증가한다는 것을 증명했습니다: 숫자의 크기를 그 크기의 로그의 로그로 나눈 값에 비례합니다.

이는 혼란스럽고 불규칙한 수학 객체를 '정상'과 '비정상' 그룹으로 분류하고, '정상' 그룹이 최종 답을 결정한다는 것을 보여주는 이야기입니다.

존 M. 캠벨 (John M. Campbell) 의 논문 "On divisor sums due to Erdős and Ramanujan"에 대한 상세한 기술적 요약입니다.

1. 문제 제기

본 논문은 해석적 수론의 두 고전적 문제에서 요소를 결합한 특정 하이브리드 약수 함수의 합에 대한 점근적 행동을 조사합니다:

라마누잔 약수 합: 약수 함수의 역수의 합, $\sum_{n \le x} \frac{1}{d(n)}$ 과 관련됩니다. 라마누잔 (1915) 은 이 합이 점근적으로 $\frac{x}{\sqrt{\log x}}$ 처럼 행동함을 확립했습니다.
에르되시 약수 합: 반복된 약수 함수의 합, $\sum_{n \le x} d(d(n))$ 과 관련됩니다. 에르되시 (1950 년대) 는 이 합이 $c_1 x \log \log x$ 처럼 행동함을 증명했습니다.
티치마시 약수 문제: 소수에 대한 합, 구체적으로 $\sum_{p \le x} d(p-1)$ 과 관련됩니다. 가브둘린 (Gabdullin) 등의 최근 연구 (2020 년대) 는 역수 버전인 $\sum_{p \le x} \frac{1}{d(p-1)}$ 을 분석하여 그 크기가 $\frac{x}{(\log x)^{3/2}}$ 차수임을 증명했습니다.

핵심 문제:
저자는 에르되시 반복 함수의 역수를 취하여 형성된 "하이브리드" 합을 연구합니다:
$S(x) = \sum_{n \le x} \frac{1}{d(d(n))}$
역수의 존재는 $d(d(n))$ 이 특히 작은 정수 $n$ 들의 기여를 증폭시키기 때문에 분석을 현저히 복잡하게 만듭니다. 본 논문은 $S(x)$ 의 크기 차수를 결정하는 것을 목표로 합니다.

2. 방법론

증명은 정수 집합 $\{n \le x\}$ 를 "전형적인" 집합과 "예외적인" 집합으로 분해하고, 예외적 집합의 기여를 경계 짓으며, 확률론적 수론 도구를 사용하여 주항을 추정하는 데 의존합니다.

주요 도구 및 정의:

$n$ 의 분해: 정수들은 제곱인수 부분 $a(n)$ 과 강력한 부분 $b(n)$ 으로 나뉩니다 (여기서 $n = a(n)b(n)$ ). 약수 함수는 $d(n) = 2^{\omega(a(n))} d(b(n))$ 으로 표현되며, 여기서 $\omega(n)$ 은 서로 다른 소인수의 개수입니다.
골롬브 (Golomb) 추정: 강력한 수의 밀도를 경계 짓는 데 사용됩니다. $x$ 이하의 강력한 수의 개수는 $O(x^{1/2})$ 입니다.
튀란 (Turán) 의 정량적 하디 - 라마누잔 정리: 튀란 - 쿠빌리우스 (Turán–Kubilius) 부등식을 활용하여 $\omega(n)$ 이 $\log \log n$ 주변에 정규 분포함을 보여줍니다. 구체적으로 분산은 작습니다: $\sum_{n \le N} (\omega(n) - \log \log N)^2 \ll N \log \log N$ .
아벨 (Abel) 합: 강력한 수에 대한 합을 경계 짓기 위해 적용됩니다.

증명 전략 (보조정리 분해):
저자는 합을 상한과 하한으로 경계 짓기 위해 합산 범위 $n \le x$ 를 세 개의 서로소 집합으로 분할합니다:

집합 $B_1(x)$ (큰 강력한 부분): 강력한 부분 $b(n) > (\log \log x)^2$ 인 정수들.
- 방법: 골롬브의 추정과 아벨 합을 사용하여, 저자는 그러한 정수의 개수가 작음 ( $\ll \frac{x}{\log \log x}$ ) 을 증명합니다. $\frac{1}{d(d(n))} \le 1$ 이므로, 이들의 총 기여는 무시할 수 있습니다.
집합 $B_2(x)$ (비전형적인 소인수): $\omega(n)$ 이 평균 $\log \log x$ 에서 크게 벗어나는 (구체적으로 $[\frac{1}{2}\log \log x, 2\log \log x]$ 범위를 벗어난) 정수들.
- 방법: 튀란의 분산 추정 (식 15) 을 사용하여, 저자는 그러한 정수의 개수가 $\ll \frac{x}{\log \log x}$ 임을 보여줍니다. 이들의 기여 또한 무시할 수 있습니다.
집합 $B_3(x)$ (전형적인 제곱인수 정수): 제곱인수이며 $\omega(n)$ 이 정상 범위 내에 있는 정수들.
- 방법: 제곱인수 $n$ 의 경우, $d(n) = 2^{\omega(n)}$ 입니다. 따라서 $d(d(n)) = d(2^{\omega(n)}) = \omega(n) + 1$ 이 됩니다.
- $\omega(n) \approx \log \log x$ 이므로, 항 $\frac{1}{d(d(n))} \approx \frac{1}{\log \log x}$ 가 됩니다.
- 제곱인수 수의 밀도는 $\frac{6}{\pi^2}x$ 입니다. 저자는 이 집합에 대한 합이 지배적인 하한을 제공함을 증명합니다.

3. 주요 기여 및 결과

주요 정리:
본 논문은 하이브리드 합의 크기 차수를 확립합니다:
$\sum_{n \le x} \frac{1}{d(d(n))} \asymp \frac{x}{\log \log x}$
이는 충분히 큰 $x$ 에 대해 양의 상수 $c_{min}$ 과 $c_{max}$ 가 존재하여 다음을 만족함을 의미합니다:
$c_{min} \frac{x}{\log \log x} \le \sum_{n \le x} \frac{1}{d(d(n))} \le c_{max} \frac{x}{\log \log x}$

가설:
티치마시 - 라마누잔 하이브리드 (가브둘린 등) 에 대한 점근적 동치성에 대한 가설에 비추어, 저자는 정확한 점근 공식을 가설로 제시합니다:
$\sum_{n \le x} \frac{1}{d(d(n))} \sim c_3 \frac{x}{\log \log x}$
여기서 $c_3 \in (0, \infty)$ 인 어떤 상수입니다. 저자는 이 특정 상수의 존재를 증명하는 것이 티치마시 - 라마누잔 가설의 난이도와 유사할 가능성이 높다고 지적합니다.

4. 의의

고전적 문제의 연결: 이 연구는 에르되시 반복 약수 합과 라마누잔 역수 약수 합 연구를 성공적으로 통합하여 해석적 수론에서 새로운 "하이브리드" 문제를 창출했습니다.
역수 처리: 역수가 약수 합에 도입하는 분석적 어려움을 어떻게 처리하는지, 구체적으로 "작은 약수" 경우 (약수가 적은 정수) 가 합의 행동을 지배하는 방식을 보여줍니다.
방법론적 적용: 본 논문은 강력한 수에 대한 골롬브의 경계와 소인수 분포에 대한 튀란의 확률론적 추정을 효과적으로 결합하여, $d(d(n))$ 의 비가법성으로 인해 디리클레 쌍곡선 방법과 같은 표준 가법적 기법이 실패하는 문제를 해결했습니다.
미래 방향: 본 논문은 정확한 상수 $c_3$ 에 대한 향후 연구와 다른 반복 산술 함수에 유사한 하이브리드 기법의 잠재적 적용을 위한 토대를 마련했습니다.

요약하자면, 캠벨은 반복 약수 함수의 역수 합이 $\frac{x}{\log \log x}$ 로 증가함을 증명했습니다. 이 결과는 역수가 없는 에르되시 합의 선형 증가보다는 느리지만, 표준 라마누잔 역수 합의 $\frac{x}{\sqrt{\log x}}$ 증가보다는 빠른 것입니다.