×
马，岳;王，楚;志、李红

计算正维实根理想时半定松弛的证明。 （英语） Zbl 1444.13036号

J.塞姆。计算。 72, 1-20 (2016).
摘要：对于具有正维实变元的理想（I）（V{mathbb{R}}（I）），基于矩松弛，我们研究了如何计算一个Pommaret基，该基同时是由截断矩矩阵的核生成的理想（J）的Gröbner基，并且满足（I）子项J\子项I（V{mathbb{R1}（I）），\（V_{mathbb{R}}（I）=V_{mathbb{C}}。我们提供了一个证书，其中包含一个关于终止算法的矩矩阵组的条件。对于一般的（delta）-正则坐标系，我们证明了在足够大的矩松弛阶数下该条件是可满足的。

引用于2评论
引用于5文件

MSC公司：

13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）
11T71型 代数编码理论；密码学（数论方面）
第13页第15页 求解多项式系统；结果
68瓦30 符号计算和代数计算
90C22型 半定规划

关键词：

实激进理想;正维理想;半定规划;对合分裂;Pommaret基础;\（\delta\）-常规

软件：

单一;雷拉德.lib;塞杜米;GloptiPoly公司
PDF格式BibTeX公司 XML格式引用
\textit{Y.Ma}等人，J.Symb。计算。72，1--20（2016；Zbl 1444.13036）
全文： 内政部 arXiv公司

参考文献：

[1] 奥布里，P。；罗利尔，F。；Din，M.S.E.，《正维系统的实解》，J.Symb。计算。，34, 6, 543-560 (2002) ·Zbl 1046.14031号
[2] 银行，B。；Giusti，M。；海因茨，J。；Mbakop，G.，《极地变种和有效的实数消除》，数学。Z.，238，1，115-144（2001）·兹比尔1073.14554
[3] 巴苏，S。；波拉克，R。；Roy，M.-F.，《关于计算满足由多项式族定义的每个单元的点集》，J.Complex。，13, 1, 28-37 (1997) ·Zbl 0872.68050号
[4] 贝克尔，E。；Neuhaus，R.，多项式理想实根的计算，（计算代数几何，计算代数几何），尼斯，1992年。计算代数几何。计算代数几何，尼斯，1992年，Prog。数学。，第109卷（1993年），Birkhä用户波士顿：Birkhá用户波士顿，马萨诸塞州），1-20·Zbl 0804.13010号
[5] 贝克尔，E。；Wörmann，T.，零维理想的根计算和实根计算，符号计算，新趋势和发展，里尔，1993年。《符号计算，新趋势和发展》，里尔，1993年，《数学》。计算。模拟。，42, 4-6, 561-569 (1996) ·Zbl 1037.68540号
[6] 博奇纳克，J。；Coste，M。；Roy，M.-F.，《实代数几何》，《Ergebnisse der Mathematik und ihrer Grenzgebiete》，第36卷（1998年），《Springer-Verlag:Springer-Verlag Berlin》·Zbl 0633.14016号
[7] 库托，R。；Fialkow，L.，平面数据截断复力矩问题的求解，Mem。美国数学。Soc.，119，568，1-62（1996）·Zbl 0876.30033号
[8] Decker，W。；格雷厄尔，G.-M。；普菲斯特，G。；施奈曼，H。，单一3-1-6-用于多项式计算的计算机代数系统（2012）
[9] Fialkow，L.，变分截尾力矩问题的求解，Trans。美国数学。《社会学杂志》，363，3133-3165（2011）·Zbl 1220.47021号
[10] 詹尼，P。；Trager，B。；Zacharias，G.，Gröbner基底和多项式理想的主分解，J.Symb。计算。，6, 2/3, 149-167 (1988) ·Zbl 0667.13008号
[11] 亨利·L。；Daniel，P。；Marie-Francoise，R.，有效位置信号的初等递归界和希尔伯特第17问题（2014），预印本
[12] 亨利安，D。；Lasserre，J.，GloptiPoly:使用Matlab和SeDuMi对多项式进行全局优化，ACM Trans。数学。软质。，29, 2, 165-194 (2003) ·Zbl 1070.65549号
[13] Janovitz-Freireich，I。；穆兰，B。；Rónyai，L。；Szántó，A.，《关于迹矩阵和理想根矩阵的计算》，J.Symb。计算。，47102-122（2012年1月）·Zbl 1230.13002号
[14] Krick，T。；Logar，A.，计算多项式环中理想根的算法，（应用代数、代数算法和纠错码）。应用代数、代数学算法和纠错码，新奥尔良，洛杉矶，1991年。应用代数、代数算法和纠错码。《应用代数、代数算法和纠错码》，新奥尔良，洛杉矶，1991年，计算机课堂讲稿。科学。，第539卷（1991），《施普林格：柏林施普林格》，195-205·Zbl 0823.13018号
[15] 拉塞尔，J。；洛朗，M。；穆兰，B。；Rostalski，P。；Trébuchet，P.，《矩矩阵、边界基和实根计算》，J.Symb。计算。，51, 63-85 (2013) ·兹比尔1276.13021
[16] 拉塞尔，J。；洛朗，M。；Rostalski，P.，零维实根理想的半定刻画与计算，Found。计算。数学。，8, 607-647 (2008) ·Zbl 1176.14010号
[17] 拉塞尔，J。；洛朗，M。；Rostalski，P.，一种计算理想有限实变量的延拓投影算法，Theor。计算。科学。，410, 27-29, 2685-2700 (2009) ·Zbl 1172.14036号
[18] 拉塞尔，J。；洛朗，M。；Rostalski，P.，《计算零维理想实零点和复零点的统一方法》，（代数几何的新兴应用。代数几何的新应用，IMA卷数学应用，第149卷（2009），Springer:Springer New York），125-155·Zbl 1171.12001号
[19] Laurent，M.，重温Curto和Fialkow关于矩矩阵的两个定理，美国数学学会学报，133，10，2965-2976（2005）·兹比尔1078.14085
[20] Laurent，M.，《平方和、矩矩阵和多项式优化》，（代数几何的新兴应用，代数几何的新应用，IMA卷数学应用，第149卷（2009），Springer:Springer New York），157-270·Zbl 1163.13021号
[21] 洛朗，M。；Rostalski，P.，《多项式方程的矩方法》，（Anjos，M.F.；Lasserre，J.B.，《半定、锥和多项式优化手册》，《运筹学和管理科学国际丛书》，第166卷（2010），Springer）
[22] Ma，Y.，《通过低秩矩阵完成和半定规划的多项式优化》（2012），博士论文。中国科学院
[23] Marshall，M.，《正多项式和平方和》，《数学调查和专著》，第146卷（2008年），美国数学学会·Zbl 1169.13001号
[24] Möller，H.，体积公式的反问题，计算。技术。，9, 13-20 (2004) ·Zbl 1058.41027号
[25] Neuhaus，R.，多项式理想实根的计算。二、 J.纯应用。代数，124，1-3，261-280（1998）·Zbl 0894.13002号
[26] 拉维，M.，《理想及其激进分子的规律》，马努斯克。数学。，68, 1, 77-87 (1990) ·兹比尔0716.13001
[27] 里德·G。；Zhi，L.，通过符号数字化简到几何对合形式求解多项式系统，J.Symb。计算。，44, 3, 280-291 (2009) ·Zbl 1177.13065号
[28] Rostalski，P.，代数矩实数寻根及相关主题（2009），苏黎世联邦理工学院，博士论文
[29] Safey El Din，M。；Schost，E.，光滑实代数集的极变分与每个连通分量中一个点的计算，（第16届符号与代数计算国际研讨会论文集。第16届国际符号与代数运算研讨会论文集，ISSAC’03（2003），ACM:ACM纽约，美国纽约州纽约市）， 224-231 ·Zbl 1072.68693号
[30] Schmid，J.，《关于希尔伯特第17个问题和实零问题的程度复杂性》（1998），多特蒙德大学，Habilitationsschrift
[31] Schmid，J.，《关于0维情况下实零空间的复杂性》，J.Pure Appl。代数，151，3301-308（2000）·Zbl 1013.14002号
[32] Scott，R.，Approximate Gröbner bases（2006），西部大学：加拿大西安大略大学，硕士论文
[33] 斯科特·R。；里德，G。；Wu，W。；Zhi，L.，几何对合基及其在近似交换代数中的应用，（近似交换代数。近似交换代数，文本Monogr.符号。计算。（2009），施普林格·维恩：施普林格·维恩纽约，维也纳），99-124·Zbl 1191.13033号
[34] Seiler，W.，《对合——微分方程的形式理论及其在计算机代数和数值分析中的应用》（2002年），曼海姆大学，习惯化论文
[35] Seiler，W.，《对合：微分方程的形式理论及其在计算机代数中的应用，数学中的算法和计算》，第25卷（2010年），Springer-Verlag·Zbl 1205.35003号
[36] Silke，S.，《关于实根的计算》（2007），凯泽斯劳滕理工大学，博士论文
[37] Silke，S。A类单数的3-1-6计算实根库（2007）
[38] Stengle，G.，《半代数几何中的nullstellensatz和positivstellensatz》，《数学》。Ann.，207，87-97（1994）·Zbl 0253.14001号
[39] Stetter，H.，《数值多项式代数》（2004年），工业和应用数学学会·Zbl 1058.65054号
[40] 范登伯格。；Boyd，S.，《半定规划》，SIAM Rev.，38，1，49-95（1996）·Zbl 0845.65023号
[41] Wolkowicz，H。；Saigal，R。；Vandenberghe，L.，《半定规划手册：理论、算法和应用》，运筹学和管理科学国际丛书（2000），美国施普林格出版社·Zbl 0951.90001号
[42] 夏，B。；Yang，L.，半代数系统实解的隔离算法，J.Symb。计算。，34, 5, 461-477 (2002) ·Zbl 1027.68150号
[43] Zeng，G.，多项式理想广义实根的计算，科学。中国Ser。A、 42,3272-280（1999年）·Zbl 0946.13020号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。