Seminar Details
Accelerating Hypergeometric Indefinite Summation
- Start Date: October 28, 2021
- Event Start Time: 5:00 PM
- Event End Time: 6:00 PM
- Seminar Series: Experimental Math Seminar
- Presenter(s): Eugene Zima - Wilfrid Laurier University
- Event Location: Online Event
- Event Additional Info: <p>Presented Via Zoom: <a href="https://rutgers.zoom.us/j/94346444480">https://rutgers.zoom.us/j/94346444480</a></p> <p>Password: 6564120420</p> <p>For further information see: <a href="https://sites.math.rutgers.edu/~zeilberg/expmath/">https://sites.math.rutgers.edu/~zeilberg/expmath/</a></p>
- Presentation Type: Stand Alone Presentation
- Abstract:
One well-known longstanding problem with Gosper’s algorithm is that its running time depends at least linearly on the dispersion of the rational certificate of the summand, and this last can be exponentially large in the bit size of the summand. This makes summation problems for hypergeometric terms with large dispersion values effectively intractable. We show that for summable terms this dependency is not essential (can be removed). The structure of polynomial solutions to the Gospe key equation is analyzed. A method for rapid extractionsof simple high-degree factors of the solution is given. Resulting modified Gosper's algorithm is presented. This result is based on very simple and well-known facts, properties, and lazy evaluation rules of factorial polynomials. Experimental Maple implementation confirms practical acceleration in computing of indefinite sums and rational normal forms of hypergeometric terms.
Link to video: https://vimeo.com/642181749