Sparse difference resultant
Wei Li, Chun-Ming Yuan, Xiao-Shan Gao · 2013
In this paper, the concept of sparse difference resultant for a Laurent transformally essential system of Laurent difference polynomials is introduced and its properties are proved. In particular, order and degree bounds for the sparse difference resultant are given. Based on these bounds, an algorithm to compute the sparse difference resultant is proposed, which is single exponential in terms of the number of variables, the Jacobi number, and the size of the system. Also, the precise order, degree, a determinant representation, and a Poisson-type product formula for the difference resultant are given.