{"id":"https://openalex.org/W2395412869","doi":"https://doi.org/10.1145/2901294","title":"Constant Rate PCPs for Circuit-SAT with Sublinear Query Complexity","display_name":"Constant Rate PCPs for Circuit-SAT with Sublinear Query Complexity","publication_year":2016,"publication_date":"2016-11-08","ids":{"openalex":"https://openalex.org/W2395412869","doi":"https://doi.org/10.1145/2901294","mag":"2395412869"},"language":"en","primary_location":{"id":"doi:10.1145/2901294","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2901294","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058111762","display_name":"Eli Ben\u2010Sasson","orcid":"https://orcid.org/0000-0002-0708-0483"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Eli Ben-Sasson","raw_affiliation_strings":["Technion, Haifa, Israel","Technion , Haifa , Israel"],"affiliations":[{"raw_affiliation_string":"Technion, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Technion , Haifa , Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059930466","display_name":"Yohay Kaplan","orcid":null},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Yohay Kaplan","raw_affiliation_strings":["Technion, Haifa, Israel","Technion , Haifa , Israel"],"affiliations":[{"raw_affiliation_string":"Technion, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Technion , Haifa , Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031695135","display_name":"Swastik Kopparty","orcid":"https://orcid.org/0000-0003-2704-8808"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Swastik Kopparty","raw_affiliation_strings":["Rutgers, Brunswick, NJ"],"affiliations":[{"raw_affiliation_string":"Rutgers, Brunswick, NJ","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071686980","display_name":"Or Meir","orcid":"https://orcid.org/0000-0001-5031-0750"},"institutions":[{"id":"https://openalex.org/I91203450","display_name":"University of Haifa","ror":"https://ror.org/02f009v59","country_code":"IL","type":"education","lineage":["https://openalex.org/I91203450"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Or Meir","raw_affiliation_strings":["Haifa University, Haifa, Israel","Haifa Univ., Haifa, Israel#TAB#"],"affiliations":[{"raw_affiliation_string":"Haifa University, Haifa, Israel","institution_ids":["https://openalex.org/I91203450"]},{"raw_affiliation_string":"Haifa Univ., Haifa, Israel#TAB#","institution_ids":["https://openalex.org/I91203450"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052204801","display_name":"Henning Stichtenoth","orcid":null},"institutions":[{"id":"https://openalex.org/I134235054","display_name":"Sabanc\u0131 \u00dcniversitesi","ror":"https://ror.org/049asqa32","country_code":"TR","type":"education","lineage":["https://openalex.org/I134235054"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Henning Stichtenoth","raw_affiliation_strings":["Sabanci University, Istanbul, Turkey","Sabanc\u0131 University, Istanbul, Turkey#TAB#"],"affiliations":[{"raw_affiliation_string":"Sabanci University, Istanbul, Turkey","institution_ids":["https://openalex.org/I134235054"]},{"raw_affiliation_string":"Sabanc\u0131 University, Istanbul, Turkey#TAB#","institution_ids":["https://openalex.org/I134235054"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5058111762"],"corresponding_institution_ids":["https://openalex.org/I174306211"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02460759,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"63","issue":"4","first_page":"1","last_page":"57"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.6996110677719116},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6027452349662781},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5599619746208191},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.5392535924911499},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.512943685054779},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.49851107597351074},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.49075445532798767},{"id":"https://openalex.org/keywords/proof-complexity","display_name":"Proof complexity","score":0.477083295583725},{"id":"https://openalex.org/keywords/combinatorial-proof","display_name":"Combinatorial proof","score":0.47118616104125977},{"id":"https://openalex.org/keywords/automorphism","display_name":"Automorphism","score":0.4507021903991699},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.24459093809127808}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.6996110677719116},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6027452349662781},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5599619746208191},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.5392535924911499},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.512943685054779},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.49851107597351074},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.49075445532798767},{"id":"https://openalex.org/C105605280","wikidata":"https://www.wikidata.org/wiki/Q7249999","display_name":"Proof complexity","level":3,"score":0.477083295583725},{"id":"https://openalex.org/C118539577","wikidata":"https://www.wikidata.org/wiki/Q3402784","display_name":"Combinatorial proof","level":2,"score":0.47118616104125977},{"id":"https://openalex.org/C118712358","wikidata":"https://www.wikidata.org/wiki/Q782566","display_name":"Automorphism","level":2,"score":0.4507021903991699},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.24459093809127808},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/2901294","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2901294","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},{"id":"pmh:oai:research.sabanciuniv.edu:21703","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402254","display_name":"Sabanci University","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I134235054","host_organization_name":"Sabanc\u0131 \u00dcniversitesi","host_organization_lineage":["https://openalex.org/I134235054"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.353.2950","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.353.2950","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.math.rutgers.edu/~sk1233/AG-PCP.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.568.6862","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.568.6862","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.math.ias.edu/~ormeir/papers/pcps_linear_length.pdf","raw_type":"text"},{"id":"mag:2395412869","is_oa":false,"landing_page_url":"http://eccc.hpi-web.de/report/2013/085","pdf_url":null,"source":{"id":"https://openalex.org/S11189987","display_name":"Electronic colloquium on computational complexity","issn_l":"1433-8092","issn":["1433-8092"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Electronic colloquium on computational complexity","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4399999976158142,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G5279132406","display_name":null,"funder_award_id":"NSF CCF-1253886, NSF CCF-1540634 and CCF-0832797","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6404841624","display_name":null,"funder_award_id":"1501/14","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W1527094333","https://openalex.org/W1540200135","https://openalex.org/W1967141831","https://openalex.org/W1970278864","https://openalex.org/W1971029566","https://openalex.org/W1973966084","https://openalex.org/W1976493784","https://openalex.org/W1991510040","https://openalex.org/W1992807073","https://openalex.org/W1996118782","https://openalex.org/W2003177806","https://openalex.org/W2007309095","https://openalex.org/W2019578639","https://openalex.org/W2021999231","https://openalex.org/W2022381972","https://openalex.org/W2029859729","https://openalex.org/W2030221686","https://openalex.org/W2038691311","https://openalex.org/W2044199052","https://openalex.org/W2045717693","https://openalex.org/W2053086236","https://openalex.org/W2056759312","https://openalex.org/W2064432950","https://openalex.org/W2077901621","https://openalex.org/W2082647621","https://openalex.org/W2085220484","https://openalex.org/W2087900794","https://openalex.org/W2091968255","https://openalex.org/W2101060997","https://openalex.org/W2114265241","https://openalex.org/W2128057004","https://openalex.org/W2140797111","https://openalex.org/W2146261818","https://openalex.org/W2146392217","https://openalex.org/W2146555867","https://openalex.org/W2148352980","https://openalex.org/W2159193690","https://openalex.org/W2402697753","https://openalex.org/W2490728539","https://openalex.org/W2611428058","https://openalex.org/W3144798926"],"related_works":["https://openalex.org/W2556940513","https://openalex.org/W1605144615","https://openalex.org/W1978478346","https://openalex.org/W2403422998","https://openalex.org/W336776360","https://openalex.org/W2012723916","https://openalex.org/W184142732","https://openalex.org/W1549730417","https://openalex.org/W2130703751","https://openalex.org/W2742040237","https://openalex.org/W3029599702","https://openalex.org/W3031715001","https://openalex.org/W3004077558","https://openalex.org/W2084204509","https://openalex.org/W2914525031","https://openalex.org/W2034154168","https://openalex.org/W3105296533","https://openalex.org/W3129128072","https://openalex.org/W935592923","https://openalex.org/W2103539404"],"abstract_inverted_index":{"The":[0,68],"PCP":[1,62,202,225,261],"theorem":[2],"[Arora":[3],"et":[4],"al.":[5],"1998;":[6],"Arora":[7],"and":[8,73,76,136,194],"Safra":[9],"1998]":[10],"says":[11],"that":[12,34,56,80,97,112,174,204,237,254,268],"every":[13,308],"NP-proof":[14],"can":[15,28,82,98,125,175,244],"be":[16,29,99,176,245],"encoded":[17],"to":[18,64,119,247,282,300],"another":[19],"proof,":[20],"namely,":[21],"a":[22,32,37,102,278,283],"probabilistically":[23,163],"checkable":[24,164],"proof":[25,218],"(PCP),":[26],"which":[27],"tested":[30],"by":[31,53,88,321],"verifier":[33],"queries":[35,181],"only":[36],"small":[38,290],"part":[39],"of":[40,71,85,90,105,128,138,167,185,229,240,251,273,285],"the":[41,50,61,65,114,199,220,238,249,298,304],"PCP.":[42],"A":[43],"natural":[44],"question":[45],"is":[46,49,60,117,198],"how":[47,58],"large":[48],"blow-up":[51],"incurred":[52],"this":[54,108,264,301],"encoding,":[55],"is,":[57],"long":[59],"compared":[63],"original":[66],"NP-proof?":[67],"state-of-the-art":[69],"work":[70],"Ben-Sasson":[72],"Sudan":[74],"[2008]":[75],"Dinur":[77],"[2007]":[78],"shows":[79],"one":[81,124],"encode":[83],"proofs":[84,165],"length":[86,91,129,139,168],"n":[87,92,96,120,132,173,179,187,215],"PCPs":[89,127,137,190,287],"\u00b7":[93,172],"poly":[94],"log":[95,143],"verified":[100],"using":[101,178],"constant":[103,195,206],"number":[104],"queries.":[106],"In":[107],"work,":[109],"we":[110,160,266],"show":[111,236],"if":[113],"query":[115,210,291],"complexity":[116,211],"relaxed":[118],"\u03b5":[121,157,180],",":[122],"then":[123],"construct":[126],"O":[130,140,170],"(":[131,141,212,214],")":[133,145],"for":[134,146,155,182,303,307,316],"circuit-SAT,":[135],"t":[142,144,151],"any":[147,156,269],"language":[148],"in":[149,223,257,297],"NTIME(":[150],").":[152],"More":[153],"specifically,":[154],">":[158],"0,":[159],"present":[161],"(nonuniform)":[162],"(PCPs)":[166],"2":[169],"(1/\u03b5)":[171],"checked":[177],"circuit-SAT":[183],"instances":[184],"size":[186],".":[188],"Our":[189,217],"have":[191],"perfect":[192],"completeness":[193],"soundness.":[196],"This":[197],"first":[200,305],"constant-rate":[201,286],"construction":[203,315],"achieves":[205],"soundness":[207],"with":[208,227,288],"nontrivial":[209],"o":[213],")).":[216],"replaces":[219],"low-degree":[221],"polynomials":[222],"algebraic":[224,231,260],"constructions":[226],"tensors":[228],"transitive":[230,274],"geometry":[232],"(AG)":[233],"codes.":[234],"We":[235],"automorphisms":[239],"an":[241,313],"AG":[242,275],"code":[243],"used":[246],"simulate":[248],"role":[250],"affine":[252],"transformations":[253],"are":[255,295],"crucial":[256],"earlier":[258,314],"high-rate":[259],"constructions.":[262],"Using":[263],"observation,":[265],"conclude":[267],"asymptotically":[270],"good":[271],"family":[272,284],"codes":[276,294],"over":[277],"constant-sized":[279],"alphabet":[280],"leads":[281],"polynomially":[289],"complexity.":[292],"Such":[293],"constructed":[296],"appendix":[299],"article":[302],"time":[306],"message":[309,319],"length,":[310],"building":[311],"on":[312],"infinitely":[317],"many":[318],"lengths":[320],"Stichtenoth":[322],"[2006].":[323]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}