A proof of Andrews' -Dyson conjecture for

Author:
Kevin W. J. Kadell

Journal:
Trans. Amer. Math. Soc. **290** (1985), 127-144

MSC:
Primary 33A15; Secondary 05A30

MathSciNet review:
787958

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Andrews' -Dyson conjecture is that the constant term in a polynomial associated with the root system is equal to the -multinomial coefficient. Good used an identity to establish the case , which was originally raised by Dyson. Andrews established his conjecture for and Macdonald proved it when or for all . We use a -analog of Good's identity which involves a remainder term and linear algebra to establish the conjecture for . The remainder term arises because of an essential problem with the -Dyson conjecture: the symmetry of the constant term. We give a number of conjectures related to the symmetry.

**[1]**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) Academic Press, New York, 1975, pp. 191–224. Math. Res. Center, Univ. Wisconsin, Publ. No. 35. MR**0399528****[2]**George E. Andrews,*The theory of partitions*, Addison-Wesley Publishing Co., Reading, Mass.-London-Amsterdam, 1976. Encyclopedia of Mathematics and its Applications, Vol. 2. MR**0557013****[3]**George E. Andrews,*Notes on the Dyson conjecture*, SIAM J. Math. Anal.**11**(1980), no. 5, 787–792. MR**586907**, 10.1137/0511070**[4]**Richard Askey,*Some basic hypergeometric extensions of integrals of Selberg and Andrews*, SIAM J. Math. Anal.**11**(1980), no. 6, 938–951. MR**595822**, 10.1137/0511084**[5]**Richard Askey,*A 𝑞-beta integral associated with 𝐵𝐶₁*, SIAM J. Math. Anal.**13**(1982), no. 6, 1008–1010. MR**674769**, 10.1137/0513071**[6]**W. N. Bailey,*Generalized hypergeometric series*, Cambridge Tracts in Mathematics and Mathematical Physics, No. 32, Stechert-Hafner, Inc., New York, 1964. MR**0185155****[7]**D. E. Barton and C. L. Mallows,*Some aspects of the random sequence*, Ann. Math. Statist.**36**(1965), 236–260. MR**0178488****[8]**L. Biedenharn, W. Holman III, and S. Milne,*The invariant polynomials characterizing 𝑈(𝑛) tensor operators ⟨𝑝,𝑞,\cdots,𝑞,0,\cdots,0⟩ having maximal null space*, Adv. in Appl. Math.**1**(1980), no. 4, 390–472. MR**603138**, 10.1016/0196-8858(80)90019-6**[9]**L. Carlitz,*Some formulas of F. H. Jackson*, Monatsh. Math.**73**(1969), 193–198. MR**0248035****[10]**Roger W. Carter,*Simple groups of Lie type*, John Wiley & Sons, London-New York-Sydney, 1972. Pure and Applied Mathematics, Vol. 28. MR**0407163****[11]**A. L. Cauchy,*Ouevres completes d'Augustin Cauchy*, 1re Sér., Tome VIII, Gauthier-Villars, Paris, 1893.**[12]**A. C. Dixon,*Summation of a certain series*, Proc. London Math. Soc. (1)**35**(1903), 285-289.**[13]**Freeman J. Dyson,*Statistical theory of the energy levels of complex systems. I*, J. Mathematical Phys.**3**(1962), 140–156. MR**0143556****[14]**Ronald J. Evans,*Character sum analogues of constant term identities for root systems*, Israel J. Math.**46**(1983), no. 3, 189–196. MR**733348**, 10.1007/BF02761951**[15]**C. F. Gauss,*Werke*, Vol. 3, Göttingen, 1866.**[16]**I. J. Good,*Proofs of some ‘binomial’ identities by means of MacMahon’s ‘Master Theorem’*, Proc. Cambridge Philos. Soc.**58**(1962), 161–162. MR**0137659****[17]**-,*Short proof of a conjecture of Dyson*, J. Math. Phys.**11**(1970), 1884.**[18]**J. Gunson,*Proof of a conjecture by Dyson in the statistical theory of energy levels*, J. Mathematical Phys.**3**(1962), 752–753. MR**0148401****[19]**R. A. Gustafson and S. C. Milne,*Schur functions, Good’s identity, and hypergeometric series well poised in 𝑆𝑈(𝑛)*, Adv. in Math.**48**(1983), no. 2, 177–188. MR**700984**, 10.1016/0001-8708(83)90088-9**[20]**W. J. Holman III, L. C. Biedenharn, and J. D. Louck,*On hypergeometric series well-poised in 𝑆𝑈(𝑛)*, SIAM J. Math. Anal.**7**(1976), no. 4, 529–541. MR**0412504****[21]**E. C. Ihrig and M. E. H. Ismail,*The cohomology of homogeneous spaces related to combinatorial identities*(to appear).**[22]**F. H. Jackson,*Certain 𝑞-identities*, Quart. J. Math., Oxford Ser.**12**(1941), 167–172. MR**0005963****[23]**C. G. J. Jacobi,*Gesammelte Werke*, Vol. 1, Reimer, Berlin, 1881 (reprinted by Chelsea, New York, 1969).**[24]**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**, 10.1016/0097-3165(85)90044-5**[25]**-,*Andrews'*-*Dyson conjecture*II:*Symmetry*, Pacific J. Math. (to appear).**[26]**-,*A proof of some*-*analogs of Selberg's integral for*, preprint.**[27]**J. Lepowsky,*Macdonald-type identities*, Advances in Math.**27**(1978), no. 3, 230–234. MR**0554353****[28]**J. Lepowsky and S. Milne,*Lie algebraic approaches to classical partition identities*, Adv. in Math.**29**(1978), no. 1, 15–59. MR**501091**, 10.1016/0001-8708(78)90004-X**[29]**James D. Louck and L. C. Biedenharn,*Canonical unit adjoint tensor operators in 𝑈(𝑛)*, J. Mathematical Phys.**11**(1970), 2368–2414. MR**0297237****[30]**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**0342061****[31]**I. G. Macdonald,*Spherical functions on a 𝔭-adic Chevalley group*, Bull. Amer. Math. Soc.**74**(1968), 520–525. MR**0222089**, 10.1090/S0002-9904-1968-11989-5**[32]**I. G. Macdonald,*Affine root systems and Dedekind’s 𝜂-function*, Invent. Math.**15**(1972), 91–143. MR**0357528****[33]**I. G. Macdonald,*Some conjectures for root systems*, SIAM J. Math. Anal.**13**(1982), no. 6, 988–1007. MR**674768**, 10.1137/0513070**[34]**Percy A. MacMahon,*Combinatory analysis*, Two volumes (bound as one), Chelsea Publishing Co., New York, 1960. MR**0141605****[35]**Stephen C. Milne,*Hypergeometric series well-poised in 𝑆𝑈(𝑛) and a generalization of Biedenharn’s 𝐺-functions*, Adv. in Math.**36**(1980), no. 2, 169–211. MR**574647**, 10.1016/0001-8708(80)90015-8**[36]**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.**[37]**Robert A. Proctor,*Solution of two difficult combinatorial problems with linear algebra*, Amer. Math. Monthly**89**(1982), no. 10, 721–734. MR**683197**, 10.2307/2975833**[38]**Atle Selberg,*Remarks on a multiple integral*, Norsk Mat. Tidsskr.**26**(1944), 71–78 (Norwegian). MR**0018287****[39]**Kenneth G. Wilson,*Proof of a conjecture by Dyson*, J. Mathematical Phys.**3**(1962), 1040–1043. MR**0144627****[40]**Doron Zeilberger,*The algebra of linear partial difference operators and its applications*, SIAM J. Math. Anal.**11**(1980), no. 6, 919–932. MR**595820**, 10.1137/0511082

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
33A15,
05A30

Retrieve articles in all journals with MSC: 33A15, 05A30

Additional Information

DOI:
http://dx.doi.org/10.1090/S0002-9947-1985-0787958-2

Article copyright:
© Copyright 1985
American Mathematical Society