English
Related papers

Related papers: Global residues for sparse polynomial systems

200 papers

Given n polynomials in n variables with a finite number of complex roots, for any of their roots there is a local residue operator assigning a complex number to any polynomial. This is an algebraic, but generally not rational, function of…

alg-geom · Mathematics 2015-06-30 Eduardo Cattani , Alicia Dickenstein , Bernd Sturmfels

We prove a global residual formula in terms of logarithmic indices for one-dimensional holomorphic foliations, with isolated singularities, and logarithmic along normal crossing divisors. We also give a formula for the total sum of the…

Algebraic Geometry · Mathematics 2024-09-11 Maurício Corrêa , Diogo da Silva Machado

Sparse (or toric) elimination exploits the structure of polynomials by measuring their complexity in terms of Newton polytopes instead of total degree. The sparse, or Newton, resultant generalizes the classical homogeneous resultant and its…

Symbolic Computation · Computer Science 2012-01-30 Ioannis Z. Emiris

The Gelfond-Khovanskii residue formula computes the sum of the values of any Laurent polynomial over solutions of a system of Laurent polynomial equations whose Newton polytopes have sufficiently general relative position. We discuss two…

Algebraic Geometry · Mathematics 2007-05-23 Ivan Soprounov

To compute solutions of sparse polynomial systems efficiently we have to exploit the structure of their Newton polytopes. While the application of polyhedral methods naturally excludes solutions with zero components, an irreducible…

Symbolic Computation · Computer Science 2014-05-05 Danko Adrovic , Jan Verschelde

We introduce a new approach to the study of a system of algebraic equations in the algebraic torus whose Newton polytopes have sufficiently general relative positions. Our method is based on the theory of Parshin's residues and tame symbols…

Algebraic Geometry · Mathematics 2015-06-26 Ivan Soprounov

We present randomized algorithms to compute the sumset (Minkowski sum) of two integer sets, and to multiply two univariate integer polynomials given by sparse representations. Our algorithm for sumset has cost softly linear in the combined…

Symbolic Computation · Computer Science 2015-04-27 Andrew Arnold , Daniel S. Roche

We present a new probabilistic symbolic algorithm that, given a variety defined in an n-dimensional affine space by a generic sparse system with fixed supports, computes the Zariski closure of its projection to an l-dimensional coordinate…

Algebraic Geometry · Mathematics 2014-01-24 María Isabel Herrero , Gabriela Jeronimo , Juan Sabia

Resultants, Jacobians and residues are basic invariants of multivariate polynomial systems. We examine their interrelations in the context of toric geometry. The global residue in the torus, studied by Khovanskii, is the sum over local…

alg-geom · Mathematics 2008-02-03 Eduardo Cattani , Alicia Dickenstein , Bernd Sturmfels

Toric (or sparse) elimination theory is a framework developped during the last decades to exploit monomial structures in systems of Laurent polynomials. Roughly speaking, this amounts to computing in a \emph{semigroup algebra}, \emph{i.e.}…

Symbolic Computation · Computer Science 2014-06-26 Jean-Charles Faugere , Pierre-Jean Spaenlehauer , Jules Svartz

The sparse difference resultant introduced in \citep{gao-2015} is a basic concept in difference elimination theory. In this paper, we show that the sparse difference resultant of a generic Laurent transformally essential system can be…

Symbolic Computation · Computer Science 2021-04-21 Chun-Ming Yuan , Zhi-Yong Zhang

To compute solutions of sparse polynomial systems efficiently we have to exploit the structure of their Newton polytopes. While the application of polyhedral methods naturally excludes solutions with zero components, an irreducible…

Symbolic Computation · Computer Science 2013-10-16 Danko Adrovic , Jan Verschelde

In this paper, we give new sparse interpolation algorithms for black box polynomial f whose coefficients are from a finite set. In the univariate case, we recover f from one evaluation of f(a) for a sufficiently large number a. In the…

Symbolic Computation · Computer Science 2017-06-23 Qiao-Long Huang , Xiao-Shan Gao

Given a finite set of vectors spanning a lattice and lying in a halfspace of a real vector space, to each vector $a$ in this vector space one can associate a polytope consisting of nonnegative linear combinations of the vectors in the set…

Combinatorics · Mathematics 2007-05-23 Andras Szenes , Michele Vergne

We establish how the coefficients of a sparse polynomial system influence the sum (or the trace) of its zeros. As an application, we develop numerical tests for verifying whether a set of solutions to a sparse system is complete. These…

Algebraic Geometry · Mathematics 2022-01-14 Taylor Brysiewicz , Michael Burr

We present a Poisson formula for sparse resultants and a formula for the product of the roots of a family of Laurent polynomials, which are valid for arbitrary families of supports. To obtain these formulae, we show that the sparse…

Algebraic Geometry · Mathematics 2015-06-12 Carlos D'Andrea , Martin Sombra

We study the problem of computing the isolated regular solutions of a system \((f_1,\ldots,f_n)\) of \(n\) polynomial equations in \(n\) variables \((X_1, \dots, X_n)\) over a field of characteristic zero \(k\). We focus on systems with a…

Symbolic Computation · Computer Science 2026-05-22 Thi Xuan Vu

Consider a system F of n polynomial equations in n unknowns, over an algebraically closed field of arbitrary characteristic. We present a fast method to find a point in every irreducible component of the zero set Z of F. Our techniques…

Algebraic Geometry · Mathematics 2007-05-23 J. Maurice Rojas

We illustrate an efficient new method for handling polynomial systems with degenerate solution sets. In particular, a corollary of our techniques is a new algorithm to find an isolated point in every excess component of the zero set (over…

Algebraic Geometry · Mathematics 2009-09-25 J. Maurice Rojas

For a system of Laurent polynomials f_1,..., f_n \in C[x_1^{\pm1},..., x_n^{\pm1}] whose coefficients are not too big with respect to its directional resultants, we show that the solutions in the algebraic n-th dimensional complex torus of…

Complex Variables · Mathematics 2014-08-07 Carlos D'Andrea , André Galligo , Martín Sombra
‹ Prev 1 2 3 10 Next ›