-
arXiv:2305.08638 [pdf, ps, other]
Algebraic Winding Numbers
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
Submitted 18 July, 2024; v1 submitted 15 May, 2023; originally announced May 2023.
MSC Class: 12D10; 13J30; 14Q20
-
arXiv:2305.01636 [pdf, ps, other]
Rational certificates of non-negativity on semialgebraic subsets of cylinders
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
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
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
Submitted 4 April, 2022; originally announced April 2022.
Comments: 26 pages. Comments welcome
MSC Class: Primary 14F25; 14P25; Secondary 05E05
-
arXiv:2105.08785 [pdf, ps, other]
A few more extensions of Putinar's Positivstellensatz to non-compact sets
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
Submitted 18 May, 2021; originally announced May 2021.
Comments: arXiv admin note: substantial text overlap with arXiv:1811.03586
MSC Class: 12D15; 13J30; 14P10
-
arXiv:1910.04147 [pdf, ps, other]
On sum of squares certificates of non-negativity on a strip
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
Submitted 9 November, 2020; v1 submitted 9 October, 2019; originally announced October 2019.
MSC Class: 12D15; 13J30; 14P10
-
arXiv:1812.02470 [pdf, ps, other]
A new general formula for the Cauchy Index on an interval with Subresultants
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.
Submitted 17 July, 2020; v1 submitted 6 December, 2018; originally announced December 2018.
MSC Class: 14P99; 13P15; 12D10; 26C15
-
arXiv:1811.03586 [pdf, ps, other]
A version of Putinar's Positivstellensatz for cylinders
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
Submitted 21 April, 2020; v1 submitted 8 November, 2018; originally announced November 2018.
Comments: Minor changes from previous version
MSC Class: 12D15; 13J30; 14P10
-
arXiv:1803.04358 [pdf, ps, other]
Quantitative Fundamental Theorem of Algebra
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
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
-
arXiv:1609.02879 [pdf, ps, other]
Elementary recursive quantifier elimination based on Thom encoding and sign determination
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.
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
-
arXiv:1606.06572 [pdf, ps, other]
On the Davenport-Mahler bound
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.
Submitted 21 June, 2016; originally announced June 2016.
MSC Class: 12D10; 13P15
-
arXiv:1404.2338 [pdf, ps, other]
An elementary recursive bound for effective Positivstellensatz and Hilbert 17-th problem
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.
Submitted 11 April, 2017; v1 submitted 8 April, 2014; originally announced April 2014.
MSC Class: 14P99
-
arXiv:1305.4131 [pdf, ps, other]
Zero-nonzero and real-nonreal sign determination
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
Submitted 17 May, 2013; originally announced May 2013.
-
arXiv:1304.5558 [pdf, ps, other]
A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set
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.
Submitted 19 April, 2013; originally announced April 2013.
MSC Class: 14P10; 14Q20; 68W30
-
arXiv:1112.0544 [pdf, ps, other]
On the minimum of a polynomial function on a basic closed semialgebraic set and applications
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
Submitted 2 December, 2011; originally announced December 2011.
-
arXiv:0911.5707 [pdf, ps, other]
Linear Solving for Sign Determination
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.
Submitted 30 November, 2009; originally announced November 2009.
MSC Class: 14P99; 15B35; 12Y05
-
arXiv:0906.4377 [pdf, ps, other]
On the minimum of a positive polynomial over the standard simplex
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
Submitted 23 June, 2009; originally announced June 2009.
MSC Class: 14P10; 13P10; 26C99
-
arXiv:0801.0586 [pdf, ps, other]
On sign conditions over real multivariate polynomials
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
Submitted 18 December, 2008; v1 submitted 3 January, 2008; originally announced January 2008.
Comments: extended version
MSC Class: 14P10; 14Q20; 68W30
-
arXiv:math/0703436 [pdf, ps, other]
A parametric representation of totally mixed Nash equilibria
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
Submitted 14 March, 2007; originally announced March 2007.
Comments: 29 pages, submitted
MSC Class: 14Q20; 91A10; 68W30
-
arXiv:math/0311191 [pdf, ps, other]
Some Bounds for the Number of Components of Real Zero Sets of Sparse Polynomials
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
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