Approximate Polynomial GCD by Approximate Syzygies

One way to compute a GCD of a pair of multivariate polynomials is by finding a certain syzygy. We can weaken this to create an “approximate syzygy”, for the purpose of computing an approximate GCD. The primary tools are Gröbner bases and optimization. Depending on specifics of the formulation, one m...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Mathematics in computer science Jg. 13; H. 4; S. 517 - 532
1. Verfasser: Lichtblau, Daniel
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Cham Springer International Publishing 01.12.2019
Springer Nature B.V
Schlagworte:
Computer Science
Linear programming
Mathematics
Mathematics and Statistics
Optimization
Polynomials
Quadratic programming
Quotients
Hybrid symbolic-numeric algorithms
68W30
Numeric Gröbner basis
Approximate polynomial GCD
13P10
Syzygies
Linear programming
13P05
68W25
Quadratic programming
ISSN:1661-8270, 1661-8289
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:One way to compute a GCD of a pair of multivariate polynomials is by finding a certain syzygy. We can weaken this to create an “approximate syzygy”, for the purpose of computing an approximate GCD. The primary tools are Gröbner bases and optimization. Depending on specifics of the formulation, one might use quadratic programming, linear programming, unconstrained with quadratic main term and quartic penalty, or a penalty-free sum-of-squares optimization. There are relative strengths and weaknesses to all four approaches, trade-offs in terms of speed vs. quality of result, size of problem that can be handled, and the like. Once a syzygy is found, there is a polynomial quotient to form, in order to get an approximation to an exact quotient. This step too can be tricky and requires careful handling. We will show what seem to be reasonable formulations for the optimization and quotient steps. We illustrate with several examples from the literature.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1661-8270
1661-8289
DOI:10.1007/s11786-019-00392-w