Advertisement

Elementary Polynomial Identities Involving \(\varvec{q}\)-Trinomial Coefficients

  • Alexander Berkovich
  • Ali Kemal UncuEmail author
Open Access
Article
  • 80 Downloads

Abstract

We use the q-binomial theorem to prove three new polynomial identities involving q-trinomial coefficients. We then use summation formulas for the q-trinomial coefficients to convert our identities into another set of three polynomial identities, which imply Capparelli’s partition theorems when the degree of the polynomial tends to infinity. This way we also obtain an interesting new result for the sum of the Capparelli’s products. We finish this paper by proposing an infinite hierarchy of polynomial identities.

Keywords

Happy Birthday Capparelli’s partition theorems q-Trinomial coefficients q-Series Polynomial identities 

Mathematics Subject Classification

11B65 11C08 11P81 11P82 11P83 11P84 05A10 05A15 05A17 

1 Introduction

George E. Andrews is known for his many accomplishments and impeccable leadership in both his mathematical contributions and in service to the community of mathematics. His influence on research keeps opening new horizons, and at the same time, new doors to young researchers. There are many areas of study he introduced that are now saturated with world-class mathematicians, yet there are many more that the community is only catching up studying. Here, we look at one of these lesser-studied objects: q-trinomial coefficients. Introduced by Andrews in collaboration with Baxter, the q-trinomial coefficients are defined by
$$\begin{aligned} \left( \begin{array}{c}L,\, b\\ a \end{array};q\right) _2 := \sum _{n\ge 0 } q^{n(n+b)} \frac{(q;q)_L}{(q;q)_n(q;q)_{n+a}(q;q)_{L-2n-a}}, \end{aligned}$$
(1.1)
where, for any non-negative integer n, \((a;q)_n\) is the standard q-Pochhammer symbol [3]:
$$\begin{aligned} (a;q)_n := (1-a)(1-aq)(1-aq^2)\dots (1-aq^{n-1}). \end{aligned}$$
Here and throughout \(|q|<1\).
It is easy to verify that
$$\begin{aligned} \sum _{a=-L}^L \left( \begin{array}{c}L,\, b\\ a \end{array};1\right) _2 t^a = \left( t+1+\frac{1}{t}\right) ^L, \end{aligned}$$
which implies the generalized Pascal Triangle for (1.1) with \(q=1\):The q-trinomial coefficients were studied in [1, 2, 4, 5, 6, 7, 8, 9, 10, 14, 15, 16, 17]. Nevertheless, it appears that the following identities are new.

Theorem 1.1

$$\begin{aligned}&\sum _{n\ge 0} (-1)^n q^{(3n^2+n)/2} \frac{(q^3;q^3)_L}{(q;q)_{L-2n}(q^3;q^3)_n}\nonumber \\&\qquad + q^{2L+1}\sum _{n\ge 0} (-1)^n q^{(3n^2-n)/2} \frac{(q^3;q^3)_L}{(q;q)_{L-2n}(q^3;q^3)_n}\nonumber \\&\quad = \sum _{j=-L}^L \left\{ q^{L+j+1}\left( \begin{array}{c}L,\, j+1\\ j \end{array}; q^3\right) _2+ q^{L+4j}\left( \begin{array}{c}L,\, j\\ j-1 \end{array}; q^3\right) _2\right\} , \end{aligned}$$
(1.2)
$$\begin{aligned}&\sum _{n\ge 0} (-1)^n q^{(3n^2-n)/2} \frac{(q^3;q^3)_L}{(q;q)_{L-2n}(q^3;q^3)_n} = \sum _{j=-L}^L q^{2L-j}\left( \begin{array}{c}L,\, j-1\\ j \end{array};q^3\right) _2 , \end{aligned}$$
(1.3)
$$\begin{aligned}&\sum _{n\ge 0} (-1)^n q^{(3n^2+n)/2} \frac{(q^3;q^3)_L}{(q;q)_{L-2n}(q^3;q^3)_n} = \sum _{j=-L}^L q^{L-j}\left( \begin{array}{c}L,\, j\\ j \end{array};q^3\right) _2. \end{aligned}$$
(1.4)
From the left-hand sides of (1.2)–(1.4), we can easily discover the limiting formulas:
$$\begin{aligned} \frac{1}{(q;q^3)_\infty },\, \frac{1}{(q^2;q^3)_\infty },\text { and }\frac{1}{(q;q^3)_\infty }, \end{aligned}$$
respectively, as \(L\rightarrow \infty \) with the aid of the q-binomial theorem. However, this is not as easy to see that from the right-hand sides of these identities.

These identities are related to combinatorics and partition theory. As an example, we will show that (1.2) and (1.4) in Theorem 1.1 imply Capparelli’s partition theorems. Moreover, (1.3) implies the following new interesting result.

Theorem 1.2

$$\begin{aligned} \sum _{m,n\ge 0} \frac{q^{2m^2 + 6mn +6n^2 -2m-3n}}{(q;q)_m(q^3;q^3)_n}&= (-q^2,-q^4;q^6)_\infty (-q^3;q^3)_\infty \nonumber \\&\quad + (-q,-q^5;q^6)_\infty (-q^3;q^3)_\infty . \end{aligned}$$
(1.5)

In Sect. 2, we give a comprehensive list of definitions and identities that will be used in this paper. Section 3 has the proof of Theorem 1.1. This section also includes the dual of these identities and a necessary version of Bailey’s lemma for the q-trinomial coefficients. We find new polynomial identities that yield Capparelli’s partition theorem in Sect. 4. Theorem 1.2, which includes the sum of the two Capparelli’s theorem’s products, is also proven in Sect. 4. This section also contains a comparison of the mentioned polynomial identities and the previously found polynomial identities [10] that also imply Capparelli’s partition theorems. The outlook section, Sect. 5, includes two new results the authors are planning on presenting soon: a doubly bounded identity involving Warnaar’s refinement of the q-trinomial coefficients, and also an infinite hierarchy of q-series identities.

2 Necessary Definitions and Identities

We use the standard notation as in [3]. For formal variables \(a_i\) and q, and a non-negative integer n:
$$\begin{aligned} (a;q)_\infty&:= \lim _{n\rightarrow \infty }(a;q)_n, \end{aligned}$$
(2.1)
$$\begin{aligned} (a_1,a_2,\dots ,a_k;q)_n&:= (a_1;q)_n(a_2;q)_n\cdots (a_k;q)_n. \end{aligned}$$
(2.2)
We can extend the definition of the q-Pochhamer symbol to negative n as follows:
$$\begin{aligned} (a;q)_n= & {} \frac{(a;q)_\infty }{(aq^n;q)_\infty }. \end{aligned}$$
(2.3)
Observe that (2.1) implies
$$\begin{aligned} \frac{1}{(q;q)_n}&= 0\quad \text { if }\quad n <0. \end{aligned}$$
(2.4)
In addition, observe that for non-negative n, we have
$$\begin{aligned} \displaystyle (q^{-1};q^{-1})_n= & {} (-1)^n q^{-{n+1\atopwithdelims ()2}} (q;q)_n . \end{aligned}$$
(2.5)
We define the q-binomial coefficients in the classical manner as
$$\begin{aligned} \displaystyle {m+n \brack m}_q&:= \left\{ \begin{array}{ll}\frac{(q)_{m+n}}{(q)_m(q)_{n}},&{}\quad \text {for }m, n \ge 0,\\ 0,&{}\quad \text {otherwise.}\end{array}\right. \end{aligned}$$
(2.6)
It is well known that for \(m\in {\mathbb {Z}}_{\ge 0}\)
$$\begin{aligned} \displaystyle \lim _{N\rightarrow \infty }{N\brack m}_q= & {} \frac{1}{(q;q)_m}, \end{aligned}$$
(2.7)
for any \(j\in \mathbb {Z}_{\ge 0}\) and \(\nu =0\) or 1
$$\begin{aligned} \displaystyle \lim _{M\rightarrow \infty }{2M+\nu \brack M-j}_q= & {} \frac{1}{(q;q)_\infty }. \end{aligned}$$
(2.8)
We define another q-trinomial coefficient for any integer n:
$$\begin{aligned} T_n\left( \begin{array}{c}L\\ a\end{array};q\right)&:= q^{(L(L-n)-a(a-n))/2} \left( \begin{array}{c}L,\, a-n\\ a \end{array};\frac{1}{q}\right) _2. \end{aligned}$$
(2.9)

Theorem 2.1

(q-Binomial theorem). For variables \(a,\, q,\) and z
$$\begin{aligned} \sum _{n\ge 0} \frac{(a;q)_n}{(q;q)_n}z^n = \frac{(az;q)_\infty }{(z;q)_\infty }. \end{aligned}$$
(2.10)
In addition, note that the q-exponential sum
$$\begin{aligned} \sum _{n\ge 0} \frac{q^{n(n-1)/2}}{(q;q)_n}z^n = (-z;q)_\infty \end{aligned}$$
(2.11)
is a limiting case (\(a\rightarrow \infty \) after the variable change \(z\mapsto -z/a\)) of (2.10).

Another ingredient we will use here is the Jacobi Triple Product Identity [3].

Theorem 2.2

(Jacobi triple product identity).
$$\begin{aligned} \sum _{j=-\infty }^\infty z^j q^{j^2} = \left( q^2,-zq,-\frac{q}{z};q^2\right) _\infty . \end{aligned}$$
(2.12)

3 Proof of Theorem 1.1 and Some q-Trinomial Summation Formulas

We start with the following lemma.

Lemma 3.1

For any integer n, we have
$$\begin{aligned} \sum _{L\ge 0}\sum _{j=-\infty }^\infty \frac{x^j t^L }{(q;q)_L} \left( \begin{array}{c}L,\, j-n\\ j \end{array};q\right) _2 = \frac{(t^2 q^{-n} ; q)_\infty }{(t, \frac{t}{x} q^{-n},tx;q)_\infty }. \end{aligned}$$
(3.1)

The \(n=0\) case of (3.1) first appeared in the work of Andrews [2, p. 153, (6.6)].

Proof of Lemma 3.1

We start by writing definition (1.1) on the left-hand side of formula (3.1). After a simple cancellation, one sees that the triple sum can be untangled by the change of the summation variables \(\nu = k+j\), and \(\mu =L-2k-j\). This change of summation variables, keeping (2.3) in mind, shows that the left-hand side sum of (3.1) can be written as:
$$\begin{aligned} \sum _{k\ge 0} \frac{x^{-k}t^k q^{-nk}}{(q;q)_k}\sum _{\nu \ge 0} \frac{x^\nu t^\nu q^{k\nu }}{(q;q)_\nu } \sum _{\mu \ge 0} \frac{t^{\mu }}{(q;q)_\mu }. \end{aligned}$$
(3.2)
One can apply the q-Binomial Theorem starting from the innermost sum of (3.2). After applying the q-binomial Theorem 2.1 with \((a,z)= (0,t)\), and \((a,z)=(0,xtq^k)\), we get
$$\begin{aligned} \frac{1}{(t;q)_\infty }\sum _{k\ge 0} \frac{x^{-k}t^k q^{-nk}}{(q;q)_k (xtq^k;q)_\infty }. \end{aligned}$$
(3.3)
We rewrite \((xtq^k;q)_\infty \) using (2.1), take the k-free portion out of the summation, and use (2.10) once again with \((a,z) = (xt,x^{-1}tq^n)\) to finish the proof. \(\square \)

We can prove Theorem 1.1 using Lemma 3.1.

Proof of Theorem 1.1

Instead of proving these identities directly, we will prove the equality of their generating functions. It is clear that one can prove the equality of the two sides of polynomial identities of the form
$$\begin{aligned} A_L(q) = B_L(q) \end{aligned}$$
by a multi-variable generating function equivalence
$$\begin{aligned} \sum _{L\ge 0} \frac{t^L}{(q^3;q^3)_L} A_{L}(q) = \sum _{L\ge 0} \frac{t^L}{(q^3;q^3)_L} B_{L}(q). \end{aligned}$$
(3.4)
On the right-hand side of (3.4) with the choice of \(B_{L}(q)\) being the right-hand sides of (1.2)–(1.4), we get
$$\begin{aligned} \frac{(t^2q^2;q^3)_\infty }{(t;q)_\infty }\frac{(1+q)}{(1+tq)}, \frac{(t^2q;q^3)_\infty }{(t;q)_\infty },\text { and }\frac{(t^2q^2;q^3)_\infty }{(t;q)_\infty }, \end{aligned}$$
(3.5)
respectively, by Lemma 3.1. Hence, all we need to do is to show that the left-hand side of (3.4) with the choice of \(A_L(q)\) being the left-hand sides of (1.2)–(1.4) yields the same products.
The left-hand side of (1.2) has two sums. The first sum of the left-hand side of (1.2) after being multiplied by \(t^L / (q^3;q^3)_L\), summing over L as suggested in (3.4), and after simple cancellations turns into
$$\begin{aligned} \sum _{L,n\ge 0} (-1)^n \frac{q^{\frac{3n^2+n}{2}}t^L}{(q;q)_{L-2n}(q^3;q^3)n}. \end{aligned}$$
(3.6)
We introduce the new summation variable \(\nu = L-2n\). This factors the double sum fully. Keeping (2.3) in mind, we rewrite (3.6) as
$$\begin{aligned} \sum _{\nu \ge 0} \frac{t^\nu }{(q;q)_\nu }\sum _{n\ge 0}\frac{q^{3n(n-1)/2}}{(q^3;q^3)_n}(-t^2q)^n. \end{aligned}$$
Then, using (2.10) and (2.11) on the two sums, respectively, we see that (3.6) is equal to
$$\begin{aligned} \frac{(t^2q;q^3)_\infty }{(t;q)_\infty }. \end{aligned}$$
The same exact calculation can be done for the second sum on the left-hand side of (1.2), and the left-hand side sums of (1.3) and (1.4). After the simplifications, we see that the products we get from the left-hand side sums after (3.4) is applied to them, are the same as the products (3.5). \(\square \)

In the identities of Theorem 1.1, we replace \(q\mapsto 1/q\), multiply both sides of the equations by \(q^{3L^2/2}\), use (2.4) and (2.9), and do elementary simplifications to get the following theorem.

Theorem 3.2

$$\begin{aligned}&\sum _{n\ge 0} q^{{L-2n\atopwithdelims ()2}} \frac{(q^3;q^3)_L}{(q;q)_{L-2n}(q^3;q^3)_n} + q^{L+1}\sum _{n\ge 0} q^{{L-2n+1 \atopwithdelims ()2}+n} \frac{(q^3;q^3)_L}{(q;q)_{L-2n}(q^3;q^3)_n}\nonumber \\&\quad = \sum _{j=-L}^L q^{\frac{3j^2+j}{2}}\left\{ T_{-1}\left( \begin{array}{c}L\\ j \end{array};q^3 \right) +T_{-1}\left( \begin{array}{c}L\\ j+1 \end{array};q^3 \right) \right\} , \end{aligned}$$
(3.7)
$$\begin{aligned}&\sum _{n\ge 0} q^{L-2n\atopwithdelims ()2} \frac{(q^3;q^3)_L}{(q;q)_{L-2n}(q^3;q^3)_n} = \sum _{j=-L}^L q^{\frac{3j^2-j}{2}} T_{1}\left( \begin{array}{c}L\\ j \end{array};q^3 \right) , \end{aligned}$$
(3.8)
$$\begin{aligned}&\sum _{n\ge 0} q^{\frac{(L-2n)^2}{2}} \frac{(q^3;q^3)_L}{(q;q)_{L-2n}(q^3;q^3)_n} = \sum _{j=-L}^L q^{\frac{3j^2+2j}{2}} T_{0}\left( \begin{array}{c}L\\ j \end{array};q^3 \right) . \end{aligned}$$
(3.9)

Building on the development in [7, 9, 14], Warnaar [15, eqs. (10), (14)] proved the following summation formulas.

Theorem 3.3

(Warnaar).
$$\begin{aligned} \sum _{i\ge 0} q^{\frac{i^2}{2}} {L\brack i}_q T_0\left( \begin{array}{c}i\\ a\end{array};q\right)&= q^{\frac{a^2}{2}} {2L\brack L-a}_q, \end{aligned}$$
(3.10)
$$\begin{aligned} \sum _{i\ge 0} q^{{i\atopwithdelims ()2}} (1+q^L){L\brack i}_q T_1\left( \begin{array}{c}i\\ a \end{array};q \right)&= (1+q^a) q^{{a \atopwithdelims ()2}} {2L \brack L-a}_q. \end{aligned}$$
(3.11)

We found a similar new summation formula:

Theorem 3.4

$$\begin{aligned} \sum _{i\ge 0} q^{{i+1 \atopwithdelims ()2}} {L\brack i}_q \left\{ T_{-1}\left( \begin{array}{c}i\\ a \end{array};q \right) + T_{-1}\left( \begin{array}{c}i\\ a+1 \end{array};q \right) \right\} = q^{a+1\atopwithdelims ()2} {2L+1\brack L-a}_q. \end{aligned}$$
(3.12)

Proof

To prove (3.12), we need the following identity of Berkovich–McCoy–Orrick [8, p. 815, (4.8)]:
$$\begin{aligned}&T_{-1}\left( \begin{array}{c}L\\ a \end{array};q \right) + T_{-1}\left( \begin{array}{c}L\\ a+1 \end{array};q \right) \nonumber \\&\quad = \frac{1}{1-q^{L+1}}\left\{ T_{1}\left( \begin{array}{c}L+1\\ a \end{array};q \right) -q^{(L+1-a)/2} T_{0}\left( \begin{array}{c}L+1\\ a \end{array};q \right) \right\} . \end{aligned}$$
(3.13)
After the use of (3.13) on the left-hand side of (3.12), we employ
$$\begin{aligned} \frac{1}{1-q^{i+1}}{L\brack i}_q = \frac{1}{1-q^{L+1}}{L+1\brack i+1}_q, \end{aligned}$$
(3.14)
and summations (3.10) and (3.11). This yields the right-hand side of (3.12) after some elementary simplifications. \(\square \)

Theorem 3.5

Let \(F_j(L)\) and \(\alpha _j(a)\) be sequences, depending on L and a, respectively, for \(j=-1,\, 0\) or 1. If
$$\begin{aligned} F_0(L)&= \sum _{a=-\infty }^\infty \alpha _0(a) T_0\left( \begin{array}{c}L\\ a \end{array};q \right) , \end{aligned}$$
(3.15)
$$\begin{aligned} F_1(L)&= \sum _{a=-\infty }^\infty \alpha _1(a) T_1\left( \begin{array}{c}L\\ a \end{array};q \right) , \end{aligned}$$
(3.16)
$$\begin{aligned} F_{-1}(L)&= \sum _{a=-\infty }^\infty \alpha _{-1}(a) \left\{ T_{-1}\left( \begin{array}{c}L\\ a \end{array};q \right) +T_{-1}\left( \begin{array}{c}L\\ a+1 \end{array};q \right) \right\} \end{aligned}$$
(3.17)
hold, then
$$\begin{aligned} \sum _{i\ge 0} q^{\frac{i^2}{2}} {L \brack i}_q F_0(i)&= \sum _{a=-\infty }^\infty \alpha _0(a) q^{\frac{a^2}{2}} {2L\brack L-a}_q, \end{aligned}$$
(3.18)
$$\begin{aligned} (1+q^L)\sum _{i\ge 0} q^{i\atopwithdelims ()2} {L \brack i}_q F_1(i)&= \sum _{a=-\infty }^\infty \alpha _1(a)(1+q^a) q^{a \atopwithdelims ()2} {2L\brack L-a}_q, \end{aligned}$$
(3.19)
$$\begin{aligned} \sum _{i\ge 0} q^{i+1 \atopwithdelims ()2} {L \brack i}_q F_{-1}(i)&= \sum _{a=-\infty }^\infty \alpha _{-1}(a) q^{a+1\atopwithdelims ()2} {2L+1 \brack L-a}_q \end{aligned}$$
(3.20)
are true.

Proof

We apply (3.10)–(3.12) to (3.15)–(3.17) and get (3.18)–(3.20), respectively. \(\square \)

4 New Polynomial Identities Implying Capparelli’s Partition Theorems

We apply (3.18) to (3.9) to get
$$\begin{aligned} \sum _{L,n\ge 0} q^{\frac{(L-2n)^2+3L^2}{2}} \frac{(q^3;q^3)_M}{(q;q)_{L-2n} (q^3;q^3)_n(q^3;q^3)_{M-L}} = \sum _{j=-M}^M q^{3j^2+j} {2M\brack M+j}_{q^3}. \end{aligned}$$
(4.1)
We introduce the new variable \(m=L-2n\), and let
$$\begin{aligned} Q(m,n):=2m^2 + 6mn +6n^2, \end{aligned}$$
and observe that
$$\begin{aligned} Q(m,n)=\frac{(L-2n)^2+3L^2}{2}, \end{aligned}$$
after the change of variable. Hence, (4.1) can be written as follows.

Theorem 4.1

$$\begin{aligned} \sum _{m,n\ge 0} \frac{q^{Q(m,n)}(q^3;q^3)_M}{(q;q)_m (q^3;q^3)_n(q^3;q^3)_{M-2n-m}} = \sum _{j=-M}^M q^{3j^2+j} {2M\brack M+j}_{q^3}. \end{aligned}$$
(4.2)

Recall that (4.2) is Theorem 7.1 in [10]. Letting \(M\rightarrow \infty \) in (4.2), using (2.8), and the Jacobi Triple Product Identity (2.12) on the right-hand side, we obtain the following.

Theorem 4.2

$$\begin{aligned} \sum _{m,n\ge 0} \frac{q^{Q(m,n)}}{(q;q)_m (q^3;q^3)_n} = (-q^2,-q^4;q^6)_\infty (-q^3;q^3)_\infty . \end{aligned}$$
(4.3)

The authors recently discovered another polynomial identity [10, Theorem 1.3, (1.12)] that implies the same q-series identity (4.3) as \(N\rightarrow \infty \):

Theorem 4.3

For any non-negative integer N, we have
$$\begin{aligned}&\sum _{m,n\ge 0} q^{Q(m,n)}{3(N-2n-m)\brack m}_q {2(N-2n-m)+n\brack n}_{q^3} \\&\qquad =\sum _{l=0}^{N} q^{3{N-2l \atopwithdelims ()2}} {N\brack 2l}_{q^3} (-q^2,-q^4;q^6)_l. \end{aligned}$$

The identity (4.3) was independently proposed by Kanade–Russell [12] and Kurşungöz [13]. They showed that (4.3) is equivalent to the following partition theorem.

Theorem 4.4

(Capparelli’s first partition theorem [11]). For any integer n, the number of partitions of n into distinct parts where no part is congruent to \(\pm 1\) modulo 6 is equal to the number of partitions of n into parts, not equal to 1, where the minimal difference between consecutive parts is 2. In fact, the difference between consecutive parts is greater than or equal to 4 unless consecutive parts are 3k and \(3k+3\) (yielding a difference of 3), or \(3k-1\) and \(3k+1\) (yielding a difference of 2) for some \(k\in \mathbb {N}\).

Theorem 4.4 was first proven by Andrews in [2].

Analogously, we apply (3.19) to (3.8). This way we are led to the theorem:

Theorem 4.5

$$\begin{aligned}&\sum _{m,n\ge 0} \frac{q^{Q(m,n)-2m-3n}(q^3;q^3)_M}{(q;q)_m (q^3;q^3)_n(q^3;q^3)_{M-2n-m}}(1+q^{3M})\nonumber \\&\quad = \sum _{j=-M}^M q^{3j^2-2j}(1+q^{3j}) {2M\brack M+j}_{q^3}. \end{aligned}$$
(4.4)

Letting M tend to infinity, and using (2.8) and (2.12) on the right-hand side proves Theorem 1.2.

Similar to the above calculations, we apply (3.20) to (3.7) and get the theorem:

Theorem 4.6

$$\begin{aligned}&\sum _{m,n\ge 0} \frac{q^{Q(m,n)+m+3n}(q^3;q^3)_M}{(q;q)_m (q^3;q^3)_n(q^3;q^3)_{M-2n-m}} +\sum _{m,n\ge 0} \frac{q^{Q(m,n)+3m+6n+1}(q^3;q^3)_M}{(q;q)_m (q^3;q^3)_n(q^3;q^3)_{M-2n-m}}\nonumber \\&\quad = \sum _{j=-M-1}^M q^{3j^2+2j} {2M+1\brack M-j}_{q^3}. \end{aligned}$$
(4.5)

Letting \(M\rightarrow \infty \) and using (2.8) and (2.12) on the right-hand side, we get the result:

Theorem 4.7

$$\begin{aligned} \sum _{m,n\ge 0} \frac{q^{Q(m,n)+m+3n}}{(q;q)_m(q^3;q^3)_n} + \sum _{m,n\ge 0}\frac{q^{Q(m,n)+3m+6n+1}}{(q;q)_m(q^3;q^3)_n} = (-q,-q^5;q^6)_\infty (-q^3;q^3)_\infty . \end{aligned}$$
(4.6)

It is instructive to compare (4.5) with the following polynomial identity [10, Theorem 1.3, (1.12)], which also implies (4.6) as \(N\rightarrow \infty \):

Theorem 4.8

For any non-negative integer N, we have
$$\begin{aligned}&\sum _{m,n\ge 0} q^{Q(m,n)+m+3n}{3(N-2n-m)+2\brack m}_q {2(N-2n-m)+n+1\brack n}_{q^3}\\&\qquad + \sum _{m,n\ge 0} q^{Q(m,n)+3m+6n+1}{3(N-2n-m)\brack m}_q {2(N-2n-m)+n\brack n}_{q^3} \\&\quad = \sum _{l=0}^{N} q^{3{N-2l \atopwithdelims ()2}} {N+1\brack 2l+1}_{q^3} (-q;q^6)_{l+1}(-q^5;q^6)_l. \end{aligned}$$

We note that (4.6) first appeared in Kurşungöz [13]. In fact, this is equivalent to the Cappareli’s second partition theorem.

Theorem 4.9

(Capparelli’s second partition theorem [11]). For any integer n, the number of partitions of n into distinct parts, where no part is congruent to \(\pm 2\) modulo 6 is equal to the number of partitions of n into parts, not equal to 2, where the minimal difference between consecutive parts is 2. In fact, the difference between consecutive parts is greater than or equal to 4 unless consecutive parts are 3k and \(3k+3\) (yielding a difference of 3), or \(3k-1\) and \(3k+1\) (yielding a difference of 2) for some \(k\in \mathbb {N}\).

We note that Kurşungöz [13] showed the equivalence of (4.6) to Theorem 4.9. On the other hand, Kanade–Russell [12] showed the equivalence of a slightly different (yet equivalent) double sum identity to the Capparelli’s Second Partition Theorem.

Comparing Theorems 4.1 and 4.3, and Theorems 4.6 and 4.8, we see that the identities proven here look somewhat simpler. On the other hand, the objects that appear on both sides of the identities from [10] clearly come with combinatorial interpretations and are made up of objects with manifestly positive coefficients. It is not necessarily clear that the left-hand sides of (4.2), (4.4), and (4.5) have positive coefficients at first sight. A combinatorial study of these objects as generating functions, which would also show the non-negativity of the coefficients of these polynomials, is a task for the future.

5 Outlook

Identity (3.9) is the special case \(M\rightarrow \infty \) of the following doubly bounded identity.

Theorem 5.1

$$\begin{aligned} \sum _{\begin{array}{c} m\ge 0,\\ L\equiv m \mathrm{(mod 2)} \end{array}} q^{\frac{m^2}{2}}{3M \brack m}_q {2M + \frac{L-m}{2}\brack 2M}_{q^3} = \sum _{j=-\infty }^{\infty } q^{\frac{3j^2+2j}{2}} \mathcal {T}\left( \begin{array}{c}L,\, M \\ j,\, j\end{array};q^3 \right) , \end{aligned}$$
(5.1)
where
$$\begin{aligned} \mathcal {T}\left( \begin{array}{c}L,\, M \\ a,\, b\end{array};q \right) := \sum _{\begin{array}{c} n\ge 0, \\ L-a\equiv n \mathrm{(mod 2)} \end{array}} q^{\frac{n^2}{2}} {M\brack n}_q {M+b+\frac{L-a-n}{2} \brack M+b}_q {M-b +\frac{L+a-n}{2}\brack M-b}_q. \end{aligned}$$
(5.2)

The refinement (5.2) of the q-trinomial coefficients was first introduced by Warnaar [16, 17].

In the forthcoming paper, we will show that Theorem 5.1 implies the following infinite hierarchy of identities.

Theorem 5.2

Let \(\nu \) be a positive integer, and let \(N_k = n_k+n_{k+1}+\dots +n_{\nu }\), for \(k=1,2,\dots , \nu \). Then
$$\begin{aligned}&\sum _{\begin{array}{c} i,m,n_1,n_2,\dots ,n_\nu \ge 0,\\ i+m \equiv N_1+N_2+\dots + N_\nu \text {(mod 2)} \end{array}} q^{\frac{m^2+3(i^2+N_1^2+N_2^2+\dots + N_\nu ^2)}{2}} {L-N_1\brack i}_{q^3}{3n_\nu \brack m}_{q}\nonumber \\&\qquad \times {2n_\nu + (i-N_1-N_2-\dots -N_\nu -m)/2\brack 2n_\nu }_{q^3} \prod _{j=1}^{\nu -1} {i- \sum _{k=1}^j N_k+n_j \brack n_j}_{q^3}\nonumber \\&\quad = \sum _{j=\infty } ^\infty q^{3{\nu +2\atopwithdelims ()2}j^2+j} \left( \begin{array}{c} L,\, (\nu +2)j\\ (\nu +2)j \end{array}; q^3 \right) _2. \end{aligned}$$
(5.3)

Notes

Acknowledgements

Open access funding provided by Johannes Kepler University Linz. The authors would like to thank the Algorithmic Combinatorics group of the Research Institute for Symbolic Computation, led by Peter Paule, for their hospitality and for providing them the research environment, where this work has flourished. Research of Alexander Berkovich is partly supported by the Simons Foundation, Award ID: 308929. Research of Ali Kemal Uncu is supported by the Austrian Science Fund FWF, SFB50-07 and SFB50-09 Projects. We would like to thank Chris Jennings-Shaffer for his careful reading of the manuscript.

References

  1. 1.
    Andrews, G.E.: Euler’s “exemplum memorabile inductionis fallacis” and \(q\)-trinomial coefficients. J. Amer. Math. Soc. 3(3), 653–669 (1990)MathSciNetzbMATHGoogle Scholar
  2. 2.
    Andrews, G.E.: Schur’s theorem, Capparelli’s conjecture and \(q\)-trinomial coefficients. In: Andrews, G.E., Bressoud, D.M., Parson, L.A. (eds.) The Rademacher Legacy to Mathematics (University Park, PA, 1992), Contemp. Math., 166, pp. 141–154. Amer. Math. Soc., Providence, RI (1994)Google Scholar
  3. 3.
    Andrews, G.E.: The Theory of Partitions. Cambridge University Press, Cambridge (1998)zbMATHGoogle Scholar
  4. 4.
    Andrews, G.E.: Rogers-Ramanujan polynomials for modulus 6. In: Berndt, B.C., Diamond, H.G., Hildebrand, A.J. (eds.) Analytic Number Theory, Vol. 1 (Allerton Park, IL, 1995), Progr. Math., 138, pp. 17–30. Birkhäuser Boston, Boston, MA (1996)Google Scholar
  5. 5.
    Andrews, G.E.: \(q\)-Trinomial coefficients and Rogers-Ramanujan type identities. In: Berndt, B.C., Diamond, H.G., Halberstam, H., Hildebrand, A. (eds.) Analytic Number Theory (Allerton Park, IL, 1989), Progr. Math., 85, pp. 1–11. Birkhäuser Boston, Boston, MA (1990)Google Scholar
  6. 6.
    Andrews, G.E., Baxter, R.J.: Lattice gas generalization of the hard hexagon model. III. \(q\)-trinomial coefficients. J. Statist. Phys. 47(3-4), 297–330 (1987)Google Scholar
  7. 7.
    Andrews, G.E., Berkovich, A.: A trinomial analogue of Bailey’s lemma and \(N=2\) superconformal invariance. Comm. Math. Phys. 192(2), 245–260 (1998)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Berkovich, A., McCoy, B.M., Orrick, W.P.: Polynomial identities, indices, and duality for the \(N=1 \) superconformal model \(SM(2,4\nu )\). J. Statist. Phys. 83(5-6), 795–837 (1996)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Berkovich, A., McCoy, B.M., Pearce, P.A.: The perturbations \(\phi _{2,1}\) and \(\phi _{1,5}\) of the minimal models \(M(p,p^{\prime })\) and the trinomial analogue of Bailey’s lemma. Nuclear Phys. B 519(3), 597–625 (1998)Google Scholar
  10. 10.
    Berkovich, A., Uncu, A.K.: Polynomial identities implying Capparelli’s partition theorems. J. Number Theory (2019).  https://doi.org/10.1016/j.jnt.2019.02.028 MathSciNetCrossRefGoogle Scholar
  11. 11.
    Capparelli, S.: A combinatorial proof of a partition identity related to the level 3 representations of a twisted affine Lie algebra. Comm. Algebra 23(8), 2959–2969 (1995)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Kanade, S., Russell, M.C.: Staircases to analytic sum-sides for many new integer partition identities of Rogers-Ramanujan type. Electron. J. Combin. 26(1), #P1.6 (2019)Google Scholar
  13. 13.
    Kurşungöz, K.: Andrews-Gordon type series for Capparelli’s and Göllnitz-Gordon identities. J. Combin. Theory Ser. A 165, 117–138 (2019)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Warnaar, S.O.: A note on the trinomial analogue of Bailey’s lemma. J. Combin. Theory Ser. A 81(1), 114–119 (1998)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Warnaar, S.O.: \(q\)-Trinomial identities. J. Math. Phys. 40(5), 2514–2530 (1999)MathSciNetCrossRefGoogle Scholar
  16. 16.
    Warnaar, S.O.: Refined \(q\)-trinomial coefficients and character identities. J. Statist. Phys. 102(3-4), 1065–1081 (2001)MathSciNetCrossRefGoogle Scholar
  17. 17.
    Warnaar, S.O.: The generalized Borwein conjecture. II. Refined \(q\)-trinomial coefficients. Discrete Math. 272(2-3) (2003)Google Scholar

Copyright information

© The Author(s) 2019

Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors and Affiliations

  1. 1.Department of MathematicsUniversity of FloridaGainesvilleUSA
  2. 2.Johann Radon Institute for Computational and Applied Mathematics (RICAM)Austrian Academy of Sciences (OEAW)LinzAustria

Personalised recommendations