×
乔纳森·霍恩斯坦。;劳拉·马图塞维奇;克里斯·彼得森;萨曼莎·谢尔曼。

二项式测试和通过见证集计算稀疏多项式。 （英语） Zbl 1498.14152号

越南J.数学。 50，编号3，653-678（2022）.
作者讨论了确定稀疏多项式在给定代数集上是否消失的问题。他们通过一些应用激发了这个问题，并评论了这方面的成就，以及其他作者在热带几何矩阵理论或计算数论中使用的技术。在本文中，他们处理了在由见证集表示的代数集上消失的所有多项式的计算，这些多项式的阶数最多有一个固定的上界。他们提出了算法，并通过运动学、化学反应和网络的示例说明了他们的方法。
审核人：胡安·拉斐尔·森德拉（阿尔卡莱德·赫纳雷斯）

引用于2文件

理学硕士：

第14季度65 数值代数几何的几何方面
65H14型 数值代数几何
68瓦30 符号计算和代数计算
14T10段 热带几何学基础及与代数的关系

关键词：

二项式理想;稀疏多项式;计算代数几何
PDF格式BibTeX公司 XML格式引用
\textit{J.D.Hauenstein}等人，《越南数学杂志》。50，编号3，653--678（2022；Zbl 1498.14152）
全文： 内政部

参考文献：

[1] Bailey，D.H.，Ferguson，H.R.P.：多项式时间，数值稳定的整数关系算法。SRC技术报告SRC-TR-92-066；RNR技术报告RNR-91-032，第1-14页（1991）
[2] 贝茨，D。；豪恩斯坦，J。；McCoy，T。；彼得森，C。；Sommese，A.，《从代数几何中的不精确数值数据中恢复精确结果》，《数学实验》。，22, 38-50 (2013) ·Zbl 1284.14084号 ·doi:10.1080/10586458.2013.737640
[3] Bates，D.，Hauenstein，J.，Sommese，A.，Wampler，C.：贝尔蒂尼：数值代数几何软件。可在https://bertini.nd.edu (2006)
[4] 贝茨，D。；Sommese，A。；豪恩斯坦，J。；Wampler，C.，用Bertini数值求解多项式系统。软件、环境和工具，第25卷（2013年），费城：工业和应用数学学会·兹比尔1295.65057 ·doi:10.1137/1.9781611972702
[5] Brysiewicz，T.，计算牛顿多边形和热带隶属度的数值软件，数学。计算。科学。，14, 577-589 (2020) ·Zbl 1474.14002号 ·doi:10.1007/s11786-020-00454-4
[6] 坎迪斯，E。；罗姆伯格，J。；Tao，T.，从不完整和不准确的测量中恢复稳定信号，Commun。纯应用程序。数学。，59, 1207-1223 (2006) ·邮编1098.94009 ·doi:10.1002/cpa.20124年
[7] Conradi，C。；Kahle，T.，《检测二项式》，高级应用。数学。，71, 52-67 (2015) ·Zbl 1327.13101号 ·doi:10.1016/j.aam.2015.08.004
[8] 考克斯·D。；利特尔，J。；Schenck，H.，《保守主义品种》。《数学研究生》，第124卷（2011），普罗维登斯：美国数学学会，普罗维登·Zbl 1223.14001号
[9] Daleo，北卡罗来纳州。；Hauenstein，J.，《用数值方法决定射影方案的Cohen-Macaulay性》，J.Symb。计算。，72, 128-146 (2016) ·Zbl 1329.14108号 ·doi:10.1016/j.jsc.2015.01.001
[10] Dayton，B.，Zeng，Z.：求解多项式系统中的多重性结构的计算。收录于：ISSAC’05，第116-123页。ACM，纽约（2005）·Zbl 1360.65151号
[11] Donoho，D.，压缩传感，IEEE Trans。通知。理论，521289-1306（2006）·Zbl 1288.94016号 ·doi:10.1109/TIT.2006.871582
[12] Donoho，D.，对于大多数大型欠定线性方程组，最小值ℓ1-范数解也是最稀疏的解，Commun。纯应用程序。数学。，59, 797-829 (2006) ·Zbl 1113.15004号 ·doi:10.1002/cpa.20132年
[13] 艾森巴德，D。；Sturmfels，B.，二项式理想，杜克数学。J.，84，1-45（1996）·Zbl 0873.13021号 ·doi:10.1215/S0012-7094-96-08401-X
[14] 弗格森，HRP；DH贝利；Arno，S.，PSLQ分析，整数关系查找算法，数学。公司。，68, 351-369 (1999) ·Zbl 0927.11055号 ·doi:10.1090/S0025-5718-99-00995-3
[15] Fulton，W.，《保守主义品种导论》。《数学研究年鉴》，第131卷（1993），普林斯顿：普林斯顿大学出版社，普林斯顿·兹伯利0813.14039 ·doi:10.1515/9781400882526
[16] Griffin，Z.，Hauenstein，J.，Peterson，C.，Sommese，A.：希尔伯特函数的数值计算和零维格式的正则性。收录：Cooper，S.M.，Sather-Wagstaff，S.（编辑）代数、组合数学和几何之间的联系。《Springer数学与统计学报》，第76卷，第235-250页。施普林格，纽约（2014）·Zbl 1315.13032号
[17] 豪恩斯坦，J。；Sottile，F.，《牛顿多面体和见证集》，《数学》。计算。科学。，8, 235-251 (2014) ·Zbl 1304.14077号 ·doi:10.1007/s11786-014-0189-6
[18] 豪恩斯坦，J。；Wampler，C.，《等奇异集与通缩》，Found。计算。数学。，13, 371-403 (2013) ·Zbl 1276.65029号 ·doi:10.1007/s10208-013-9147-y
[19] Iosif，A.，Rahkooy，H.：用于检测生物模型二元性的Conradi-Kahle算法的分析。arXiv:1912.06896（2019）
[20] Jensen，A。；Kahle，T。；Katthän，L.，《在多项式理想中寻找二项式》，《数学研究》。科学。，4, 16 (2017) ·兹伯利1428.13044 ·doi:10.1186/s40687-017-0106-0
[21] Katthän，L。；Michałek，医学博士。；Miller，E.，环境自同构之后的多项式理想二项式是什么时候？，找到。计算。数学。，19, 1363-1385 (2019) ·Zbl 1429.13010号 ·doi:10.1007/s10208-018-9405-0
[22] 莱金，A。；Verschelde，J。；赵，A.，多项式系统孤立奇点的带通缩的牛顿方法，Theor。计算。科学。，359, 111-122 (2006) ·Zbl 1106.65046号 ·doi:10.1016/j.tcs.2006.02.018
[23] Lichtblau，D.：一半GCD和快速理性复苏。收录于：ISSAC’05，第231-236页。ACM，纽约（2005）·Zbl 1360.68943号
[24] Miller，E.：在多项式理想中寻找所有单项式。arXiv：1605.08791（2016）
[25] 平移，VY；Wang，X.，《有理数重构与逼近》，SIAM J.Compute。，33, 502-503 (2004) ·Zbl 1101.68997号 ·doi:10.1137/S0097539703437181
[26] Pérez Milán，M。；狄更斯坦，A。；Shiu，A。；Conradi，C.，具有复曲面稳态的化学反应系统，Bull。数学。《生物学》，741027-1065（2012）·Zbl 1251.92016年 ·doi:10.1007/s11538-011-9685-x
[27] Rahkooy，H.，Radulescu，O.，Sturm，T.：检测可逆化学反应网络稳态理想二项式的线性代数方法。收录：Boulier，F.，England，M.，Sadykov，T.，Vorozhtsov，E（eds.）《科学计算中的计算机代数》。计算机科学讲义，第12291卷，第492-509页。施普林格国际出版公司，Cham（2020）·Zbl 07635848号
[28] Sommese，A.，Wampler，II，C.：工程和科学中出现的多项式系统的数值解。世界科学出版有限公司，哈肯萨克（2005）·兹比尔1091.65049
[29] Wampler，C.、Larson，B.、Erdman，A.：空间机构的新导纳公式。摘自：ASME国际设计工程技术会议论文集和2007年工程会议中的计算机和信息，第8卷，第561-570页。ASME（2008）
[30] 王，X。；Pan，VY，欧几里得算法的加速与有理数重构，SIAM J.Comput。，32, 548-556 (2003) ·Zbl 1031.68149号 ·doi:10.1137/S0097539702408636
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。