メビウス関数の漸化式を拡張した素数の特徴付け
A surprising generalization of the Möbius function
この論文をやさしく読む
ひとことで言うと
メビウス関数の漸化式を一般化し、新しい関数の値が−1になることと素数であることを結び付けた数学研究。
何に役立つ？
素数の代数的な特徴付けや、約数和と床関数の関係を調べる際の理論的な手がかりになる。
この研究の面白いところ
漸化式の床関数を広い範囲の算術関数へ置き換えても、素数を見分ける同値条件が得られると証明している。
どこまで分かった？
要旨にはこの特徴付けの理論的結果が示されるが、素数判定アルゴリズムの計算効率についての結果は記載されていない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
George Spencer-Brownによるメビウス関数の漸化式、μ(n)=1−n−Σ（d=2からn−1）μ(d)⌊n/d⌋を幅広く一般化する。この古典的な漸化式の床関数⌊n/d⌋を、f(1)=1を満たす任意の算術関数f(⌊n/d⌋)に置き換え、star(n)と表す新しい一般化関数の族を定義する。pが素数であることとstar(p)=−1であることが同値であると証明する。この結果は素数の意外な代数的特徴付けを与え、約数和と床関数の背後にある深い構造的性質を明らかにする。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We introduce a broad generalization of a recursive formula for the Möbius function $\mu(n) = 1-n-\sum_{d=2}^{n-1}\mu(d)\left[\frac{n}{d}\right]$ due to George Spencer-Brown. By replacing the greatest integer function $\left[\frac{n}{d}\right]$ in this classical recurrence with an arbitrary arithmetic function $f\left(\left[\frac{n}{d}\right]\right)$ with $f(1)=1$, we define a new generalized family of functions, denoted $\star(n)$. We prove that $\star(p) = -1$ if and only if $p$ is prime. This result yields a surprising algebraic characterization of primes and reveals a deep structural property underlying divisor sums and the greatest integer function.
arXiv ID: 2609.25628 ／ 要約の誤りについて