Miana–Ohtsuka–Romero's Catalan triangle cubic-sum identity

Let Bn,k:=kn(2nnk)B_{n,k}:=\frac{k}{n}{2n\choose n-k} for nk0n\geqslant k\geqslant 0, and let r=min{n,m}r=\min\{n,m\} and s=max{n,m}s=\max\{n,m\}. Miana–Ohtsuka–Romero's conjecture. For all positive integers mm and nn, the identity

k=0rBn,k2Bm,k=12(2nn)2(2mm)[1n+2mr(n+mn)1(n+rn)1k=0r1(s+ks)(n+kn1)]\sum_{k=0}^{r}B_{n,k}^2 B_{m,k}=\frac{1}{2}{2n\choose n}^2 {2m\choose m} \left[ 1-\frac{n+2m}{r}{n+m\choose n}^{-1}{n+r\choose n}^{-1}\sum_{k=0}^{r-1}{s+k\choose s}{n+k\choose n-1}\right]

holds. In the particular case m=nm=n, this recovers the previously established identity for k=0nBn,k3\sum_{k=0}^n B_{n,k}^3. The paper proves a stronger version, since the identity holds separately for r=m,s=nr=m,s=n and for r=n,s=mr=n,s=m.

Sources & referencesView supporting material

Primary source

Victor J. W. Guo and Xiuguo Lian, “Proofs of two conjectures on Catalan triangle numbers”, arXiv:1806.02685 (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.