Strong Bi-homogeneous Bézout's Theorem and degree bounds for algebraic optimization

Mohab Safey El Din 1, 2 Philippe Trebuchet
1 SPACES - Solving problems through algebraic computation and efficient software
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Let $(f_1, \ldots, f_s)$ be a polynomial family in $\Q[X_1, \ldots, X_n]$ (with $s\leq n-1$) of degree bounded by $D$, generating a radical ideal, and defining a smooth algebraic variety $\mathcal{V}\subset\C Consider a {\em generic} projection $\pi:\Cightarrow\Cts restriction to $\mathcal{V}$ and its critical locus which is supposed to be zero-dimensional. We state that the number of critical points of $\pi$ restricted to $\mathcal{V}$ is bounded by $D^s(D-1)^{n-s}{{n}\choose{n-s}}$. This result is obtained in two steps. First the critical points of $\pi$ restricted to $\mathcal{V}$ are characterized as projections of the solutions of the Lagrange system for which a bi-homogeneous structure is exhibited. Secondly we apply a bi-homogeneous Bézout Theorem, for which we give a proof and which bounds the sum of the degrees of the isolated primary components of an ideal generated by a bi-homogeneous family for which we give a proof. This result is improved in the case where $(f_1, \ldots, f_s)$ is a regular sequence. Moreover, we use Lagrange's system to generalize the algorithm due to Safey El Din and Schost for computing at least one point in each connected component of a smooth real algebraic set to the non equidimensional case. Then, evaluating the size of the output of this algorithm gives new upper bounds on the first Betti number of a smooth real algebraic set.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00071512
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 5:48:36 PM
Last modification on : Thursday, March 21, 2019 - 1:00:35 PM
Long-term archiving on : Sunday, April 4, 2010 - 10:21:17 PM

Identifiers

  • HAL Id : inria-00071512, version 1

Citation

Mohab Safey El Din, Philippe Trebuchet. Strong Bi-homogeneous Bézout's Theorem and degree bounds for algebraic optimization. [Research Report] RR-5071, INRIA. 2004. ⟨inria-00071512⟩

Share

Metrics

Record views

383

Files downloads

161