Abstract
We present an infinite family of Borwein type \(+ - - \) conjectures. The expressions in the conjecture are related to multiple basic hypergeometric series with Macdonald polynomial argument.
Similar content being viewed by others
1 Introduction
The so-called Borwein conjectures, due to Peter Borwein (circa 1990), were popularized by Andrews [1]. The first of these concerns the expansion of finite products of the form
into a power series in q and the sign pattern displayed by the coefficients. In June 2018, in a conference at Penn State celebrating Andrews’ 80th birthday, Chen Wang, a young Ph.D. student studying at the University of Vienna, announced that he has vanquished the first of the Borwein conjectures. In this paper, we propose another set of Borwein-type conjectures. The conjectures here are consistent with the first two Borwein conjectures, and one given by Ismail et al. [5, 11]. At the same time, they do not appear to be very far from these conjectures in form and content. However, they are on different lines from other extensions of Borwein conjectures considered in [2, 3, 5, 10, 11, 13, 14].
Borwein’s first conjecture may be stated as follows: the polynomials \(A_n(q)\), \(B_n(q)\), and \(C_n(q)\) defined by
each have non-negative coefficients. This is the one now settled by Wang [12]. We say that the polynomial on the left-hand side satisfies the Borwein \(+ - - \) condition.
Our first conjecture considers products of the form
Computational evidence suggests that for fixed k, the coefficient of \(p^k\) (a Laurent polynomial in q) satisfies the Borwein \(+ - -\) condition for n large enough. For \(m=0\), this reduces to the left-hand side of (1.1).
This paper is organized as follows. In Sect. 2 we present a precise statement of this conjecture and outline the computational evidence for this conjecture. We also make another—even more general—conjecture, which is motivated by the first two Borwein conjectures, and Andrews’ refinement of these conjectures. Our third and most general conjecture is motivated by Ismail, Kim and Stanton [5, Conjecture 1] (see also Stanton [11, Conjecture 3]). In Sect. 3, we make some remarks concerning the connection to multiple basic hypergeometric series with Macdonald polynomial argument.
2 The Conjectures
Let a, p and q be formal variables. We shall work in the ring of Laurent polynomials in q. For n being a non-negative integer or infinity, the q-shifted factorial is defined as follows:
For convenience, we write
for products of q-shifted factorials. With this notation, our first conjecture can be stated as follows.
Conjecture 2.1
Let m and k be non-negative integers. Let the Laurent polynomials \(A_{m,n,k}(q)\), \(B_{m,n,k}(q)\), and \(C_{m,n,k}(q)\) be defined by
Then for each \(m, k\ge 0\), there is a non-negative integer \(N_{m,k}\) such that if \(n\ge N_{m, k}\) then the Laurent polynomials \(A_{m,n,k}(q)\), \(B_{m,n,k}(q)\), and \(C_{m,n,k}(q)\) have non-negative coefficients.
Further, for \(m=1\) we have \(N_{1,k}=0\) for \(k\le 4\), and \(N_{1,k} = \lceil \frac{k}{4}\rceil \) for \(k\ge 5\), while for \(m>1\), \(N_{m,k} \equiv N_k \) is independent of m.
2.1 Notes
-
1.
The case \(m=0\) or \(k=0\) of Conjecture 2.1 is consistent with the first Borwein conjecture, see [1, Equation (1.1)].
-
2.
For given m and n, the summation index k is bounded by
$$\begin{aligned} k\le 4 n \left( {\begin{array}{c}m+1\\ 2\end{array}}\right) = 2 m (m+1) n. \end{aligned}$$ -
3.
For \(m=1\), we must have \(n\ge k/4\). Indeed, \(n=\lceil \frac{k}{4}\rceil \) are the values of \(N_{m,k}\) in Table 1 for \(m=1\) for \(k\ge 5\). For \(k<5\), \(\lceil \frac{k}{4}\rceil =1\), so we have \(N_{m,k} =0\), since for \(n=0\) the statement of the conjecture holds trivially.
-
4.
We examined the products for \(m = 1, 2, \dots , 10\); \(k = 0, 1, 2, \dots , 15\); and \(n=0, 1, 2,\)\(\dots , 25\). For fixed m and k, the value of \(N_{m,k}\) such that the coefficient of \(p^k\) in the products satisfies the Borwein \(+ - - \) condition for \(N_{m,k}\le n\le 25\) (for \(m\le 5\)) is recorded in Table 1. The values for \(m=6, 7, \dots , 10\) were the same as for \(m=5\). Thus for \(m>1\), the values of \(N_{m,k}\) appear to be independent of m.
-
5.
The coefficients of \(A_{m,n,k}(q)\) were non-negative for all the values of m, n, and k that we computed.
-
6.
The coefficients of powers of q in \(q^2C_{m,n,k}(q^3)\) are the same as those of \(qB_{m,n,k}(q^3)\), but in reverse order, that is, we have,
$$\begin{aligned} q^{n^2-1} B_{m,n,k} (q^{-1}) = C_{m,n,k}(q). \end{aligned}$$This can be seen by replacing q by \(q^{-1}\) in (2.1) and comparing the two sides.
-
7.
One can ask, as did Stanton for [11, Conjecture 3], whether Conjecture 2.1 holds for \(n=\infty \). However, this question is not applicable here, since the product on the left-hand side of (2.1) is not defined at \(n=\infty \).
We now make a few remarks about the form of Conjecture 2.1. The modified theta function is defined as
Here we take \(n=\infty \) and replace q by p in the definition of the q-shifted factorial. This product is convergent if \(|p|<1\). Consider the theta-shifted factorials defined as [4, Eq. (11.2.5)]
As a natural extension of the Borwein Conjecture, consider
or,
The product in Conjecture 2.1 should now be transparent. It is obtained by truncating the infinite products indexed by j. Indeed, one can try even more general ways to truncate the products.
Conjecture 2.2
Let \(m_1\), \(m_2\), \(n_1\), \(n_2\), \(n_3,\) and k be non-negative integers. Let the Laurent polynomials \(A(q)=A_{m_1, m_2, n_1, n_2, n_3, k}(q)\), \(B(q)=B_{m_1, m_2, n_1, n_2, n_3, k}(q)\) and \(C(q)=C_{m_1, m_2, n_1, n_2, n_3, k}(q)\) be defined by
For given k, if \(m_1, m_2\ge 1\), and \(n_1\), \(n_2\) and \(n_3\) are large enough, then the polynomials A(q), B(q), and C(q) have non-negative coefficients.
2.2 Notes
- 1.
Borwein’s second conjecture [1, Eq. (1.3)] states that
$$\begin{aligned} (q, q^2; q^3)^2_n \end{aligned}$$satisfies the Borwein \(+ - - \) condition. If we take \(m_1=1\), \(m_2=0\), \(n_2=n_1\), \(p=1\), and ignore the condition \(m_1,m_2\ge 1\), then the statement of Conjecture 2.2, reduces to Borwein’s second conjecture.
- 2.
Andrews’ refinement of Borwein’s first two conjectures [1, eq. (1.5), \(x=p\)] states that for each k, the coefficient of \(p^k\) in
$$\begin{aligned} (q, q^2; q^3)_{n_1} (pq, pq^2; q^3)_{n_2} \end{aligned}$$satisfies the Borwein \(+ - - \) condition. Ae Ja Yee kindly informed us (private communication, January 2019), that Andrews’ refinement does not hold. For example, it fails for \(n_1=1\), \(n_2=40\), and \(k=40\). Again, if we take \(m_1=1\) and \(m_2=0\), the statement of Conjecture 2.2 reduces to Andrews’ refinement of Borwein’s first two conjectures.
- 3.
Our numerical experiments suggest that we must have \(m_1, m_2\ge 1\) in Conjecture 2.2. But the data we generated do not contradict Borwein’s second conjecture. Further, it may still be true that Andrews’ refinement of Borwein’s conjectures is true for large enough values of \(n_1\) and \(n_2\).
- 4.
It appears that Table 1 is relevant to Conjecture 2.2 too. We observed the following from the data we generated. Let k be fixed, and \(m_1, m_2\ge 2\). Let \(n=\min \{n_1,n_2,n_3\}\). Now if \(n \ge N_k\), where \(N_k\equiv N_{2,k}\) is taken from Table 1, the coefficients of \(p^k\) in the expansion of the products in question satisfy the Borwein \(+ - - \) condition.
Next, on the suggestion of Dennis Stanton, we examine a conjecture due to Ismail, Kim and Stanton [5, Conjecture 1] (see also Stanton [11, Conjecture 3]), who considered
where a and K are relatively prime integers with \(a<K/2\). These authors conjectured:
If K is odd, then
and,
In [11], this conjecture is followed by the statement: If K is even, then \((-1)^m a_m \ge 0\). The unfortunate placement of this statement suggests that it is part of the conjecture. In fact, it is easy to prove. Since a is relatively prime to K, and K is even, both a and \(K-a\) are odd. Thus all the factors in the product are of the form \((1-q^{\text {odd}})\). Now to obtain a term \(q^m\) with m even, we will need to multiply an even number of monomials of the form \((-q^{\text {odd}})\), so the sign will be positive. Similarly, if m is odd, the sign will be negative.
As in Conjecture 2.2, we consider the formal expression
truncate the infinite products, and check whether the coefficients satisfy a similar sign pattern. For K even, it is easy to see that an analogous statement holds for the coefficient of \(p^k\) for all non-negative integers k.
For K odd, we found that the sign pattern is the same as mentioned above, but only when \(a=\lfloor K/2 \rfloor \). In this case, the pattern is an elegant extension of Borwein’s \(+--\). When K is of the form \(4l+1\) or \(4l+3\), the sign pattern is as follows:
For example, when \(K=5\), then the pattern is \(+ + - - + \), and when \(K=7\), then the pattern is \(+ + - - - - + \). (As before, the \(+\) sign represents a non-negative, and the − sign represents a non-positive coefficient.)
In what follows, we have replaced K by \(2K+1\); we consider only the odd powers of the base q.
Conjecture 2.3
Let \(m_1\), \(m_2\), \(n_1\), \(n_2\), \(n_3,\) and k be non-negative integers. Let K be any positive number. Let the Laurent polynomials \(A_k(q)=A_{m_1, m_2, n_1, n_2, n_3, k,K}(q)\) be defined by
where \(A_k(q)\) is a Laurent polynomial of the form
Let \(l= \lfloor \frac{2K+1}{4}\rfloor \). For given k and K, if \(m_1, m_2\ge 1 \), and \(n_1\), \(n_2\) and \(n_3\) are large enough, then the coefficients \(a_{M,k}\) satisfy the following sign pattern:
2.3 Notes
-
1.
If \(m_1=0=m_2\), then the products on the left-hand side of (2.3) are a special case of those considered in [5, Conjecture 1].
- 2.
-
3.
We gathered data for the following values of the variables systematically:
$$\begin{aligned} m_1, m_2&\in \{ 2, 3\}, \\ n_1, n_2, n_3&\in \{ 1, 2, \dots , 5\} ,\\ k&\in \{1, 2, \dots , 10\}, \\ K&\in \{2, 3, 4, \dots , 14 \}. \end{aligned}$$In addition, we considered many random values, with
$$\begin{aligned} m_1, m_2, n_1, n_2, n_3&\in \{0, 1, \dots , 10\}, \\ k&\in \{0,1,\dots , 30\}, \\ K&\in \{1, 2, 3, 4, \dots , 20 \}. \end{aligned}$$In case we obtained a set of values that did not satisfy the required sign pattern, we performed further computations with larger values of \(n_1\), \(n_2\) or \(n_3\).
-
4.
In our experiments, we found only a few values where the predicted sign pattern does not hold, even for large values of \(n_1\), \(n_2\) and \(n_3\). All of these were with either \(m_1=0\) or \(m_2=0\). For example, when \(m_1=4, m_2=0, K=3, k= 18\). In particular the coefficient of \(p^{18}q^{26}\) is predicted to be negative, but is in fact 1, when \(n_1\) and \(n_2\) are large. This is the reason for the condition \(m_1, m_2\ge 1\) in the statements of Conjectures 2.2 and 2.3.
3 Multiple Series Representations
In this section we extend Andrews’ explicit expressions for the polynomials \(A_n(q) \), \(B_n(q)\) and \(C_n(q)\) of (1.1) appearing in the first Borwein conjecture. Andrews [1, Eqs. (3.4)–(3.6)] showed that
where
denotes the q-binomial coefficient. We use a result of Kaneko [7] from the theory of basic hypergeometric series with Macdonald polynomial argument (see [6, 8]) to give analogous expressions for the functions involved in Conjecture 2.1.
Let \(F_{m,n}(p,q)\) denote the left-hand side of (2.1). We first dissect it as follows:
Thus, we have the definitions:
We extend Andrews’ identities by writing each \(F^l_{m,n}(p,q)\) (for \(l=0, 1, 2\)) as a \((2m+1)\)-fold sum.
In the following, \(\lambda \) is an integer partition. That is, \(\lambda \) is any sequence
of non-negative integers such that \(\lambda _1\ge \lambda _2\ge \cdots \ge \lambda _n\ge \cdots \), and contains only finitely many non-zero terms, called the parts of \(\lambda \). We use the symbol \(|\lambda |=\lambda _1+\lambda _2+\cdots \) and say \(\lambda \) is a partition of \(|\lambda |\). In slight misuse of notation we shall also use \(\lambda \) to denote finite non-increasing sequences of integers which are not necessarily all non-negative. For such sequences \(\lambda \) the symbol \(|\lambda |\) is understood to denote the sum of the elements of \(\lambda \), as one would expect.
Theorem 3.1
For \(l=0,1,2\) we have
Remark 3.2
From the expression in Theorem 3.1, it is not obvious that the functions \(F^l_{m,n}(p,q)\) are actually polynomials in p of degree \(2m(m+1)n\).
Before proving the theorem, we outline some background information from the theory of basic hypergeometric series with Macdonald polynomial argument. For the definition of the Macdonald polynomials \(P_\lambda (x_1,\dots ,x_n;q,t)\) together with their most essential properties, we refer to Macdonald’s book [9].
In particular, the \(P_\lambda (x_1,\dots ,x_n;q,t)\) are homogenous in \(x_1,\dots ,x_n\) of degree \(|\lambda |\); we have, after scaling each \(x_i\) by z,
We also make use of the principal specialization formula [9, p. 343, Ex. 5]: Let
where \(\lambda \) has at most n parts, and \(n(\lambda )=\sum _{i=1}^n(i-1)\lambda _i\).
We require the following lemma.
Lemma 3.3
Let N be a non-negative integer. Then
Proof
We use a reformulation of a result by Kaneko [7, Lemma 2]. Let N be a non-negative integer. Then
where \(\lambda -\lambda _n\) stands for the partition \((\lambda _1-\lambda _n,\dots ,\lambda _n-\lambda _n)\).
In Kaneko’s identity, we take \(x_i=-z^{-1}t^{i-1}\), for \(1\le i\le n\), and make use of the homogeneity (3.2) and the principal specialization in (3.3), to obtain the lemma. \(\square \)
Proof of Theorem 3.1
We first observe that the product on the left-hand side of (2.1) can be written as
Next, we apply the \((n,N,z,q,t)\mapsto (2m+1,n,p^mq,q^3,p)\) case of Lemma 3.3 to arrive at
By picking the coefficients of \(q^l\) with l belonging to a residue class modulo 3, we obtain the theorem. \(\square \)
Remark 3.4
We can obtain a more general multiseries expression for the products
by following a similar analysis as carried out in the proof of Theorem 3.1, where we apply the \((n,N,z,q,t)\mapsto (2m+1,n,p^m q^a,q^{2K+1},p)\) case of Lemma 3.3. The case \(a=K\) gives the products on the left-hand side of (2.3), with \(n=n_1=n_2=n_3\) and \(m=m_1=m_2\).
References
Andrews, G.E.: On a conjecture of Peter Borwein. J. Symbolic Comput. 20(5-6), 487–501 (1995)
Berkovich, A., Warnaar, S.O.: Positivity preserving transformations for \(q\)-binomial coefficients. Trans. Amer. Math. Soc. 357(6), 2291–2351 (2005)
Bressoud, D.M.: The Borwein conjecture and partitions with prescribed hook differences. Electron. J. Combin. 3(2), #R4 (1996)
Gasper, G., Rahman, M.: Basic Hypergeometric Series. Second Edition. Encyclopedia of Mathematics and Its Applications, Vol. 96. Cambridge University Press, Cambridge (2004)
Ismail, M.E.H., Kim, D., Stanton, D.: Lattice paths and positive trigonometric sums. Constr. Approx. 15(1), 69–81 (1999)
Kaneko, J.: \(q\)-Selberg integrals and Macdonald polynomials. Ann. Sci. École Norm. Sup. (4) 29(5), 583–637 (1996)
Kaneko, J.: A triple product identity for Macdonald polynomials. J. Math. Anal. Appl. 200(2), 355–367 (1996)
Macdonald, I.G.: Hypergeometric functions II (\(q\)-analogues). Unpublished manuscript (1988). arXiv:1309.5208 (2013)
Macdonald, I.G.: Symmetric Functions and Hall Polynomials. Second Edtion. Reprint of the 2008 paperback edition. Oxford University Press, New York (2015)
Rajković, P.M., Petković, M.D.: Generalized Borwein conjecture and partitions of natural numbers. Funct. Anal. Approx. Comput. 1(2), 47–56 (2009)
Stanton, D.: Open positivity conjectures for integer partitions. Trends Math. 2, 19–25 (1999)
Wang, C.: An analytic proof of the Borwein Conjecture. arXiv:1901.10886 (2019)
Warnaar, S.O.: The generalized Borwein conjecture. I. The Burge transform. In: Berndt, B.C., Ono, K. (eds.) \(q\)-Series with Applications to Combinatorics, Number Theory, and Physics, pp. 243–267. Contemp. Math., 291, Amer. Math. Soc., Providence, RI (2001)
Warnaar, S.O.: The generalized Borwein conjecture. II. Refined \(q\)-trinomial coefficients, Discrete Math. 272(2-3), 215–258 (2003)
Acknowledgements
We thank Dennis Stanton and the anonymous referee for helpful suggestions. The computational results presented here have been achieved in part using the Vienna Scientific Cluster (VSC). The research of the first author was partially supported by the Austrian Science Fund (FWF), grant F50-N15, in the framework of the Special Research Program “Algorithmic and Enumerative Combinatorics”. The research of the second author was partially supported by the Austrian Science Fund (FWF), grant P 3205-N35. Open access funding is provided by the University of Vienna.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to George Andrews on the occasion of his 80th birthday
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This 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.
About this article
Cite this article
Bhatnagar, G., Schlosser, M.J. A Partial Theta Function Borwein Conjecture. Ann. Comb. 23, 561–572 (2019). https://doi.org/10.1007/s00026-019-00465-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00026-019-00465-4