A Unified Approach to Unimodality of Gaussian Polynomials

Elaine Wong; Ali Kemal Uncu; Christoph Koutschan

doi:10.1145/3597066.3597113

A Unified Approach to Unimodality of Gaussian Polynomials

Elaine Wong, Ali Kemal Uncu, Christoph Koutschan

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Abstract

In 2013, Pak and Panova proved the strict unimodality property of q-binomial coefficients (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 ĝ.,", m ≥ 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.

Original language	English
Title of host publication	ISSAC 2023 - Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation
Editors	Gabriela Jeronimo
Place of Publication	U. S. A.
Publisher	Association for Computing Machinery
Pages	434-442
Number of pages	9
ISBN (Electronic)	9798400700392
DOIs	https://doi.org/10.1145/3597066.3597113
Publication status	Published - 27 Jul 2023
Event	48th International Symposium on Symbolic and Algebraic Computation, ISSAC 2023 - Tromso, Norway Duration: 24 Jul 2023 → 27 Jul 2023

Publication series

Name	ACM International Conference Proceeding Series

Conference

Conference	48th International Symposium on Symbolic and Algebraic Computation, ISSAC 2023
Country/Territory	Norway
City	Tromso
Period	24/07/23 → 27/07/23

Bibliographical note

Funding Information:
C. Koutschan was supported by the Austrian Science Fund (FWF): I6130-N. A. K. Uncu was partially supported by the EPSRC grant EP/T015713/1 and partially by the Austrian Science Fund (FWF) P34501-N. E. Wong acknowledges that this manuscript has been partially authored by UT-Battelle, LLC under Contract No. DE-AC05-00OR22725 with the U.S. Department of Energy (DOE). The publisher acknowledges the US government license to provide public access under the DOE Public Access Plan.

Funding

C. Koutschan was supported by the Austrian Science Fund (FWF): I6130-N. A. K. Uncu was partially supported by the EPSRC grant EP/T015713/1 and partially by the Austrian Science Fund (FWF) P34501-N. E. Wong acknowledges that this manuscript has been partially authored by UT-Battelle, LLC under Contract No. DE-AC05-00OR22725 with the U.S. Department of Energy (DOE). The publisher acknowledges the US government license to provide public access under the DOE Public Access Plan.

Keywords

cylindrical algebraic decomposition
Gaussian polynomial
q-binomial coefficient
unimodality

ASJC Scopus subject areas

Human-Computer Interaction
Computer Networks and Communications
Computer Vision and Pattern Recognition
Software

Access to Document

10.1145/3597066.3597113

Cite this

A Unified Approach to Unimodality of Gaussian Polynomials. / Wong, Elaine; Uncu, Ali Kemal; Koutschan, Christoph.
ISSAC 2023 - Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation. ed. / Gabriela Jeronimo. U. S. A.: Association for Computing Machinery, 2023. p. 434-442 (ACM International Conference Proceeding Series).

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Wong, E, Uncu, AK & Koutschan, C 2023, A Unified Approach to Unimodality of Gaussian Polynomials. in G Jeronimo (ed.), ISSAC 2023 - Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation. ACM International Conference Proceeding Series, Association for Computing Machinery, U. S. A., pp. 434-442, 48th International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromso, Norway, 24/07/23. https://doi.org/10.1145/3597066.3597113

@inproceedings{301255209a6b4234ac4635f8cae404a7,

title = "A Unified Approach to Unimodality of Gaussian Polynomials",

abstract = "In 2013, Pak and Panova proved the strict unimodality property of q-binomial coefficients (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 ĝ.,{"}, m ≥ 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.",

keywords = "cylindrical algebraic decomposition, Gaussian polynomial, q-binomial coefficient, unimodality",

author = "Elaine Wong and Uncu, {Ali Kemal} and Christoph Koutschan",

note = "Funding Information: C. Koutschan was supported by the Austrian Science Fund (FWF): I6130-N. A. K. Uncu was partially supported by the EPSRC grant EP/T015713/1 and partially by the Austrian Science Fund (FWF) P34501-N. E. Wong acknowledges that this manuscript has been partially authored by UT-Battelle, LLC under Contract No. DE-AC05-00OR22725 with the U.S. Department of Energy (DOE). The publisher acknowledges the US government license to provide public access under the DOE Public Access Plan. ; 48th International Symposium on Symbolic and Algebraic Computation, ISSAC 2023 ; Conference date: 24-07-2023 Through 27-07-2023",

year = "2023",

month = jul,

day = "27",

doi = "10.1145/3597066.3597113",

language = "English",

series = "ACM International Conference Proceeding Series",

publisher = "Association for Computing Machinery",

pages = "434--442",

editor = "Gabriela Jeronimo",

booktitle = "ISSAC 2023 - Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation",

address = "USA United States",

}

TY - GEN

T1 - A Unified Approach to Unimodality of Gaussian Polynomials

AU - Wong, Elaine

AU - Uncu, Ali Kemal

AU - Koutschan, Christoph

N1 - Funding Information: C. Koutschan was supported by the Austrian Science Fund (FWF): I6130-N. A. K. Uncu was partially supported by the EPSRC grant EP/T015713/1 and partially by the Austrian Science Fund (FWF) P34501-N. E. Wong acknowledges that this manuscript has been partially authored by UT-Battelle, LLC under Contract No. DE-AC05-00OR22725 with the U.S. Department of Energy (DOE). The publisher acknowledges the US government license to provide public access under the DOE Public Access Plan.

PY - 2023/7/27

Y1 - 2023/7/27

N2 - In 2013, Pak and Panova proved the strict unimodality property of q-binomial coefficients (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 ĝ.,", m ≥ 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.

AB - In 2013, Pak and Panova proved the strict unimodality property of q-binomial coefficients (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 ĝ.,", m ≥ 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.

KW - cylindrical algebraic decomposition

KW - Gaussian polynomial

KW - q-binomial coefficient

KW - unimodality

UR - http://www.scopus.com/inward/record.url?scp=85167831038&partnerID=8YFLogxK

U2 - 10.1145/3597066.3597113

DO - 10.1145/3597066.3597113

M3 - Chapter in a published conference proceeding

AN - SCOPUS:85167831038

T3 - ACM International Conference Proceeding Series

SP - 434

EP - 442

BT - ISSAC 2023 - Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation

A2 - Jeronimo, Gabriela

PB - Association for Computing Machinery

CY - U. S. A.

T2 - 48th International Symposium on Symbolic and Algebraic Computation, ISSAC 2023

Y2 - 24 July 2023 through 27 July 2023

ER -

A Unified Approach to Unimodality of Gaussian Polynomials

Abstract

Publication series

Conference

Bibliographical note

Funding

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition

Cite this

A Unified Approach to Unimodality of Gaussian Polynomials

Abstract

Publication series

Conference

Bibliographical note

Funding

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Projects

Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition

Cite this