arXiv Analytics

Sign in

arXiv:math/0610954 [math.AG]AbstractReferencesReviewsResources

A sharper estimate on the Betti numbers of sets defined by quadratic inequalities

Saugata Basu, Michael Kettner

Published 2006-10-31, updated 2006-11-01Version 2

In this paper we consider the problem of bounding the Betti numbers, $b_i(S)$, of a semi-algebraic set $S \subset \R^k$ defined by polynomial inequalities $P_1 \geq 0,...,P_s \geq 0$, where $P_i \in \R[X_1,...,X_k]$ and $\deg(P_i) \leq 2$, for $1 \leq i \leq s$. We prove that for $0\le i\le k-1$, \[ b_i(S) \le{1/2}(\sum_{j=0}^{min\{s,k-i\}}{{s}\choose j}{{k+1}\choose {j}}2^{j}). \] In particular, for $2\le s\le \frac{k}{2}$, we have \[ b_i(S)\le {1/2} 3^{s}{{k+1}\choose {s}} \leq {1/2} (\frac{3e(k+1)}{s})^s. \] This improves the bound of $k^{O(s)}$ proved by Barvinok. This improvement is made possible by a new approach, whereby we first bound the Betti numbers of non-singular complete intersections of complex projective varieties defined by generic quadratic forms, and use this bound to obtain bounds in the real semi-algebraic case.

Comments: 12 pages, 1 figure, corrected typo
Journal: Discrete Comput. Geom. 39:734-746, 2008
Categories: math.AG, math.AT
Subjects: 14P10, 14P25
Related articles: Most relevant | Search more
arXiv:1805.02030 [math.AG] (Published 2018-05-05)
Bounding the Betti numbers of real hypersurfaces near the tropical limit
arXiv:0708.3522 [math.AG] (Published 2007-08-27, updated 2008-06-24)
Bounding the Betti numbers and computing the Euler-Poincaré characteristic of semi-algebraic sets defined by partly quadratic systems of polynomials
arXiv:math/0603262 [math.AG] (Published 2006-03-10, updated 2007-02-22)
Computing the Top Betti Numbers of Semi-algebraic Sets Defined by Quadratic Inequalities in Polynomial Time