Abstract
We show that the bounded arithmetic theory V0 does not prove that the polynomial time hierarchy collapses to the linear time hierarchy (without parameters). This result follows from a lower bound for bounded depth circuits computing prefix parity, where the circuits are allowed some auxiliary input.
This is a continuation of earlier work by the authors which showed that this collapse is not provable in \({\mbox{\rm{PV}}}\) under a cryptographic assumption.
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
Ajtai, M.: \(\Sigma^1_1\) formulae on finite structures. Annals of Pure. and Applied Logic 24, 1–48 (1983)
Cook, S., Nguyen, P.: Foundations of proof complexity: Bounded arithmetic and propositional translations, (2006), book in preparation, available online at http://www.cs.toronto.edu/~sacook/ .
Håstad, J.T.: Computational limitations for small depth circuits. MIT Press, Cambridge (1987)
Immerman, N.: Languages that capture complexity classes. SIAM Journal on Computing 16, 760–778 (1987)
Kołodziejczyk, L.A., Thapen, N.: The polynomial and linear hierarchies in models where the weak pigeonhole principle fails, preprint (2006)
Krajíček, J.: Bounded arithmetic, propositional logic, and complexity theory. Cambridge University Press, Cambridge (1995)
Lynch, J.F.: Complexity classes and theories of finite models. Mathematical Systems Theory 15(2), 127–144 (1982)
Zambella, D.: Notes on polynomially bounded arithmetic. Journal of Symbolic Logic 61, 942–966 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kołodziejczyk, L.A., Thapen, N. (2007). The Polynomial and Linear Hierarchies in V0 . In: Cooper, S.B., Löwe, B., Sorbi, A. (eds) Computation and Logic in the Real World. CiE 2007. Lecture Notes in Computer Science, vol 4497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73001-9_42
Download citation
DOI: https://doi.org/10.1007/978-3-540-73001-9_42
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73000-2
Online ISBN: 978-3-540-73001-9
eBook Packages: Computer ScienceComputer Science (R0)