Two injective proofs of a conjecture of Simion
Abstract
Description
Simion conjectured the unimodality of a sequence counting lattice paths in a grid with a Ferrers diagram removed from the northwest corner. Recently, Hildebrand and then Wang proved the stronger result that this sequence is actually log concave. Both proofs were mainly algebraic in nature. We give two combinatorial proofs of this theorem.
6 pages, 3 figures, Latex, see related papers at http://www.math.msu.edu/~sagan
6 pages, 3 figures, Latex, see related papers at http://www.math.msu.edu/~sagan