A surprising generalization of the M\"{o}bius function

George E. Andrews; Louis H. Kauffman; Divyamaan Sahoo

In the authors' words

We introduce a broad generalization of a recursive formula for the M\"{o}bius function $μ (n) = 1 - n - \sum_{d = 2}^{n - 1} μ (d) [\frac{n}{d}]$ due to George Spencer-Brown. By replacing the greatest integer function $[\frac{n}{d}]$ in this classical recurrence with an arbitrary arithmetic function $f ([\frac{n}{d}])$ with $f (1) = 1$ , we define a new generalized family of functions, denoted $⋆ (n)$ . We prove that $⋆ (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.

Main resultThe abstract does not state a limitation.

A surprising generalization of the M\"{o}bius function

In the authors' words

More on Algebra & number theory that day

The Odlyzko-Poonen Conjecture on Irreducibility of Random Polynomials

Solution to Dixmier's Problem about spectra of C*-algebras

Poincar\'e Duality and Quadratic Refinements over Laurent Rings

On Haagerup-Izumi fusion categories

Monoidal Gr\"obner systems and categories of affine Brauer type