We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Symbolic Computation

Title: A Unified Approach to Unimodality of Gaussian Polynomials

Abstract: In 2013, Pak and Panova proved the strict unimodality property of $q$-binomial coefficients $\binom{\ell+m}{m}_q$ (as polynomials in $q$) based on the combinatorics of Young tableaux and the semigroup property of Kronecker coefficients. They showed it to be true for all $\ell,m\geq 8$ and a few other cases. We propose a different approach to this problem based on computer algebra, where we establish a closed form for the coefficients of these polynomials and then use cylindrical algebraic decomposition to identify exactly the range of coefficients where strict unimodality holds. This strategy allows us to tackle generalizations of the problem, e.g., to show unimodality with larger gaps or unimodality of related sequences. In particular, we present proofs of two additional cases of a conjecture by Stanley and Zanello.
Comments: Supplementary material at this https URL
Subjects: Symbolic Computation (cs.SC); Combinatorics (math.CO)
Cite as: arXiv:2302.04067 [cs.SC]
  (or arXiv:2302.04067v1 [cs.SC] for this version)

Submission history

From: Elaine Wong [view email]
[v1] Wed, 8 Feb 2023 14:08:56 GMT (26kb,D)

Link back to: arXiv, form interface, contact.