Gamma-product evaluations for the E-determinant family

At least 1 year old · documented by

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)Γ(4i−3)Γ(4i−2)2Γ(3i−2)2Γ(3i−1),μm(x):={2,3∣(x−m),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 n≥xn\geq x, the three displayed formulas in the source hold:

E0,x,−x,−3x(n)=2μ1(x)Ξ(x)(−1)⌊x/3⌋∏i=1n2i−1Γ(4i−3)Γ((i+1)/3)Γ(3i−2)Γ((4i−2)/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,1−x,1−3x(n)=2μ2(x)Ξ(x)(−1)⌊(x+2)/3⌋∏i=1n2i−2Γ(4i−1)Γ(i/3)3Γ(3i−1)Γ(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,2−x,2−3x(n)=μ0(x)nΞ(x)(−1)⌊(x+1)/3⌋∏i=2n2i−3Γ(4i+1)Γ((i−1)/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.

References

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.