Unless otherwise emphasied, all the variables in this blog will refer to natural numbers. Also $0$ is not regarded as a natural number.
1. Convolution & Corresponding Math Structure
1.0. What is Möbius Inversion
The intuition of Möbius Inversion comes from the following situation. If $F:\mathbb {N\to R}$, and function $G$ is given by
then how to express $F$ in terms of $G$ ?
1.1. Preliminary Definitions
We define the convolution ( $*$ ) of two functions $F,G:\mathbb N\to\mathbb R$ as follows:
We then define the function One ($\mathbb 1$) as follows:
Then by definition, it’s rather easy to check that $\forall n\in \mathbb N, \forall F,G:\mathbb{N\to R}$,
and that
So the question to express $F$ in terms of $G$ now suffices to find the “inverse” of function $\mathbb 1$ since
1.2. Indentity under Convolution
Let $\delta(n)=(n ==1)$. Or in a math manner, define
then we can check that $\delta$ is an identity function under convolution operator. Since
If you view $\mathcal G=(F,*)$ as a group, where $F:\mathbb{N\to R}$ is a function and $*$ is convolution, then $\delta$ is the identity in this group. But note that $\mathcal G$ is not a real group, since some elements are not inversable.
So suppose we can find a Inverse with of function $\mathbb 1$ respect to $\delta$, we then can find a explicit expression of $F$ by
1.3. The Existence of Inverse
Attention is all you need (x
Observe that such inverse of fuction $F(n)$ with respect to $\delta$ exist iff. $F(1)\neq 0$.
$Pf.$ Denote $F^{-1}$ by $G$. Suppose if $F(1)\neq 0$, take $n=1$
then $G(1)={1\over {F(1)}}$.
Suppose $G(k)$ can be derived for $k=1,2,...n\in \mathbb N$. Then
can be explicitly derived by mathematical induction. Also by definition it’s trivial to check that if $F(1)=0$, then the inverse of $F$ cannot exist.
Since $\mathbb 1(1)=1\ne 0$, so the inverse of $\mathbb 1$ must exist, denoted by $\mu$. What’s the explicit expression of $\mu$ ?
1.4. Möbius Function
Such $\mu$ is called Möbius Function. Actually,
Let’s check if $\mathbb 1* \mu(n) =\delta(n)$.
if $n=1$, you can get
if $n\ge 2$, write $n$ in the form of different prime fators, then
where $p_i$ is a prime for all $i=1,2,...,m$. Then
So we can explicitly denote $F$ as follows
where $\mu(n)$ is the Möbius Function defined above.
2. Some applications
The most famous application, I believe, is the relation between a natural number $n$ and its Euler’s function $\varphi(n)$. Usually We use the Principle of Inclusion and Exclution to calculate the explicit expression of $\varphi$, but here we can use Möbius Inversion to do so.
Firstly recall that the definition of $\varphi:\mathbb{N\to N}$ is
Observe that
This formula is not so obvious, but you can check it by definition. note that
Note that by definition
So $\text{RHS=LHS}$.
Denote $n$ by the product of $m$ primes, then by Möbius Inversion
3. Generalized Möbius Inversion
Consider the set $X_n=\{1,2,\ldots,n\}$ of $n$ elements, and the partially ordered set $(\mathcal P(X_n), \subset)$ of all subsets of $X_n$ partially ordered by containment. Let
be a real-valued function defined on $\mathcal P(X_n)$, and we use $F$ to define a new function