Kravchuk polynomials

For integers ${\displaystyle i,k\geq 0}$, we have that

${\displaystyle {\begin{aligned}(q-1)^{i}{n \choose i}{\mathcal {K}}_{k}(i;n,q)=(q-1)^{k}{n \choose k}{\mathcal {K}}_{i}(k;n,q).\end{aligned}}}$

For non-negative integers r, s,

${\displaystyle \sum _{i=0}^{n}{\binom {n}{i}}(q-1)^{i}{\mathcal {K}}_{r}(i;n,q){\mathcal {K}}_{s}(i;n,q)=q^{n}(q-1)^{r}{\binom {n}{r}}\delta _{r,s}.}$

The generating series of Kravchuk polynomials is given as below. Here ${\displaystyle z}$ is a formal variable.

${\displaystyle {\begin{aligned}(1+(q-1)z)^{n-x}(1-z)^{x}&=\sum _{k=0}^{\infty }{\mathcal {K}}_{k}(x;n,q){z^{k}}.\end{aligned}}}$

The Kravchuk polynomials satisfy the three-term recurrence relation

${\displaystyle {\begin{aligned}x{\mathcal {K}}_{k}(x;n,q)=-q(n-k){\mathcal {K}}_{k+1}(x;n,q)+(q(n-k)+k(1-q)){\mathcal {K}}_{k}(x;n,q)-k(1-q){\mathcal {K}}_{k-1}(x;n,q).\end{aligned}}}$