×
卡洛斯·贝尔特兰;安东·莱金

经过认证的数值同伦论跟踪。 （英语） 兹伯利1238.14048

实验数学。 21，第1号，69-83（2012）.
摘要：给定一个连接两个多项式系统的同伦，我们提供了一个严格的算法来跟踪连接起始系统的近似零点到目标系统的近似原点的正则同伦路径。我们的方法使用了基于Smale的alpha理论的同伦延拓复杂性的最新结果。在数值代数几何软件包Macaulay2中实现的实验结果证明了该算法的实用性。特别地，我们证实了随机线性同伦的理论结果，并说明了Shub和Smale在一个好的初始对上的猜想的合理性。

引用于19文件

MSC公司：

2014年第20季度 代数几何的有效性、复杂性和计算方面
65H10型 方程组解的数值计算
65H20个 全局方法，包括非线性方程数值解的同伦方法

关键词：

代数几何的计算方面;方程组;连续方法;同伦方法;近似零;经认证的算法;复杂性

软件：

PHC包;麦考利2
PDF格式BibTeX公司 XML格式引用
\textit{C.Beltran}和\textit{A.Leykin}，实验数学。21，第1号，69--83（2012；Zbl 1238.14048）
全文： 内政部 arXiv公司

参考文献：

[1] 贝尔特兰【贝尔特兰11】C.，Numerische Mathematik 117（1）pp 89–（2011）·Zbl 1216.65058号 ·doi:10.1007/s00211-010-0334-3
[2] 贝尔特兰[贝尔特兰和莱金12]C.，arXiv（2012）
[3] 贝尔特兰[贝尔特兰和帕尔多08]C.，已发现。计算。数学。8（1）第1页–（2008）·Zbl 1153.65048号 ·doi:10.1007/s10208-005-0211-0
[4] 贝尔特兰[贝尔特兰和帕尔多09]C.，J.Amer。数学。Soc.22第363页–（2009年）
[5] Beltrán[Beltrín and Pardo 11]C.，计算数学基础11（1）pp 95–（2011）·Zbl 1232.65075号 ·doi:10.1007/s10208-010-9078-9
[6] Beltrán[Beltrín and Shub 10]C.，已发现。计算。数学。第10页，第115页–（2010年）·Zbl 1192.65055号 ·doi:10.1007/s10208-009-9054-4
[7] Blum[Blum et al.98]L.，复杂性和实际计算（1998）·Zbl 0751.03019号
[8] 胡贝尔[Huber and Sturmfels 95]B.，数学。公司。64（212）第1541页–（1995）·doi:10.1090/S0025-5718-1995-1297471-4
[9] Huber[Huber等人98]B.，J.符号计算。26（6）第767页–（1998）·Zbl 1064.14508号 ·doi:10.1006/jsco.1998.0239
[10] 莱金[Leykin 11]A.，JSAG 3 pp 5–（2011）
[11] 莱金[Leykin and Sottile 09]A.，数学。公司。78（267）第1749页–（2009）·Zbl 1210.14064号 ·doi:10.1090/S0025-5718-09-02239-X
[12] 莱金[Leykin et al.06]A.，《理论计算机科学》359（1）pp 111–（2006）·兹比尔1106.65046 ·doi:10.1016/j.tcs.2006.02.018
[13] 莱金[Leykin等人08]A.，代数几何中的算法，IMA卷数学。申请。146页，第79页–（2008年）·Zbl 1311.14057号 ·doi:10.1007/978-0-387-75155-95
[14] Mezzadri【夹层07】F.，美国数学学会通告54（5）pp 592–（2007）
[15] Shub[Shub 93]M.，《从拓扑到计算：Smalefest会议录》（加州伯克利，1990），第443页–（1993）·doi:10.1007/978-1-4612-2740-340
[16] Shub[Shub 09]M.，已找到。计算。数学。9（2）第171页–（2009）·Zbl 1175.65060号 ·doi:10.1007/s10208-007-9017-6
[17] 舒布[Shub and Smale 93]M.，J.Amer。数学。Soc.6（2）第459页–（1993）
[18] Shub[Shub and Smale 94]M.，理论。计算。科学。133 (1) (1994)
[19] Smale[Smale 86]S.，《学科的合并：纯数学、应用数学和计算数学的新方向》（Laramie，Wyo.，1985），第185–（1986）页·doi:10.1007/978-1-4612-4984-9_13
[20] Sommese[Sommese and Wampler 05]A.J.，多项式系统的数值解（2005）·Zbl 1091.65049号
[21] 索姆塞[索姆塞等人01]A.J.，SIAM J.Numer。分析。第38（6）页，2022–（2001）·Zbl 1002.65060号 ·doi:10.1137/S0036142900372549
[22] Verschelde[Verschelde 99]J.，ACM翻译。数学。柔和。25（2）第251页–（1999）·Zbl 0961.65047号 ·doi:10.1145/317275.317286
[23] Zyczkowski[Zyczkowski和Kus 94]K.，J.Phys。A 133（27）第4235页–（1994）·doi:10.1088/0305-4470/27/12/028
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。