Showing 1–48 of 48 results for author: Leykin, A

Local dual spaces and primary decomposition

Authors: Justin Chen, Marc Härkönen, Anton Leykin

Abstract: Generalizing the concept of the Macaulay inverse system, we introduce a way to describe localizations of an ideal in a polynomial ring. This leads to an approach to the differential primary decomposition as a description of the affine scheme defined by the ideal. Generalizing the concept of the Macaulay inverse system, we introduce a way to describe localizations of an ideal in a polynomial ring. This leads to an approach to the differential primary decomposition as a description of the affine scheme defined by the ideal. △ Less

Submitted 31 December, 2023; originally announced January 2024.

Comments: 6 pages

MSC Class: 14Q99 (Primary) 13P99; 14B99 (Secondary)

State estimation of a moving frequency source from observations at multiple receivers

Authors: Michela Mancini, Anton Leykin, John A. Christian

Abstract: The task of position and velocity estimation of a moving transmitter (with either a known or unknown frequency) is a common problem arising in many different application domains. Based on the Doppler effect, this work presents a direct solution using only the frequency measured by a multitude of receivers with a known state. A natural rewriting of the problem as a system of polynomial equations al… ▽ More The task of position and velocity estimation of a moving transmitter (with either a known or unknown frequency) is a common problem arising in many different application domains. Based on the Doppler effect, this work presents a direct solution using only the frequency measured by a multitude of receivers with a known state. A natural rewriting of the problem as a system of polynomial equations allows for the use of homotopy continuation to find the global solution without any a priori information about the frequency source. We show that the data from six or seven receivers is sufficient in case of known or unknown frequency, respectively. After a brief development of the mathematics, two simple examples are provided: (1) position and velocity estimation of a vocalizing dolphin emitting an acoustic signal and (2) initial orbit determination of a satellite emitting an electromagnetic signal. △ Less

Submitted 9 August, 2023; originally announced August 2023.

Comments: 9 pages, 3 figures

MSC Class: 14Q00; 65H20

Geometric Solution to the Angles-Only Initial Orbit Determination Problem

Authors: Michela Mancini, Timothy Duff, Anton Leykin, John A. Christian

Abstract: Initial orbit determination (IOD) from line-of-sight (i.e., bearing) measurements is a classical problem in astrodynamics. Indeed, there are many well-established methods for performing the IOD task when given three line-of-sight observations at known times. Interestingly, and in contrast to these existing methods, concepts from algebraic geometry may be used to produce a purely geometric solution… ▽ More Initial orbit determination (IOD) from line-of-sight (i.e., bearing) measurements is a classical problem in astrodynamics. Indeed, there are many well-established methods for performing the IOD task when given three line-of-sight observations at known times. Interestingly, and in contrast to these existing methods, concepts from algebraic geometry may be used to produce a purely geometric solution. This idea is based on the fact that bearings from observers in general position may be used to directly recover the shape and orientation of a three-dimensional conic (e.g., a Keplerian orbit) without any need for knowledge of time. In general, it is shown that five bearings at unknown times are sufficient to recover the orbit -- without the use of any type of initial guess and without the need to propagate the orbit. Three bearings are sufficient for purely geometric IOD if the orbit is known to be (approximately) circular. The method has been tested over different scenarios, including one where extra observations make the system of equations over-determined. △ Less

Submitted 4 April, 2023; originally announced April 2023.

Comments: 31 pages excluding back matter, 14 figures

Numerical Nonlinear Algebra

Authors: Daniel J. Bates, Paul Breiding, Tianran Chen, Jonathan D. Hauenstein, Anton Leykin, Frank Sottile

Abstract: Numerical nonlinear algebra is a computational paradigm that uses numerical analysis to study polynomial equations. Its origins were methods to solve systems of polynomial equations based on the classical theorem of Bézout. This was decisively linked to modern developments in algebraic geometry by the polyhedral homotopy algorithm of Huber and Sturmfels, which exploits the combinatorial structure… ▽ More Numerical nonlinear algebra is a computational paradigm that uses numerical analysis to study polynomial equations. Its origins were methods to solve systems of polynomial equations based on the classical theorem of Bézout. This was decisively linked to modern developments in algebraic geometry by the polyhedral homotopy algorithm of Huber and Sturmfels, which exploits the combinatorial structure of the equations and led to efficient software for solving polynomial equations. Subsequent growth of numerical nonlinear algebra continues to be informed by algebraic geometry and its applications. These include new approaches to solving, algorithms for studying positive-dimensional varieties, certification, and a range of applications both within mathematics and from other disciplines. With new implementations, numerical nonlinear algebra is now a fundamental computational tool for algebraic geometry and its applications. We survey some of these innovations and some recent applications. △ Less

Submitted 6 March, 2024; v1 submitted 16 February, 2023; originally announced February 2023.

Comments: 40 pages, many figures

MSC Class: 14Q65; 65H14

Isolating clusters of zeros of analytic systems using arbitrary-degree inflation

Authors: Michael Burr, Kisun Lee, Anton Leykin

Abstract: Given a system of analytic functions and an approximation to a cluster of zeros, we wish to construct two regions containing the cluster and no other zeros of the system. The smaller region tightly contains the cluster while the larger region separates it from the other zeros of the system. We achieve this using the method of inflation which, counterintuitively, relates it to another system that i… ▽ More Given a system of analytic functions and an approximation to a cluster of zeros, we wish to construct two regions containing the cluster and no other zeros of the system. The smaller region tightly contains the cluster while the larger region separates it from the other zeros of the system. We achieve this using the method of inflation which, counterintuitively, relates it to another system that is more amenable to our task but whose associated cluster of zeros is larger. △ Less

Submitted 9 February, 2023; originally announced February 2023.

Comments: 12 pages, 1 figure

Smale's 6th problem for generic masses

Authors: Anders N. Jensen, Anton Leykin

Abstract: We give a new method to attempt to prove that, for a given $n$, there are finitely many equivalence classes of planar central configurations in the Newtonian $n$-body problem for generic masses. The human part of the proof relies on tropical geometry. The crux of our technique is in a computation that we have completed for $n\leq 5$, thus confirming the celebrated result of Albouy and Kaloshin. We give a new method to attempt to prove that, for a given $n$, there are finitely many equivalence classes of planar central configurations in the Newtonian $n$-body problem for generic masses. The human part of the proof relies on tropical geometry. The crux of our technique is in a computation that we have completed for $n\leq 5$, thus confirming the celebrated result of Albouy and Kaloshin. △ Less

Submitted 5 January, 2023; originally announced January 2023.

Comments: 5 pages

MSC Class: 70F15 (Primary) 14T90; 14Qxx (Secondary)

$u$-generation: solving systems of polynomials equation-by-equation

Authors: Timothy Duff, Anton Leykin, Jose Israel Rodriguez

Abstract: We develop a new method that improves the efficiency of equation-by-equation algorithms for solving polynomial systems. Our method is based on a novel geometric construction, and reduces the total number of homotopy paths that must be numerically continued. These improvements may be applied to the basic algorithms of numerical algebraic geometry in the settings of both projective and multiprojecti… ▽ More We develop a new method that improves the efficiency of equation-by-equation algorithms for solving polynomial systems. Our method is based on a novel geometric construction, and reduces the total number of homotopy paths that must be numerically continued. These improvements may be applied to the basic algorithms of numerical algebraic geometry in the settings of both projective and multiprojective varieties. Our computational experiments demonstrate significant savings obtained on several benchmark systems. We also present an extended case study on maximum likelihood estimation for rank-constrained symmetric $n\times n$ matrices, in which multiprojective $u$-generation allows us to complete the list of ML degrees for $n\le 6.$ △ Less

Submitted 6 June, 2022; originally announced June 2022.

Comments: 25 pages

MSC Class: 65H20; 4Q65; 68W30

Learning to Solve Hard Minimal Problems

Authors: Petr Hruby, Timothy Duff, Anton Leykin, Tomas Pajdla

Abstract: We present an approach to solving hard geometric optimization problems in the RANSAC framework. The hard minimal problems arise from relaxing the original geometric optimization problem into a minimal problem with many spurious solutions. Our approach avoids computing large numbers of spurious solutions. We design a learning strategy for selecting a starting problem-solution pair that can be numer… ▽ More We present an approach to solving hard geometric optimization problems in the RANSAC framework. The hard minimal problems arise from relaxing the original geometric optimization problem into a minimal problem with many spurious solutions. Our approach avoids computing large numbers of spurious solutions. We design a learning strategy for selecting a starting problem-solution pair that can be numerically continued to the problem and the solution of interest. We demonstrate our approach by develo** a RANSAC solver for the problem of computing the relative pose of three calibrated cameras, via a minimal relaxation using four points in each view. On average, we can solve a single problem in under 70 $μs.$ We also benchmark and study our engineering choices on the very familiar problem of computing the relative pose of two calibrated cameras, via the minimal case of five points in two views. △ Less

Submitted 6 December, 2021; originally announced December 2021.

Comments: 24 pages total: 14 pages main paper and 10 pages supplementary

MSC Class: 65H20; 68T45 ACM Class: I.4.5

Numerical Schubert Calculus in Macaulay2

Authors: Anton Leykin, Abraham Martín del Campo, Frank Sottile, Ravi Vakil, Jan Verschelde

Abstract: The Macaulay2 package NumericalSchubertCalculus provides methods for the numerical computation of Schubert problems on Grassmannians. It implements both the Pieri homotopy algorithm and the Littlewood-Richardson homotopy algorithm. Each algorithm has two independent implementations in this package. One is in the scripting language of Macaulay2 using the package NumericalAlgebraicGeometry, and the… ▽ More The Macaulay2 package NumericalSchubertCalculus provides methods for the numerical computation of Schubert problems on Grassmannians. It implements both the Pieri homotopy algorithm and the Littlewood-Richardson homotopy algorithm. Each algorithm has two independent implementations in this package. One is in the scripting language of Macaulay2 using the package NumericalAlgebraicGeometry, and the other is in the compiled code of PHCpack. △ Less

Submitted 10 May, 2021; originally announced May 2021.

Comments: 9 pages, 1 figure, included in Macaulay2 version 1.18

MSC Class: 14N15; 65H10

Noetherian Operators in Macaulay2

Authors: Justin Chen, Yairon Cid-Ruiz, Marc Härkönen, Robert Krone, Anton Leykin

Abstract: A primary ideal in a polynomial ring can be described by the variety it defines and a finite set of Noetherian operators, which are differential operators with polynomial coefficients. We implement both symbolic and numerical algorithms to produce such a description in various scenarios as well as routines for studying affine schemes through the prism of Noetherian operators and Macaulay dual spac… ▽ More A primary ideal in a polynomial ring can be described by the variety it defines and a finite set of Noetherian operators, which are differential operators with polynomial coefficients. We implement both symbolic and numerical algorithms to produce such a description in various scenarios as well as routines for studying affine schemes through the prism of Noetherian operators and Macaulay dual spaces. △ Less

Submitted 4 January, 2021; originally announced January 2021.

Comments: 6 pages, source code distributed with Macaulay2 since version 1.17

MSC Class: 14-04; 14Q15; 13N05; 65L80; 65D05

Journal ref: J. Softw. Alg. Geom. 12 (2022) 33-41

Inflation of poorly conditioned zeros of systems of analytic functions

Authors: Michael Burr, Anton Leykin

Abstract: Given a system of analytic functions and an approximate zero, we introduce inflation to transform this system into one with a regular quadratic zero. This leads to a method for isolating a cluster of zeros of the given system. Given a system of analytic functions and an approximate zero, we introduce inflation to transform this system into one with a regular quadratic zero. This leads to a method for isolating a cluster of zeros of the given system. △ Less

Submitted 26 October, 2020; v1 submitted 12 September, 2020; originally announced September 2020.

Comments: 9 pages, 1 figure

MSC Class: 65H10; 14Q99; 68W30 ACM Class: G.1.5

Noetherian operators and primary decomposition

Authors: Justin Chen, Marc Härkönen, Robert Krone, Anton Leykin

Abstract: Noetherian operators are differential operators that encode primary components of a polynomial ideal. We develop a framework, as well as algorithms, for computing Noetherian operators with local dual spaces, both symbolically and numerically. For a primary ideal, such operators provide an alternative representation to one given by a set of generators. This description fits well with numerical alge… ▽ More Noetherian operators are differential operators that encode primary components of a polynomial ideal. We develop a framework, as well as algorithms, for computing Noetherian operators with local dual spaces, both symbolically and numerically. For a primary ideal, such operators provide an alternative representation to one given by a set of generators. This description fits well with numerical algebraic geometry, taking a step toward the goal of numerical primary decomposition. △ Less

Submitted 24 June, 2020; originally announced June 2020.

Comments: 17 pages, codebase available at https://github.com/haerski/NoetherianOperators

MSC Class: 14Q15; 14-04; 13N05; 65L80; 65D05

PL${}_{1}$P -- Point-line Minimal Problems under Partial Visibility in Three Views

Authors: Timothy Duff, Kathlén Kohn, Anton Leykin, Tomas Pajdla

Abstract: We present a complete classification of minimal problems for generic arrangements of points and lines in space observed partially by three calibrated perspective cameras when each line is incident to at most one point. This is a large class of interesting minimal problems that allows missing observations in images due to occlusions and missed detections. There is an infinite number of such minimal… ▽ More We present a complete classification of minimal problems for generic arrangements of points and lines in space observed partially by three calibrated perspective cameras when each line is incident to at most one point. This is a large class of interesting minimal problems that allows missing observations in images due to occlusions and missed detections. There is an infinite number of such minimal problems; however, we show that they can be reduced to 140616 equivalence classes by removing superfluous features and relabeling the cameras. We also introduce camera-minimal problems, which are practical for designing minimal solvers, and show how to pick a simplest camera-minimal problem for each minimal problem. This simplification results in 74575 equivalence classes. Only 76 of these were known; the rest are new. In order to identify problems that have potential for practical solving of image matching and 3D reconstruction, we present several smaller natural subfamilies of camera-minimal problems as well as compute solution counts for all camera-minimal problems which have less than 300 solutions for generic data. △ Less

Submitted 10 March, 2020; originally announced March 2020.

MSC Class: 14M20; 14Q15; 14N99; 15A69; 65H20; 68T45; 13P10; 13P25

A numerical toolkit for multiprojective varieties

Authors: Jonathan D. Hauenstein, Anton Leykin, Jose Israel Rodriguez, Frank Sottile

Abstract: A numerical description of an algebraic subvariety of projective space is given by a general linear section, called a witness set. For a subvariety of a product of projective spaces (a multiprojective variety), the corresponding numerical description is given by a witness collection, whose structure is more involved. We build on recent work to develop a toolkit for the numerical manipulation of mu… ▽ More A numerical description of an algebraic subvariety of projective space is given by a general linear section, called a witness set. For a subvariety of a product of projective spaces (a multiprojective variety), the corresponding numerical description is given by a witness collection, whose structure is more involved. We build on recent work to develop a toolkit for the numerical manipulation of multiprojective varieties that operates on witness collections, and use this toolkit in an algorithm for numerical irreducible decomposition of multiprojective varieties. The toolkit and decomposition algorithm are illustrated throughout in a series of examples. △ Less

Submitted 29 April, 2020; v1 submitted 2 August, 2019; originally announced August 2019.

Comments: 28 pages

MSC Class: 65H10

PLMP -- Point-Line Minimal Problems in Complete Multi-View Visibility

Authors: Timothy Duff, Kathlén Kohn, Anton Leykin, Tomas Pajdla

Abstract: We present a complete classification of all minimal problems for generic arrangements of points and lines completely observed by calibrated perspective cameras. We show that there are only 30 minimal problems in total, no problems exist for more than 6 cameras, for more than 5 points, and for more than 6 lines. We present a sequence of tests for detecting minimality starting with counting degrees… ▽ More We present a complete classification of all minimal problems for generic arrangements of points and lines completely observed by calibrated perspective cameras. We show that there are only 30 minimal problems in total, no problems exist for more than 6 cameras, for more than 5 points, and for more than 6 lines. We present a sequence of tests for detecting minimality starting with counting degrees of freedom and ending with full symbolic and numeric verification of representative examples. For all minimal problems discovered, we present their algebraic degrees, i.e. the number of solutions, which measure their intrinsic difficulty. It shows how exactly the difficulty of problems grows with the number of views. Importantly, several new minimal problems have small degrees that might be practical in image matching and 3D reconstruction. △ Less

Submitted 5 September, 2019; v1 submitted 24 March, 2019; originally announced March 2019.

MSC Class: 14M20; 14Q15; 14N99; 15A69; 65H20; 68T45; 13P10; 13P25

Trifocal Relative Pose from Lines at Points and its Efficient Solution

Authors: Ricardo Fabbri, Timothy Duff, Hongyi Fan, Margaret Regan, David da Costa de Pinho, Elias Tsigaridas, Charles Wampler, Jonathan Hauenstein, Benjamin Kimia, Anton Leykin, Tomas Pajdla

Abstract: We present a method for solving two minimal problems for relative camera pose estimation from three views, which are based on three view correspondences of i) three points and one line and the novel case of ii) three points and two lines through two of the points. These problems are too difficult to be efficiently solved by the state of the art Groebner basis methods. Our method is based on a new… ▽ More We present a method for solving two minimal problems for relative camera pose estimation from three views, which are based on three view correspondences of i) three points and one line and the novel case of ii) three points and two lines through two of the points. These problems are too difficult to be efficiently solved by the state of the art Groebner basis methods. Our method is based on a new efficient homotopy continuation (HC) solver framework MINUS, which dramatically speeds up previous HC solving by specializing HC methods to generic cases of our problems. We characterize their number of solutions and show with simulated experiments that our solvers are numerically robust and stable under image noise, a key contribution given the borderline intractable degree of nonlinearity of trinocular constraints. We show in real experiments that i) SIFT feature location and orientation provide good enough point-and-line correspondences for three-view reconstruction and ii) that we can solve difficult cases with too few or too noisy tentative matches, where the state of the art structure from motion initialization fails. △ Less

Submitted 29 November, 2022; v1 submitted 23 March, 2019; originally announced March 2019.

Comments: First appeared at CVPR - Computer Vision and Pattern Recognition Conference 2020. This material is based upon work supported by the National Science Foundation under Grant No. DMS-1439786 while most authors were in residence at Brown University's Institute for Computational and Experimental Research in Mathematics -- ICERM, in Providence, RI

MSC Class: 14Qxx; 12Yxx; 51N15; 14N05; 53A20; 17B81; 22E70; 53A04; 53A55; 53Bxx; 53B5; 57R25; 58C25; 68T40; 68U05; 70B1; 70G55; 70G65; 90C30 ACM Class: I.4.5; I.4.8; I.2.9; I.2.10; I.1.2; G.1.3; G.1.5

Journal ref: IEEE Transactions on Pattern Analysis and Machine Intelligence, preprint available December 2022

Effective certification of approximate solutions to systems of equations involving analytic functions

Authors: Michael Burr, Kisun Lee, Anton Leykin

Abstract: We develop algorithms for certifying an approximation to a nonsingular solution of a square system of equations built from univariate analytic functions. These algorithms are based on the existence of oracles for evaluating basic data about the input analytic functions. One approach for certification is based on alpha-theory while the other is based on the Krawczyk generalization of Newton's itera… ▽ More We develop algorithms for certifying an approximation to a nonsingular solution of a square system of equations built from univariate analytic functions. These algorithms are based on the existence of oracles for evaluating basic data about the input analytic functions. One approach for certification is based on alpha-theory while the other is based on the Krawczyk generalization of Newton's iteration. We show that the necessary oracles exist for D-finite functions and compare the two algorithmic approaches for this case using our software implementation in SageMath. △ Less

Submitted 19 July, 2019; v1 submitted 24 January, 2019; originally announced January 2019.

Comments: 16 pages

MSC Class: 14Q99; 68W30

Monodromy Solver: Sequential and Parallel

Authors: Nathan Bliss, Timothy Duff, Anton Leykin, Jeff Sommars

Abstract: We describe, study, and experiment with an algorithm for finding all solutions of systems of polynomial equations using homotopy continuation and monodromy. This algorithm follows a framework developed in previous work and can operate in the presence of a large number of failures of the homotopy continuation subroutine. We give special attention to parallelization and probabilistic analysis of a m… ▽ More We describe, study, and experiment with an algorithm for finding all solutions of systems of polynomial equations using homotopy continuation and monodromy. This algorithm follows a framework developed in previous work and can operate in the presence of a large number of failures of the homotopy continuation subroutine. We give special attention to parallelization and probabilistic analysis of a model adapted to parallelization and failures. Apart from theoretical results, we developed a simulator that allows us to run a large number of experiments without recomputing the outcomes of the continuation subroutine. △ Less

Submitted 30 May, 2018; originally announced May 2018.

Comments: 19 pages, accepted to ISSAC 2018

MSC Class: 14Q99; 65H99; 68W20

Stillman's conjecture via generic initial ideals

Authors: Jan Draisma, Michal Lason, Anton Leykin

Abstract: Using recent work by Erman-Sam-Snowden, we show that finitely generated ideals in the ring of bounded-degree formal power series in infinitely many variables have finitely generated Gröbner bases relative to the graded reverse lexicographic order. We then combine this result with the first author's work on topological Noetherianity of polynomial functors to give an algorithmic proof of the followi… ▽ More Using recent work by Erman-Sam-Snowden, we show that finitely generated ideals in the ring of bounded-degree formal power series in infinitely many variables have finitely generated Gröbner bases relative to the graded reverse lexicographic order. We then combine this result with the first author's work on topological Noetherianity of polynomial functors to give an algorithmic proof of the following statement: ideals in polynomial rings generated by a fixed number of homogeneous polynomials of fixed degrees only have a finite number of possible generic initial ideals, independently of the number of variables that they involve and independently of the characteristic of the ground field. Our algorithm outputs not only a finite list of possible generic initial ideals, but also finite descriptions of the corresponding strata in the space of coefficients. △ Less

Submitted 7 January, 2019; v1 submitted 27 February, 2018; originally announced February 2018.

Comments: Several minor edits

MSC Class: 13A02; 13E99

Journal ref: Communications in Algebra 47 (2019), no. 6, 2384-2395

Numerical Schubert Calculus via the Littlewood-Richardson Homotopy Algorithm

Authors: Anton Leykin, Abraham Martin del Campo, Frank Sottile, Ravi Vakil, Jan Verschelde

Abstract: We develop the Littlewood-Richardson homotopy algorithm, which uses numerical continuation to compute solutions to Schubert problems on Grassmannians and is based on the geometric Littlewood-Richardson rule. One key ingredient of this algorithm is our new optimal formulation of Schubert problems in local Stiefel coordinates as systems of equations. Our implementation can solve problem instances wi… ▽ More We develop the Littlewood-Richardson homotopy algorithm, which uses numerical continuation to compute solutions to Schubert problems on Grassmannians and is based on the geometric Littlewood-Richardson rule. One key ingredient of this algorithm is our new optimal formulation of Schubert problems in local Stiefel coordinates as systems of equations. Our implementation can solve problem instances with tens of thousands of solutions. △ Less

Submitted 3 July, 2020; v1 submitted 3 February, 2018; originally announced February 2018.

Comments: 27 pages, many figures

MSC Class: 14N15; 65H10

Beyond Polyhedral Homotopies

Authors: Anton Leykin, Josephine Yu

Abstract: We present a new algorithmic framework which utilizes tropical geometry and homotopy continuation for solving systems of polynomial equations where some of the polynomials are generic elements in linear subspaces of the polynomial ring. This approach generalizes the polyhedral homotopies by Huber and Sturmfels. We present a new algorithmic framework which utilizes tropical geometry and homotopy continuation for solving systems of polynomial equations where some of the polynomials are generic elements in linear subspaces of the polynomial ring. This approach generalizes the polyhedral homotopies by Huber and Sturmfels. △ Less

Submitted 12 June, 2017; originally announced June 2017.

Comments: 8 pages, 1 figure

MSC Class: 14Q99; 14T05

Equivariant Gröbner bases

Authors: Christopher J. Hillar, Robert Krone, Anton Leykin

Abstract: Algorithmic computation in polynomial rings is a classical topic in mathematics. However, little attention has been given to the case of rings with an infinite number of variables until recently when theoretical efforts have made possible the development of effective routines. Ability to compute relies on finite generation up to symmetry for ideals invariant under a large group or monoid action, s… ▽ More Algorithmic computation in polynomial rings is a classical topic in mathematics. However, little attention has been given to the case of rings with an infinite number of variables until recently when theoretical efforts have made possible the development of effective routines. Ability to compute relies on finite generation up to symmetry for ideals invariant under a large group or monoid action, such as the permutations of the natural numbers. We summarize the current state of theory and applications for equivariant Gröbner bases, develop several algorithms to compute them, showcase our software implementation, and close with several open problems and computational challenges. △ Less

Submitted 1 August, 2017; v1 submitted 6 October, 2016; originally announced October 2016.

Comments: 23 pages, 1 figure. arXiv admin note: text overlap with arXiv:1604.08517

Solving polynomial systems via homotopy continuation and monodromy

Authors: Timothy Duff, Cvetelina Hill, Anders Jensen, Kisun Lee, Anton Leykin, Jeff Sommars

Abstract: We study methods for finding the solution set of a generic system in a family of polynomial systems with parametric coefficients. We present a framework for describing monodromy based solvers in terms of decorated graphs. Under the theoretical assumption that monodromy actions are generated uniformly, we show that the expected number of homotopy paths tracked by an algorithm following this framewo… ▽ More We study methods for finding the solution set of a generic system in a family of polynomial systems with parametric coefficients. We present a framework for describing monodromy based solvers in terms of decorated graphs. Under the theoretical assumption that monodromy actions are generated uniformly, we show that the expected number of homotopy paths tracked by an algorithm following this framework is linear in the number of solutions. We demonstrate that our software implementation is competitive with the existing state-of-the-art methods implemented in other software packages. △ Less

Submitted 16 April, 2018; v1 submitted 27 September, 2016; originally announced September 2016.

Comments: 30 pages

MSC Class: 14Q99; 65H99; 68W20

Trace test

Authors: Anton Leykin, Jose Israel Rodriguez, Frank Sottile

Abstract: The trace test in numerical algebraic geometry verifies the completeness of a witness set of an irreducible variety in affine or projective space. We give a brief derivation of the trace test and then consider it for subvarieties of products of projective spaces using multihomogeneous witness sets. We show how a dimension reduction leads to a practical trace test in this case involving a curve in… ▽ More The trace test in numerical algebraic geometry verifies the completeness of a witness set of an irreducible variety in affine or projective space. We give a brief derivation of the trace test and then consider it for subvarieties of products of projective spaces using multihomogeneous witness sets. We show how a dimension reduction leads to a practical trace test in this case involving a curve in a low-dimensional affine space. △ Less

Submitted 26 May, 2017; v1 submitted 1 August, 2016; originally announced August 2016.

Comments: 12 pages, 6 figures

MSC Class: 14Q99

Hilbert series of symmetric ideals in infinite polynomial rings via formal languages

Authors: Robert Krone, Anton Leykin, Andrew Snowden

Abstract: Let $R$ be the polynomial ring $K[x_{i,j}]$ where $1 \le i \le r$ and $j \in \mathbb{N}$, and let $I$ be an ideal of $R$ stable under the natural action of the infinite symmetric group $S_{\infty}$. Nagel--Römer recently defined a Hilbert series $H_I(s,t)$ of $I$ and proved that it is rational. We give a much shorter proof of this theorem using tools from the theory of formal languages and a simpl… ▽ More Let $R$ be the polynomial ring $K[x_{i,j}]$ where $1 \le i \le r$ and $j \in \mathbb{N}$, and let $I$ be an ideal of $R$ stable under the natural action of the infinite symmetric group $S_{\infty}$. Nagel--Römer recently defined a Hilbert series $H_I(s,t)$ of $I$ and proved that it is rational. We give a much shorter proof of this theorem using tools from the theory of formal languages and a simple algorithm that computes the series. △ Less

Submitted 25 June, 2016; originally announced June 2016.

Comments: 8 pages, no figures

MSC Class: 13D40; 13P99

Survey on the $D$-module $f^s$

Authors: Anton Leykin, Uli Walther

Abstract: In this survey we discuss various aspects of the singularity invariants with differential origin derived from the $D$-module generated by $f^s$. In this survey we discuss various aspects of the singularity invariants with differential origin derived from the $D$-module generated by $f^s$. △ Less

Submitted 9 November, 2015; v1 submitted 28 April, 2015; originally announced April 2015.

Comments: 30 pages

MSC Class: 14F10; 14N20; 13D45; 32S22; 58A10; 14F40; 14J17; 32C38

Eliminating dual spaces

Authors: Robert Krone, Anton Leykin

Abstract: Macaulay dual spaces provide a local description of an affine scheme and give rise to computational machinery that is compatible with the methods of numerical algebraic geometry. We introduce eliminating dual spaces, use them for computing dual spaces of quotient ideals, and develop an algorithm for detection of embedded points on an algebraic curve. Macaulay dual spaces provide a local description of an affine scheme and give rise to computational machinery that is compatible with the methods of numerical algebraic geometry. We introduce eliminating dual spaces, use them for computing dual spaces of quotient ideals, and develop an algorithm for detection of embedded points on an algebraic curve. △ Less

Submitted 6 March, 2015; originally announced March 2015.

Comments: 18 pages, 0 figures. arXiv admin note: substantial text overlap with arXiv:1405.7871

MSC Class: 14Q99; 13P99; 65D99

Computing tropical curves via homotopy continuation

Authors: Anders Jensen, Anton Leykin, Josephine Yu

Abstract: Exploiting a connection between amoebas and tropical curves, we devise a method for computing tropical curves using numerical algebraic geometry and give an implementation. As an application, we use this technique to compute Newton polygons of $A$-polynomials of knots. Exploiting a connection between amoebas and tropical curves, we devise a method for computing tropical curves using numerical algebraic geometry and give an implementation. As an application, we use this technique to compute Newton polygons of $A$-polynomials of knots. △ Less

Submitted 13 August, 2014; originally announced August 2014.

Comments: 16 pages, 3 figures

MSC Class: 14T05; 14Q05

Journal ref: Exp. Math. 25 (2016), no. 1, 83-93

Numerical algorithms for detecting embedded components

Authors: Robert Krone, Anton Leykin

Abstract: We produce algorithms to detect whether a complex affine variety computed and presented numerically by the machinery of numerical algebraic geometry corresponds to an associated component of a polynomial ideal. We produce algorithms to detect whether a complex affine variety computed and presented numerically by the machinery of numerical algebraic geometry corresponds to an associated component of a polynomial ideal. △ Less

Submitted 14 January, 2016; v1 submitted 30 May, 2014; originally announced May 2014.

Comments: 22 pages, 2 figures

MSC Class: 14Q99; 13P99; 65D99

Equivariant lattice generators and Markov bases

Authors: Thomas Kahle, Robert Krone, Anton Leykin

Abstract: It has been shown recently that monomial maps in a large class respecting the action of the infinite symmetric group have, up to symmetry, finitely generated kernels. We study the simplest nontrivial family in this class: the maps given by a single monomial. Considering the corresponding lattice map, we explicitly construct an equivariant lattice generating set, whose width (the number of variable… ▽ More It has been shown recently that monomial maps in a large class respecting the action of the infinite symmetric group have, up to symmetry, finitely generated kernels. We study the simplest nontrivial family in this class: the maps given by a single monomial. Considering the corresponding lattice map, we explicitly construct an equivariant lattice generating set, whose width (the number of variables necessary to write it down) depends linearly on the width of the map. This result is sharp and improves dramatically the previously known upper bound as it does not depend on the degree of the image monomial. In the case of of width two, we construct an explicit finite set of binomials generating the toric ideal up to symmetry. Both width and degree of this generating set are sharply bounded by linear functions in the exponents of the monomial. △ Less

Submitted 9 May, 2014; v1 submitted 2 January, 2014; originally announced January 2014.

Comments: 18 pages; v2: small improvements, added Corollary 2.7, Remark 4.10, v3: final version, accepted at ISSAC 2014

MSC Class: Primary: 13E15; Secondary: 13P10; 14M25; 05E18; 14L30; 20B30

Journal ref: Proc. ISSAC '14 (2014) 264-271

Bertini for Macaulay2

Authors: Daniel J. Bates, Elizabeth Gross, Anton Leykin, Jose Israel Rodriguez

Abstract: Numerical algebraic geometry is the field of computational mathematics concerning the numerical solution of polynomial systems of equations. Bertini, a popular software package for computational applications of this field, includes implementations of a variety of algorithms based on polynomial homotopy continuation. The Macaulay2 package Bertini.m2 provides an interface to Bertini, making it possi… ▽ More Numerical algebraic geometry is the field of computational mathematics concerning the numerical solution of polynomial systems of equations. Bertini, a popular software package for computational applications of this field, includes implementations of a variety of algorithms based on polynomial homotopy continuation. The Macaulay2 package Bertini.m2 provides an interface to Bertini, making it possible to access the core run modes of Bertini in Macaulay2. With these run modes, users can find approximate solutions to zero-dimensional systems and positive-dimensional systems, test numerically whether a point lies on a variety, sample numerically from a variety, and perform parameter homotopy runs. △ Less

Submitted 11 October, 2013; originally announced October 2013.

MSC Class: 65H10

Noetherianity for infinite-dimensional toric varieties

Authors: Jan Draisma, Rob H. Eggermont, Robert Krone, Anton Leykin

Abstract: We consider a large class of monomial maps respecting an action of the infinite symmetric group, and prove that the toric ideals arising as their kernels are finitely generated up to symmetry. Our class includes many important examples where Noetherianity was recently proved or conjectured. In particular, our results imply Hillar-Sullivant's Independent Set Theorem and settle several finiteness co… ▽ More We consider a large class of monomial maps respecting an action of the infinite symmetric group, and prove that the toric ideals arising as their kernels are finitely generated up to symmetry. Our class includes many important examples where Noetherianity was recently proved or conjectured. In particular, our results imply Hillar-Sullivant's Independent Set Theorem and settle several finiteness conjectures due to Aschenbrenner, Martin del Campo, Hillar, and Sullivant. We introduce a matching monoid and show that its monoid ring is Noetherian up to symmetry. Our approach is then to factorize a more general equivariant monomial map into two parts going through this monoid. The kernels of both parts are finitely generated up to symmetry: recent work by Yamaguchi-Ogawa-Takemura on the (generalized) Birkhoff model provides an explicit degree bound for the kernel of the first part, while for the second part the finiteness follows from the Noetherianity of the matching monoid ring. △ Less

Submitted 16 June, 2015; v1 submitted 4 June, 2013; originally announced June 2013.

Comments: 20 pages

MSC Class: 13E05; 13E15; 13P10

Determinantal representations of hyperbolic curves via polynomial homotopy continuation

Authors: Anton Leykin, Daniel Plaumann

Abstract: A smooth curve in the real projective plane is hyperbolic if its ovals are maximally nested. By the Helton-Vinnikov Theorem, any such curve admits a definite symmetric determinantal representation. We use polynomial homotopy continuation to compute such representations numerically. Our method works by lifting paths from the space of hyperbolic polynomials to a branched cover in the space of pairs… ▽ More A smooth curve in the real projective plane is hyperbolic if its ovals are maximally nested. By the Helton-Vinnikov Theorem, any such curve admits a definite symmetric determinantal representation. We use polynomial homotopy continuation to compute such representations numerically. Our method works by lifting paths from the space of hyperbolic polynomials to a branched cover in the space of pairs of symmetric matrices. △ Less

Submitted 4 July, 2016; v1 submitted 14 December, 2012; originally announced December 2012.

Comments: minor corrections and additions, 13 pages

MSC Class: 14Q05

Computing localizations iteratively

Authors: Francisco-Jesús Castro-Jiménez, Anton Leykin

Abstract: Let $R=\bC[\bfx]$ be a polynomial ring with complex coefficients and $\Dx = \bC<bfx,\bfp>$ be the Weyl algebra. Describing the localization $R_f = R[f^{-1}]$ for nonzero $f\in R$ as a $\Dx$-module amounts to computing the annihilator $A = \Ann(f^a)\subset \Dx$ of the cyclic generator $f^{a}$ for a suitable negative integer $a$. We construct an iterative algorithm that uses truncated annihilators t… ▽ More Let $R=\bC[\bfx]$ be a polynomial ring with complex coefficients and $\Dx = \bC<bfx,\bfp>$ be the Weyl algebra. Describing the localization $R_f = R[f^{-1}]$ for nonzero $f\in R$ as a $\Dx$-module amounts to computing the annihilator $A = \Ann(f^a)\subset \Dx$ of the cyclic generator $f^{a}$ for a suitable negative integer $a$. We construct an iterative algorithm that uses truncated annihilators to build $A$ for planar curves. △ Less

Submitted 22 November, 2011; v1 submitted 2 October, 2011; originally announced October 2011.

Comments: 14 pages

MSC Class: 14Q99

Robust certified numerical homotopy tracking

Authors: Carlos Beltrán, Anton Leykin

Abstract: We describe, for the first time, a completely rigorous homotopy (path--following) algorithm (in the Turing machine model) to find approximate zeros of systems of polynomial equations. If the coordinates of the input systems and the initial zero are rational our algorithm involves only rational computations and if the homotopy is well posed an approximate zero with integer coordinates of the target… ▽ More We describe, for the first time, a completely rigorous homotopy (path--following) algorithm (in the Turing machine model) to find approximate zeros of systems of polynomial equations. If the coordinates of the input systems and the initial zero are rational our algorithm involves only rational computations and if the homotopy is well posed an approximate zero with integer coordinates of the target system is obtained. The total bit complexity is linear in the length of the path in the condition metric, and polynomial in the logarithm of the maximum of the condition number along the path, and in the size of the input. △ Less

Submitted 29 October, 2012; v1 submitted 30 May, 2011; originally announced May 2011.

Comments: 35 pages, 3 figures, 3 tables

Report number: Mittag-Leffler-2011spring MSC Class: 14Q99; 65H20

A search for an optimal start system for numerical homotopy continuation

Authors: Anton Leykin

Abstract: We use our recent implementation of a certified homotopy tracking algorithm to search for start systems that minimize the average complexity of finding all roots of a regular system of polynomial equations. While finding optimal start systems is a hard problem, our experiments show that it is possible to find start systems that deliver better average complexity than the ones that are commonly used… ▽ More We use our recent implementation of a certified homotopy tracking algorithm to search for start systems that minimize the average complexity of finding all roots of a regular system of polynomial equations. While finding optimal start systems is a hard problem, our experiments show that it is possible to find start systems that deliver better average complexity than the ones that are commonly used in the existing homotopy continuation software. △ Less

Submitted 22 May, 2011; originally announced May 2011.

Comments: 17 pages, 7 figures

Report number: Mittag-Leffler-2011spring MSC Class: 65Y20; 14Q99; 68N01

Algorithms for Bernstein-Sato polynomials and multiplier ideals

Authors: Christine Berkesch, Anton Leykin

Abstract: The Bernstein-Sato polynomial (or global b-function) is an important invariant in singularity theory, which can be computed using symbolic methods in the theory of D-modules. After surveying algorithms for computing the global b-function, we develop a new method to compute the local b-function for a single polynomial. We then develop algorithms that compute generalized Bernstein-Sato polynomials o… ▽ More The Bernstein-Sato polynomial (or global b-function) is an important invariant in singularity theory, which can be computed using symbolic methods in the theory of D-modules. After surveying algorithms for computing the global b-function, we develop a new method to compute the local b-function for a single polynomial. We then develop algorithms that compute generalized Bernstein-Sato polynomials of Budur-Mustata-Saito and Shibuta for an arbitrary polynomial ideal. These lead to computations of log canonical thresholds, jum** coefficients, and multiplier ideals. Our algorithm for multiplier ideals simplifies that of Shibuta and shares a common subroutine with our local b-function algorithm. The algorithms we present have been implemented in the D-modules package of the computer algebra system Macaulay2. △ Less

Submitted 25 June, 2010; v1 submitted 7 February, 2010; originally announced February 2010.

Comments: 16 pages, to appear in ISSAC 2010

MSC Class: 14F20 (Primary); 14F18

Certified numerical homotopy tracking

Authors: Carlos Beltrán, Anton Leykin

Abstract: Given a homotopy connecting two polynomial systems we provide a rigorous algorithm for tracking a regular homotopy path connecting an approximate zero of the start system to an approximate zero of the target system. Our method uses recent results on the complexity of homotopy continuation rooted in the alpha theory of Smale. Experimental results obtained with the implementation in the numerical al… ▽ More Given a homotopy connecting two polynomial systems we provide a rigorous algorithm for tracking a regular homotopy path connecting an approximate zero of the start system to an approximate zero of the target system. Our method uses recent results on the complexity of homotopy continuation rooted in the alpha theory of Smale. Experimental results obtained with the implementation in the numerical algebraic geometry package of Macaulay2 demonstrate the practicality of the algorithm. In particular, we confirm the theoretical results for random linear homotopies and illustrate the plausibility of a conjecture by Shub and Smale on a good initial pair. △ Less

Submitted 17 December, 2010; v1 submitted 4 December, 2009; originally announced December 2009.

Comments: 26 pages, 1 figure

MSC Class: 65H20; 14Q99

Numerical Algebraic Geometry for Macaulay2

Authors: Anton Leykin

Abstract: Numerical Algebraic Geometry uses numerical data to describe algebraic varieties. It is based on the methods of numerical polynomial homotopy continuation, an alternative to the classical symbolic approaches of computational algebraic geometry. We present a package, the driving idea behind which is to interlink the existing symbolic methods of Macaulay2 and the powerful engine of numerical approxi… ▽ More Numerical Algebraic Geometry uses numerical data to describe algebraic varieties. It is based on the methods of numerical polynomial homotopy continuation, an alternative to the classical symbolic approaches of computational algebraic geometry. We present a package, the driving idea behind which is to interlink the existing symbolic methods of Macaulay2 and the powerful engine of numerical approximate computations. The core procedures of the package exhibit performance competitive with the other homotopy continuation software. △ Less

Submitted 22 May, 2011; v1 submitted 9 November, 2009; originally announced November 2009.

Comments: 7 pages

Report number: Mittag-Leffler-2011spring MSC Class: 14Q99; 68N01

Journal ref: Numerical algebraic geometry. JSAG, 3:5-10, 2011

Numerical primary decomposition

Authors: Anton Leykin

Abstract: Consider an ideal $I \subset R = \bC[x_1,...,x_n]$ defining a complex affine variety $X \subset \bC^n$. We describe the components associated to $I$ by means of {\em numerical primary decomposition} (NPD). The method is based on the construction of {\em deflation ideal} $I^{(d)}$ that defines the {\em deflated variety} $\dXd$ in a complex space of higher dimension. For every embedded component… ▽ More Consider an ideal $I \subset R = \bC[x_1,...,x_n]$ defining a complex affine variety $X \subset \bC^n$. We describe the components associated to $I$ by means of {\em numerical primary decomposition} (NPD). The method is based on the construction of {\em deflation ideal} $I^{(d)}$ that defines the {\em deflated variety} $\dXd$ in a complex space of higher dimension. For every embedded component there exists $d$ and an isolated component $\dYd$ of $\dId$ projecting onto $Y$. In turn, $\dYd$ can be discovered by existing methods for prime decomposition, in particular, the {\em numerical irreducible decomposition}, applied to $\dXd$. The concept of NPD gives a full description of the scheme $\Spec(R/I)$ by representing each component with a {\em witness set}. We propose an algorithm to produce a collection of witness sets that contains a NPD and that can be used to solve the {\em ideal membership problem} for $I$. △ Less

Submitted 29 May, 2008; v1 submitted 20 January, 2008; originally announced January 2008.

Comments: 16 pages, minor changes made, references added

MSC Class: 14Q99; 65D99

Degree Bounds for Gröbner Bases in Algebras of Solvable Type

Authors: Matthias Aschenbrenner, Anton Leykin

Abstract: We establish doubly-exponential degree bounds for Gröbner bases in certain algebras of solvable type over a field (as introduced by Kandri-Rody and Weispfenning). The class of algebras considered here includes commutative polynomial rings, Weyl algebras, and universal envelo** algebras of finite-dimensional Lie algebras. For the computation of these bounds, we adapt a method due to Dubé based… ▽ More We establish doubly-exponential degree bounds for Gröbner bases in certain algebras of solvable type over a field (as introduced by Kandri-Rody and Weispfenning). The class of algebras considered here includes commutative polynomial rings, Weyl algebras, and universal envelo** algebras of finite-dimensional Lie algebras. For the computation of these bounds, we adapt a method due to Dubé based on a generalization of Stanley decompositions. Our bounds yield doubly-exponential degree bounds for ideal membership and syzygies, generalizing the classical results of Hermann and Seidenberg (in the commutative case) and Grigoriev (in the case of Weyl algebras). △ Less

Submitted 18 November, 2008; v1 submitted 25 October, 2007; originally announced October 2007.

Comments: 36 pages; typos corrected

MSC Class: 13P10; 16Z05

Galois groups of Schubert problems via homotopy computation

Authors: Anton Leykin, Frank Sottile

Abstract: Numerical homotopy continuation of solutions to polynomial equations is the foundation for numerical algebraic geometry, whose development has been driven by applications of mathematics. We use numerical homotopy continuation to investigate the problem in pure mathematics of determining Galois groups in the Schubert calculus. For example, we show by direct computation that the Galois group of th… ▽ More Numerical homotopy continuation of solutions to polynomial equations is the foundation for numerical algebraic geometry, whose development has been driven by applications of mathematics. We use numerical homotopy continuation to investigate the problem in pure mathematics of determining Galois groups in the Schubert calculus. For example, we show by direct computation that the Galois group of the Schubert problem of 3-planes in C^8 meeting 15 fixed 5-planes non-trivially is the full symmetric group S_6006. △ Less

Submitted 12 June, 2008; v1 submitted 24 October, 2007; originally announced October 2007.

Comments: 17 pages, 4 figures. 3 references added

MSC Class: 14N15; 65H20

Computing the support of local cohomology modules

Authors: Josep Àlvarez Montaner, Anton Leykin

Abstract: For a polynomial ring $R=k[x_1,...,x_n]$, we present a method to compute the characteristic cycle of the localization $R_f$ for any nonzero polynomial $f\in R$ that avoids a direct computation of $R_f$ as a $D$-module. Based on this approach, we develop an algorithm for computing the characteristic cycle of the local cohomology modules $H^r_I(R)$ for any ideal $I\subseteq R$ using the Čech compl… ▽ More For a polynomial ring $R=k[x_1,...,x_n]$, we present a method to compute the characteristic cycle of the localization $R_f$ for any nonzero polynomial $f\in R$ that avoids a direct computation of $R_f$ as a $D$-module. Based on this approach, we develop an algorithm for computing the characteristic cycle of the local cohomology modules $H^r_I(R)$ for any ideal $I\subseteq R$ using the Čech complex. The algorithm, in particular, is useful for answering questions regarding vanishing of local cohomology modules and computing Lyubeznik numbers. These applications are illustrated by examples of computations using our implementation of the algorithm in Macaulay~2. △ Less

Submitted 19 September, 2006; v1 submitted 6 June, 2006; originally announced June 2006.

Comments: 15 pages

MSC Class: 13D45; 13N10

Higher-Order Deflation for Polynomial Systems with Isolated Singular Solutions

Authors: Anton Leykin, Jan Verschelde, Ailing Zhao

Abstract: Given an approximation to a multiple isolated solution of a polynomial system of equations, we have provided a symbolic-numeric deflation algorithm to restore the quadratic convergence of Newton's method. Using first-order derivatives of the polynomials in the system, our method creates an augmented system of equations which has the multiple isolated solution of the original system as a regular… ▽ More Given an approximation to a multiple isolated solution of a polynomial system of equations, we have provided a symbolic-numeric deflation algorithm to restore the quadratic convergence of Newton's method. Using first-order derivatives of the polynomials in the system, our method creates an augmented system of equations which has the multiple isolated solution of the original system as a regular root. In this paper we consider two approaches to computing the ``multiplicity structure'' at a singular isolated solution. An idea coming from one of them gives rise to our new higher-order deflation method. Using higher-order partial derivatives of the original polynomials, the new algorithm reduces the multiplicity faster than our first method for systems which require several first-order deflation steps. We also present an algorithm to predict the order of the deflation. △ Less

Submitted 4 January, 2007; v1 submitted 1 February, 2006; originally announced February 2006.

Comments: 19 pages

MSC Class: 65H10;14Q99; 68W30

Decomposing Solution Sets of Polynomial Systems: A New Parallel Monodromy Breakup Algorithm

Authors: Anton Leykin, Jan Verschelde

Abstract: We consider the numerical irreducible decomposition of a positive dimensional solution set of a polynomial system into irreducible factors. Path tracking techniques computing loops around singularities connect points on the same irreducible components. The computation of a linear trace for each factor certifies the decomposition. This factorization method exhibits a good practical performance on… ▽ More We consider the numerical irreducible decomposition of a positive dimensional solution set of a polynomial system into irreducible factors. Path tracking techniques computing loops around singularities connect points on the same irreducible components. The computation of a linear trace for each factor certifies the decomposition. This factorization method exhibits a good practical performance on solution sets of relative high degrees. Using the same concepts of monodromy and linear trace, we present a new monodromy breakup algorithm. It shows a better performance than the old method which requires construction of permutations of witness points in order to break up the solution set. In contrast, the new algorithm assumes a finer approach allowing us to avoid tracking unnecessary homotopy paths. As we designed the serial algorithm kee** in mind distributed computing, an additional advantage is that its parallel version can be easily built. Synchronization issues resulted in a performance loss of the straightforward parallel version of the old algorithm. Our parallel implementation of the new approach bypasses these issues, therefore, exhibiting a better performance, especially on solution sets of larger degree. △ Less

Submitted 21 September, 2005; originally announced September 2005.

Comments: 15 pages

Newton's method with deflation for isolated singularities of polynomial systems

Authors: Anton Leykin, Jan Verschelde, Ailing Zhao

Abstract: We present a modification of Newton's method to restore quadratic convergence for isolated singular solutions of polynomial systems. Our method is symbolic-numeric: we produce a new polynomial system which has the original multiple solution as a regular root. Using standard bases, a tool for the symbolic computation of multiplicities, we show that the number of deflation stages is bounded by the… ▽ More We present a modification of Newton's method to restore quadratic convergence for isolated singular solutions of polynomial systems. Our method is symbolic-numeric: we produce a new polynomial system which has the original multiple solution as a regular root. Using standard bases, a tool for the symbolic computation of multiplicities, we show that the number of deflation stages is bounded by the multiplicity of the isolated root. Our implementation performs well on a large class of applications. △ Less

Submitted 13 October, 2004; v1 submitted 30 August, 2004; originally announced August 2004.

Comments: 15 pages; preliminary version presented as poster at ISSAC 2004, 6 July 2004, conjecture on number of deflations is proven

MSC Class: 65H10; 14Q99; 68W30

Algorithmic proofs of two theorems of Stafford

Authors: Anton Leykin

Abstract: Two classical results of Stafford say that every (left) ideal of the $n$-th Weyl algebra $A_n$ can be generated by two elements, and every holonomic $A_n$-module is cyclic, i.e. generated by one element. We modify Stafford's original proofs to make the algorithmic computation of these generators possible. Two classical results of Stafford say that every (left) ideal of the $n$-th Weyl algebra $A_n$ can be generated by two elements, and every holonomic $A_n$-module is cyclic, i.e. generated by one element. We modify Stafford's original proofs to make the algorithmic computation of these generators possible. △ Less

Submitted 12 May, 2002; v1 submitted 24 April, 2002; originally announced April 2002.

Comments: 12 pages

MSC Class: 16S32(Primary); 14Q20 (Secondary)

Definitive Computation of Bernstein-Sato Polynomials

Authors: Anton Leykin

Abstract: Let n and d be positive integers, let k be a field and let P(n,d;k) be the space of the polynomials in n variables of degree at most d with coefficients in k. Let B(n,d) be the set of the Bernstein-Sato polynomials of all polynomials in P(n,d;k) as k varies over all fields of characteristic 0. G. Lyubeznik proved that B(n,d) is a finite set and asked if, for a fixed k, the set of the polynomials… ▽ More Let n and d be positive integers, let k be a field and let P(n,d;k) be the space of the polynomials in n variables of degree at most d with coefficients in k. Let B(n,d) be the set of the Bernstein-Sato polynomials of all polynomials in P(n,d;k) as k varies over all fields of characteristic 0. G. Lyubeznik proved that B(n,d) is a finite set and asked if, for a fixed k, the set of the polynomials corresponding to each element of B(n,d) is a constructible subset of P(n,d;k). In this paper we give an affirmative answer to Lyubeznik's question by showing that the set in question is indeed constructible and defined over Q, i.e. its defining equations are the same for all fields k. Moreover, we construct an algorithm that for each pair (n,d) produces a complete list of the elements of B(n,d) and, for each element of this list, an explicit description of the constructible set of polynomials having this particular Bernstein-Sato polynomial. △ Less

Submitted 24 March, 2000; originally announced March 2000.

Comments: 11 pages, latex

MSC Class: 16S32 (Primary) 13P10; 14Q20 (Secondary)