×
马蒂亚斯·本德。;Faugère、Jean-Charles;Angelos Mantzaflaris公司;伊莱亚斯·齐加里达斯

混合多线性系统族的Koszul型行列式。 （英语） Zbl 1477.13053号

SIAM J.应用。代数几何。 5，第4号，589-619（2021）.
计算多元结果的行列式公式的研究，在单变量情况下推广Sylvester和Bézout行列式中的一个（或两个），在计算代数中已有很长的历史。
在本文中，作者对两类混合多线性多项式系统：星形多线性和二分双线性给出了明确的公式。他们从一个平方系统开始，然后证明可以添加一个多线性额外多项式，以生成一个超定系统，其结果是Koszul型矩阵的行列式。
这种方法的动机（和应用）是研究解决多参数特征值问题的有效技术。作者证明，上述Koszul型矩阵可以为解决这一问题提供一种新的方法。
审核人：卡洛斯·达安德里亚（巴塞罗那）

MSC公司：

第13页，共15页 求解多项式系统；结果
2014年第20季度 代数几何的有效性、复杂性和计算方面
15甲18 特征值、奇异值和特征向量

关键词：

合成矩阵;多线性多项式;韦曼复合体;行列式;多参数特征值问题;Koszul型矩阵

软件：

MultiParEig公司
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Bender}等人，SIAM J.Appl。代数几何。5，第4号，589--619（2021；Zbl 1477.13053）
全文： 内政部 arXiv公司

参考文献：

[1] A.S.Anokhina，A.Y.Morozov和S.R.Shakirov，作为Koszul复形行列式的结果，定理。数学。物理。，160 (2009), 1203. ·Zbl 1208.13013号
[2] F.V.Atkinson和A.Mingarelli，《多参数特征值问题：Sturm-Liouville理论》，CRC出版社，佛罗里达州博卡拉顿，2010年·Zbl 1222.34001号
[3] F.V.Atkinson，多参数特征值问题，学术出版社，纽约，1972年·Zbl 0555.47001号
[4] W.Auzinger和H.J.Stetter，《计算多元多项式方程组所有零点的消除算法》，载于《数值数学》，Birkha­user，瑞士巴塞尔，1988年，第11-30页·Zbl 0658.65047号
[5] M.R.Bender、J.-C.Faug¨re、A.Mantzaflaris和E.Tsigaridas，《具有两个支撑的双线性系统：Koszul合成矩阵、特征值和特征向量》，载于《ACM符号和代数计算国际研讨会论文集》，ISSAC’18，ACM，纽约，2018年，第63-70页·Zbl 1467.13056号
[6] M.R.Bender、J.-C.Faugé¨re和E.Tsigaridas，《走向混合Groübner基算法：多齐次和稀疏情况》，载于2018年美国计算机学会符号与代数计算国际研讨会论文集，ISSAC’18，美国计算机学会，纽约，2018，第71-78页·Zbl 1467.13042号
[7] M.R.Bender、J.-C.Faug¨re和E.Tsigaridas，《半群代数上的Groebner基：稀疏多项式系统的算法和应用》，《符号与代数计算国际研讨会论文集》，ISSAC’19，ACM，纽约，2019年，第42-49页·Zbl 1467.13043号
[8] M.R.Bender和S.Telen，求解稀疏多项式系统的环面特征值方法，https://arxiv.org/abs/2006.10654, 2020.
[9] L.Buseí，A.Mantzaflaris和E.Tsigaridas，二元张量积多项式的结果和判别式的矩阵公式，J.符号计算。，98（2020），第65-83页·Zbl 1471.13059号
[10] R.D.Carmichael，边值和展开问题：理论的代数基础，Amer。数学杂志。，43（1921），第69-101页。
[11] A.D.Chtcherba和D.Kapur，使用dixon公式的精确结果的条件，《符号和代数计算国际研讨会论文集》，ISSAC’20，美国计算机学会，纽约，2000年，第62-70页·Zbl 1326.68347号
[12] A.D.Chtcherba和D.Kapur，使用Dixon公式构造Sylvester型合成矩阵，符号计算杂志。，38（2004），第777-814页·Zbl 1137.13320号
[13] D.A.Cox，《通过代数求解方程》，载于《求解多项式方程》，A.Dickenstein和I.Z.Emiris，eds.，Springer，纽约，2005年，第63-123页·Zbl 1152.13306号
[14] D.A.Cox、J.Little和D.O'Shea，《使用代数几何》，Grad。数学课文。185，施普林格，纽约，2006年。
[15] C.D’Andrea，稀疏结果的Macaulay式公式，Trans。阿默尔。数学。《社会学杂志》，354（2002），第2595-2629页·Zbl 0987.13019号
[16] C.D’Andrea和A.Dickenstein，多元结果的显式公式，J.Pure Appl。《代数》，164（2001），第59-86页·Zbl 1066.14061号
[17] C.D’Andrea、T.Krick和M.Sombra，《多投影空间中的变种高度与算术零点补偿》，Ann.Sci。Éc。标准。Supeír.（上）。，46（2013），第549-627页·Zbl 1354.14038号
[18] C.D’Andrea和M.Sombra，稀疏结果的泊松公式，Proc。伦敦。数学。Soc.，110（2015），第932-964页·Zbl 1349.14160号
[19] A.Dickenstein和I.Z.Emiris，《借助复数的多齐次结式》，J.符号计算。，36（2003），第317-342页·Zbl 1095.13547号
[20] B.Dong、B.Yu和Y.Yu，寻找多参数特征值问题所有解的同伦方法，SIAM J.矩阵分析。应用。，37（2016），第550-571页·Zbl 1338.65100号
[21] I.Z.Emiris，《关于稀疏消除的复杂性》，《复杂性杂志》，12（1996），第134-166页·Zbl 0935.12008号
[22] I.Z.Emiris和A.Mantzaflaris，带标度支撑系统的多齐次结式，符号计算杂志。，47（2012），第820-842页·Zbl 1258.65038号
[23] I.Z.Emiris、A.Mantzaflaris和E.Tsigaridas，《关于求解双线性多项式系统的位复杂性》，载于《符号和代数计算国际研讨会论文集》，ISSAC’19，美国计算机学会，纽约，2019年，第215-222页·Zbl 1360.13066号
[24] I.Z.Emiris、A.Mantzaflaris和E.P.Tsigaridas，《多线性多项式系统：根隔离和位复杂性》，《符号计算杂志》。，105（2021年），第145-164页·Zbl 1475.13051号
[25] I.Z.Emiris和B.Mourrain，消除理论中的矩阵，符号计算杂志。，28（1999），第3-44页·Zbl 0943.13005号
[26] J.-C.Faugere、F.Levy-Dit-Vehel和L.Perret，《密码学进展》，施普林格，纽约，2008年，第280-296页·Zbl 1183.94033号
[27] J.-C.Faugère、M.Safey El Din和P.-J.Spaenlehauer，由二次多项式生成的双齐次理想的Gro¨bner基（（1,1）：算法和复杂性，符号计算。，46（2011），第406-437页·Zbl 1226.13017号
[28] I.M.Gelfand、M.Kapranov和A.Zelevinsky，《判别、结果和多维决定因素》，Springer，纽约，2008年·Zbl 1138.14001号
[29] C.Gheorghiu、M.Hochstenbach、B.Plestenjak和J.Rommes，多参数Mathieus®系统的光谱配置解决方案，应用。数学。计算。，218（2012），第11990-12000页·Zbl 1280.65078号
[30] I.Gohberg、P.Lancaster和L.Rodman，《矩阵多项式在不定线性代数和应用中》，Birkha­user，巴塞尔，2005年，第237-266页·兹比尔1084.15005
[31] R.Hartshorne，《代数几何》，施普林格出版社，纽约，1977年·Zbl 0367.14001号
[32] M.Hochstenbach、T.Kosir和B.Plestenjak，双参数特征值问题的Jacobi-Davidson型方法，SIAM J.矩阵分析。应用。，26（2004），第477-497页·Zbl 1077.65036号
[33] J.-P.Jouanolou，Formes d’inertie et reösultant:联合国公式，高级数学。，126（1997），第119-250页·Zbl 0882.13008号
[34] A.Joux，一种新的小特征复杂度指数演算算法（L（1/4+o（1）），《SAC学报》，Springer，纽约，2014年，第355-379页·Zbl 1362.94034号
[35] E.Kalthen和P.Koiran，将两个行列式的一部分表示为行列式，《第21届符号和代数计算国际研讨会论文集》，ISSAC’08，ACM，纽约，2008年，第141-146页·兹比尔1487.68255
[36] D.Kapur和T.Saxena，dixon合成公式中的外部因素，摘自《符号和代数计算国际研讨会论文集》，ISSAC’97，美国计算机协会，纽约，1997年，第141-148页·Zbl 0916.65052号
[37] F.Macaulay，《消除中的一些公式》，Proc。伦敦。数学。《社会学杂志》，第1卷（1902年），第3-27页。
[38] A.Mantzaflaris和E.Tsigaridas，二元张量积多项式的结果和判别式，《符号和代数计算国际研讨会论文集》，ISSAC’17，ACM，纽约，2017年·Zbl 1450.13013号
[39] A.McLennan，正规形式博弈的纳什均衡的期望数，《计量经济学》，73（2005），第141-174页·Zbl 1152.91326号
[40] A.Muhi ada和B.Plestenjak，关于二次双参数特征值问题及其线性化，线性代数应用。，432（2010），第2529-2542页·Zbl 1189.65070号
[41] C.Okonek、M.Schneider和H.Spindler，《复杂射影空间上的向量丛：附有S.I.Gelfand的附录》，Mod。Birkha¨user类。，Birkha¨user，瑞士巴塞尔，1980年·Zbl 1237.14003号
[42] A.J.Pell，双参数线性方程，Trans。阿默尔。数学。《社会学杂志》，23（1922），第198-211页。
[43] G.Reímond，Eílimination multihomogène，《代数独立理论导论》，Y.V.Nesterenko和P.Philippon，eds.，Springer，纽约，2001年，第53-81页·Zbl 0966.11032号
[44] J.I.Rodriguez、J.-H.Du、Y.You和L.-H.Lim，多参数特征值问题的纤维乘积同伦方法，数值。数学。148, 853-888 (2021), https://doi.org/10.1007/s00211-021-01215-6。 ·Zbl 1473.65061号
[45] I.R.Shafarevich，《基本代数几何1》，《射影空间的变化》，第三版，施普林格出版社，纽约，2013年·Zbl 1273.14004号
[46] P.-J.Spaenlehauer，求解多齐次和行列式系统：算法、复杂性、应用，博士论文，UPMC，2012。
[47] B.Sturmfels和A.Zelevensky，钾盐型多级结果，《代数》，163（1994），第115-127页·Zbl 0813.13018号
[48] S.Telen，通过Cox环进行数值寻根，J.Pure Appl。《代数》，224（2020）·Zbl 1442.14187号
[49] L.G.Valiant，《代数中的完备性类》，载于第十一届ACM计算机理论研讨会论文集，STOC’79，ACM，纽约，1979年，第249-261页。
[50] H.Volkmer，多参数特征值问题和扩张定理，数学课堂讲稿。，施普林格，纽约，1988年·Zbl 0659.47024号
[51] B.L.v.d.Waerden，《代数：第二卷》，施普林格，纽约，1991年·Zbl 0724.12002号
[52] J.Weyman，通过更高的直接图像计算判别式，Trans。阿默尔。数学。Soc.，343（1994），第367-389页·Zbl 0823.14040号
[53] J.Weyman，向量丛和Syzygies的上同调，剑桥数学丛书。149，剑桥大学出版社，剑桥，2003年·Zbl 1075.13007号
[54] J.Weyman和A.Zelevinsky，多级结果的行列式，J.Algebr。Geom，3（1994），第569-597页·Zbl 0816.13007号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。