×

On topological lower bounds for algebraic computation trees. (English) Zbl 1365.14080

Summary: We prove that the height of any algebraic computation tree for deciding membership in a semialgebraic set \(\Sigma \subset {\mathbb R}^n\) is bounded from below by \[ \frac{c_1\log (\mathrm{b}_m(\Sigma))}{m+1} -c_2n, \] where \(\mathrm{b}_m(\Sigma)\) is the \(m\)th Betti number of \(\Sigma \) with respect to “ordinary” (singular) homology and \(c_1\), \(c_2\) are some (absolute) positive constants. This result complements the well-known lower bound by A. C. C. Yao [J. Comput. Syst. Sci. 55, No. 1, 36–43 (1997; Zbl 0880.68100)] for locally closed semialgebraic sets in terms of the total Borel-Moore Betti number. We also prove that if \(\rho : {\mathbb R}^n \rightarrow {\mathbb R}^{n-r}\) is the projection map, then the height of any tree deciding membership in \(\Sigma \) is bounded from below by \[ \frac{c_1\log (\mathrm{b}_m(\rho (\Sigma)))}{(m+1)^2} -\frac{c_2n}{m+1} \] for some positive constants \(c_1\), \(c_2\). We illustrate these general results by examples of lower complexity bounds for some specific computational problems.

MSC:

14Q20 Effectivity, complexity and computational aspects of algebraic geometry
14P10 Semialgebraic sets and related spaces
14P25 Topology of real algebraic varieties
68Q17 Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)

Citations:

Zbl 0880.68100

References:

[1] M. Ben-Or, Lower bounds for algebraic computation trees, in Proceedings of 15th Annual ACM Symposium on Theory of Computing 1983, 80-86.
[2] P. Bürgisser, F. Cucker, Variations by complexity theorists on three themes of Euler, Bézout, Betti, and Poincaré, in Complexity of Computations and Proofs (Jan Krajicek ed.), Quaderini di Matematica 13 (2005), 73-152. · Zbl 1076.68033
[3] D. Dobkin and R.J. Lipton, On the complexity of computations under varying sets of primitives, J. Comput. Syst. Sci. 18 (1979), 86-91. · Zbl 0409.68023 · doi:10.1016/0022-0000(79)90054-0
[4] A. Gabrielov, N. Vorobjov, Betti numbers of semialgebraic sets defined by quantifier-free formulae, Discrete Comput. Geom. 33 (2005), 395-401. · Zbl 1073.14072 · doi:10.1007/s00454-004-1105-7
[5] A. Gabrielov, N. Vorobjov, Approximation of definable sets by compact families, and upper bounds on homotopy and homology, J. London Math. Soc. 80 (2009), 35-54. · Zbl 1177.14097 · doi:10.1112/jlms/jdp006
[6] A. Gabrielov, N. Vorobjov, T. Zell, Betti numbers of semialgebraic and sub-Pfaffian sets, J. London Math. Soc. 69, part 1 (2004), 27-43. · Zbl 1087.14038
[7] A.C.C. Yao, Decision tree complexity and Betti numbers, J. Comput. Syst. Sci. 55 (1997), 36-43. · Zbl 0880.68100 · doi:10.1006/jcss.1997.1495
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.