1
$\begingroup$

I am working on a problem where I need to express a polynomial in terms of binomial coefficients. Specifically, to find $c_k$ such that\begin{equation} n^{K-1} = \sum_{k=1}^K c_k \binom{N-n+k-2}{k-1}. \end{equation}

Here, $K$ and $N$ are a fixed integer, and $n$ is a random integer such $n\in[0, N-1]$.

While I am aware of how to solve this by matched coefficients or adding a sum by $n$ in both side and solving in the LS sense. I am looking for a method possibly involving Stirling series or an inverse binomial transform to directly compute $c_k$ without reverting to numerical methods such as matrix inversion or solving a system of matched coefficients.

Could anyone provide insights or suggest a way to derive these coefficients $c_k$ using a series or any closed-form expression? Any help would be greatly appreciated.

$\endgroup$

1 Answer 1

1
$\begingroup$

We can start from a standard Stirling number identity: $$x^r = \sum_{j=0}^{r} (-1)^{r-j} \left\{\!{r \atop j}\!\right\} x^{(j)} = \sum_{j=0}^{r} (-1)^{r-j} j!\left\{\!{r \atop j}\!\right\} \binom{x+j-1}{j}.$$ We can make this look more like the identity in the question by shifting the sum so that $j=k-1$, and substituting $x = N-n$. (It also looks like we want $r=K-1$, but I am waiting on that step for a reason.) But when we make this substitution, the result is $$x^r = (N-n)^r = \sum_{k=1}^{r+1} (-1)^{r-k+1} k!\left\{\!{r \atop k-1}\!\right\} \binom{N-n+k-2}{k-1}.$$ The binomial coefficients are the right ones! But on the left, we have $(N-n)^r$ instead of $n^{K-1}$.

To fix this, let's expand $n^{K-1}$ in terms of powers of $x$: $$n^{K-1} = (N-x)^{K-1} = \sum_{r=0}^{K-1} (-1)^r\binom{K-1}{r} N^{K-1-r} x^r.$$ This lets us substitute the sum for $x^r$ to get $$n^{K-1} = \sum_{r=0}^{K-1} (-1)^r\binom{K-1}{r} N^{K-1-r} \sum_{k=1}^{r+1} (-1)^{r-k+1} k!\left\{\!{r \atop k-1}\!\right\} \binom{N-n+k-2}{k-1}.$$ Now, swap the order of summation! Instead of $r=0$ to $K-1$ and $k=1$ to $r+1$, we'll take $k=1$ to $K$ and $r=k-1$ to $K-1$. Cleaning things up a little, we get $$n^{K-1} = \sum_{k=1}^K \color{red}{\left((-1)^{k+1} k! \sum_{r=k-1}^{K-1} \binom{K-1}{r} N^{K-1-r} \left\{\!{r \atop k-1}\!\right\}\right)} \binom{N-n+k-2}{k-1}$$ which gives us the coefficient $$c_k = (-1)^{k+1} k! \sum_{r=k-1}^{K-1} \binom{K-1}{r} N^{K-1-r} \left\{\!{r \atop k-1}\!\right\}.$$


It's possible this simplifies further: the expression for $c_k$ looks a lot like the identity $$\left\{\!{K \atop k}\!\right\} = \sum_{r=k-1}^{K-1} \binom{K-1}{r} \left\{\!{r \atop k-1}\!\right\}$$ except that there's a power of $N$ in the sum as well.

$\endgroup$
1
  • 1
    $\begingroup$ Hi Misha, sorry for the delay, somehow I lost the notifications. Nice implementation! thank you very much for the detailed explanation and the creative solution! I was stuck on that problem for several weeks, and your help made all the difference. I really appreciate it! $\endgroup$ Commented Apr 7 at 18:14

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.