Mihai Ciucu and Christian Krattenthaler

A nonautomatic (!) application of Gosper's algorithm evaluates a determinant from tiling enumeration

(13 pages)

Abstract. We evaluate the determinant \det_{1\leq i,j\leq n}(\binom{x+y+j}{x-i+2j}-\binom{x+y+j}{x+i+2j}), which gives the number of lozenge tilings of a hexagon with cut off corners. A particularly interesting feature of this evaluation is that it requires the proof of a certain hypergeometric identity which we accomplish by using Gosper's algorithm in a nonautomatic fashion.

The following versions are available:

Back to Christian Krattenthaler's home page.