English
Related papers

Related papers: Numerically computing real points on algebraic set…

200 papers

A polynomial homotopy is a family of polynomial systems, where the systems in the family depend on one parameter. If for one value of the parameter we know a regular solution, then what is the nearest value of the parameter for which the…

Symbolic Computation · Computer Science 2022-06-28 Jan Verschelde , Kylash Viswanathan

We present an efficient computational representation of central simple algebras using Brauer factor sets. Using this representation and polynomial quantum algorithms for number theoretical tasks such as factoring and $S$-unit group…

Number Theory · Mathematics 2024-07-30 Péter Kutas , Mickaël Montessinos

Nonlinear two-point boundary value problems arise in numerous areas of application. The existence and number of solutions for various cases has been studied from a theoretical standpoint. These results generally rely upon growth conditions…

Numerical Analysis · Mathematics 2007-05-23 E. L. Allgower , D. J. Bates , A. J. Sommese , C. W. Wampler

We describe new algorithms to compute Whitney stratifications of real algebraic varieties. Using either conormal or polar techniques, these algorithms stratify a complexification of a given real variety. We then show that the resulting…

Algebraic Geometry · Mathematics 2025-09-03 Martin Helmer , Anton Leykin , Vidit Nanda

We present an algorithm for isolating the roots of an arbitrary complex polynomial $p$ that also works for polynomials with multiple roots provided that the number $k$ of distinct roots is given as part of the input. It outputs $k$ pairwise…

Symbolic Computation · Computer Science 2014-01-24 Kurt Mehlhorn , Michael Sagraloff , Pengming Wang

We consider the problem of defining and computing real analogs of polynomial Hurwitz numbers, in other words, the problem of counting properly normalized real polynomials with fixed ramification profiles over real branch points. We show…

Algebraic Geometry · Mathematics 2018-12-12 Ilia Itenberg , Dimitri Zvonkine

This note presents the multivariate Hermite criterion: a practical and powerful algorithm for determining the number of distinct real and complex roots of a zero-dimensional system of polynomials in any finite number of variables. The final…

Algebraic Geometry · Mathematics 2026-01-21 Volodymyr Oleksiyuk

Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems. This paper proposes adaptations of these tools focusing on solutions of the real analogue:…

Symbolic Computation · Computer Science 2010-05-17 Changbo Chen , James H. Davenport , John P. May , Marc Moreno Maza , Bican Xia , Rong Xiao

In the computation of Feynman integrals which evaluate to multiple polylogarithms one encounters quite often square roots. To express the Feynman integral in terms of multiple polylogarithms, one seeks a transformation of variables, which…

High Energy Physics - Theory · Physics 2018-12-07 Marco Besier , Duco van Straten , Stefan Weinzierl

Tropical varieties capture combinatorial information about how coordinates of points in a classical variety approach zero or infinity. We present algorithms for computing the rays of a complex and real tropical curve defined by polynomials…

Algebraic Geometry · Mathematics 2016-05-16 Daniel A. Brake , Jonathan D. Hauenstein , Cynthia Vinzant

We survey both old and new developments in the theory of algorithms in real algebraic geometry -- starting from effective quantifier elimination in the first order theory of reals due to Tarski and Seidenberg, to more recent algorithms for…

Algebraic Geometry · Mathematics 2014-09-05 Saugata Basu

We study a correspondence between numerical sets and integer partitions that leads to a bijection between simultaneous core partitions and the integer points of a certain polytope. We use this correspondence to prove combinatorial results…

Combinatorics · Mathematics 2022-01-25 Hannah Constantin , Benjamin Houston-Edwards , Nathan Kaplan

This paper presents a systematic approach for computing local solutions to motion planning problems in non-convex environments using numerical optimal control techniques. It extends the range of use of state-of-the-art numerical optimal…

Optimization and Control · Mathematics 2017-10-03 Kristoffer Bergman , Daniel Axehill

Suppose $f$ is a polynomial in $n$ variables with real coefficients, exactly $n+k$ monomial terms, and Newton polytope of positive volume. Estimating the number of connected components of the positive zero set of $f$ is a fundamental…

Algebraic Geometry · Mathematics 2025-02-18 Weixun Deng , J. Maurice Rojas , Cordelia Russell

An ideal of a local polynomial ring can be described by calculating a standard basis with respect to a local monomial ordering. However standard basis algorithms are not numerically stable. Instead we can describe the ideal numerically by…

Algebraic Geometry · Mathematics 2012-11-22 Robert Krone

This thesis deals with automorphisms of real algebraic surfaces, which are polynomial transformations with a polynomial inverse. The main concern is whether their restriction to the real locus reflects all the richness of the complex…

Dynamical Systems · Mathematics 2012-07-03 Arnaud Moncet

We present a FFT-based algorithm for the computation of a polynomial's coefficients from its roots, and apply it to obtain the coefficients of interpolation polynomials, to invert Vandermondians and to evaluate the symmetric functions of a…

Numerical Analysis · Mathematics 2016-08-05 Hans-Rudolf Thomann

Evaluating or finding the roots of a polynomial $f(z) = f_0 + \cdots + f_d z^d$ with floating-point number coefficients is a ubiquitous problem. By using a piecewise approximation of $f$ obtained with a careful use of the Newton polygon of…

Symbolic Computation · Computer Science 2023-02-14 Rémi Imbach , Guillaume Moroz

Multipoint polynomial evaluation and interpolation are fundamental for modern symbolic and numerical computing. The known algorithms solve both problems over any field of constants in nearly linear arithmetic time, but the cost grows to…

Numerical Analysis · Mathematics 2017-04-19 Victor Y. Pan

A strong link between information geometry and algebraic statistics is made by investigating statistical manifolds which are algebraic varieties. In particular it it shown how first and second order efficient estimators can be constructed,…

Statistics Theory · Mathematics 2014-01-13 Kei Kobayashi , Henry P. Wynn