A proof of Andrews’ 𝑞-Dyson conjecture for 𝑛=4

Kadell, Kevin W. J.

doi:10.1090/S0002-9947-1985-0787958-2

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

Ouevres completes d’Augustin Cauchy

Summation of a certain series

35

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

Werke

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

11

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

The cohomology of homogeneous spaces related to combinatorial identities

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

Gesammelte Werke

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’

Dyson conjecture

Symmetry

A proof of some

analogs of Selberg’s integral for

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

Constant term identities for finite and affine root systems

conjectures and theorems

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