Gamma-product evaluations for the E-determinant family

Let Ea,b,c,d(n)E_{a,b,c,d}(n) denote the determinant family used in the source, and define

Ξ(x):=i=2x3Γ(i)Γ(4i3)Γ(4i2)2Γ(3i2)2Γ(3i1),μm(x):={2,3(xm),1,otherwise.\Xi(x):=\prod_{i=2}^x\frac{3\Gamma(i)\Gamma(4i-3)\Gamma(4i-2)}{2\Gamma(3i-2)^2\Gamma(3i-1)},\qquad \mu_m(x):=\begin{cases}2,&3\mid(x-m),\\1,&\text{otherwise}.\end{cases}

Gamma-product conjecture for the E-determinants. For all non-negative integers xx and all nxn\geq x, the three displayed formulas in the source hold:

E0,x,x,3x(n)=2μ1(x)Ξ(x)(1)x/3i=1n2i1Γ(4i3)Γ((i+1)/3)Γ(3i2)Γ((4i2)/3),E_{0,x,-x,-3x}(n)=2\mu_1(x)\Xi(x)(-1)^{\lfloor x/3\rfloor}\prod_{i=1}^n\frac{2^{i-1}\Gamma(4i-3)\Gamma((i+1)/3)}{\Gamma(3i-2)\Gamma((4i-2)/3)}, E1,x,1x,13x(n)=2μ2(x)Ξ(x)(1)(x+2)/3i=1n2i2Γ(4i1)Γ(i/3)3Γ(3i1)Γ(4i/3),E_{1,x,1-x,1-3x}(n)=2\mu_2(x)\Xi(x)(-1)^{\lfloor(x+2)/3\rfloor}\prod_{i=1}^n\frac{2^{i-2}\Gamma(4i-1)\Gamma(i/3)}{3\Gamma(3i-1)\Gamma(4i/3)}, E2,x,2x,23x(n)=μ0(x)nΞ(x)(1)(x+1)/3i=2n2i3Γ(4i+1)Γ((i1)/3)9Γ(3i)Γ((4i+2)/3).E_{2,x,2-x,2-3x}(n)=\frac{\mu_0(x)}{n}\Xi(x)(-1)^{\lfloor(x+1)/3\rfloor}\prod_{i=2}^n\frac{2^{i-3}\Gamma(4i+1)\Gamma((i-1)/3)}{9\Gamma(3i)\Gamma((4i+2)/3)}.

These are closed-form determinant evaluations in a broader family of identities. The supplied material gives no proof or status evidence for this conjectural span.

Sources & referencesView supporting material

Primary source

Christoph Koutschan, Christian Krattenthaler and Michael Schlosser, “Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations”, arXiv:2401.08481 (2024).

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.