×
乔纳森·霍恩斯坦。;艾伦·C·利德尔。

牛顿同伦的认证预测-校正跟踪。 （英语） Zbl 1329.65110号

J.塞姆。计算。 74, 239-254 (2016).
摘要：我们开发了牛顿同伦的认证跟踪程序，牛顿同伦是只改变常数项的同伦。对于这些同伦，我们的认证程序包括使用带牛顿修正的常数预测器、无修正的欧拉预测器和带牛顿修正值的欧拉预测器。在每种情况下，都保证预测器在牛顿法的二次收敛域中产生一个点。我们使用带牛顿校正的常数预测器分析跟踪过程的复杂性，步骤数在上述范围内是路径长度在（伽马）度量中的常数倍数。其中包括一些示例，以比较这些经认证的跟踪方法的行为。

引用于9文件

MSC公司：

65H20个 全局方法，包括非线性方程数值解的同伦方法
65H10型 方程组解的数值计算
65小时04 多项式方程根的数值计算

关键词：

认证跟踪;阿尔法理论;数值代数几何;同伦延拓;牛顿法;数值示例;多项式系统;牛顿修正;欧拉预估器

软件：

贝尔蒂尼;数字代数几何;PHC包;NAG4M2系列;HOM4PS（主页4PS）
PDF格式BibTeX公司 XML格式引用
\textit{J.D.Hauenstein}和\textit{A.C.Liddell}，J.Symb。计算。74239--254（2016；Zbl 1329.65110）
全文： 内政部

参考文献：

[1] 贝茨，D.J。；Hauenstein，J.D。；Sommese，A.J.，高效路径跟踪方法，数值。算法，58，4，451-459（2011）·Zbl 1230.65059号
[2] 贝茨，D.J。；豪恩斯坦，J.D。；Sommese，A.J。；Wampler，C.W.，Bertini:数值代数几何软件（2006），网址：
[3] 贝尔特兰，C。；Leykin，A.，认证数字同伦跟踪，Exp.Math。，21, 69-83 (2012) ·Zbl 1238.14048号
[4] 贝尔特兰，C。；Leykin，A.，鲁棒认证的数值同伦论跟踪，Found。计算。数学。，13, 2, 253-295 (2013) ·Zbl 1267.14075号
[5] 贝尔特兰，C。；Pardo，L.M.，《关于Smale的第17个问题：发现的概率正解》。计算。数学。，8, 1-43 (2008) ·Zbl 1153.65048号
[6] 布鲁姆，L。；Cucker，F。；舒布，M。；Smale，S.，《复杂性与实际计算》（1998），Springer-Verlag:Springer-Verlag纽约
[7] 格里芬，Z.A。；Hauenstein，J.D.，多项式方程组的实解和参数延拓，高级几何。，15, 2, 173-187 (2015) ·Zbl 1309.65056号
[8] Hauenstein，J.D。；海伍德，I。；Liddell，A.C.，牛顿同伦的后验证明算法，（ISSAC’14（2014），ACM:ACM纽约），248-255·Zbl 1325.65074号
[9] Judd，K.L.，《经济学中的数值方法》（1998），麻省理工学院出版社：麻省理工学院剑桥出版社·Zbl 0924.65001号
[10] Lee，T.-L。；Li，T.-Y。；Tsai，C.-H.，HOM4PS-2.0：用多面体同伦延拓法求解多项式系统的软件包，《计算》，83，109-133（2008），软件可在·Zbl 1167.65366号
[11] Leykin，A.，《Macaulay 2的数值代数几何》，J.Softw。代数几何。，3, 5-10 (2011) ·Zbl 1311.14057号
[12] 莱金，A。；Sottile，F.，通过同伦计算的Schubert问题的Galois群，数学。计算。，78, 1749-1765 (2009) ·Zbl 1210.14064号
[13] 梅塔，D。；Chen，T。；Hauenstein，J.D。；Wales，D.J.，《通信：势能景观静止点采样的牛顿同伦》，J.Chem。物理。，141, 121104 (2014)
[14] Shub，M.，Bezout定理的复杂性。六、 条件（数量）公制测地线，已找到。计算。数学。，9, 2, 171-178 (2009) ·Zbl 1175.65060号
[15] 舒布，M。；Smale，S.，贝佐特定理的复杂性。I.几何方面，《美国数学杂志》。Soc.，6，2，459-501（1993）·Zbl 0821.65035号
[16] 舒布，M。；Smale，S.，Bezout定理的复杂性。V.多项式时间，Theor。计算。科学。，133, 141-164 (1994) ·Zbl 0846.65022号
[17] Smale，S.，代数基本定理和复杂性理论，布尔。美国数学。社会学（N.S.），4，1，1-36（1981）·Zbl 0456.12012号
[18] Smale，S.，牛顿的方法从一点上的数据进行估计，（《学科的合并：纯数学、应用数学和计算数学的新方向》。《学科的融合：纯数学，应用数学和计算机数学的新趋势》，怀俄明州拉腊米，1985（1986），斯普林格：纽约斯普林格出版社），185-196·Zbl 0613.65058号
[19] Sommese，A.J。；Verschelde，J。；Wampler，C.W.，《使用单值函数将多项式系统的解集分解为不可约分量》，（《代数几何在编码理论、物理和计算中的应用》，《代数几何对编码理论、物理学和计算的应用》），《北大西洋公约组织科技期刊II数学物理化学》，第36卷（2001年），Kluwer Acad。出版物：Kluwer学院。出版物。多德雷赫特），297-315·Zbl 0990.65051号
[20] Verschelde，J.，算法795:PHCpack:同伦延拓多项式系统的通用求解器，ACM-Trans。数学。软质。，251-276（1999年），软件可在·Zbl 0961.65047号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。