The degree of a \(q\)-holonomic sequence is a quadratic quasi-polynomial (Q540134): Difference between revisions
From MaRDI portal
Changed an Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 06:56, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The degree of a \(q\)-holonomic sequence is a quadratic quasi-polynomial |
scientific article |
Statements
The degree of a \(q\)-holonomic sequence is a quadratic quasi-polynomial (English)
0 references
1 June 2011
0 references
Summary: A sequence of rational functions in a variable \(q\) is \(q\)-holonomic if it satisfies a linear recursion with coefficients polynomials in \(q\) and \(q^n\). We prove that the degree of a \(q\)-holonomic sequence is eventually a quadratic quasi-polynomial, and that the leading term satisfies a linear recursion relation with constant coefficients. Our proof uses differential Galois theory (adapting proofs regarding holonomic \(D\)- modules to the case of \(q\)-holonomic \(D\)-modules) combined with the Lech-Mahler-Skolem theorem from number theory. En route, we use the Newton polygon of a linear \(q\)-difference equation, and introduce the notion of regular-singular \(q\)-difference equation and a WKB basis of solutions of a linear \(q\)-difference equation at \(q = 0\). We then use the Skolem-Mahler-Lech theorem to study the vanishing of their leading term. Unlike the case of \(q = 1\), there are no analytic problems regarding convergence of the WKB solutions. Our proofs are constructive, and they are illustrated by an explicit example.
0 references
degree of a \(q\)-holonomic sequence
0 references
quadratic quasi-polynomial
0 references