We consider context-free grammars of the form G = {f → f^b1＋b2＋1g^a1＋a2, g → f^b1 g^a1＋1},where ai and bi are integers sub ject to certain positivity conditions. Such a grammar G gives rise to triangular arrays...We consider context-free grammars of the form G = {f → f^b1＋b2＋1g^a1＋a2, g → f^b1 g^a1＋1},where ai and bi are integers sub ject to certain positivity conditions. Such a grammar G gives rise to triangular arrays {T（n, k）}0≤k≤n satisfying a three-term recurrence relation. Many combinatorial sequences can be generated in this way. Let Tn （x） =∑k=0^n T（n, k）x^k. Based on the differential operator with respect to G, we define a sequence of linear operators Pn such that Tn＋1（x） = Pn（Tn（x））. Applying the characterization of real stability preserving linear operators on the multivariate polynomials due to Borcea and Br？ndén, we obtain a necessary and sufficient condition for the operator Pn to be real stability preserving for any n. As a consequence, we are led to a sufficient condition for the real-rootedness of the polynomials defined by certain triangular arrays, obtained by Wang and Yeh.Moreover, as special cases we obtain grammars that lead to identities involving the Whitney numbers and the Bessel numbers.展开更多
基金Supported by the 973 Projectthe PCSIRT Project+1 种基金the Doctoral Program Fund of the Ministry of Educationthe National Science Foundation of China
文摘We consider context-free grammars of the form G = {f → f^b1＋b2＋1g^a1＋a2, g → f^b1 g^a1＋1},where ai and bi are integers sub ject to certain positivity conditions. Such a grammar G gives rise to triangular arrays {T（n, k）}0≤k≤n satisfying a three-term recurrence relation. Many combinatorial sequences can be generated in this way. Let Tn （x） =∑k=0^n T（n, k）x^k. Based on the differential operator with respect to G, we define a sequence of linear operators Pn such that Tn＋1（x） = Pn（Tn（x））. Applying the characterization of real stability preserving linear operators on the multivariate polynomials due to Borcea and Br？ndén, we obtain a necessary and sufficient condition for the operator Pn to be real stability preserving for any n. As a consequence, we are led to a sufficient condition for the real-rootedness of the polynomials defined by certain triangular arrays, obtained by Wang and Yeh.Moreover, as special cases we obtain grammars that lead to identities involving the Whitney numbers and the Bessel numbers.
