Showing 1–26 of 26 results for author: Krick, T

Effective bounds for polynomial systems defined over the rationals

Authors: Teresa Krick

Abstract: This survey paper was primarily written as as the support for a course pesented at the JNCF2025: it aims to present some material that illustrates the kind of estimates one can obtain in effective algebraic geometry, for affine polynomial equation systems defined over the rational numbers Q, and focuses on the case of finite varieties. This survey paper was primarily written as as the support for a course pesented at the JNCF2025: it aims to present some material that illustrates the kind of estimates one can obtain in effective algebraic geometry, for affine polynomial equation systems defined over the rational numbers Q, and focuses on the case of finite varieties. △ Less

Submitted 22 June, 2025; originally announced June 2025.

Comments: Survey, 19 pages

MSC Class: 14Q30 (Primary) 68W30 (Secondary)

A note on the multivariate symmetric Hermite Interpolant

Authors: Teresa Krick, Agnes Szanto

Abstract: In this note we explicit the notion of Hermite interpolant of a multivariate symmetric polynomial, generalizing the notion of Lagrange interpolant to the case when there are roots coalescence, an extension of the results on the symmetric Hermite interpolation basis by M.-F. Roy and A. Szpirglas. In this note we explicit the notion of Hermite interpolant of a multivariate symmetric polynomial, generalizing the notion of Lagrange interpolant to the case when there are roots coalescence, an extension of the results on the symmetric Hermite interpolation basis by M.-F. Roy and A. Szpirglas. △ Less

Submitted 30 January, 2025; originally announced January 2025.

Comments: 16 pages

MSC Class: 13P15; 05E05

An Effective Positivstellensatz over the Rational Numbers for Finite Semialgebraic Sets

Authors: Lorenzo Baldi, Teresa Krick, Bernard Mourrain

Abstract: We study the problem of representing multivariate polynomials with rational coefficients, which are nonnegative and strictly positive on finite semialgebraic sets, using rational sums of squares. We focus on the case of finite semialgebraic sets S defined by equality constraints, generating a zero-dimensional ideal I, and by nonnegative sign constraints. First, we obtain existential results. W… ▽ More We study the problem of representing multivariate polynomials with rational coefficients, which are nonnegative and strictly positive on finite semialgebraic sets, using rational sums of squares. We focus on the case of finite semialgebraic sets S defined by equality constraints, generating a zero-dimensional ideal I, and by nonnegative sign constraints. First, we obtain existential results. We prove that a strictly positive polynomial f with coefficients in a subfield K of R has a representation in terms of weighted Sums-of-Squares with coefficients in this field, even if the ideal I is not radical. We generalize this result to the case where f is nonnegative on S and (f ) + (I : f ) = 1. We deduce that nonnegative polynomials with coefficients in K can be represented in terms of Sum-of-Squares of polynomials with coefficients in K, when the ideal is radical. Second, we obtain degree bounds for such Sums-of-Squares representations, which depend linearly on the regularity of the ideal and the degree of the defining equations, when they form a graded basis. Finally, we analyze the bit complexity of the Sums-of-Squares representations for polynomials with coefficients in Q, in the case the ideal is radical. The bitsize bounds are quadratic or cubic in the Bezout bound, and linear in the regularity, generalizing and improving previous results obtained for special zero dimensional ideals. As an application in the context of polynomial optimization, we retrieve and improve results on the finite convergence and exactness of the moment/Sums-of-Squares hierarchy. △ Less

Submitted 7 October, 2024; originally announced October 2024.

MSC Class: 14Q30; 68W30; 90C23

Univariate Rational Sums of Squares

Authors: Teresa Krick, Bernard Mourrain, Agnes Szanto

Abstract: Given rational univariate polynomials f and g such that gcd(f, g) and f / gcd(f, g) are relatively prime, we show that g is non-negative on all the real roots of f if and only if g is a sum of squares of rational polynomials modulo f. We complete our study by exhibiting an algorithm that produces a certificate that a polynomial g is non-negative on the real roots of a non-zero polynomial f , when… ▽ More Given rational univariate polynomials f and g such that gcd(f, g) and f / gcd(f, g) are relatively prime, we show that g is non-negative on all the real roots of f if and only if g is a sum of squares of rational polynomials modulo f. We complete our study by exhibiting an algorithm that produces a certificate that a polynomial g is non-negative on the real roots of a non-zero polynomial f , when the above assumption is satisfied. △ Less

Submitted 12 April, 2022; v1 submitted 1 December, 2021; originally announced December 2021.

Comments: Revista de la Union Matematica Argentina, 2022

On local analysis

Authors: Felipe Cucker, Teresa Krick

Abstract: We extend to Gaussian distributions a result providing smoothed analysis estimates for condition numbers given as relativized distances to illposedness. We also introduce a notion of local analysis meant to capture the behavior of these condition numbers around a point. We extend to Gaussian distributions a result providing smoothed analysis estimates for condition numbers given as relativized distances to illposedness. We also introduce a notion of local analysis meant to capture the behavior of these condition numbers around a point. △ Less

Submitted 20 May, 2019; originally announced May 2019.

MSC Class: 65Y20

Subresultants of $(x-α)^m$ and $(x-β)^n$, Jacobi polynomials and complexity

Authors: A. Bostan, T. Krick, A. Szanto, M. Valdettaro

Abstract: In an earlier article together with Carlos D'Andrea [BDKSV2017], we described explicit expressions for the coefficients of the order-$d$ polynomial subresultant of $(x-α)^m$ and $(x-β)^n $ with respect to Bernstein's set of polynomials $\{(x-α)^j(x-β)^{d-j}, \, 0\le j\le d\}$, for $0\le d<\min\{m, n\}$. The current paper further develops the study of these structured polynomials and shows that the… ▽ More In an earlier article together with Carlos D'Andrea [BDKSV2017], we described explicit expressions for the coefficients of the order-$d$ polynomial subresultant of $(x-α)^m$ and $(x-β)^n $ with respect to Bernstein's set of polynomials $\{(x-α)^j(x-β)^{d-j}, \, 0\le j\le d\}$, for $0\le d<\min\{m, n\}$. The current paper further develops the study of these structured polynomials and shows that the coefficients of the subresultants of $(x-α)^m$ and $(x-β)^n$ with respect to the monomial basis can be computed in linear arithmetic complexity, which is faster than for arbitrary polynomials. The result is obtained as a consequence of the amazing though seemingly unnoticed fact that these subresultants are scalar multiples of Jacobi polynomials up to an affine change of variables. △ Less

Submitted 5 October, 2019; v1 submitted 31 December, 2018; originally announced December 2018.

Comments: 34 pages, accepted for publication in Journal of Symbolic Computation

MSC Class: 13P15; 15B05; 33C05; 33C45; 33F10; 68W30

Closed formula for univariate subresultants in multiple roots

Authors: Carlos D'Andrea, Teresa Krick, Agnes Szanto, Marcelo Valdettaro

Abstract: We generalize Sylvester single sums to multisets (sets with repeated elements), and show that these sums compute subresultants of two univariate polyomials as a function of their roots independently of their multiplicity structure. This is the first closed formula for subresultants in terms of roots that works for arbitrary polynomials, previous efforts only handled special cases. Our extension in… ▽ More We generalize Sylvester single sums to multisets (sets with repeated elements), and show that these sums compute subresultants of two univariate polyomials as a function of their roots independently of their multiplicity structure. This is the first closed formula for subresultants in terms of roots that works for arbitrary polynomials, previous efforts only handled special cases. Our extension involves in some cases confluent Schur polynomials, and is obtained by using multivariate symmetric interpolation via an Exchange Lemma. △ Less

Submitted 10 December, 2018; v1 submitted 15 December, 2016; originally announced December 2016.

Subresultants in multiple roots: an extremal case

Authors: Alin Bostan, Carlos D'Andrea, Teresa Krick, Agnes Szanto, Marcelo Valdettaro

Abstract: We provide explicit formulae for the coefficients of the order-d polynomial subresultant of (x-α)^m and (x-β)^n with respect to the set of Bernstein polynomials \{(x-α)^j(x-β)^{d-j}, \, 0\le j\le d\}. They are given by hypergeometric expressions arising from determinants of binomial Hankel matrices. We provide explicit formulae for the coefficients of the order-d polynomial subresultant of (x-α)^m and (x-β)^n with respect to the set of Bernstein polynomials \{(x-α)^j(x-β)^{d-j}, \, 0\le j\le d\}. They are given by hypergeometric expressions arising from determinants of binomial Hankel matrices. △ Less

Submitted 18 April, 2017; v1 submitted 12 August, 2016; originally announced August 2016.

Comments: 18 pages, uses elsart. Revised version accepted for publication at Linear Algebra and its Applications

MSC Class: 13P15; 15B05; 33C05

Computing the Homology of Real Projective Sets

Authors: Felipe Cucker, Teresa Krick, Michael Shub

Abstract: We describe and analyze a numerical algorithm for computing the homology (Betti numbers and torsion coefficients) of real projective varieties. Here numerical means that the algorithm is numerically stable (in a sense to be made precise). Its cost depends on the condition of the input as well as on its size and is singly exponential in the number of variables (the dimension of the ambient space) a… ▽ More We describe and analyze a numerical algorithm for computing the homology (Betti numbers and torsion coefficients) of real projective varieties. Here numerical means that the algorithm is numerically stable (in a sense to be made precise). Its cost depends on the condition of the input as well as on its size and is singly exponential in the number of variables (the dimension of the ambient space) and polynomial in the condition and the degrees of the defining polynomials. In addition, we show that outside of an exceptional set of measure exponentially small in the size of the data, the algorithm takes exponential time. △ Less

Submitted 12 May, 2017; v1 submitted 5 February, 2016; originally announced February 2016.

Comments: 36 pages, 2 figures

MSC Class: 65Y20; 65H10; 55U10

Symmetric Interpolation, Exchange Lemma and Sylvester Sums

Authors: Teresa Krick, Agnes Szanto, Marcelo Valdettaro

Abstract: The theory of symmetric multivariate Lagrange interpolation is a beautiful but rather unknown tool that has many applications. Here we derive from it an Exchange Lemma that allows to explain in a simple and natural way the full description of the double sum expressions introduced by Sylvester in 1853 in terms of subresultants and their Bezout coefficients. The theory of symmetric multivariate Lagrange interpolation is a beautiful but rather unknown tool that has many applications. Here we derive from it an Exchange Lemma that allows to explain in a simple and natural way the full description of the double sum expressions introduced by Sylvester in 1853 in terms of subresultants and their Bezout coefficients. △ Less

Submitted 6 September, 2016; v1 submitted 2 March, 2015; originally announced March 2015.

Subresultants, Sylvester sums and the rational interpolation problem

Authors: Carlos D'Andrea, Teresa Krick, Agnes Szanto

Abstract: We present a solution for the classical univariate rational interpolation problem by means of (univariate) subresultants. In the case of Cauchy interpolation (interpolation without multiplicities), we give explicit formulas for the solution in terms of symmetric functions of the input data, generalizing the well-known formulas for Lagrange interpolation. In the case of the osculatory rational inte… ▽ More We present a solution for the classical univariate rational interpolation problem by means of (univariate) subresultants. In the case of Cauchy interpolation (interpolation without multiplicities), we give explicit formulas for the solution in terms of symmetric functions of the input data, generalizing the well-known formulas for Lagrange interpolation. In the case of the osculatory rational interpolation (interpolation with multiplicities), we give determinantal expressions in terms of the input data, making explicit some matrix formulations that can independently be derived from previous results by Beckermann and Labahn. △ Less

Submitted 22 March, 2014; v1 submitted 29 November, 2012; originally announced November 2012.

Comments: 14 pages, revised version accepted for publication in the Journal of Symbolic Computation

MSC Class: 13P15 15A15 68W30

Sylvester's double sums: an inductive proof of the general case

Authors: Teresa Krick, Agnes Szanto

Abstract: In 1853 J. Sylvester introduced a family of double sum expressions for two finite sets of indeterminates and showed that some members of the family are essentially the polynomial subresultants of the monic polynomials associated with these sets. In 2009, in a joint work with C. D'Andrea and H. Hong we gave the complete description of all the members of the family as expressions in the coefficients… ▽ More In 1853 J. Sylvester introduced a family of double sum expressions for two finite sets of indeterminates and showed that some members of the family are essentially the polynomial subresultants of the monic polynomials associated with these sets. In 2009, in a joint work with C. D'Andrea and H. Hong we gave the complete description of all the members of the family as expressions in the coefficients of these polynomials. In 2010, M.-F. Roy and A. Szpirglas presented a new and natural inductive proof for the cases considered by Sylvester. Here we show how induction also allows to obtain the full description of Sylvester's double-sums. △ Less

Submitted 23 June, 2011; originally announced June 2011.

Comments: 12 pages, uses elsart.cls and yjsco.sty

Report number: Mittag-Leffler-2011spring MSC Class: 14Q10; 68W30

Heights of varieties in multiprojective spaces and arithmetic Nullstellensatze

Authors: Carlos D'Andrea, Teresa Krick, Martin Sombra

Abstract: We present bounds for the degree and the height of the polynomials arising in some central problems in effective algebraic geometry including the implicitation of rational maps and the effective Nullstellensatz over a variety. Our treatment is based on arithmetic intersection theory in products of projective spaces and extends to the arithmetic setting constructions and results due to Jelonek. A k… ▽ More We present bounds for the degree and the height of the polynomials arising in some central problems in effective algebraic geometry including the implicitation of rational maps and the effective Nullstellensatz over a variety. Our treatment is based on arithmetic intersection theory in products of projective spaces and extends to the arithmetic setting constructions and results due to Jelonek. A key role is played by the notion of canonical mixed height of a multiprojective variety. We study this notion from the point of view of resultant theory and establish some of its basic properties, including its behavior with respect to intersections, projections and products. We obtain analogous results for the function field case, including a parametric Nullstellensatz. △ Less

Submitted 20 October, 2012; v1 submitted 23 March, 2011; originally announced March 2011.

Comments: 73 pages, 2 figures. To appear in Annales Scientifiques de l'ENS

MSC Class: 11G50; 14Q20; 13P15

Subresultants in Multiple Roots

Authors: Carlos D'Andrea, Teresa Krick, Agnes Szanto

Abstract: We extend our previous work on Poisson-like formulas for subresultants in roots to the case of polynomials with multiple roots in both the univariate and multivariate case, and also explore some closed formulas in roots for univariate polynomials in this multiple roots setting. We extend our previous work on Poisson-like formulas for subresultants in roots to the case of polynomials with multiple roots in both the univariate and multivariate case, and also explore some closed formulas in roots for univariate polynomials in this multiple roots setting. △ Less

Submitted 5 November, 2012; v1 submitted 21 December, 2010; originally announced December 2010.

Comments: 21 pages, latex file. Revised version accepted for publication in Linear Algebra and its Applications

MSC Class: 13P15 (Primary) 15A15; 68W30 (Secondary)

Sharp bounds for the number of roots of univariate fewnomials

Authors: Martin Avendano, Teresa Krick

Abstract: Let K be a field and t>=0. Denote by Bm(t,K) the maximum number of non-zero roots in K, counted with multiplicities, of a non-zero polynomial in K[x] with at most t+1 monomial terms. We prove, using an unified approach based on Vandermonde determinants, that Bm(t,L)<=t^2 Bm(t,K) for any local field L with a non-archimedean valuation v such that v(n)=0 for all non-zero integer n and residue field K… ▽ More Let K be a field and t>=0. Denote by Bm(t,K) the maximum number of non-zero roots in K, counted with multiplicities, of a non-zero polynomial in K[x] with at most t+1 monomial terms. We prove, using an unified approach based on Vandermonde determinants, that Bm(t,L)<=t^2 Bm(t,K) for any local field L with a non-archimedean valuation v such that v(n)=0 for all non-zero integer n and residue field K, and that Bm(t,K)<=(t^2-t+1)(p^f-1) for any finite extension K/Qp with residual class degree f and ramification index e, assuming that p>t+e. For any finite extension K/Qp, for p odd, we also show the lower bound Bm(t,K)>=(2t-1)(p^f-1), which gives the sharp estimation Bm(2,K)=3(p^f-1) for trinomials when p>2+e. △ Less

Submitted 3 March, 2011; v1 submitted 27 August, 2010; originally announced August 2010.

MSC Class: 11S05; 13F30

A Numerical Algorithm for Zero Counting. III: Randomization and Condition

Authors: Felipe Cucker, Teresa Krick, Gregorio Malajovich, Mario Wschebor

Abstract: In a recent paper (Cucker, Krick, Malajovich and Wschebor, A Numerical Algorithm for Zero Counting. I: Complexity and accuracy, J. Compl.,24:582-605, 2008) we analyzed a numerical algorithm for computing the number of real zeros of a polynomial system. The analysis relied on a condition number kappa(f) for the input system f. In this paper, we look at kappa(f) as a random variable derived from imp… ▽ More In a recent paper (Cucker, Krick, Malajovich and Wschebor, A Numerical Algorithm for Zero Counting. I: Complexity and accuracy, J. Compl.,24:582-605, 2008) we analyzed a numerical algorithm for computing the number of real zeros of a polynomial system. The analysis relied on a condition number kappa(f) for the input system f. In this paper, we look at kappa(f) as a random variable derived from imposing a probability measure on the space of polynomial systems and give bounds for both the tail P{kappa(f) > a} and the expected value E(log kappa(f)). △ Less

Submitted 13 June, 2011; v1 submitted 9 July, 2010; originally announced July 2010.

MSC Class: 65H20; 68Q17; 60G60 ACM Class: F.2.1; G.1.5

Journal ref: Advances in Applied Mathematics 48-1, pp. 215-248 (January 2012)

A Numerical Algorithm for Zero Counting. II: Distance to Ill-posedness and Smoothed Analysis

Authors: Felipe Cucker, Teresa Krick, Gregorio Malajovich, Mario Wschebor

Abstract: We show a Condition Number Theorem for the condition number of zero counting for real polynomial systems. That is, we show that this condition number equals the inverse of the normalized distance to the set of ill-posed systems (i.e., those having multiple real zeros). As a consequence, a smoothed analysis of this condition number follows. We show a Condition Number Theorem for the condition number of zero counting for real polynomial systems. That is, we show that this condition number equals the inverse of the normalized distance to the set of ill-posed systems (i.e., those having multiple real zeros). As a consequence, a smoothed analysis of this condition number follows. △ Less

Submitted 22 September, 2009; originally announced September 2009.

ACM Class: F.2.1; G.1

Journal ref: Journal of Fixed Point Theory and Applications 6 No 2, pp 285-294 (Dec. 2009)

A numerical algorithm for zero counting II: Randomization and Condition

Authors: Felipe Cucker, Teresa Krick, Gregorio Malajovich, Mario Wschebor

Abstract: This paper was witdrawn by the authors. This paper was witdrawn by the authors. △ Less

Submitted 22 September, 2009; v1 submitted 17 December, 2008; originally announced December 2008.

Comments: Withdrawn

MSC Class: 65H10; 60D05; 68Q25

A Numerical Algorithm for Zero Counting. I: Complexity and Accuracy

Authors: Felipe Cucker, Teresa Krick, Gregorio Malajovich, Mario Wschebor

Abstract: We describe an algorithm to count the number of distinct real zeros of a polynomial (square) system f. The algorithm performs O(n D kappa(f)) iterations where n is the number of polynomials (as well as the dimension of the ambient space), D is a bound on the polynomials' degree, and kappa(f) is a condition number for the system. Each iteration uses an exponential number of operations. The algori… ▽ More We describe an algorithm to count the number of distinct real zeros of a polynomial (square) system f. The algorithm performs O(n D kappa(f)) iterations where n is the number of polynomials (as well as the dimension of the ambient space), D is a bound on the polynomials' degree, and kappa(f) is a condition number for the system. Each iteration uses an exponential number of operations. The algorithm uses finite-precision arithmetic and a polynomial bound for the precision required to ensure the returned output is correct is exhibited. This bound is a major feature of our algorithm since it is in contrast with the exponential precision required by the existing (symbolic) algorithms for counting real zeros. The algorithm parallelizes well in the sense that each iteration can be computed in parallel polynomial time with an exponential number of processors. △ Less

Submitted 19 March, 2008; v1 submitted 24 October, 2007; originally announced October 2007.

Comments: We made minor but necessary improvements in the presentation

ACM Class: F.2.1; G.1; I.1.2

Journal ref: Journal of Complexity 24 Issues 5-6, pp 582-605 (Oct-Dec 2008)

Sylvester's Double Sums: the general case

Authors: Carlos D'Andrea, Hoon Hong, Teresa Krick, Agnes Szanto

Abstract: In 1853 Sylvester introduced a family of double sum expressions for two finite sets of indeterminates and showed that some members of the family are essentially the polynomial subresultants of the monic polynomials associated with these sets. A question naturally arises: What are the other members of the family? This paper provides a complete answer to this question. The technique that we develo… ▽ More In 1853 Sylvester introduced a family of double sum expressions for two finite sets of indeterminates and showed that some members of the family are essentially the polynomial subresultants of the monic polynomials associated with these sets. A question naturally arises: What are the other members of the family? This paper provides a complete answer to this question. The technique that we developed to answer the question turns out to be general enough to charactise all members of the family, providing a uniform method. △ Less

Submitted 27 March, 2008; v1 submitted 24 January, 2007; originally announced January 2007.

Comments: 16 pages, uses academic.cls and yjsco.sty. Revised version accepted for publication in the special issue of the Journal of Symbolic Computation on the occasion of the MEGA 2007 Conference

MSC Class: 14Q10; 68W30

An Elementary Proof of Sylvester's Double Sums for Subresultants

Authors: Carlos D'Andrea, Hoon Hong, Teresa Krick, Agnes Szanto

Abstract: In 1853 Sylvester stated and proved an elegant formula that expresses the polynomial subresultants in terms of the roots of the input polynomials. Sylvester's formula was also recently proved by Lascoux and Pragacz by using multi-Schur functions and divided differences. In this paper, we provide an elementary proof that uses only basic properties of matrix multiplication and Vandermonde determin… ▽ More In 1853 Sylvester stated and proved an elegant formula that expresses the polynomial subresultants in terms of the roots of the input polynomials. Sylvester's formula was also recently proved by Lascoux and Pragacz by using multi-Schur functions and divided differences. In this paper, we provide an elementary proof that uses only basic properties of matrix multiplication and Vandermonde determinants. △ Less

Submitted 14 September, 2006; v1 submitted 19 April, 2006; originally announced April 2006.

Comments: 9 pages, no figures, simpler proof of the main results thanks to useful comments made by the referees. To appear in Journal of Symbolic Computation

MSC Class: 14Q10;68W30

Factoring bivariate sparse (lacunary) polynomials

Authors: Martin Avendano, Teresa Krick, Martin Sombra

Abstract: We present a deterministic algorithm for computing all irreducible factors of degree $\le d$ of a given bivariate polynomial $f\in K[x,y]$ over an algebraic number field $K$ and their multiplicities, whose running time is polynomial in the bit length of the sparse encoding of the input and in $d$. Moreover, we show that the factors over $\Qbarra$ of degree $\le d$ which are not binomials can als… ▽ More We present a deterministic algorithm for computing all irreducible factors of degree $\le d$ of a given bivariate polynomial $f\in K[x,y]$ over an algebraic number field $K$ and their multiplicities, whose running time is polynomial in the bit length of the sparse encoding of the input and in $d$. Moreover, we show that the factors over $\Qbarra$ of degree $\le d$ which are not binomials can also be computed in time polynomial in the sparse length of the input and in $d$. △ Less

Submitted 7 February, 2006; originally announced February 2006.

Comments: 20 pp, Latex 2e. We learned on January 23th, 2006, that a multivariate version of Theorem 1 had independently been achieved by Erich Kaltofen and Pascal Koiran

MSC Class: Primary 11Y05; Secondary 11Y16; 11G50

Newton-Hensel Interpolation Lifting

Authors: Martin Avendaño, Teresa Krick, Ariel Pacetti

Abstract: The main result of this paper is a new version of Newton-Hensel lifting that relates to interpolation questions. It allows one to lift polynomials in $Z[x]$ from information modulo a prime number $p\ne 2$ to a power $p^k$ for any $k$, and its originality is that it is a mixed version that not only lifts the coefficients of the polynomial but also its exponents. We show that this result correspon… ▽ More The main result of this paper is a new version of Newton-Hensel lifting that relates to interpolation questions. It allows one to lift polynomials in $Z[x]$ from information modulo a prime number $p\ne 2$ to a power $p^k$ for any $k$, and its originality is that it is a mixed version that not only lifts the coefficients of the polynomial but also its exponents. We show that this result corresponds exactly to a Newton-Hensel lifting of a system of $2t$ generalized equations in $2t$ unknowns in the ring of $p$-adic integers $\Z_p$. Finally we apply our results to sparse polynomial interpolation in $\Z[x]$ △ Less

Submitted 1 September, 2005; originally announced September 2005.

Comments: 30 pages

MSC Class: 41A05; 11S05; 68W30

Multivariate Subresultants in Roots

Authors: Carlos D'Andrea, Teresa Krick, Agnes Szanto

Abstract: We give rational expressions for the subresultants of n+1 generic polynomials f_1,..., f_{n+1} in n variables as a function of the coordinates of the common roots of f_1,..., f_n and their evaluation in f_{n+1}. We present a simple technique to prove our results, giving new proofs and generalizing the classical Poisson product formula for the projective resultant, as well as the expressions of H… ▽ More We give rational expressions for the subresultants of n+1 generic polynomials f_1,..., f_{n+1} in n variables as a function of the coordinates of the common roots of f_1,..., f_n and their evaluation in f_{n+1}. We present a simple technique to prove our results, giving new proofs and generalizing the classical Poisson product formula for the projective resultant, as well as the expressions of Hong for univariate subresultants in roots. △ Less

Submitted 28 July, 2005; v1 submitted 18 January, 2005; originally announced January 2005.

Comments: 22 pages, no figures, elsart style, revised version of the paper presented in MEGA 2005, accepted for publication in Journal of Algebra

MSC Class: 14Q10;68W30

The computational complexity of the Chow form

Authors: Gabriela Jeronimo, Teresa Krick, Juan Sabia, Martin Sombra

Abstract: We present a bounded probability algorithm for the computation of the Chow forms of the equidimensional components of an algebraic variety. Its complexity is polynomial in the length and in the geometric degree of the input equation system defining the variety. In particular, it provides an alternative algorithm for the equidimensional decomposition of a variety. As an application we obtain an… ▽ More We present a bounded probability algorithm for the computation of the Chow forms of the equidimensional components of an algebraic variety. Its complexity is polynomial in the length and in the geometric degree of the input equation system defining the variety. In particular, it provides an alternative algorithm for the equidimensional decomposition of a variety. As an application we obtain an algorithm for the computation of a subclass of sparse resultants, whose complexity is polynomial in the dimension and the volume of the input set of exponents. As a further application, we derive an algorithm for the computation of the (unique) solution of a generic over-determined equation system. △ Less

Submitted 1 October, 2002; originally announced October 2002.

Comments: 60 pages, Latex2e

MSC Class: 14Q15; 68W30

Sharp estimates for the arithmetic Nullstellensatz

Authors: Teresa Krick, Luis Miguel Pardo, Martin Sombra

Abstract: We present sharp estimates for the degree and the height of the polynomials in the Nullstellensatz over $\Z$. The result improves previous work of Philippon, Berenstein-Yger and Krick-Pardo. We also present degree and height estimates of intrinsic type, which depend mainly on the degree and the height of the input polynomial system. As an application, we derive an effective arithmetic Nullstel… ▽ More We present sharp estimates for the degree and the height of the polynomials in the Nullstellensatz over $\Z$. The result improves previous work of Philippon, Berenstein-Yger and Krick-Pardo. We also present degree and height estimates of intrinsic type, which depend mainly on the degree and the height of the input polynomial system. As an application, we derive an effective arithmetic Nullstellensatz for sparse polynomial systems. The proof of these results relies heavily on the notion of local height of an affine variety defined over a number field. We introduce this notion and study its basic properties. △ Less

Submitted 13 November, 1999; originally announced November 1999.

Comments: 55 pages, LaTeX2e

MSC Class: Primary: 11G35; Secondary: 13P10