论文信息 - Kathy O'Hara's constructive proof of the unimodality of the Gaussian polynomials

Kathy O'Hara's constructive proof of the unimodality of the Gaussian polynomials

The best way to learn a topic is by teaching it. Similarly, the best way to understand a new proof is by writing an expository paper about it. This was the original motivation of the present paper. Once written, I thought that it would be nice if all the readers of this Monthly had the opportunity to savor this elegant proof. All the central ideas and constructions are O’Hara’s, but I have made a few minor improvements and shortcuts that I believe to make the argument clearer. I would like to thank Kathy O’Hara for stimulating conversations and correspondence.

Doron Zeilberger | D. Zeilberger

[1] D. White,et al. Constructive combinatorics , 1986 .

[2] G. Pólya,et al. Problems and theorems in analysis , 1983 .

[3] Emil Grosswald,et al. The Theory of Partitions , 1984 .

[4] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.

[6] Robert A. Proctor,et al. Solution of Two Difficult Combinatorial Problems with Linear Algebra , 1982 .

[7] Nicholas Pippenger,et al. A New Lower Bound for the Number of Switches in Rearrangeable Networks , 1980, SIAM J. Algebraic Discret. Methods.

[8] Richard P. Stanley,et al. Weyl Groups, the Hard Lefschetz Theorem, and the Sperner Property , 1980, SIAM J. Algebraic Discret. Methods.

[9] D. Kleitman,et al. Proof techniques in the theory of finite sets , 1978 .

[10] de Ng Dick Bruijn,et al. On the set of divisors of a number , 1951 .

[11] Dennis E. White. Monotonicity and unimodality of the pattern inventory , 1980 .

[12] Dennis Stanton,et al. Unimodality and Young's lattice , 1990, J. Comb. Theory, Ser. A.

[13] Douglas B. West,et al. A Symmetric Chain Decomposition of L(4, n) , 1979, Eur. J. Comb..

[14] Kathleen M. O'Hara,et al. Unimodality of gaussian coefficients: A constructive proof , 1990, J. Comb. Theory, Ser. A.