2
$\begingroup$

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.

$\endgroup$
4
  • $\begingroup$ It seems to be related to math.stackexchange.com/q/1042481 and its answers, see also oeis.org/A253938 $\endgroup$ Commented Nov 2, 2017 at 19:58
  • $\begingroup$ (It took me some time to parse the part in curly brackets: 'U' and 'u' both mean up, with the capitalization emphasizing whether it's in odd or even position, respectively. Also, '_' just marks where the Dyck path hits the $x$-axis, but is not an instruction like u/d.) $\endgroup$ Commented Nov 2, 2017 at 20:06
  • 2
    $\begingroup$ Isn’t binomial(4,2) equal to 6? $\endgroup$ Commented Nov 2, 2017 at 20:49
  • $\begingroup$ @AnthonyQuas Good point! Is there just an off-by-one error in the description, or is the whole thing nonsense? $\endgroup$ Commented Nov 2, 2017 at 20:53

1 Answer 1

4
$\begingroup$

The answer is pretty simple. Consider any of $k$ parts between consecutive touches of $x$-axis. Note that we can assign a unique U character to each of these parts, namely, the first character, which meets our quota of U characters. The last character of each part obviously has to be d. Between the first and the last character of a part, no character at odd position can be U (since the quota is met), so they have to be d. All the other characters in this part have to be u to compensate the balance, so the only way a part can look like is Uudud...udd for some number of repetitions of ud. So the answer is equal to the number of ways to cut a sequence of length $n$ into $k$ non-empty parts, which is ${n - 1 \choose k - 1}$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .