A simple proof of the Zeilberger–Bressoud 𝑞-Dyson theorem

Károlyi, Gyula; Nagy, Zoltán

doi:10.1090/S0002-9939-2014-12041-7

A simple proof of the Zeilberger–Bressoud $q$-Dyson theorem
HTML articles powered by AMS MathViewer

by Gyula Károlyi and Zoltán Lóránt Nagy PDF

Proc. Amer. Math. Soc. 142 (2014), 3007-3011 Request permission

Abstract:

As an application of the Combinatorial Nullstellensatz, we give a short polynomial proof of the $q$-analogue of Dyson’s conjecture formulated by Andrews and first proved by Zeilberger and Bressoud.

References

Noga Alon, Combinatorial Nullstellensatz, Combin. Probab. Comput. 8 (1999), no. 1-2, 7–29. Recent trends in combinatorics (Mátraháza, 1995). MR 1684621, DOI 10.1017/S0963548398003411
George E. Andrews, Problems and prospects for basic hypergeometric functions, Theory and application of special functions (Proc. Advanced Sem., Math. Res. Center, Univ. Wisconsin, Madison, Wis., 1975) Math. Res. Center, Univ. Wisconsin, Publ. No. 35, Academic Press, New York, 1975, pp. 191–224. MR 0399528
T. H. Baker and P. J. Forrester, Generalizations of the $q$-Morris constant term identity, J. Combin. Theory Ser. A 81 (1998), no. 1, 69–87. MR 1492869, DOI 10.1006/jcta.1997.2819
D. M. Bressoud and I. P. Goulden, Constant term identities extending the $q$-Dyson theorem, Trans. Amer. Math. Soc. 291 (1985), no. 1, 203–228. MR 797055, DOI 10.1090/S0002-9947-1985-0797055-8
Ivan Cherednik, Double affine Hecke algebras and Macdonald’s conjectures, Ann. of Math. (2) 141 (1995), no. 1, 191–216. MR 1314036, DOI 10.2307/2118632
Freeman J. Dyson, Statistical theory of the energy levels of complex systems. I, J. Mathematical Phys. 3 (1962), 140–156. MR 143556, DOI 10.1063/1.1703773
P. J. Forrester, Normalization of the wavefunction for the Calogero-Sutherland model with internal degrees of freedom, Internat. J. Modern Phys. B 9 (1995), no. 10, 1243–1261. MR 1338022, DOI 10.1142/S0217979295000537
Ira M. Gessel and Guoce Xin, A short proof of the Zeilberger-Bressoud $q$-Dyson theorem, Proc. Amer. Math. Soc. 134 (2006), no. 8, 2179–2187. MR 2213689, DOI 10.1090/S0002-9939-06-08224-4
I. J. Good, Short proof of a conjecture by Dyson, J. Mathematical Phys. 11 (1970), 1884. MR 258644, DOI 10.1063/1.1665339
Laurent Habsieger, Une $q$-intégrale de Selberg et Askey, SIAM J. Math. Anal. 19 (1988), no. 6, 1475–1489 (French, with English summary). MR 965268, DOI 10.1137/0519111
Kevin W. J. Kadell, A proof of Andrews’ $q$-Dyson conjecture for $n=4$, Trans. Amer. Math. Soc. 290 (1985), no. 1, 127–144. MR 787958, DOI 10.1090/S0002-9947-1985-0787958-2
Kevin W. J. Kadell, A proof of Askey’s conjectured $q$-analogue of Selberg’s integral and a conjecture of Morris, SIAM J. Math. Anal. 19 (1988), no. 4, 969–986. MR 946655, DOI 10.1137/0519067
Kevin W. J. Kadell, Aomoto’s machine and the Dyson constant term identity, Methods Appl. Anal. 5 (1998), no. 4, 335–350. MR 1669871, DOI 10.4310/MAA.1998.v5.n4.a1
Kevin W. J. Kadell, A Dyson constant term orthogonality relation, J. Combin. Theory Ser. A 89 (2000), no. 2, 291–297. MR 1741011, DOI 10.1006/jcta.1999.2928
R. N. Karasev and F. V. Petrov, Partitions of nonzero elements of a finite field into pairs, Israel J. Math. 192 (2012), no. 1, 143–156. MR 3004078, DOI 10.1007/s11856-012-0020-5
Gy. Károlyi, Note on a problem of Kadell, manuscript.
Gy. Károlyi, A. Lascoux, and S. O. Warnaar, Constant term identities and Poincaré polynomials, Trans. Amer. Math. Soc., to appear.
Gy. Károlyi, Z. L. Nagy, F. V. Petrov, and V. Volkov, A new approach to constant term identities and Selberg-type integrals, submitted.
MichałLasoń, A generalization of combinatorial Nullstellensatz, Electron. J. Combin. 17 (2010), no. 1, Note 32, 6. MR 2729390
I. G. Macdonald, Some conjectures for root systems, SIAM J. Math. Anal. 13 (1982), no. 6, 988–1007. MR 674768, DOI 10.1137/0513070
Walter Garfield Morris II, CONSTANT TERM IDENTITIES FOR FINITE AND AFFINE ROOT SYSTEMS: CONJECTURES AND THEOREMS, ProQuest LLC, Ann Arbor, MI, 1982. Thesis (Ph.D.)–The University of Wisconsin - Madison. MR 2631899
Richard P. Stanley, The $q$-Dyson conjecture, generalized exponents, and the internal product of Schur functions, Combinatorics and algebra (Boulder, Colo., 1983) Contemp. Math., vol. 34, Amer. Math. Soc., Providence, RI, 1984, pp. 81–94. MR 777696, DOI 10.1090/conm/034/777696
Richard P. Stanley, The stable behavior of some characters of $\textrm {SL}(n,\textbf {C})$, Linear and Multilinear Algebra 16 (1984), no. 1-4, 3–27. MR 768993, DOI 10.1080/03081088408817606
John R. Stembridge, A short proof of Macdonald’s conjecture for the root systems of type $A$, Proc. Amer. Math. Soc. 102 (1988), no. 4, 777–786. MR 934842, DOI 10.1090/S0002-9939-1988-0934842-5
Kenneth G. Wilson, Proof of a conjecture by Dyson, J. Mathematical Phys. 3 (1962), 1040–1043. MR 144627, DOI 10.1063/1.1724291
Doron Zeilberger, A Stembridge-Stanton style elementary proof of the Habsieger-Kadell $q$-Morris identity, Discrete Math. 79 (1990), no. 3, 313–322. MR 1044230, DOI 10.1016/0012-365X(90)90338-I
Doron Zeilberger and David M. Bressoud, A proof of Andrews’ $q$-Dyson conjecture, Discrete Math. 54 (1985), no. 2, 201–224. MR 791661, DOI 10.1016/0012-365X(85)90081-0