We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
Proving that there are problems in PNP that requireboolean circuits of super-linear size is a major frontier in complexity theory.While such lower bounds are known for larger complexity classes, existingresults only show that the corresponding problems are hard on infinitely manyinput lengths. For instance, proving almost-everywhere circuit lower bounds isopen even for problems in MAEXP. Giving the notorious difficulty ofproving lower bounds that hold for all large input lengths, we ask thefollowing question: Can we show that a large set of techniques cannot provethat NP is easy infinitely often? Motivated by this and relatedquestions about the interaction between mathematical proofs and computations,we investigate circuit complexity from the perspective of logic. Among other results, we prove that for any parameter kβ₯1 it isconsistent with theory T that computational class Cξ βi.o.SIZE(nk), where (T,C) is one ofthe pairs: T=T21β and C=PNP, T=S21β and C=NP, T=PV andC=P. In other words, these theories cannot establishinfinitely often circuit upper bounds for the corresponding problems. This isof interest because the weaker theory PV already formalizessophisticated arguments, such as a proof of the PCP Theorem. These consistencystatements are unconditional and improve on earlier theorems of [KO17] and[BM18] on the consistency of lower bounds with PV
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.