1: \begin{abstract}

2: A sequence of rational functions in a variable $q$ is $q$-holonomic if it

3: satisfies a linear recursion with coefficients polynomials in $q$ and $q^n$.

4: We prove that the degree of a $q$-holonomic sequence is eventually 

5: a quadratic quasi-polynomial, and that the leading term satisfies a linear

6: recursion relation with constant coefficients.

7:  Our proof uses differential Galois theory 

8: (adapting proofs regarding holonomic $D$-modules to the case of $q$-holonomic 

9: $D$-modules) combined with the Lech-Mahler-Skolem theorem from number theory.

10: En route, we use the Newton polygon

11: of a linear $q$-difference equation, and introduce the notion of 

12: regular-singular $q$-difference equation and a WKB basis of solutions

13: of a linear $q$-difference equation at $q=0$. We then use the 

14: Skolem-Mahler-Lech theorem to study the vanishing of their leading term. 

15: Unlike the case of $q=1$, there are no analytic problems regarding 

16: convergence of the WKB solutions. Our proofs are constructive, and they

17: are illustrated by an explicit example.

18: \end{abstract}

19: