Positivity preserving transformations for 𝑞-binomial coefficients

Berkovich, Alexander; Warnaar, S.

doi:10.1090/S0002-9947-04-03680-3

Positivity preserving transformations for $q$-binomial coefficients
HTML articles powered by AMS MathViewer

by Alexander Berkovich and S. Ole Warnaar PDF

Trans. Amer. Math. Soc. 357 (2005), 2291-2351 Request permission

Abstract:

Several new transformations for $q$-binomial coefficients are found, which have the special feature that the kernel is a polynomial with nonnegative coefficients. By studying the group-like properties of these positivity preserving transformations, as well as their connection with the Bailey lemma, many new summation and transformation formulas for basic hypergeometric series are found. The new $q$-binomial transformations are also applied to obtain multisum Rogers–Ramanujan identities, to find new representations for the Rogers–Szegö polynomials, and to make some progress on Bressoud’s generalized Borwein conjecture. For the original Borwein conjecture we formulate a refinement based on new triple sum representations of the Borwein polynomials.

References

W. A. Al-Salam and A. Verma, On quadratic transformations of basic series, SIAM J. Math. Anal. 15 (1984), no. 2, 414–421. MR 731877, DOI 10.1137/0515032
George E. Andrews, Applications of basic hypergeometric functions, SIAM Rev. 16 (1974), 441–484. MR 352557, DOI 10.1137/1016081
George E. Andrews, The theory of partitions, Encyclopedia of Mathematics and its Applications, Vol. 2, Addison-Wesley Publishing Co., Reading, Mass.-London-Amsterdam, 1976. MR 0557013
George E. Andrews, On $q$-analogues of the Watson and Whipple summations, SIAM J. Math. Anal. 7 (1976), no. 3, 332–336. MR 399529, DOI 10.1137/0507026
George E. Andrews, Connection coefficient problems and partitions, Relations between combinatorics and other parts of mathematics (Proc. Sympos. Pure Math., Ohio State Univ., Columbus, Ohio, 1978) Proc. Sympos. Pure Math., XXXIV, Amer. Math. Soc., Providence, R.I., 1979, pp. 1–24. MR 525316
George E. Andrews, Multiple series Rogers-Ramanujan type identities, Pacific J. Math. 114 (1984), no. 2, 267–283. MR 757501, DOI 10.2140/pjm.1984.114.267
George E. Andrews, $q$-series: their development and application in analysis, number theory, combinatorics, physics, and computer algebra, CBMS Regional Conference Series in Mathematics, vol. 66, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1986. MR 858826, DOI 10.1090/cbms/066
George E. Andrews, On a conjecture of Peter Borwein, J. Symbolic Comput. 20 (1995), no. 5-6, 487–501. Symbolic computation in combinatorics $\Delta _1$ (Ithaca, NY, 1993). MR 1395410, DOI 10.1006/jsco.1995.1061
George E. Andrews, Bailey’s transform, lemma, chains and tree, Special functions 2000: current perspective and future directions (Tempe, AZ), NATO Sci. Ser. II Math. Phys. Chem., vol. 30, Kluwer Acad. Publ., Dordrecht, 2001, pp. 1–22. MR 2006282, DOI 10.1007/978-94-010-0818-1_{1}
George E. Andrews, The Friedman-Joichi-Stanton monotonicity conjecture at primes, Unusual applications of number theory, DIMACS Ser. Discrete Math. Theoret. Comput. Sci., vol. 64, Amer. Math. Soc., Providence, RI, 2004, pp. 9–15. MR 2063197
George E. Andrews, Richard Askey, and Ranjan Roy, Special functions, Encyclopedia of Mathematics and its Applications, vol. 71, Cambridge University Press, Cambridge, 1999. MR 1688958, DOI 10.1017/CBO9781107325937
George E. Andrews, R. J. Baxter, D. M. Bressoud, W. H. Burge, P. J. Forrester, and G. Viennot, Partitions with prescribed hook differences, European J. Combin. 8 (1987), no. 4, 341–350. MR 930170, DOI 10.1016/S0195-6698(87)80041-0
George Andrews and Alexander Berkovich, The WP-Bailey tree and its implications, J. London Math. Soc. (2) 66 (2002), no. 3, 529–549. MR 1934290, DOI 10.1112/S0024610702003617
George E. Andrews, Anne Schilling, and S. Ole Warnaar, An $A_2$ Bailey lemma and Rogers-Ramanujan-type identities, J. Amer. Math. Soc. 12 (1999), no. 3, 677–702. MR 1669957, DOI 10.1090/S0894-0347-99-00297-0
W. N. Bailey, Some identities in combinatory analysis, Proc. London Math. Soc. (2) 49 (1947), 421–425. MR 22816, DOI 10.1112/plms/s2-49.6.421
W. N. Bailey, Identities of the Rogers-Ramanujan type, Proc. London Math. Soc. (2) 50 (1948), 1–10. MR 25025, DOI 10.1112/plms/s2-50.1.1
D. M. Bressoud, A matrix inverse, Proc. Amer. Math. Soc. 88 (1983), no. 3, 446–448. MR 699411, DOI 10.1090/S0002-9939-1983-0699411-9
D. M. Bressoud, The Bailey lattice: an introduction, Ramanujan revisited (Urbana-Champaign, Ill., 1987) Academic Press, Boston, MA, 1988, pp. 57–67. MR 938960
David M. Bressoud, The Borwein conjecture and partitions with prescribed hook differences, Electron. J. Combin. 3 (1996), no. 2, Research Paper 4, approx. 14. The Foata Festschrift. MR 1392489
D. Bressoud, M. E. H. Ismail, and D. Stanton, Change of base in Bailey pairs, Ramanujan J. 4 (2000), no. 4, 435–453. MR 1811908, DOI 10.1023/A:1009824218230
William H. Burge, Restricted partition pairs, J. Combin. Theory Ser. A 63 (1993), no. 2, 210–222. MR 1223681, DOI 10.1016/0097-3165(93)90057-F
L. Carlitz, Some inverse relations, Duke Math. J. 40 (1973), 893–901. MR 337651, DOI 10.1215/S0012-7094-73-04083-0
Wen Chang Chu, Inversion techniques and combinatorial identities—strange evaluations of basic hypergeometric series, Compositio Math. 91 (1994), no. 2, 121–144. MR 1273645
Wen Chang Chu, Inversion techniques and combinatorial identities—Jackson’s $q$-analogue of the Dougall-Dixon theorem and the dual formulae, Compositio Math. 95 (1995), no. 1, 43–68. MR 1314696
Omar Foda, Keith S. M. Lee, and Trevor A. Welsh, A Burge tree of Virasoro-type polynomial identities, Internat. J. Modern Phys. A 13 (1998), no. 29, 4967–5012. MR 1660343, DOI 10.1142/S0217751X98002328
Jane Friedman, James T. Joichi, and Dennis Stanton, More monotonicity theorems for partitions, Experiment. Math. 3 (1994), no. 1, 31–37. MR 1302816, DOI 10.1080/10586458.1994.10504574
George Gasper, Summation, transformation, and expansion formulas for bibasic series, Trans. Amer. Math. Soc. 312 (1989), no. 1, 257–277. MR 953537, DOI 10.1090/S0002-9947-1989-0953537-0
George Gasper and Mizan Rahman, Positivity of the Poisson kernel for the continuous $q$-Jacobi polynomials and some quadratic transformation formulas for basic hypergeometric series, SIAM J. Math. Anal. 17 (1986), no. 4, 970–999. MR 846401, DOI 10.1137/0517069
George Gasper and Mizan Rahman, An indefinite bibasic summation formula and some quadratic, cubic and quartic summation and transformation formulas, Canad. J. Math. 42 (1990), no. 1, 1–27. MR 1043508, DOI 10.4153/CJM-1990-001-5
George Gasper and Mizan Rahman, Basic hypergeometric series, Encyclopedia of Mathematics and its Applications, vol. 35, Cambridge University Press, Cambridge, 1990. With a foreword by Richard Askey. MR 1052153
Ira Gessel and Dennis Stanton, Applications of $q$-Lagrange inversion to basic hypergeometric series, Trans. Amer. Math. Soc. 277 (1983), no. 1, 173–201. MR 690047, DOI 10.1090/S0002-9947-1983-0690047-7
Ira Gessel and Dennis Stanton, Another family of $q$-Lagrange inversion formulas, Rocky Mountain J. Math. 16 (1986), no. 2, 373–384. MR 843058, DOI 10.1216/RMJ-1986-16-2-373
Mark D. Haiman, Conjectures on the quotient ring by diagonal invariants, J. Algebraic Combin. 3 (1994), no. 1, 17–76. MR 1256101, DOI 10.1023/A:1022450120589
Qing-Hu Hou, Alain Lascoux, and Yan-Ping Mu, Continued fractions for Rogers-Szegö polynomials, Numer. Algorithms 35 (2004), no. 1, 81–90. MR 2041804, DOI 10.1023/B:NUMA.0000016604.14688.21
M. E. H. Ismail, D. Kim, and D. Stanton, Lattice paths and positive trigonometric sums, Constr. Approx. 15 (1999), no. 1, 69–81. MR 1660081, DOI 10.1007/s003659900097
M. E. H. Ismail and D. Stanton, Tribasic integrals and identities of Rogers-Ramanujan type, Trans. Amer. Math. Soc. 355 (2003), no. 10, 4061–4091. MR 1990575, DOI 10.1090/S0002-9947-03-03338-5
C. Krattenthaler, A systematic list of two- and three-term contiguous relations for basic hypergeometric series, http://euler.univ-lyon1.fr/home/kratt/papers.html.
C. Krattenthaler, A new matrix inverse, Proc. Amer. Math. Soc. 124 (1996), no. 1, 47–59. MR 1291781, DOI 10.1090/S0002-9939-96-03042-0
C. Krattenthaler, http://euler.univ-lyon1.fr/home/kratt/
I. G. Macdonald, Symmetric functions and Hall polynomials, 2nd ed., Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, 1995. With contributions by A. Zelevinsky; Oxford Science Publications. MR 1354144
Peter Paule, On identities of the Rogers-Ramanujan type, J. Math. Anal. Appl. 107 (1985), no. 1, 255–284. MR 786027, DOI 10.1016/0022-247X(85)90368-3
L. J. Rogers, On two theorems of combinatory analysis and some allied identities, Proc. London Math. Soc. (2) 16 (1917), 315–336.
Anne Schilling and S. Ole Warnaar, A generalization of the $q$-Saalschütz sum and the Burge transform, Physical combinatorics (Kyoto, 1999) Progr. Math., vol. 191, Birkhäuser Boston, Boston, MA, 2000, pp. 163–183. MR 1768083
Michael Schlosser, Inversion of bilateral basic hypergeometric series, Electron. J. Combin. 10 (2003), Research Paper 10, 27. MR 1975760
Andrew V. Sills, Finite Rogers-Ramanujan type identities, Electron. J. Combin. 10 (2003), Research Paper 13, 122. MR 1975763
L. J. Slater, A new proof of Rogers’s transformations of infinite series, Proc. London Math. Soc. (2) 53 (1951), 460–475. MR 43235, DOI 10.1112/plms/s2-53.6.460
L. J. Slater, Further identities of the Rogers-Ramanujan type, Proc. London Math. Soc. (2) 54 (1952), 147–167. MR 49225, DOI 10.1112/plms/s2-54.2.147
Lucy Joan Slater, Generalized hypergeometric functions, Cambridge University Press, Cambridge, 1966. MR 0201688
Richard P. Stanley, Enumerative combinatorics. Vol. 2, Cambridge Studies in Advanced Mathematics, vol. 62, Cambridge University Press, Cambridge, 1999. With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin. MR 1676282, DOI 10.1017/CBO9780511609589
D. Stanton, The Bailey-Rogers-Ramanujan group, $q$-series with applications to combinatorics, number theory, and physics (Urbana, IL, 2000) Contemp. Math., vol. 291, Amer. Math. Soc., Providence, RI, 2001, pp. 55–70. MR 1874521, DOI 10.1090/conm/291/04892
D. Stanton and D. White, Sieved $q$-binomial coefficients, to appear.
A. Verma and V. K. Jain, Transformations between basic hypergeometric series on different bases and identities of Rogers-Ramanujan type, J. Math. Anal. Appl. 76 (1980), no. 1, 230–269. MR 586661, DOI 10.1016/0022-247X(80)90076-1
A. Verma and V. K. Jain, Transformations of nonterminating basic hypergeometric series, their contour integrals and applications to Rogers-Ramanujan identities, J. Math. Anal. Appl. 87 (1982), no. 1, 9–44. MR 653604, DOI 10.1016/0022-247X(82)90151-2
S. Ole Warnaar, 50 years of Bailey’s lemma, Algebraic combinatorics and applications (Gößweinstein, 1999) Springer, Berlin, 2001, pp. 333–347. MR 1851961
S. Ole Warnaar, The generalized Borwein conjecture. I. The Burge transform, $q$-series with applications to combinatorics, number theory, and physics (Urbana, IL, 2000) Contemp. Math., vol. 291, Amer. Math. Soc., Providence, RI, 2001, pp. 243–267. MR 1874535, DOI 10.1090/conm/291/04906
S. O. Warnaar, Summation and transformation formulas for elliptic hypergeometric series, Constr. Approx. 18 (2002), no. 4, 479–502. MR 1920282, DOI 10.1007/s00365-002-0501-6
S. Ole Warnaar, The generalized Borwein conjecture. II. Refined $q$-trinomial coefficients, Discrete Math. 272 (2003), no. 2-3, 215–258. MR 2009544, DOI 10.1016/S0012-365X(03)00047-5
G. N. Watson, A new proof of the Rogers–Ramanujan identities, J. London. Math. Soc. 4 (1929), 4–9.