Binomial Determinants for Tiling Problems
Yield to the Holonomic Ansatz
Project maintained by wongey
Hosted on GitHub Pages — Theme by mattgraham
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.
Authors
- Hao Du, Beijing University of Posts and Telecommunications
- Contact: duhao@amss.ac.cn
- Previous Affiliation: Johannes Kepler University, Linz, Austria
- Christoph Koutschan, Austrian Academy of Sciences, RICAM
- Thotsaporn Thanatipanonda, Mahidol University International College, Thailand
- Elaine Wong, Oak Ridge National Laboratory, USA
- Contact (Corresponding Author): woney@ornl.gov
- Previous Affiliation: Austrian Academy of Sciences, RICAM
Paper
Files
- The following files contain a compilation of experiments that check identities in the statements of key lemmas, propositions, theorems and corollaries in our paper by instantiating for small values of r and m. The results of our experiments are compiled here as both a Mathematica notebook (with a pdf version for those without a Mathematica installation) and a Maple script.
- The following Mathematica notebooks require the Mathematica package HolonomicFunctions.
Past and Upcoming Talks
All times are CEST.
- October 21, 2021 at 19:00, Online
- September 27, 2021 at 17:30, Online, In German
- August 16, 2021 at 21:10, Online
- August 10, 2021 at 10:30, In Person
- July 29, 2021 at 16:00, Online
- July 24, 2021 at 17:30, Online
- July 2, 2021 at 10:30, Online
- June 17, 2021 at 13:45, Online