×

对合基的次数上界。 (英语) Zbl 1491.13038号

作者摘要:本文的目的是研究一组齐次多项式生成的理想的任何极小Janet基的元素最大度的上界。给出的界限取决于变量的数量和理想生成集的最大程度。为此,通过对方法进行更深入的分析T.W.Dubé[SIAM J.Comput.19,第4期,750–773(1990年;Zbl 0697.68051号)],我们根据约化Gröbner基元素的度数改进(并修正)了他的界。通过给出一个简单的证明,证明了这个新的界对Pommaret基也是有效的。此外,基于Dubé方法,通过引入两个新的广义性概念,即所谓的J-稳定位置和素数位置,我们证明了Dué(新)界也适用于齐次理想在任何位置的任何极小Janet基上多项式的最大次数。最后,我们通过提出确定性算法来研究引入的泛型位置,以将任何给定的齐次理想转换为这些位置。

MSC公司:

13页第10页 Gröbner基地;理想和模块的其他基础(例如Janet和border基础)
68瓦30 符号计算和代数计算

软件:

CoCoALib公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Albert,M.、Fetzer,M.和Seiler,W.M.:CoCoALib中的Janet基础和决议。科学计算中的计算机代数。地点:2015年9月14日至18日,德国亚琛,中国社会科学院2015年第17届国际研讨会。诉讼程序。第15-29页,查姆:施普林格(2015)·Zbl 1439.13074号
[2] 拜耳,D。;Stillman,M.,检测M-正则性的标准,发明。数学。,87, 1-11 (1987) ·Zbl 0625.13003号 ·doi:10.1007/BF01389151
[3] Buchberger,B.:Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomide。因斯布鲁克大学博士论文(1965年)·Zbl 1245.13020号
[4] Buchberger,B.Bruno Buchberger1965年的博士论文:一种求零维多项式理想剩余类环的基元的算法。德语翻译。J.塞姆。计算。,41(3-4), 475-511 (2006) ·Zbl 1158.01307号
[5] 考克斯,DA;Little,J。;O'Shea,D.,《理想、多样性和算法》。计算代数几何和交换代数导论(2015),Cham:Springer,Cham·Zbl 1335.13001号 ·数字对象标识代码:10.1007/978-3-319-16721-3
[6] Dubé,TW,多项式理想和Gröbner基的结构,SIAM J.Compute。,1970-7773年(1990年)·Zbl 0697.68051号 ·数字对象标识代码:10.1137/0219053
[7] Fröberg,R.,《Gröbner Bases简介》(1997),奇切斯特:威利·Zbl 0997.13500号
[8] 副总裁Gerdt;甘扎,VG;梅尔,EW;Vorozhtsov,EV,《论Pommaret和Janet基之间的关系》,《科学计算中的计算机代数》,167-181(2000),柏林:施普林格出版社,柏林·Zbl 0981.13017号 ·doi:10.1007/978-3-642-57201-2-14
[9] Gerdt,V.P.:计算Gröbner基的对合算法。计算交换和非交换代数几何。摘自:《2004年北约高级研究研讨会论文集》。阿姆斯特丹:IOS出版社,第199-225页(2005年)·Zbl 1104.13012号
[10] 副总裁Gerdt;Blinkov,YA,多项式理想的对合基,数学。计算。模拟。,45,5-6,519-541(1998年)·Zbl 1017.13500号 ·doi:10.1016/S0378-4754(97)00127-4
[11] Giusti,M.:多项式理想理论中的一些有效性问题。欧洲84。摘自:符号和代数计算国际研讨会论文集。计算机科学课堂讲稿,剑桥/英语174,第159-171页(1984)·Zbl 0585.13010号
[12] Hashemi,A.,Parnian,H.,Seiler,W.M.:Nœther碱及其应用。伊朗数学学会公报,即将出版(2019年)·Zbl 1430.13045号
[13] 哈希米,A。;Schweinfurter,M。;西勒,WM,多项式理想的决定论一般性,J.Symb。计算。,86, 20-50 (2018) ·兹比尔1446.13021 ·doi:10.1016/j.jsc.2017.03.008
[14] Hashemi,A.,Seiler,W.M.:Gröbner基的维数相关上界。2017年7月25日至28日,德国凯泽斯劳滕,ISSAC 2017,第42届符号与代数计算国际研讨会论文集。纽约州纽约市:计算机协会(ACM),2017年,第189-196页(2017年)·Zbl 1450.13012号
[15] Janet,M.,《特殊河流系统方程》,C.R.Acad。科学。巴黎,1701101-1103(1920)·JFM 47.0440.03号
[16] Lazard,D.:Gröbner基底,高斯消去和代数方程组的分解。计算机代数,欧洲'83。In:诉讼。计算机科学讲义会议162,第146-156页,伦敦(1983)·Zbl 0539.13002号
[17] Mall,D.,《关于Gröbner和Pommaret基地之间的关系》,Appl。代数工程通讯。计算。,9, 2, 117-123 (1998) ·Zbl 0926.13017号 ·数字对象标识代码:10.1007/s002000050097
[18] 梅尔,EW;Ritscher,S.,多项式理想Gröbner基的维数相关界,J.Symb。计算。,49, 78-94 (2013) ·Zbl 1258.13032号 ·doi:10.1016/j.jsc.2011.12.018
[19] 米勒,E。;Sturmfels,B.,组合交换代数(2005),纽约:Springer,纽约·Zbl 1090.13001号
[20] Möller,H.,Mora,F.:Gröbner基次数的上下限。EUROSAM 84,符号和代数计算。摘自:剑桥/英国国际研讨会论文集。1984年,计算机科学讲义174,第172-183页(1984)·Zbl 0564.68030号
[21] Mora,T.,《求解多项式方程系统II:Macaulay范式和Gröbner技术》(2005),剑桥:剑桥大学出版社,剑桥·Zbl 1161.13306号 ·doi:10.1017/CBO9781107340954
[22] Pommaret,J.,《偏微分方程和李伪群系统》(1978),伦敦:Gordon和Breach科学出版社,伦敦·Zbl 0418.35028号
[23] Seiler,WM,《对合和δ-正则性的组合方法II:具有Pommaret基的多项式模的结构分析》,应用。代数工程通讯。计算。,20, 3-4, 261-338 (2009) ·Zbl 1175.13011号 ·doi:10.1007/s00200-009-0101-9
[24] 西勒,WM,《对合:微分方程的形式理论及其在计算机代数中的应用》(2010),柏林:斯普林格出版社,柏林·Zbl 1205.35003号 ·doi:10.1007/978-3642-01287-7
[25] 扎尔科夫,A。;Blinkov,Y.,研究多项式系统的对合方法,数学。计算。模拟。,42, 4, 323-332 (1996) ·doi:10.1016/S0378-4754(96)00006-7
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。