On a certain arithmetic function defined via Bernoulli numbers

기술 요약: 베르누이 수를 통해 정의된 특정 산술 함수에 대하여

문제 정의
본 논문은 홀수 정수 $n \ge 3$의 집합에서 정의된 특정 산술 함수 $\chi(n)$의 정수성(integrality) 성질을 조사한다. 이 함수는 베르누이 수($B_j$)를 사용하여 구성되었으며, 소수(prime numbers), 카마이클 수(Carmichael numbers), 그리고 지우가 수(Giuga numbers)라는 세 가지 뚜렷한 수의 부류를 구분하는 통합된 기준을 확립하는 것을 목표로 한다. 핵심 문제는 어떤 홀수 정수 $n$에 대해 $\chi(n)$ (또는 그 스케일링된 변형인 $\tilde{\chi}(n)$)의 값이 정수가 되는지를 결정하는 것이다.

방법론
저자는 베르누이 수의 분모에 관한 고전적인 폰 슈타트-클라우젠(von Staudt-Clausen) 정리에 크게 의존하며 기초 정수론을 활용한다. 방법론은 다음과 같이 진행된다:

1. 함수의 정의: 함수는 다음과 같이 정의된다:
   $$\chi(n) = \frac{\text{denom}\left(\frac{B_{n-1}}{n-1}\right)}{n \cdot \text{denom}\left(B_{n-1} + \frac{1}{n}\right)}$$
   여기서 $B_{n-1} = A/D$는 기약 분수 형태의 베르누이 수이다. 또한 본 논문은 스케일링된 함수 $\tilde{\chi}(n) = n \cdot \chi(n)$도 고려한다.

2. 폰 슈타트-클라우젠의 적용: 분석은 임의의 양의 홀수 $n$에 대해 $B_{n-1} + \sum \frac{1}{p}$가 정수이며, 이때 합은 $(p-1) \mid (n-1)$을 만족하는 소수 $p$들에 대한 합이라는 정리를 활용한다. 이를 통해 $\chi(n)$에 포함된 분모들을 정밀하게 결정할 수 있다.

3. 경우 분석: 저자는 $\chi(n)$에 대해 세 가지 경우를 체계적으로 평가한다:

   • 소수 ($p$): $B_{p-1}$의 분모 성질을 이용하여, $\chi(p)$가 항상 정수임을 증명한다.
   • 카마이클 수가 아닌 합성수: $n$이 합성수이고 코르셀트 기준(Korselt's criterion)을 충족하지 못할 때(즉, $(q-1) \nmid (n-1)$을 만족하는 소수 인자 $q$가 존재할 때), $\chi(n)$은 정수가 아님을 입증한다.
   • 카마이클 수: 카마이클 수(모든 소인수 $p$에 대해 $(p-1) \mid (n-1)$을 만족하는 제곱 없는 합성수)의 경우, $\tilde{\chi}(n)$의 식을 단순화하여 $\tilde{\chi}(n)$이 항상 정수임을 보인다.

4. 지우가 수와의 연결: 논문은 카마이클 수에 대한 조건을 더욱 정교화한다. $\tilde{\chi}(n)$이 $n$으로 나누어떨어진다는 조건($n \mid \tilde{\chi}(n)$)은 $n$이 지우가 수의 조건($모든 소인수 p에 대해 n \equiv p \pmod{p^2}$)을 만족하는 것과 동치임을 확립한다.

주요 기여 및 결과
본 논문의 주요 결과는 $\chi(n)$의 정수성에 대한 필요충분조건을 제공하는 정리 1.6이다:

함수 $\chi(n)$이 정수 값을 갖는 것은 $n$이 소수이거나 홀수 지우가 수인 경우와 같다.

이 결과는 베르누이 수로부터 유도된 단일한 정수성 기준 아래 소수와 가설적인 홀수 지우가의 특성을 효과적으로 통합한다.

추가적인 결과는 다음과 같다:

• 보조정리 1.2: 임의의 소수 $p$에 대해, $\chi(p)$는 짝수 정수이다.
• 경험적 분류: 논문은 $\chi(p) = \lambda$라는 조건이 소수의 집합을 서로소인 부류 $P_\lambda$로 분할함을 관찰한다. 저자는 다양한 짝수 $\lambda$(2에서 100까지)에 대한 처음 10개의 소수에 대한 표를 제공한다.
• 추측 2.1: 논문은 $B_{p-1}$의 분자가 $(p-1)/2$로 나누어떨어지는 성질과 이차 형식 $-x^2 + 2xy + 2y^2$에 의한 소수 $p$의 표현 가능성을 연결하는 추측을 제안한다.

의의 및 주장
본 논문은 세 가지 서로 다른 정수론적 개념을 통합하는 "기초적인" 접근 방식을 제공한다고 주장한다. $\chi(n)$을 구축함으로써 저자는 정수라는 성질이 하나의 필터 역할을 함을 보여준다:

• 만약 $\chi(n) \in \mathbb{Z}$이면, $n$은 소수이거나 홀수 지우가 수이다.
• 만약 $n$이 지우가 수가 아닌 카마이클 수라면, $\chi(n)$은 정수가 아니다(단, $\tilde{\chi}(n)$은 정수이다).

저자는 홀수 지우수의 존재 여부가 미해결 상태임을 언급하며(알려진 하한선에 따르면 존재할 경우 최소 19,908자리의 십진수를 가져야 함), 본 논문이 홀수 지우수의 존재를 증명하려는 것이 아니라, $\chi(n)$이 정수인 합성 홀수 $n$의 존재가 홀수 지우수의 존재와 동치임을 보여주는 이론적 틀을 제공하는 것임을 밝힌다. 본 연구는 러시아 연방 교육과학부의 국가 과제 프로젝트로 수행되었다.