A Complex Analogue of Toda’s Theorem
- 232 Downloads
Toda (SIAM J. Comput. 20(5):865–877, 1991) proved in 1989 that the (discrete) polynomial time hierarchy, PH, is contained in the class P #P , namely the class of languages that can be decided by a Turing machine in polynomial time given access to an oracle with the power to compute a function in the counting complexity class #P. This result, which illustrates the power of counting, is considered to be a seminal result in computational complexity theory. An analogous result (with a compactness hypothesis) in the complexity theory over the reals (in the sense of Blum–Shub–Smale real machines (Blum et al. in Bull. Am. Math. Soc. 21(1):1–46, 1989) was proved in Basu and Zell (Found. Comput. Math. 10(4):429–454, 2010). Unlike Toda’s proof in the discrete case, which relied on sophisticated combinatorial arguments, the proof in Basu and Zell (Found. Comput. Math. 10(4):429–454, 2010) is topological in nature; the properties of the topological join are used in a fundamental way. However, the constructions used in Basu and Zell (Found. Comput. Math. 10(4):429–454, 2010) were semi-algebraic—they used real inequalities in an essential way and as such do not extend to the complex case. In this paper, we extend the techniques developed in Basu and Zell (Found. Comput. Math. 10(4):429–454, 2010) to the complex projective case. A key role is played by the complex join of quasi-projective complex varieties. As a consequence, we obtain a complex analogue of Toda’s theorem. The results of this paper, combined with those in Basu and Zell (Found. Comput. Math. 10(4):429–454, 2010), illustrate the central role of the Poincaré polynomial in algorithmic algebraic geometry, as well as in computational complexity theory over the complex and real numbers: the ability to compute it efficiently enables one to decide in polynomial time all languages in the (compact) polynomial hierarchy over the appropriate field.
KeywordsPolynomial hierarchy Betti numbers Constructible sets Toda’s theorem
Mathematics Subject Classification (2000)Primary 14F25 14Q20 Secondary 68Q15
Unable to display preview. Download preview PDF.
- 5.L. Blum, F. Cucker, M. Shub, S. Smale, Complexity and Real Computation (Springer, New York, 1998). With a foreword by Richard M. Karp. MR 99a:68070. Google Scholar
- 6.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, ed. by J. Krajicek, Quad. Mat., Dept. Math., vol. 13 (Seconda Univ. Napoli, Caserta, 2004), pp. 73–151. MR 2131406 (2006c:68053). Google Scholar
- 15.R. Godement, Topologie algébrique et théorie des faisceaux, in Actualit’es Sci. Ind. No. 1252. Publ. Math. Univ. Strasbourg, vol. 13 (Hermann, Paris, 1958). MR 0102797 (21 #1583). Google Scholar
- 18.J. Matoušek, Using the Borsuk–Ulam theorem, in Universitext. Lectures on Topological Methods in Combinatorics and Geometry (Springer, Berlin, 2003). Written in cooperation with Anders Björner and Günter M. Ziegler. MR 1988723 (2004i:55001). Google Scholar