Help in simplifying combinatorial sum $\frac{n!}{(n-k)!}-{1\over(n-k)!}{\sum _{m=1}^{k-1} (-1)^{m+1} (n-m)! S(k,k-m)}$

Question

I'm working on simplifying$$\frac{n!}{(n-k)!}-{1\over(n-k)!}{\sum _{m=1}^{k-1} (-1)^{m+1} (n-m)! S(k,k-m)}$$
where $S(n,k)$ refers to Stirling numbers of the second kind. I can show experimentally that this expression is equivalent to $$(n-k+1)^k,$$ and I'm stuck in showing this to be the case. I've tried to form an intuition about what the sum might be counting, and have also tried to write down and simplify the sum with the definition of the Stirling numbers, but neither approach has led to progress.

Any help or advice on how to simplify is appreciated. Thanks in advance.

Answer 1

Notice that your expression can be stated as $$\sum _{m=0}^k(-1)^m\frac{(n-m)!}{(n-k)!}S(k,k-m)=\sum _{m=0}^k(-1)^{k-m}\frac{(n-k+m)!}{(n-k)!}S(k,m).$$
Now recall that $a^{\underline{b}}=\frac{a!}{(a-b)!}=a(a-1)\cdots (a-b+1)$ and $a^{\overline{b}}=a(a+1)\cdots (a+b-1)$ hence $a^{\underline{b}}=(-1)^b(-a)^{\overline{b}}$ and $(a)^{\underline{b}}=(a-b+1)^{\overline{b}}$

Now, notice that $$x^k=\sum _{m=0}^kx^{\underline{m}}S(k,m),$$ this can be understood as splitting the functions into the cardinal of their images( count how many functions from $[n]$ to $[x]$ there are with image having exactly $m$ elements).

$$\sum _{m=0}^k(-1)^{k-m}\frac{(n-k+m)!}{(n-k)!}S(k,m)$$ $$=\sum _{m=0}^k(-1)^{k-m}(n-k+m)^{\underline{m}}S(k,m)$$ $$=\sum _{m=0}^k(-1)^{k-m}(n-k+1)^{\overline{m}}S(k,m)$$ $$=\sum _{m=0}^k(-1)^{k}(-n+k-1)^{\underline{m}}S(k,m)$$ $$=(-1)^k(-n+k-1)^k.$$