Proofs of Two Positivity Conjectures of Guo

Abstract

We prove two positivity conjectures proposed by Guo for alternating sums and factorial ratios built from Gaussian coefficients. The first result proves the positivity of the odd $q$-super Catalan numbers \[ C_{m,n}(q)=\frac{[2m+1]![2n]!}{[m+n+1]![m]![n]!}. \] The proof uses the positivity theorem of Warnaar and Zudilin for the usual $q$-super Catalan numbers, together with two recurrences obtained from a double application of the $q$-Chu--Vandermonde summation. The second result proves Guo's conjectural strengthening of his alternating-sum positivity theorem, replacing the exponent coefficient $2r-1$ by every odd coefficient $2b-1$, $1\leq b\leq r$. Its proof combines a $q\mapsto q^{-1}$ reciprocity with a finite deletion recurrence.