{"title":"A new fast root-finder for black box polynomials","authors":"Victor Y. Pan , Soo Go , Qi Luan , Liang Zhao","doi":"10.1016/j.tcs.2024.115022","DOIUrl":null,"url":null,"abstract":"<div><div>Univariate polynomial root-finding has been studied for four millennia and very intensively in the last decades. Our <em>black box root-finder</em> involves no coefficients and works for a black box polynomial, defined by an oracle (that is, black box subroutine) for its evaluation. Such root-finders have various benefits, e.g., are particularly efficient where a polynomial can be evaluated fast, say, is the sum of a small number of shifted monomials <span><math><msup><mrow><mo>(</mo><mi>x</mi><mo>−</mo><mi>c</mi><mo>)</mo></mrow><mrow><mi>a</mi></mrow></msup></math></span>. With incorporation of a fast algorithm by the first author for compression of a disc on the complex plane without losing roots, our root-finder approximates all <em>d</em> complex zeros of a <em>d</em>th degree polynomial <span><math><mi>p</mi><mo>(</mo><mi>x</mi><mo>)</mo></math></span> (aka roots of equation <span><math><mi>p</mi><mo>(</mo><mi>x</mi><mo>)</mo><mo>=</mo><mn>0</mn></math></span>) by using <em>near-optimal</em> Las Vegas expected number of bit-operations,<span><span><sup>1</sup></span></span> that is, the root-finder is expected to run almost as fast as one accesses the coefficients with a precision required for the solution within a prescribed error bound. The only other known near-optimal polynomial root-finder was presented by the first author at ACM STOC 1995. It is quite involved and has never been implemented, while already in its initial implementation our new root-finder competed with user's choice package of root-finding subroutines MPSolve, according to extensive numerical experiments with standard test polynomials. Furthermore we readily extend our black box root-finder to approximation of the <em>eigenvalues of a matrix</em> in record expected bit operation time, while the root-finder of STOC 1995, using the coefficients of <span><math><mi>p</mi><mo>(</mo><mi>x</mi><mo>)</mo></math></span>, does not support such extension.</div></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":"1027 ","pages":"Article 115022"},"PeriodicalIF":0.9000,"publicationDate":"2024-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Theoretical Computer Science","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S030439752400639X","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
Abstract
Univariate polynomial root-finding has been studied for four millennia and very intensively in the last decades. Our black box root-finder involves no coefficients and works for a black box polynomial, defined by an oracle (that is, black box subroutine) for its evaluation. Such root-finders have various benefits, e.g., are particularly efficient where a polynomial can be evaluated fast, say, is the sum of a small number of shifted monomials . With incorporation of a fast algorithm by the first author for compression of a disc on the complex plane without losing roots, our root-finder approximates all d complex zeros of a dth degree polynomial (aka roots of equation ) by using near-optimal Las Vegas expected number of bit-operations,1 that is, the root-finder is expected to run almost as fast as one accesses the coefficients with a precision required for the solution within a prescribed error bound. The only other known near-optimal polynomial root-finder was presented by the first author at ACM STOC 1995. It is quite involved and has never been implemented, while already in its initial implementation our new root-finder competed with user's choice package of root-finding subroutines MPSolve, according to extensive numerical experiments with standard test polynomials. Furthermore we readily extend our black box root-finder to approximation of the eigenvalues of a matrix in record expected bit operation time, while the root-finder of STOC 1995, using the coefficients of , does not support such extension.
期刊介绍:
Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.