Family D conjecture for D1,2r(2n)D_{-1,2r}(2n)

Let μ\mu be an indeterminate, let n1n\geqslant1 and r0r\geqslant0 be integers, and define the rising factorial (a)k=a(a+1)(a+k1)(a)_k=a(a+1)\cdots(a+k-1). Let D1,2r(2n)D_{-1,2r}(2n) be the determinant associated with Family D. Family D conjecture.

D1,2r(2n)=i=0n1R1,2r(i),D_{-1,2r}(2n)=\prod_{i=0}^{n-1}R_{-1,2r}(i),

where R1,2r(n)R_{-1,2r}(n) is the piecewise expression given in the source for n>rn>r, n=rn=r, and n<rn<r. Equivalently, R1,2r(n)=D1,2r(2n+2)/D1,2r(2n)R_{-1,2r}(n)=D_{-1,2r}(2n+2)/D_{-1,2r}(2n). Families C and D are the cases for which the authors state that they have not found a proof, because their tiling regions do not reduce to a single triangular hole.

Sources & referencesView supporting material

Primary source

Christoph Koutschan and Thotsaporn Thanatipanonda, “A Curious Family of Binomial Determinants That Count Rhombus Tilings of a Holey Hexagon”, arXiv:1709.02616 (2018).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.