On the digits of the sum of proper divisors

기술 요약: 진약수 합의 자릿수에 관하여

문제 정의
본 논문은 양의 정수 $n$에 대한 진약수의 합 $s(n)$의 십진수(및 일반적인 밑 $g$에서의) 자릿수의 확률적 거동을 조사한다. 저자들은 다음 세 가지 주요 질문을 다룬다:

1. 자릿수 발생: $s(n)$의 앞자리와 뒷자리에서 가능한 모든 자릿수가 얼마나 빈번하게 나타나는가?
2. 첫째 자리 자릿수 분포: $s(n)$의 첫째 자리 자릿수는 벤포드의 법칙(Benford's law)을 따르는가?
3. 희소 역상(Sparse Preimages): $s(n)$이 "엘립세픽(ellipsephic)"(즉, 밑 $g$ 전개에서 적어도 하나의 자릿수가 누락된 경우)인 합성수 $n$은 얼마나 존재하는가?

이 연구는 모든 정수에 대한 $s(n)$의 거동과, 자릿수가 누락된 집합의 역상에 국한되었을 때의 합성수 $n$에 대한 $s(n)$의 거동 사이의 대조를 통해 동기 부여되었다.

방법론
저자들은 해석적 정수론, 확률적 방법론, 그리고 체(sieve) 기법의 조합을 활용한다.

• 자릿수 발생 (정리 1.1, 2.2, 2.5): 모든 정수 $n \le x$에 대해 $s(n)$이 첫 번째 및 마지막 $k(x)$ 위치에서 모든 자릿수를 포함함을 증명하기 위해, 저자들은 다음을 활용한다:

  • 모듈로 제약 조건: $s(n) \pmod{g^k}$를 분석하고 이를 $\sigma(n) \pmod{g^k}$와 연관시킨다.
  • 매끄러운 수(Smooth Numbers): $n$을 매끄러운 부분과 거친(rough) 부분으로 분해하며, 예외적인 경우의 기여도를 제한하기 위해 소수 정리(Prime Number Theorem)를 이용한다.
  • $\sigma(n)/n$의 분포: $s(n)$이 자릿수 분포에 있어 그와 유사한 크기를 가진 무작위 정수처럼 행동함을 보이기 위해, $\sigma(n)/n$의 분포 함수에 대한 연속성(Davenport의 결과)에 의존한다.

• 벤포드의 법칙 (정리 1.2, 3.5, 3.6):

  • 로그 밀도: 저자들은 $s(n)$이 로그 밀도에 대해 벤포드의 법칙을 따른다는 것을 증명한다. 이들은 $\{\log_g s(n)\}$에 대한 바일의 기준(Weyl's criterion)을 적용하여 1에 대한 균등 분포를 적용한다.
  • 할라츠의 정리(Halász's Theorem): $s(n)$은 곱셈적(multiplicative)이지 않으므로, 저자들은 $\sigma(n)^{i\alpha}(1 - n/\sigma(n))^{i\alpha}$의 이항 전개를 사용하여 $s(n)^{i\alpha}$를 표현한다. 이 급수를 절단한 후, 결과적인 곱셈적 함수의 로그 평균이 0임을 보이기 위해 할라츠의 정리의 가중 버전(명제 3.3)을 적용한다.
  • 자연 밀도: 반대로, 저자들은 $s(n)$이 자연 밀도에 대해서는 벤포드의 법칙을 따르지 않음을 증명한다. 저자들은 $s(n)$이 $n$ 근처에 밀집되어 있어 $\log_g s(n)$의 소수 부분이 균등 분포를 위반하게 만드는 특정 "편의적인" 정수들(큰 소인수를 가진 6의 배수)의 집합을 구성한다.

• 합성수와 누락된 자릿수 (정리 1.5):

  • 소수의 제외: 본 논문은 $s(n)$이 자릿수를 누락하는 상한을 설정했으나 소수 입력($s(p)=1$)이 그 수를 지배한다는 점을 언급한 기존 연구(Benli et al., 2026)의 공백을 다룬다.
  • 분해: 합성수 $n$에 대해, $n = Pm$(여기서$P = P^+(n)$은 최대 소인수)으로 쓴다.$s(n) = P s(m) + \sigma(m)$을 분석한다.
  • 체와 매끄러움: $m$과 $P$의 크기에 따라 분석을 나눈다. $P$가 큰 경우, 브룬-티치마르슈 정리(Brun-Titchmarsh theorem)와 자릿수가 누락된 정수(엘립세픽 수)의 개수에 대한 상한을 사용하여, 그 개수가 일반적인 경우보다 훨씬 작음을 보인다.
  • 모듈로 산술: $s(m)$이 특정 모듈로로 나누어떨어지는 $m$의 개수를 제한하기 위해 보조정리 4.3을 활용하여, $s(n)$의 $s(n) \pmod{g^k}$ 분포를 제어한다.

주요 결과

1. 보편적 자릿수 발생: 임의의 밑 $g \ge 2$와 임의의 함수 $k(x) \to \infty$에 대하여, $n \le x$인 정수의 점근적 100%는 $s(n)$의 첫 $k(x)$ 위치와 마지막 $k(x)$ 위치 모두에서 $g$개의 모든 자릿수를 포함한다 (정리 1.1).
2. 벤포드의 법칙 (로그 밀도): 함수 $s(n)$은 로그 밀도에 대해 벤포드의 법칙을 만족한다. 구체적으로, $s(n)$의 첫째 자리 자릿수가 블록 $D$를 형성하는 $n$의 로그 밀도는 $\log_g(1 + 1/D)$이다 (정리 1.2).
3. 벤포드의 법칙의 실패 (자연 밀도): $s(n)$은 자연 밀도에 대해 벤포드의 법칙을 따르지 않는다 (명제 3.6).
4. 희소 집합의 합성수 역상: $n$을 합성수로 제한할 때, 밑 $g$에서 특정 자릿수 $a_0$를 누락하는 $n \le x$의 개수는 어떤 상수 $c > 0$에 대해 $O(x \exp(-c\sqrt{\log x}))$로 유계된다 (정리 1.5). 이는 모든 정수에 대한 $O(x \exp(-(\log \log x)^\gamma))$ 상한보다 현저히 강력한 상한이며, 이는 소수 입력이 $s(n)$의 "누락된 자릿수" 값을 생성하는 주요 원인임을 강조한다.

의의 및 주장
본 논문은 $s(n)$의 자릿수가 높은 수준의 무작위성을 보이며, 자릿수 발생 및 첫째 자리 자릿수 분포(로그 밀도 하에서) 측면에서 무작위 정수와 유사하게 행동한다는 것을 입증한다고 주장한다.

이 연구의 핵심적인 기여는 자릿수가 누락된 집합의 역상에서 소수의 역할을 명확히 한 것이다. 저자들은 $s(n)$에 누락된 자릿수가 있는 모든 정수 $n$의 집합이 (자명한 경우인 $s(p)=1$ 때문에) 상대적으로 크지만, 이 성질을 가진 합성수의 부분집합은 훨씬 더 작다는 것을 보여준다. 이 결과는 자릿수가 누락된 집합의 역상이 점근적 밀도가 0인 집합의 역상 또한 점근적 밀도가 0을 갖는다는 에르되시-그랜빌-포머런스-스피로(EGPS) 추측을 정교화한다. 저자들은 자릿수 누락의 경우, 역상의 "밀도"가 거의 전적으로 소수에 의해 결정되며, 이들을 제외하면 훨씬 희소한 집합이 된다는 것을 보여준다.

이 작업은 해석적 정수론의 표준 도구들(할라츠의 정리, 브룬-티치마르슈, $\sigma(n)/n$의 분포)에 의존하며, 확립된 이론적 상한 외에 새로운 실험적 응용이나 미래의 함의를 제안하지는 않는다.