TY - JOUR
T1 - Binomial determinants for tiling problems yield to the holonomic ansatz
AU - Du, Hao
AU - Koutschan, Christoph
AU - Thanatipanonda, Thotsaporn
AU - Wong, Elaine
N1 - Publisher Copyright:
© 2021 Elsevier Ltd
PY - 2022/1
Y1 - 2022/1
N2 - We present and prove closed form expressions for some families of binomial determinants with signed Kronecker deltas that are located along an arbitrary diagonal in the corresponding matrix. They count cyclically symmetric rhombus tilings of hexagonal regions with triangular holes. We extend a previous systematic study of these families, where the locations of the Kronecker deltas depended on an additional parameter, to families with negative Kronecker deltas. By adapting Zeilberger's holonomic ansatz to make it work for our problems, we can take full advantage of computer algebra tools for symbolic summation. This, together with the combinatorial interpretation, allows us to realize some new determinantal relationships. From there, we are able to resolve all remaining open conjectures related to these determinants, including one from 2005 due to Lascoux and Krattenthaler.
AB - We present and prove closed form expressions for some families of binomial determinants with signed Kronecker deltas that are located along an arbitrary diagonal in the corresponding matrix. They count cyclically symmetric rhombus tilings of hexagonal regions with triangular holes. We extend a previous systematic study of these families, where the locations of the Kronecker deltas depended on an additional parameter, to families with negative Kronecker deltas. By adapting Zeilberger's holonomic ansatz to make it work for our problems, we can take full advantage of computer algebra tools for symbolic summation. This, together with the combinatorial interpretation, allows us to realize some new determinantal relationships. From there, we are able to resolve all remaining open conjectures related to these determinants, including one from 2005 due to Lascoux and Krattenthaler.
UR - http://www.scopus.com/inward/record.url?scp=85115181033&partnerID=8YFLogxK
U2 - 10.1016/j.ejc.2021.103437
DO - 10.1016/j.ejc.2021.103437
M3 - Article
AN - SCOPUS:85115181033
SN - 0195-6698
VL - 99
JO - European Journal of Combinatorics
JF - European Journal of Combinatorics
M1 - 103437
ER -