Interlacing property of a family of generating polynomials over Dyck paths (Q6131737)

Summary: In the study of a tantalizing symmetry on Catalan objects, \textit{M. Bóna} et al. [``A combinatorial proof of a tantalizing symmetry on Catalan objects'', Preprint, \url{arXiv:2212.10586}] introduced a family of polynomials \(\{W_{n,k}(x)\}_{n\geqslant k\geqslant 0}\) defined by \[W_{n,k}(x)=\sum_{m=0}^k w_{n,k,m} x^m,\] where \(w_{n,k,m}\) counts the number of Dyck paths of semilength \(n\) with \(k\) occurrences of \(UD\) and \(m\) occurrences of \(UUD\). They proposed two conjectures on the interlacing property of these polynomials, one of which states that \(\{W_{n,k}(x)\}_{n\geqslant k}\) is a Sturm sequence for any fixed \(k\geqslant 1\), and the other states that \(\{W_{n,k}(x)\}_{1\leqslant k\leqslant n}\) is a Sturm-unimodal sequence for any fixed \(n\geqslant 1\). In this paper, we obtain certain recurrence relations for \(W_{n,k}(x)\), and further confirm their conjectures.