Abstract
We extend the transfer theorem of [15] to the complex field. That is, we investigate the links between the class of families of polynomials and the Blum-Shub-Smale model of computation over . Roughly speaking, a family of polynomials is in if its coefficients can be computed in polynomial space. Our main result is that if (uniform, constant-free) families can be evaluated efficiently then the class of decision problems that can be solved in parallel polynomial time over the complex field collapses to . As a result, one must first be able to show that there are families which are hard to evaluate in order to separate from , or even from .
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and Real Computation. Springer, Heidelberg (1998)
Blum, L., Shub, M., Smale, S.: On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines. Bulletin of the American Mathematical Society 21(1), 1–46 (1989)
Bürgisser, P.: Completeness and Reduction in Algebraic Complexity Theory. Algorithms and Computation in Mathematics, vol. 7. Springer, Heidelberg (2000)
Bürgisser, P.: On implications between P-NP-hypotheses: Decision versus computation in algebraic complexity. In: Sgall, J., Pultr, A., Kolman, P. (eds.) MFCS 2001. LNCS, vol. 2136, pp. 3–17. Springer, Heidelberg (2001)
Chapuis, O., Koiran, P.: Saturation and stability in the theory of computation over the reals. Annals of Pure and Applied Logic 99, 1–49 (1999)
Charbit, P., Jeandel, E., Koiran, P., Perifel, S., Thomassé, S.: Finding a vector orthogonal to roughly half a collection of vectors. Accepted in Journal of Complexity (2006), available from http://prunel.ccsd.cnrs.fr/ensl-00153736
Cole, R.: Parallel merge sort. SIAM J. Comput. 17(4), 770–785 (1988)
Cucker, F., Grigoriev, D.: On the power of real Turing machines over binary inputs. SIAM J. Comput. 26(1), 243–254 (1997)
Fitchas, N., Galligo, A., Morgenstern, J.: Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields. Journal of Pure and Applied Algebra 67, 1–14 (1990)
Grigoriev, D.: Topological complexity of the range searching. Journal of Complexity 16, 50–53 (2000)
Koiran, P.: Randomized and deterministic algorithms for the dimension of algebraic varieties. In: Proc. 38th FOCS, pp. 36–45 (1997)
Koiran, P.: Circuits versus trees in algebraic complexity. In: Reichel, H., Tison, S. (eds.) STACS 2000. LNCS, vol. 1770, pp. 35–52. Springer, Heidelberg (2000)
Koiran, P., Perifel, S.: Valiant’s model: from exponential sums to exponential products. In: Královič, R., Urzyczyn, P. (eds.) MFCS 2006. LNCS, vol. 4162, pp. 596–607. Springer, Heidelberg (2006)
Koiran, P., Perifel, S.: VPSPACE and a transfer theorem over the complex field. Technical report, LIP, ENS Lyon (2007), Available from http://prunel.ccsd.cnrs.fr/ensl-00153701
Koiran, P., Perifel, S.: VPSPACE and a transfer theorem over the reals. In: Thomas, W., Weil, P. (eds.) STACS 2007. LNCS, vol. 4393, pp. 417–428. Springer, Heidelberg (2007). Long version available from http://prunel.ccsd.cnrs.fr/ensl-00103018
Malod, G.: Polynômes et coefficients. PhD thesis, Université Claude Bernard Lyon 1 (July, 2003), available from http://tel.archives-ouvertes.fr/tel-00087399
Malod, G., Portier, N.: Characterizing Valiant’s algebraic complexity classes. In: Královič, R., Urzyczyn, P. (eds.) MFCS 2006. LNCS, vol. 4162, pp. 704–716. Springer, Heidelberg (2006)
Poizat, B.: Les petits cailloux. Aléas (1995)
Valiant, L.G.: Completeness classes in algebra. In: Proc. 11th ACM Symposium on Theory of Computing, pp. 249–261. ACM Press, New York (1979)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Koiran, P., Perifel, S. (2007). VPSPACE and a Transfer Theorem over the Complex Field. In: Kučera, L., Kučera, A. (eds) Mathematical Foundations of Computer Science 2007. MFCS 2007. Lecture Notes in Computer Science, vol 4708. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74456-6_33
Download citation
DOI: https://doi.org/10.1007/978-3-540-74456-6_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74455-9
Online ISBN: 978-3-540-74456-6
eBook Packages: Computer ScienceComputer Science (R0)