A proof of Andrews’ $q$-Dyson conjecture for $n=4$
HTML articles powered by AMS MathViewer
- by Kevin W. J. Kadell PDF
- Trans. Amer. Math. Soc. 290 (1985), 127-144 Request permission
Abstract:
Andrews’ $q$-Dyson conjecture is that the constant term in a polynomial associated with the root system ${A_{n - 1}}$ is equal to the $q$-multinomial coefficient. Good used an identity to establish the case $q = 1$, which was originally raised by Dyson. Andrews established his conjecture for $n \leqslant 3$ and Macdonald proved it when ${a_1} = {a_2} = \cdots = {a_n} = 1,2$ or $\infty$ for all $n \geqslant 2$. We use a $q$-analog of Good’s identity which involves a remainder term and linear algebra to establish the conjecture for $n = 4$. The remainder term arises because of an essential problem with the $q$-Dyson conjecture: the symmetry of the constant term. We give a number of conjectures related to the symmetry.References
- 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
- 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, Notes on the Dyson conjecture, SIAM J. Math. Anal. 11 (1980), no. 5, 787–792. MR 586907, DOI 10.1137/0511070
- Richard Askey, Some basic hypergeometric extensions of integrals of Selberg and Andrews, SIAM J. Math. Anal. 11 (1980), no. 6, 938–951. MR 595822, DOI 10.1137/0511084
- I. G. Macdonald, Some conjectures for root systems, SIAM J. Math. Anal. 13 (1982), no. 6, 988–1007. MR 674768, DOI 10.1137/0513070
- W. N. Bailey, Generalized hypergeometric series, Cambridge Tracts in Mathematics and Mathematical Physics, No. 32, Stechert-Hafner, Inc., New York, 1964. MR 0185155
- D. E. Barton and C. L. Mallows, Some aspects of the random sequence, Ann. Math. Statist. 36 (1965), 236–260. MR 178488, DOI 10.1214/aoms/1177700286
- L. Biedenharn, W. Holman III, and S. Milne, The invariant polynomials characterizing $\textrm {U}(n)$ tensor operators $\langle p,\,q,\cdots ,q,\,0,\cdots ,0\rangle$ having maximal null space, Adv. in Appl. Math. 1 (1980), no. 4, 390–472. MR 603138, DOI 10.1016/0196-8858(80)90019-6
- L. Carlitz, Some formulas of F. H. Jackson, Monatsh. Math. 73 (1969), 193–198. MR 248035, DOI 10.1007/BF01300534
- Roger W. Carter, Simple groups of Lie type, Pure and Applied Mathematics, Vol. 28, John Wiley & Sons, London-New York-Sydney, 1972. MR 0407163 A. L. Cauchy, Ouevres completes d’Augustin Cauchy, 1re Sér., Tome VIII, Gauthier-Villars, Paris, 1893. A. C. Dixon, Summation of a certain series, Proc. London Math. Soc. (1) 35 (1903), 285-289.
- 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
- Ronald J. Evans, Character sum analogues of constant term identities for root systems, Israel J. Math. 46 (1983), no. 3, 189–196. MR 733348, DOI 10.1007/BF02761951 C. F. Gauss, Werke, Vol. 3, Göttingen, 1866.
- I. J. Good, A short proof of MacMahon’s ‘Master Theorem’, Proc. Cambridge Philos. Soc. 58 (1962), 160. MR 137658, DOI 10.1017/s0305004100036318 —, Short proof of a conjecture of Dyson, J. Math. Phys. 11 (1970), 1884.
- J. Gunson, Proof of a conjecture by Dyson in the statistical theory of energy levels, J. Mathematical Phys. 3 (1962), 752–753. MR 148401, DOI 10.1063/1.1724277
- R. A. Gustafson and S. C. Milne, Schur functions, Good’s identity, and hypergeometric series well poised in $\textrm {SU}(n)$, Adv. in Math. 48 (1983), no. 2, 177–188. MR 700984, DOI 10.1016/0001-8708(83)90088-9
- W. J. Holman III, L. C. Biedenharn, and J. D. Louck, On hypergeometric series well-poised in $\textrm {SU}(n)$, SIAM J. Math. Anal. 7 (1976), no. 4, 529–541. MR 412504, DOI 10.1137/0507043 E. C. Ihrig and M. E. H. Ismail, The cohomology of homogeneous spaces related to combinatorial identities (to appear).
- F. H. Jackson, Certain $q$-identities, Quart. J. Math. Oxford Ser. 12 (1941), 167–172. MR 5963, DOI 10.1093/qmath/os-12.1.167 C. G. J. Jacobi, Gesammelte Werke, Vol. 1, Reimer, Berlin, 1881 (reprinted by Chelsea, New York, 1969).
- Kevin W. J. Kadell, Weighted inversion numbers, restricted growth functions, and standard Young tableaux, J. Combin. Theory Ser. A 40 (1985), no. 1, 22–44. MR 804866, DOI 10.1016/0097-3165(85)90044-5 —, Andrews’ $q$-Dyson conjecture II: Symmetry, Pacific J. Math. (to appear). —, A proof of some $q$-analogs of Selberg’s integral for $k = 1$, preprint.
- J. Lepowsky, Macdonald-type identities, Advances in Math. 27 (1978), no. 3, 230–234. MR 554353, DOI 10.1016/0001-8708(78)90099-3
- J. Lepowsky and S. Milne, Lie algebraic approaches to classical partition identities, Adv. in Math. 29 (1978), no. 1, 15–59. MR 501091, DOI 10.1016/0001-8708(78)90004-X
- James D. Louck and L. C. Biedenharn, Canonical unit adjoint tensor operators in $U(n)$, J. Mathematical Phys. 11 (1970), 2368–2414. MR 297237, DOI 10.1063/1.1665404
- J. D. Louck and L. C. Biedenharn, On the structure of the canonical tensor operators in the unitary groups. III. Further developments of the boson polynomials and their implications, J. Mathematical Phys. 14 (1973), 1336–1357. MR 342061, DOI 10.1063/1.1666186
- I. G. Macdonald, Spherical functions on a ${\mathfrak {p}}$-adic Chevalley group, Bull. Amer. Math. Soc. 74 (1968), 520–525. MR 222089, DOI 10.1090/S0002-9904-1968-11989-5
- I. G. Macdonald, Affine root systems and Dedekind’s $\eta$-function, Invent. Math. 15 (1972), 91–143. MR 357528, DOI 10.1007/BF01418931
- I. G. Macdonald, Some conjectures for root systems, SIAM J. Math. Anal. 13 (1982), no. 6, 988–1007. MR 674768, DOI 10.1137/0513070
- Percy A. MacMahon, Combinatory analysis, Chelsea Publishing Co., New York, 1960. Two volumes (bound as one). MR 0141605
- Stephen C. Milne, Hypergeometric series well-poised in $\textrm {SU}(n)$ and a generalization of Biedenharn’s $G$-functions, Adv. in Math. 36 (1980), no. 2, 169–211. MR 574647, DOI 10.1016/0001-8708(80)90015-8 W. G. Morris, II, Constant term identities for finite and affine root systems: conjectures and theorems, Ph.D. Dissertation, University of Wisconsin-Madison, January 1982.
- Robert A. Proctor, Solution of two difficult combinatorial problems with linear algebra, Amer. Math. Monthly 89 (1982), no. 10, 721–734. MR 683197, DOI 10.2307/2975833
- Atle Selberg, Remarks on a multiple integral, Norsk Mat. Tidsskr. 26 (1944), 71–78 (Norwegian). MR 18287
- 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, The algebra of linear partial difference operators and its applications, SIAM J. Math. Anal. 11 (1980), no. 6, 919–932. MR 595820, DOI 10.1137/0511082
Additional Information
- © Copyright 1985 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 290 (1985), 127-144
- MSC: Primary 33A15; Secondary 05A30
- DOI: https://doi.org/10.1090/S0002-9947-1985-0787958-2
- MathSciNet review: 787958