arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1602.02094math.AGcs.NAmath.ATmath.NA
收藏

计算实射影集的同调

Computing the Homology of Real Projective Sets

City University of Hong Kong(香港城市大学);Univ. de Buenos Aires & CONICET(布宜诺斯艾利斯大学与阿根廷国家科学研究委员会);City College and the Graduate Center of CUNY(纽约市立学院与纽约市立大学研究生中心)

Felipe Cucker, Teresa Krick, Michael Shub

AI总结:

本文提出一种数值算法,用于计算实射影簇的同调群,包括贝蒂数和 torsion 系数,算法在数值稳定性上有效,计算复杂度与变量数和输入条件有关。

摘要:

我们描述并分析了一种数值算法,用于计算实射影簇的同调(贝蒂数和 torsion 系数)。这里数值意味着该算法在某种意义上是数值稳定的。其计算成本取决于输入的条件以及其大小,并且是单指数于变量数(即 ambient 空间维度)和多项式于条件和定义多项式的次数。此外,我们还证明,在数据大小的指数小的例外集之外,该算法需要指数时间。

英文摘要:

We describe and analyze a numerical algorithm for computing the homology (Betti numbers and torsion coefficients) of real projective varieties. Here numerical means that the algorithm is numerically stable (in a sense to be made precise). Its cost depends on the condition of the input as well as on its size and is singly exponential in the number of variables (the dimension of the ambient space) and polynomial in the condition and the degrees of the defining polynomials. In addition, we show that outside of an exceptional set of measure exponentially small in the size of the data, the algorithm takes exponential time.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑