TY - JOUR
T1 - On some combinatorial sequences associated to invariant theory
AU - Bostan, Alin
AU - Tirrell, Jordan
AU - Westbury, Bruce W.
AU - Zhang, Yi
N1 - Funding Information:
A. Bostan was supported in part by DeRerumNaturaANR-19-CE40-0018.The work of Y. Zhang was supported by XJTLU Research Development Funding No. RDF-20-01-12, the NSFC Young Scientist Fund No. 12101506 and the Natural Science Foundation of the Jiangsu Higher Education Institutions of China No. 21KJB110032.
Publisher Copyright:
© 2022 Elsevier Ltd
PY - 2022/10
Y1 - 2022/10
N2 - We study the enumerative and analytic properties of some sequences constructed using tensor invariant theory. The octant sequences are constructed from the exceptional Lie group G2 and the quadrant sequences from the special linear group SL(3). In each case we show that the corresponding sequences are related by binomial transforms. The first three octant sequences and the first four quadrant sequences are listed in the On-Line Encyclopedia of Integer Sequences (OEIS). These sequences all have interpretations as enumerating two-dimensional lattice walks but for the octant sequences the boundary conditions are unconventional. These sequences are all P-recursive and we give the corresponding recurrence relations. In all cases the associated differential operators are of third order and have the remarkable property that they can be solved to give closed formulae for the ordinary generating functions in terms of classical Gaussian hypergeometric functions. Moreover, we show that the octant sequences and the quadrant sequences are related by the branching rules for the inclusion of SL(3) in G2.
AB - We study the enumerative and analytic properties of some sequences constructed using tensor invariant theory. The octant sequences are constructed from the exceptional Lie group G2 and the quadrant sequences from the special linear group SL(3). In each case we show that the corresponding sequences are related by binomial transforms. The first three octant sequences and the first four quadrant sequences are listed in the On-Line Encyclopedia of Integer Sequences (OEIS). These sequences all have interpretations as enumerating two-dimensional lattice walks but for the octant sequences the boundary conditions are unconventional. These sequences are all P-recursive and we give the corresponding recurrence relations. In all cases the associated differential operators are of third order and have the remarkable property that they can be solved to give closed formulae for the ordinary generating functions in terms of classical Gaussian hypergeometric functions. Moreover, we show that the octant sequences and the quadrant sequences are related by the branching rules for the inclusion of SL(3) in G2.
UR - http://www.scopus.com/inward/record.url?scp=85130121957&partnerID=8YFLogxK
U2 - 10.1016/j.ejc.2022.103554
DO - 10.1016/j.ejc.2022.103554
M3 - Article
AN - SCOPUS:85130121957
SN - 0195-6698
VL - 105
JO - European Journal of Combinatorics
JF - European Journal of Combinatorics
M1 - 103554
ER -