Seeking a combinatorial proof for a binomial identity Let $n\geq m\geq0$ be two integers. The below binomial identity is provable by other means:
$$\sum_{j=0}^m(-1)^j\binom{n+1}j2^{m-j}
=\sum_{j=0}^m(-1)^j\binom{n-m+j}j.$$

QUESTION. Can you provide a combinatorial proof for the above identity? I would be thrilled to see as many as possible.

POSTSCRIPT. I enjoyed the two solutions by Ira & Fedor. Still, more alternating proofs are welcome.
 A: Here are some observations, though not quite a combinatorial proof of the identity in question.
Let $A(m,n)$ be the value of the sums. Let $B(m,n)=(-1)^m A(m, m+n)$. Then $B(m,n)$ is nonnegative for all $m$ and $n$ (and is zero only if $m$ is odd and $n=0$).
It's not too hard to give a combinatorial interpretation to $B(m,n)$. It's easy to show that $B(m,n)$ has the simple generating function
$$
\beta(x,y) = \sum_{m,n=0}^\infty B(m,n) x^m y^n = \frac{1}{(1+x)(1-x-y)}.
$$
It follows that $B(m,n)$ satisfies the Pascal-like recurrence
$$B(m,n)=B(m-1, n) + B(m,n-1)$$
for $m\ge0$ and $n>0$ with initial values $B(-1,n)=0$, $B(m,0)=1$ for $m$ even and $B(m,0)=0$ for $m$ odd.
We can see that $B(m,n)$ is nonnegative by writing the generating function as
$$
\beta(x,y)=\frac{1-x}{(1-x^2)(1-x-y)}=\frac{1}{1-x^2}\left(1+\frac{y}{1-x-y}\right),
$$
or more simply,
$$\sum_{m=0}^\infty \sum_{n=1}^\infty B(m,n) x^m y^n = \frac{y}{(1-x^2)(1-x-y)},$$
which gives the simpler formula
$$B(m,n) = \sum_{0\le i\le m/2} \binom{m+n-2i-1}{n-1}$$
for $n>0$. From these generating functions we see that that $B(m,n)$ is the number of lattice paths from $(0,0)$ to $(m,n)$, with unit east and north steps, that start with an even number of east steps.
The OP's second sum gives
$$
B(m,n) =  \sum_{j=0}^m (-1)^{m-j}\binom{n+j}{j}=\sum_{j=0}^m (-1)^j \binom{n+m-j}{m-j}.      
$$
This comes from expanding $\beta(x,y)$ as
$$\frac{1-x+x^2-x^3+\cdots}{1-x-y}$$
and is easy to interpret combinatorially: $\binom{n+m-j}{m-j}$ is the number of paths from $(j,0)$ to $(m,n)$, or equivalently the number of paths from $(0,0)$ to $(m,n)$ that start with $j$ east steps (possibly followed by more east steps), or in other words, the number of paths from $(0,0)$ to $(m,n)$ that pass through $(j,0)$. Then for $j$ even, $\binom{n+m-j}{m-j}-\binom{n+m-j-1}{m-j-1}$ counts paths from $(0,0)$ to $(m,n)$ that start with $j$ east steps followed by a north step.  Add this over all even $j\le m$ gives all the paths counted by $B(m,n)$.
The identity in question (with $n$ replaced $m+n$ and the order of the summations reversed) may be written as
$$
\sum_{i=0}^m (-2)^i\binom{m+n+1}{m-i}
=\sum_{j=0}^m (-1)^j \binom{m+n-j}{m-j}.
$$
This is the case $t=-2$ of the identity
$$
\sum_{i=0}^m t^i\binom{m+n+1}{m-i}=
\sum_{j=0}^m (1+t)^j\binom{m+n-j}{m-j}.
\tag{1}
$$
We can give a combinatorial interpretation of $(1)$, but I don't see that setting $t=-2$ has a simple combinatorial interpretation (though what I described above is a combinatorial interpretation of setting $t=-2$ in the right side).
The combinatorial interpretation of $(1)$ is made clearer by looking at the generating function for $(1)$, which is
$$\frac{1}{(1-(1+t)x)(1-x-y)}.$$
The right side of $(1)$ is obtained by expanding this in the most straightforward way; the left side is obtained by expanding it as
$$
\frac{1}{(1-x)^2} \frac{1}{1-tx/(1-x)}\frac{1}{1-y/(1-x)}=
\sum_{i,n}\frac{(tx)^i y^n}{(1-x)^{i+n+2}}.
$$
To interpret the right side of $(1)$, we consider paths from $(0,0)$ to $(m,n)$, which are “cut” at some point $(j,0)$ on the $x$-axis (so they must start with at least $j$ east steps) and some subset of the first $j$ (east) steps are “marked” and weighted by $t$. It is clear that the contributions from the paths cut at $(j,0)$ is $(1+t)^j\binom{m+n-j}{m-j}$: each of the first $j$ (east) steps contributes 1 or $t$, and $\binom{m+n-j}{m-j}$ counts paths from $(j,0)$ to $(m,n)$. For the left side, given such a cut and marked path, with $i$ marked east steps, we change each marked east step to a north step and insert an additional north step after the $j$th step, obtaining a path with $m-i$ east steps and $n+i+1$ north steps, and these are counted by  $\binom{m+n+1}{m-i}$. It is easy to see that this transformation is bijective—to go back we change the first $i$ north steps to marked east steps,  set $j$ to the number of steps before the $(i+1)$st north step, and delete the $(i+1)$st north step.
It may be noted that $(1)$ is a special case of a $_2F_1$ linear transformation; a generalization can be obtained easily be expanding
$$\frac{1}{(1-(1+t)x)^a (1-x-y)^b}$$
in the same two ways.
A: I think I can, if you permit me to multiply it by $2^{n+1-m}$. Then we want to prove $$P:=\sum_{j=0}^m(-1)^j\binom{n+1}j2^{n+1-j}
=2^{n+1-m}\sum_{j=0}^m(-1)^j\binom{n-m+j}j=:Q.$$
Denote $X=\{1,2,\ldots,n+1\}$, then
$$
P=\sum_{B\subset A\subset X,|B|\leqslant m} (-1)^{|B|}.
$$
Fix $A$, denote $a=\max(A)$, and partition possible $B$'s onto pairs of the form $\{C,C\sqcup a\}$, where $C\subset A\setminus \{a\}$. All $B$'s are partitioned onto pairs except those for which $|B|=m$ and $a\notin B$. The sum in each pair 0, therefore
$$
P=1+(-1)^m|B\subset A\subset X,|B|=m,\max(A)\notin B|.
$$
Extra 1 comes from the case $B=A=\emptyset$, for which $\max(A)$ does not exist.
Now about $Q$. Consider $B\subset X$, $|B|=m$, and denote by $m-j+1$ the minimal element of $\overline{B}:=X\setminus B$. For fixed $j$, there exist exactly ${n-m+j\choose j}$ such sets $B$. Each of them has $2^{n+1-m}$ oversets $A$. Therefore
$$
Q=\sum_{B\subset A\subset X,|B|=m} (-1)^{\min(\overline{B})+m+1}.
$$
Consider the "dominos" $\{1,2\}$, $\{3,4\}$, $\ldots$,  and take the first domino which is not contained in $B$. If it contains exactly 1 element from $B$, we may switch this element to the other element of the same domino, and $\min(\overline{B})$ changes its parity. This cancellation in the sum for $Q$ lefts only those $B$'s for which FNFDE (the first not-full domino is empty). Therefore
$$
Q=(-1)^m|B\subset A\subset X,|B|=m,FNFDE|.
$$
So $P=Q$ reduces to
$$
(-1)^m+|B\subset A\subset X,|B|=m,\max(A)\notin B|=|B\subset A\subset X,|B|=m,FNFDE|.
$$
Subtracting the common part, we should prove that
$$
(-1)^m+|B\subset A\subset X,|B|=m,\max(A)\notin B,\,\text{not}\, FNFDE|=\\
|B\subset A\subset X,|B|=m,\max(A)\in B,FNFDE|.
$$
Fix the first not full domino $\{s,s+1\}$ and $a=\max(A)$. If $a\leqslant s+1$, there is unique possibility which gives $(-1)^m$. Otherwise, if we fix also $B_0:=B\setminus \{s,s+1,a\}$ (it is some set of size $m-1$), and $A_0:=A\setminus \{s,s+1\}$ such that $B_0\subset A_0$, there exist exactly 4 ways to complete the choice of the pair $(B_0,A_0)$ to $(B,A)$ both for the condition $\{\max(A)\notin B,\,\text{not}\, FNFDE\}$ (choose which of $\{s,s+1\}$ belongs to $B$ where another guy from the domino belongs to $A$); and for the condition $\{\max(A)\in B,FNFDE\}$ (choose which of $s,s+1$ belongs to $a$). This proves the result.
