Generalized Pfaffian product formulas for Motzkin triangle entries

About 14 years old · traced to

Let nn and kk be positive integers. Define the Motzkin-triangle entries by

Mi(k)=( ⁣i−1k−1 ⁣)2F1 ⁣(k−i2,k−i+12k+1;4).\mathcal{M}^{(k)}_{i}=\left(\!\genfrac{}{}{0pt}{}{i-1}{k-1}\!\right){}_2F_1\!\left(\genfrac{}{}{0pt}{}{\frac{k-i}{2},\frac{k-i+1}{2}}{k+1};4\right).

For a 2n×2n2n\times 2n skew-symmetric matrix, let Pf⁡\operatorname{Pf} denote its Pfaffian. Generalized Motzkin Pfaffian conjecture. The Pfaffian

Pf⁡ ⁣((j−i)Mi+j−2(k))1⩽i,j⩽2n\operatorname{Pf}\!\left((j-i)\mathcal{M}^{(k)}_{i+j-2}\right)_{1\leqslant i,j\leqslant 2n}

equals

∏i=0m−1∏j=0k−1(4ki+2j+k)\prod_{i=0}^{m-1}\prod_{j=0}^{k-1}(4ki+2j+k)

if m=n/km=n/k is an integer, and equals

(∏j=1⌊k/2⌋12j−k)(∏i=0m−1∏j=1k(4ki+2j−k))\left(\prod_{j=1}^{\lfloor k/2\rfloor}\frac{1}{2j-k}\right)\left(\prod_{i=0}^{m-1}\prod_{j=1}^{k}(4ki+2j-k)\right)

if kk is odd and m=(n+⌊k/2⌋)/km=(n+\lfloor k/2\rfloor)/k is an integer; it is zero in all other cases. Meanwhile,

Pf⁡ ⁣((j−i)(Mi+j−2(k)+Mi+j−1(k)))1⩽i,j⩽2n\operatorname{Pf}\!\left((j-i)\left(\mathcal{M}^{(k)}_{i+j-2}+\mathcal{M}^{(k)}_{i+j-1}\right)\right)_{1\leqslant i,j\leqslant 2n}

equals

∏i=0m−1∏j=0k−1(4ki+2j+k+1)\prod_{i=0}^{m-1}\prod_{j=0}^{k-1}(4ki+2j+k+1)

if m=n/km=n/k is an integer, and equals

(∏j=1k/212j−k−1)(∏i=0m−1∏j=1k(4ki+2j−k−1))\left(\prod_{j=1}^{k/2}\frac{1}{2j-k-1}\right)\left(\prod_{i=0}^{m-1}\prod_{j=1}^{k}(4ki+2j-k-1)\right)

if kk is even and m=(n+k/2)/km=(n+k/2)/k is an integer; it is zero in all other cases. The formulas generalize the preceding Pfaffian evaluation for the Motzkin numbers and would provide product evaluations for broad families of Pfaffians built from Motzkin-triangle entries. The source does not provide evidence resolving this proposed generalization.

References

Primary source

Masao Ishikawa and Christoph Koutschan, “Zeilberger's Holonomic Ansatz for Pfaffians”, arXiv:1201.5253 (2012).

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.