A. Regev
Abstract:We calculate the total number of humps in Dyck and in Motzkin paths, and we give Standard-Young-Tableaux-interpretations of the numbers involved. One then observes the intriguing phenomena that the humps-calculations change the partitions in a strip to partitions in a hook.
What problem does this paper attempt to address?
This paper mainly discusses the problem of calculating the number of "humps" in Dyck paths and Motzkin paths, and provides explicit formulas for the total number of humps in these paths. At the same time, the author also gives the explanatory relationship between these hump numbers and Standard Young Tableaux (SYT), revealing the phenomenon of how the calculation of humps transforms strip shapes into hook shapes.
Specifically, the paper solves the following core problems:
1. **The number of humps in Dyck paths**:
- Defines a "hump" in a Dyck path as an up - step immediately followed by a down - step.
- Gives the formula for the total number \(HC_n\) of humps in all Dyck paths of length \(2n\):
\[
HC_n=\binom{2n - 1}{n}
\]
- Further explains the relationship between \(HC_n\) and Standard Young Tableaux, that is, \(HC_n = f_{(n,1^n)}\), where \(f_{(n,1^n)}\) represents the number of Standard Young Tableaux of shape \((n,1^n)\).
2. **The number of humps in Motzkin paths**:
- Defines a "hump" in a Motzkin path as an up - step followed by zero or more flat steps and then a down - step.
- Gives the formula for the total number \(HM_n\) of humps in all Motzkin paths of length \(n\):
\[
HM_n=\frac{1}{2}\sum_{j\geq1}\binom{n}{j}\binom{n - j}{j}
\]
- Further explains the relationship between \(HM_n\) and Standard Young Tableaux, that is, \(HM_n=S(2,1;n)- 1\), where \(S(2,1;n)\) is the sum of Standard Young Tableaux in the \((2,1)\) hook shape.
3. **Super - Dyck paths and super - Motzkin paths**:
- Discusses the case where the path is allowed to be below the x - axis, that is, the so - called "super" paths.
- Proves that the number \(SD_n\) of super - Dyck paths is \(2\cdot HC_n\), and the number \(SM_n\) of super - Motzkin paths is \(2\cdot HM_n + 1\).
4. **Double - Dyck paths**:
- For \(S(4,0;n)\), gives the formula for the number \(HS(4,0;n)\) of humps in its corresponding double - Dyck path:
\[
HS(4,0;n)=\frac{n + 3}{2}\cdot S(4,0;n)
\]
- Where \(S(4,0;n)=C_{\lfloor\frac{n + 1}{2}\rfloor}\cdot C_{\lceil\frac{n + 1}{2}\rceil}\), and \(C_k\) is the \(k\)-th Catalan number.
Through these studies, the paper not only provides specific mathematical formulas, but also reveals some interesting phenomena in combinatorics, such as how the calculation of humps affects the counting of Standard Young Tableaux of different shapes. These results are of great significance for understanding combinatorial structures and Young tableaux theory.