On the Existence of Telescopers for Rational Functions in Three Variables

01/27/2019
by   Shaoshi Chen, et al.
0

Zeilberger's method of creative telescoping is crucial for the computer-generated proofs of combinatorial and special-function identities. Telescopers are linear differential or (q-)recurrence operators computed by algorithms for creative telescoping. For a given class of inputs, when telescopers exist and how to construct telescopers efficiently if they exist are two fundamental problems related to creative telescoping. In this paper, we solve the existence problem of telescopers for rational functions in three variables including 18 cases. We reduce the existence problem from the trivariate case to the bivariate case and some related problems. The existence criteria given in this paper enable us to determine the termination of algorithms for creative telescoping with trivariate rational inputs.

READ FULL TEXT
research
01/27/2019

Existence Problem of Telescopers for Rational Functions in Three Variables: the Mixed Cases

We present criteria on the existence of telescopers for trivariate ratio...
research
01/12/2016

Existence Problem of Telescopers: Beyond the Bivariate Case

In this paper, we solve the existence problem of telescopers for rationa...
research
02/20/2020

On the Uniqueness of Simultaneous Rational Function Reconstruction

This paper focuses on the problem of reconstructing a vector of rational...
research
04/25/2019

Constructing minimal telescopers for rational functions in three discrete variables

We present a new algorithm for constructing minimal telescopers for rati...
research
03/29/2023

On real and observable realizations of input-output equations

Given a single algebraic input-output equation, we present a method for ...
research
03/16/2017

Ultimate Positivity of Diagonals of Quasi-rational Functions

The problem to decide whether a given multivariate (quasi-)rational func...
research
12/26/2000

The Tale of One-way Functions

The existence of one-way functions is arguably the most important proble...

Please sign up or login with your details

Forgot password? Click here to reset