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

About 9 years old · traced to

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

D−1,2r(2n)=∏i=0n−1R−1,2r(i),D_{-1,2r}(2n)=\prod_{i=0}^{n-1}R_{-1,2r}(i),

where R−1,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, R−1,2r(n)=D−1,2r(2n+2)/D−1,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.

References

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.