Showing 1–19 of 19 results for author: Perrucci, D

Algebraic Winding Numbers

Authors: Daniel Perrucci, Marie-Françoise Roy

Abstract: In this paper, we propose a new algebraic winding number and prove that it computes the number of complex roots of a polynomial in a rectangle, including roots on edges or vertices with appropriate counting. The definition makes sense for the algebraic closure C = R[i] of a real closed field R, and the root counting result also holds in this case. We study in detail the properties of the algebraic… ▽ More In this paper, we propose a new algebraic winding number and prove that it computes the number of complex roots of a polynomial in a rectangle, including roots on edges or vertices with appropriate counting. The definition makes sense for the algebraic closure C = R[i] of a real closed field R, and the root counting result also holds in this case. We study in detail the properties of the algebraic winding number defined in [3] with respect to complex root counting in rectangles. We extend both winding numbers to rational functions, obtaining then algebraic versions of the argument principle for rectangles. △ Less

Submitted 18 July, 2024; v1 submitted 15 May, 2023; originally announced May 2023.

MSC Class: 12D10; 13J30; 14Q20

Rational certificates of non-negativity on semialgebraic subsets of cylinders

Authors: Gabriela Jeronimo, Daniel Perrucci

Abstract: Let $g_1,\dots, g_s \in \mathbb{R}[X_1,\dots, X_n,Y]$ and $S = \{(\bar{x},y)\in \mathbb{R}^{n+1} \mid g_1(\bar{x},y) \ge 0, \dots, g_s(\bar{x}, y) \ge 0\}$ be a non-empty, possibly unbounded, subset of a cylinder in $\mathbb{R}^{n+1}$. Let $f \in \mathbb{R}[X_1, \dots, X_n, Y]$ be a polynomial which is positive on $S$. We prove that, under certain additional assumptions, for any non-constant polyn… ▽ More Let $g_1,\dots, g_s \in \mathbb{R}[X_1,\dots, X_n,Y]$ and $S = \{(\bar{x},y)\in \mathbb{R}^{n+1} \mid g_1(\bar{x},y) \ge 0, \dots, g_s(\bar{x}, y) \ge 0\}$ be a non-empty, possibly unbounded, subset of a cylinder in $\mathbb{R}^{n+1}$. Let $f \in \mathbb{R}[X_1, \dots, X_n, Y]$ be a polynomial which is positive on $S$. We prove that, under certain additional assumptions, for any non-constant polynomial $q \in \mathbb{R}[Y]$ which is positive on $\mathbb{R}$, there is a certificate of the non-negativity of $f$ on $S$ given by a rational function having as numerator a polynomial in the quadratic module generated by $g_1, \dots, g_s$ and as denominator a power of $q$. △ Less

Submitted 8 January, 2024; v1 submitted 2 May, 2023; originally announced May 2023.

MSC Class: 12D15; 13J30; 14P10

Topology of real multi-affine hypersurfaces and a homological stability property

Authors: Saugata Basu, Daniel Perrucci

Abstract: Let $\mathrm{R}$ be a real closed field. We prove that the number of semi-algebraically connected components of a real hypersurface in $\mathrm{R}^n$ defined by a multi-affine polynomial of degree $d$ is bounded by $2^{d-1}$. This bound is sharp and is independent of $n$ (as opposed to the classical bound of $d(2d -1)^{n-1}$ on the Betti numbers of hypersurfaces defined by arbitrary polynomials of… ▽ More Let $\mathrm{R}$ be a real closed field. We prove that the number of semi-algebraically connected components of a real hypersurface in $\mathrm{R}^n$ defined by a multi-affine polynomial of degree $d$ is bounded by $2^{d-1}$. This bound is sharp and is independent of $n$ (as opposed to the classical bound of $d(2d -1)^{n-1}$ on the Betti numbers of hypersurfaces defined by arbitrary polynomials of degree $d$ in $\mathrm{R}^n$ due to Petrovski{\uı} and Ole{\uı}nik, Thom and Milnor). Moreover, we show there exists $c > 1$, such that given a sequence $(B_n)_{n >0}$ where $B_n$ is a closed ball in $\mathrm{R}^n$ of positive radious, there exist hypersurfaces $(V_n)_{n_>0}$ defined by symmetric multi-affine polynomials of degree $4$, such that $\sum_{i \leq 5} b_i(V_n \cap B_n) > c^n$, where $b_i(\cdot)$ denotes the $i$-th Betti number with rational coeffcients. Finally, as an application of the main result of the paper we verify a representational stability conjecture due to Basu and Riener on the cohomology modules of symmetric real algebraic sets for a new and much larger class of symmetric real algebraic sets than known before. △ Less

Submitted 4 April, 2022; originally announced April 2022.

Comments: 26 pages. Comments welcome

MSC Class: Primary 14F25; 14P25; Secondary 05E05

A few more extensions of Putinar's Positivstellensatz to non-compact sets

Authors: Paula Escorcielo, Daniel Perrucci

Abstract: We extend previous results about Putinar's Positivstellensatz for cylinders of type $S \times {\mathbb R}$ to sets of type $S \times {\mathbb R}^r$ in some special cases taking into account $r$ and the degree of the polynomial with respect to the variables moving in ${\mathbb R}^r$ (this is to say, in the non-bounded directions). These special cases are in correspondence with the ones where the eq… ▽ More We extend previous results about Putinar's Positivstellensatz for cylinders of type $S \times {\mathbb R}$ to sets of type $S \times {\mathbb R}^r$ in some special cases taking into account $r$ and the degree of the polynomial with respect to the variables moving in ${\mathbb R}^r$ (this is to say, in the non-bounded directions). These special cases are in correspondence with the ones where the equality between the cone of non-negative polynomials and the cone of sums of squares holds. Degree bounds are provided. △ Less

Submitted 18 May, 2021; originally announced May 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:1811.03586

MSC Class: 12D15; 13J30; 14P10

On sum of squares certificates of non-negativity on a strip

Authors: Paula Escorcielo, Daniel Perrucci

Abstract: A well-known result of Murray Marshall states that every $f \in \mathbb{R} [X,Y]$ non-negative on the strip $[0,1] \times \mathbb{R}$ can be written as $f= σ_0 + σ_1 X(1-X)$ with $σ_0, σ_1$ sums of squares in $\mathbb{R} [X,Y]$. In this work, we present a few results concerning this representation in particular cases. First, under the assumption ${\rm deg}_Y f \leq 2$, by characterizing the extrem… ▽ More A well-known result of Murray Marshall states that every $f \in \mathbb{R} [X,Y]$ non-negative on the strip $[0,1] \times \mathbb{R}$ can be written as $f= σ_0 + σ_1 X(1-X)$ with $σ_0, σ_1$ sums of squares in $\mathbb{R} [X,Y]$. In this work, we present a few results concerning this representation in particular cases. First, under the assumption ${\rm deg}_Y f \leq 2$, by characterizing the extreme rays of a suitable cone, we obtain a degree bound for each term. Then, we consider the case of $f$ positive on $[0,1] \times \mathbb{R}$ and non-vanishing at infinity, and we show again a degree bound for each term, coming from a constructive method to obtain the sum of squares representation. Finally, we show that this constructive method also works in the case of $f$ having only a finite number of zeros, all of them lying on the boundary of the strip, and such that $\frac{\partial f}{\partial X}$ does not vanish at any of them. △ Less

Submitted 9 November, 2020; v1 submitted 9 October, 2019; originally announced October 2019.

MSC Class: 12D15; 13J30; 14P10

A new general formula for the Cauchy Index on an interval with Subresultants

Authors: Daniel Perrucci, Marie-Françoise Roy

Abstract: We present a new formula for the Cauchy index of a rational function on an interval using subresultant polynomials. There is no condition on the endpoints of the interval and the formula also involves in some cases less subresultant polynomials. We present a new formula for the Cauchy index of a rational function on an interval using subresultant polynomials. There is no condition on the endpoints of the interval and the formula also involves in some cases less subresultant polynomials. △ Less

Submitted 17 July, 2020; v1 submitted 6 December, 2018; originally announced December 2018.

MSC Class: 14P99; 13P15; 12D10; 26C15

A version of Putinar's Positivstellensatz for cylinders

Authors: Paula Escorcielo, Daniel Perrucci

Abstract: We prove that, under some additional assumption, Putinar's Positivstellensatz holds on cylinders of type $S \times {\mathbb R}$ with $S = \{x \in {\mathbb R}^n | g_1(x) \ge 0, ..., g_s(x) \ge 0\}$ such that the quadratic module generated by $g_1, ..., g_s$ in ${\mathbb R}[X_1, ..., X_n]$ is archimedean, and we provide a degree bound for the representation of a polynomial… ▽ More We prove that, under some additional assumption, Putinar's Positivstellensatz holds on cylinders of type $S \times {\mathbb R}$ with $S = \{x \in {\mathbb R}^n | g_1(x) \ge 0, ..., g_s(x) \ge 0\}$ such that the quadratic module generated by $g_1, ..., g_s$ in ${\mathbb R}[X_1, ..., X_n]$ is archimedean, and we provide a degree bound for the representation of a polynomial $f \in {\mathbb R}[X_1, ..., X_n, Y]$ which is positive on $S \times {\mathbb R}$ as an explicit element of the quadratic module generated by $g_1, ..., g_s$ in ${\mathbb R}[X_1, ..., X_n, Y]$. We also include an example to show that an additional assumption is necessary for Putinar's Positivstellensatz to hold on cylinders of this type. △ Less

Submitted 21 April, 2020; v1 submitted 8 November, 2018; originally announced November 2018.

Comments: Minor changes from previous version

MSC Class: 12D15; 13J30; 14P10

Quantitative Fundamental Theorem of Algebra

Authors: Daniel Perrucci, Marie-Françoise Roy

Abstract: Using subresultants, we modify a recent real-algebraic proof due to Eisermann of the Fundamental Theorem of Algebra ([FTA]) to obtain the following quantitative information: in order to prove the [FTA] for polynomials of degree $d$, the Intermediate Value Theorem ([IVT]) is requested to hold for real polynomials of degree at most $d^2$. We also explain that the classical proof due to Laplace requi… ▽ More Using subresultants, we modify a recent real-algebraic proof due to Eisermann of the Fundamental Theorem of Algebra ([FTA]) to obtain the following quantitative information: in order to prove the [FTA] for polynomials of degree $d$, the Intermediate Value Theorem ([IVT]) is requested to hold for real polynomials of degree at most $d^2$. We also explain that the classical proof due to Laplace requires [IVT] for real polynomials of exponential degree. These quantitative results highlight the difference in nature of these two proofs. △ Less

Submitted 16 March, 2019; v1 submitted 12 March, 2018; originally announced March 2018.

Comments: New examples and figures included

MSC Class: 14P99; 12D10; 12D15

Journal ref: The Quarterly Journal of Mathematics 70 (2019), no. 3, 1009-1037

Elementary recursive quantifier elimination based on Thom encoding and sign determination

Authors: Daniel Perrucci, Marie-Françoise Roy

Abstract: We describe a new quantifier elimination algorithm for real closed fields based on Thom encoding and sign determination. The complexity of this algorithm is elementary recursive and its proof of correctness is completely algebraic. In particular, the notion of connected components of semialgebraic sets is not used. We describe a new quantifier elimination algorithm for real closed fields based on Thom encoding and sign determination. The complexity of this algorithm is elementary recursive and its proof of correctness is completely algebraic. In particular, the notion of connected components of semialgebraic sets is not used. △ Less

Submitted 26 February, 2017; v1 submitted 9 September, 2016; originally announced September 2016.

Comments: Final version, to appear in Annals of Pure and Applied Logic

MSC Class: 14P10; 03C10

On the Davenport-Mahler bound

Authors: Paula Escorcielo, Daniel Perrucci

Abstract: We prove that the Davenport-Mahler bound holds for arbitrary graphs with vertices on the set of roots of a given univariate polynomial with complex coefficients. We prove that the Davenport-Mahler bound holds for arbitrary graphs with vertices on the set of roots of a given univariate polynomial with complex coefficients. △ Less

Submitted 21 June, 2016; originally announced June 2016.

MSC Class: 12D10; 13P15

An elementary recursive bound for effective Positivstellensatz and Hilbert 17-th problem

Authors: Henri Lombardi, Daniel Perrucci, Marie-Françoise Roy

Abstract: We prove elementary recursive bounds in the degrees for Positivstellensatz and Hilbert 17-th problem, which is the expression of a nonnegative polynomial as a sum of squares of rational functions. We obtain a tower of five exponentials. A precise bound in terms of the number and degree of the polynomials and their number of variables is provided in the paper. We prove elementary recursive bounds in the degrees for Positivstellensatz and Hilbert 17-th problem, which is the expression of a nonnegative polynomial as a sum of squares of rational functions. We obtain a tower of five exponentials. A precise bound in terms of the number and degree of the polynomials and their number of variables is provided in the paper. △ Less

Submitted 11 April, 2017; v1 submitted 8 April, 2014; originally announced April 2014.

MSC Class: 14P99

Zero-nonzero and real-nonreal sign determination

Authors: Daniel Perrucci, Marie-Francoise Roy

Abstract: We consider first the zero-nonzero determination problem, which consists in determining the list of zero-nonzero conditions realized by a finite list of polynomials on a finite set Z included in C^k with C an algebraic closed field. We describe an algorithm to solve the zero-nonzero determination problem and we perform its bit complexity analysis. This algorithm, which is in many ways an adaptatio… ▽ More We consider first the zero-nonzero determination problem, which consists in determining the list of zero-nonzero conditions realized by a finite list of polynomials on a finite set Z included in C^k with C an algebraic closed field. We describe an algorithm to solve the zero-nonzero determination problem and we perform its bit complexity analysis. This algorithm, which is in many ways an adaptation of the methods used to solve the more classical sign determination problem, presents also new ideas which can be used to improve sign determination. Then, we consider the real-nonreal sign determination problem, which deals with both the sign determination and the zero-nonzero determination problem. We describe an algorithm to solve the real-nonreal sign determination problem, we perform its bit complexity analysis and we discuss this problem in a parametric context. △ Less

Submitted 17 May, 2013; originally announced May 2013.

A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set

Authors: Gabriela Jeronimo, Daniel Perrucci

Abstract: We consider the problem of computing the minimum of a polynomial function g on a basic closed semialgebraic set E in R^n. We present a probabilistic symbolic algorithm to find a finite set of sample points of the subset E^{min} of E where the minimum of g is attained, provided that E^{min} is non-empty and has at least one compact connected component. We consider the problem of computing the minimum of a polynomial function g on a basic closed semialgebraic set E in R^n. We present a probabilistic symbolic algorithm to find a finite set of sample points of the subset E^{min} of E where the minimum of g is attained, provided that E^{min} is non-empty and has at least one compact connected component. △ Less

Submitted 19 April, 2013; originally announced April 2013.

MSC Class: 14P10; 14Q20; 68W30

On the minimum of a polynomial function on a basic closed semialgebraic set and applications

Authors: Gabriela Jeronimo, Daniel Perrucci, Elias Tsigaridas

Abstract: We give an explicit upper bound for the algebraic degree and an explicit lower bound for the absolute value of the minimum of a polynomial function on a compact connected component of a basic closed semialgebraic set when this minimum is not zero. As an application, we obtain a lower bound for the separation of two disjoint connected components of basic closed semialgebraic sets, when at least one… ▽ More We give an explicit upper bound for the algebraic degree and an explicit lower bound for the absolute value of the minimum of a polynomial function on a compact connected component of a basic closed semialgebraic set when this minimum is not zero. As an application, we obtain a lower bound for the separation of two disjoint connected components of basic closed semialgebraic sets, when at least one of them is compact. △ Less

Submitted 2 December, 2011; originally announced December 2011.

Linear Solving for Sign Determination

Authors: Daniel Perrucci

Abstract: We give a specific method to solve with quadratic complexity the linear systems arising in known algorithms to deal with the sign determination problem. In particular, this enable us to improve the complexity bound for sign determination in the univariate case. We give a specific method to solve with quadratic complexity the linear systems arising in known algorithms to deal with the sign determination problem. In particular, this enable us to improve the complexity bound for sign determination in the univariate case. △ Less

Submitted 30 November, 2009; originally announced November 2009.

MSC Class: 14P99; 15B35; 12Y05

On the minimum of a positive polynomial over the standard simplex

Authors: Gabriela Jeronimo, Daniel Perrucci

Abstract: We present a new positive lower bound for the minimum value taken by a polynomial P with integer coefficients in k variables over the standard simplex of R^k, assuming that P is positive on the simplex. This bound depends only on the number of variables, the degree and the bitsize of the coefficients of P and improves all previous bounds for arbitrary polynomials which are positive over the simp… ▽ More We present a new positive lower bound for the minimum value taken by a polynomial P with integer coefficients in k variables over the standard simplex of R^k, assuming that P is positive on the simplex. This bound depends only on the number of variables, the degree and the bitsize of the coefficients of P and improves all previous bounds for arbitrary polynomials which are positive over the simplex. △ Less

Submitted 23 June, 2009; originally announced June 2009.

MSC Class: 14P10; 13P10; 26C99

On sign conditions over real multivariate polynomials

Authors: Gabriela Jeronimo, Daniel Perrucci, Juan Sabia

Abstract: We present a new probabilistic algorithm to find a finite set of points intersecting the closure of each connected component of the realization of every sign condition over a family of real polynomials defining regular hypersurfaces that intersect transversally. This enables us to show a probabilistic procedure to list all feasible sign conditions over the polynomials. In addition, we extend the… ▽ More We present a new probabilistic algorithm to find a finite set of points intersecting the closure of each connected component of the realization of every sign condition over a family of real polynomials defining regular hypersurfaces that intersect transversally. This enables us to show a probabilistic procedure to list all feasible sign conditions over the polynomials. In addition, we extend these results to the case of closed sign conditions over an arbitrary family of real multivariate polynomials. The complexity bounds for these procedures improve the known ones. △ Less

Submitted 18 December, 2008; v1 submitted 3 January, 2008; originally announced January 2008.

Comments: extended version

MSC Class: 14P10; 14Q20; 68W30

A parametric representation of totally mixed Nash equilibria

Authors: G. Jeronimo, D. Perrucci, J. Sabia

Abstract: We compute a parametric description of the totally mixed Nash equilibria of a generic game in normal form with pre-fixed structure. Using this representation, we show conditions under which a game has the maximum possible number of this kind of equilibria. Then, we present a symbolic procedure that allows us to describe and estimate the number of isolated totally mixed Nash equilibria of an arbi… ▽ More We compute a parametric description of the totally mixed Nash equilibria of a generic game in normal form with pre-fixed structure. Using this representation, we show conditions under which a game has the maximum possible number of this kind of equilibria. Then, we present a symbolic procedure that allows us to describe and estimate the number of isolated totally mixed Nash equilibria of an arbitrary game. Under certain assumptions, the algorithm computes the exact number of these equilibria. △ Less

Submitted 14 March, 2007; originally announced March 2007.

Comments: 29 pages, submitted

MSC Class: 14Q20; 91A10; 68W30

Some Bounds for the Number of Components of Real Zero Sets of Sparse Polynomials

Authors: Daniel Perrucci

Abstract: We prove that the zero set of a 4-nomial in n variables in the positive orthant has at most three connected components. This bound, which does not depend on the degree of the polynomial, not only improves the best previously known bound (which was 10) but is optimal as well. In the general case, we prove that the number of connected components of the zero set of an m-nomial in n variables in the… ▽ More We prove that the zero set of a 4-nomial in n variables in the positive orthant has at most three connected components. This bound, which does not depend on the degree of the polynomial, not only improves the best previously known bound (which was 10) but is optimal as well. In the general case, we prove that the number of connected components of the zero set of an m-nomial in n variables in the positive orthant is lower than or equal to (n+1)^{m-1}2^{1 + (m - 1)(m - 2)/2}, improving slightly the known bounds. Finally, we show that for generic exponents, the number of non-compact connected components of the zero set of a 5-nomial in three variables in the positive octant is at most 12. This strongly improves the best previously known bound, which was 10384. All the bounds obtained in this paper continue to hold for real exponents. △ Less

Submitted 25 July, 2005; v1 submitted 12 November, 2003; originally announced November 2003.

Comments: 24 pages, 6 figures. Corrected typos, added references

MSC Class: 14P25