The OEIS entry for Pascal’s triangle contains the following intriguing remark:
$C(n,k)$ = the number of Dyck paths of semilength $n$, with $k$ "u"'s in odd numbered positions and $k$ returns to the x-axis.
Example: {
U
= u in odd position and_
= return to x axis}$\mathrm{binomial}(4,1)=1$ (
Uudududd_
)
$\mathrm{binomial}(4,2)=3$ (Uududd_Ud_
,Ud_Uududd_
,Uudd_Uudd_
)
$\mathrm{binomial}(4,3)=3$ (Ud_Ud_Uudd_
,Uudd_Ud_Ud_
,Ud_Uudd_Ud_
)
$\mathrm{binomial}(4,4)=1$ (Ud_Ud_Ud_Ud_
)– Roger Ford, Nov 05 2014
It isn’t obvious to me why this should be true. I found the edit where this remark was added, and it doesn’t include any links or references.
Can anyone give a proof – or supply a reference, if this is a known result?
Added: As Anthony Quas points out in the comments, the example doesn’t match the description. Based on the example the claim should presumably be that $n \choose k$ is the number of paths of semilength $n+1$ that have $k+1$ u’s in odd positions and $k+1$ returns. But this error makes me wonder if the whole thing is nonsense. I’ll check some more examples.