With the resultant and sparse resultant theories becoming more mature, it is a natural idea to extend the algebraic results to differential and difference cases due to their broad applications. However, such results in differential and difference cases are not complete parallel with algebraic case. For the ordinary differential case, differential resultants and sparse differential resultants are studied successively (Li, 2015a; Rueda, 2010; Yang, 2011). For the ordinary difference case, Li et al. introduced the concept of sparse difference resultant for a Laurent transformally essential system consisting of n + 1 Laurent difference polynomials in n difference variables and its basic properties are proved (Li, 2015b). Based on the degree and the order bounds, they proposed a single exponential algorithm in terms of the number of variables, the Jacobi number, and the size of the Laurent transformally essential system, which is essentially to search for the sparse difference resultant with the given order and degree bound.
Sparse difference resultant arises in many areas of pure and applied mathematics and has potential applications beside the symbolic computation community. For example, the vanishing of the sparse difference resultant gives a necessary condition for the corresponding difference polynomial system to have non-zero solutions (Li, 2015b). Thus, it has great potentials to solve some important problems in difference algebra, such as elimination of difference indeterminates, solving difference equations in difference fields and so on (Cohn, 1965; Ovchinnikov, 2020; Hrushovski, 2007). Some natural phenomena in real world are described by difference equations (Gao, 2009; Ovchinnikov, 2020; Roeger, 2004; Henson, 2007; Ekhad, 2014). However, since the case of difference polynomial system is traditionally significantly harder, there are only few efficient algorithms and techniques about difference resultants so far. Up to now using mature techniques of the algebraic case to deal with differential or difference cases is an effective way (Yang, 2011; Li, 2015b). In the difference case one need to convert difference polynomials into an algebraic polynomial system, then to compute the classical sparse resultant, and finally convert the results back in the world of difference polynomials. One of the key observations of the conversion is the effective order of sparse difference resultant. Thus, the order bound of sparse difference resultant is particularly important and has a direct impact on the complexity of the associated algorithm.
In this paper, the authors show that the sparse difference resultant of a generic Laurent transformally essential system can be computed via the sparse resultant of a simple algebraic system arising from the difference system. Moreover, new order bounds of sparse difference resultant are found. Then, the authors propose an efficient algorithm to compute sparse difference resultant which is the quotient of two determinants whose elements are the coefficients of the polynomials in the algebraic system. The complexity of the algorithm is analyzed, and experimental results show the efficiency of the algorithm.
Publication:
-Journal of Symbolic Computation, 107, 279-298 (2021).
Authors:
-Chunming Yuan (Institute of Systems Science, AMSS, Chinese Academy of Sciences)
-Zhiyong Zhang (Minzu University of China)
附件下载: |
相关话题/附件
中央音乐学院2020年博士招生相关附件下载
相关附件: 博附件一:专业方向、招生导师.pdf博附件二(1):2020年作曲系博士研究生招生考试办法.pdf博附件二(2):2020年音乐学系博士研究生招生考试办法.pdf博附件二(3):2020年指挥系博士研究生申请-考核制招生考试办法.pdf博附件二(4):2020年钢琴系博士研究生申请-考核制招 ...中央音乐学院 本站小编 Free考研考试 2020-05-162020年中央音乐学院统考硕士研究生招生考试信息相关附件
相关附件: 附件一(1):统考全日制硕士生报考各专业方向导师名单.pdf附件一(2):统考非全日制硕士生报考各专业方向导师名单.pdf附件二(1):作曲系统考硕士研究生招生考试基本信息.pdf附件二(2):音乐学系统考硕士研究生招生考试基本信息.pdf附件二(3):指挥系统考硕士研究生招生考试基本信息.pdf附件二(4 ...中央音乐学院 本站小编 免费考研网 2019-10-222019年统考硕士研究生招生考试信息相关附件
详见附件。 相关附件: 附件一(1):全日制统考硕士考生报考专业方向.pdf附件一(2):非全日制统考硕士考生报考专业方向.pdf附件二(1):音乐学系统考硕士研究生招生考试基本信息.pdf附件二(2):音乐教育学院统考硕士研究生招生考试基本信息.pdf附件二(3):作曲系统考硕士研究生招生考试基本信息.pdf附件二(4 ...中央音乐学院 本站小编 免费考研网 2018-09-29北京交通大学2018年硕士研究生新生入学须知及附件下载
附件: 2018年研究生入学交费通知-挂网.doc 2018年研究生自主申请安装空调的说明.doc ...北京交通大学复试录取 本站小编 免费考研网 2018-07-202018年统考硕士研究生招生考试信息相关附件
相关附件: 附件一(1):全日制统考硕士考生报考专业方向、导师 .pdf附件一(2):非全日制统考硕士考生报考专业方向、导师.pdf附件二(1):音乐学系统考硕士研究生招生考试基本信息.pdf附件二(2):音乐教育学院统考硕士研究生招生考试基本信息.pdf附件二(3):作曲系统考硕士研究生招生考试基本信息.pdf附件二 ...中央音乐学院 本站小编 免费考研网 2018-07-172018年博士简章及附件
博士简章及附件.zip ...中央戏剧学院 本站小编 免费考研网 2018-07-17附件1:吉林大学第二医院2018年研究生复试人员名单
附件1:吉林大学第二医院2018年研究生复试人员名单 (此名单不包括推免生及5+3直推生) 序号 考生编号 姓名 1 101838217400321 白杰 2 101838217410413 郭芳 3 101838217412366 黄健 4 101838217413096 刘艺 5 101838217412202 吴倩倩 6 101838217413377 ...吉林大学复试录取 本站小编 免费考研网 2018-04-14中央音乐学院2017年博士招生相关附件下载
中央音乐学院2017年博士招生相关附件下载 相关附件: 博附件一:专业方向、招生导师与考试科目.pdf博附件二:博士研究生入学考试主要参考书目.pdf专家推荐书.doc ...中央音乐学院 本站小编 辅仁网 2017-06-032017年中央戏剧学院博士简章及附件
博士简章及附件.zip ...中央戏剧学院 本站小编 辅仁网 2017-06-03吉林大学行政学院关于2016年MPA(双证)复试时间及要求的通知(复试名单详见附件)
吉林大学行政学院2016年MPA(双证)复试通知各位参加2016年双证MPA复试的考生: 为了便于您进行复试前的准备,请参见以下简化流程。如有具体细节及疑问请参见《吉林大学行政学院2016年MPA(双证)复试细则》。http://mpa.jlu.edu.cn 通知公告栏一、基本复试线要求 初试成绩的复试线为:总分在165分及以上、外语(含英语 ...吉林大学复试录取 本站小编 免费考研网 2016-04-08