Bounding the Betti numbers and computing the Euler-Poincaré characteristic of semi-algebraic sets defined by partly quadratic systems of polynomials - Université de Rennes Accéder directement au contenu
Article Dans Une Revue Journal of the European Mathematical Society Année : 2010

Bounding the Betti numbers and computing the Euler-Poincaré characteristic of semi-algebraic sets defined by partly quadratic systems of polynomials

Résumé

Let R be a real closed field, Q subset of R[Y-1, ... , Y-l , X-1, ... , X-k], with deg(Y).(Q) <= 2, deg(X). (Q) <= d, Q is an element of Q, #(Q) = m, and P subset of R[X-1, ... , X-k] with deg(X). (P) <= d, P is an element of P, #(P) = s, and S subset of Rl+k a semi-algebraic set defined by a Boolean formula without negations, with atoms P = 0; P >= 0, P <= 0, P <= P boolean OR Q. We prove that the sum of the Betti numbers of S is bounded by l(2)(O(s + l + m)ld)(k+2m). This is a common generalization of previous results in [4] and [3] on bounding the Betti numbers of closed semi-algebraic sets defined by polynomials of degree d and 2, respectively. We also describe an algorithm for computing the Euler-Poincare characteristic of such sets, generalizing similar algorithms described in [4, 9]. The complexity of the algorithm is bounded by (lsmd)(O(m(m+k))).

Dates et versions

hal-00521520 , version 1 (27-09-2010)

Identifiants

Citer

Saugata Basu, Dmitrii V. Pasechnik, Marie-Françoise Roy. Bounding the Betti numbers and computing the Euler-Poincaré characteristic of semi-algebraic sets defined by partly quadratic systems of polynomials. Journal of the European Mathematical Society, 2010, 12 (2), pp.529-553. ⟨10.4171/JEMS/208⟩. ⟨hal-00521520⟩
176 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More