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

About 8 years old · traced to

Let Bn,k:=kn(2nn−k)B_{n,k}:=\frac{k}{n}{2n\choose n-k} for n⩾k⩾0n\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)[1−n+2mr(n+mn)−1(n+rn)−1∑k=0r−1(s+ks)(n+kn−1)]\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.

References

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.