On a certain arithmetic function defined via Bernoulli numbers

技術的要約：ベルヌーイ数によって定義されるある算術関数について

問題の定式化
本論文は、3以上の奇数の集合上で定義された、ベルヌーイ数（$B_j$）を用いた特定の算術関数 $\chi(n)$ の整数性に関する性質を調査している。この関数は、素数、カーマイケル数、およびジュア数（Giuga number）という3つの異なるクラスを区別する統一的な基準を確立することを目的としている。中心となる問題は、どのような奇数 $n$ に対して $\chi(n)$（またはそのスケーリングされた変種である $\tilde{\chi}(n)$）が整数値をとるかを決定することである。

手法
著者は、ベルヌーイ数の分母に関する古典的なフォン・シュトルト＝クラウスの定理に大きく依拠した、初等的な数論を用いている。手法は以下の通りである。

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)$ を以下の3つのケースについて体系的に評価している：

   • 素数 ($p$): $B_{p-1}$ の分母の性質を用いて、$\chi(p)$ が常に整数であることを証明する。
   • 非カーマイケル合成数: $n$ が合成数であり、かつコルゼルトの判定法を満たさない場合（すなわち、$(q-1) \nmid (n-1)$ となる素因数 $q$ が存在する場合）、$\chi(n)$ は整数ではないことを示す。
   • カーマイケル数: カーマイケル数（すべての素因数 $p$ に対して $(p-1) \mid (n-1)$ を満たす平方フリーな合成数）について、$\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$ に分割することを観察している。著者は、様々な偶数値（2から100まで）に対する最初の10個の素数の表を提示している。
• 予想 2.1: 論文は、$B_{p-1}$ の分子が $(p-1)/2$ で割り切れることと、素数 $p$ が二次形式 $-x^2 + 2xy + 2y^2$ によって表現可能であることとの関連性についての予想を提案している。

意義と主張
本論文は、3つの異なる数論的概念を統一する「初等的な」アプローチを提供すると主張している。$\chi(n)$ を構築することで、著者は「整数であること」という性質がフィルターとして機能することを示している：

• もし $\chi(n) \in \mathbb{Z}$ ならば、$n$ は素数または奇数のジュア数である。
• もし $n$ がジュア数ではないカーマイケル数であれば、$\chi(n)$ は整数ではない（ただし $\tilde{\chi}(n)$ は整数である）。

著者は、奇数ジュア数の存在は未解決問題であること（既知の下限は、もし存在するならば少なくとも19,908桁の十進桁数を持つことを示唆している）に注意している。したがって、本論文は奇数ジュア数の存在を証明することを目的としているのではなく、それらの存在が、$\chi(n)$ が整数となる合成奇数 $n$ の存在と等価となる理論的枠組みを提供することを目指している。本研究は、ロシア連邦教育科学省の国家プロジェクトとして発表されている。