What are Wilf-Zeilberger pairs?


Alexander Kemarski will give a talk about Wilf-Zeilberger pairs.

Given an infinite hypergeometric series it is possible to decide algorithmically whether there is a nice result for the sum of the series and if not, prove that there is no simple formula for the sum of the series.  In the talk I will describe basic definitions and some theorems in this topic, the proofs can be found in https://www.springer.com/la/book/9781447164630.

For example,  the sum of binomial coefficients C(n,k) over k has a nice expression 2**n, the sum of binomial coefficients C(n,k)**2 has a nice expression C(2n,n), but it can be proven that there is no closed expression for the sum of binomial coefficients C(n,k)**3.

Remark: the class of hypergeometric functions is very big and includes all familiar functions from the calculus courses. For example, K-finite matrix coefficients of representations of Lie groups are hypergeometric functions https://rd.springer.com/article/10.1007/s10688-007-0027-6.

This lecture is part of the  "What is..?" seminar.